arXiv ScienceSearch

arXiv · 2608.17953

Symmetric Differentials on K3 Surfaces

Abstract

We prove that a K3 surface over an algebraically closed field admits a nonzero global symmetric differential of positive degree if and only if the characteristic is $p=2$, and it is supersingular of Artin invariant $σ_0=1$. Vanishing was previously only known in characteristic zero by a result of Kobayashi. For the exceptional case we show that there is a unique (up to scaling) nontrivial global symmetric differential in every positive even degree. Along the way, we extend a theorem of Jang and show that a supersingular K3 surface in characteristic $p>0$ is isomorphic to a smooth quartic surface if and only if $p\geq3$ or $p=2$ and it is of Artin invariant $σ_0\geq3$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Frank Gounelas, Christian Liedtke. 2026-08-18. Symmetric Differentials on K3 Surfaces. https://arxiv.org/abs/2608.17953

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Planar curve singularities having constant intersection multiplicity with a smooth boundary

We study deformations of curve singularities in a smooth surface having a constant local intersection multiplicity $w$ with a smooth boundary curve. In particular, we consider the codimension of the equisingular locus in the semiuniversal deformation space and prove results on the inclusion relations between ideals describing different kinds of deformations. A classification is given of singularities expected to appear in codimension $\leq 3$ in a general family.

math.AG

Partial Cohomologically Complete Intersections via Hodge Theory

We introduce an invariant $c(X)$ associated to any complex algebraic variety $X$, which for varieties with isolated singularities measures the failure of dual Kodaira-Akizuki-Nakano vanishing. In general, it is characterized by Hodge--Lyubeznik numbers, the depth of Du Bois complexes, and the Hodge filtration on local cohomology modules. We show that this invariant is computable in many examples, such as cones over rational homology manifolds or determinantal varieties.

math.AG