-
Enabling Global Image Data Sharing in the Life Sciences
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
Submitted 9 August, 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
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
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
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.
Submitted 29 March, 2023; originally announced March 2023.
Comments: 5 pages, 1 figure, opinion
-
arXiv:2109.01043 [pdf, ps, other]
Sparsity of Integral Points on Moduli Spaces of Varieties
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 mapping 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
Submitted 19 August, 2022; v1 submitted 2 September, 2021; originally announced September 2021.
Comments: version 2, minor edits; 20 pages
-
arXiv:2106.11340 [pdf, ps, other]
Heights on stacks and a generalized Batyrev-Manin-Malle conjecture
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
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
-
arXiv:2009.10824 [pdf, ps, other]
The Ceresa class: tropical, topological, and algebraic
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
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
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
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
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 developing a sense of what the con… ▽ More
Submitted 29 April, 2019; originally announced April 2019.
-
arXiv:1901.08202 [pdf, ps, other]
Nonvanishing of hyperelliptic zeta functions over finite fields
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.
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
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
Submitted 30 January, 2018; originally announced January 2018.
Comments: 13 pages, 1 figure
-
Approximate Gradient Coding via Sparse Random Graphs
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
Submitted 17 November, 2017; originally announced November 2017.
-
Rational points on solvable curves over $\mathbb{Q}$ via non-abelian Chabauty
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
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)
-
arXiv:1701.04541 [pdf, ps, other]
Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle's conjecture for function fields
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
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
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
Submitted 7 September, 2017; v1 submitted 6 December, 2016; originally announced December 2016.
Comments: 3 pages
Journal ref: Discrete Analysis 2017:14
-
arXiv:1606.06103 [pdf, ps, other]
On $\ell$-torsion in class groups of number fields
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
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
-
arXiv:1605.09223 [pdf, ps, other]
On large subsets of $F_q^n$ with no three-term arithmetic progression
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
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
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
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
-
arXiv:1508.02430 [pdf, ps, other]
Algebraic structures on cohomology of configuration spaces of manifolds with flows
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
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
-
arXiv:1506.01022 [pdf, ps, other]
Homology of FI-modules
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.
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
-
arXiv:1502.06144 [pdf, ps, other]
Detection of Planted Solutions for Flat Satisfiability Problems
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
Submitted 6 March, 2019; v1 submitted 21 February, 2015; originally announced February 2015.
MSC Class: 62C20; 68R01; 60C05
-
arXiv:1502.03736 [pdf, ps, other]
Furstenberg sets and Furstenberg schemes over finite fields
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.
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
-
arXiv:1311.1479 [pdf, ps, other]
An incidence conjecture of Bourgain over fields of positive characteristic
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.
Submitted 6 November, 2013; originally announced November 2013.
-
arXiv:1309.6038 [pdf, ps, other]
Representation stability in cohomology and asymptotics for families of varieties over finite fields
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
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
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
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
-
arXiv:1210.3757 [pdf, ps, other]
Superstrong approximation for monodromy groups
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
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
-
arXiv:1210.1854 [pdf, ps, other]
FI-modules over Noetherian rings
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
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
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
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
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.
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
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
Submitted 4 January, 2012; originally announced January 2012.
Comments: 28 pages, relevant code attached
MSC Class: 14L05; 11G20; 14G17
-
arXiv:1008.3675 [pdf, ps, other]
Expander graphs, gonality and variation of Galois representations
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
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
-
arXiv:1001.4266 [pdf, ps, other]
Upper bounds for the growth of Mordell-Weil ranks in pro-p towers of Jacobians
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
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
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
Submitted 6 January, 2010; originally announced January 2010.
-
arXiv:0912.0325 [pdf, ps, other]
Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields
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
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
-
arXiv:0909.1851 [pdf, ps, other]
Arithmetic Veech sublattices of $\SL(2,\Z)$
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.
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
-
arXiv:0907.0488 [pdf, ps, other]
Positive motivic measures are counting measures
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.
Submitted 2 July, 2009; originally announced July 2009.
Comments: 5 pages
MSC Class: 14F43; 14G15
-
arXiv:0903.1879 [pdf, ps, other]
The Kakeya set and maximal conjectures for algebraic varieties over finite fields
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
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
-
arXiv:0902.4567 [pdf, ps, other]
Pro-p groups and towers of rational homology spheres
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
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
-
arXiv:0804.2166 [pdf, ps, other]
Non-simple abelian varieties in a family: geometric and analytic approaches
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
Submitted 14 April, 2008; originally announced April 2008.
Comments: 19 pages
MSC Class: 11G10 (Primary); 11N35; 14K15; 14D05 (Secondary)
-
arXiv:math/0604232 [pdf, ps, other]
Local-global principles for representations of quadratic forms
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.
Submitted 13 April, 2006; v1 submitted 10 April, 2006; originally announced April 2006.
Comments: TeX clash causing O to appear as \emptyset fixed
-
arXiv:math/0510506 [pdf, ps, other]
A sharp diameter bound for unipotent groups of classical type over Z/pZ
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
Submitted 24 October, 2005; originally announced October 2005.
Comments: 17 pages
MSC Class: 20G40; 05C25
-
arXiv:math/0311497 [pdf, ps, other]
Galois representations attached to Q-curves and the generalized Fermat equation A^4 + B^2 = C^p
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
Submitted 26 November, 2003; originally announced November 2003.
Comments: 20pp. To appear, American Journal of Mathematics
MSC Class: 11G18; 11D41; 11G05; 11F67
-
arXiv:math/0311131 [pdf, ps, other]
On the error term in Duke's estimate for the average special value of L-functions
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
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)
-
arXiv:math/0309153 [pdf, ps, other]
The number of extensions of a number field with fixed degree and bounded discriminant
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.
Submitted 8 September, 2003; originally announced September 2003.
-
arXiv:math/0107147 [pdf, ps, other]
Serre's conjecture over F_9
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
Submitted 20 July, 2001; originally announced July 2001.
Comments: 14 pages
MSC Class: 11F80 (Primary) 11G18 14K15 (Secondary)
-
arXiv:math/9909098 [pdf, ps, other]
Congruence ABC implies ABC
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
Submitted 17 September, 1999; originally announced September 1999.
Comments: 4 pages; to appear, Indag. Math
MSC Class: 11D41 (Primary) 11D75 (Secondary)