arXiv Science⌕ Search

arXiv subjects

Ziquan Yang

Publications and source records attributed to Ziquan Yang.

11 recordsLinked to original sources
arXiv2026

Faltings' Isogeny Theorem via Equidistribution

We give a new proof of Faltings' isogeny theorem. More precisely, we show that Yuan's non-archimedean equidistribution theorem can be used to "pump" homomorphisms and semisimplicity from finite fields to number fields, thereby reducing Faltings' theorem directly to Tate's theorem. In the appendix joint with Yap, we explain how an ultraproduct variant of our method gives another proof of the Shafarevich conjecture, and hence a new route to the Mordell conjecture via Parshin's trick.

math.NT↗
arXiv2026

Picard rank jumps for families of K3 surfaces in positive characteristic

Let X/C be a non iso-trivial family of K3 surfaces over a curve C defined over characteristic p > 2 field. We show that if X avoids a necessary and structural obstruction coming from Frobenius, and satisfies a big monodromy condition, then there are infinitely may geometric fibers that have larger Picard rank than the geometric generic fiber.

math.AG↗
arXiv2026

Arithmetic Deformation of Line Bundles

We introduce a new method to study mixed characteristic deformation of line bundles. In particular, for sufficiently large smooth projective families $f : \mathscr{X} \to \mathscr{S}$ defined over the ring of $N$-integers $\mathscr{O}_{L}[1/N]$ of a number field $L$, we produce a proper closed subscheme $\mathscr{E} \subsetneq \mathscr{S}$ outside of which all line bundles appearing in positive characteristic fibres of $f$ admit characteristic zero lifts. This in particular applies to elliptic surfaces over $\mathbb{P}^1$ and projective hypersurfaces in $\mathbb{P}^3$ of degree $d \geq 5$. We also study the locus in $\mathscr{E}$ in more detail in the $h^{0, 2} = 2$ case.

math.AG↗
arXiv2025

The Tate conjecture for surfaces of geometric genus one -- embracing singularities

In this article, we aim to largely complete the program of proving the Tate conjecture for surfaces of geometric genus one, by introducing techniques to analyze those surfaces whose "natural models" are singular. As an application, we show that every elliptic curve of height one over a global function field of genus one and characteristic $p \ge 11$ satisfies the Birch--Swinnerton-Dyer conjecture.

math.AG↗
arXiv2024

Pointwise criteria of p-adic local systems

Given a Z_p-linear local system over a smooth rigid space, we show that it is crystalline (resp. semi-stable) with respect to any smooth (resp. semi-stable) integral model if and only if its restrictions at many classical points are crystalline (resp. semi-stable) representations. To this end, we introduce a crystalline Riemann--Hilbert functor, and give several applications, including a semi-stable comparison theorem in the relative setting.

math.AG↗
arXiv2023

A Note on Systems of Realizations on Shimura Varieties

Let $(G, Ω)$ be a Shimura datum of abelian type. It is well known that the corresponding Shimura variety $\mathrm{Sh}(G, Ω)$ should be a moduli space of abelian motives equipped with some additional structures. In this half-expository note, we give under some simplifying assumptions a moduli interpretation of $\mathrm{Sh}(G, Ω)$ over the reflex field purely in terms of systems of realizations. The main purpose is to introduce some convenient formalism that can be used to avoid the technicalities about dealing with various notions of families of motives.

math.NT↗
arXiv2022

Twisted Derived Equivalences and Isogenies between K3 Surfaces in Positive Characteristic

We study isogenies between K3 surfaces in positive characteristic. Our main result is a characterization of K3 surfaces isogenous to a given K3 surface $X$ in terms of certain integral sublattices of the second rational $\ell$-adic and crystalline cohomology groups of $X$. This is a positive characteristic analog of a result of Huybrechts, and extends results of the second author. We give applications to the reduction types of K3 surfaces and to the surjectivity of the period morphism. To prove these results we describe a theory of B-fields and Mukai lattices in positive characteristic, which may be of independent interest. We also prove some results on lifting twisted Fourier--Mukai equivalences to characteristic 0, generalizing results of Lieblich and Olsson.

math.AG↗
arXiv2021

The Tate Conjecture for Motivic Endomorphisms of K3 Surfaces over Finite Fields

The Tate conjecture for squares of K3 surfaces over finite fields was recently proved by Ito-Ito-Koshikawa. We give a more geometric proof when the characteristic is at least 5. The main idea is to use twisted derived equivalences between K3 surfaces to link the Tate conjecture to finiteness results over finite fields, in the spirit of Tate.

math.NT↗
arXiv2020

On Irreducible Symplectic Varieties of $\mathrm{K3}^{[n]}$-type in Positive Characteristic

We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties. Our main result is a generalization of Ogus' crystalline Torelli theorem for supersingular K3 surfaces. For applications, we answer a slight variant of a question asked by F. Charles on moduli spaces of sheaves on K3 surfaces and give a crystalline Torelli theorem for supersingular cubic fourfolds.

math.AG↗
arXiv2020

Isogenies between K3 Surfaces over $\bar{\mathbb{F}}_p$

We generalize Mukai and Shafarevich's definitions of isogenies between K3 surfaces over $\mathbb{C}$ to an arbitrary perfect field and describe how to construct isogenous K3 surfaces over $\bar{\mathbb{F}}_p$ by prescribing linear algebraic data when $p$ is large. The main step is to show that isogenies between Kuga-Satake abelian varieties induce isogenies between K3 surfaces, in the context of integral models of Shimura varieties. As a byproduct, we show that every K3 surface of finite height admits a CM lifting under a mild assumption on $p$.

math.NT↗