Searcharxiv⌕ Search

arXiv subjects

Mark Kisin

Publications and source records attributed to Mark Kisin.

14 recordsLinked to original sources
arXiv2026

Reduction modulo p of crystalline Galois representations via {\mu}_p-equivariance

For a crystalline representation of the absolute Galois group of Q_p, with given Hodge-Tate weights, we obtain new constraints on the inertial weights of its mod p reduction. This allows us to formulate an explicit Serre weight conjecture, in the generality of L-parameters for unramified connected reductive groups over Q_p, and to prove the elimination direction of this conjecture. The proof uses prismatic techniques to show that the reductions modulo p of the Breuil-Kisin modules attached to crystalline Galois representations acquire a natural {\mu}_p-equivariant structure. Combining this with results on the geometry of the {\mu}_p-fixed points of affine Grassmannians leads to our new constraint.

math.NT↗
arXiv2025

Strongly compatible systems associated to semistable abelian varieties

We prove a motivic refinement of a result of Weil, Deligne and Raynaud on the existence of strongly compatible systems associated to abelian varieties. More precisely, given an abelian variety $A$ over a number field $\mathrm{E}\subset \mathbb C$, we prove that after replacing $\mathbb E$ by a finite extension, the action of $\mathrm{Gal}(\overline{\mathrm E}/\mathrm E)$ on the $\ell$-adic cohomology $\mathrm H^1_{\mathrm{\acute{e}t}}(A_{\overline{\mathrm E}},\mathbb Q_\ell)$ gives rise to a strongly compatible system of $\ell$-adic representations valued in the Mumford--Tate group $\mathbf G$ of $A$. This involves an independence of $\ell$-statement for the Weil--Deligne representation associated to $A$ at places of semistable reduction, extending previous work of ours at places of good reduction.

math.NT↗
arXiv2021

The stable trace formula for Shimura varieties of abelian type

We express the Frobenius-Hecke traces on the compactly supported cohomology of a Shimura variety of abelian type in terms of elliptic parts of stable Arthur-Selberg trace formulas for the endoscopic groups. This confirms predictions of Langlands and Kottwitz at primes where the level is hyperspecial.

math.NT↗
arXiv2021

Essential dimension via prismatic cohomology

For $X$ a smooth, proper complex variety we show that for $p\gg 0$, the restriction of the mod $p$ cohomology $H^i(X,\mathbb{F}_p)$ to any Zariski open has dimension at least $h^{0,i}_X$. The proof uses the prismatic cohomology of Bhatt-Scholze. We use this result to obtain lower bounds on the $p$-essential dimension of covers of complex varieties. For example, we prove the $p$-incompressibility of the mod $p$ homology cover of an abelian variety, confirming a conjecture of Brosnan for sufficiently large $p.$ By combining these techniques with the theory of toroidal compactifications of Shimura varieties, we show that for any Hermitian symmetric domain $X,$ there exist $p$-congruence covers that are $p$-incompressible.

math.AG↗
arXiv2021

Finiteness of reductions of Hecke orbits

We prove two finiteness results for reductions of Hecke orbits of abelian varieties over local fields: one in the case of supersingular reduction and one in the case of reductive monodromy. As an application, we show that only finitely many abelian varieties on a fixed isogeny leaf admit CM lifts, which in particular implies that in each fixed dimension $g$ only finitely many supersingular abelian varieties admit CM lifts. Combining this with the Kuga-Satake construction, we also show that only finitely many supersingular $K3$-surfaces admit CM lifts. Our tools include $p$-adic Hodge theory and group theoretic techniques.

math.NT↗
arXiv2021

Independence of $\ell$ for Frobenius conjugacy classes attached to abelian varieties

Let $A$ be an abelian variety over a number field $\mathrm E\subset \mathbb C$ and let $\mathbf G$ denote the Mumford--Tate group of $A$. After replacing $\mathrm E$ by a finite extension, the action of the absolute Galois group $\mathrm{Gal}(\overline{\mathrm E}/\mathrm E)$ on the $\ell$-adic cohomology $\mathrm{H}^1_{\mathrm{\acute{e}t}}(A_{\overline{\mathrm E}},\mathbb Q_\ell)$ factors through $\mathbf G(\mathbb Q_\ell).$ We show that for $v$ an odd prime of $\mathrm E$ where $A$ has good reduction, the conjugacy class of Frobenius $\mathrm{Frob}_v$ in $\mathbf G(\mathbb Q_\ell)$ is independent of $\ell$. Along the way we prove that every point in the $\mu$-ordinary locus of the special fiber of Shimura varieties has a special point lifting it.

math.NT↗
arXiv2019

Modular functions and resolvent problems

The link between modular functions and algebraic functions was a driving force behind the 19th century study of both. Examples include the solutions by Hermite and Klein of the quintic via elliptic modular functions and the general sextic via level $2$ hyperelliptic functions. This paper aims to apply modern arithmetic techniques to the circle of ``resolvent problems'' formulated and pursued by Klein, Hilbert and others. As one example, we prove that the essential dimension at $p=2$ for the symmetric groups $S_n$ is equal to the essential dimension at $2$ of certain $S_n$-coverings defined using moduli spaces of principally polarized abelian varieties. Our proofs use the deformation theory of abelian varieties in characteristic $p$, specifically Serre-Tate theory, as well as a family of remarkable mod $2$ symplectic $S_n$-representations constructed by Jordan. As shown in an appendix by Nate Harman, the properties we need for such representations exist only in the $p=2$ case. In the second half of this paper we introduce the notion of $\E$-versality as a kind of generalization of Kummer theory, and we prove that many congruence covers are $\E$-versal. We use these $\E$-versality result to deduce the equivalence of Hilbert's 13th Problem (and related conjectures) with problems about congruence covers.

math.AG↗
arXiv2019

The Essential Dimension of Congruence Covers

Consider the algebraic function $\Phi_{g,n}$ that assigns to a general $g$-dimensional abelian variety an $n$-torsion point. A question first posed by Kronecker and Klein asks: What is the minimal $d$ such that, after a rational change of variables, the function $\Phi_{g,n}$ can be written as an algebraic function of $d$ variables? Using techniques from the deformation theory of $p$-divisible groups and finite flat group schemes, we answer this question by computing the essential dimension and $p$-dimension of congruence covers of the moduli space of principally polarized abelian varieties. We apply this result to compute the essential $p$-dimension of congruence covers of the moduli space of genus $g$ curves, as well as its hyperelliptic locus, and of certain locally symmetric varieties.

math.AG↗
arXiv2016

$D$-modules and finite monodromy

We investigate an analogue of the Grothendieck $p$-curvature conjecture, where the vanishing of the $p$-curvature is replaced by the stronger condition, that the module with connection mod $p$ underlies a $\mathcal{D}_X$-module structure. We show that this weaker conjecture holds in various situations, for example if the underlying vector bundle is finite in the sense of Nori, or if the connection underlies a $\mathbb{Z}$-variation of Hodge structure. We also show isotriviality assuming a coprimality condition on certain mod $p$ Tannakian fundmental groups, which in particular resolves in the projective case a conjecture of Matzat-van der Put. v2: the well known 4.2 has been added to make the note self-contained.

math.AG↗
arXiv2015

Connected components of affine Deligne-Lusztig varieties in mixed characteristic

We determine the set of connected components of minuscule affine Deligne-Lusztig varieties for special maximal compact subgroups of unramified connected reductive groups. Partial results are also obtained for non-minuscule closed affine Deligne-Lusztig varieties. We consider both the function field case and its analog in mixed characteristic. In particular, we determine the set of connected components of unramified Rapoport-Zink spaces.

math.AG↗
arXiv2012

The Breuil-M\'ezard conjecture for potentially Barsotti-Tate representations

We prove the Breuil-M\'ezard conjecture for 2-dimensional potentially Barsotti-Tate representations of the absolute Galois group G_K, K a finite extension of Q_p, for any p>2 (up to the question of determining precise values for the multiplicities that occur). In the case that K/Q_p is unramified, we also determine most of the multiplicities. We then apply these results to the weight part of Serre's conjecture, proving a variety of results including the Buzzard-Diamond-Jarvis conjecture.

math.NT↗
arXiv2001

Unit L-functions and a conjecture of Katz

Let f: X -> Y be a separated morphism of schemes of finite type over a finite field of characteristic p, let Lambda be an artinian local Z_p-algebra with finite residue field, let m be the maximal ideal of Lambda, and let L^\bullet be a bounded constructible complex of sheaves of finite free Lambda-modules on the étale site of Y. We show that the ratio of L-functions L(X,L^\bullet)/L(Y,f_! L^\bullet), which is a priori an element of 1+T Lambda[[T]], in fact lies in 1+ m T Lambda [T]. This implies a conjecture of Katz predicting the location of the zeroes and poles of the L-function of a p-adic étale lisse sheaf on the closed unit disk in terms of étale cohomology with compact support.

math.NT↗