Showing 1–45 of 45 results for author: Ellenberg, J

Enabling Global Image Data Sharing in the Life Sciences

Authors: Peter Bajcsy, Sreenivas Bhattiprolu, Katy Boerner, Beth A Cimini, Lucy Collinson, Jan Ellenberg, Reto Fiolka, Maryellen Giger, Wojtek Goscinski, Matthew Hartley, Nathan Hotaling, Rick Horwitz, Florian Jug, Anna Kreshuk, Emma Lundberg, Aastha Mathur, Kedar Narayan, Shuichi Onami, Anne L. Plant, Fred Prior, Jason Swedlow, Adam Taylor, Antje Keppler

Abstract: Coordinated collaboration is essential to realize the added value of and infrastructure requirements for global image data sharing in the life sciences. In this White Paper, we take a first step at presenting some of the most common use cases as well as critical/emerging use cases of (including the use of artificial intelligence for) biological and medical image data, which would benefit tremendou… ▽ More Coordinated collaboration is essential to realize the added value of and infrastructure requirements for global image data sharing in the life sciences. In this White Paper, we take a first step at presenting some of the most common use cases as well as critical/emerging use cases of (including the use of artificial intelligence for) biological and medical image data, which would benefit tremendously from better frameworks for sharing (including technical, resourcing, legal, and ethical aspects). In the second half of this paper, we paint an ideal world scenario for how global image data sharing could work and benefit all life sciences and beyond. As this is still a long way off, we conclude by suggesting several concrete measures directed toward our institutions, existing imaging communities and data initiatives, and national funders, as well as publishers. Our vision is that within the next ten years, most researchers in the world will be able to make their datasets openly available and use quality image data of interest to them for their research and benefit. This paper is published in parallel with a companion White Paper entitled Harmonizing the Generation and Pre-publication Stewardship of FAIR Image Data, which addresses challenges and opportunities related to producing well-documented and high-quality image data that is ready to be shared. The driving goal is to address remaining challenges and democratize access to everyday practices and tools for a spectrum of biomedical researchers, regardless of their expertise, access to resources, and geographical location. △ Less

Submitted 2 February, 2024; v1 submitted 23 January, 2024; originally announced January 2024.

Comments: This manuscript (arXiv:2401.13023) is published with a closely related companion entitled, Harmonizing the Generation and Pre-publication Stewardship of FAIR Image Data, which can be found at the following link, arXiv:2401.13022

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

bAIoimage analysis: elevating the rate of scientific discovery -- as a community

Authors: Damian Edward Dalle Nogare, Matthew Hartley, Joran Deschamps, Jan Ellenberg, Florian Jug

Abstract: The future of bioimage analysis is increasingly defined by the development and use of tools that rely on deep learning and artificial intelligence (AI). For this trend to continue in a way most useful for stimulating scientific progress, it will require our multidisciplinary community to work together, establish FAIR data sharing and deliver usable, reproducible analytical tools. The future of bioimage analysis is increasingly defined by the development and use of tools that rely on deep learning and artificial intelligence (AI). For this trend to continue in a way most useful for stimulating scientific progress, it will require our multidisciplinary community to work together, establish FAIR data sharing and deliver usable, reproducible analytical tools. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Comments: 5 pages, 1 figure, opinion

Sparsity of Integral Points on Moduli Spaces of Varieties

Authors: Jordan S. Ellenberg, Brian Lawrence, Akshay Venkatesh

Abstract: Let $X$ be a quasi-projective variety over a number field, admitting (after passage to $\mathbb{C}$) a geometric variation of Hodge structure whose period map** has zero-dimensional fibers. Then the integral points of $X$ are sparse: the number of such points of height $\leq B$ grows slower than any positive power of $B$. For example, homogeneous integral polynomials in a fixed number of varia… ▽ More Let $X$ be a quasi-projective variety over a number field, admitting (after passage to $\mathbb{C}$) a geometric variation of Hodge structure whose period map** has zero-dimensional fibers. Then the integral points of $X$ are sparse: the number of such points of height $\leq B$ grows slower than any positive power of $B$. For example, homogeneous integral polynomials in a fixed number of variables and degree, with discriminant divisible only by a fixed set of primes, are sparse when considered up to integral linear substitutions. △ Less

Submitted 19 August, 2022; v1 submitted 2 September, 2021; originally announced September 2021.

Comments: version 2, minor edits; 20 pages

Heights on stacks and a generalized Batyrev-Manin-Malle conjecture

Authors: Jordan S. Ellenberg, Matthew Satriano, David Zureick-Brown

Abstract: We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks o… ▽ More We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks of abelian varieties, weighted projective spaces). In many cases our uniform definition reproduces ways already in use for measuring the complexity of rational points, while in others it is something new. Finally, we formulate a conjecture about the number of rational points of bounded height (in our sense) on a stack X, which specializes to the Baytev-Manin conjecture when X is a scheme and to Malle's conjecture when X is the classifying stack of a finite group. △ Less

Submitted 22 November, 2022; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 61 pages; comments very welcome

MSC Class: 11G35; 11G50; 14G05; 14D23; 14G25; 14G40

The Ceresa class: tropical, topological, and algebraic

Authors: Daniel Corey, Jordan Ellenberg, Wanlin Li

Abstract: The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for non-hyperelliptic curves is in general not easy. We pr… ▽ More The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for non-hyperelliptic curves is in general not easy. We present a "combinatorialization" of this problem, explaining how to define a Ceresa class for a tropical algebraic curve, and also for a topological surface endowed with a multiset of commuting Dehn twists (where it is related to the Morita cocycle on the map** class group). We explain how these are related to the Ceresa class of a smooth algebraic curve over $\mathbb{C}(\!(t)\!)$, and show that the Ceresa class in each of these settings is torsion. △ Less

Submitted 11 April, 2022; v1 submitted 22 September, 2020; originally announced September 2020.

Comments: 37 pages, 9 figures. Major updates in Sections 4 and 6, and minor updates throughout

MSC Class: 14T25 (primary); and 14H30; 15C50; 57K20 (secondary)

Geometry, Inference, Complexity, and Democracy

Authors: Jordan S. Ellenberg

Abstract: Decisions about how the population of the United States should be divided into legislative districts have powerful and not fully understood effects on the outcomes of elections. The problem of understanding what we might mean by "fair districting" intertwines mathematical, political, and legal reasoning; but only in recent years has the academic mathematical community gotten directly involved in t… ▽ More Decisions about how the population of the United States should be divided into legislative districts have powerful and not fully understood effects on the outcomes of elections. The problem of understanding what we might mean by "fair districting" intertwines mathematical, political, and legal reasoning; but only in recent years has the academic mathematical community gotten directly involved in the process. I'll report on recent progress in this area, how newly developed mathematical tools have affected real political decisions, and what remains to be done. This survey represents the content of a lecture presented by the author in the Current Events Bulletin session of the Joint Mathematics Meetings in January 2020. △ Less

Submitted 18 June, 2020; originally announced June 2020.

Comments: 23 pages; 2 figures; text of a lecture at the Current Events Bulletin, JMM 2020

MSC Class: 91B12 05C90

Convergence rates for ordinal embedding

Authors: Jordan S. Ellenberg, Lalit Jain

Abstract: We prove optimal bounds for the convergence rate of ordinal embedding (also known as non-metric multidimensional scaling) in the 1-dimensional case. The examples witnessing optimality of our bounds arise from a result in additive number theory on sets of integers with no three-term arithmetic progressions. We also carry out some computational experiments aimed at develo** a sense of what the con… ▽ More We prove optimal bounds for the convergence rate of ordinal embedding (also known as non-metric multidimensional scaling) in the 1-dimensional case. The examples witnessing optimality of our bounds arise from a result in additive number theory on sets of integers with no three-term arithmetic progressions. We also carry out some computational experiments aimed at develo** a sense of what the convergence rate for ordinal embedding might look like in higher dimensions. △ Less

Submitted 29 April, 2019; originally announced April 2019.

Nonvanishing of hyperelliptic zeta functions over finite fields

Authors: Jordan S. Ellenberg, Wanlin Li, Mark Shusterman

Abstract: Fixing $t \in \mathbb{R}$ and a finite field $\mathbb{F}_q$ of odd characteristic, we give an explicit upper bound on the proportion of genus $g$ hyperelliptic curves over $\mathbb{F}_q$ whose zeta function vanishes at $\frac{1}{2} + it$. Our upper bound is independent of $g$ and tends to $0$ as $q$ grows. Fixing $t \in \mathbb{R}$ and a finite field $\mathbb{F}_q$ of odd characteristic, we give an explicit upper bound on the proportion of genus $g$ hyperelliptic curves over $\mathbb{F}_q$ whose zeta function vanishes at $\frac{1}{2} + it$. Our upper bound is independent of $g$ and tends to $0$ as $q$ grows. △ Less

Submitted 5 October, 2021; v1 submitted 23 January, 2019; originally announced January 2019.

Journal ref: Alg. Number Th. 14 (2020) 1895-1909

Public archives for biological image data

Authors: Jan Ellenberg, Jason R Swedlow, Mary Barlow, Charles E Cook, Ardan Patwardhan, Alvis Brazma, Ewan Birney

Abstract: Public data archives are the backbone of modern biological and biomedical research. While archives for biological molecules and structures are well-established, resources for imaging data do not yet cover the full range of spatial and temporal scales or application domains used by the scientific community. In the last few years, the technical barriers to building such resources have been solved an… ▽ More Public data archives are the backbone of modern biological and biomedical research. While archives for biological molecules and structures are well-established, resources for imaging data do not yet cover the full range of spatial and temporal scales or application domains used by the scientific community. In the last few years, the technical barriers to building such resources have been solved and the first examples of scientific outputs from public image data resources, often through linkage to existing molecular resources, have been published. Using the successes of existing biomolecular resources as a guide, we present the rationale and principles for the construction of image data archives and databases that will be the foundation of the next revolution in biological and biomedical informatics and discovery. △ Less

Submitted 30 January, 2018; originally announced January 2018.

Comments: 13 pages, 1 figure

Approximate Gradient Coding via Sparse Random Graphs

Authors: Zachary Charles, Dimitris Papailiopoulos, Jordan Ellenberg

Abstract: Distributed algorithms are often beset by the straggler effect, where the slowest compute nodes in the system dictate the overall running time. Coding-theoretic techniques have been recently proposed to mitigate stragglers via algorithmic redundancy. Prior work in coded computation and gradient coding has mainly focused on exact recovery of the desired output. However, slightly inexact solutions c… ▽ More Distributed algorithms are often beset by the straggler effect, where the slowest compute nodes in the system dictate the overall running time. Coding-theoretic techniques have been recently proposed to mitigate stragglers via algorithmic redundancy. Prior work in coded computation and gradient coding has mainly focused on exact recovery of the desired output. However, slightly inexact solutions can be acceptable in applications that are robust to noise, such as model training via gradient-based algorithms. In this work, we present computationally simple gradient codes based on sparse graphs that guarantee fast and approximately accurate distributed computation. We demonstrate that sacrificing a small amount of accuracy can significantly increase algorithmic robustness to stragglers. △ Less

Submitted 17 November, 2017; originally announced November 2017.

Rational points on solvable curves over $\mathbb{Q}$ via non-abelian Chabauty

Authors: Jordan S. Ellenberg, Daniel Rayor Hast

Abstract: We study the Selmer varieties of smooth projective curves of genus at least two defined over $\mathbb{Q}$ which geometrically dominate a curve with CM Jacobian. We extend a result of Coates and Kim to show that Kim's non-abelian Chabauty method applies to such a curve. By combining this with results of Bogomolov-Tschinkel and Poonen on unramified correspondences, we deduce that any cover of… ▽ More We study the Selmer varieties of smooth projective curves of genus at least two defined over $\mathbb{Q}$ which geometrically dominate a curve with CM Jacobian. We extend a result of Coates and Kim to show that Kim's non-abelian Chabauty method applies to such a curve. By combining this with results of Bogomolov-Tschinkel and Poonen on unramified correspondences, we deduce that any cover of $\mathbf{P}^1$ with solvable Galois group, and in particular any superelliptic curve over $\mathbb{Q}$, has only finitely many rational points over $\mathbb{Q}$. △ Less

Submitted 14 August, 2022; v1 submitted 1 June, 2017; originally announced June 2017.

Comments: 17 pages

MSC Class: 11G30; 14H30

Journal ref: Int. Math. Res. Not. (2021)

Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle's conjecture for function fields

Authors: Jordan S. Ellenberg, TriThang Tran, Craig Westerland

Abstract: The purpose of this paper is to prove the upper bound in Malle's conjecture on the distribution of finite extensions of $\mathbb{F}_q(t)$ with specified Galois group. As in previous work of Ellenberg-Venkatesh-Westerland, our result is based upon computations of the homology of braid groups with certain (exponential) coefficients. However, the approach in this paper is new, relying on a connection… ▽ More The purpose of this paper is to prove the upper bound in Malle's conjecture on the distribution of finite extensions of $\mathbb{F}_q(t)$ with specified Galois group. As in previous work of Ellenberg-Venkatesh-Westerland, our result is based upon computations of the homology of braid groups with certain (exponential) coefficients. However, the approach in this paper is new, relying on a connection between the cohomology of Hurwitz spaces and the cohomology of quantum shuffle algebras. △ Less

Submitted 5 March, 2023; v1 submitted 17 January, 2017; originally announced January 2017.

Comments: 81 pages. Substantially revised. The most significant change is a new approach to controlling the homological algebra of connected graded algebras in terms of their Koszul complex

MSC Class: 11G20; 11S20; 55R80; 20J06; 14H10; 16T05

Sumsets as unions of sumsets of subsets

Authors: Jordan S. Ellenberg

Abstract: Let $S$ and $T$ be subsets of $\mathbf{F}_q^n$. We show there are subsets $S'$ of $S$ and $T'$ of $T$ such that $S+T$ is the union of $S+T'$ and $S'+T$, with $|S'| + |T'|$ bounded by $c^n$ with $c < q$. The proof relies on the method of Croot-Lev-Pach and Ellenberg-Gijswijt on the cap set problem, together with a result of Meshulam on linear spaces of low-rank matrices. The result is a modest gene… ▽ More Let $S$ and $T$ be subsets of $\mathbf{F}_q^n$. We show there are subsets $S'$ of $S$ and $T'$ of $T$ such that $S+T$ is the union of $S+T'$ and $S'+T$, with $|S'| + |T'|$ bounded by $c^n$ with $c < q$. The proof relies on the method of Croot-Lev-Pach and Ellenberg-Gijswijt on the cap set problem, together with a result of Meshulam on linear spaces of low-rank matrices. The result is a modest generalization of the recent bounds on (single-colored and multi-colored) sum-free sets by the author and others. △ Less

Submitted 7 September, 2017; v1 submitted 6 December, 2016; originally announced December 2016.

Comments: 3 pages

Journal ref: Discrete Analysis 2017:14

On $\ell$-torsion in class groups of number fields

Authors: Jordan Ellenberg, Lillian B. Pierce, Melanie Matchett Wood

Abstract: For each integer $\ell \geq 1$, we prove an unconditional upper bound on the size of the $\ell$-torsion subgroup of the class group, which holds for all but a zero-density set of field extensions of $\mathbb{Q}$ of degree $d$, for any fixed $d \in \{2,3,4,5\}$ (with the additional restriction in the case $d=4$ that the field be non-$D_4$). For sufficiently large $\ell$ (specified explicitly), thes… ▽ More For each integer $\ell \geq 1$, we prove an unconditional upper bound on the size of the $\ell$-torsion subgroup of the class group, which holds for all but a zero-density set of field extensions of $\mathbb{Q}$ of degree $d$, for any fixed $d \in \{2,3,4,5\}$ (with the additional restriction in the case $d=4$ that the field be non-$D_4$). For sufficiently large $\ell$ (specified explicitly), these results are as strong as a previously known bound that is conditional on GRH. As part of our argument, we develop a probabilistic "Chebyshev sieve," and give uniform, power-saving error terms for the asymptotics of quartic (non-$D_4$) and quintic fields with chosen splitting types at a finite set of primes. △ Less

Submitted 7 September, 2017; v1 submitted 20 June, 2016; originally announced June 2016.

Comments: 27 pages, updated from v1 with minor edits to exposition

Journal ref: Alg. Number Th. 11 (2017) 1739-1778

On large subsets of $F_q^n$ with no three-term arithmetic progression

Authors: Jordan S. Ellenberg, Dion Gijswijt

Abstract: In this note, we show that the method of Croot, Lev, and Pach can be used to bound the size of a subset of $F_q^n$ with no three terms in arithmetic progression by $c^n$ with $c < q$. For $q=3$, the problem of finding the largest subset with no three terms in arithmetic progression is called the `cap problem'. Previously the best known upper bound for the cap problem, due to Bateman and Katz, was… ▽ More In this note, we show that the method of Croot, Lev, and Pach can be used to bound the size of a subset of $F_q^n$ with no three terms in arithmetic progression by $c^n$ with $c < q$. For $q=3$, the problem of finding the largest subset with no three terms in arithmetic progression is called the `cap problem'. Previously the best known upper bound for the cap problem, due to Bateman and Katz, was $O(3^n / n^{1+ε})$. △ Less

Submitted 30 May, 2016; originally announced May 2016.

Comments: 4 pages. This paper supersedes arXiv:1605.05492 and combines the solutions to the cap set problem independently obtained by the two authors

New bounds on curve tangencies and orthogonalities

Authors: Jordan S. Ellenberg, Jozsef Solymosi, Joshua Zahl

Abstract: We establish new bounds on the number of tangencies and orthogonal intersections determined by an arrangement of curves. First, given a set of $n$ algebraic plane curves, we show that there are $O(n^{3/2})$ points where two or more curves are tangent. In particular, if no three curves are mutually tangent at a common point, then there are $O(n^{3/2})$ curve-curve tangencies. Second, given a family… ▽ More We establish new bounds on the number of tangencies and orthogonal intersections determined by an arrangement of curves. First, given a set of $n$ algebraic plane curves, we show that there are $O(n^{3/2})$ points where two or more curves are tangent. In particular, if no three curves are mutually tangent at a common point, then there are $O(n^{3/2})$ curve-curve tangencies. Second, given a family of algebraic plane curves and a set of $n$ curves from this family, we show that either there are $O(n^{3/2})$ points where two or more curves are orthogonal, or the family of curves has certain special properties. We obtain these bounds by transforming the arrangement of plane curves into an arrangement of space curves so that tangency (or orthogonality) of the original plane curves corresponds to intersection of space curves. We then bound the number of intersections of the corresponding space curves. For the case of curve-curve tangency, we use a polynomial method technique that is reminiscent of Guth and Katz's proof of the joints theorem. For the case of orthogonal curve intersections, we employ a bound of Guth and the third author to control the number of two-rich points in space curve arrangements. △ Less

Submitted 3 November, 2016; v1 submitted 18 September, 2015; originally announced September 2015.

Comments: 22 pages, 1 figure. v4: final version; to appear in Discrete Analysis

Journal ref: Discrete Analysis. 22: 1--22, 2016

Algebraic structures on cohomology of configuration spaces of manifolds with flows

Authors: Jordan S. Ellenberg, John D. Wiltshire-Gordon

Abstract: Let PConf^n M be the configuration space of ordered n-tuples of distinct points on a smooth manifold M admitting a nowhere-vanishing vector field. We show that the ith cohomology group with coefficients in a field H^i(PConf^n M, k) is an N-module, where N is the category of noncommutative finite sets introduced by Pirashvili and Richter. Studying the representation theory of N, we obtain new polyn… ▽ More Let PConf^n M be the configuration space of ordered n-tuples of distinct points on a smooth manifold M admitting a nowhere-vanishing vector field. We show that the ith cohomology group with coefficients in a field H^i(PConf^n M, k) is an N-module, where N is the category of noncommutative finite sets introduced by Pirashvili and Richter. Studying the representation theory of N, we obtain new polynomiality results for the cohomology groups H^i(PConf^n M, k). In the case of unordered configuration space Conf^n M = (PConf^n M)/S_n and rational coefficients, we show that cohomology dimension in fixed degree is nondecreasing. △ Less

Submitted 14 April, 2019; v1 submitted 10 August, 2015; originally announced August 2015.

Comments: 15 pages, 1 figure. The proof of the main result has been updated to fix a gap

MSC Class: 55R80; 57R19; 20C15; 18D50; 57R40

Homology of FI-modules

Authors: Thomas Church, Jordan S. Ellenberg

Abstract: We prove an explicit and sharp upper bound for the Castelnuovo-Mumford regularity of an FI-module V in terms of the degrees of its generators and relations. We use this to refine a result of Putman on the stability of homology of congruence subgroups, extending his theorem to previously excluded small characteristics and to integral homology while maintaining explicit bounds for the stable range. We prove an explicit and sharp upper bound for the Castelnuovo-Mumford regularity of an FI-module V in terms of the degrees of its generators and relations. We use this to refine a result of Putman on the stability of homology of congruence subgroups, extending his theorem to previously excluded small characteristics and to integral homology while maintaining explicit bounds for the stable range. △ Less

Submitted 5 September, 2016; v1 submitted 2 June, 2015; originally announced June 2015.

Comments: 34 pages. v2: major reorganization; to appear in Geometry and Topology

Journal ref: Geom. Topol. 21 (2017) 2373-2418

Detection of Planted Solutions for Flat Satisfiability Problems

Authors: Quentin Berthet, Jordan S. Ellenberg

Abstract: We study the detection problem of finding planted solutions in random instances of flat satisfiability problems, a generalization of boolean satisfiability formulas. We describe the properties of random instances of flat satisfiability, as well of the optimal rates of detection of the associated hypothesis testing problem. We also study the performance of an algorithmically efficient testing proce… ▽ More We study the detection problem of finding planted solutions in random instances of flat satisfiability problems, a generalization of boolean satisfiability formulas. We describe the properties of random instances of flat satisfiability, as well of the optimal rates of detection of the associated hypothesis testing problem. We also study the performance of an algorithmically efficient testing procedure. We introduce a modification of our model, the light planting of solutions, and show that it is as hard as the problem of learning parity with noise. This hints strongly at the difficulty of detecting planted flat satisfiability for a wide class of tests. △ Less

Submitted 6 March, 2019; v1 submitted 21 February, 2015; originally announced February 2015.

MSC Class: 62C20; 68R01; 60C05

Furstenberg sets and Furstenberg schemes over finite fields

Authors: Jordan S. Ellenberg, Daniel Erman

Abstract: We give a lower bound for the size of a subset of $\mathbb F_q^n$ containing a rich k-plane in every direction, a k-plane Furstenberg set. The chief novelty of our method is that we use arguments on non-reduced subschemes and flat families to derive combinatorial facts about incidences between points and k-planes in space. We give a lower bound for the size of a subset of $\mathbb F_q^n$ containing a rich k-plane in every direction, a k-plane Furstenberg set. The chief novelty of our method is that we use arguments on non-reduced subschemes and flat families to derive combinatorial facts about incidences between points and k-planes in space. △ Less

Submitted 12 February, 2015; originally announced February 2015.

Comments: 16 pages

MSC Class: 14G15; 13P10; 42B25; 51E20

Journal ref: Algebra Number Theory 10 (2016) 1415-1436

An incidence conjecture of Bourgain over fields of positive characteristic

Authors: Jordan S. Ellenberg, Marton Hablicsek

Abstract: In this note we generalize a recent theorem of Guth and Katz on incidences between points and lines in $3$-space from characteristic $0$ to characteristic $p$, and we explain how some of the special features of algebraic geometry in characteristic $p$ manifest themselves in problems of incidence geometry. In this note we generalize a recent theorem of Guth and Katz on incidences between points and lines in $3$-space from characteristic $0$ to characteristic $p$, and we explain how some of the special features of algebraic geometry in characteristic $p$ manifest themselves in problems of incidence geometry. △ Less

Submitted 6 November, 2013; originally announced November 2013.

Representation stability in cohomology and asymptotics for families of varieties over finite fields

Authors: Thomas Church, Jordan S. Ellenberg, Benson Farb

Abstract: We consider two families X_n of varieties on which the symmetric group S_n acts: the configuration space of n points in C and the space of n linearly independent lines in C^n. Given an irreducible S_n-representation V, one can ask how the multiplicity of V in the cohomology groups H*(X_n;Q) varies with n. We explain how the Grothendieck-Lefschetz Fixed Point Theorem converts a formula for this mul… ▽ More We consider two families X_n of varieties on which the symmetric group S_n acts: the configuration space of n points in C and the space of n linearly independent lines in C^n. Given an irreducible S_n-representation V, one can ask how the multiplicity of V in the cohomology groups H*(X_n;Q) varies with n. We explain how the Grothendieck-Lefschetz Fixed Point Theorem converts a formula for this multiplicity to a formula for the number of polynomials over F_q (or maximal tori in GL_n(F_q), respectively) with specified properties related to V. In particular, we explain how representation stability in cohomology, in the sense of [CF, arXiv:1008.1368] and [CEF, arXiv:1204.4533], corresponds to asymptotic stability of various point counts as n goes to infinity. △ Less

Submitted 23 September, 2013; originally announced September 2013.

Comments: 57 pages

Journal ref: Contemporary Mathematics 620 (2014), 1-54

Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields, II

Authors: Jordan S. Ellenberg, Akshay Venkatesh, Craig Westerland

Abstract: We prove a version of the Cohen--Lenstra conjecture over function fields (completing the results of our prior paper). This is deduced from two more general theorems, one topological, one arithmetic: We compute the direct limit of homology, over puncture-stabilization, of spaces of maps from a punctured manifold to a fixed target; and we compute the Galois action on the set of stable components of… ▽ More We prove a version of the Cohen--Lenstra conjecture over function fields (completing the results of our prior paper). This is deduced from two more general theorems, one topological, one arithmetic: We compute the direct limit of homology, over puncture-stabilization, of spaces of maps from a punctured manifold to a fixed target; and we compute the Galois action on the set of stable components of Hurwitz schemes. △ Less

Submitted 19 November, 2013; v1 submitted 4 December, 2012; originally announced December 2012.

Comments: This article has been temporarily withdrawn owing to a gap which affects Section 6, 12 and some theorems of the introduction: the homological stabilization maps used in this paper and the previous paper are not exactly the same. We have been able to fix this under additional restrictions, although not in general. A modified version will be posted in the next few weeks

Superstrong approximation for monodromy groups

Authors: Jordan S. Ellenberg

Abstract: This document is an expanded version of a lecture presented at a conference on "Thin Groups and Superstrong Approximation" held at the Mathematical Sciences Research Institute in February 2012. Superstrong approximation is a criterion on a finitely generated group, saying that certain Cayley graphs associated to finite quotients of the group form an expander family. In recent years, our knowledge… ▽ More This document is an expanded version of a lecture presented at a conference on "Thin Groups and Superstrong Approximation" held at the Mathematical Sciences Research Institute in February 2012. Superstrong approximation is a criterion on a finitely generated group, saying that certain Cayley graphs associated to finite quotients of the group form an expander family. In recent years, our knowledge about superstrong approximation for infinite-index Zariski-dense subgroups of arithmetic lattices ("thin groups") has drastically improved. We briefly survey the construction of monodromy groups, discuss our (limited) knowledge about whether such groups are thin, and discuss an application to arithmetic geometry (see the paper "Expander graphs, gonality, and variation of Galois representations") deriving from recent advances in superstrong approximation. We conclude by indulging in some speculations about more general contexts, asking: what are the interesting questions about "nonabelian superstrong approximation" and "superstrong approximation for Galois groups?" We discuss the relation of these notions with the Product Replacement Algorithm and the Bogomolov property for infinite algebraic extensions of number fields. △ Less

Submitted 8 March, 2013; v1 submitted 14 October, 2012; originally announced October 2012.

Comments: An expanded version of a lecture presented at a conference on "Thin Groups and Superstrong Approximation" held at the Mathematical Sciences Research Institute in February 2012 Revisions, this version: some typos fixed and references added, minor revisions per suggestions of Igor Pak, Emmanuel Breuillard, and referee; this version will be the one that appears in the conference proceedings

MSC Class: 14D05; 05C50; 20G30

FI-modules over Noetherian rings

Authors: Thomas Church, Jordan S. Ellenberg, Benson Farb, Rohit Nagpal

Abstract: FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian property for FI-modules over arbitrary Noetherian rings: any sub-FI-module of a fin… ▽ More FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian property for FI-modules over arbitrary Noetherian rings: any sub-FI-module of a finitely generated FI-module is finitely generated. This lets us extend many of the results of [CEF] to representations in positive characteristic, and even to integral coefficients. We focus on three major applications of the main theorem: on the integral and mod p cohomology of configuration spaces; on diagonal coinvariant algebras in positive characteristic; and on an integral version of Putman's central stability for homology of congruence subgroups. △ Less

Submitted 2 March, 2014; v1 submitted 5 October, 2012; originally announced October 2012.

Comments: 32 pages; v2: reorganized paper, expanded introduction and added Theorems B and C

Journal ref: Geom. Topol. 18 (2014) 2951-2984

FI-modules and stability for representations of symmetric groups

Authors: Thomas Church, Jordan S. Ellenberg, Benson Farb

Abstract: In this paper we introduce and develop the theory of FI-modules. We apply this theory to obtain new theorems about: - the cohomology of the configuration space of n distinct ordered points on an arbitrary (connected, oriented) manifold - the diagonal coinvariant algebra on r sets of n variables - the cohomology and tautological ring of the moduli space of n-pointed curves - the space of po… ▽ More In this paper we introduce and develop the theory of FI-modules. We apply this theory to obtain new theorems about: - the cohomology of the configuration space of n distinct ordered points on an arbitrary (connected, oriented) manifold - the diagonal coinvariant algebra on r sets of n variables - the cohomology and tautological ring of the moduli space of n-pointed curves - the space of polynomials on rank varieties of n x n matrices - the subalgebra of the cohomology of the genus n Torelli group generated by H^1 and more. The symmetric group S_n acts on each of these vector spaces. In most cases almost nothing is known about the characters of these representations, or even their dimensions. We prove that in each fixed degree the character is given, for n large enough, by a polynomial in the cycle-counting functions that is independent of n. In particular, the dimension is eventually a polynomial in n. In this framework, representation stability (in the sense of Church-Farb) for a sequence of S_n-representations is converted to a finite generation property for a single FI-module. △ Less

Submitted 30 October, 2014; v1 submitted 20 April, 2012; originally announced April 2012.

Comments: 54 pages. v4: new title, paper completely reorganized; final version, to appear in Duke Math Journal

Journal ref: Duke Math. J. 164, no. 9 (2015), 1833-1910

Random pro-p groups, braid groups, and random tame Galois groups

Authors: Nigel Boston, Jordan S. Ellenberg

Abstract: We introduce a heuristic prediction for the distribution of the isomorphism class of the Galois group of the maximal pro-p extension of Q unramified outside a "random" set of primes. This is guided by reasoning similar to that governing the Cohen-Lenstra conjectures. We conclude by describing theoretical and experimental evidence for our heuristic. We introduce a heuristic prediction for the distribution of the isomorphism class of the Galois group of the maximal pro-p extension of Q unramified outside a "random" set of primes. This is guided by reasoning similar to that governing the Cohen-Lenstra conjectures. We conclude by describing theoretical and experimental evidence for our heuristic. △ Less

Submitted 18 April, 2012; originally announced April 2012.

MSC Class: 20E18; 11R32; 11G20

Journal ref: Groups, Geometry and Dynamics: Volume 5, Issue 2, 2011, pp. 265-280

Random Dieudonne modules, random p-divisible groups, and random curves over finite fields

Authors: Bryden Cais, Jordan S. Ellenberg, David Zureick-Brown

Abstract: We describe a probability distribution on isomorphism classes of principally quasi-polarized p-divisible groups over a finite field k of characteristic p which can reasonably be thought of as "uniform distribution," and we compute the distribution of various statistics (p-corank, a-number, etc.) of p-divisible groups drawn from this distribution. It is then natural to ask to what extent the p-divi… ▽ More We describe a probability distribution on isomorphism classes of principally quasi-polarized p-divisible groups over a finite field k of characteristic p which can reasonably be thought of as "uniform distribution," and we compute the distribution of various statistics (p-corank, a-number, etc.) of p-divisible groups drawn from this distribution. It is then natural to ask to what extent the p-divisible groups attached to a randomly chosen hyperelliptic curve (resp. curve, resp. abelian variety) over k are uniformly distributed in this sense. For instance, one can ask whether the proportion of genus-g curves over F_p whose Jacobian is ordinary approaches the limit that such a heuristic would predict. This heuristic is analogous to conjectures of Cohen-Lenstra type for fields k of characteristic other than p, in which case the random p-divisible group is defined by a random matrix recording the action of Frobenius. Extensive numerical investigation reveals some cases of agreement with the heuristic and some interesting discrepancies. For example, plane curves over F_3 appear substantially less likely to be ordinary than hyperelliptic curves over F_3. △ Less

Submitted 4 January, 2012; originally announced January 2012.

Comments: 28 pages, relevant code attached

MSC Class: 14L05; 11G20; 14G17

Expander graphs, gonality and variation of Galois representations

Authors: Jordan Ellenberg, Chris Hall, Emmanuel Kowalski

Abstract: We show that families of coverings of an algebraic curve where the associated Cayley-Schreier graphs form an expander family exhibit strong forms of geometric (genus and gonality) growth. Combining this general result with finiteness statements for rational points under such conditions, we derive results concerning the variation of Galois representations in one-parameter families of abelian variet… ▽ More We show that families of coverings of an algebraic curve where the associated Cayley-Schreier graphs form an expander family exhibit strong forms of geometric (genus and gonality) growth. Combining this general result with finiteness statements for rational points under such conditions, we derive results concerning the variation of Galois representations in one-parameter families of abelian varieties. △ Less

Submitted 28 September, 2011; v1 submitted 22 August, 2010; originally announced August 2010.

Comments: 32 pages; v4: changes mostly in exposition

MSC Class: 14G05; 14D10; 05C40; 05C50 (Primary) 14K15; 14D05; 35P15 (Secondary)

Journal ref: Duke Math. J. 161, no. 7 (2012), 1233-1275

Upper bounds for the growth of Mordell-Weil ranks in pro-p towers of Jacobians

Authors: Jordan S. Ellenberg

Abstract: We study the variation of Mordell-Weil ranks in the Jacobians of curves in a pro-p tower over a fixed number field. In particular, we show that under mild conditions the Mordell-Weil rank of a Jacobian in the tower is bounded above by a constant multiple of its dimension. In the case of the tower of Fermat curves, we show that the constant can be taken arbitrarily close to 1. The main result is… ▽ More We study the variation of Mordell-Weil ranks in the Jacobians of curves in a pro-p tower over a fixed number field. In particular, we show that under mild conditions the Mordell-Weil rank of a Jacobian in the tower is bounded above by a constant multiple of its dimension. In the case of the tower of Fermat curves, we show that the constant can be taken arbitrarily close to 1. The main result is used in the forthcoming paper of Guillermo Mantilla-Soler on the Mordell-Weil rank of the modular Jacobian J(Np^m). △ Less

Submitted 24 January, 2010; originally announced January 2010.

Comments: 8 pages

MSC Class: 11G30; 14H25; 14H30; 11G10; 11R23

Linnik's ergodic method and the distribution of integer points on spheres

Authors: Jordan S. Ellenberg, Philippe Michel, Akshay Venkatesh

Abstract: We discuss Linnik's work on the distribution of integral solutions to $x^2+y^2+z^2 =d$, as $d$ goes to infinity. We give an exposition of Linnik's ergodic method; indeed, by using large-deviation results for random walks on expander graphs, we establish a refinement of his equidistribution theorem. We discuss the connection of these ideas with modern developments (ergodic theory on homogeneous s… ▽ More We discuss Linnik's work on the distribution of integral solutions to $x^2+y^2+z^2 =d$, as $d$ goes to infinity. We give an exposition of Linnik's ergodic method; indeed, by using large-deviation results for random walks on expander graphs, we establish a refinement of his equidistribution theorem. We discuss the connection of these ideas with modern developments (ergodic theory on homogeneous spaces, $L$-functions). △ Less

Submitted 6 January, 2010; originally announced January 2010.

Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields

Authors: Jordan S. Ellenberg, Akshay Venkatesh, Craig Westerland

Abstract: We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This has the following arithmetic consequence: let l>2 be prime and A a finite abelian l-group. Then there exists Q = Q(A) such that, for q greater than Q and not congruent to 1 modulo l, a positive fraction of quadratic extensions of F_q(t) have the l-part of their cla… ▽ More We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This has the following arithmetic consequence: let l>2 be prime and A a finite abelian l-group. Then there exists Q = Q(A) such that, for q greater than Q and not congruent to 1 modulo l, a positive fraction of quadratic extensions of F_q(t) have the l-part of their class group isomorphic to A. △ Less

Submitted 1 December, 2015; v1 submitted 2 December, 2009; originally announced December 2009.

Comments: 47 pages. Minor edits of sections 7-8. Final version; to appear in Annals of Mathematics

MSC Class: 11G20; 11S31; 55R80; 20J05; 14H10

Arithmetic Veech sublattices of $\SL(2,\Z)$

Authors: Jordan S. Ellenberg, D. B. McReynolds

Abstract: We prove that every algebraic curve X defined over the algebraic closure of the rationals is birational over the complex numbers to a Teichmuller curve. We prove that every algebraic curve X defined over the algebraic closure of the rationals is birational over the complex numbers to a Teichmuller curve. △ Less

Submitted 12 August, 2011; v1 submitted 9 September, 2009; originally announced September 2009.

Comments: version 2. Substantial changes including the title. To appear in Duke J. of Math. 12 pages

MSC Class: 32G15; 37D40; 20F34

Journal ref: Duke Math. J. 161, no. 3 (2012), 415-429

Positive motivic measures are counting measures

Authors: Jordan S. Ellenberg, Michael Larsen

Abstract: Let K be a field. A positive motivic measure on the Grothendieck ring K_0(Var_K) is a homomorphism from K_0(Var_K) to the real numbers assigning a nonnegative value to every variety. In this note we show that the only positive motivic measures are the counting measures: measures on K_0(Var_{F_q}) which send a variety to its number of rational points over some fixed finite extension of F_q. Let K be a field. A positive motivic measure on the Grothendieck ring K_0(Var_K) is a homomorphism from K_0(Var_K) to the real numbers assigning a nonnegative value to every variety. In this note we show that the only positive motivic measures are the counting measures: measures on K_0(Var_{F_q}) which send a variety to its number of rational points over some fixed finite extension of F_q. △ Less

Submitted 2 July, 2009; originally announced July 2009.

Comments: 5 pages

MSC Class: 14F43; 14G15

The Kakeya set and maximal conjectures for algebraic varieties over finite fields

Authors: Jordan Ellenberg, Richard Oberlin, Terence Tao

Abstract: Using the polynomial method of Dvir \cite{dvir}, we establish optimal estimates for Kakeya sets and Kakeya maximal functions associated to algebraic varieties $W$ over finite fields $F$. For instance, given an $n-1$-dimensional projective variety $W \subset ¶^n(F)$, we establish the Kakeya maximal estimate… ▽ More Using the polynomial method of Dvir \cite{dvir}, we establish optimal estimates for Kakeya sets and Kakeya maximal functions associated to algebraic varieties $W$ over finite fields $F$. For instance, given an $n-1$-dimensional projective variety $W \subset ¶^n(F)$, we establish the Kakeya maximal estimate $$ \| \sup_{γ\ni w} \sum_{v \in γ(F)} |f(v)| \|_{\ell^n(W)} \leq C_{n,W,d} |F|^{(n-1)/n} \|f\|_{\ell^n(F^n)}$$ for all functions $f: F^n \to \R$ and $d \geq 1$, where for each $w \in W$, the supremum is over all irreducible algebraic curves in $F^n$ of degree at most $d$ that pass through $w$ but do not lie in $W$, and with $C_{n,W,d}$ depending only on $n, d$ and the degree of $W$; the special case when $W$ is the hyperplane at infinity in particular establishes the Kakeya maximal function conjecture in finite fields, which in turn strengthens the results of Dvir. △ Less

Submitted 12 May, 2009; v1 submitted 10 March, 2009; originally announced March 2009.

Comments: 25 pages, no figures, to appear, Mathematika. This is the final version, incorporating the referee report

MSC Class: 42B25; 11G25; 51E20

Pro-p groups and towers of rational homology spheres

Authors: Nigel Boston, Jordan S Ellenberg

Abstract: In the preceding paper, Calegari and Dunfield exhibit a sequence of hyperbolic 3-manifolds which have increasing injectivity radius, and which, subject to some conjectures in number theory, are rational homology spheres. We prove unconditionally that these manifolds are rational homology spheres, and give a sufficient condition for a tower of hyperbolic 3-manifolds to have first Betti number 0 a… ▽ More In the preceding paper, Calegari and Dunfield exhibit a sequence of hyperbolic 3-manifolds which have increasing injectivity radius, and which, subject to some conjectures in number theory, are rational homology spheres. We prove unconditionally that these manifolds are rational homology spheres, and give a sufficient condition for a tower of hyperbolic 3-manifolds to have first Betti number 0 at each level. The methods involved are purely pro-p group theoretical. △ Less

Submitted 26 February, 2009; originally announced February 2009.

Comments: This is the version published by Geometry & Topology on 2 April 2006

MSC Class: 20E18; 22E40

Journal ref: Geom. Topol. 10 (2006) 331-334

Non-simple abelian varieties in a family: geometric and analytic approaches

Authors: J. Ellenberg, C. Elsholtz, C. Hall, E. Kowalski

Abstract: Let $A_t$ be a family of abelian varieties over a number field $k$ parametrized by a rational coordinate $t$, and suppose the generic fiber of $A_t$ is geometrically simple. For example, we may take $A_t$ to be the Jacobian of the hyperelliptic curve $y^2 = f(x)(x-t)$ for some polynomial $f$. We give two upper bounds for the number of $t \in k$ of height at most $B$ such that the fiber $A_t$ is… ▽ More Let $A_t$ be a family of abelian varieties over a number field $k$ parametrized by a rational coordinate $t$, and suppose the generic fiber of $A_t$ is geometrically simple. For example, we may take $A_t$ to be the Jacobian of the hyperelliptic curve $y^2 = f(x)(x-t)$ for some polynomial $f$. We give two upper bounds for the number of $t \in k$ of height at most $B$ such that the fiber $A_t$ is geometrically non-simple. One bound comes from arithmetic geometry, and shows that there are only finitely many such $t$; but one has very little control over how this finite number varies as $f$ changes. Another bound, from analytic number theory, shows that the number of geometrically non-simple fibers grows quite slowly with $B$; this bound, by contrast with the arithmetic one, is effective, and is uniform in the coefficients of $f$. We hope that the paper, besides proving the particular theorems we address, will serve as a good example of the strengths and weaknesses of the two complementary approaches. △ Less

Submitted 14 April, 2008; originally announced April 2008.

Comments: 19 pages

MSC Class: 11G10 (Primary); 11N35; 14K15; 14D05 (Secondary)

Local-global principles for representations of quadratic forms

Authors: Jordan Ellenberg, Akshay Venkatesh

Abstract: We prove the local-global principle holds for the problem of representations of quadratic forms by quadratic forms, in codimension $\geq 7$. The proof uses the ergodic theory of $p$-adic groups, together with a fairly general observation on the structure of orbits of an arithmetic group acting on integral points of a variety. We prove the local-global principle holds for the problem of representations of quadratic forms by quadratic forms, in codimension $\geq 7$. The proof uses the ergodic theory of $p$-adic groups, together with a fairly general observation on the structure of orbits of an arithmetic group acting on integral points of a variety. △ Less

Submitted 13 April, 2006; v1 submitted 10 April, 2006; originally announced April 2006.

Comments: TeX clash causing O to appear as \emptyset fixed

A sharp diameter bound for unipotent groups of classical type over Z/pZ

Authors: Jordan S. Ellenberg, Julianna S. Tymoczko

Abstract: The unipotent subgroup of a finite group of Lie type over a prime field Z/pZ comes equipped with a natural set of generators; the properties of the Cayley graph associated to this set of generators have been much studied. In the present paper, we show that the diameter of this Cayley graph is bounded above and below by constant multiples of np + n^2 log p, where n is the rank of the associated L… ▽ More The unipotent subgroup of a finite group of Lie type over a prime field Z/pZ comes equipped with a natural set of generators; the properties of the Cayley graph associated to this set of generators have been much studied. In the present paper, we show that the diameter of this Cayley graph is bounded above and below by constant multiples of np + n^2 log p, where n is the rank of the associated Lie group. This generalizes a result of the first author, which treated the case of SL_n(Z/pZ). (Keywords: diameter, Cayley graph, finite groups of Lie type. AMS classification: 20G40, 05C25) △ Less

Submitted 24 October, 2005; originally announced October 2005.

Comments: 17 pages

MSC Class: 20G40; 05C25

Galois representations attached to Q-curves and the generalized Fermat equation A^4 + B^2 = C^p

Authors: Jordan S. Ellenberg

Abstract: We show that the mod p Galois representations attached to a Q-curve E of degree d over an imaginary quadratic number field K are surjective for all p larger than some constant M_{K,d}, if E has potentially multiplicative reduction at any prime not dividing 6. The proof uses Mazur's formal immersion method, a result of Darmon and Merel on non-split modular curves, and an analytic argument showing… ▽ More We show that the mod p Galois representations attached to a Q-curve E of degree d over an imaginary quadratic number field K are surjective for all p larger than some constant M_{K,d}, if E has potentially multiplicative reduction at any prime not dividing 6. The proof uses Mazur's formal immersion method, a result of Darmon and Merel on non-split modular curves, and an analytic argument showing that Jacobians of certain twisted modular curves admit quotients with Mordell-Weil rank 0. In combination with a previous theorem of the author and Skinner on modularity of Q-curves, the surjectivity result allows one to show that the generalized Fermat equation A^4 + B^2 = C^p has no nontrivial primitive solutions for p >= 211. △ Less

Submitted 26 November, 2003; originally announced November 2003.

Comments: 20pp. To appear, American Journal of Mathematics

MSC Class: 11G18; 11D41; 11G05; 11F67

On the error term in Duke's estimate for the average special value of L-functions

Authors: Jordan S. Ellenberg

Abstract: Let F be an orthonormal basis of weight 2 cusp forms on Gamma_0(N). We show that various weighted averages of special values L(f \tensor chi, 1) over f in F are equal to 4 pi + O(N^{-1 + epsilon}). A previous result of Duke gives an error term of O(N^{-1/2} log N). The bound here is used in the author's paper "Galois representations attached to Q-curves and the generalized Fermat equation A^4… ▽ More Let F be an orthonormal basis of weight 2 cusp forms on Gamma_0(N). We show that various weighted averages of special values L(f \tensor chi, 1) over f in F are equal to 4 pi + O(N^{-1 + epsilon}). A previous result of Duke gives an error term of O(N^{-1/2} log N). The bound here is used in the author's paper "Galois representations attached to Q-curves and the generalized Fermat equation A^4 + B^2 = C^p," (to appear, Amer. J. Math.) to show that certain spaces of cuspforms arising there contain forms whose L-functions have nonvanishing special value. Version of May 2005: Nathan Ng found an error in the earlier version which yielded a bound too strong by a factor of log N; this is the corrected version, as it will appear in Canad. Math. Bull. The change does not affect the application to the Amer. J. Math. paper. △ Less

Submitted 7 May, 2005; v1 submitted 8 November, 2003; originally announced November 2003.

Comments: 10 pages; to appear, Canad. Math. Bull. v2: error corrected (see abstract)

MSC Class: 11F67 (Primary) 11F11 (Secondary)

The number of extensions of a number field with fixed degree and bounded discriminant

Authors: Jordan S. Ellenberg, Akshay Venkatesh

Abstract: We give an upper bound on the number of extensions of a fixed number field of prescribed degree and discriminant less than X; these bounds improve on work of Schmidt. We also prove various related results, such as lower bounds for the number of extensions and upper bounds for Galois extensions. We give an upper bound on the number of extensions of a fixed number field of prescribed degree and discriminant less than X; these bounds improve on work of Schmidt. We also prove various related results, such as lower bounds for the number of extensions and upper bounds for Galois extensions. △ Less

Submitted 8 September, 2003; originally announced September 2003.

Serre's conjecture over F_9

Authors: Jordan S. Ellenberg

Abstract: In this paper, we show that an odd Galois representation rhobar: Gal(Qbar/Q) --> GL_2(F_9) satisfying certain local conditions at 3 and 5 is modular. Our main tool is an idea of Taylor, which reduces the problem to that of exhibiting points on a Hilbert modular surface which are defined over a solvable extension of Q, and which satisfy certain reduction properties. As a corollary, we show that H… ▽ More In this paper, we show that an odd Galois representation rhobar: Gal(Qbar/Q) --> GL_2(F_9) satisfying certain local conditions at 3 and 5 is modular. Our main tool is an idea of Taylor, which reduces the problem to that of exhibiting points on a Hilbert modular surface which are defined over a solvable extension of Q, and which satisfy certain reduction properties. As a corollary, we show that Hilbert-Blumenthal abelian surfaces over Q with good ordinary reduction at 3 and 5 are modular. △ Less

Submitted 20 July, 2001; originally announced July 2001.

Comments: 14 pages

MSC Class: 11F80 (Primary) 11G18 14K15 (Secondary)

Congruence ABC implies ABC

Authors: Jordan S. Ellenberg

Abstract: The ABC conjecture of Masser and Oesterle' states that if (a,b,c) are coprime integers with a + b + c = 0, then sup(|a|,|b|,|c|) < c_e (rad(abc))^{1+e} for any e > 0. Oesterle' has observed that if the ABC conjecture holds for all (a,b,c) with 16 | abc, then the full ABC conjecture holds. We extend that result to show that, for every integer N, the "congruence ABC conjecture" that ABC holds for… ▽ More The ABC conjecture of Masser and Oesterle' states that if (a,b,c) are coprime integers with a + b + c = 0, then sup(|a|,|b|,|c|) < c_e (rad(abc))^{1+e} for any e > 0. Oesterle' has observed that if the ABC conjecture holds for all (a,b,c) with 16 | abc, then the full ABC conjecture holds. We extend that result to show that, for every integer N, the "congruence ABC conjecture" that ABC holds for all (a,b,c) with N|abc implies the full ABC conjecture. △ Less

Submitted 17 September, 1999; originally announced September 1999.

Comments: 4 pages; to appear, Indag. Math

MSC Class: 11D41 (Primary) 11D75 (Secondary)