Ultraquadrics associated to affine and projective automorphisms

The concept of ultraquadric has been introduced by the authors as a tool to algorithmically solve the problem of simplifying the coefficients of a given rational parametrization in K(a) (t1, ..., tn) of an algebraic variety of arbitrary dimension over a field extension K(a). In this context, previous work in the one-dimensional case has shown the importance of mastering the geometry of 1-dimensional ultraquadrics (hypercircles). In this paper we study, for the first time, the properties of some higher dimensional ultraquadrics, namely, those associated to automorphisms in the field K(a) (t1, ..., tn), defined by linear rational (with common denominator) or by polynomial (with inverse also polynomial) coordinates. We conclude, among many other observations, that ultraquadrics related to polynomial automorphisms can be characterized as varieties K-isomorphic to linear varieties, while ultraquadrics arising from projective automorphisms are isomorphic to the Segre embedding of a blowup of the projective space along an ideal and, in some general case, linearly isomorphic to a toric variety. We conclude with some further details about the real-complex, 2-dimensional case, showing, for instance, that this family of ultraquadrics can be presented as a collection of ruled surfaces described by pairs of hypercircles. © 2014, Springer-Verlag Berlin Heidelberg

Uniform bounds on complexity and transfer of global properties of Nash functions

We show that the complexity of semialgebraic sets and mappings can be used to parametrize Nash sets and mappings by Nash families. From this we deduce uniform bounds on the complexity of Nash functions that lead to first-order descriptions of many properties of Nash functions and a good behaviour under real closed field extension (e.g. primary decomposition). As a distinguished application, we derive the solution of the extension and global equations problems over arbitrary real closed fields, in particular over the field of real algebraic numbers. This last fact and a technique of change of base are used to prove that the Artin-Mazur description holds for abstract Nash functions on the real spectrum of any commutative ring, and solve extension and global equations in that abstract setting. To complete the view, we prove the idempotency of the real spectrum and an abstract version of the separation problem. We also discuss the conditions for the rings of abstract Nash functions to be noetherian

Complexity of global semianalytic sets in a real analytic manifold of dimension 2

Let X subset of R-n be a real analytic manifold of dimension 2. We study the stability index of X, s(X), that is the smallest integer s such that any basic open subset of X can be written using s global analytic functions. We show that s(X) = 2 as it happens in the semialgebraic case. Also, we prove that the Hormander-Lojasiewicz inequality and the Finiteness Theorem hold true in this context. Finally, we compute the stability index for basic closed subsets, S, and the invariants t and (t) over bar for the number of unions of open (resp. closed) basic sets required to describe any open (resp. closed) global semianalytic set

GPR55 signalling promotes proliferation of pancreatic cancer cells and tumour growth in mice, and its inhibition increases effects of gemcitabine

Pancreatic Cancer Research Fund and Avner Pancreatic Cancer Foundation (grants to MF)

On the positive extension property and Hilbert's 17th problem for real analytic sets.

In this work we study the Positive Extension (pe) property and Hilbert's 17th problem for real analytic germs and sets. A real analytic germ X-0 of R-0(n) has the pe property if every positive semidefinite analytic function germ on X-0 has a positive semidefinite analytic extension to R-0(n); analogously one states the pe property for a global real analytic set X in an open set Q of R-0(n). These pe properties are natural variations of Hilbert's 17th problem. Here, we prove that: (1) A real analytic germ X-0 subset of R-0(3) has the pe property if and only if every positive semidefinite analytic function germ on X-0 is a sum of squares of analytic function germs on X-0; and (2) a global real analytic set X of dimension <= 2 and local embedding dimension <= 3 has the pe property if and only if it is coherent and all its germs have the pe property. If that is the case, every positive semidefinite analytic function on X is a sum of squares of analytic functions on X. Moreover, we classify the singularities with the pe property