-
Constructing abelian varieties from rank 3 Galois representations with real trace field
Authors:
Raju Krishnamoorthy,
Yeuk Hay Joshua Lam
Abstract:
Let $U/K$ be a smooth affine curve over a number field and let $L$ be an irreducible rank 3 $\overline{\mathbb Q}_{\ell}$-local system on $U$ with trivial determinant and infinite geometric monodromy around a cusp. Suppose further that $L$ extends to an integral model such that the Frobenius traces are contained in a fixed totally real number field. Then, after potentially shrinking $U$, there exi…
▽ More
Let $U/K$ be a smooth affine curve over a number field and let $L$ be an irreducible rank 3 $\overline{\mathbb Q}_{\ell}$-local system on $U$ with trivial determinant and infinite geometric monodromy around a cusp. Suppose further that $L$ extends to an integral model such that the Frobenius traces are contained in a fixed totally real number field. Then, after potentially shrinking $U$, there exists an abelian scheme $f\colon B_U\rightarrow U$ such that $L$ is a summand of $R^2f_*\overline{\mathbb Q}_{\ell}(1)$.
The key ingredients are: (1) the totally real assumption implies $L$ admits a square root $M$; (2) the trace field of $M$ is sufficiently bounded, allowing us to use recent work of Krishnamoorthy-Yang-Zuo to construct an abelian scheme over $U_{\bar K}$ geometrically realizing $L$; and (3) Deligne's weight-monodromy theorem and the Rapoport-Zink spectral sequence, which allow us to pin down the arithmetizations using the total degeneration.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Families of subvarieties of manifolds with a canonical form
Authors:
Yeuk Hay Joshua Lam,
Federico Moretti,
Giovanni Passeri
Abstract:
Suppose $Y$ is a smooth variety equipped with a top form. We prove a simple theorem giving a sharp lower bound on the geometric genus of a family of subvarieties of $Y$, in terms of the dimension of this family. Two elementary applications are presented. On the one hand, we show that for a very general curve $C$ and a very general hypersurface $Y\subset \mathbb P^{n+1}$ of degree $\ge 2n+1$, any m…
▽ More
Suppose $Y$ is a smooth variety equipped with a top form. We prove a simple theorem giving a sharp lower bound on the geometric genus of a family of subvarieties of $Y$, in terms of the dimension of this family. Two elementary applications are presented. On the one hand, we show that for a very general curve $C$ and a very general hypersurface $Y\subset \mathbb P^{n+1}$ of degree $\ge 2n+1$, any map $C \to Y$ is constant. On the other hand, we give a lower bound on the genus of a family of curves with an isotrivial factor in the associated family of Jacobians; we also characterize the families of curves attaining this bound as the families of degree $2$ branched covers of a fixed curve.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Frobenius trace fields of cohomologically rigid local systems
Authors:
Raju Krishnamoorthy,
Yeuk Hay Joshua Lam
Abstract:
Let $X/\mathbb{C}$ be a smooth variety with simple normal crossings compactification $\bar{X}$, and let $L$ be an irreducible $\overline{\mathbb{Q}}_{\ell}$-local system on $X$ with torsion determinant. Suppose $L$ is cohomologically rigid. The pair $(X, L)$ may be spread out to a finitely generated base, and therefore reduced modulo $p$ for almost all $p$; the Frobenius traces of this mod $p$ red…
▽ More
Let $X/\mathbb{C}$ be a smooth variety with simple normal crossings compactification $\bar{X}$, and let $L$ be an irreducible $\overline{\mathbb{Q}}_{\ell}$-local system on $X$ with torsion determinant. Suppose $L$ is cohomologically rigid. The pair $(X, L)$ may be spread out to a finitely generated base, and therefore reduced modulo $p$ for almost all $p$; the Frobenius traces of this mod $p$ reduction lie in a number field $F_p$, by a theorem of Deligne. We investigate to what extent the fields $F_p$ are bounded, meaning that they are contained in a fixed number field, independent of $p$. We prove a host of results around this question. For instance: assuming $L$ has totally degenerate unipotent monodromy around some component of $Z$, then we prove that $L$ admits a spreading out such that the $F_p$'s are bounded; without any local monodromy assumptions, we show that the $F_p$'s are bounded as soon as they are bounded at one point of $X$.
We also speculate on the relation between the boundedness of the $F_p$'s, and the local system $L$ being strongly of geometric origin, a notion due to Langer-Simpson.
△ Less
Submitted 4 December, 2023; v1 submitted 21 August, 2023;
originally announced August 2023.
-
Finite braid group orbits on $SL_2$-character varieties
Authors:
Yeuk Hay Joshua Lam,
Aaron Landesman,
Daniel Litt
Abstract:
Let X be a 2-sphere with n punctures. We classify all conjugacy classes of Zariski-dense representations $$ρ: π_1(X)\to SL_2(\mathbb{C})$$ with finite orbit under the map** class group of X, such that the local monodromy at one or more punctures has infinite order. We show that all such representations are "of pullback type" or arise via middle convolution from finite complex reflection groups.…
▽ More
Let X be a 2-sphere with n punctures. We classify all conjugacy classes of Zariski-dense representations $$ρ: π_1(X)\to SL_2(\mathbb{C})$$ with finite orbit under the map** class group of X, such that the local monodromy at one or more punctures has infinite order. We show that all such representations are "of pullback type" or arise via middle convolution from finite complex reflection groups. In particular, we classify all rank 2 local systems of geometric origin on the projective line with n generic punctures, and with local monodromy of infinite order about at least one puncture.
△ Less
Submitted 2 August, 2023;
originally announced August 2023.
-
Geometric local systems on the projective line minus four points
Authors:
Yeuk Hay Joshua Lam,
Daniel Litt
Abstract:
Let $J(m)$ be an $m\times m$ Jordan block with eigenvalue $1$. For $λ\in \mathbb{C}\setminus\{0,1\}$, we explicitly construct all rank $2$ local systems of geometric origin on $\mathbb{P}^1\setminus\{0,1,λ, \infty\}$, with local monodromy conjugate to $J(2)$ at $0,1,λ$ and conjugate to $-J(2)$ at $\infty$. The construction relies on Katz's middle convolution operation. We use our construction to p…
▽ More
Let $J(m)$ be an $m\times m$ Jordan block with eigenvalue $1$. For $λ\in \mathbb{C}\setminus\{0,1\}$, we explicitly construct all rank $2$ local systems of geometric origin on $\mathbb{P}^1\setminus\{0,1,λ, \infty\}$, with local monodromy conjugate to $J(2)$ at $0,1,λ$ and conjugate to $-J(2)$ at $\infty$. The construction relies on Katz's middle convolution operation. We use our construction to prove two conjectures of Sun-Yang-Zuo (one of which was proven earlier by Lin-Sheng-Wang; the other was proven independently from us by Yang-Zuo).
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
Motivic local systems on curves and Maeda's conjecture
Authors:
Yeuk Hay Joshua Lam
Abstract:
We show that only finitely many complex genus two curves and four punctured spheres admit rank two local systems of geometric origin, and moreover each carries finitely many. This gives further counterexamples to a conjecture of Esnault and Kerz: counterexamples over very general curves were recently obtained by Landesman and Litt. In the second part we prove an analogue of this result in positive…
▽ More
We show that only finitely many complex genus two curves and four punctured spheres admit rank two local systems of geometric origin, and moreover each carries finitely many. This gives further counterexamples to a conjecture of Esnault and Kerz: counterexamples over very general curves were recently obtained by Landesman and Litt. In the second part we prove an analogue of this result in positive characteristic, namely that over $\overline{\mathbb{F}}_p$, only finitely many genus two curves admit non-trivial rank two local systems pulled back from a fixed quaternionic Shimura variety, and the same for $\mathbb{P}^1$ minus four points; conjecturally, every rank two local system arises as such a pullback. This provides results towards Maeda's conjecture on Galois orbits of eigenforms over function fields. The proofs make use of ideas from the work of Landesman and Litt such as isomonodromy, as well as crucially the description of the Goren-Oort strata due to Tian and Xiao.
△ Less
Submitted 11 November, 2022;
originally announced November 2022.
-
Boundedness of trace fields of rank two local systems
Authors:
Yeuk Hay Joshua Lam
Abstract:
Let $p$ be a fixed prime number, and $q$ a power of $p$. For any curve over $\mb{F}_q$ and any local system on it, we have a number field generated by the traces of Frobenii at closed points, known as the trace field. We show that as we range over all pointed curves of type $(g,n)$ in characteristic $p$ and rank two local systems satisfying a condition at infinity, the set of trace fields which ar…
▽ More
Let $p$ be a fixed prime number, and $q$ a power of $p$. For any curve over $\mb{F}_q$ and any local system on it, we have a number field generated by the traces of Frobenii at closed points, known as the trace field. We show that as we range over all pointed curves of type $(g,n)$ in characteristic $p$ and rank two local systems satisfying a condition at infinity, the set of trace fields which are unramified at $p$ and of bounded degree is finite. This proves observations of Kontsevich obtained via numerical computations, which are in turn closely related to the analogue of Maeda's conjecture over function fields. We also prove a similar finiteness result across all primes $p$. One of the key steps in the proofs is the boundedness of abelian schemes of $\mathrm{GL}_2$-type over curves in positive characteristics, which is an analogue of Faltings' Arakelov theorem for abelian varieties in our setting.
△ Less
Submitted 18 November, 2022; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Lifts of supersingular abelian varieties with small Mumford-Tate groups
Authors:
Yeuk Hay Joshua Lam,
Abhishek Oswal
Abstract:
We investigate to what extent an abelian variety over a finite field can be lifted to one in characteristic zero with small Mumford-Tate group. We prove that supersingular abelian surfaces, respectively threefolds, can be lifted to ones isogenous to a square, respectively product, of elliptic curves. On the other hand, we show that supersingular abelian threefolds cannot be lifted to one isogenous…
▽ More
We investigate to what extent an abelian variety over a finite field can be lifted to one in characteristic zero with small Mumford-Tate group. We prove that supersingular abelian surfaces, respectively threefolds, can be lifted to ones isogenous to a square, respectively product, of elliptic curves. On the other hand, we show that supersingular abelian threefolds cannot be lifted to one isogenous to the cube of an elliptic curve over the Witt vectors.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
Finiteness of reductions of Hecke orbits
Authors:
Mark Kisin,
Yeuk Hay Joshua Lam,
Ananth N. Shankar,
Padmavathi Srinivasan
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
The Attractor Conjecture for Calabi-Yau variations of Hodge structures
Authors:
Yeuk Hay Joshua Lam
Abstract:
We study attractor points for Calabi-Yau variations of Hodge structures. In particular, for certain moduli spaces which are Shimura varieties, we prove that the attractor points are CM points, thus proving Moore's Attractor Conjecture in these cases. We also study non-BPS examples of attractors, obtaining special points on locally symmetric spaces without hermitian structures, as well as locally s…
▽ More
We study attractor points for Calabi-Yau variations of Hodge structures. In particular, for certain moduli spaces which are Shimura varieties, we prove that the attractor points are CM points, thus proving Moore's Attractor Conjecture in these cases. We also study non-BPS examples of attractors, obtaining special points on locally symmetric spaces without hermitian structures, as well as locally symmetric spaces inside Shimura varieties; for the latter we point out a possible analogy with subspaces studied by Goresky-Tai. Finally we give an explicit geometric description of non-BPS attractors in the simplest case.
△ Less
Submitted 5 October, 2020;
originally announced October 2020.
-
Attractors are not algebraic
Authors:
Yeuk Hay Joshua Lam,
Arnav Tripathy
Abstract:
The Attractor Conjecture for Calabi-Yau moduli spaces predicts the algebraicity of the moduli values of certain isolated points picked out by Hodge-theoretic conditions. We provide a family of counterexamples to the Attractor Conjecture in all suitably high, odd dimensions conditional on the Zilber-Pink conjecture.
The Attractor Conjecture for Calabi-Yau moduli spaces predicts the algebraicity of the moduli values of certain isolated points picked out by Hodge-theoretic conditions. We provide a family of counterexamples to the Attractor Conjecture in all suitably high, odd dimensions conditional on the Zilber-Pink conjecture.
△ Less
Submitted 29 September, 2020; v1 submitted 26 September, 2020;
originally announced September 2020.
-
Calabi-Yau threefolds over finite fields and torsion in cohomologies
Authors:
Yeuk Hay Joshua Lam
Abstract:
We study various examples of Calabi-Yau threefolds over finite fields. In particular, we provide a counterexample to a conjecture of K. Joshi on lifting Calabi-Yau threefolds to characteristic zero. We also compute the p-adic cohomologies of some Calabi-Yau threefolds constructed by Cynk-van Straten which have remarkable arithmetic properties, as well as those of the Hirokado threefold. These exam…
▽ More
We study various examples of Calabi-Yau threefolds over finite fields. In particular, we provide a counterexample to a conjecture of K. Joshi on lifting Calabi-Yau threefolds to characteristic zero. We also compute the p-adic cohomologies of some Calabi-Yau threefolds constructed by Cynk-van Straten which have remarkable arithmetic properties, as well as those of the Hirokado threefold. These examples and computations answer some outstanding questions of B. Bhatt, T. Ekedahl, van der Geer-Katsura and Patakfalvi-Zdanowicz, and shed new light on the Beauville-Bogomolov decomposition in positive characteristic. Our tools include p-adic Hodge theory as well as classical algebraic topology. We also give potential examples showing that Hodge numbers of threefolds in positive characteristic are not derived invariants, contrary to the case of characteristic zero.
△ Less
Submitted 21 September, 2020;
originally announced September 2020.
-
Generalized Bockstein maps and Massey products
Authors:
Yeuk Hay Joshua Lam,
Yuan Liu,
Romyar Sharifi,
Preston Wake,
Jiuya Wang
Abstract:
Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H,…
▽ More
Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H, we relate the values of these generalized Bockstein maps to Massey products relative to a restricted class of defining systems depending on H. We apply our study to prove lower bounds on the p-ranks of class groups of certain nonabelian extensions of the rational numbers and to give a new proof of the vanishing of triple Massey products in Galois cohomology.
△ Less
Submitted 25 November, 2022; v1 submitted 23 April, 2020;
originally announced April 2020.