# Tagged Questions

**3**

votes

**0**answers

120 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

**0**answers

77 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

**0**answers

107 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

**1**answer

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

**9**

votes

**1**answer

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

**8**

votes

**1**answer

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

**6**

votes

**2**answers

221 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

**2**answers

274 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}} / ...

**5**

votes

**2**answers

203 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

**1**answer

306 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

**1**answer

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

**0**answers

79 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

**2**answers

391 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

**1**answer

188 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

**3**answers

179 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

**1**answer

147 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

**0**answers

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

**5**

votes

**0**answers

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

**2**

votes

**1**answer

127 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

**1**answer

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

**8**

votes

**1**answer

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

**4**

votes

**1**answer

186 views

### looking for reference on dihedral, tetrahedral, or octahedral forms

I am looking for a reference on dihedral, tetrahedral, or octahedral forms. As far as I read, they are some cuspidal automorphic forms on $GL(2)$ induced from $GL(1)$. Dihedral is from $GL(1)/K$ to ...

**3**

votes

**1**answer

245 views

### Is there a nice way to write the generating function obtained by taking the quadratic coefficients of another one?

Suppose that you have a generating function
$$
f(q) = \sum_{k=0}^\infty a_k q^k
$$
It's not too hard to obtain the generating function
$$
f_{n,m}(q) = \sum_{k=0}^\infty a_{nk + m}q^k
$$
by taking a ...

**12**

votes

**1**answer

505 views

### Curves on K3 and modular forms

The paper of Bryan and Leung "The enumerative geometry of $K3$ surfaces and modular forms" provides the following formula. Let $S$ be a $K3$ surface and $C$ be a holomorphic curve in $S$ representing ...

**10**

votes

**1**answer

248 views

### Example of a non-smooth irreducible component of the generic fibre of a Hida family?

Is there a known example of a non-smooth irreducible component of the rigid generic fibre of a Hida family?
Let me explain some of the context around this question (but I'm not going to explain Hida ...

**9**

votes

**5**answers

1k views

### Brief Introduction to Modular Forms

What are the best introductory texts on modular forms that are suited for a brief six week course intended for advanced undergraduates? The students will be quite sharp and as far as prerequisites go, ...

**7**

votes

**1**answer

181 views

### standard zero free region of automorphic L-function on GL(N)

Let $L(s,\pi)$ be the standard(Godement-Jacquet) $L$-function of $\pi$, where $\pi$ is a cuspidal automorphic represetation of $GL(m,A_Q)$.
What's the standard zero-free region for $L(s,\pi)$? any ...

**4**

votes

**0**answers

74 views

### Generators of the symplectic subgroup $\Gamma^g(1,2)$

Let $\mathbb{A}^{m\times n}$ denote the set of all $m \times n$ matrices with entries in the set $\mathbb{A}$. For a matrix $M$ we let ${^tM}$ denote its transpose, and $M^{-1}$ its inverse, if it is ...

**0**

votes

**1**answer

160 views

### Euler product of Asai L-function?

Let $\pi$ be an automorphic form of GL(n)/$\mathbb{Q}$ with standard $L$-function
$$L(s,\pi)=\prod_p \prod_{i=1}^n(1-\frac{\alpha_{p,i}}{p^s})^{-1},$$
where $\{\alpha_{p,i}:i=1,\dots,n\}$ are the ...

**6**

votes

**1**answer

329 views

### Serre's 1987 letter to Tate about mod p modular forms

In what follows, we have a level $N \geq 3$, and the modular curve $X(N)$, and the invertible sheaf $\omega$ on $X(N)$ such that the global sections of $\omega^{\otimes k}$ correspond to modular forms ...

**5**

votes

**2**answers

352 views

### Modularity theorem for abelian varieties

There's alredy two posts on MO about the extension of modularity to elliptic curves over fields other than $\mathbb{Q}$ ([1], [2]), and another one about general algebraic varieties [3].
What is ...

**6**

votes

**0**answers

132 views

### Is there an integral pairing between quaternionic Hecke algebras and cusp forms?

Let $F$ be a totally real number field with integers $\mathcal{O}_F$ and $B$ a quaternion algebra over $F$ split at exactly one infinity place.Fix $n\geq 1$ and like in the special case $F=\mathbb{Q}, ...

**10**

votes

**1**answer

223 views

### What is our current knowledge on the structure of J_0(N)(Q) and J_1(N)(Q)

The question in the title naturally breaks up in two parts, namely the torsion part and the rank part. I already read about some results on both the torsion and the rank part. And I want to know ...

**8**

votes

**1**answer

241 views

### Universal deformations of modular Galois representations

Let $\bar\rho$ be an odd, absolutely irreducible, 2-dimensional mod $p$ representation of $\operatorname{Gal}(\overline{\mathbf{Q}} / \mathbf{Q})$ (with coefficients in some finite extension $k / ...

**5**

votes

**1**answer

236 views

### p-adic L-functions of modular forms: why the condition $v_p(\alpha)<k-1$?

Let $f$ be a modular form (cuspidal, new, eigenform) of weight $k$ and level $N$. Let $p$ be a prime number not dividing $N$. In order to construct a $p$-adic $L$-function $L_p(f, s)$ interpolating ...

**0**

votes

**0**answers

132 views

### Notation in Shimura “Arithmetic of Automorphic …”

I can't find the following (abuse of?) notation explained in Shimura's "Introduction to the Arithmetic of Automorphic Forms", I'm hoping someone can clarify it:
Chapter 7, section 4, page 177:
...

**3**

votes

**2**answers

238 views

### Real character modular forms: Fourier coefficient real?

Let $f$ be a modular form of level $N$ and real character $\chi$ of mod $N$ and weight $k$.
Does the Fourier coefficient or hecke-eigenvalue of $f$ have to be real?
What I knew is that if $N=1$ and ...

**3**

votes

**2**answers

234 views

### Interpolation of periods for a Hida family of modular forms

Let $\mathbf{f}$ be a Hida family of ordinary $p$-adic modular forms, and let $V(\mathbf{f})$ be the corresponding $\Lambda$-adic Galois representation (a quotient of the inverse limit
$$ ...

**3**

votes

**2**answers

219 views

### What are the modular transformation properties of q-Pochhammer symbols?

Do q-Pochhammer symbols, defined as
$(a;q) = \prod_{k=0}^{\infty} (1- a q^k)$
have known modular transformation properties? That is, if we write $q = q[z] = e^{2\pi i z}$, is there any reasonably ...

**4**

votes

**1**answer

183 views

### Properties of representations attached to p-adic modular forms

I found an old MOF post about representations attached to p-adic modular forms: Representations attached to p-adic modular forms and I have some follow up questions on the same topic.
If we have a ...

**4**

votes

**0**answers

133 views

### Is there a version of Serre's modularity conjecture for projective representations?

Serre's modularity conjecture asserts that a continuous odd irreducible representation $$\overline{\rho} : G_\mathbb{Q} \rightarrow \mathrm{GL}_2(\mathbb{F}_q)$$ must be modular, in the sense that ...

**6**

votes

**1**answer

246 views

### A conjecture related to the Cohen-Oesterlé dimension formula of spaces of modular forms for half-integer weights

Denote $\operatorname{dim}(M_k(\Gamma_0(N)))$ by $m(k,N)$ and
$\operatorname{dim}(S_k(\Gamma_0(N)))$ by $s(k,N)$.
Let $N$ any positive multiple of $4$ and $j \ge 1$.
$$
a(N) := \frac1j \left(m ...

**15**

votes

**1**answer

573 views

### Ramanujan's pi formulas with a twist

Given the binomial function $\binom{n}{k}$, define the following sequences,
$$\begin{aligned}
u_1(k) &= \tbinom{2k}{k}\tbinom{3k}{k}\tbinom{6k}{3k} = 1, 120, 83160, 81681600,\dots \\
u_2(k) ...

**6**

votes

**2**answers

1k views

### Ramanujan's tau function

Why was Ramanujan interested in the his tau function before the advent of modular forms? The machinery of modular forms used by Mordel to solve the multiplicative property seems out of context until I ...

**5**

votes

**1**answer

208 views

### Theta series for the Leech lattice

The Leech lattice, found by John Leech in 1965, is a fascinating combinatorial object and gives the best possible lattice sphere packing in $\mathbb{R}^{24}$. This result was proved by Cohn and Kumar ...

**20**

votes

**1**answer

886 views

### Is the Modularity Theorem (currently) effective?

The Modularity Theorem says every elliptic curve over $\mathbb{Q}$ can be gotten from the classic modular curve $X_0(N)$ by a rational map. Here $N$ is the conductor, easily calculable from a ...

**5**

votes

**3**answers

454 views

### Modular form on $\Gamma_0(N)$

I recently asked this question on Math.StackExchange with no answer so far. So I thought maybe I can find an answer here.
Let $M(k,\Gamma_0(N))$ be a space of modular forms of weight $k$ on ...

**1**

vote

**0**answers

47 views

### Modular form on $\Gamma_0(N)$ [duplicate]

Let $M(k,\Gamma_0(N))$ be a space of modular forms of weight $k$ on $\Gamma_0(N)$.
Each $f \in M(k,\Gamma_0(N))$ has a Fourier expansion of the form
$$f(\tau)=\sum_{n\in ...

**21**

votes

**0**answers

726 views

### Monstrous Moonshine for Thompson group $Th$?

I. As a background, in Traces of Singular Moduli (p.2), Zagier defines the modular form of weight 3/2,
$$g(\tau) = \frac{\eta^2(\tau)}{\eta(2\tau)}\frac{E_4(4\tau)}{\eta^6(4\tau)}=\vartheta_4(\tau)\, ...

**3**

votes

**1**answer

136 views

### On Universal Abelian surfaces over a Shimura curve.

Let ${\cal O}, {\cal O}'$ be two order in ${\mathrm M}_2({\Bbb R})$ that are sets of all $2 \times 2$ matrices over real number ${\Bbb R}$. Assume that we have the relation ${\cal O}' = a{\cal ...