For questions related to modular forms

learn more… | top users | synonyms

8
votes
3answers
98 views

How to show that $\Delta\left(\frac{az+b}{cz+d}\right)=(cz+d)^{12}\Delta(z)$?

Let $(a, b; c, d) \in SL_2(\mathbb{Z})$ and $\Delta(z)=q\prod_{n=1}^{\infty} (1-q^n)^{24}$, $q=e^{2\pi i z}$. How to show that $\Delta(\frac{az+b}{cz+d})=(cz+d)^{12}\Delta(z)$? Thank you very much. I ...
4
votes
0answers
77 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
1answer
121 views

Where does Klein's j-invariant take the values 0 and 1, and with what multiplicities?

I tried to solve the following problem from Ahlfors' text, please verify my solution: Where does the function $$J(\tau)=\frac{4}{27} \frac{(1-\lambda+\lambda^2)^3}{\lambda^2(1-\lambda)^2} $$ ...
3
votes
1answer
134 views

Monstrous Moonshine for $M_{24}$?

This is connected to my MO post "Monstrous Moonshine for $M_{24}$ and K3?". In page 44 of this paper, eqn(7.16) and (7.19) yield, ...
2
votes
1answer
64 views

Why is the modular $\lambda$ function a quotient of two meromorphic functions in the U.H.P.?

In Ahlfors' complex analysis text, page 278 it says: It is quite clear from (9) that $\lambda(\tau)$ is the quotient of two analytic functions in the upper half plane $\text{Im} \tau > 0$. ...
3
votes
0answers
41 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 ...
0
votes
0answers
74 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 ...
1
vote
0answers
19 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 ...
0
votes
1answer
134 views

Find the cusps for the congruence subgroup $\Gamma_0(p)$

Find the cusps for the congruence subgroup $\Gamma_0(p)$. How does one go about doing this? I know the definition of a cusp - the orbit for the action of $G$, in this case $\Gamma_0(p)$, on $\mathbb ...
0
votes
0answers
23 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}$ ...
4
votes
2answers
118 views

Topology of the completed upper-half plane

Define the topology on $\mathbb{H}^* : = \mathbb{H} ∪ \mathbb{Q} ∪\infty$ by taking a basis of open sets around $\infty$ to be $S_{\epsilon} : = \{ z ∈ H : Im ( z ) > 1 /\epsilon \}∪\infty$ , and ...
2
votes
1answer
106 views

Calculating index of a subgroup

Compute the index $[Γ( 1 ) ′ : Γ_0 ( N ) ′ ]$ where $Γ(1)' := SL(2,\mathbb{Z})$ $Γ_0(N)':= \{ \begin{pmatrix} a & b\\ c & d\\ \end{pmatrix} \in Γ(1)' : c \equiv 0 \mod{N} \} $ I'm ...
0
votes
1answer
125 views

Principal congruence subgroups

Why the index of the principal congruence subgroup of level 2, defined as $$ \Gamma(2)=\left \{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \mathbb{P}SL(2,\mathbb{Z}): \begin{pmatrix} a ...
4
votes
1answer
165 views

Galois representations attached to modular forms of weight one

Why are the Galois representations attached to weight one eigenforms by Serre-Deligne complex representations? In weight $k\geq 2$, the Galois representations constructed by Eichler-Shimura and ...
3
votes
1answer
106 views

Real life applications of Maass wave forms

Explaining my work on Maass wave forms to friends and family (all non-mathematician) typically earns me blank faces. So I wonder whether there is some good example to explain their meaning to laymen. ...
0
votes
2answers
61 views

Can one explain to me this Theorem

Can one explain to me Theorem 2. (page 3) in this link: http://www.math.leidenuniv.nl/~evertse/siksek-modular.pdf I am but confused about the nature the bijection defined in that result.
5
votes
1answer
161 views

How to prove that $\frac{\eta^{14}(q^4)}{\eta^{4}(q^8)}=4\eta^4(q^2)\eta^2(q^4)\eta^4(q^8)+\eta^4(q)\eta^2(q^2)\eta^4(q^4)$?

How can we prove that $$\frac{\eta^{14}(q^4)}{\eta^{4}(q^8)}=4\eta^4(q^2)\eta^2(q^4)\eta^4(q^8)+\eta^4(q)\eta^2(q^2)\eta^4(q^4) \ ?$$ Here, $\eta(q)$ is the Dedekind Eta Function, which is defined by ...
2
votes
1answer
60 views

Why the function $g(q)=f(\log(q)/(2\pi i))$ is well defined?

Let $D'=\{q\in \mathbb{C}: |q|<1\} - \{0\}$. Let $g: D' \to \mathbb{C}$ be defined by $g(q)=f(\log(q)/(2\pi i))$. Here $f: \mathcal{H} \to \mathbb{C}$ is a weakly modular function such that $f(\tau ...
1
vote
1answer
18 views

Degree and ramification index of a natural projection

Let $\Gamma$ a subcongruence group of $\text{SL}_2(\mathbb{Z})$, $\mathbb{H}^* = \mathbb{H} \cup \{\infty\} \cup \mathbb{Q}$ and $\overline\Gamma = \Gamma / (\Gamma\cap\{\pm 1\})$. Given the natural ...
8
votes
4answers
362 views

What are applications of number theory in physics?

I was reading Goro Shimura's The Map of My Life. He wrote the following quote in the book. It made me come up with the title question. In particular, is there any application of the theory of modular ...
5
votes
3answers
169 views

Purpose of cusps

In the theory of of modular forms, there is the set of of cusps defined by $\mathbb{P}^1 (\mathbb{Q})= \mathbb{Q} \cup \{\infty\}$. For an subgroup $\Gamma < \text{SL}_2(\mathbb{Z})$ of finite ...
3
votes
1answer
91 views

$q$-expansion of Modular forms

I am trying to compute the $q$-expansion of $g\theta_2$ and $g\theta_4$, the $q$-expansion of modular forms of weight $3/2$ and level $128$ and trivial character and character $\chi_8$ respectively. ...
4
votes
0answers
103 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 ...
0
votes
1answer
38 views

A quick fact check about filtrations of modular forms and $E_{p+1}$

Suppose $f$ is a mod $p$ modular form of level $N$ with $p>3$ and $p$ not dividing $N$. Is it true that $w(f E_{p+1})=w(f)+p+1$, where $w(f)$ is the filtration of $f$? (The filtration of $f$ is the ...
3
votes
1answer
116 views

modular form -Petersson inner product

my question is about Petersson inner product. i need to prove that $(E_k,f) =0 $ $\forall f \in S_k(SL_2(\mathbb{Z}))$ the only thing that i think that should help me is that the space of cusp form ...
4
votes
2answers
69 views

Other names for $E_{p+1}$ $\pmod{p}$?

If I want to know properties of $E_{p+1}$ modulo $p$, do you know a name for this modular form, so that it is easier to search via the internet? So far, what I know is that $E_{p-1}$ is the Hasse ...
12
votes
1answer
148 views

Galois Properties of the Values of Modular Forms

Let $f \in S_0(N)$ be a normalized Hecke eigenform. It is well known that its coefficients are algebraic integers, and $f^\sigma$ lies in $S_0(N)$ for $\sigma \in G_{\mathbb{Q}}$. At CM points $z \in ...
5
votes
3answers
209 views

Inverting the modular $J$ function

Klein's modular function $J(z)$ is defined and studied in e.g. Apostol's book Modular functions and Dirichlet series in number theory. Certain specific evaluations are available, for example, ...
6
votes
1answer
120 views

Recognizing if a power series is a $q$-expansion of a modular form

Given a power series in $q$, is it possible to tell if it is the $q$-expansion of a modular form (of level $N$ say)? I don't need to show results of this sort, but it has come up enough that I'm ...
4
votes
1answer
69 views

Expressing Eisenstein series E_k in terms of E_4 and E_6

Given an Eisenstein series $E_k$ (of level 1), it is a polynomial $P_k(E_4,E_6)$ in $E_4$ and $E_6$, and http://en.wikipedia.org/wiki/Eisenstein_series#Recurrence_relation should give a finite ...
3
votes
2answers
266 views

Number of cusps of an modular curve $X_0(N)$

Let $X_0(N) = \Gamma_0(N) / (\mathbb{H} \cup \mathbb{P}^1(\mathbb{Q}))$. A lecture note (p. 2) lists the following (very easy!) formula for the corresponding cusps: $$\nu_\infty = \sum_{d\mid N} ...
3
votes
2answers
121 views

How important are automorphic representations among admissible ones?

I'm currently studying automorphic representations on Bump's book "Automorphic forms and representations" and on Gelbart's "Automorphic forms on Adele groups". And I have some problems in ...
6
votes
0answers
263 views

Can $ 262537412640768743.99999999999925 $ be beaten with simple expressions? [closed]

We know: $$\begin{align}e^{\pi \sqrt{163}} &= 262537412640768743.9999999999992500726\dots\\ x^{24} - 24&=262537412640768743.9999999999992511239\dots\end{align}$$ where $x$ is the real solution ...
4
votes
1answer
150 views

Elementary tools for proving congruences of modular forms

My impression is that the specialists in the field use geometric modular forms when proving congruences of modular forms. While this is probably the right way, I don't think I will be able to get a ...
13
votes
1answer
206 views

Modular interpretation of modular curves

Let $\Gamma$ be a congruence subgroup of level $N$. What is the modular interpretation of $\Gamma\backslash \mathcal{H}^*$, by that I mean what are the elliptic curves + additional structure it ...
2
votes
2answers
213 views

Problems using Euler-Maclaurin for $\sum e^{-2 \pi z a^2}$

I'm trying to evaluate $\sum_{a=-\infty}^{\infty} e^{-2 \pi z a^2}$ using Euler-Maclaurin, but I get $\frac{1}{\sqrt{2z}}$. The only alternative I have is to calculate the remainder term directly for ...
4
votes
2answers
161 views

Order of special linear group $SL_2 (F)$ [duplicate]

In ex. 1.2.3 on p.21 of Diamond's A first course in modular forms, I was trying to show that $$|SL_2(\mathbb{Z}/N \mathbb{Z})|=N^3 \prod_{p|N}(1-1/p^2).$$ First of all, I knew that If $F$ is a field ...
6
votes
2answers
213 views

Definition of Modular Forms over finite Fields

I'm still severely lacking in background at the moment, but I'm interested in doing something with congruence properties of modular forms (relations between coefficients of the q-expansions that hold ...
1
vote
2answers
74 views

Routine question about derivatives of automorphic forms being L^2

I consider Automorphic forms on $G = SL_2 (\mathbb{R})$, which are $\Gamma$-invariant, $K$-finite, $Z(g)$ finite, and of moderate growth. If I have such an automorphic form, which happens to be in ...
3
votes
1answer
101 views

writing $M : \Gamma_{n,0} \backslash \Gamma_n$

Let $\Gamma_n = \operatorname{Sp}_n(\Bbb Z)$ and $\Gamma_{n,0} \subset \Gamma_n$ be a subgroup. We write $$ M = \begin{pmatrix}A & B\\ C & D \end{pmatrix} \in \operatorname{Sp}_n(\mathbb{Z})$$ ...
5
votes
1answer
99 views

Proving convergence of a Hilbert modular theta function $\vartheta(z):= \sum\limits_{x \in \mathcal{O}_F} e^{\pi i \operatorname{Tr}(x^2 z)}$

I'm trying to understand a somewhat sketchy proof that I found online of the convergence of the analog of Jacobi's theta function $\displaystyle{\theta(\tau) := \sum_{n = -\infty}^{\infty} e^{2 \pi i ...
3
votes
1answer
100 views

What are modular forms used for?

I have seen the definition of a modular form, but it seems obscure to me. I get the impression that if I were to read a lot about them, eventually I would see how they can be used. I am curious about ...
71
votes
4answers
2k views

Proof of $\frac{1}{e^{\pi}+1}+\frac{3}{e^{3\pi}+1}+\frac{5}{e^{5\pi}+1}+\ldots=\frac{1}{24}$

I would like to prove that $\displaystyle\sum_{\substack{n=1\\n\text{ odd}}}^{\infty}\frac{n}{e^{n\pi}+1}=\frac1{24}$. I found a solution by myself 10 hours after I posted it, here it is: ...
1
vote
1answer
90 views

Modularity theorem and some results

Let $C$ be an elliptic curve over rationals. Then we can attach to $C$ an L-series $L(C,s)$. I read about the Modularity theorem http://en.wikipedia.org/wiki/Modularity_theorem In the section ...
6
votes
1answer
134 views

p-adic modular form example

In Serre's paper on $p$-adic modular forms, he gives the example (in the case of $p = 2,3,5$) of $\frac{1}{Q}$ and $\frac{1}{j}$ as $p$-adic modular forms, where $Q = E_4 = 1 + 540\sum ...
1
vote
2answers
72 views

High-order elements of $SL_2(\mathbb{Z})$ have no real eigenvalues

Let $\gamma=\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL_2(\mathbb{Z})$, $k$ the order of $\gamma$, i.e. $\gamma^k=1$ and $k=\min\{ l : \gamma^l = 1 \}$. I have to show that $\gamma$ ...
1
vote
1answer
89 views

Coefficients of powers of the theta function

Let $q=\exp(2 \pi i z)$ and $$\theta(z)=\sum_{n=-\infty}^\infty q^{n^2}.$$ Now, I shall show that the powers of $\theta$ are given by $$\theta(z)^r = \sum_{n=0}^\infty S_r(n) q^n$$ where $S_r(n)$ ...
3
votes
0answers
84 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 ...
1
vote
0answers
59 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 ...