Related papers: Positive semidefinite analytic functions on real a…

We prove that the set of Segre-degenerate points of a real-analytic subvariety $X$ in ${\mathbb{C}}^n$ is a closed semianalytic set. It is a subvariety if $X$ is coherent. More precisely, the set of points where the germ of the Segre…

We describe algebraic certificates of positivity for functions belonging to a finitely generated algebra of Borel measurable functions, with particular emphasis to algebras generated by semi-algebraic functions. In which case the standard…

We introduce positive Gorenstein ideals. These are Gorenstein ideals in the graded ring $\RR[x]$ with socle in degree 2d, which when viewed as a linear functional on $\RR[x]_{2d}$ is nonnegative on squares. Equivalently, positive Gorenstein…

We characterize the region of meromorphic continuation of an analytic function $f$ in terms of the geometric rate of convergence on a compact set of sequences of multi-point rational interpolants of $f$. The rational approximants have a…

We investigate the zeros of Epstein zeta functions associated with a positive definite quadratic form with rational coefficients in the vertical strip $ \sigma_1 < \Re s < \sigma_2 $, where $ 1/2 < \sigma_1 < \sigma_2 < 1 $. When the class…

Reeb spaces of smooth functions are fundamental and strong tools in understanding manifolds via smooth functions with mild critical points. They are defined as the natural spaces of all connected components of level sets. They are also…

Let $U\subseteq\mathbb{R}^d$ be open and convex. We prove that every (not necessarily Lipschitz or strongly) convex function $f:U\to\mathbb{R}$ can be approximated by real analytic convex functions, uniformly on all of $U$. We also show…

Let $\Omega_1,\Omega_2$ be two disjoint open sets in $\mathbf C^n$ whose boundaries share a smooth real hypersurface $M$ as relatively open subsets. Assume that $\Omega_i$ is equipped with a complex structure $J^i$ which is smooth up to…

We set new dual problems for the weighted spaces of holomorphic functions of one variable in domains on the complex plane, namely: nontriviallity of a given space, description of zero sets, description of (non-)uniqueness sets, the…

We prove that every smooth rigid spherical hypersurface in ${\mathbb C}^2$ is in fact real-analytic. As an application of this result, it follows that the classification of real-analytic rigid spherical hypersurfaces in ${\mathbb C}^2$…

When a non-singular complex projective surface $X$ satisfies that $K_X\sim 0$, we shall show that there are only finitely many isomorphic classes as abstract schemes in the set of moduli scheme of $H$-semistable sheaves with fixed Chern…

This is an expository paper on the meromorphic continuation of zeta functions with Euler products (for example zeta functions of groups and height zeta functions) or without (for example the Goldbach zeta function). As an application we…

A celebrated result by Hilbert says that every real nonnegative ternary quartic is a sum of three squares. We show more generally that every nonnegative quadratic form on a real projective variety $X$ of minimal degree is a sum of…

The Weierstrass curve $X$ is a smooth algebraic curve determined by the Weierstrass canonical form, $y^r + A_{1}(x) y^{r-1} + A_{2}(x) y^{r-2} +\cdots + A_{r-1}(x) y + A_{r}(x)=0$, where $r$ is a positive integer, and each $A_j$ is a…

Using the theory of exterior differential systems, we study the existence of germ of pseudo-holomorphic disk in a real analytic hypersurface locally defined in a complex manifold equipped with J a real analytic almost complex structure. The…

The continuity, in a suitable topology, of algebraic and geometric operations on real analytic manifolds and vector bundles is proved. This is carried out using recently arrived at seminorms for the real analytic topology. A new…

The purpose of this paper is to generalize in a geometric setting theorems of Severi, Brown and Bochner about analytic continuation of real analytic functions which are holomorphic or harmonic with respect to one of its variables. We prove…

We define the algebra of Colombeau generalized functions on a subset A of the space of d-dimensional generalized points. If the domain A is open, such generalized functions can be identified with pointwise maps from A into the ring of…

These lecture notes provide an informal introduction to the theory of nonnegative polynomials and sums of squares. We highlight the history and some recent developments, especially the new connections with classical (complex) algebraic…

We exhibit a smooth complex rational affine surface with uncountably many nonisomorphic real forms.