Related papers: A New Proof of Hilbert's Theorem on Ternary Quarti…

We consider cones of real forms which are sums of squares forms and invariant by a (finite) reflection group. We show how the representation theory of these groups allows to use the symmetry inherent in these cones to give more efficient…

In 1997, Kaplansky conjectured that if two positive definite ternary quadratic forms with integer coefficients have perfectly identical integral representations, then they are isometric, both regular, or included either of two families of…

It is proved that the Hilbert class field of a real quadratic field ${\Bbb Q}(\sqrt{D})$ modulo a power $m$ of the conductor $f$ is generated by the Fourier coefficients of the Hecke eigenform for a congruence subgroup of level $fD$.

It is shown that the quartic Fermat equation $x^4 +y^4=1$ has nontrivial integral solutions in the Hilbert class field $\Sigma$ of any quadratic field $K=\mathbb{Q}(\sqrt{-d})$ whose discriminant satisfies $-d \equiv 1$ (mod 8). A corollary…

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…

Suppose that h in F[x,y,z], char F=2, defines a nodal cubic. In earlier papers we made a precise conjecture as to the Hilbert-Kunz functions attached to the powers of h. Assuming this conjecture we showed that a class of characteristic 2…

We denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves, which is the union of components whose general point corresponds to a smooth irreducible and non-degenerate curve of degree $d$ and genus $g$ in $\mathbb{P}^r$. In this…

Welschinger invariants enumerate real nodal rational curves in the plane or in another real rational surface. We analyze the existence of similar enumerative invariants that count real rational plane curves having prescribed non-nodal…

We study projective surfaces in $\mathbb{P}^3$ which can be written as Hadamard product of two curves. We show that quadratic surfaces which are Hadamard product of two lines are smooth and tangent to all coordinate planes, and such…

H. J. S. Smith proved Fermat's two-square theorem using the notion of palindromic continuants. In this paper we extend Smith's approach to proper binary quadratic form representations in some commutative Euclidean rings, including rings of…

In this paper we prove that the set of $S$-integral points of the smooth cubic surfaces in $\mathbb{A}^3$ over a number field $k$ is not thin, for suitable $k$ and $S$. As a corollary, we obtain results on the complement in $\mathbb{P}^2$…

Let F be a polarized irreducible holomorphic symplectic fourfold, deformation equivalent to the Hilbert scheme parametrizing length-two zero-dimensional subschemes of a K3 surface. The homology group H^2(F,Z) is equipped with an integral…

A mock Seifert matrix is an integral square matrix representing the Gordon-Litherland form of a pair $(K,F)$, where $K$ is a knot in a thickened surface and $F$ is an unoriented spanning surface for $K$. Using these matrices, we introduce a…

We consider the problem of classifying all positive-definite integer-valued quadratic forms that represent all positive odd integers. Kaplansky considered this problem for ternary forms, giving a list of 23 candidates, and proving that 19…

A (positive definite and integral) quadratic form $f$ is said to be $\textit{universal}$ if it represents all positive integers, and is said to be $\textit{primitively universal}$ if it represents all positive integers primitively. We also…

We compute an explicit closed formula for the Hilbert polynomial of the Jacobian algebra $M(f)$ of a reduced surface $X:f=0$ in $\mathbb P^3$ in terms of the graded Betti numbers of the algebra $M(f)$. When $X$ has only isolated…

We study sum-of-squares representations of symmetric univariate real matrix polynomials that are positive semidefinite along the real line. We give a new proof of the fact that every positive semidefinite univariate matrix polynomial of…

In 1994, Kani introduced an algebraic version of the Humbert invariant, known as the refined Humbert invariant. This invariant q_C is a positive definite quadratic form attached to a smooth curve C of genus 2. It serves as a vital tool, as…

We show that smooth quintic del Pezzo threefolds over arbitrary base schemes are classified by non-degenerate ternary symmetric bilinear forms. Then we describe the automorphism group schemes, the Hilbert schemes of lines and the orbit…

It is proven that for any topological or analytical types of isolated singular points of plane curves, there exists a non-real irreducible plane algebraic curve of degree $d$ which goes through $d^2$ real distinct points and has imaginary…