arXiv subjects
Publications and source records attributed to Daniel Litt.
We present a short, digested, human-verified version of the recent OpenAI-generated counterexample to the Erd\H{o}s unit distance conjecture, and a sequence of reflections on it. The argument relies crucially on ideas that may, at least in retrospect, be attributed to Ellenberg-Venkatesh, Golod-Shafarevich, and Hajir-Maire-Ramakrishna.
We produce infinitely many local systems on (level covers of) the moduli space of smooth cubic threefolds, with algebraic monodromy group equal to the exceptional group $E_6$. These local systems arise in the middle cohomology of abelian \'etale covers of the Fano scheme parametrizing lines in the universal cubic threefold.
Let $X\to S$ be a smooth projective morphism. Katz proved the Grothendieck-Katz $p$-curvature conjecture for the Gauss-Manin connection on the $i$-th cohomology of $X/S$: if its $p$-curvature vanishes mod $p$ for infinitely many $p$, then the action of $\pi_1(S,s)$ on $H^i(X_s, \mathbb{Z})$ factors through a finite group. We prove a non-abelian analogue of this statement: if the $p$-curvature of the isomonodromy foliation on the moduli of flat bundles of rank $r$ on $X/S$ vanishes mod $p$ for infinitely many $p$, then the action of $\pi_1(S,s)$ on the rank $r$ integral characters of $\pi_1(X_s)$ factors through a finite group. We deduce many new cases of the Bost/Ekedahl--Shepherd-Barron--Taylor conjecture. The proofs rely on a non-abelian version of Katz's formula, and a non-abelian version of the Hodge index theorem.
Let $Y$ be a smooth quasi-projective complex variety equipped with a simple normal crossings compactification. We show that integral points are potentially dense in the (relative) character varieties parametrizing $SL_2$-local systems on $Y$ with fixed algebraic integer traces along the boundary components. The proof proceeds by using work of Corlette-Simpson to reduce to the case of Riemann surfaces, where we produce an integral point with Zariski-dense orbit under the mapping class group.
We formulate a conjecture classifying algebraic solutions to (possibly non-linear) algebraic differential equations, in terms of the primes appearing in the denominators of the coefficients of their Taylor expansion at a non-singular point. For linear differential equations, this conjecture is a strengthening of the Grothendieck-Katz $p$-curvature conjecture. We prove the conjecture for many differential equations and initial conditions of algebro-geometric interest. For linear differential equations, we prove it for Picard-Fuchs equations at initial conditions corresponding to cycle classes, among other cases. For non-linear differential equations, we prove it for isomonodromy differential equations, such as the Painlev\'e VI equation and Schlesinger system, at initial conditions corresponding to Picard-Fuchs equations. We draw a number of algebro-geometric consequences from the proofs.
We survey some recent developments at the interface of algebraic geometry, surface topology, and the theory of ordinary differential equations. Motivated by "non-abelian" analogues of standard conjectures on the cohomology of algebraic varieties, we study mapping class group actions on character varieties and their algebro-geometric avatar -- isomonodromy differential equations -- from the point of view of both complex and arithmetic geometry. We then collect some open questions and conjectures on these topics. These notes are an extended version of my talk at the April 2024 Current Developments in Mathematics conference at Harvard.
Let $\Sigma_{g'}\to \Sigma_g$ be a cover of an orientable surface of genus g by an orientable surface of genus g', branched at n points, with Galois group H. Such a cover induces a virtual action of the mapping class group $\text{Mod}_{g,n+1}$ of a genus g surface with n+1 marked points on $H^1(\Sigma_{g'}, \mathbb{C})$. When g is large in terms of the group H, we calculate precisely the connected monodromy group of this action. The methods are Hodge-theoretic and rely on a "generic Torelli theorem with coefficients."
Let X be a 2-sphere with n punctures. We classify all conjugacy classes of Zariski-dense representations $$\rho: \pi_1(X)\to SL_2(\mathbb{C})$$ with finite orbit under the mapping 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.
Let $J(m)$ be an $m\times m$ Jordan block with eigenvalue $1$. For $\lambda\in \mathbb{C}\setminus\{0,1\}$, we explicitly construct all rank $2$ local systems of geometric origin on $\mathbb{P}^1\setminus\{0,1,\lambda, \infty\}$, with local monodromy conjugate to $J(2)$ at $0,1,\lambda$ 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).
We solve Prill's problem, originally posed by David Prill in the late 1970s and popularized in ACGH's "Geometry of Algebraic Curves." That is, for any curve $Y$ of genus $2$, we produce a finite \'etale degree $36$ connected cover $f: X \to Y$ where, for every point $y \in Y$, $f^{-1}(y)$ moves in a pencil.
We give two applications of our prior work toward the Putman-Wieland conjecture. First, we deduce a strengthening of a result of Markovi\'c-To\v{s}i\'c on virtual mapping class group actions on the homology of covers. Second, let $g\geq 2$ and let $\Sigma_{g',n'}\to \Sigma_{g, n}$ be a finite $H$-cover of topological surfaces. We show the virtual action of the mapping class group of $\Sigma_{g,n+1}$ on an $H$-isotypic component of $H^1(\Sigma_{g'})$ has non-unitary image.
We give algebraic and geometric perspectives on our prior results toward the Putman-Wieland conjecture. This leads to interesting new constructions of families of "origami" curves whose Jacobians have high-dimensional isotrivial isogeny factors. We also explain how a hyperelliptic analogue of the Putman-Wieland conjecture fails, following work of Markovi\'{c}.
Let $A$ be a simple abelian surface over an algebraically closed field $k$. Let $S\subset A(k)$ be the set of torsion points $x$ of $A$ such that there exists a genus $2$ curve $C$ and a map $f: C\to A$ such that $x$ is in the image of $f$, and $f$ sends a Weierstrass point of $C$ to the origin of $A$. The purpose of this note is to show that if $k$ has characteristic zero, then $S$ is finite -- this is in contrast to the situation where $k$ is the algebraic closure of a finite field, where $S=A(k)$, as shown by Bogomolov and Tschinkel. We deduce that if $k=\bar{\mathbb{Q}}$, the Kummer surface associated to $A$ has infinitely many $k$-points not contained in a rational curve arising from a genus $2$ curve in $A$, again in contrast to the situation over the algebraic closure of a finite field.
Let $\Sigma_{g,n}$ be an orientable surface of genus $g$ with $n$ punctures. We study actions of the mapping class group of $\Sigma_{g,n}$ via Hodge-theoretic and arithmetic techniques. We show that if $$\rho: \pi_1(\Sigma_{g,n})\to GL_r(\mathbb{C})$$ is a representation whose conjugacy class has finite orbit under the mapping class group, and $r<\sqrt{g+1}$, then $\rho$ has finite image. This answers questions of Junho Peter Whang and Mark Kisin. We give applications of our methods to the Putman-Wieland conjecture, the Fontaine-Mazur conjecture, and a question of Esnault-Kerz. The proofs rely on non-abelian Hodge theory, our earlier work on semistability of isomonodromic deformations, and recent work of Esnault-Groechenig and Klevdal-Patrikis on Simpson's integrality conjecture for cohomologically rigid local systems.
We reformulate the theory of p-adic iterated integrals on semistable curves using the unipotent log rigid fundamental group. This fundamental group carries Frobenius and monodromy operators whose basic properties are established. By identifying the Frobenius-invariant subgroup of the fundamental group with the fundamental group of the dual graph, we characterize Berkovich--Coleman integration, which is path-dependent, as integration along the Frobenius-invariant lift of a path in the dual graph. Vologodsky's path-independent integration theory which was previously described using a monodromy condition can now be identified as Berkovich--Coleman integration along a combinatorial canonical path arising from the theory of combinatorial iterated integration as developed by the first-named author and Cheng.
We show that the minimum rank of a non-isotrivial local system of geometric origin, on a suitably general $n$-pointed curve of genus $g$, is at least $2\sqrt{g+1}$. We apply this result to resolve conjectures of Esnault-Kerz and Budur-Wang. The main input is an analysis of stability properties of flat vector bundles under isomonodromic deformation, which additionally answers questions of Biswas, Heu, and Hurtubise.
Let $\ell$ be a prime, $k$ a finitely generated field of characteristic different from $\ell$, and $X$ a smooth geometrically connected curve over $k$. Say a semisimple representation of $\pi_1^{\mathrm{et}}(X_{\bar k})$ is arithmetic if it extends to a finite index subgroup of $\pi_1^{\mathrm{et}}(X)$. We show that there exists an effective constant $N=N(X,\ell)$ such that any semisimple arithmetic representation of $\pi_1^{\mathrm{et}}(X_{\bar k})$ into $\mathrm{GL}_n(\bar{\mathbb{Z}_\ell})$, which is trivial mod $\ell^N$, is in fact trivial. This extends a previous result of the second author from characteristic zero to all characteristics. The proof relies on a new noncommutative version of Siegel's linearization theorem and the $\ell$-adic form of Baker's theorem on linear forms in logarithms.
We formulate a tropical analogue of Grothendieck's section conjecture: that for every stable graph G of genus g>2, and every field k, the generic curve with reduction type G over k satisfies the section conjecture. We prove many cases of this conjecture. In so doing we produce many examples of curves satisfying the section conjecture over fields of geometric interest, and then over p-adic fields and number fields via a Chebotarev argument. We construct two Galois cohomology classes o_1 and o_2, which obstruct the existence of pi_1-sections and hence of rational points. The first is an abelian obstruction, closely related to the period of a curve and to a cohomology class on the moduli space of curves M_g studied by Morita. The second is a 2-nilpotent obstruction and appears to be new. We study the degeneration of these classes via topological techniques, and we produce examples of surface bundles over surfaces where these classes obstruct sections. We then use these constructions to produce curves over p-adic fields and number fields where each class obstructs pi_1-sections and hence rational points. Among our geometric results are a new proof of the section conjecture for the generic curve of genus g>2, and a proof of the section conjecture for the generic curve of even genus with a rational divisor class of degree one (where the obstruction to the existence of a section is genuinely non-abelian).