Questions about modular forms and related areas

learn more… | top users | synonyms

0
votes
0answers
40 views

solve nonlinear congruence modulus prime [on hold]

I would like to solve the following congruence equation in positive integers $a$ and $b$. I would be grateful if anyone can give some hints and references. $$ 4\equiv (a+b)/(ab) (\mod p) $$ where ...
0
votes
1answer
268 views

On a claim of Zagier on extending a map to cocycle

Zagier, in his paper 'Some Surprising Consequences of the Cohomology of SL$_2(\bf{ Z})$' (link, p. 6), studies the action of $\Gamma=PSL_2(\bf Z)$ on a vector space $V$, denoting the action by $v\ |\ ...
5
votes
1answer
271 views

Computing an eigencuspform in $S_2(\Gamma_0(1776))$

Consider $$\bar{\rho}:G_{\mathbb Q}\longrightarrow\operatorname{GL}_2(\mathbb F_7)$$ the residual 7-adic Galois representation attached to the elliptic curve $y^2=x^3+x^2-4x-4$ of conductor 48. Then ...
1
vote
0answers
90 views

References for modular curves over finite fields [closed]

I'm looking for a detailed reference for modular curves over finite fields, such as $X(N)$, $X_1(N)$, and $X_0(N)$. There seems to be a lot of literature dealing with them over $\mathbb{C}$, but I'm ...
2
votes
1answer
89 views

What is the image of the Ramanujan Delta function?

Consider the Ramanujan $\Delta$ function as a map from the upper half plane to the complex plane. We know that the image of $\Delta$ is unbounded and that it does not contain the point $0$. What else ...
9
votes
0answers
182 views

Hodge–Tate structures of modular forms

The title refers to the paper of Faltings: Hodge-Tate structures and modular forms. Math. Ann. 278 (1987), no. 1-4, 133–149. The main theorem in the paper says that the associated Galois rep to a ...
5
votes
0answers
56 views

different definitions of epsilon constants for representations of GL(2) from modular forms

I ran into this question when trying to compute the Atkin-Lehner pseudo-eigenvalue of newforms. Let $k \geq 2$, let $\omega$ be a Dirichlet character modulo $N$ and let $f \in S_k(N,\omega)$ be a ...
5
votes
1answer
222 views

Fourier expansion of Eisenstein Series

I have been reading a bit about the Fourier expansion of Eisenstein series (weight 1/2). I came across the fact that the coefficients contain Modified Bessel functions. Further reading I found ...
1
vote
1answer
124 views

From an eigenfom with $\mathbf{Q}$-coefficients to $j$-invariants

Given a cuspidal, classical eigenform $f\in S_2(\Gamma_0(N))$ of weight $2$ and with $\mathbf{Q}$-coefficients is there a way of describing the set $J_f$ of $j$-invariants of the elliptic curves lying ...
1
vote
0answers
59 views

The dimension of the space of automorphic forms with multiplier system

Let $\Gamma$ be a discrete subgroup of $SL_{2}(\mathbb{Z})$ and $\vartheta$ a multiplier system of weight $k$ for $\Gamma$, by which we mean a function $\vartheta:\Gamma \rightarrow \mathbb{C}$ ...
6
votes
1answer
170 views

A Siegel modular form related to the product of two eta functions

I am looking for a Siegel modular form of genus $2$ (living on the Siegel modular 3-fold $A_2=\mathrm{Sp}(4,\mathbb{Z})\backslash \mathfrak H_2$) which becomes "roughly" the product of two eta ...
3
votes
0answers
171 views

The ring of modular forms for $\Gamma_0(11)$

Let $\mathcal M(11) = \oplus \mathcal M_k(11)$ be a graded algebra of modular forms for congruence group $\Gamma_0(11)$. I want to find generators and relations between them. I proved that $\dim ...
5
votes
0answers
86 views

Endomorphism algebras of abelian surfaces with real multiplication

Given an abelian variety $A$ over a field $F$, one may consider the ring of endomorphisms $End(A)$, the ring of $F$-rational maps $A \to A$ respecting the group structure on $A$. We may also consider ...
32
votes
1answer
771 views

What can topological modular forms do for number theory?

Topological modular forms ($TMF$) have in the recent years made an impact in algebraic topology. Roughly, the spectrum $tmf$ is the (derived) global sections of the sheaf of $E_\infty$ ring spectra ...
5
votes
0answers
139 views

Rankin-Selberg for Maass form GL(3)xGL(2)

Let $F$ be a Maass cusp form for $\mathrm{SL}(3,\mathbb{Z})$ (level 1 trivial character). Let $g$ be a Maass cusp form for $\Gamma_0(N)$ with character $\chi$ mod $N$. For convenience, you may assume ...
0
votes
0answers
100 views

Four kinds of generalized hypergeometric formulas for $\pi$

Given, $$\begin{array}{|c|c|c|c|} \hline n&a_n&b_n&c_n\\ \hline 1 & 6541681608 & 163096908 & -640320^3\\ \hline 2 & 85840 & 4492 & -14112^2\\ \hline 3 & 28302 ...
1
vote
1answer
132 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
0answers
65 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
2answers
191 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
3answers
358 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
0answers
131 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
1answer
159 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
0answers
147 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
1answer
366 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
1answer
120 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
1answer
77 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
0answers
322 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
1answer
167 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
1answer
229 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
0answers
49 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
0answers
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
0answers
144 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
2answers
384 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
1answer
209 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
0answers
253 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
0answers
146 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
1answer
228 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
1answer
178 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
2answers
198 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
0answers
194 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
0answers
165 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
0answers
263 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
1answer
124 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
1answer
174 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
1answer
332 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
1answer
123 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 ...
4
votes
2answers
182 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
3answers
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
0answers
121 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
2answers
147 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 ...