Searcharxiv⌕ Search

arXiv · 2609.38801

Supersingular Tate conjecture for irreducible symplectic varieties of known types: I

Abstract

We prove that for a supersingular irreducible symplectic variety admitting suitable lifting to characteristic zero has Tate Chow motive if it is of deformation type $K3^{[n]}$, OG6 (with Artin invariant $\neq$ 4), or OG10 (with Artin invariant $\neq$ 12), and has supersingular abelian Chow motive if it is of $\mathrm{Kum}^n$-type (with Artin invariant $\neq$ 3). In particular, any product of those irreducible symplectic varieties satisfies the supersingular Tate conjecture for the whole $\ell$-adic or crystalline cohomology ring.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lie Fu, Xuanlin Huang, Zhiyuan Li. 2026-09-30. Supersingular Tate conjecture for irreducible symplectic varieties of known types: I. https://arxiv.org/abs/2609.38801

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

KEEP EXPLORING

Related papers

Blocking sets from a union of plane curves

Motivated by a question of Erdős on blocking sets in a projective plane that intersect every line only a few times, several authors have used unions of algebraic curves to construct such sets in $\mathbb{P}^2(\mathbb{F}_q)$. In this paper, we provide new constructions of blocking sets in $\mathbb{P}^2(\mathbb{F}_q)$ from a union of geometrically irreducible curves of a fixed degree $d$. We also establish lower bounds on the number of such curves required to form a blocking set. Our proofs combine tools from arithmetic geometry and combinatorics.

math.AG↗

On a relation of a conjecture of Goncharov to the co-Lie algebra of Bloch-Kriz mixed Tate motives

Goncharov defined for each field $F$ and an integer $n$ greater than 1 a certain group $B_n(F)$. We consider the possibility of defining a linear map from $B_n(F)$ to the co-Lie algebra of the category of mixed Tate motives defined by Bloch and Kriz, in terms of motivic polylogarithms. We give results which support this possibility assuming part of the conjecture by Beilinson and Soulé on vanishing of $K$-groups of fields.

math.AG↗

Divisors and harmonic morphisms on metric Graphs of pseudocompact type

A metric graph is of pseudocompact type if identifying parallel edges produces a tree. We give a constructive proof that, for such graphs, divisorial $d$-gonality is equivalent to the existence of a degree $d$ harmonic morphism to a tree. This mirrors the algebraic correspondence, for curves of compact type, between limit linear series of dimension one and admissible covers. We also deduce lifting results for positive-rank divisors, with a genus-preserving refinement when identifying parallel edges produces a path. Finally, we study the Brill-Noether theory in the path case.

math.AG↗