- "Sumsets as unions of sumsets of subsets," arXiv version. (Blog post)
- "On large subsets of F_q^n with no three-term arithmetic progression," with D. Gijswijt,
*Annals of Mathematics*, vol 185 (2017). arXiv version. - "Averages of l-torsion in class groups of number fields," with L. Pierce and M.M. Wood, submitted. arXiv version.
- "Algebraic structures on cohomology of configuration spaces of manifolds with flows," with J. Wiltshire-Gordon, submitted. arXiv version.
- "Homology of FI-modules," with T. Church, to appear,
*Geometry and Topology*. arXiv version. - "Detection of planted solutions for flat satisfiability problems," with Q. Berthet, submitted. arXiv version.
- "Furstenberg sets and Furstenberg schemes over finite fields," with D. Erman,
*Algebra and Number Theory*vol 10, no.7, 1415--1436 (2016) arXiv version. - "An incidence conjecture of Bourgain over fields of positive characteristic," with M. Hablicsek,
*Forum of Math, Sigma*, vol 4 (2016). arXiv version. (Blog post) - "Representation stability in cohomology and asymptotics for families of varieties over finite fields," with T. Church and B. Farb,
*Contemporary Mathematics*620 (2014) 1-54. arXiv version. - "Homological stability for Hurwitz spaces and the Cohen Lenstra conjecture over function fields, II," with A. Venkatesh and C. Westerland, submitted. arXiv version. (Blog post)
**WARNING**(posted 18 Sept 2013): We have been made aware that there is a gap in Section 12 of the above paper (Homological stability ... II) namely, the application to Cohen-Lenstra. This also affects Section 6 and some theorems stated in the introduction. More precisely, the homological stabilization maps used in this paper and the previous paper are not exactly the same. At present, we have been able to fix this under some additional restrictions on boundary monodromy, but not in general. For a detailed descripton of the error in the paper and a guide to which parts of the paper are correct, see this blog post. A modified version will be uploaded to the arXiv at some point. Until then, please contact the authors if you need more information. - "FI-modules over Noetherian rings," with T. Church, B. Farb, and R. Nagpal,
*Geometry and Topology*18-5, 2951-2984 (2014). arXiv version. (Blog post) - "Superstrong approximation for monodromy groups," in
*Thin Groups and Superstrong Approximation*, MSRI Publication series 61 (2014) arXiv version. (Blog post) - "FI-modules: a new approach to stability for S_n-representations," with T. Church and B. Farb,
*Duke Math J.*164(9), 1833-1910 (2015). arXiv version. (Blog post (#1 of 3)) - "Random Dieudonne modules, random p-divisible groups, and random curves over finite fields," with B. Cais and D. Zureick-Brown,
*Journal of the Institute of Mathematics of Jussieu*/ Volume 12 / Issue 03 / July 2013, pp 651-676. arXiv version. (Blog post) - "Expander graphs, gonality, and variation of Galois representations," with C. Hall and E. Kowalski,
*Duke Math J.*, vol. 161, no.7 (2012) arXiv version. (Blog post) - "Arithmetic Veech sublattices of SL(2,Z)," with D. B. McReynolds,
*Duke Math J.*161 (3) (2012) (former title: "Every curve is a Teichmuller curve.") (Blog post) - "Understanding persistent homology and Plex using a networking dataset," with L. Balzano, preprint.
- "Modeling lambda invariants by p-adic random
matrices," with S. Jain and A. Venkatesh,
*Comm. Pure. Appl. Math.*vol. 64, issue 9 (2011) (Blog post) - "Statistics of number fields and function
fields," with A. Venkatesh, in
*Proceedings of the ICM 2010*. - "Homological stability for Hurwitz
spaces and the Cohen-Lenstra conjecture over function fields," with
A. Venkatesh and C. Westerland,
*Annals of Mathematics*vol 183 (3016), 729--786. arXiv version. (Blog post) - "Upper bounds for the growth of Mordell-Weil ranks in pro-p towers of Jacobians," arXiv preprint.
- "Linnik's ergodic method and the distribution of integral points on spheres," with P. Michel and A. Venkatesh, submitted.
- "Random p-groups, braid groups, and
random tame Galois groups,", with N. Boston, to appear,
*Groups, Geometry, and Dynamics*5 (2) (2011) arXiv version. (Blog post) - "Positive motivic measures are counting measures," with M. Larsen,
*Algebra and Number Theory*4(1) (2010) (Blog post) - "The Kakeya set and maximal conjectures
for algebraic varieties over finite fields," with R. Oberlin and T. Tao,
*Mathematika*, Volume 56, Issue 01, January 2010, pp 1-25. - "The Diophantine equation A
^{4}+ 2^{d}B^{2}= C^{n}," with M.A. Bennett and N.C. Ng,*Int. J. Number Theory*6 (2) (2010) - "Non-simple abelian varieties in a family: geometric and analytic approaches," with C. Elsholtz, C. Hall, and E. Kowalski,
*J. London Math. Soc.*(2) 80, no.1, 135--154 (2009) - "Points of low height on
**P**over number fields and bounds for torsion in class groups," to appear in^{1}*Computational Arithmetic Geometry*, K. Ribet and K. Lauter, eds. - "Local-global principles for representations of quadratic forms," with A. Venkatesh,
*Invent. Math.*171, no.2, 257--279 (2008). (ArXiv version, not identical with published version.) - Appendix to "Counting Maximal Arithmetic
Subgroups," by M. Belolipetsky, with A. Venkatesh,
*Duke Math. J.*140, no. 1, 1-33 (2007) - "Asymptotics of coinvariants of Iwasawa modules under non-normal subgroups," with A. Logan,
*Math. Res. Lett.*14, no.5, 769--773 (2007) - "Reflection principles and bounds for class group torsion," with A. Venkatesh
*Int. Math. Res. Not.*, no.1, Art. ID rnm002 (2007) - "Selmer groups and Mordell-Weil groups of elliptic curves over towers of function fields,"
*Compos. Math.*142, no.5, 1215-1230 (2006) - "A sharp diameter bound for unipotent groups of classical type over
**Z**/p**Z**", with J. Tymoczko, to appear,*Forum Math.*(ArXiv version) (2005) - "Pro-p groups and towers of rational homology spheres," with N. Boston,
*Geometry and Topology*10, 331-334 (2006) - "The number of extensions of a number field with fixed degree and bounded discriminant," with A. Venkatesh,
*Ann. of Math.*163 (2), 723--741 (2006) - "Serre's conjecture over F
_{9},"*Ann. of Math.*161 (3), 1111-1142 (2005) - "On the error term in Duke's estimate for the average special value of L-functions,"
*Canad. Math. Bull.*48, no. 4, 535--546 (2005) - "On uniform bounds for rational points on non-rational curves," with A. Venkatesh,
*Int. Math. Res. Not.*35, 2163--2181 (2005) - "Counting extensions of function fields with specified Galois group and bounded discriminant,", with A. Venkatesh, in
*Geometric Methods in Algebra and Number Theory*, F. Bogomolov and Y. Tschinkel, eds. (2005) - "Galois representations attached to Q-curves and the generalized Fermat equation A^4 + B^2 = C^p,"
*Amer. J. Math.*126(4), 763--787 (2004) - "K3 surfaces over number fields with geometric Picard number one," in
*Arithmetic of Higher Dimensional Algebraic Varieties*, B. Poonen and Y. Tschinkel, eds. (2004) - "Q-curves and Galois representations," in
*Modular Curves and Abelian Varieties*, J. Cremona, J.C.Lario, J.Quer and K.Ribet, eds. (2004) - "On the average number of octahedral modular forms,",
*Math. Res. Lett.*10, 269--273 (2003) - "Galois invariants of dessins d'enfants,", in
*Arithmetic Fundamental Groups and Noncommutative Algebra*, M. Fried and Y.Ihara, eds. (2002) - "Endomorphism algebras of Jacobians,",
*Adv. Math*. 162, 243--271 (2001) - "On the modularity of Q-curves," with
C.Skinner,
*Duke Math. J.*, 109, no. 1, 97--122 (2001) - "Finite flatness of torsion subschemes of
Hilbert-Blumenthal abelian varieties,"
*J. Reine Angew. Math.*532, 1--32 (2001) - "Congruence ABC implies ABC,"
*Indag. Math.*, N.S., 11 (2), 197--200 (2000) - "The combinatorics of rewritability in finite groups," with G. Sherman, L. Smithline, C. Sugar, E. Wepsic, in
*Group Theory (Granville, OH, 1992)*, 250--261, World Sci. Publishing, River Edge, NJ (1993)

We report on a pilot study of the topological structure of data sets using Plex, a software package for computational homology. Plex assigns to a set of points in R^n a "barcode," which is intended to reveal topological structure in data. In particular, if the data are drawn from a low-dimensional manifold M, the barcode is meant to capture the homology of M. We compared barcodes coming from three sources: bytecount data from the UW-Madison core computer network, Gaussian noise centered at a point, and Gaussian noise convolved with a circle. One of our goals is to understand the result of Plex needs to be in order to distinguish a data set with topological structure from one consisting solely of noise.

We model the variation of lambda-invariants of imaginary quadratic fields by statistics of p-adic random matrices, and test the resulting predictions against numerical data.

We discuss some problems of arithmetic distribution, including conjectures of Cohen-Lenstra, Malle, and Bhargava; we explain how such conjectures can be heuristically understood for function fields over finite fields, and discuss a general approach to their proof in the function field context based on the topology of Hurwitz spaces. This approach also suggests that the Schur multiplier plays a role in such questions over number fields.

We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This topological theorem 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 Fq(t) have the l-part of their class group isomorphic to A.

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).

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).

Write G_S(p) for the Galois group of the maximal pro-p extension of Q unramified away from a set of primes S not including p. We describe a conjectural probability distribution on the isomorphism class of G_S(p) when S is a random set of g primes. This can be thought of as a non-abelian pro-p version of the Cohen-Lenstra heuristic. We present two heuristic arguments leading to the same conjecture, one in the spirit of Cohen-Lenstra and the other based on analogies between number fields and function fields.

**"Every curve is a Teichmuller curve,"** with D. B. McReynolds, submitted.

In a previous paper, we proved that the equation A^4 + B^2 = C^p has no nontrivial solutions when p is a prime no less than 211. In the present paper, we show that the equations A^4 + B^2 = C^n and A^4 + 2 B^2 = C^n have no nontrivial solutions for n >= 4 apart from 1^4 + 2*11^2 = 3^5. The proof involves a mixture of geometric, analytic, and computational techniques.

In a previous paper with A. Venkatesh, we gave an upper bound on GRH for the order of the p-torsion subgroup of the ideal class group of a number field K, which could be made unconditional in certain cases (for instance, the 3-torsion in the class group of a quadratic field.) In this note, we observe that those bounds could be (slightly) sharpened if one had some control over the number of points on P^1(K) whose height is bounded by some small positive power of the discriminant of K. This problem has apparently not been seriously investigated, apart from some numerical experiments carried out by D. Lecoanet.

.pdf version, as appearing in published volume

log N(X) < C log X exp(D sqrt(log log X))

**"Asymptotics of coinvariants of Iwasawa modules under non-normal subgroups,"** with A. Logan, *Math. Res. Lett.* 14, no.5, 769-773 (2007)

Let G be a subgroup of S_n. Malle has conjectured that the number of number fields which have degree n over Q, Galois group G, and discriminant between -X and X is asymptotic to C X^a (log X)^b where a and b are constants depending on G. We study the problem of counting extensions of F_q(T) with the above properties; this is essentially a problem of counting F_q-rational points on Hurwitz varieties. We show that the heuristic "an irreducible d-fold over F_q has q^d rational points" yields the analogue of Malle's conjecture, with identical values of a and b. Moreover, the function field setting suggests more general heuristics about the distribution of discriminants of number fields. (Remark: in this paper we count only extensions of F_q(T) containing no constant field extension. There are some situations in which the fields with nontrivial constant subextensions actually dominate the ones we count, contrary to the remark on the top of p.154 in our paper.)

**"Serre's conjecture over
F _{9},"**

**"On the average number of octahedral modular forms,"** *Math. Res. Lett.* 10, 269--273 (2003)

PUBLISHED VERSION .dvi version .pdf version

**"Endomorphism algebras of Jacobians,"** * Adv. Math.* 162, 243--271 (2001)

Van der Geer and Oort have written:

Previous works of Brumer, Mestre, Ekedahl-Serre, and others have justified this expectation by providing examples of families of curves whose Jacobians have large endomorphism rings. We give a general procedure for producing families of branched covers of the line whose Jacobians have extra endomorphisms. We show that many of the examples produced by the above authors are "explained" in this way, and produce some new examples. For instance, we obtain curves whose Jacobians have real multiplication by the index-n subfield of"...one expects excess intersection of the Torelli locus and the loci corresponding to abelian varieties with very large endomorphism rings; that is, one expects that they intersect much more than their dimensions suggest."

**"On the modularity of Q-curves,"**,with C. Skinner, *Duke Math. J.* 109, no. 1, 97--122 (2001)

**"Congruence ABC implies ABC,"** *Indag. Math.*, N.S., 11 (2), 197--200 (2000)

Back to Jordan Ellenberg's home page

Jordan Ellenberg * ellenber@math.wisc.edu * revised 27 May 2010