BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Motivated by the many roles that hook lengths play in mathematics, we study the distribution of the number of t-hooks in the partitions of n. We prove that the limiting distribution is normal with mean μt(n)∼π6n−2t and variance σt2(n)∼2π3(π2−6)6n. Furthermore, we prove that the distribution of the number of hook lengths that are multiples of a fixed t≥4 in partitions of n converge to a shifted Gamma distribution with parameter k=(t−1)/2 and scale θ=2/(t−1).
Recent works at the interface of algebraic combinatorics, algebraic geometry, number theory, and topology have provided new integer-valued invariants on integer partitions. It is natural to consider the distribution of partitions when sorted by these invariants in congruence classes. We consider the prominent situations which arise from extensions of the Nekrasov-Okounkov hook product formula, and from Betti numbers of various Hilbert schemes of n points on C2. For the Hilbert schemes, we prove that homology is equidistributed as n→∞. For t-hooks, we prove distributions which are often not equidistributed. The cases where t∈{2,3} stand out, as there are congruence classes where such counts are zero. To obtain these distributions, we obtain analytic results which are of independent interest. We determine the asymptotics, near roots of unity, of the ubiquitous infinite products F1(ξ;q):=∏n=1∞(1−ξqn), F2(ξ;q):=∏n=1∞(1−(ξq)n) and F3(ξ;q):=∏n=1∞(1−ξ−1(ξq)n).
The Euler-Mascheroni constant γ=0.5772… is the K=Q example of an Euler-Kronecker constant γK of a number field K. In this note we consider the size of the γq=γKq for cyclotomic fields Kq:=Q(ζq). Assuming the Elliott-Halberstam Conjecture (EH), we prove uniformly in Q that Q1∑Q<q≤2Q∣γq−logq∣=o(logQ). In other words, under EH the γq/logq in these ranges converge to the one point distribution at 1. This theorem refines and extends a previous result of Ford, Luca, and Moree for prime q.
In this note we obtain effective lower bounds for the canonical heights of non-torsion points on E(Q) by making use of suitable elliptic curve ideal class pairings ΨE,−D:E(Q)×E−D(Q)↦CL(−D). In terms of the class number H(−D) and TE(−D), a logarithmic function in D, we prove h(P)>(H(−D)+∣Etor(Q)∣)2∣Etor(Q)∣2⋅TE(−D).
Hausel and Rodriguez-Villegas recently observed that work of Göttsche, combined with a classical result of Erdős and Lehner on integer partitions, implies that the limiting Betti distribution for the Hilbert schemes (C2)[n] on n points, as n→+∞, is a \textit{Gumbel distribution}. In view of this example, they ask for further such Betti distributions. We answer this question for the quasihomogeneous Hilbert schemes ((C2)[n])Tα,β that are cut out by torus actions. We prove that their limiting distributions are also of Gumbel type. To obtain this result, we combine work of Buryak, Feigin, and Nakajima on these Hilbert schemes with our generalization of the result of Erdős and Lehner, which gives the distribution of the number of parts in partitions that are multiples of a fixed integer A≥2. Furthermore, if pk(A;n) denotes the number of partitions of n with exactly k parts that are multiples of A, then we obtain the asymptotic pk(A,n)∼2(1−A1)2k−41k!Ak+21(2π)k242k−41(n−Ak)2k−43e2π61(1−A1)(n−Ak), a result which is of independent interest.
Heim, Neuhauser, and Tröger recently established some inequalities for MacMahon's plane partition function PL(n) that generalize known results for Euler's partition function p(n). They also conjectured that PL(n) is log-concave for all n≥12. We prove this conjecture. Moreover, for every d≥1, we prove their speculation that PL(n) satisfies the degree d Turán inequality for sufficiently large n. The case where d=2 is the case of log-concavity.
We consider the t-hook functions on partitions fa,t:P→C defined by fa,t(λ):=ta−1∑h∈Ht(λ)ha1, where Ht(λ) is the multiset of partition hook numbers that are multiples of t. The Bloch-Okounkov q-brackets ⟨fa,t⟩q include Eichler integrals of the classical Eisenstein series. For even a≥2, we show that these q-brackets are natural pieces of weight 2−a sesquiharmonic and harmonic Maass forms, while for odd a≤−1, we show that they are holomorphic quantum modular forms. We use these results to obtain new formulas of Chowla-Selberg type, and asymptotic expansions involving values of the Riemann zeta-function and Bernoulli numbers. We make use of work of Berndt, Han and Ji, and Zagier.
In previous work, the authors confirmed the speculation of J. G. Thompson that certain multiquadratic fields are generated by specified character values of sufficiently large alternating groups An. Here we address the natural generalization of this speculation to the finite general linear groups GLm(Fq) and SL2(Fq).
Ideal class pairings map the rational points of rank r≥1 elliptic curves $E/\Q$ to the ideal class groups $\CL(-D)$ of certain imaginary quadratic fields. These pairings imply that h(−D)≥21(c(E)−ε)(logD)2r for sufficiently large discriminants −D in certain families, where c(E) is a natural constant. These bounds are effective, and they offer improvements to known lower bounds for many discriminants.
We investigate Riemann's xi function ξ(s):=21s(s−1)π−2sΓ(2s)ζ(s) (here ζ(s) is the Riemann zeta function). The Riemann Hypothesis (RH) asserts that if ξ(s)=0, then Re(s)=21. Pólya proved that RH is equivalent to the hyperbolicity of the Jensen polynomials Jd,n(X) constructed from certain Taylor coefficients of ξ(s). For each d≥1, recent work proves that Jd,n(X) is hyperbolic for sufficiently large n. Here we make this result effective. Moreover, we show how the low-lying zeros of the derivatives ξ(n)(s) influence the hyperbolicity of Jd,n(X).
For positive rank r elliptic curves E(Q), we employ ideal class pairings E(Q)×E−D(Q)→CL(−D), for quadratic twists E−D(Q) with a suitable ``small y-height'' rational point, to obtain effective class number lower bounds. For the curves E(a): y2=x3−a, with rank r(a), this gives h(−D)≥101⋅RQ(E)∣Etor(Q)∣⋅(4π)2r(a)Γ(2r(a)+1)⋅loglogDlog(D)2r(a), representing an improvement to the classical lower bound of Goldfeld, Gross and Zagier when r(a)≥3. We prove that the number of twists E−D(a)(Q) with such a point (resp. with such a point and rank ≥2 under the Parity Conjecture) is ≫a,εX21−ε. We give infinitely many cases where r(a)≥6. These results can be viewed as an analogue of the classical estimate of Gouvêa and Mazur for the number of rank ≥2 quadratic twists, where in addition we obtain ``log-power'' improvements to the Goldfeld-Gross-Zagier class number lower bound.
For functions f:P→C on partitions, Bloch and Okounkov defined a power series ⟨f⟩q that is the "weighted average" of f. As Fourier series in q=e2πiz, such q-brackets generate the ring of quasimodular forms, and the modular forms that are powers of Dedekind's eta-function. Using work of Berndt and Han, we build modular objects from ft(λ):=t∑h∈Ht(λ)h21, weighted sums over partition hook numbers that are multiples of t. We find that ⟨ft⟩q is the Eichler integral of (1−E2(tz))/24, which we modify to construct a function Mt(z) that enjoys weight 0 modularity properties. As a consequence, the non-modular Fourier series Ht∗(z):=∑λ∈Pft(λ)q∣λ∣−241 inherits weight −1/2 modularity properties. These are sufficient to imply a Chowla-Selberg type result, generalizing the fact that weight k algebraic modular forms evaluated at discriminant D<0 points τ are algebraic multiples of ΩDk, the kth power of the canonical period. If we let Ψ(τ):=−πi(12ττ2−3τ+1)−2log(τ), then for t=1 we prove that H1∗(−1/τ)−−iτ1⋅H1∗(τ)∈Q⋅ΩDΨ(τ).
We consider natural variants of Lehmer's unresolved conjecture that Ramanujan's tau-function never vanishes. Namely, for n>1 we prove that τ(n)∈{±1,±3,±5,±7,±691}. This result is an example of general theorems for newforms with trivial mod 2 residual Galois representation, which will appear in forthcoming work of the authors with Wei-Lun Tsai. Ramanujan's well-known congruences for τ(n) allow for the simplified proof in these special cases. We make use of the theory of Lucas sequences, the Chabauty-Coleman method for hyperelliptic curves, and facts about certain Thue equations.
\textit{Weak moonshine} for a finite group G is the phenomenon where an infinite dimensional graded G-module VG=⨁n≫−∞VG(n) has the property that its trace functions, known as McKay-Thompson series, are modular functions. Recent work by DeHority, Gonzalez, Vafa, and Van Peski established that weak moonshine holds for every finite group. Since weak moonshine only relies on character tables, which are not isomorphism class invariants, non-isomorphic groups can have the same McKay-Thompson series. We address this problem by extending weak moonshine to arbitrary width s∈Z+. For each 1≤r≤s and each irreducible character χi, we employ Frobenius' r-character extension χi(r):G(r)→C to define \textit{width r McKay-Thompson series} for VG(r):=VG×⋯×VG (r copies) for each r-tuple in G(r):=G×⋯×G (r copies). These series are modular functions which then reflect differences between r-character values. Furthermore, we establish orthogonality relations for the Frobenius r-characters, which dictate the compatibility of the extension of weak moonshine for VG to width s weak moonshine.
For a finite group G, let K(G) denote the field generated over Q by its character values. For n>24, G. R. Robinson and J. G. Thompson proved that K(An)=Q({p∗ : p≤n an odd prime with p=n−2}), where p∗:=(−1)2p−1p. Confirming a speculation of Thompson, we show that arbitrary suitable multiquadratic fields are similarly generated by the values of An-characters restricted to elements whose orders are only divisible by ramified primes. To be more precise, we say that a π-number is a positive integer whose prime factors belong to a set of odd primes π:={p1,p2,…,pt}. Let Kπ(An) be the field generated by the values of An-characters for even permutations whose orders are π-numbers. If t≥2, then we determine a constant Nπ with the property that for all n>Nπ, we have Kπ(An)=Q(p1∗,p2∗,…,pt∗).
In recent work, Sun constructed two q-series, and he showed that their limits as q→1 give new derivations of the Riemann-zeta values ζ(2)=π2/6 and ζ(4)=π4/90. Goswami extended these series to an infinite family of q-series, which he analogously used to obtain new derivations of the evaluations of ζ(2k)∈Q⋅π2k for every positive integer k. Since it is well known that Γ(21)=π, it is natural to seek further specializations of these series which involve special values of the Γ-function. Thanks to the theory of complex multiplication, we show that the values of these series at all CM points τ, where q:=e2πiτ, are algebraic multiples of specific ratios of Γ-values. In particular, classical formulas of Ramanujan allow us to explicitly evaluate these series as algebraic multiples of powers of Γ(41)4/π3 when q=e−π, e−2π.
The two Rogers-Ramanujan q-series ∑n=0∞(1−q)⋯(1−qn)qn(n+σ), where σ=0,1, play many roles in mathematics and physics. By the Rogers-Ramanujan identities, they are essentially modular functions. Their quotient, the Rogers-Ramanujan continued fraction, has the special property that its singular values are algebraic integral units. We find a framework which extends the Rogers-Ramanujan identities to doubly-infinite families of q-series identities. If a∈{1,2} and m,n≥1, then we have ∑λλ1≤mqa∣λ∣P2λ(1,q,q2,…;qn)="infinite product modular function", where the Pλ(x1,x2,…;q) are Hall-Littlewood polynomials. These q-series are specialized characters of affine Kac--Moody algebras. Generalizing the Rogers-Ramanujan continued fraction, we prove in the case of A2n(2) that the relevant q-series quotients are integral units.
Suppose that OL is the ring of integers of a number field L, and suppose that f(z)=∑n=1∞af(n)qn∈Sk∩OL[[q]] (note: q:=e2πiz) is a normalized Hecke eigenform for SL2(Z). We say that f is non-ordinary at a prime p if there is a prime ideal p⊂OL above p for which af(p)≡0 (mod p). For any finite set of primes S, we prove that there are normalized Hecke eigenforms which are non-ordinary for each p∈S. The proof is elementary and follows from a generalization of work of Choie, Kohnen and the third author.
We introduce and survey results on two families of zeta functions connected to the multiplicative and additive theories of integer partitions. In the case of the multiplicative theory, we provide specialization formulas and results on the analytic continuations of these "partition zeta functions", find unusual formulas for the Riemann zeta function, prove identities for multiple zeta values, and see that some of the formulas allow for p-adic interpolation. The second family we study was anticipated by Manin and makes use of modular forms, functions which are intimately related to integer partitions by universal polynomial recurrence relations. We survey recent work on these zeta polynomials, including the proof of their Riemann Hypothesis.
In a recent important paper, Hoffstein and Hulse generalized the notion of Rankin-Selberg convolution L-functions by defining shifted convolution L-functions. We investigate symmetrized versions of their functions. Under certain mild conditions, we prove that the generating functions of certain special values are linear combinations of weakly holomorphic quasimodular forms and "mixed mock modular" forms.
We revisit the mathematics that Ramanujan developed in connection with the famous "taxi-cab" number 1729. A study of his writings reveals that he had been studying Euler's diophantine equation a3+b3=c3+d3. It turns out that Ramanujan's work anticipated deep structures and phenomena which have become fundamental objects in arithmetic geometry and number theory. We find that he discovered a K3 surface with Picard number 18, one which can be used to obtain infinitely many cubic twists over Q with rank ≥2.
The period polynomial rf(z) for an even weight k≥4 newform f∈Sk(Γ0(N)) is the generating function for the critical values of L(f,s). It has a functional equation relating rf(z) to rf(−Nz1). We prove the Riemann Hypothesis for these polynomials: that the zeros of rf(z) lie on the circle ∣z∣=N1 . We prove that these zeros are equidistributed when either k or N is large.
Answering problems of Manin, we use the critical L-values of even weight k≥4 newforms f∈Sk(Γ0(N)) to define zeta-polynomials Zf(s) which satisfy the functional equation Zf(s)=±Zf(1−s), and which obey the Riemann Hypothesis: if Zf(ρ)=0, then Re(ρ)=1/2. The zeros of the Zf(s) on the critical line in t-aspect are distributed in a manner which is somewhat analogous to those of classical zeta-functions. These polynomials are assembled using (signed) Stirling numbers and "weighted moments" of critical values L-values. In analogy with Ehrhart polynomials which keep track of integer points in polytopes, the Zf(s) keep track of arithmetic information. Assuming the Bloch--Kato Tamagawa Number Conjecture, they encode the arithmetic of a combinatorial arithmetic-geometric object which we call the "Bloch-Kato complex" for f. Loosely speaking, these are graded sums of weighted moments of orders of Šafarevič-Tate groups associated to the Tate twists of the modular motives.
Hoffstein and Hulse recently introduced the notion of shifted convolution Dirichlet series for pairs of modular forms f1 and f2. The second two authors investigated certain special values of symmetrized sums of such functions, numbers which are generally expected to be mysterious transcendental numbers. They proved that the generating functions of these values in h-aspect are linear combinations of mixed mock modular forms and quasimodular forms. Here we examine the special cases when f1=f2 where, in addition, there is a prime p for which p2 divides the level. We prove that the mixed mock modular form is a linear combination of at most two weight 2 weakly holomorphic p-adic modular forms.
The classical theory of monstrous moonshine describes the unexpected connection between the representation theory of the monster group M, the largest of the simple sporadic groups, and certain modular functions, called Hauptmodln. In particular, the n-th Fourier coefficient of Klein's j-function is the dimension of the grade n part of a special infinite dimensional representation V of the monster group. More generally the coefficients of Hauptmoduln are graded traces Tg of g∈M acting on V. Similar phenomena have been shown to hold for the Matthieu group M24, but instead of modular functions, mock modular forms must be used. This has been conjecturally generalized even further, to umbral moonshine, which associates to each of the 23 Niemeier lattices a finite group, infinite dimensional representation, and mock modular form. We use generalized Borcherds products to relate monstrous moonshine and umbral moonshine. Namely, we use mock modular forms from umbral moonshine to construct via generalized Borcherds products rational functions of the Hauptmoduln Tg from monstrous moonshine. This allows us to associate to each pure A-type Niemeier lattice a conjugacy class g of the monster group, and gives rise to identities relating dimensions of representations from umbral moonshine to values of Tg. We also show that the logarithmic derivatives of the Borcherds products are p-adic modular forms for certain primes p and describe some of the resulting properties of their coefficients modulo p.
Monstrous moonshine relates distinguished modular functions to the representation theory of the monster. The celebrated observations that 196884=1+196883 and 21493760=1+196883+21296876, etc., illustrate the case of the modular function j-744, whose coefficients turn out to be sums of the dimensions of the 194 irreducible representations of the monster. Such formulas are dictated by the structure of the graded monstrous moonshine modules. Recent works in moonshine suggest deep relations between number theory and physics. Number theoretic Kloosterman sums have reappeared in quantum gravity, and mock modular forms have emerged as candidates for the computation of black hole degeneracies. This paper is a survey of past and present research on moonshine. We also compute the quantum dimensions of the monster orbifold, and obtain exact formulas for the multiplicities of the irreducible components of the moonshine modules. These formulas imply that such multiplicities are asymptotically proportional to dimensions.
The Umbral Moonshine Conjectures assert that there are infinite-dimensional graded modules, for prescribed finite groups, whose McKay-Thompson series are certain distinguished mock modular forms. Gannon has proved this for the special case involving the largest sporadic simple Mathieu group. Here we establish the existence of the umbral moonshine modules in the remaining 22 cases.
In 1975 Ogg offered a bottle of Jack Daniels for an explanation of the fact that the prime divisors of the order of the monster are the primes p for which the characteristic p supersingular j-invariants are all defined over the field with p elements. This coincidence is often suggested to be the first hint of monstrous moonshine, the deep unexpected interplay between the monster and modular functions. We revisit Ogg's problem, and we point out (using existing tools) that the moonshine functions for order p elements give the set of characteristic p supersingular j-invariants (apart from 0 and 1728). Furthermore, we discuss this coincidence of the two seemingly unrelated sets of primes using the first principles of moonshine.
Mock modular forms, which give the theoretical framework for Ramanujan's enigmatic mock theta functions, play many roles in mathematics. We study their role in the context of modular parameterizations of elliptic curves E/Q. We show that mock modular forms which arise from Weierstrass ζ-functions encode the central L-values and L-derivatives which occur in the Birch and Swinnerton-Dyer Conjecture. By defining a theta lift using a kernel recently studied by Hövel, we obtain canonical weight 1/2 harmonic Maass forms whose Fourier coefficients encode the vanishing of these values for the quadratic twists of E. We employ results of Bruinier and the third author, which builds on seminal work of Gross, Kohnen, Shimura, Waldspurger, and Zagier. We also obtain p-adic formulas for the corresponding weight 2 newform using the action of the Hecke algebra on the Weierstrass mock modular form.
Extending the partition function multiplicatively to a function on partitions, we show that it has a unique maximum at an explicitly given partition for any n=7. The basis for this is an inequality for the partition function which seems not to have been noticed before.
We compute the Moore-Witten regularized u-plane integral on CP^2, and we confirm their conjecture that it is the generating function for the SO(3)-Donaldson invariants of CP^2. We prove this conjecture using the theory of mock theta functions and harmonic Maass forms. We also derive further such generating functions for the SO(3)-Donaldson invariants with 2N_f massless monopoles using the geometry of certain rational elliptic surfaces (N_f=0,2,3,4). We show that the partition function for N_f=4 is nearly modular. When combined with one of Ramanujan's mock theta functions, we obtain a weight 1/2 modular form. This fact is central to the proof of the conjecture.
We prove that the coefficients of certain weight -1/2 harmonic Maass forms are traces of singular moduli for weak Maass forms. To prove this theorem, we construct a theta lift from spaces of weight -2 harmonic weak Maass forms to spaces of weight -1/2 vector-valued harmonic weak Maass forms on Mp_2(Z), a result which is of independent interest. We then prove a general theorem which guarantees (with bounded denominator) when such Maass singular moduli are algebraic. As an example of these results, we derive a formula for the partition function p(n) as a finite sum of algebraic numbers which lie in the usual discriminant -24n+1 ring class field. We indicate how these results extend to general weights. In particular, we illustrate how one can compute theta lifts for general weights by making use of the Kudla-Millson kernel and Maass differential operators.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.