For questions related to modular forms

learn more… | top users | synonyms

6
votes
0answers
104 views

Proving that $\sigma_7(n) = \sigma_3(n) + 120 \sum_{m=1}^{n-1} \sigma_3(m)\sigma_3(n-m)$ without using modular forms?

This problem appears as a (starred!) exercise in D. Zagier's notes on modular forms. I have to admit that I have no idea how to do it. Here, $\sigma_k(n) =\sum_{d\mid n} d^k$, as usual. This ...
6
votes
0answers
161 views

When does a modular form satisfy a differential equation with rational coefficients?

Given a modular form $f$ of weight $k$ for a congruence subgroup $\Gamma$, and a modular function $t$ for $\Gamma$ with $t(i\infty)=0$, we can form a function $F$ such that $F(t(z))=f(z)$ (at least ...
5
votes
0answers
83 views

Approximation of $e^{\pi\sqrt{n}}$ using Ramanujan's Class Invariants

From Wikipedia article we get $\displaystyle \begin{aligned}e^{\pi\sqrt{43}} &\approx 884736743.999777466 \\ e^{\pi\sqrt{67}} &\approx 147197952743.999998662454\\ ...
4
votes
0answers
38 views

Do modular forms of higher weight occur in the proof of FLT?

Fermat's last theorem is a consequence of a statement about weight two modular forms. Going through the long proof, does one ever encounter modular forms of higher weight?
4
votes
0answers
106 views

Modular Functions with Rational Fourier Expansions

I have been reading the paper of Cox, McKay and Stevenhagen "Principal Moduli and Class Fields", http://arxiv.org/pdf/math/0311202v1.pdf, and I have a question regarding the nature of the function ...
4
votes
0answers
91 views

Connection between modular forms and line bundles

I need a good reference about the connection between modular forms and line bundles. I found only Milne's note that treats briefly this argument. I've already checked, but without finding anything, ...
3
votes
0answers
34 views

Relations between the Eisenstein series and the hypergeometric series

It is known that $$E_4(\tau) = {}_{2}F_{1}\left(\frac{1}{12}, \frac{5}{12}; 1; \frac{1}{J(\tau)}\right)^4$$ and $$E_6(\tau) = {}_{2}F_{1}\left(\frac{1}{12}, \frac{7}{12}; 1; \frac{1}{1 - ...
3
votes
0answers
32 views

Arithmetic properties of the partition function

Ramanujan mentioned in his paper in 1920 that "it appears that there are no equally simple properties for any moduli involving primes other than these three" $p(5n+4)\equiv0 \mod 5$ $p(7n+5)\equiv0 ...
3
votes
0answers
26 views

Modular forms on the theta group

The theta group $\Gamma$ is the subgroup of $SL(2;\mathbb{Z})$ generated by $T=\begin{pmatrix} 1 & 2 \\ 0 & 1 \end{pmatrix}$ and $S=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}.$ It ...
3
votes
0answers
52 views

Are the Fourier coefficients of a new form real?

Let $f\in S^\text{new}_k(Γ_0(N))$ be a $\text{newform}$ . Are all its Fourier coefficients real? Of course the Hecke operators $T_n$ are selfadjoint for $(n,N)=1$, but is it also true for all $n$?
3
votes
0answers
44 views

Automorphisms of elliptic curves with a point of order N

Probably a stupid question, but I'm trying to figure out the following: Suppose we have an element of $X_1(N)$, i.e. an elliptic curve $E$ with a point $p$ of order $N$. If we have another such curve ...
3
votes
0answers
88 views

Good source of problems for Knapp's Elliptic Curves?

I'm studying elliptic curves (and eventually modular forms) out of Knapp's book because of the softer algebraic geometry prereqs. It's incredibly accessible but the problem is that I don't know I can ...
3
votes
0answers
87 views

Number of $SL_2(\mathbb{Z})$-translates lying within a fixed ray in $\mathfrak{h}$

This is probably an easy question, but I can't seem get the right idea so here goes: Let $\tau \in \mathfrak{h}$ (where $\mathfrak{h}$ denotes the upper halfplane) be given. For any two positive real ...
3
votes
0answers
105 views

What is a cusp parameter?

I was reading this paper, and on the first page they define a cusp form as $$ f(z) = \sum_{n > -\alpha} a(n) e^{2\pi i (n + \alpha)z}. $$ Is this equivalent to the usual definition of a cusp form ...
3
votes
0answers
89 views

A specific point on the modular curve X(2)

Let $\lambda$ be the lambda modular function on the complex upper half plane. It induces an analytic isomorphism $\lambda:X(2) \longrightarrow \mathbf{P}^1$ and sends $X(2) - Y(2)$ to $\{0,1,\infty\}$ ...
3
votes
0answers
179 views

Hauptmoduls for modular curves

If I have a modular curve, how does one in general find a Hauptmodul for this curve?
2
votes
0answers
67 views

Modular forms on $\Gamma_0(N)$ with character in Sage

I'm trying to work with modular forms on $\Gamma_0(N)$ with character in Sage. In particular, I've been using the following: ...
2
votes
0answers
38 views

A problem in the Hecke's trick method

In his 'Introduction to modular forms', Don Zagier deals with the Hecke's trick which I don't really understand : Let $$G_2(\tau)=-\frac{1}{24}+\sum_{n=1}^{+\infty}{\sigma_1(n)q^n}$$ and ...
2
votes
0answers
30 views

Constructing modular forms for subgroups

If $\Gamma \le SL(2;\mathbb{Z})$ is a subgroup for which we know generators, is there a principle for constructing modular forms for $\Gamma$ out of those for $SL(2;\mathbb{Z})$? An example of what I ...
2
votes
0answers
37 views

Modular Forms Over Quadratic Number Fields

I'm trying to do a bit of reading and looking into mislay forms of weight one over quadratic number fields, but am finding it difficult to locate any books or papers. I've got a little material from ...
2
votes
0answers
29 views

eisenstein part of theta function

If $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 $\textbf{theta series}$ ...
2
votes
0answers
13 views

Is it true that $\theta_{1,1}^{4N} \in J_{2N,2N}(2N)$?

I need examples of Jacobi forms for full congruence subgroups $\Gamma(N) $ of $SL(2,Z)$. As a particular case, take the theta function $\theta_{1,1}(t,z) := \sum_{n\in\mathbb{Z}} exp(\pi it(n + ...
2
votes
0answers
131 views

Learning roadmap for p-adic modular forms and eigenvarieties.

What are some good sources for breaking into the field of p-adic modular forms? It was suggested to me to read Katz' paper "P-adic Properties of Modular Schemes and Modular Forms". I have found this ...
2
votes
0answers
42 views

$f,f',…,f^{(j)}$ is $\mathbb C$-linearly independent if $f$ is a modular form

Conjecture: Let be $f$ a modular form of weight $k$ and $j$ a strictly positive integer, then the set $f,f',...,f^{(j)}$ is $\mathbb C$-linearly independent in $A$. Is that conjecture true or false? ...
2
votes
0answers
28 views

Problem about the order of a automorphic function on an elliptic curve.

Let $f:X(\Gamma)\rightarrow\mathbb{C}$ be an automorphic function of weight 0, saying that $f$ is $\Gamma$-invariant. Now at each noncusp point $\tau\in\mathbb{C}$, $f$ has an order $\nu_\tau(f)$, ...
2
votes
0answers
53 views

How to prove that $G_3>0$ in this case?

Let $\Lambda=\{a+be^{2\pi i/3}|a,b\in Z\}$, then $G_{3}(\Lambda)=\sum_{\omega\in\Lambda-\{0\}}\frac{1}{\omega^{6}}$ should be real and nonzero, but how can one prove that it's positive? Moreover, in ...
2
votes
0answers
110 views

Evaluating the Hauptmodul of $X_{1}(5)$

The function field of $X_{1}(5)$ is generated by the function $$t(\tau) = q\prod_{n = 1}^{\infty}(1 - q^{n})^{5\left(\frac{n}{5}\right)}$$ where $q = e^{2\pi i\tau}$ and $\left(\frac{n}{5}\right)$ is ...
2
votes
0answers
53 views

What are the branch points of $X(n)\to X(1)$

Let $\Gamma \subset \mathrm{SL}_2(\mathbf{Z})$ be a finite index subgroup. Let $X_\Gamma \to X(1)$ be the corresponding morphism of compact connected Riemann surfaces (obtained by adding the cusps). ...
2
votes
0answers
147 views

A Dedekind eta function sum of form $y_0^k+y_1^k+y_2^k+y_3^k+… = 0$

Given the Dedekind eta function $\eta(\tau)$. Define, $y_p = e^{\pi i p/6}\,\eta(\tfrac{\tau+2p}{5})$ Prove the multi-grade identity [1], $y_0^k + y_1^k + y_2^k + y_3^k + y_4^k + ...
1
vote
0answers
38 views

Quick explanation of $\Gamma \tau$ notation?

I hope you can help me by quickly explaining the following notation: $\Gamma \tau$. This notation is encountered in A First Course in Modular Forms by Fred Diamond and Jerry Shurman (love the book by ...
1
vote
0answers
16 views

definition of half-integral weight modular forms

i start reading about modular forms of half-integral weight $k/2$ for $\Gamma' \subset \Gamma_0(4)$. As far as i understand these are holomorphic functions $f\colon \mathbb{H} \rightarrow \mathbb{C}$ ...
1
vote
0answers
13 views

Jacobi Form and its Fourier expansion

Let k,m be non negative integers. A Jacobi form of weight k and index m is a holomorphic function f on $\mathbb{H} x \mathbb{C}$ (where $\mathbb{H}$ denotes the upper half plane) satisfying the ...
1
vote
0answers
44 views

$(\sigma_0^{-1} SL(2,\mathbb{Z}) \sigma) \cap SL(2, \mathbb{Z})$ is a right coset of $\Gamma_0(m)$ in $SL(2, \mathbb{Z})$

Let $\Gamma_0(m)$ be the subgroup of $SL(2,\mathbb{Z})$ which is defined as follows: $$\Gamma_0(m)=\left\{ \left( \begin{array}{cc} a & b \\ c & d \end{array} \right) \in SL(2, \mathbb{Z} : c ...
1
vote
0answers
134 views

The conjecture $A159634(n) = \psi(2n)/3$ where $\psi$ is the Dedekind psi function.

Steven Finch is the author of the OEIS-sequence A159634 which is defined as "Coefficient for dimensions of spaces of modular & cusp forms of weight $k/2$, level $4n$ >and trivial character, ...
1
vote
0answers
21 views

Determining cosets of representatives

Is there an algorithm to determine the cosets of representatives of a congruence subgroup of a modular form? I know what cosets of representatives and when given a set, I know how to check that they ...
1
vote
0answers
60 views

Show that $\sum_{d\in\mathbb{Z}}\sum_{c\ne0}\frac{1}{(c\tau+d)(c\tau+d+1)}=-{2\pi i\over \tau}$?

It is an exercise about Eisenstein Series $G_2(\tau)$, to prove that $$(G_2[\gamma]_2)(\tau)=G_2(\tau)-{2\pi i\over\tau}$$ where $\gamma=\begin{pmatrix} 0&1\\ -1 &0 \end{pmatrix}$ I just ...
1
vote
0answers
121 views

how to prove that a Galois representation is exceptional?

A theorem of Deligne asserts that to cusp forms with Euler product, there is for each prime $\ell$ a Galois representation of $G(K_{\ell}/\mathbb{Q})$, where $K_{\ell}$ is the maximal abelian ...
1
vote
0answers
81 views

Applications and motivation of η-quotient generators and algorithms

I previously asked this question on mathoverflow but got no satisfactory answers so I'm posting it here as well: So initially Dummit, Kisilevsky and McKay found all Dedekind $\eta$-products which are ...
0
votes
0answers
7 views

Finding cusp classes of $\Gamma_{o}(p^2)$

$\Gamma_{o}(p^2)$ acts on $\mathbb{P}_1(\mathbb{Q})=\mathbb{Q} \cup \lbrace i \infty \rbrace$. I need to find the orbits of this action. Any hint would be helpful. My guess is that there are 3 ...
0
votes
0answers
8 views

Fundamental domain, local coordinates in $X_0(3)$

I am looking at the following problem (which has several subproblems! I have omitted some): Let $X_0(3) := \mathcal{H}^{\star}/\Gamma_0(3)$. Define explicit maps giving the local coordinate around ...
0
votes
0answers
18 views

Natural surjection from complex upper half plane into modular curve

I am considering the natural surjection $\pi : \mathcal{H} \to Y(\Gamma)$ where $\mathcal{H}$ is the complex upper half plane and $Y(\Gamma)$ the modular curve of the congruence subgroup $\Gamma$. ...
0
votes
0answers
45 views

Twisting modular forms by Dirichlet characters

Let $\chi,\chi_1$ be Dirichlet characters modulo $M$ and $N$. In Koblitz's book "Introduction to Elliptic Curves and Modular Forms", Proposition III.3.17, it is proved that if ...
0
votes
0answers
13 views

Is there an effective bound known for the coefficients of half integer weight cusp forms?

If $f(z)=\sum a_n q^n$ is a cusp form (of integer weight) normalized so that $a_1=1$, we have the inequality $$\vert a_n \vert \leq d(n) n^{(k-1)/2},$$ known as the Deligne bound (in which $d(n)$ ...
0
votes
0answers
12 views

On discrete subgroups of modular group and quadratic forms

I'm trying to work my way through a couple of papers on product formulae associated with certain modular forms. In "Borcherds Products Associated with Certain Thompson Series" by Chang Heon Kim, the ...
0
votes
0answers
28 views

$\dim \mathcal{S}_k(\Gamma_0(N))$

I'm looking for a formula which gives the dimension of $\mathcal{S}_k(\Gamma_0(N))$ the space of cusp forms of weight $k$ and level $N$. I found the following statement for $k\geq 4$ $$\dim ...
0
votes
0answers
34 views

Koblitz - Are chapters III & IV independent of I & II

I am interested in learning about Modular forms and have heard many great things about Neal Koblitz's Introduction to Elliptic Curves and Modular Forms. However, Koblitz doesn't discuss modular forms ...
0
votes
0answers
33 views

What does $\Gamma_\infty$ denote in modular forms

I am catching up on some notes for an online modular forms course. The slides have just suddenly started using the notation $\Gamma_\infty$, without even defining $\Gamma_k$ (except for $k=1$), never ...
0
votes
0answers
85 views

Congruence subgroups , widths of cusps and q-expansions

If $\Gamma$ is a congruence subgroup and $c$ is a cusp of $\Gamma$ then by definition to say that a weakly modular form $f \in M_k(\Gamma)$ is holomorphic at $c$ is that I can write $f[\gamma]_k$(z) ...
0
votes
0answers
9 views

No translations in $RS^{-1}$

Let $G$ be a subgroup of $\Gamma(1)$ of finite index and $G_0$ be the subgroup of translations in $G$. Let $R$ be a coset of representatives for $G_0$ in $G$. Assume that $p \in \mathbb{Q}$ is not ...
0
votes
0answers
25 views

The filtration of mod l modular form

I'm reading a paper of Swinnerton-Dyer, "On $l$-adic representations for coefficients of modular forms." He defines the notion of "filtration" for mod $l$ modular forms: If $\tilde{f} \in \tilde{M}$ ...