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

We study real nonsingular projective cubic fourfolds up to deformation equivalence combined with projective equivalence and prove that they are classified by the conjugacy classes of involutions induced by the complex conjugation in the…

We prove that there are only finitely many complex numbers $a$ and $b$ with $4a^3+27b^2\not=0$ such that the three points $(1,*),(2,*),$ and $(3,*)$ are simultaneously torsion on the elliptic curve defined in Weierstrass form by…

The total multiplicity in the decomposition into irreducibles of the tensor product i x j of two irreducible representations of a simple Lie algebra is invariant under conjugation of one of them sum_k N_{i j}^{k}= sum_k N_{ibar j}^{k}. This…

Mordell in 1958 gave a new proof of the three squares theorem. We generalize those techniques to characterize the integers represented by the remaining six "Ramanujan-Dickson ternaries" as well as three other ternary forms.

There is a modular curve X'(6) of level 6 defined over Q whose Q-rational points correspond to j-invariants of elliptic curves E over Q for which Q(E[2]) is a subfield of Q(E[3]). In this note we characterize the j-invariants of elliptic…

We ask whether every polynomial function that is non-negative on a real algebraic curve can be expressed as a sum of squares in the coordinate ring. Scheiderer has classified all irreducible curves for which this is the case. For reducible…

We study maximal representations of nonnegative sesquilinear forms in real or complex Hilbert spaces, that are not necessarily closed or even closable. We associate positive self-adjoint operators with such forms, in a sense similar to…

Let $K$ be a totally real number field with Galois closure $L$. We prove that if $f \in \mathbb Q[x_1,...,x_n]$ is a sum of $m$ squares in $K[x_1,...,x_n]$, then $f$ is a sum of \[4m \cdot 2^{[L: \mathbb Q]+1} {[L: \mathbb Q] +1 \choose…

A conjecture by Corvaja and Zannier predicts that smooth, projective, simply connected varieties over a number field with Zariski dense set of rational points have the Hilbert Property; this was proved by Demeio for Kummer surfaces which…

Using the complex Klein-Gordon field as a model, we quantize the quaternionic scalar field in the real Hilbert space. The lagrangian formulation has accordingly been obtained, as well as the hamiltonian formulation, and the energy and…

We show that a finite connected quiver Q with no oriented cycles is tame if and only if for each dimension vector $\mathbf{d}$ and each integral weight $\theta$ of Q, the moduli space $\mathcal{M}(Q,\mathbf{d})^{ss}_{\theta}$ of…

Let Y be a complex algebraic curve and let [Y]={X_1,...,X_n} be the set of all real algebraic curves X_i with complexification X_i(C)=Y, such that the real points X_i(R) divide X_i(C). We find all such families [Y]. According to Harnak…

Let $(\Sigma,p)$ be a pointed Riemann surface of genus $g\geq 1$. For any integer $k\geq 1$, we parametrize the space of meromorphic quadratic differentials on $\Sigma$ with a pole of order $(k+2)$ at $p$, having a connected critical graph…

We prove that the space of affine, transversal at infinity, non-singular real cubic surfaces has 15 connected components. We give a topological criterion to distinguish them and show also how these 15 components are adjacent to each other…

For each integer $k \in [0,9]$, we count the number of plane cubic curves defined over a finite field $\mathbb{F}_q$ that do not share a common component and intersect in exactly $k\ \mathbb{F}_q$-rational points. We set this up as a…

In this work we study, in greater detail than before, J.H. Conway's topographs for integral binary quadratic forms. These are trees in the plane with regions labeled by integers following a simple pattern. Each topograph can display the…

Hilbert proved in 1888 that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$, where $n$ is the number of variables and $2d$ the degree of the form. We study the…

We give families of knots and links with pairs of Seifert surfaces that are topologically non-isotopic in $D^4$. This generalizes the main example of Hayden-Kim-Miller-Park-Sundberg and the proof is similarly based on the double branched…

We use a representability theorem of G. L. Watson to examine sums of squares in Quaternion rings with integer coefficients. This allows us to determine a large family of such rings where every element expressible as the sum of squares can…

We determine the quantum multiplication with divisor classes on the Hilbert scheme of points on an elliptic surface $S \to \Sigma$ for all curve classes which are contracted by the induced fibration $S^{[n]} \to \Sigma^{[n]}$. The formula…