Related papers: Extreme positive ternary sextics

A real algebraic plane curve $A$ is said to be dividing if its real part $\mathbb{R}A$ disconnects its complex part $\mathbb{C}A$. A pencil of curves is totally real with respect to $A$ if it has only real intersections with $\mathbb{C}A$.…

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…

Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to…

We prove non-rationality and birational super-rigidity of a Q-factorial double cover X of P^3 ramified along a sextic surface with at most simple double points. We also show that the condition #|Sing(X)| < 15 implies Q-factoriality of X. In…

The second author classified configurations of the singularities on tame sextics of torus type. In this paper, we give a complete classification of the singularities on irreducible sextics of torus type, without assuming the tameness of the…

In this paper we generalize the idea of "essentially unique" representations by ternary quadratic forms. We employ the Siegel formula, along with the complete classification of imaginary quadratic fields of class number less than or equal…

The goal of this note is to provide an analysis of the positive integers that are represented everywhere locally, but not globally, by each of the 29 spinor regular positive definite integral ternary quadratic forms that are not regular.

A polynomial that is nonnegative need not be a sum of squares of polynomials. This classical gap, identified by Hilbert in 1888, lies at the heart of why the global optimization of multivariate quartic polynomials is NP-hard. Yet we show…

Let S be a surface in CP^3, having only nodes as singularities. Let pi: S~ --> S be a minimal resolution of singularities. A set N of nodes on S is EVEN if there exists a divisor Q on S~ such that 2Q ~ pi^{-1}(N). Suppose that S has degree…

We examine the notion of strongly non-zero points and use it as a tool in the study of several types of elliptic pseudoprimes. Moreover, we give give some probabilistic results about the existence of strong elliptic pseudoprimes for a…

A positive quadratic form is $(k,\ell)$-universal if it represents all the numbers $kx+\ell$ where $x$ is a non-negative integer, and almost $(k,\ell)$-universal if it represents all but finitely many of them. We prove that for any $k,\ell$…

It is a classical result that there are $12$ (irreducible) rational cubic curves through $8$ generic points in $\mathbb{P}_{\mathbb{C}}^2$, but little is known about the non-generic cases. The space of $8$-point configurations is…

We show that if $X\subseteq \mathbb{P}^{n-1}$, defined over $\mathbb{Q}$ by a cubic form that splits off two forms, with $n\geq 11$, then $X(\mathbb{Q})$ is non-empty. The same holds for an $(m_1,m_2)$-form with $m_1\geq 4$ and $m_2\geq 5$.

We compute the fundamental groups of five maximizing sextics with double singular points only; in four cases, the groups are as expected. The approach used would apply to other sextics as well, given their equations.

We study the geometry underlying the difference between non-negative polynomials and sums of squares. The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be Noether-Lefschetz loci of…

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…

It is classically known that a real cubic surface in the real projective 3-space cannot have more than one solitary point (locally given by x^2+y^2+z^2=0) whereas it can have up to four nodes (x^2+y^2-z^2=0). We show that on any surface of…

We present a computational study of smooth curves of degree six in the real projective plane. In the Rokhlin-Nikulin classification, there are 56 topological types, refined into 64 rigid isotopy classes. We developed software that…

We show, in this first part, that the maximal number of singular points of a normal quartic surface $X \subset \mathbb{P}^3_K$ defined over an algebraically closed field $K$ of characteristic $2$ is at most $16$. We produce examples with…

Let X be a real nondegenerate projective subvariety such that its set of real points is Zariski dense. We prove that every real quadratic form that is nonnegative on X is a sum of squares of linear forms if and only if X is a variety of…