Related papers: Nonnegativity certificates on real algebraic surfa…
The relationship between nonnegative polynomials and sums of squares is one of the central questions in real algebraic geometry. A modern approach is to look at nonnegative polynomials and sums of squares on a real variety. We survey the…
Let $\mathbb{Q}$ (resp. $\mathbb{R}$) be the field of rational (resp. real) numbers and $X = (X_1, \ldots, X_n)$ be variables. Deciding the non-negativity of polynomials in $\mathbb{Q}[X]$ over $\mathbb{R}^n$ or over semi-algebraic domains…
Let X be a smooth projective surface of irregularity 0. The Hilbert scheme of n points on X parameterizes zero-dimensional subschemes of X of length n. In this paper, we discuss general methods for studying the cone of ample divisors on the…
Finite-dimensional subalgebras of a Lie algebra of smooth vector fields on a circle, as well as piecewise-smooth global transformations of a circle on itself, are considered. A canonical forms of realizations of two- and three-dimensional…
In this paper we prove that, over a Hilbertian ground field, surfaces with two conic fibrations whose fibres have non-zero intersection product have the Hilbert property. We then give an application of this result, namely the verification…
We study curves of negative self-intersection on algebraic surfaces. We obtain results for smooth complex projective surfaces X on the number of reduced, irreducible curves C of negative self-intersection C^2. The only known examples of…
We develop a general and unconditional framework for certifying the global nonnegativity of multivariate integer polynomials; based on rewriting them as sum of squares modulo their gradient ideals. We remove the two structural assumptions…
We show that Connes' embedding conjecture on von Neumann algebras is equivalent to the existence of certain algebraic certificates for a polynomial in noncommuting variables to satisfy the following nonnegativity condition: The trace is…
In this paper, we study residues of differential 2-forms on a smooth algebraic surface over an arbitrary field and give several statements about sums of residues. Afterwards, using these results we construct algebraic-geometric codes which…
We classify quartic del Pezzo surface fibrations over the projective line via numerical invariants, giving explicit examples for small values of the invariants. For generic such fibrations, we describe explicitly the geometry of spaces of…
NLCertify is a software package for handling formal certification of nonlinear inequalities involving transcendental multivariate functions. The tool exploits sparse semialgebraic optimization techniques with approximation methods for…
We construct examples of non-isomorphic algebraic vector bundles on the punctured affine space with isomorphic pullbacks to the smooth quadric.
We address the question of the degree of unirational parameterizations of degree four and degree three del Pezzo surfaces. Specifically we show that degree four del Pezzo surfaces over finite fields admit degree two parameterizations and…
In this paper, we introduce the notion of multiplier of a Hilbert algebra. The space of bounded multipliers is a semifinite von Neumann algebra isomorphic to the left von Neumann algebra of the Hilbert algebra, as expected. However, in the…
Various key problems from theoretical computer science can be expressed as polynomial optimization problems over the boolean hypercube. One particularly successful way to prove complexity bounds for these types of problems are based on sums…
We describe several explicit examples of simple abelian surfaces over real quadratic fields with real multiplication and everywhere good reduction. These examples provide evidence for the Eichler-Shimura conjecture for Hilbert modular forms…
The Welschinger invariants of real rational algebraic surfaces count real rational curves which represent a given divisor class and pass through a generic conjugation-invariant configuration of points. No invariants counting real curves of…
We conjecture and prove closed-form index expressions for the cohomology dimensions of line bundles on del Pezzo and Hirzebruch surfaces. Further, for all compact toric surfaces we provide a simple algorithm which allows expression of any…
In this paper we consider various notions of positivity for distributions on complex projective manifolds. We start by analyzing distributions having big slope with respect to curve classes, obtaining characterizations of generic projective…
For a projective variety $X$ defined over a non-Archimedean complete non-trivially valued field $k$, and a semipositive metrized line bundle $(L, \phi)$ over it, we establish a metric extension result for sections of $L^{\otimes n}$ from a…