# Tagged Questions

**2**

votes

**0**answers

53 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

368 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

166 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

165 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

140 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

96 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

92 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

123 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

163 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

219 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

175 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

243 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

493 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

233 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

171 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

73 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

154 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

318 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

336 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

123 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

215 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

232 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

228 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

129 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

227 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

227 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

210 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

152 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

129 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

239 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

560 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

921 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

199 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

852 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

443 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

714 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

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

**2**

votes

**1**answer

162 views

### How to obtain the Period matrix from the Igusa Invariants of a genus two curve?

I am looking for an algorithm to obtain the period matrix tau= (tau1 & tau12\ tau12 & tau2) from the Igusa invariants of a genus two curve. More precisely:
I consider a family of genus two ...

**2**

votes

**0**answers

134 views

### about lemma 5.9 of Mazur's famous Eisenstein ideal paper

In Lemma 5.9 of Chapter II of his famous Eisenstein ideal paper, Mazur proved that
when $1/N$ is invertible in the ring $R$, if $\phi$ is a holomorphic modular form in $\omega^k$ over $\Gamma_0(N)$ ...

**1**

vote

**0**answers

91 views

### another question on the Manin-Drinfeld theorem

A few days ago I asked a question about possible higher dimensional generalizations of the Manin-Drinfeld theorem. Let me come back to the classical statement.
It says that a divisor on the modular ...

**3**

votes

**0**answers

157 views

### Solvable parametric $7$th and $13$th degree equations using $\eta(q)/\eta(q^p)$?

Q: Why is that some polynomial relations between eta quotients have a solvable Galois group, even if the deg is $n>4$?
For example, we have the well-known modular equation,
$$u^6 - v^6 + ...

**4**

votes

**1**answer

233 views

### computing spaces of $p$-adic modular forms

Let $p$ be a prime, and $\alpha$ a positive integer. How do you compute the space of $p$-ordinary $p$-adic modular forms (in the sense of Serre) of weight 2 on $\Gamma_0(p^\alpha)$? I'm really only ...

**34**

votes

**1**answer

1k views

### There's something strange about $\sqrt{d\big(j(\tau)-1728\big)}$

Given the j-function $j(\tau)$, I was looking at,
$$F(\tau) = \sqrt{d\big(j(\tau)-1728\big)}$$
which appears in Ramanujan-type pi formulas. Let $C_d$ be the prime factors of the constant term of the ...

**12**

votes

**2**answers

475 views

### Etymology of cuspidal representations

In the literature on representation theory of $GL_2(\Bbb F_p)$ and $GL_2(\Bbb Q_p)$, the irreducible representations with trivial Jacquet module are often called "cuspidal" or "supercuspidal". Why are ...

**1**

vote

**0**answers

123 views

### A problem involving the converse of Ramanujan's theta operation

Let $A := \mathbb{C}[E_2;E_4,E_6]$ be the algebra of (almost) modular forms for $\mathrm{SL}_2(\mathbb{Z})$. (The weight $2$ Eisenstein series $E_2 := 1 - 24\sum_{n \geq 1} \sigma_1(n)q^n$ satisfies ...

**4**

votes

**2**answers

433 views

### Using Eichler-Selberg trace formula to compute dimension of modular forms?

Is it possible to use Eichler-Selberg trace formula to compute the dimension of modular forms of weight $k$ for $SL(2,\mathbb Z)$? This was computed by classical methods such as Riemann-Roch.

**9**

votes

**1**answer

599 views

### The “Level N modular equation for delta” in characteristics 3, 5, 7 and 13

When $N > 1$, the modular forms $\Delta(z)$ and $\Delta(Nz)$ are algebraically independent over the complexes, and the same then is true of their expansions at infinity. But using the fact that
the ...

**24**

votes

**2**answers

1k views

### Why should I care about topological modular forms?

There seems to be a lot of recent activity concerning topological modular forms (TMF), which I gather is an extraordinary cohomology theory constructed from the classical theory of modular forms on ...