Related papers: Rational Quartic Spectrahedra

We classify rational, irreducible quartic symmetroids in projective 3-space. They are either singular along a line or a smooth conic section, or they have a triple point or a tacnode.

Let $S \subset \P^n$ be a smooth quartic hypersurface defined over a number field $K$. If $n \ge 4$, then for some finite extension $K'$ of $K$ the set $S(K')$ of $K'$-rational points of $S$ is Zariski dense.

Quartic spectrahedra in 3-space form a semialgebraic set of dimension 24. This set is stratified by the location of its ten nodes. There are twenty maximal strata, identified recently by Degtyarev and Itenberg, via the global Torelli…

For any field k of characteristic at most 5 we exhibit an explicit smooth quartic surface in projective threespace over k with trivial automorphism group over the algebraic closure of k. We also show how this can be extended to higher…

Given a number field $K$ and a finite set $S$ of places of $K$, the first main result of this paper shows that the quadratic rational maps $\phi:{\mathbb P}^1\to{\mathbb P}^1$ defined over $K$ which have good reduction at all places outside…

Let a,b,c,d be nonzero rational numbers whose product is a square, and let V be the diagonal quartic surface in PP^3 defined by ax^4+by^4+cz^4+dw^4=0. We prove that if V contains a rational point that does not lie on any of the 48 lines on…

Spectrahedra are affine-linear sections of the cone $\mathcal{P}_n$ of positive semidefinite symmetric $n\times n$-matrices. We consider random spectrahedra that are obtained by intersecting~$\mathcal{P}_n$ with the affine-linear space…

The quantum symmetry of a rational quantum field theory is a finite- dimensional multi-matrix algebra. Its representation category, which determines the fusion rules and braid group representations of superselection sectors, is a braided…

Hankel spectrahedra are the dual convex cones to the cone of sums of squares of real polynomials, and we study them from the point of view of convex algebraic geometry. We show that the Zariski closure of the union of all extreme rays of…

We study the rationality of some geometrically rational three-dimensional conic and quadric surface bundles, defined over the reals and more general real closed fields, for which the real locus is connected and the intermediate Jacobian…

A well known conjecture asserts that a cubic fourfold X is rational if it has a cohomologically associated K3 surface. G.Ouchi proved that if X admits a finite group G of symplectic automorphisms, whose order is different from 2, then X has…

Let $X_4\subset\mathbb{P}^{n+1}$ be a quartic hypersurface of dimension $n\geq 4$ over an infinite field $k$. We show that if either $X_4$ contains a linear subspace $\Lambda$ of dimension $h\geq \max\{2,\dim(\Lambda\cap…

A spectrahedron is a set defined by a linear matrix inequality. Given a spectrahedron we are interested in the question of the smallest possible size $r$ of the matrices in the description by linear matrix inequalities. We show that for the…

Motivated by the Shilov boundaries of bounded symmetric domains we consider arbitrary CR-quadrics in a complex linear space (of finite dimension) that have a certain symmetry property. For these the non-affine local CR-automorphisms have a…

Building on work of Segre and Koll'ar on cubic hypersurfaces, we construct over imperfect fields of characteristic p\geq 3 particular hypersurfaces of degree p, which show that geometrically rational schemes that are regular and whose…

Let X be a smooth quartic surface not containing lines, defined over a number field K. We prove that there are only finitely many bitangents to X which are defined over K. This result can be interpreted as saying that a certain surface,…

Let V be a semialgebraic set parameterized by quadratic polynomials over a quadratic set T. This paper studies semidefinite representation of its convex hull by projections of spectrahedra (defined by linear matrix inequalities). When T is…

An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariski dense subset of the biprojective hypersurface $x_1y_1^2+\dots+x_4y_4^2=0$ in…

We complete the study of rationality problem for hypersurfaces $X_t\subset \mathbb{P}^4$ of degree $4$ invariant under the action of the symmetric group $S_6$.

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…