Related papers: The diagonal of quartic fivefolds

Pourchet proved in 1971 that every nonnegative univariate polynomial with rational coefficients is a sum of five or fewer squares. Nonetheless, there are no known algorithms for constructing such a decomposition. The sole purpose of the…

Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby…

In this paper, we consider real and complex algebras as well as algebras over general fields. In Section 2, we revisit and prove several results on (quadratic) algebras over general fields. As an example, we demonstrate that a quadratic…

We prove that any non-isotrivial elliptic K3 surface over an algebraically closed field $k$ of arbitrary characteristic contains infinitely many rational curves. In the case when $\mathrm{char}(k)\neq 2,3$, we prove this result for any…

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…

We describe a method to show a plane quartic over a number field has no rational points. The method can be adapted to show that a curve does not have divisors of degree 1 or 2 and can be generalized to arbitrary smooth projective curves.…

We propose and compare various techiques available to produce smooth cubic hypersurfaces over a non-algebraically-closed field which have rational points but which are not stably rational over their ground field.

We consider characterizations of projective varieties in terms of their tangents. S. Mori established the characterization of projective spaces in arbitrary characteristic by ampleness of tangent bundles. J. Wahl characterized projective…

We classify geometrically integral regular del Pezzo surfaces which are not geometrically normal over imperfect fields of positive characteristic. Based on this classification, we show that a three-dimensional terminal del Pezzo fibration…

We prove that hypersurfaces defined by irreducible square-free polynomials have rational singularities. As an easy consequence, we deduce that certain (possibly non-square-free) polynomials associated to pairs of square-free polynomials…

Let $V$ be a smooth cubic surface over a $p$-adic field $k$ with good reduction. Swinnerton-Dyer (1981) proved that $R$-equivalence is trivial on $V(k)$ except perhaps if $V$ is one of three special types--those whose $R$-equivalence he…

In this paper, the generalized Bloch Conjecture on zero cycles for the quotient of certain complete intersections with trivial canonical bundle is proved to hold. As an application of Bloch-Srinivas method on the decomposition of the…

An old conjecture of Voisin describes how $0$-cycles on a surface $S$ should behave when pulled-back to the self-product $S^m$ for $m>p_g(S)$. We show that Voisin's conjecture is true for a $3$-dimensional family of surfaces of general type…

The purpose of this note is to give a short, selfcontained proof of the following result: A complex surface which is diffeomeorphic to a rational surface is rational.

We consider Blanchet, Habegger, Masbaum and Vogel's universal construction of topological theories in dimension two, using it to produce interesting theories that do not satisfy the usual two-dimensional TQFT axioms. Kronecker's…

We show that generic continuous linear cocycles over shifts and other zero-dimensional systems admit no quasiconformal orbits, thus providing a partial answer to a question of Nassiri, Rajabzadeh, and Reshadat. The proof relies on a new…

We present statistics on the decompositions (with respect to a distinguished symmetric 2t-cycle) of vertices of the hypercube graph, whose negative parts are regarded as disjoint unions of two subsets of the ground set {1,...,t} of the…

We study arithmetic properties of del Pezzo surfaces of degree 4 for which the Brauer group has the largest possible order using different fibrations into curves. We show that if such a surface admits a conic fibration, then it always has a…

A rational triangle $T$ (one whose angles are rational multiples of $\pi$) unfolds to a translation surface $(X_T,\omega_T)$. The lattice triangle problem asks to classify those $T$ for which $(X_T,\omega_T)$ is a Veech (lattice) surface,…

Jacobian conjectures (that nonsingular implies a global inverse) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The birational…