Showing 1–33 of 33 results for author: Landesman, A

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

Homological stability for generalized Hurwitz spaces and Selmer groups in quadratic twist families over function fields

Authors: Jordan S. Ellenberg, Aaron Landesman

Abstract: We prove a version of the Bhargava-Kane-Lenstra-Poonen-Rains heuristics for Selmer groups of quadratic twist families of abelian varieties over global function fields. As a consequence, we derive a result towards the "minimalist conjecture" on Selmer ranks of abelian varieties in such families. More precisely, we show that the probabilities predicted in these two conjectures are correct to within… ▽ More We prove a version of the Bhargava-Kane-Lenstra-Poonen-Rains heuristics for Selmer groups of quadratic twist families of abelian varieties over global function fields. As a consequence, we derive a result towards the "minimalist conjecture" on Selmer ranks of abelian varieties in such families. More precisely, we show that the probabilities predicted in these two conjectures are correct to within an error term in the size of the constant field, $q$, which goes to $0$ as $q$ grows. Two key inputs are a new homological stability theorem for a generalized version of Hurwitz spaces parameterizing covers of punctured Riemann surfaces of arbitrary genus, and an expression of average sizes of Selmer groups in terms of the number of rational points on these Hurwitz spaces over finite fields. △ Less

Submitted 29 February, 2024; v1 submitted 24 October, 2023; originally announced October 2023.

Comments: We added an appendix using logarithmic geometry to show the conjectured limits for the moments exist

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)

Obstructions to applying the Baker--Bilu method for determining integral points on curves

Authors: Aaron Landesman, Bjorn Poonen

Abstract: We prove that for every smooth projective integral curve $X$ of genus at least $2$ over $\mathbb C$, there exists $x \in X(\mathbb C)$ such that no connected finite étale cover of $X-\{x\}$ admits a nonconstant morphism to $\mathbb G_m$. This has implications for the applicability of Baker's method to determining integral points on curves. We prove that for every smooth projective integral curve $X$ of genus at least $2$ over $\mathbb C$, there exists $x \in X(\mathbb C)$ such that no connected finite étale cover of $X-\{x\}$ admits a nonconstant morphism to $\mathbb G_m$. This has implications for the applicability of Baker's method to determining integral points on curves. △ Less

Submitted 20 June, 2023; originally announced June 2023.

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)

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

Low degree Hurwitz stacks in the Grothendieck ring

Authors: Aaron Landesman, Ravi Vakil, Melanie Matchett Wood

Abstract: For $2 \leq d \leq 5$, we show that the class of the Hurwitz space of smooth degree $d$, genus $g$ covers of $\mathbb P^1$ stabilizes in the Grothendieck ring of stacks as $g \to \infty$, and we give a formula for the limit. We also verify this stabilization when one imposes ramification conditions on the covers, and obtain a particularly simple answer for this limit when one restricts to simply b… ▽ More For $2 \leq d \leq 5$, we show that the class of the Hurwitz space of smooth degree $d$, genus $g$ covers of $\mathbb P^1$ stabilizes in the Grothendieck ring of stacks as $g \to \infty$, and we give a formula for the limit. We also verify this stabilization when one imposes ramification conditions on the covers, and obtain a particularly simple answer for this limit when one restricts to simply branched covers. △ Less

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

Comments: Many changes were made in response to careful readings by the referees. This version was accepted to Compositio Mathematica

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

Stacky heights on elliptic curves in characteristic 3

Authors: Aaron Landesman

Abstract: We show there are no stacky heights on the moduli stack of stable elliptic curves in characteristic $3$ which induce the usual Faltings height, negatively answering a question of Ellenberg, Satriano, and Zureick-Brown. We show there are no stacky heights on the moduli stack of stable elliptic curves in characteristic $3$ which induce the usual Faltings height, negatively answering a question of Ellenberg, Satriano, and Zureick-Brown. △ Less

Submitted 31 May, 2023; v1 submitted 17 July, 2021; originally announced July 2021.

Comments: I have made significant changes and restructured the argument based on a number of suggestions and corrections from an anonymous referee

A geometric approach to the Cohen-Lenstra heuristics

Authors: Aaron Landesman

Abstract: We give a new geometric description of when an element of the class group of a quadratic field, thought of as a quadratic form $q$, is $n$-torsion. We show that $q$ corresponds to an $n$-torsion element if and only if there exists a degree $n$ polynomial whose resultant with $q$ is $\pm 1$. This is motivated by a more precise geometric parameterization which directly connects torsion in class grou… ▽ More We give a new geometric description of when an element of the class group of a quadratic field, thought of as a quadratic form $q$, is $n$-torsion. We show that $q$ corresponds to an $n$-torsion element if and only if there exists a degree $n$ polynomial whose resultant with $q$ is $\pm 1$. This is motivated by a more precise geometric parameterization which directly connects torsion in class groups of quadratic fields to Selmer groups of singular genus $1$ curves. △ Less

Submitted 23 June, 2023; v1 submitted 18 June, 2021; originally announced June 2021.

A Fulton-Hansen theorem for almost homogeneous spaces

Authors: János Kollár, Aaron Landesman

Abstract: We prove a generalization of the Fulton-Hansen connectedness theorem, where ${\mathbb P}^n$ is replaced by a normal variety on which an algebraic group acts with a dense orbit. We prove a generalization of the Fulton-Hansen connectedness theorem, where ${\mathbb P}^n$ is replaced by a normal variety on which an algebraic group acts with a dense orbit. △ Less

Submitted 18 September, 2022; v1 submitted 4 October, 2020; originally announced October 2020.

A Lefschetz theorem for intersections with projective varieties

Authors: Aaron Landesman

Abstract: One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on étale fundamental groups $π_1(H \cap U) \rightarrow π_1(U)$ is surjective. We prove a generalization, replacing the hyperplane by a general $\operatorname{PGL}_{n+1}$-translat… ▽ More One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on étale fundamental groups $π_1(H \cap U) \rightarrow π_1(U)$ is surjective. We prove a generalization, replacing the hyperplane by a general $\operatorname{PGL}_{n+1}$-translate of an arbitrary projective variety: If $U \subset \mathbb P^n$ is a normal quasi-projective variety, $X$ is a geometrically irreducible projective variety of dimension at least $n + 1 - \dim U$, and $Y$ is a general $\operatorname{PGL}_{n+1}$-translate of $X$, then the map $π_1(Y \cap U) \rightarrow π_1(U)$ is surjective. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Invariance of the tame fundamental group under base change between algebraically closed fields

Authors: Aaron Landesman

Abstract: We show that the tame étale fundamental group of a connected normal finite type separated scheme remains invariant upon base change between algebraically closed fields of characteristic $p \geq 0$. We show that the tame étale fundamental group of a connected normal finite type separated scheme remains invariant upon base change between algebraically closed fields of characteristic $p \geq 0$. △ Less

Submitted 19 January, 2024; v1 submitted 19 May, 2020; originally announced May 2020.

Comments: Minor update to edit a comment about a reference to Szamuely's book

Journal ref: Ess. Number Th. 3 (2024) 1-18

The geometric distribution of Selmer groups of elliptic curves over function fields

Authors: Tony Feng, Aaron Landesman, Eric M. Rains

Abstract: Fix a positive integer $n$ and a finite field $\mathbb F_q$. We study the joint distribution of the rank of $E$, the $n$-Selmer group of $E$, and the $n$-torsion in the Tate-Shafarevich group of $E$ as $E$ varies over elliptic curves of fixed height $d \geq 2$ over $\mathbb F_q(t)$. We compute this joint distribution in the large $q$ limit. We also show that the "large $q$, then large height" limi… ▽ More Fix a positive integer $n$ and a finite field $\mathbb F_q$. We study the joint distribution of the rank of $E$, the $n$-Selmer group of $E$, and the $n$-torsion in the Tate-Shafarevich group of $E$ as $E$ varies over elliptic curves of fixed height $d \geq 2$ over $\mathbb F_q(t)$. We compute this joint distribution in the large $q$ limit. We also show that the "large $q$, then large height" limit of this distribution agrees with the one predicted by Bhargava-Kane-Lenstra-Poonen-Rains. △ Less

Submitted 14 September, 2022; v1 submitted 16 March, 2020; originally announced March 2020.

The infinitesimal Torelli problem

Authors: Aaron Landesman

Abstract: Let $g \geq 2$ and let the Torelli map denote the map sending a genus $g$ curve to its principally polarized Jacobian. We verify the well known fact that the map induced on tangent spaces by the Torelli map is dual to the multiplication map $\mathrm{Sym}^2 H^0(C, ω_C) \rightarrow H^0(C, ω_C^{\otimes 2})$. Let $g \geq 2$ and let the Torelli map denote the map sending a genus $g$ curve to its principally polarized Jacobian. We verify the well known fact that the map induced on tangent spaces by the Torelli map is dual to the multiplication map $\mathrm{Sym}^2 H^0(C, ω_C) \rightarrow H^0(C, ω_C^{\otimes 2})$. △ Less

Submitted 5 November, 2019; originally announced November 2019.

The Torelli map restricted to the hyperelliptic locus

Authors: Aaron Landesman

Abstract: Let $g \geq 2$ and let the Torelli map denote the map sending a genus $g$ curve to its principally polarized Jacobian. We show that the restriction of the Torelli map to the hyperelliptic locus is an immersion in characteristic not $2$. In characteristic $2$, we show the Torelli map restricted to the hyperelliptic locus fails to be an immersion because it is generically inseparable; moreover, the… ▽ More Let $g \geq 2$ and let the Torelli map denote the map sending a genus $g$ curve to its principally polarized Jacobian. We show that the restriction of the Torelli map to the hyperelliptic locus is an immersion in characteristic not $2$. In characteristic $2$, we show the Torelli map restricted to the hyperelliptic locus fails to be an immersion because it is generically inseparable; moreover, the induced map on tangent spaces has kernel of dimension $g-2$ at every point. △ Less

Submitted 17 April, 2021; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: updated background on hyperelliptic curves and fixed some minor errors

Improved lower bounds for the number of fields with alternating Galois group

Authors: Aaron Landesman, Robert J. Lemke Oliver, Frank Thorne

Abstract: Let $n \geq 6$ be an integer. We prove that the number of number fields with Galois group $A_n$ and absolute discriminant at most $X$ is asymptotically at least $X^{1/8 + O(1/n)}$. For $n \geq 8$ this improves upon the previously best known lower bound of $X^{(1 - \frac{2}{n!})/(4n - 4) - ε}$, due to Pierce, Turnage-Butterbaugh, and Wood. Let $n \geq 6$ be an integer. We prove that the number of number fields with Galois group $A_n$ and absolute discriminant at most $X$ is asymptotically at least $X^{1/8 + O(1/n)}$. For $n \geq 8$ this improves upon the previously best known lower bound of $X^{(1 - \frac{2}{n!})/(4n - 4) - ε}$, due to Pierce, Turnage-Butterbaugh, and Wood. △ Less

Submitted 2 December, 2021; v1 submitted 22 October, 2019; originally announced October 2019.

Comments: removed Lee citation

The geometric average size of Selmer groups over function fields

Authors: Aaron Landesman

Abstract: We show, in the large $q$ limit, that the average size of $n$-Selmer groups of elliptic curves of bounded height over $\mathbb F_q(t)$ is the sum of the divisors of $n$. As a corollary, again in the large $q$ limit, we deduce that $100\%$ of elliptic curves of bounded height over $\mathbb F_q(t)$ have rank $0$ or $1$. We show, in the large $q$ limit, that the average size of $n$-Selmer groups of elliptic curves of bounded height over $\mathbb F_q(t)$ is the sum of the divisors of $n$. As a corollary, again in the large $q$ limit, we deduce that $100\%$ of elliptic curves of bounded height over $\mathbb F_q(t)$ have rank $0$ or $1$. △ Less

Submitted 22 May, 2021; v1 submitted 2 November, 2018; originally announced November 2018.

Journal ref: Alg. Number Th. 15 (2021) 673-709

An explicit Abelian surface with maximal Galois action

Authors: Quinn Greicius, Aaron Landesman

Abstract: We construct an explicit example of a genus $2$ curve $C$ over a number field $K$ such that the adelic Galois representation arising from the action of $\operatorname{Gal}(\overline{K}/K)$ on the Jacobian of $C$ has image $\operatorname{GSp}_4(\widehat{\mathbb Z})$. We construct an explicit example of a genus $2$ curve $C$ over a number field $K$ such that the adelic Galois representation arising from the action of $\operatorname{Gal}(\overline{K}/K)$ on the Jacobian of $C$ has image $\operatorname{GSp}_4(\widehat{\mathbb Z})$. △ Less

Submitted 16 December, 2019; v1 submitted 30 March, 2018; originally announced April 2018.

Hyperelliptic Curves with Maximal Galois Action on the Torsion Points of their Jacobians

Authors: Aaron Landesman, Ashvin Swaminathan, James Tao, Yujie Xu

Abstract: In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyp… ▽ More In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations. △ Less

Submitted 11 June, 2022; v1 submitted 24 May, 2017; originally announced May 2017.

Comments: 25 pages

MSC Class: 11F80; 11G10; 11G30; 11R32

Journal ref: Indiana Univ. Math. J., 69(7):2461-2492, 2020

The twisting Sato-Tate group of the curve $y^2 = x^{8} - 14x^4 + 1$

Authors: Sonny Arora, Victoria Cantoral-Farfán, Aaron Landesman, Davide Lombardo, Jackson S. Morrow

Abstract: We determine the twisting Sato-Tate group of the genus $3$ hyperelliptic curve $y^2 = x^{8} - 14x^4 + 1$ and show that all possible subgroups of the twisting Sato-Tate group arise as the Sato-Tate group of an explicit twist of $y^2 = x^{8} - 14x^4 + 1$. Furthermore, we prove the generalized Sato-Tate conjecture for the Jacobians of all $\mathbb Q$-twists of the curve $y^2 = x^{8} - 14x^4 + 1$. We determine the twisting Sato-Tate group of the genus $3$ hyperelliptic curve $y^2 = x^{8} - 14x^4 + 1$ and show that all possible subgroups of the twisting Sato-Tate group arise as the Sato-Tate group of an explicit twist of $y^2 = x^{8} - 14x^4 + 1$. Furthermore, we prove the generalized Sato-Tate conjecture for the Jacobians of all $\mathbb Q$-twists of the curve $y^2 = x^{8} - 14x^4 + 1$. △ Less

Submitted 26 July, 2017; v1 submitted 24 August, 2016; originally announced August 2016.

Comments: 34 pages, comments welcome

Surjectivity of Galois Representations in Rational Families of Abelian Varieties

Authors: Aaron Landesman, Ashvin Swaminathan, James Tao, Yujie Xu

Abstract: In this article, we show that for any non-isotrivial family of abelian varieties over a rational base with big monodromy, those members that have adelic Galois representation with image as large as possible form a density-$1$ subset. Our results can be applied to a number of interesting families of abelian varieties, such as rational families dominating the moduli of Jacobians of hyperelliptic cur… ▽ More In this article, we show that for any non-isotrivial family of abelian varieties over a rational base with big monodromy, those members that have adelic Galois representation with image as large as possible form a density-$1$ subset. Our results can be applied to a number of interesting families of abelian varieties, such as rational families dominating the moduli of Jacobians of hyperelliptic curves, trigonal curves, or plane curves. As a consequence, we prove that for any dimension $g \geq 3$, there are infinitely many abelian varieties over $\mathbb Q$ with adelic Galois representation having image equal to all of $\operatorname{GSp}_{2g}(\widehat{\mathbb Z})$. △ Less

Submitted 14 June, 2022; v1 submitted 18 August, 2016; originally announced August 2016.

Comments: 41 pages

MSC Class: 11F80; 11G10; 11R32; 11G30; 12E25; 11N36

Journal ref: Alg. Number Th. 13 (2019) 995-1038

Lifting Subgroups of Symplectic Groups over $\mathbb{Z} / \ell \mathbb{Z}$

Authors: Aaron Landesman, Ashvin Swaminathan, James Tao, Yujie Xu

Abstract: For a positive integer $g$, let $\mathrm{Sp}_{2g}(R)$ denote the group of $2g \times 2g$ symplectic matrices over a ring $R$. Assume $g \ge 2$. For a prime number $\ell$, we give a self-contained proof that any closed subgroup of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$ which surjects onto $\mathrm{Sp}_{2g}(\mathbb{Z}/\ell\mathbb{Z})$ must in fact equal all of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$. The r… ▽ More For a positive integer $g$, let $\mathrm{Sp}_{2g}(R)$ denote the group of $2g \times 2g$ symplectic matrices over a ring $R$. Assume $g \ge 2$. For a prime number $\ell$, we give a self-contained proof that any closed subgroup of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$ which surjects onto $\mathrm{Sp}_{2g}(\mathbb{Z}/\ell\mathbb{Z})$ must in fact equal all of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$. The result and the method of proof are both motivated by group-theoretic considerations that arise in the study of Galois representations associated to abelian varieties. △ Less

Submitted 25 March, 2017; v1 submitted 15 July, 2016; originally announced July 2016.

Comments: 12 pages

MSC Class: 20G25; 11G10

Interpolation of Varieties of Minimal Degree

Authors: Aaron Landesman

Abstract: It is well known that one can find a rational normal curve in $\mathbb P^n$ through $n+3$ general points. We prove a generalization of this to higher dimensional varieties, showing that smooth varieties of minimal degree can be interpolated through points and linear spaces. It is well known that one can find a rational normal curve in $\mathbb P^n$ through $n+3$ general points. We prove a generalization of this to higher dimensional varieties, showing that smooth varieties of minimal degree can be interpolated through points and linear spaces. △ Less

Submitted 26 January, 2017; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: 22 pages, 7 figures

MSC Class: 14N25; 14N05; 14M12; 14J40

Interpolation in Algebraic Geometry

Authors: Aaron Landesman, Anand Patel

Abstract: This is an expanded version of the two papers "Interpolation of Varieties of Minimal Degree" and "Interpolation Problems: Del Pezzo Surfaces." It is well known that one can find a rational normal curve in $\mathbb P^n$ through $n+3$ general points. More recently, it was shown that one can always find nonspecial curves through the expected number of general points and linear spaces. After some expo… ▽ More This is an expanded version of the two papers "Interpolation of Varieties of Minimal Degree" and "Interpolation Problems: Del Pezzo Surfaces." It is well known that one can find a rational normal curve in $\mathbb P^n$ through $n+3$ general points. More recently, it was shown that one can always find nonspecial curves through the expected number of general points and linear spaces. After some expository material regarding scrolls, we consider the generalization of this question to varieties of all dimensions and explain why smooth varieties of minimal degree satisfy interpolation. We give twenty-two equivalent formulations of interpolation. We also classify when Castelnuovo curves satisfy weak interpolation. In the appendix, we prove that del Pezzo surfaces satisfy weak interpolation. Our techniques for proving interpolation include deformation theory, degeneration and specialization, and association. △ Less

Submitted 3 May, 2016; originally announced May 2016.

Comments: This was the Senior Thesis of the first author and is an expanded version of two papers, as mentioned in the abstract

MSC Class: 14N10; 14N25; 14N05; 14J26; 14J45

Interpolation Problems: Del Pezzo Surfaces

Authors: Aaron Landesman, Anand Patel

Abstract: We consider the problem of interpolating projective varieties through points and linear spaces. We show that del Pezzo surfaces satisfy weak interpolation. We consider the problem of interpolating projective varieties through points and linear spaces. We show that del Pezzo surfaces satisfy weak interpolation. △ Less

Submitted 12 April, 2020; v1 submitted 21 January, 2016; originally announced January 2016.

MSC Class: 14N10; 14N25; 14N05; 14J26; 14J45

Section rings of $\mathbb{Q}$-divisors on minimal rational surfaces

Authors: Aaron Landesman, Peter Ruhm, Robin Zhang

Abstract: We give bounds on the degree of generation and relations of section rings associated to arbitrary $\mathbb{Q}$-divisors on projective spaces of all dimensions and Hirzebruch surfaces. For section rings of effective $\mathbb{Q}$-divisors on projective spaces, we find the best possible bound on the degrees of generators and relations. We give bounds on the degree of generation and relations of section rings associated to arbitrary $\mathbb{Q}$-divisors on projective spaces of all dimensions and Hirzebruch surfaces. For section rings of effective $\mathbb{Q}$-divisors on projective spaces, we find the best possible bound on the degrees of generators and relations. △ Less

Submitted 17 December, 2018; v1 submitted 20 August, 2015; originally announced August 2015.

Comments: 21 pages

MSC Class: 14Q05; 11F41; 11F46; 05E99

Journal ref: Aaron Landesman, Peter Ruhm, and Robin Zhang. Section rings of Q-divisors on minimal rational surfaces. Mathematical Research Letters, 25(4):1329-1357, 2018

Spin canonical rings of log stacky curves

Authors: Aaron Landesman, Peter Ruhm, Robin Zhang

Abstract: Consider modular forms arising from a finite-area quotient of the upper-half plane by a Fuchsian group. By the classical results of Kodaira-Spencer, this ring of modular forms may be viewed as the log spin canonical ring of a stacky curve. In this paper, we tightly bound the degrees of minimal generators and relations of log spin canonical rings. As a consequence, we obtain a tight bound on the de… ▽ More Consider modular forms arising from a finite-area quotient of the upper-half plane by a Fuchsian group. By the classical results of Kodaira-Spencer, this ring of modular forms may be viewed as the log spin canonical ring of a stacky curve. In this paper, we tightly bound the degrees of minimal generators and relations of log spin canonical rings. As a consequence, we obtain a tight bound on the degrees of minimal generators and relations for rings of modular forms of arbitrary integral weight. △ Less

Submitted 7 March, 2016; v1 submitted 9 July, 2015; originally announced July 2015.

Comments: 36 pages. To appear in the Annales de l'Insitut Fourier

MSC Class: 14Q05; 11F11

Journal ref: Aaron Landesman, Peter Ruhm, and Robin Zhang. Spin canonical rings of log stacky curves. Annales de l'Institut Fourier, 66(6):2339-2383, 2016

Peckness of Edge Posets

Authors: David Hemminger, Aaron Landesman, Zijian Yao

Abstract: For any graded poset $P$, we define a new graded poset, $\mathcal E(P)$, whose elements are the edges in the Hasse diagram of P. For any group, $G$, acting on the boolean algebra, $B_n$, we conjecture that $\mathcal E(B_n/G)$ is Peck. We prove that the conjecture holds for "common cover transitive" actions. We give some infinite families of common cover transitive actions and show that the common… ▽ More For any graded poset $P$, we define a new graded poset, $\mathcal E(P)$, whose elements are the edges in the Hasse diagram of P. For any group, $G$, acting on the boolean algebra, $B_n$, we conjecture that $\mathcal E(B_n/G)$ is Peck. We prove that the conjecture holds for "common cover transitive" actions. We give some infinite families of common cover transitive actions and show that the common cover transitive actions are closed under direct and semidirect products. △ Less

Submitted 10 December, 2017; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: 17 pages, 6 figures, comments welcome

MSC Class: 06A07 (Primary) 05E18 (Secondary)

Artin Group Presentations Arising from Cluster Algebras

Authors: Jacob Haley, David Hemminger, Aaron Landesman, Hailee Peck

Abstract: In 2003, Fomin and Zelevinsky proved that finite type cluster algebras can be classified by Dynkin diagrams. Then in 2013, Barot and Marsh defined the presentation of a reflection group associated to a Dynkin diagram in terms of an edge-weighted, oriented graph, and proved that this group is invariant (up to isomorphism) under diagram mutations. In this paper, we extend Barot and Marsh's results t… ▽ More In 2003, Fomin and Zelevinsky proved that finite type cluster algebras can be classified by Dynkin diagrams. Then in 2013, Barot and Marsh defined the presentation of a reflection group associated to a Dynkin diagram in terms of an edge-weighted, oriented graph, and proved that this group is invariant (up to isomorphism) under diagram mutations. In this paper, we extend Barot and Marsh's results to Artin group presentations, defining new generator relations and showing mutation-invariance for these presentations. △ Less

Submitted 18 December, 2017; v1 submitted 13 October, 2014; originally announced October 2014.

Comments: 26 pages, 7 figures, comments are welcome

MSC Class: 13F60; 20F36 (Primary) 16G20 (Secondary)

Proof of Stasinski and Voll's Hyperoctahedral Group Conjecture

Authors: Aaron Landesman

Abstract: In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this conjecture for a few special types of quotients. We prove this conjecture in full, showing it holds for all quotients. In the case of signed permutations with at most on… ▽ More In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this conjecture for a few special types of quotients. We prove this conjecture in full, showing it holds for all quotients. In the case of signed permutations with at most one descent, this formula gives the Poincare polynomials for the varieties of symmetric matrices of a fixed rank. △ Less

Submitted 15 April, 2018; v1 submitted 29 August, 2014; originally announced August 2014.

Comments: 35 pages, 1 figure, comments welcome

MSC Class: 05A15; 05A05