Questions about modular forms and related areas

**1**

vote

**0**answers

77 views

### Level-Lowering in Weight 2

Let $N$ and $p$ be relatively prime integers with $p$ a prime. Suppose $f$ is a weight $k=2$ (normalized, cuspidal, etc) newform of level $\Gamma_1(N) \cap \Gamma_0(p)$. I seem to recall the existence ...

**6**

votes

**0**answers

58 views

### Prime divisors of the norm of the first coefficient of an elliptic newform at width-1 cusps.

Let $E/\mathbb{Q}$ be an elliptic curve of conductor $N$ and let $f$ be its newform.
Suppose $p \geq 5$ is a prime such that $p^2 \mid N$. We assume $f$ is $p$-minimal, which is equivalent to that the ...

**3**

votes

**2**answers

170 views

### Equidistribution of Hecke points and $p = (a+bi)(a-bi) = e^{i\theta}\sqrt{a^2 + b^2}$

I have seen two versions of a result called "Hecke Equidistribution" and I wanted to know if they were the same or different.
#1 Let $p = 4k+1 = (a+bi)(a-bi) = e^{i\theta}\sqrt{a^2 + b^2}$. Then ...

**4**

votes

**3**answers

345 views

### genus 2 Siegel theta series of 3-dimensional lattices

Let $(V,f)$ be a $3$-dimensional positive definite quadratic space over $\mathbf Q$.
Let $G(V)$ be a set of representatives of the isometry classes of maximal integral lattices on $V$.
To an ...

**2**

votes

**0**answers

121 views

### Mod 2 modular forms in levels 5 and 25--how to account for this Hecke isomorphism?

The space $P1$ of my earlier question 203755 "Two spaces attached to mod 2 level 9 modular forms...", is essentially the space of mod 2 level 3 modular forms. That such a space should appear inside ...

**1**

vote

**1**answer

145 views

### Eisenstein series of weight $2$ for $\Gamma_0(N)$ : where am I wrong?

Let $A_{N,2}$ be the set of triples $(\psi,\varphi,t)$ such that $\psi$ and $\varphi$ are primitive Dirichlet characters modulo $u$ and $v$ with $(\psi\varphi)(-1)=1$, and $t$ is an integer such ...

**1**

vote

**0**answers

142 views

### Two spaces attached to mod 2 level 9 modular forms--a conjectural Hecke isomorphism

MOTIVATION
Nicolas and Serre have analyzed the structure of the space of mod $2$ modular forms of level $1$, viewed as a "Hecke-module". They show that for each $p>2$, the operator $T_p$ acting on ...

**8**

votes

**1**answer

354 views

### Is this theorem on $L$-functions known?

Notations For $f$ a meromorphic function on a domain $\Omega\subseteq \textbf{C}$, we shall say for convenience that $f$ is represented by an Ordinary Dirichlet Series (ODS) if $f$ can be written ...

**5**

votes

**1**answer

116 views

### Bounding a Sum of Adjoint L-Function Values

Fix integers $k\geq2$ and $N>1$, and let $S(k,N)$ denote the normalized new Hecke eigenforms in $S_k(\Gamma_1(N))$. [If it makes my question easier to answer, feel free to replace this with ...

**2**

votes

**1**answer

73 views

### A question about decomposing mod 2 modular forms of level p^2

Fix an odd prime $p$. Each $f \in \mathbb{Z}/2[[x]]$ can be written as $f_{+} + f_{-} + f_0$ where each exponent k of $x$ appearing in $f_{+}$ (resp. $f_{-}$, $f_0$) has Legendre symbol $(k/p)$ equal ...

**18**

votes

**0**answers

312 views

### Nekrasov-Okounkov hook length formula

I am now reading the paper An explicit expansion formula for the powers of the Euler Product in terms of partition hook lengths by Guo-Niu Han. The author rediscovered what he calls Nekrasov-Okounkov ...

**5**

votes

**1**answer

163 views

### Dimensions of a vector space akin to modular symbols

The group $\operatorname{SL}_2(\mathbb Z)$ acts on polynomials in two variables $\mathbb C[x,y]$ via $A\cdot f(x,y)\mapsto f(A^{-1}.(x,y))$ where $(x,y)$ is regarded as a column vector. There are two ...

**7**

votes

**1**answer

216 views

### Complete L-function and FE of Rankin-Selberg on GL(2)?

Let $f$ be a Maass cusp form of $\Gamma_0(N)$ on the upper half plane with character $\chi$ mod $N$ and eigenvalue $1/4+\mu^2$.
What is the complete $L$-function of the Rankin-Selberg product ...

**1**

vote

**0**answers

45 views

### Fourier-Jacobi expansion for Siegel modular forms of non parallel weight

For Siegel modular forms of parallel weight there is a good theory of Fourier-Jacobi expansions (as for example in Faltings-Chai) and I suspect that there is a similar theory for the general case, but ...

**0**

votes

**0**answers

18 views

### Submodular Monimization with Cardinality Constraint

I am new to submodular functions and I am reading the introductions to submodular functions and applications ( https://www.ima.umn.edu/optimization/seminar/queyranne.pdf ).
In this introduction, it ...

**2**

votes

**0**answers

141 views

### A question about the paper “The Main Conjecture for $GL(2)$” by Skinner and Urban

I am studying the paper "The Main Conjecture for $GL(2)$" by Skinner and Urban (available here). In this paper, in Section 5.5.3, the authors define a filtration $M_{\underline k}^{n,q}$ on the space ...

**8**

votes

**2**answers

377 views

### Averages over integer points of the sphere

A paper of William Duke proves that integer points on the sphere are equidistributed:
$$ V_n = \{ (x,y,z) \in \mathbb{Z}^2 : x^2 + y^2 + z^2 = n \}. $$
Up to reflections across the $x$, $y$ and $z$ ...

**6**

votes

**1**answer

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

**5**

votes

**0**answers

248 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

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

**4**

votes

**1**answer

224 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

173 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

187 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

189 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

161 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

256 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

121 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

170 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

324 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

119 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

175 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}} = ...

**6**

votes

**0**answers

108 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

146 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

51 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

504 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

219 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

1k 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

143 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

69 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

118 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

362 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

606 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

183 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

59 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

109 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

43 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

197 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

407 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

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