Related papers: Algebraic boundaries of Hilbert's SOS cones

We describe and study the loci equidistant from finitely many points in the so-called complex hyperbolic geometry, i.e., in the geometry of a holomorphic $2$-ball $\Bbb B$. In particular, we show that the bisectors (= the loci equidistant…

We construct K3 surfaces over number fields that have good reduction everywhere. These do not exists over the rational numbers, by results of Abrashkin and Fontaine. Our surfaces exist for three quadratic number fields, and an infinite…

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…

We show that closed hypersurfaces in Euclidean space with nonnegative scalar curvature are weakly mean convex. In contrast, the statement is no longer true if the scalar curvature is replaced by the k-th mean curvature, for k greater than…

For spacelike stationary (i.e. zero mean curvature) surfaces in 4-dimensional Lorentz space one can naturally introduce two Gauss maps and Weierstrass representation. In this paper we investigate their global geometry systematically. The…

This paper studies the representations of a non-negative polynomial $f$ on a non-compact semi-algebraic set $K$ modulo its critical ideal. Under the assumptions that the semi-algebraic set $K$ is regular and $f$ satisfies the boundary…

We study a class of semialgebraic convex bodies called discotopes. These are instances of zonoids, objects of interest in real algebraic geometry and random geometry. We focus on the face structure and on the boundary hypersurface of…

We study the hypergeometric functions associated to five one-parameter deformations of Delsarte K3 quartic hypersurfaces in projective space. We compute all of their Picard--Fuchs differential equations; we count points using Gauss sums and…

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

Motivated by the question of rationality of cubic fourfolds, we show that a cubic X has an associated K3 surface in the sense of Hassett if and only if the variety F of lines on X is birational to a moduli space of sheaves on a K3 surface,…

Let $z\in\mathbb C^n$ and $\|z\|$ be its Euclidean norm. Ebenfelt proposed a conjecture regarding the possible ranks of the Hermitian polynomials in $z,\bar z$ of the form $A(z,\bar z)\|z\|^2$, known as the SOS Conjecture, where SOS stands…

We give an explicit verifiable characterization of weakly pseudoconvex but locally nonconvexifiable hypersurfaces of finite type in dimension two. It is expressed in terms of a generalized model, which captures local geometry of the…

We classify maximal quartic generalised projective special real curves up to equivalence. A maximal quartic generalised projective special real curve consists of connected components of the intersection of the hyperbolic points of a quartic…

We give a computable lower bound on the distance between two distinct periods of a given quartic surface defined over the algebraic numbers. The main ingredient is the determination of height bounds on components of the Noether--Lefschetz…

We study sum of squares (SOS) relaxations to optimize polynomial functions over a set $V\cap R^n$, where $V$ is a complex algebraic variety. We propose a new methodology that, rather than relying on some algebraic description, represents…

Let X be a projective hypersurface in P_k^n of degree d <= n. In this paper we study the relation between the class [X] in K_0(Var_k) and the existence of k-rational points. Using elementary geometric methods we show, for some particular X,…

We study the problem of decomposing a non-negative polynomial as an exact sum of squares (SOS) in the case where the associated semidefinite program is feasible but not strictly feasible (for example if the polynomial has real zeros).…

We give a complete description of the cone of Betti diagrams over a standard graded hypersurface ring of the form k[x,y]/<q>, where q is a homogeneous quadric. We also provide a finite algorithm for decomposing Betti diagrams, including…

The 4-dimensional Sklyanin algebra is the homogeneous coordinate ring of a noncommutative analogue of projective 3-space. The degree-two component of the algebra contains a 2-dimensional subspace of central elements. The zero loci of those…

We present a polynomial partitioning theorem for finite sets of points in the real locus of an irreducible complex algebraic variety of codimension at most two. This result generalizes the polynomial partitioning theorem on the Euclidean…