Source author record

Daniel Litt

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT math.AT math.DS math.RT

Catalog footprint

Research overview

8works

5topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

p-Curvature and Non-Abelian Cohomology

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 $π_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 $π_1(S,s)$ on the rank $r$ integral characters of $π_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.

preprint2022arXiv

Level structure, arithmetic representations, and noncommutative Siegel linearization

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 $π_1^{\mathrm{et}}(X_{\bar k})$ is arithmetic if it extends to a finite index subgroup of $π_1^{\mathrm{et}}(X)$ . We show that there exists an effective constant $N=N(X,\ell)$ such that any semisimple arithmetic representation of $π_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.

preprint2016arXiv

Arithmetic Restrictions on Geometric Monodromy

Let X be a normal complex algebraic variety, and p a prime. We show that there exists an integer N=N(X, p) such that: any non-trivial, irreducible representation of the fundamental group of X, which arises from geometry, must be non-trivial mod p^N. The proof involves an analysis of the action of the Galois group of a finitely generated field on the etale fundamental group of X. We also prove many arithmetic statements about fundamental groups which are of independent interest, and give several applications.

preprint2016arXiv

Dynamical Mordell-Lang and Automorphisms of Blow-ups

We show that if $ϕ: X \to X$ is an automorphism of a smooth projective variety and $D \subset X$ is an irreducible divisor for which the set of $d$ in $D$ with $ϕ^n(d)$ in $D$ for some nonzero $n$ is not Zariski dense, then $(X, ϕ)$ admits an equivariant rational fibration to a curve. As a consequence, we show that certain blowups (e.g. blowups in high codimension) do not alter the finiteness of $\textrm{Aut}(X)$ , extending results of Bayraktar-Cantat. We also generalize results of Arnol'd on the growth of multiplicities of the intersection of a variety with the iterates of some other variety under an automorphism. These results follow from a non-reduced analogue of the dynamical Mordell-Lang conjecture. Namely, let $ϕ: X \to X$ be an étale endomorphism of a smooth projective variety $X$ over a field $k$ of characteristic zero. We show that if $Y$ and $Z$ are two closed subschemes of $X$ , then the set $A_ϕ(Y,Z) = \{n : ϕ^n(Y) \subseteq Z\}$ is the union of a finite set and finitely many residue classes, whose modulus is bounded in terms of the geometry of $Y$ .

preprint2016arXiv

Manifolds Containing an Ample P^1-bundle

Sommese has conjectured a classification of smooth projective varieties X containing, as an ample divisor, a P^d-bundle Y over a smooth variety Z. This conjecture is known if d>1, if dim(X)<5, or if Z admits a finite morphism to an Abelian variety. We confirm the conjecture if the Picard rank rho(Z)=1, or if Z is not uniruled. In general we reduce the conjecture to a conjectural characterization of projective space: namely that if W is a smooth projective variety, E is an ample vector bundle on W, and Hom(E, T_W) is non-zero, then W is isomorphic to P^n.

preprint2016arXiv

Non-Abelian Lefschetz Hyperplane Theorems

Let X be a smooth projective variety over the complex numbers, and let D be an ample divisor in X. For which spaces Y is the restriction map r: Hom(X, Y) -> Hom(D, Y) an isomorphism? Using positive characteristic methods, we give a fairly exhaustive answer to this question. An example application of our techniques is: if dim(X) > 2, Y is smooth, the cotangent bundle of Y is nef, and dim(Y) < dim(D), the restriction map r is an isomorphism. Taking Y to be the classifying space of a finite group BG, the moduli space of pointed curves M_{g,n}, the moduli space of principally polarized Abelian varieties A_g, certain period domains, and various other moduli spaces, one obtains many new and classical Lefschetz hyperplane theorems.

preprint2014arXiv

Zeta Functions of Curves with no Rational Points

We show that the motivic zeta functions of smooth, geometrically connected curves with no rational points are rational functions. This was previously known only for curves whose smooth projective models have a rational point on each connected component. In the course of the proof we study the class of a Severi-Brauer scheme over a general base in the Grothendieck ring of varieties.

preprint2012arXiv

Symmetric Powers Do Not Stabilize

We discuss the stabilization of symmetric products Sym^n(X) of a smooth projective variety X in the Grothendieck ring of varieties. For smooth projective surfaces X with non-zero h^0(X, ω_X), these products do not stabilize; we conditionally show that they do not stabilize in another related sense, in response to a question of R. Vakil and M. Wood. There are analogies between such stabilization, the Dold-Thom theorem, and the analytic class number formula. Finally, we discuss Hodge-theoretic obstructions to the stabilization of symmetric products, and provide evidence for these obstructions in terms of a relationship between the Newton polygon of a certain "motivic zeta function" associated to a curve, and its Hodge polygon.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Daniel Litt

Research overview

Is this your work?

8 publications

p-Curvature and Non-Abelian Cohomology

Level structure, arithmetic representations, and noncommutative Siegel linearization

Arithmetic Restrictions on Geometric Monodromy

Dynamical Mordell-Lang and Automorphisms of Blow-ups

Manifolds Containing an Ample P^1-bundle

Non-Abelian Lefschetz Hyperplane Theorems

Zeta Functions of Curves with no Rational Points

Symmetric Powers Do Not Stabilize

See the researcher in context

Building this map preview