Questions about modular forms and related areas

learn more… | top users | synonyms

3
votes
2answers
106 views

Can the pre-image of the real points in the complex upper-half plane of a modular elliptic curve under the modular parametrization be identified?

Consider an elliptic curve $E/\Bbb Q$ and let $\Phi:\Gamma_0(N)\backslash\overline{\mathfrak{H}}\rightarrow E(\Bbb C)$ be the analytical description of its modular parametrization. We know that this ...
1
vote
0answers
40 views

Intersection of ordinary subspaces at different primes

Choose two distinct primes $\ell$ and $\ell'$, and embeddings $\iota_\ell : \overline{\mathbb Q} \to \overline{\mathbb Q_\ell}$, $\iota_{\ell'} : \overline{\mathbb Q} \to \overline{\mathbb ...
4
votes
1answer
407 views

Modular forms and “too many symmetries”

How do we interpret Barry Mazur's quote of Modular forms are functions on the complex plane that are inordinately symmetric. They satisfy so many internal symmetries that their mere existence ...
10
votes
1answer
192 views

String Orientation and Level Structures

Atiyah, Bott and Shapiro defined orientations of real and complex K-theory that were later refined to maps of ($E_\infty$-ring) spectra $$MSpin \to KO$$ and $$MSpin^c \to KU.$$ Likewise, but more ...
24
votes
3answers
727 views

Why do Pell equations appear in Ramanujan's pi formulas?

While answering this MSE question about the Pell equation $x^2-29y^2=1$, I noticed that certain fundamental solutions appeared in Ramanujan's famous pi formula. I. Given the fundamental unit, ...
0
votes
0answers
114 views

Is the Jacobi theta function invertible?

Let $\theta$ denote the Jacobi theta function: $$\theta=\sum_{k=0}^{\infty}{(-1)^kq^{k(k+1)}sin((2k+1)\frac{2\pi}{\omega_1}Re(z))},$$ and we have a complex number $t$. Suppose that we know there ...
4
votes
0answers
46 views

(Eichler-Shimura Isomorphism) Proving c(f) is not a boundary

I have seen a couple of questions related to the Eichler-Shimura Isomorphism, but almost all of them have to do with hodge theory (things I am unfamiliar with) and seem, to me, different/unrelated. ...
1
vote
0answers
100 views

Automorphism group of a modular curve and its action on the set of cusps

Let $X$ be a modular curve, that is the compact Riemann surface obtained by adding cusps to a quotient $Y=Y_\Gamma=\mathbb H/\Gamma$ of Poincaré upper half-plane $\mathbb H$ by a congruence subgroup ...
9
votes
1answer
333 views

Eichler-Shimura congruence

I'm trying to understand the Eichler-Shimura congruence which relates the Hecke operator $T_p$ to Frobenius at $p$ in characteristic $p$. Two possible ways to compute $T_p$ mod $p$ seem to be: A) ...
9
votes
1answer
548 views

Questions about the “universal elliptic curve” over the affine $j$-line punctured at 0 and 1728

So my question refers to families of elliptic curves over the $\mathbb{A}^1_\mathbb{C}\setminus\{0,1728\}$ whose fiber above a point $j$ has $j$-invariant equal to $j$ (I understand it's not ...
4
votes
1answer
147 views

Voronoi formula and twists by additive characters

I was wondering if there are any references for the error term in the problem $$\sum_{n\leq x} r(n) \exp(2\pi i\frac{a}{q}n)$$ where $r(n)$ is the number of representations of $n$ as a sum of two ...
4
votes
1answer
54 views

Petersson-product of the cusp part of the theta series

Who can help me solving this problem: $Q:\mathbb{Z}^{2k}\to \mathbb{Z}$ is any positive definite integer -valued quadratic form in $2k$ variables, then it is well known, that the thetaseries ...
2
votes
0answers
83 views

Hodge Bundles on Tropical Spaces

I am not sure that this question even makes sense, which I suppose is part of the questions itself. In any case, I attended a talk recently wherin there was some discussion about a "tropical ...
3
votes
0answers
35 views

Counting cosets of matrices of determinant > 1 under the action of a congruence subgroup

I tried asking this on math exchange, but no luck, so thought I'd try here. Let $M_2(m,\mathbb{Z}) $ be the $2\times 2$ matrices with integer entries and determinant $m$. Let $\Gamma^0(N)$ be the ...
11
votes
0answers
179 views

What's the dimension of the space of CM cusp forms?

I would guess that the following is very well known, but I don't know the answer and I couldn't find anything with some googling. Let $\Gamma \subset \mathrm{SL}(2,\mathbf Z)$ be a congruence ...
6
votes
3answers
363 views

Asymptotic formulas for Monster-related modular functions?

Define the following, $$j(\tau) = \Big(\tfrac{E_4(\tau)}{\eta^8(\tau)}\Big)^3 = {1 \over q} + 744 + \color{blue}{196884} q + 21493760 q^2 + 864299970 q^3 + \cdots \tag{1}$$ $$j_{2A}(\tau) ...
14
votes
1answer
361 views

Special fiber of $X(p)$ in characteristic $p$

Let $p \geq 5$ be a prime. Let $Y(p)$ be the fine moduli space representing elliptic curves + basis of the $p$-torsion over $\mathbb{Q}_p$ and let $Y_1(p)$ be the fine moduli space representing ...
0
votes
0answers
96 views

A curious property of Ramanujan's function $\tau(n)$

As it is well known, Ramanujan's $\tau(n)$ function can be defined through the power series expansion of the modular discriminant: $$\Delta(q)=q\prod\limits_{n=1}^\infty (1-q^n)^{24}=\sum ...
0
votes
1answer
58 views

Slope decomposition of a product of operators

I'm trying to relate the slope decomposition of a product of linear operators to the slope decompositions with regard to each of the operators in the product. First I'll give some background, for ...
6
votes
1answer
277 views

Cusps forms for $\Gamma (N)$

I know how to build a basis of the vector space of cusp forms for the congruence subgroups $\Gamma_1 (N)$ and $\Gamma_0 (N)$, but I couldn't find in the literature how to build a basis for ...
6
votes
2answers
433 views

Characterizing the real analytic Eisenstein series

Consider the classical real analytic Eisenstein series $$ E(z,s)=\left(\pi^{-s}\Gamma(s)\frac{1}{2}\right)\sum_{(m,n)\neq(0,0)}\frac{y^s}{|mz+n|^{2s}}, $$ where $z=x+iy$. We think of $E(z,s)$ as a ...
4
votes
0answers
172 views

Moduli interpretation of Eisenstein series

Let $N \geq 11$ be an integer and consider the basis of Eisenstein series for $M_2(\Gamma_0(N))$ described in Theorem $4.6.2$ of Diamond--Shurman's book. Pick and Eisenstein series $F$ in this basis. ...
6
votes
0answers
103 views

Weyl law for Maass forms with nontrivial character

The classical Weyl law for $\Gamma = \mathrm{SL}_2(\mathbb{Z})$ counts the number of Maass cusp forms on $\Gamma \backslash \mathbb{H}$ with Laplace eigenvalue less than $T$. This is originally due to ...
3
votes
0answers
151 views

Fourier expansions of newforms at width-1 cusps

Let $f_E$ be the newform attached to the Elliptic Curve $E$ with cremona label $\textbf{100a1}$ and let $\alpha = \left[\begin{matrix} 1&0 \\ 10&1 \end{matrix}\right] \in SL_2(\mathbb{Z})$. ...
6
votes
1answer
141 views

Cuspidal modular forms - toroidal or minimal compactification?

Let $Y$ be a Siegel variety and let $X$ be a toroidal compactification of $Y$. For any tuple of integers $\underline k$ we have the usual sheaf $\omega^{\underline k}$. The space of modular forms of ...
10
votes
1answer
353 views

Holomorphic cusp forms and cohomology of GL(2,Z)

Let $V_{k}$ denote the complex representation of $\mathrm{GL}(2)$ given by $\mathrm{Sym}^k(V)$, where $V$ is the defining 2-dimensional representation. Assume that $k$ is even. I would like to compute ...
2
votes
0answers
72 views

Modular forms related to $G(q)$ and $H(q)$

If $G(q),H(q)$ are the functions appearing in Rogers-Ramanujan identities $$G(q)=\sum_{n=0}^{\infty}\frac{q^{n^{2}}}{(q;q)_{n}}=\prod_{n=1}^{\infty}\frac{1}{(1-q^{5n-1})(1-q^{5n-4})}$$ and ...
8
votes
1answer
312 views

Adelic open image for modular forms?

There's a famous theorem of Serre that if $E$ is a non-CM elliptic curve over $\mathbf{Q}$, and $\rho_{E, \ell} : Gal(\overline{\mathbf{Q}}/{\mathbf{Q}}) \to GL_2(\mathbf{Z}_\ell)$ is its $\ell$-adic ...
4
votes
2answers
153 views

Images of the fundamental domain of $\text{SL}_2(\mathbb{Z})\backslash \mathbb{H}$ whose Euclidean area is large

Let $S$ be a compact subset of the closure of the upper half plane. (Assume that $S$ is a (Euclidean) rectangular box, if you wish.) Let $D$ be the standard fundamental domain of ...
6
votes
2answers
229 views

Holomorphic Hoffstein-Lockhart

In the article Hoffstein, Jeffrey; Lockhart, Paul "Coefficients of Maass forms and the Siegel zero." Ann. of Math. (2) 140 (1994), no. 1, 161–181, it is stablished a good bound for the Petersson norm ...
6
votes
2answers
288 views

Field of definition of Galois representations of weight 1 modular forms

Let $f$ be a weight 1 modular form (let's say cuspidal, new, normalized, and a Hecke eigenform). Then there's an associated Artin representation $\rho_f: \operatorname{Gal}(\overline{\mathbf{Q}} / ...
1
vote
0answers
46 views

Algebraic Relations between $G(q)$ and $H(q)$

I had posted this originally on MSE, but got no response at all hence posting the same here. In his paper "Algebraic Relations between Certain Infinite Products" (Proceedings of the London ...
5
votes
2answers
213 views

Why is the supersingular locus the zero locus of a modular form?

This question is related to my other question here: Examples of subspaces singled out by modular forms. Here I am wondering if there is a philosophical explanation about why the supersingular locus ...
5
votes
1answer
324 views

Ternary quadratic form theta series as Hecke eigenforms and class number one

At Simple comparison of positive ternary quadratic form representation counts Jeremy answered: "The reason is that the theta series for the sums of three squares form is an eigenfunction for all the ...
3
votes
1answer
92 views

Simple comparison of positive ternary quadratic form representation counts

Something came up yesterday in a referee request and I was surprised to find that I did not know the facts in full generality. This is about positive quadratic forms in three variables with integer ...
1
vote
0answers
42 views

Semi-simple controlling operator

I've just come across this paper by Coleman and Edixhoven called "On the semi-simplicity of the $U_p$ operator on modular forms", where (as the title says) they show that the $U_p$ operator is ...
3
votes
1answer
140 views

Existence of real modular function with specific behavior as $q\to 0$

I am looking for a real modular function $F(q,\bar{q})$ such that in the limit of small $q,\bar{q}$ it behaves as: $F(q,\bar{q})=(a_0 + a_1 (q + \bar q)+...)\log q \bar q+ (b_0 + b_1 (q + \bar ...
2
votes
0answers
80 views

Examples of subspaces singled out by modular forms

I am wondering what subspaces of modular varieties defined as the zero locus of modular forms have been studied in the literature. To be more clear let me explain the example I have in mind. Let ...
7
votes
2answers
407 views

modular forms, invertible sheaves, and quotients

I'm very confused about some contradicatory statements, and I hope someone can help me clarify this. Let $\Gamma$ be a congruence subgroup. It is well known that modular forms of weight $k$ for ...
7
votes
1answer
211 views

Atkin--Lehner operators in Hida theory

Let $p$ be a prime, and $F$ a $p$-adic Hida family of ordinary modular forms (of some tame level $N \ge 1$). I'd like to know whether, for $q$ a prime factor of $N$, the actions of the Atkin--Lehner ...
4
votes
3answers
184 views

Expression for the derivative of Eisenstein series $G_2$

I am new to number theory, so I am guessing this is a standard formula. I would be grateful for a reference: We know that the Eisenstein series $G_2$ is quasimodular of level $SL_2(\mathbb Z)$, so ...
4
votes
1answer
149 views

Reference or proof for the fact that $J(X_0(N))$ splits into abelian varieties with real multiplication

It´s known that $J_0(N) = J(X_0(N))= \bigoplus_f E(f)$ splits as a sum of abelian varieties parametrized by the Hecke eingenfunctions and that it´s an elliptic curve iff the Hecke eingenvalue is an ...
1
vote
0answers
98 views

Modular form, number of divisors [duplicate]

The Fourier expansion of Eisenstein series $E_k$ $(k \ge 4)$, which are modular forms, as well as the quasimodular $E_2$, involves powers-of-divisors $\sigma_{k-1}(n) = \sum_{d|n} d^{k-1}$. Is there ...
6
votes
0answers
95 views

A partition congruence modulo 13

In the paper "Note on certain modular relations considered by Messrs Ramanujan, Darling and Rogers" (Proceedings of London Mathematical Society (1922) s2-20 (1): 408-416) Mordell gives proofs of the ...
5
votes
0answers
98 views

Density of p-ordinary modular forms

Fix an odd prime $p$. For concreteness, let $N$ be coprime to $p$, and let $2 \leq k \leq p$. Let $S^+(N,k)$ be the newforms in $S_k(\Gamma_1(N))$. Let $f = \sum a_n q^n \in S^+(N,k)$. We say that ...
0
votes
0answers
77 views

Are they mock theta functions or mock modular forms?

would anyone help me to show if the following $q-$series have modular property? Thank you very much. \begin{eqnarray} B(\phi^{*};q)=\sum_{n\in \mathbb{Z}}{\frac{q^{n}}{(-q^2;q^2)_n}} \end{eqnarray} ...
2
votes
1answer
132 views

About the restriction of a modular representation to a decomposition subgroup II

This question is a variant of this one. Let $f$ be as in the other question, but suppose that we look at the $\ell$-adic representiation attached to $f$: $$ \rho_f : G_{\mathbb Q} \to ...
2
votes
1answer
169 views

About the restriction of a modular representation to a decomposition subgroup

Let $f$ be an eigenform of level $\Gamma_1(N)$ and let $p$ be a prime that does not divide $N$. It is well know that there is a $2$-dimensional representation $$ \rho_f \colon G_{\mathbb Q} \to ...
14
votes
1answer
411 views

A sum by Ramanujan for $\coth^{2}(5\pi)$

Ramanujan mentions in one of his letters to Hardy that $$\frac{1^{5}}{e^{2\pi} - 1}\cdot\frac{1}{2500 + 1^{4}} + \frac{2^{5}}{e^{4\pi} - 1}\cdot\frac{1}{2500 + 2^{4}} + \cdots = ...
8
votes
1answer
238 views

Overconvergent cohomology and overconvergent modular forms

I've been reading a preprint by David Hansen (with appendix by James Newton) called Universal eigenvarieties, trianguline Galois representations and p-adic Langlands functoriality. In it he talks ...