Questions about modular forms and related areas

learn more… | top users | synonyms

6
votes
1answer
197 views

Up to $2000$, $A145722(n-1) \equiv \sigma(4n-3) \pmod{5}$

A145722 is Expansion of f(q) * f(q^5) / phi(-q^2)^2 in powers of q where f(), phi() are Ramanujan theta functions. Using the pari program and offset 0, up to ...
2
votes
1answer
171 views

Weight 12 cusp forms for $\Gamma_0(p)$

Let $S_k$ be the space of weight 12 cusp forms of $\Gamma_0(p)$, ($p$ prime), then Sage tells that $\dim S_k^{\text{new}}=\dim S_k-2$. Thus the old forms spans a 2-dimensional subspace. One of the ...
5
votes
0answers
126 views

Comparison of sheaves of modular forms

Let $\pi:E\to X$ the universal generalized elliptic curve over the compactified modular curve, with zero section $e: X\to E$. Now consider the following two sheaves on $X$: $e^*\Omega^1_{E/X}$ and ...
2
votes
1answer
129 views

p-adic modular forms, Hecke algebra, deformation theory and modular curves.

Let $h^{ord}(N,\mathcal{O})$ be the $p$-ordinary Hecke algebra, and $\mathfrak{m}$ be a maximal ideal of the semi local ring $h^{ord}(N,\mathcal{O})$ corresponding to a residual representation ...
2
votes
0answers
126 views

Control theory for Kitagawa's $\Lambda$-adic modular symbols

Let $p$ be a prime, $\Gamma=1+p\mathbb Z_p$ and $\Lambda=\mathbb Z_p[[\Gamma]]$ the Iwasawa algebra. Let $\kappa\colon\Gamma\rightarrow\mathbb Z_p^\times$ be the inclusion. For a character ...
3
votes
1answer
107 views

How different can characters be for a sum of modular forms to still be in Gamma_0?

I have a modular form I am constructing out of sums and products of various dissected divisor-sum series, namely forms of the type $$f_i = \sum_{j=0}^\infty \sigma_1(36j+i) q^{36j+i}.$$ Each of these ...
11
votes
0answers
140 views

Is special value of Epstein zeta function in 3 variables a period?

Kontsevich-Zagier's article "Periods" contains the following question Is $\displaystyle \sum_{x,y,z \in \mathbb{Z}}' \frac{1}{(x^2+y^2+z^2)^2}$ an extended period? ($\sum'$ means we do not sum ...
4
votes
2answers
265 views

Lifting the Hasse invariant mod $2$

Katz defines in Section 2.0 $p$-adic properties of modular schemes and modular forms the Hasse invariant as a mod $p$ modular form $A$ of weight $p-1$. In other words, it is a section of ...
3
votes
0answers
276 views

Lifting a real quadratic twist of an Elliptic Curve to the modular curve

Let $E$ be an elliptic curve of conductor $N\cdot p^2$ over $\mathbb{Q}$, defined by the equation $$y^2=x^3+p^2b\cdot x + p^3\cdot c$$ and parametrized by a map $$X_{0}(N\cdot {p}^{2})\rightarrow E$$ ...
6
votes
1answer
208 views

Adelic and classical modular forms on quaternion algebras

Let $R$ be an Eichler order of an indefinite quaternion algebra $B/\mathbb{Q}$ (suppose B is not the collection of $2\times 2$ matrices) and $S$ the corresponding Shimura Curve. Modular forms of ...
6
votes
0answers
109 views

Riemann-Roch for curves over Dedekind domains and base-change for modular forms

In p-adic properties of modular schemes and modular forms Katz formulates the following base change theorem as Theorem 1.7.1 Let $n\geq 3$ and $\overline{\mathcal{M}}_n$ be the compactified moduli ...
8
votes
2answers
395 views

What do we know about the structure of $J_{0}(N)$ over $\mathbb{Q}[{\mu}_{{p}^{\infty}},{{k}}^{\frac{{1}}{{p}^{n}}}])$?

What is known about the structure of $J_{0}(N)$ over $\mathbb{Q}[\mu_{p^{\infty}}]$? More generally, what do we know about $J_{0}(N)$ over $\mathbb{Q}[\mu_{p^{\infty}},k^{1/p^{n}}]$, where ...
1
vote
1answer
166 views

Polygonal Mersenne numbers [closed]

I posted the same question on Math SE since this one got put on hold. Link to Math SE question:Polygonal Mersenne numbers Polygonal numbers are of the form $\cfrac {n^2(s-2)-n(s-4)}{2}$, where $s$ ...
5
votes
1answer
149 views

How to determine whether a power of eta function is a eigenform? [closed]

I find that it is complicated to do this from the definition. In fact, I know that $\eta^k(m z)$ is a eigenform for $k=1,2,3,4,6,8,12,24$ and $m=\frac{24}{gcd(k,24)}$. What I want to know is the cases ...
6
votes
1answer
301 views

Analytic continuation for $L$-functions of elliptic curves

Let $E$ be an elliptic curve over a number field. When $E$ has no CM and is a $\mathbb Q$-curve (i.e. it is $\overline{\mathbb Q}$-isogenous to all of its conjugates), it is nowadays known that $E$ ...
5
votes
1answer
141 views

Upper bound on level of a congruence subgroup of the modular group

Let $\Gamma = PSL(2,\mathbb{Z}) = \langle S,T \ | \ S^2=(ST)^3=1 \rangle$. Let $G$ be some mystery normal subgroup of $\Gamma$ that we happen to think may be congruence. Recall that a subgroup of ...
2
votes
1answer
132 views

How do the Dim($K_f / \mathbf{Q}$) vary for all f in a given $S_k(\Gamma(N))$?

For the theory of classical modular forms, the space of new forms $S_k^{new}(\Gamma(N))$ has a basis of Hecke eigenforms $\{ f_i = \sum a_n q^n : a_1=1, a_n \in \bar{\mathbb{Q}}\}$ Given $k$ and $N$ ...
10
votes
1answer
264 views

Jacquet's approach to Rankin--Selberg L-functions

In his book "Automorphic Forms on GL(2), II", Springer Lecture Notes vol. 278, Jacquet defines the Rankin--Selberg L-function of $\pi_1 \times \pi_2$, where $\pi_i$ are automorphic representations of ...
3
votes
0answers
77 views

Tables of eigenvalues for Hilbert newforms of level $\mathfrak{p}$

Bit of a naïve question but are there tables of Hecke eigenvalues for Hilbert newforms over say real quadratic fields (of parallel weight not necessarily equal to 2 and level ...
10
votes
1answer
469 views

How much can an Eisenstein series be truncated?

For ease of exposition, I will stick to the simplest case: consider the Eisenstein series for $SL_2(\bf R)$ $$E(z,s)=\sum_{\gamma\in P_{\bf Z}\backslash SL_2(\bf Z)}\text{Im}(\gamma ...
7
votes
4answers
329 views

$p$-th Fourier coefficients of newforms of level $\Gamma_1(N)$ with $p|N$

Let $f$ be a newform of level $\Gamma_1(N)$ and character $\chi$ which is not induced by a character mod $N/p$. I learned from these notes by Ribet and Stein that $|a_p|=p^{(k-1)/2}$ where $k$ is the ...
10
votes
2answers
485 views

Computing millions of coefficients of non self-dual modular forms

To test some conjectures made by some colleagues, I need to compute millions of coefficients of non self-dual modular forms, preferably in low weight (say 2 or 3). A form such as this. For elliptic ...
8
votes
1answer
475 views

Plot of Ramanujan tau function

There is a picture on wikipedia of Ramanujan tau function. At first I noticed that there are exceptional red point (where the red points are sparse in the lower part), this should be due to Sato-Tate ...
4
votes
1answer
115 views

How are holomorphic and real-analytic Eisenstein series related?

This is certainly not a research level question, but I didn't get an answer to my question on MSE, so here goes: The holomorphic Eisenstein series can be given as $$G_{2k}(z)=\sum_{(c,d)\in{\bf ...
3
votes
1answer
113 views

degree of Hecke field (number field of an eigenform)

Let $f\in S_k(\Gamma_1(N))$ be an eigenform, and $K_f$ be its number field, which is of finite degree over $\mathbb{Q}$. Consider the following statements. 1, $[K_f:\mathbb{Q}]=\#\{$Galois conjugates ...
8
votes
2answers
268 views

Do “most” modular forms have no extra twists?

Let $f$ be a modular form -- more specifically, a normalized new eigenform which is not of CM type. We say $f$ has extra twists if there exists some $\sigma \in \operatorname{Aut}( \mathbf{C})$ such ...
3
votes
1answer
99 views

Does a modular function primitive for $\Gamma$ generate the function field of $\mathcal{H}/\Gamma$?

Let $f$ be a modular function (that is, a meromorphic modular form of weight 0) holomorphic on $\mathcal{H}$ which is invariant under $\Gamma\le SL_2(\mathbb{Z})$ (not necessarily congruence!), and ...
5
votes
1answer
158 views

Congruences between modular forms and the eigencurve construction

This question might be too conceptual. Congruences between modular forms (due to Shimura, Hida, etc) are really amazing. I know that the eigencurve construction are closely related to these ...
11
votes
1answer
360 views

When is the image of a 2-dim l-adic representation associated to a modular form open

I know the following theorems by Serre: 1, The 2-dim l-adic representation associated to a non-CM elliptic curve is open. 2, The 2-dim l-adic representation associated the weight-12 cusp form ...
5
votes
0answers
138 views

Zeros of eigenforms at a given elliptic curve

Let $N$ be an integer and $s \in X_1(N)(\mathbb C) = \Gamma_1(N) \backslash \mathbb H^*$, then one can define $T(s,N)$ to be the number of eigenforms in $S_2(\Gamma_1(N))$ that have a zero at $s$ [1]. ...
8
votes
1answer
325 views

Type of a modular form

Let $f$ be an arbitrary weight 1 newform. We know by Serre-Deligne that there is an odd 2-dimensional irreducible Artin representation $\rho$ such that $L_f(s)=L(\rho,s)$. I was wondering how much ...
8
votes
0answers
315 views

rings of modular functions on the upper half plane

Let $\Gamma_1\le SL_2(\mathbb{Z})$ be a noncongruence subgroup of finite index. Let $\Gamma_2\le SL_2(\mathbb{Z})$ be another subgroup of finite index. Let $M_0(\Gamma_i)$ denote the ring of modular ...
10
votes
3answers
492 views

A characteristic 2 polynomial recursion

Let $c(n)$ in $\mathbb{Z}/2\mathbb{Z}[x]$ be defined by the recursion $$c(n+4)=c(n+3)+(x^4+x^3+x^2+x)c(n)+x^n\cdot(x+x^2),$$ and the initial conditions $$c(0)=0,\quad c(1)=1,\quad c(2)=x,\quad ...
10
votes
1answer
431 views

Converse to Modularity I: weight 2 newforms

Since 2008 we have the following remarkable correspondence: Odd irreducible 2-dim Galois repn $\longleftrightarrow$ weight 1 newforms note: all Galois representations in this question are ment ...
4
votes
1answer
145 views

Smoothness of Hecke algebras

First I will introduce some notation and definitions. Fix a level $N$ (take $N=1$ if it makes things easier) and a prime $p$. Let $k$ be a finite field of characteristic $p$ and let $\mathcal{C}$ be ...
2
votes
1answer
141 views

Which values of symmetric square $L$-functions are critical?

I've recently been learning about the special values of symmetric square $L$-functions of modular forms. If $f$ is a cuspidal modular eigenform (of some weight $k \ge 2$) then its symmetric square ...
4
votes
0answers
66 views

Is there a nice way to invert this expression?

Let us first define the Euler polynomials to be the polynomials $P_n(q)$ that satisfy $$ \frac{qP_n(q)}{(1 - q)^{n+1}} = \Big(q\frac{d}{dq}\Big)^n\frac{q}{1 - q}. $$ For example, $P_0(q) = P_1(q) = ...
8
votes
2answers
313 views

Determining the Lambert series for $xq+x^2q^4+x^3q^9+…+x^nq^{n^2}+…$

I am trying to determine the polynomials $P_n(x)$ from $$ xq+x^2q^4+x^3q^9+...+\ x^nq^{n^2}+...=\sum_{n\geqslant1}\frac{P_n(x)q^n}{1-xq^n}; $$ that is, $$ \sum_{d|n}x^{\frac ...
8
votes
1answer
216 views

Arithmetic Points are Dense on a Hida Family

I am reading the paper "Constancy of the Adjoint L-invariant" by H. Hida (http://www.math.ucla.edu/~hida/ConstP.pdf). Correct me if I'm wrong, but I've read/heard that the arithmetic points $p \in ...
9
votes
0answers
149 views

The operator $\left(q\frac{d}{dq}\right)^s$ and fractional derivatives of modular forms

Recall the notion of a "nearly holomorphic modular form" introduced by Shimura: A function $f : \mathfrak h \to \mathbb C$ is said to be nearly holomorphic of level $\Gamma_1(N)$, weight $k$ and ...
2
votes
0answers
57 views

Questions about holomorphy and zeros of the symmetric power $L$-function

Let $f$ be a primitive form of an even weight $k$ for the full modular group and let $L(Sym^rf,s)$ be the symmetric $r$th $(r\geq 2)$ power $L$-function associated to $f.$ I have three questions ...
1
vote
1answer
111 views

Need an explanation of a deduction

When I was reading the paper of Winfried Kohnen, Yuk-Kam Lau and Igore E. Shparlinski (ON THE NUMBER OF SIGN CHANGES OF HECKE EIGENVALUES OF NEWFORMS), I found this result (which is Theorem 2 of the ...
0
votes
1answer
98 views

Question about sign change of Hecke eigenvalues

I want to write a survey on the subject 'Sign changes for coefficients of symmetric power $L$-functions'. So, I browse the Web and I got some papers. I read it and I gave special interest to the paper ...
10
votes
1answer
469 views

A question on Ramanujan's $1/\pi$ formulas

It is known that Ramanujan discovered a number of formulas for $1/\pi$. All of these formulas are of the form $$\frac{1}{\pi}=\sum_{n=0}^{\infty}\frac{(1/2)_n(s)_n(1-s)_n}{(1)_n^3}(a+bn)z^n,$$where ...
7
votes
1answer
223 views

Numerically double-checking formula with L-values

I'm working with a special case of Ichino's triple product formula, which for classical holomorphic newforms $f$, $g$ ,$h$ of weights $k$, $m-k$, $m$ (and central characters satisfying $\chi_f \chi_g ...
2
votes
0answers
174 views

Morphism of Shimura varieties and differential equations

Is there a way of constructing a morphism between Shimura varieties using differential equations? Maybe, this looks like a completely ridiculous question, so I think that I should explain the context ...
7
votes
1answer
289 views

Definition of p-adic modular forms

I have been reading Hida's book "p-Adic automorphism forms on Shimura varieties" and I don't understand a point. He first describes p-adic modular forms of tame level N as functions on the Igusa ...
1
vote
0answers
90 views

Question about expression of a sum of two Hecke eigenvalues

I did some computations but I am stuck in finding the exression of the sum $$\lambda_f(n^2)+\lambda_f(n)^2 $$ in terms of $\lambda_f(n),$ where $f$ is a modular form for the full modular group. Any ...
0
votes
1answer
103 views

Discussion for the sign of a specific sum

Given a modular form $f$ of an even weight $k$ for the full modular group. Let $\lambda_f(n)$ the $n$-th normalized Fourier coefficient of $f.$ For a fixed positive integers $a$ and $b,$ I want to ...
0
votes
1answer
74 views

Expression of a sum of Hecke eigenvalues in terms of one Hecke eigenvalue

Let $f$ be a modular form of an even weight $k$ over the modular group $SL_2(Z).$ Denote $\lambda_f(n)$ the $n$-th normalized Fourier coefficient of $f.$ I am doing some calculations and I am stack in ...