Questions about modular forms and related areas

**4**

votes

**1**answer

125 views

### Is Scholl construction of modular motives related to Deligne's construction of $\ell$-adic representations?

first of all, I need to declare my extreme ignorance on the topic of modular forms, so , please, does not assume that I know Deligne's construction in details.
In ...

**3**

votes

**0**answers

194 views

### The $\ell = p$ case of Ihara's lemma

Let $N \ge 1$ and let $\ell$ and $p$ be primes not dividing $N$.
The classical Ihara lemma says that if $Y_1(N, \ell)$ is the modular curve attached to the subgroup $\Gamma_1(N) \cap \Gamma_0(\ell)$, ...

**1**

vote

**0**answers

122 views

### Coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$

I want to prove that $\forall n \in \mathbb{N}$ at least one of the Fourier coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$ is striclty greater than ...

**3**

votes

**1**answer

202 views

### New series for $1/\pi$ based on Ramanujan's ideas

In his classic paper "Modular Equations and Approximations to $\pi$ (1914)", Ramanujan gives a standard technique to obtain a general family of series for $1/\pi$ based on series for $(2K/\pi)^{2}$ in ...

**3**

votes

**1**answer

153 views

### Some clarifications regarding Deligne's paper on $\ell$-adic representations arising from modular forms

I've posted this question few days ago on math.stackexchange because it seems quite superficial. However, since I've got no responses at all, I'm posting it here. If the question is not suitable, ...

**2**

votes

**2**answers

160 views

### Relations of eisenstein series with eta quotient

Theorem 1.67 On page 19 of Ken Ono's book The Web of Modularity says:
Every modular form on $SL_2(\mathbb{Z})$ may be expressed as a rational function in $\eta(z)$, $\eta(2z)$ and $\eta(4z)$.
The ...

**11**

votes

**0**answers

171 views

### Power series which are $p$-adic modular forms for all $p$; a local-to-global principle?

Suppose that, for some integer $k$, a series $f(q) \in \mathbb Q \otimes \mathbb Z[[q]]$ has the property that for every prime $p$, $f(q)$ is the $q$-expansion of a $p$-adic modular form of weight $k$ ...

**1**

vote

**0**answers

135 views

### Fourier expansions at the cusps of $\Gamma_0(N)$

My question may be basic but I can't find any answer. Let $N$ be a positive integer. I need to find the constant term (of the Fourier series) at each cusps of a modular form
...

**6**

votes

**0**answers

218 views

### Twisted equivariant modular forms?

I'd like to know where I can find information about a class of objects which I think deserve to be called twisted equivariant modular forms. Let me guess a definition, indicate how it can be made more ...

**0**

votes

**1**answer

112 views

### Fixed field of the Nebentypus of a newform for $\Gamma_1(N)$

Let $f=\sum_{n\geq 1}\in S_2(\Gamma_1(N),\varepsilon)$ be a normalized newform without CM and with Nebentypus $\varepsilon$. Let $L=\mathbb Q(a_n\colon n\in \mathbb N)$ be the number field generated ...

**6**

votes

**1**answer

156 views

### Mean value of Maass forms

Let $X = SL_2(\mathbb{Z}) \backslash \mathbb{H}$ be the modular surface. Consider a basis of $L^2$-normalized Hecke-Maass cusps forms $\phi_j$ on $X$ with $-\Delta$-eigenvalue $\lambda_j$. ...

**5**

votes

**1**answer

305 views

### An old conjecture of M.Newman

M.Newman raised several questions in his 1957 paper on modular forms.
Definition: $H_n$ is the subclass of all zero-free weakly modular forms of weight 0 on $\Gamma_0(n)$, where $n$ is a composite ...

**2**

votes

**1**answer

105 views

### Proving the Eichler-Shimura Isomorphism defines a global section

Let $ f \in S_k(\Gamma)$ be a weight k modular cusp form of level $\Gamma$, with modular curve $Y_{\Gamma}$. Let $V^{k-2}$ be the homogenous polynomials in X and Y of degree k-2 with complex ...

**3**

votes

**2**answers

149 views

### Examples of component crossing between families of modular forms

Is there a reference that contains explicit examples of component crossing of Hida families at height one primes? The paper of Emerton, Pollack, and Weston addresses component crossing obtained ...

**12**

votes

**3**answers

1k views

### On $e^{\pi\sqrt{4\cdot163}}$ and unusual connections

We are familiar with the expansion of the j-function,
$$j(\tau) = \tfrac{1}{q}+744+ 196884{q} + 21493760{q}^2 + \dots\tag1$$
and maybe with the approximation,
$$e^{\pi\sqrt{652}} = ...

**5**

votes

**0**answers

97 views

### Logarithmic view on the classical Eichler–Shimura isomorphism

[Apologies ahead of time that this question is (1) quite heavy in laying out notations, and (2) of the can-you-spot-my-error variety.]
I am trying to recast the Eichler–Shimura isomorphism as a ...

**3**

votes

**2**answers

140 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

**0**answers

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

**5**

votes

**1**answer

477 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

**1**answer

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

**28**

votes

**3**answers

958 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

**0**answers

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

**5**

votes

**0**answers

66 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

**0**answers

112 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

**1**answer

351 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) ...

**10**

votes

**1**answer

574 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

**1**answer

163 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

**1**answer

56 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

**0**answers

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

**4**

votes

**0**answers

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

**12**

votes

**0**answers

190 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

**3**answers

386 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

**1**answer

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

**1**

vote

**0**answers

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

**1**

vote

**1**answer

66 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

**1**answer

288 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

**2**answers

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

**6**

votes

**0**answers

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

**7**

votes

**0**answers

123 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

162 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

150 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

**1**answer

369 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

**0**answers

76 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

**1**answer

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

**5**

votes

**2**answers

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

**8**

votes

**2**answers

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

**7**

votes

**2**answers

322 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

**0**answers

53 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

**2**answers

216 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

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