Showing 1–27 of 27 results for author: Litt, D

Big monodromy for higher Prym representations

Authors: Aaron Landesman, Daniel Litt, Will Sawin

Abstract: Let $Σ_{g'}\to Σ_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 map** class group $\text{Mod}_{g,n+1}$ of a genus g surface with n+1 marked points on $H^1(Σ_{g'}, \mathbb{C})$. When g is large in terms of the group H, we calculate precisely the connected monodromy grou… ▽ More Let $Σ_{g'}\to Σ_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 map** class group $\text{Mod}_{g,n+1}$ of a genus g surface with n+1 marked points on $H^1(Σ_{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." △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 43 pages, comments welcome

MSC Class: 14D05; 57K20; 14C30; 14C34

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.

Comments: 28 pages, 2 figures. Comments welcome

MSC Class: 14H30 (Primary) 14C30; 37C25 (Secondary)

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.

Comments: 17 pages, comments welcome

Prill's problem

Authors: Aaron Landesman, Daniel Litt

Abstract: 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 étale degree $36$ connected cover $f: X \to Y$ where, for every point $y \in Y$, $f^{-1}(y)$ moves in a pencil. 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 étale degree $36$ connected cover $f: X \to Y$ where, for every point $y \in Y$, $f^{-1}(y)$ moves in a pencil. △ Less

Submitted 26 September, 2022; originally announced September 2022.

Comments: 5 pages, comments welcome

MSC Class: 14H10; 14H45; 14C20

Applications of the algebraic geometry of the Putman-Wieland conjecture

Authors: Aaron Landesman, Daniel Litt

Abstract: We give two applications of our prior work toward the Putman-Wieland conjecture. First, we deduce a strengthening of a result of Marković-Tošić on virtual map** class group actions on the homology of covers. Second, let $g\geq 2$ and let $Σ_{g',n'}\to Σ_{g, n}$ be a finite $H$-cover of topological surfaces. We show the virtual action of the map** class group of $Σ_{g,n+1}$ on an $H$-isotypic c… ▽ More We give two applications of our prior work toward the Putman-Wieland conjecture. First, we deduce a strengthening of a result of Marković-Tošić on virtual map** class group actions on the homology of covers. Second, let $g\geq 2$ and let $Σ_{g',n'}\to Σ_{g, n}$ be a finite $H$-cover of topological surfaces. We show the virtual action of the map** class group of $Σ_{g,n+1}$ on an $H$-isotypic component of $H^1(Σ_{g'})$ has non-unitary image. △ Less

Submitted 13 September, 2023; v1 submitted 1 September, 2022; originally announced September 2022.

Comments: 21 pages, comments welcome! Typo fixes; updated in light of arXiv:2209.12958

MSC Class: 14H10; 14H45; 57K20

Journal ref: Proc. Lond. Math. Soc. (3) 127 (2023), no. 1, 116-133

An introduction to the algebraic geometry of the Putman-Wieland conjecture

Authors: Aaron Landesman, Daniel Litt

Abstract: 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ć. 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ć. △ Less

Submitted 21 May, 2023; v1 submitted 1 September, 2022; originally announced September 2022.

Comments: We are updating the article after it has been published in a journal

MSC Class: 14D05; 14H10; 57K20

Journal ref: European Journal of Mathematics 9, 40 (2023)

The Manin-Mumford conjecture in genus 2 and rational curves on K3 surfaces

Authors: Philip Engel, Raju Krishnamoorthy, Daniel Litt

Abstract: 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 -- t… ▽ More 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. △ Less

Submitted 5 September, 2022; v1 submitted 18 August, 2022; originally announced August 2022.

Comments: Clarified statement of main theorem, typo fixes

Canonical representations of surface groups

Authors: Aaron Landesman, Daniel Litt

Abstract: Let $Σ_{g,n}$ be an orientable surface of genus $g$ with $n$ punctures. We study actions of the map** class group of $Σ_{g,n}$ via Hodge-theoretic and arithmetic techniques. We show that if $$ρ: π_1(Σ_{g,n})\to GL_r(\mathbb{C})$$ is a representation whose conjugacy class has finite orbit under the map** class group, and $r<\sqrt{g+1}$, then $ρ$ has finite image. This answers questions of Junho… ▽ More Let $Σ_{g,n}$ be an orientable surface of genus $g$ with $n$ punctures. We study actions of the map** class group of $Σ_{g,n}$ via Hodge-theoretic and arithmetic techniques. We show that if $$ρ: π_1(Σ_{g,n})\to GL_r(\mathbb{C})$$ is a representation whose conjugacy class has finite orbit under the map** class group, and $r<\sqrt{g+1}$, then $ρ$ 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. △ Less

Submitted 13 March, 2023; v1 submitted 30 May, 2022; originally announced May 2022.

Comments: v2 corrects a gap in the deformation-theoretic arguments pointed out to us by Hélène Esnault; the main results are unchanged

MSC Class: 34M56; 57K20; 14C30; 14H10; 11G99

p-adic iterated integration on semistable curves

Authors: Eric Katz, Daniel Litt

Abstract: 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, whi… ▽ More 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. We demonstrate the basic properties for this integration theory. 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 use this definition to lay the groundwork for computing iterated integrals. △ Less

Submitted 17 March, 2024; v1 submitted 10 February, 2022; originally announced February 2022.

Comments: 68 pages. Comments Welcome!

Geometric local systems on very general curves and isomonodromy

Authors: Aaron Landesman, Daniel Litt

Abstract: 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, H… ▽ More 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. △ Less

Submitted 29 May, 2022; v1 submitted 31 January, 2022; originally announced February 2022.

Comments: 57 pages, comments welcome! Updated with various minor clarifications and improvements

Level structure, arithmetic representations, and noncommutative Siegel linearization

Authors: Borys Kadets, Daniel Litt

Abstract: 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 r… ▽ More 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. △ Less

Submitted 6 April, 2022; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: Various corrections in response to referee's comments; accepted for publication in Crelle's Journal

Surface bundles and the section conjecture

Authors: Wanlin Li, Daniel Litt, Nick Salter, Padmavathi Srinivasan

Abstract: 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 a… ▽ More 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). △ Less

Submitted 31 May, 2023; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: Fixed a mistake in Theorem 3.1.1 of the earlier version, main results of the paper remain the same

MSC Class: 14F35 (Primary) 14G05 (Secondary)

Tamely ramified morphisms of curves and Belyi's theorem in positive characteristic

Authors: Kiran S. Kedlaya, Daniel Litt, Jakub Witaszek

Abstract: We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our work leads to a refinement of the tame Belyi theorem in positive characteristic, building on results of Saïdi, Sugiyama-Yasuda, and Anbar-Tutdere. We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our work leads to a refinement of the tame Belyi theorem in positive characteristic, building on results of Saïdi, Sugiyama-Yasuda, and Anbar-Tutdere. △ Less

Submitted 2 October, 2021; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: 23 pages, comments welcome; accepted to IMRN

MSC Class: 14G17

Group-theoretic Johnson classes and a non-hyperelliptic curve with torsion Ceresa class

Authors: Dean Bisogno, Wanlin Li, Daniel Litt, Padmavathi Srinivasan

Abstract: Let l be a prime and G a pro-l group with torsion-free abelianization. We produce group-theoretic analogues of the Johnson/Morita cocycle for G -- in the case of surface groups, these cocycles appear to refine existing constructions when l=2. We apply this to the pro-l etale fundamental groups of smooth curves to obtain Galois-cohomological analogues, and discuss their relationship to work of Hain… ▽ More Let l be a prime and G a pro-l group with torsion-free abelianization. We produce group-theoretic analogues of the Johnson/Morita cocycle for G -- in the case of surface groups, these cocycles appear to refine existing constructions when l=2. We apply this to the pro-l etale fundamental groups of smooth curves to obtain Galois-cohomological analogues, and discuss their relationship to work of Hain and Matsumoto in the case the curve is proper. We analyze many of the fundamental properties of these classes and use them to give an example of a non-hyperelliptic curve whose Ceresa class has torsion image under the l-adic Abel-Jacobi map. △ Less

Submitted 29 March, 2023; v1 submitted 13 April, 2020; originally announced April 2020.

Comments: 18 pages, final version

MSC Class: 2010. 14C25; 14F20; 14F30; 14F35; 14G32; 14H45

Journal ref: Épijournal de Géométrie Algébrique, Volume 7 (March 30, 2023) epiga:6849

Semisimplicity and weight-monodromy for fundamental groups

Authors: L. Alexander Betts, Daniel Litt

Abstract: Let X be a smooth, geometrically connected variety over a p-adic local field. We show that the pro-unipotent fundamental group of X (in both the etale and crystalline settings) satisfies the weight-monodromy conjecture, following Vologodsky. We deduce (in the etale setting) that Frobenii act semisimply on the Lie algebra of the pro-unipotent fundamental group of X, and (in the crystalline setting)… ▽ More Let X be a smooth, geometrically connected variety over a p-adic local field. We show that the pro-unipotent fundamental group of X (in both the etale and crystalline settings) satisfies the weight-monodromy conjecture, following Vologodsky. We deduce (in the etale setting) that Frobenii act semisimply on the Lie algebra of the pro-unipotent fundamental group of X, and (in the crystalline setting) that the same is true for a K-linear power of the crystalline Frobenius. We give applications to the representability and geometry of the Selmer varieties appearing in the Chabauty-Kim program, even in cases of bad reduction. △ Less

Submitted 11 March, 2021; v1 submitted 4 December, 2019; originally announced December 2019.

Comments: Updated in response to referee report; comments welcome

Integral points on algebraic subvarieties of period domains: from number fields to finitely generated fields

Authors: Ariyan Javanpeykar, Daniel Litt

Abstract: We show that for a variety which admits a quasi-finite period map, finiteness (resp.~non-Zariski-density) of $S$-integral points implies finiteness (resp.~non-Zariski-density) of points over all $\mathbb{Z}$-finitely generated integral domains of characteristic zero. Our proofs rely on foundational results in Hodge theory due to Deligne, Griffiths, and Schmid, and Bakker-Brunebarbe-Tsimerman. We g… ▽ More We show that for a variety which admits a quasi-finite period map, finiteness (resp.~non-Zariski-density) of $S$-integral points implies finiteness (resp.~non-Zariski-density) of points over all $\mathbb{Z}$-finitely generated integral domains of characteristic zero. Our proofs rely on foundational results in Hodge theory due to Deligne, Griffiths, and Schmid, and Bakker-Brunebarbe-Tsimerman. We give straightforward applications to Shimura varieties, locally symmetric varieties, the moduli space of smooth hypersurfaces in projective space, and the moduli of smooth divisors in an abelian variety. △ Less

Submitted 10 May, 2021; v1 submitted 31 July, 2019; originally announced July 2019.

Comments: 14 pages. Rewrote introduction. Updated bibliography. Added new application (Theorem 1.2). Comments more than welcome!

Representations of surface groups with universally finite map** class group orbit

Authors: Brian Lawrence, Daniel Litt

Abstract: Let $Σ_{g,n}$ be the orientable genus $g$ surface with $n$ punctures, where $2-2g-n<0$. Let $$ρ: π_1(Σ_{g,n})\to GL_m(\mathbb{C})$$ be a representation. Suppose that for each finite covering map $f: Σ_{g', n'}\to Σ_{g, n}$, the orbit of (the isomorphism class of) $f^*(ρ)$ under the map** class group $MCG(Σ_{g',n'})$ of $Σ_{g',n'}$ is finite. Then we show that $ρ$ has finite image. The result is… ▽ More Let $Σ_{g,n}$ be the orientable genus $g$ surface with $n$ punctures, where $2-2g-n<0$. Let $$ρ: π_1(Σ_{g,n})\to GL_m(\mathbb{C})$$ be a representation. Suppose that for each finite covering map $f: Σ_{g', n'}\to Σ_{g, n}$, the orbit of (the isomorphism class of) $f^*(ρ)$ under the map** class group $MCG(Σ_{g',n'})$ of $Σ_{g',n'}$ is finite. Then we show that $ρ$ has finite image. The result is motivated by the Grothendieck-Katz $p$-curvature conjecture, and gives a reformulation of the $p$-curvature conjecture in terms of isomonodromy. △ Less

Submitted 2 June, 2021; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: Updated to final publication version; minor typos corrected and several new examples given

Arithmetic representations of fundamental groups II: finiteness

Authors: Daniel Litt

Abstract: Let $X$ be a smooth curve over a finitely generated field $k$, and let $\ell$ be a prime different from the characteristic of $k$. We analyze the dynamics of the Galois action on the deformation rings of mod $\ell$ representations of the geometric fundamental group of $X$. Using this analysis, we prove analogues of the Shafarevich and Fontaine-Mazur finiteness conjectures for function fields over… ▽ More Let $X$ be a smooth curve over a finitely generated field $k$, and let $\ell$ be a prime different from the characteristic of $k$. We analyze the dynamics of the Galois action on the deformation rings of mod $\ell$ representations of the geometric fundamental group of $X$. Using this analysis, we prove analogues of the Shafarevich and Fontaine-Mazur finiteness conjectures for function fields over algebraically closed fields in arbitrary characteristic, and a weak variant of the Frey-Mazur conjecture for function fields in characteristic zero. For example, we show that if $X$ is a normal, connected variety over $\mathbb{C}$, the (typically infinite) set of representations of $π_1(X^{\text{an}})$ into $GL_n(\overline{\mathbb{Q}_\ell})$, which come from geometry, has no limit points. As a corollary, we deduce that if $L$ is a finite extension of $\mathbb{Q}_\ell$, then the set of representations of $π_1(X^{\text{an}})$ into $GL_n(L)$, which arise from geometry, is finite. △ Less

Submitted 10 September, 2018; originally announced September 2018.

Comments: 30 pages, comments welcome!

Arithmetic representations of fundamental groups I

Authors: Daniel Litt

Abstract: Let $X$ be a normal algebraic variety over a finitely generated field $k$ of characteristic zero, and let $\ell$ be a prime. Say that a continuous $\ell$-adic representation $ρ$ of $π_1^{\text{ét}}(X_{\bar k})$ is arithmetic if there exists a representation $\tilde ρ$ of a finite index subgroup of $π_1^{\text{ét}}(X)$, with $ρ$ a subquotient of $\tildeρ|_{π_1(X_{\bar k})}$. We show that there exis… ▽ More Let $X$ be a normal algebraic variety over a finitely generated field $k$ of characteristic zero, and let $\ell$ be a prime. Say that a continuous $\ell$-adic representation $ρ$ of $π_1^{\text{ét}}(X_{\bar k})$ is arithmetic if there exists a representation $\tilde ρ$ of a finite index subgroup of $π_1^{\text{ét}}(X)$, with $ρ$ a subquotient of $\tildeρ|_{π_1(X_{\bar k})}$. We show that there exists an integer $N=N(X, \ell)$ such that every nontrivial, semisimple arithmetic representation of $π_1^{\text{ét}}(X_{\bar k})$ is nontrivial mod $\ell^N$. As a corollary, we prove that any nontrivial semisimple representation of $π_1^{\text{ét}}(X_{\bar k})$, which arises from geometry, is nontrivial mod $\ell^N$. △ Less

Submitted 22 August, 2017; originally announced August 2017.

Comments: This paper gives a streamlined proof of the main theorem of arXiv:1607.05740, with some minor improvements, and is intended for publication. That paper proves much more, some of which will appear in the sequel to this paper. Comments welcome; 27 pages, 1 figure

Vanishing for Frobenius Twists of Ample Vector Bundles

Authors: Daniel Litt

Abstract: We prove several asymptotic vanishing theorems for Frobenius twists of ample vector bundles in positive characteristic. As an application, we prove a generalization of the Bott-Danilov-Steenbrink vanishing theorem for ample vector bundles on toric varieties. We prove several asymptotic vanishing theorems for Frobenius twists of ample vector bundles in positive characteristic. As an application, we prove a generalization of the Bott-Danilov-Steenbrink vanishing theorem for ample vector bundles on toric varieties. △ Less

Submitted 13 February, 2017; originally announced February 2017.

Comments: 8 pages, comments welcome

Arithmetic Restrictions on Geometric Monodromy

Authors: Daniel Litt

Abstract: 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 ma… ▽ More 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. △ Less

Submitted 20 December, 2016; v1 submitted 19 July, 2016; originally announced July 2016.

Comments: 57 pages, 1 figure. Dramatic improvements to main results. Significant improvements to exposition, several new examples, and major reorganization. Basically completely rewritten. Comments welcome!

Dynamical Mordell-Lang and Automorphisms of Blow-ups

Authors: John Lesieutre, Daniel Litt

Abstract: 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… ▽ More 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$. △ Less

Submitted 27 April, 2016; originally announced April 2016.

Comments: 26 pages, 2 figures; comments appreciated

Manifolds Containing an Ample P^1-bundle

Authors: Daniel Litt

Abstract: 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 o… ▽ More 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. △ Less

Submitted 1 February, 2016; originally announced February 2016.

Comments: 4 pages; comments welcome!

Non-Abelian Lefschetz Hyperplane Theorems

Authors: Daniel Litt

Abstract: 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… ▽ More 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. △ Less

Submitted 28 January, 2016; originally announced January 2016.

Comments: A version of the author's PhD thesis; comments welcome!

Zeta Functions of Curves with no Rational Points

Authors: Daniel Litt

Abstract: 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. 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. △ Less

Submitted 28 May, 2014; originally announced May 2014.

Comments: 12 pages, comments welcome

Symmetric Powers Do Not Stabilize

Authors: Daniel Litt

Abstract: 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, t… ▽ More 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. △ Less

Submitted 21 September, 2012; originally announced September 2012.

Comments: 12 pages, comments welcome

A Categorical Construction of Ultrafilters

Authors: Daniel Litt, Zachary Abel, Scott D. Kominers

Abstract: Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms of the inverse limit of an inverse family of finite partitions; this is an elementary and intuitive presentation of a consequence of the profiniteness of Sto… ▽ More Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms of the inverse limit of an inverse family of finite partitions; this is an elementary and intuitive presentation of a consequence of the profiniteness of Stone spaces. We then apply this construction to answer a question of Rosinger posed in arXiv:0709.0084v2 in the negative. △ Less

Submitted 13 May, 2009; v1 submitted 12 October, 2007; originally announced October 2007.

Comments: 5 pages

MSC Class: 54D80 (Primary); 16B50 (Secondary)