Source author record

Sarah Trebat-Leder

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT hep-th math.AG math.RT

Catalog footprint

Research overview

6works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

The 1729 K3 Surface

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 $a^3+b^3=c^3+d^3.$ 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 $\mathbb{Q}$ with rank $\geq 2$ .

preprint2015arXiv

Classical and Umbral Moonshine: Connections and $p$ -adic Properties

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 $T_g$ of $g \in M$ acting on $V$ . Similar phenomena have been shown to hold for the Matthieu group $M_{24}$ , 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 $T_g$ 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 $T_g$ . 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$ .

preprint2015arXiv

l-adic properties of partition functions

Folsom, Kent, and Ono used the theory of modular forms modulo $\ell$ to establish remarkable ``self-similarity'' properties of the partition function and give an overarching explanation of many partition congruences. We generalize their work to analyze powers $p_r$ of the partition function as well as Andrews's spt-function. By showing that certain generating functions reside in a small space made up of reductions of modular forms, we set up a general framework for congruences for $p_r$ and spt on arithmetic progressions of the form $\ell^mn+δ$ modulo powers of $\ell$ . Our work gives a conceptual explanation of the exceptional congruences of $p_r$ observed by Boylan, as well as striking congruences of spt modulo 5, 7, and 13 recently discovered by Andrews and Garvan.

preprint2015arXiv

On p-adic modular forms and the Bloch-Okounkov theorem

Bloch-Okounkov studied certain functions on partitions $f$ called shifted symmetric polynomials. They showed that certain $q$ -series arising from these functions (the so-called \emph{ $q$ -brackets} $\left<f\right>_q$ ) are quasimodular forms. We revisit a family of such functions, denoted $Q_k$ , and study the $p$ -adic properties of their $q$ -brackets. To do this, we define regularized versions $Q_k^{(p)}$ for primes $p.$ We also use Jacobi forms to show that the $\left<Q_k^{(p)}\right>_q$ are quasimodular and find explicit expressions for them in terms of the $\left<Q_k\right>_q$ .

preprint2014arXiv

Elliptic Curves with Everywhere Good Reduction

We consider the question of which quadratic fields have elliptic curves with everywhere good reduction. By revisiting work of Setzer, we expand on congruence conditions that determine the real and imaginary quadratic fields with elliptic curves of everywhere good reduction and rational $j$ -invariant. Using this, we determine the density of such real and imaginary quadratic fields. If $R(X)$ (respectively $I(X)$ ) denotes the number of real (respectively imaginary) quadratic fields $K=\mathbb{Q}[\sqrt{m}]$ such that $|Δ_K| < X$ and for which there exists an elliptic curve $E/K$ with rational $j$ -invariant that has everywhere good reduction, then $R(X) \gg \frac{X}{\sqrt{\log(X)}}$ . To obtain these estimates we explicitly construct quadratic fields over which we can construct elliptic curves with everywhere good reduction. The estimates then follow from elementary multiplicative number theory. In addition, we obtain infinite families of real and imaginary quadratic fields such that there are no elliptic curves with everywhere good reduction over these fields.

preprint2013arXiv

Elliptic Curves with Full 2-Torsion and Maximal Adelic Galois Representations

In 1972, Serre showed that the adelic Galois representation associated to a non-CM elliptic curve over a number field has open image in GL_2(\hat{Z}). In Greicius' thesis, he develops necessary and sufficient criteria for determining when this representation is actually surjective and exhibits such an example. However, verifying these criteria turns out to be difficult in practice; Greicius describes tests for them that apply only to semistable elliptic curves over a specific class of cubic number fields. In this paper, we extend Greicius' methods in several directions. First, we consider the analogous problem for elliptic curves with full 2-torsion. Following Greicius, we obtain necessary and sufficient conditions for the associated adelic representation to be maximal and also develop a battery of computationally effective tests that can be used to verify these conditions. We are able to use our tests to construct an infinite family of curves over Q(alpha) with maximal image, where alpha is the real root of x^3 + x + 1. Next, we extend Greicius' tests to more general settings, such as non-semistable elliptic curves over arbitrary cubic number fields. Finally, we give a general discussion concerning such problems for arbitrary torsion subgroups.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Sarah Trebat-Leder

Research overview

Is this your work?

6 publications

The 1729 K3 Surface

Classical and Umbral Moonshine: Connections and $p$ -adic Properties

l-adic properties of partition functions

On p-adic modular forms and the Bloch-Okounkov theorem

Elliptic Curves with Everywhere Good Reduction

Elliptic Curves with Full 2-Torsion and Maximal Adelic Galois Representations

See the researcher in context

Building this map preview

Sarah Trebat-Leder

Research overview

Is this your work?

6 publications

The 1729 K3 Surface

Classical and Umbral Moonshine: Connections and ppp-adic Properties

l-adic properties of partition functions

On p-adic modular forms and the Bloch-Okounkov theorem

Elliptic Curves with Everywhere Good Reduction

Elliptic Curves with Full 2-Torsion and Maximal Adelic Galois Representations

See the researcher in context

Building this map preview

Classical and Umbral Moonshine: Connections and $p$ -adic Properties