Related papers: Enumerative geometry for real varieties
The Grassmann convexity conjecture gives a conjectural formula for the maximal total number of real zeros of the consecutive Wronskians of an arbitrary fundamental solution to a disconjugate linear ordinary differential equation with real…
The relationship between convex geometry and algebraic geometry has deep historical roots, tracing back to classical works in enumerative geometry. In this paper, we continue this theme by studying two interconnected problems regarding…
It is proved that all recursively enumerable sets of natural numbers can be represented by arithmetic formulas (of two kinds) with only 3 quantifiers.
A polynomial transformation of the real plane $\Bbb R^2$ is a mapping $\Bbb R^2\to\Bbb R^2$ given by two polynomials of two variables. Such a transformation is called quadratic if the degrees of its polynomials are not greater than two. In…
We compute the purely real Welschinger invariants, both original and modified, for all real del Pezzo surfaces of degree at least 2. We show that under some conditions, for such a surface $X$ and a real nef and big divisor class $D$,…
A geometrical realization of wonderful varieties by means of a suitable class of invariant Hilbert schemes is given. As a consequence, Luna's conjecture asserting that wonderful varieties are classified by spherical systems, triples of…
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…
We address the enumeration of Eulerian orientations of 4-valent planar maps according to three parameters: the number of vertices, the number of alternating vertices (having in/out/in/out incident edges), and the number of clockwise…
This article is an expanded version of talks given by the authors in Oberwolfach, Bochum, and at the Fano Conference in Torino. Some new results (e. g. the material concerning flag varieties, Quot spaces over $\P^1$, and the generalized…
The main purpose of this article is to demonstrate three techniques for proving algebraicity statements about circle packings. We give proofs of three related theorems: (1) that every finite simple planar graph is the contact graph of a…
Given two nonsingular real algebraic varieties V and W, we consider the problem of deciding whether a smooth map f: V -> W can be approximated by regular maps in the space of smooth maps from V to W. Our main result is a complete solution…
In 1975, Goldfeld gave an effective solution to Gauss's conjecture on the class numbers of imaginary quadratic fields. In this paper, we generalize Goldfeld's theorem to the setting of totally real number fields.
Given any polynomial with real coefficients, the existence of a real quadratic polynomial factor is proven using only basic real analysis. The aim is to provide an approachable proof to anybody who is familiar with the least upper bound…
We give examples of real enumerative problems without real solutions. Most of the examples concern rational curves in ${\mathbb C}{\mathbb P}^3$ passing through a real set of points and lines.
In this paper, by the generalized Bell umbra and Rolle's theorem, we give some results on the real rootedness of polynomials. Some applications on partition polynomials and the sigma polynomials of graphs are given.
We introduce new invariants of a class of toric surfaces (including the projective plane) that arise from appropriate enumeration of real curves of genus one and two. These invariants admit a refinement similar to the one introduced by…
We study real ternary forms whose real rank equals the generic complex rank, and we characterize the semialgebraic set of sums of powers representations with that rank. Complete results are obtained for quadrics and cubics. For quintics we…
Order types are a well known abstraction of combinatorial properties of a point set. By Mn\"ev's universality theorem for each semi-algebraic set $V$ there is an order type with a realization space that is \emph{stably equivalent} to $V$.…
We present six Theorems on the univariate real Polynomial, using which we develop a new algorithm for deciding the existence of atleast one real root for univariate integer Polynomials. Our algorithm outputs that no positive real root…
We prove that some Gromov-Witten numbers associated to rational contact (Legendrian) curves in any contact complex projective space with arbitrary incidence conditions are enumerative. Also, we use Bott formula on the Kontsevich space to…