A modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the group action of the modular group.

learn more… | top users | synonyms

7
votes
0answers
111 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 ...
1
vote
1answer
67 views

Semistable Elliptic Curves

For a general representation $\rho: G_{\mathbb{Q}} \rightarrow \operatorname{GL}(V)$, where $V$ is a two dimensional $\overline{\mathbb{F}}_p$ vector space, the level $N(\rho)$ in Serre's conjecture ...
2
votes
2answers
156 views

Hypergeometric formulas for the j-function

Given the j-function $j(\tau)$ and elliptic lambda function $\lambda(\tau)$. Define, $$g = -1+2\frac{\,_2F_1\big(\tfrac{1}{2},\tfrac{1}{2},1,\,\lambda(2\tau)\big) ...
2
votes
0answers
219 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 ...
1
vote
1answer
69 views

Definition of Automorphic form

I am looking at how one maps the space of cusp forms $S_k(N,\psi)$ into the space of automorphic forms on $GL_2$ over the Adeles. And I have a question about the definition of $K$-finiteness. I am ...
3
votes
0answers
53 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$?
6
votes
1answer
141 views

How should I think about Ihara's Lemma?

I am trying to learn about Ihara's lemma because I see it mentioned in many papers in arithmetic geometry. To be more precise, I would like to know: What is the significance of this result? Why is ...
3
votes
1answer
37 views

Size of automorphism group of element of $Y_0(5)$

The modular curve $Y_0(5)$ parametrizes elliptic curves $E$ with an isogeny of degree five. So an element of $Y_0(5)$ can be interpreted as $E \xrightarrow{\phi} E'$. Suppose we are working over a ...
1
vote
1answer
104 views

The natural boundary of the modular $\lambda$ function is the real axis

I want to solve the following problem from Ahlfors' text: Show that the function $\lambda(\tau)$ introduced in Chap. 7, Sec. 3.4, has the real axis as a natural boundary. Here $\lambda(\tau)$ is ...
27
votes
6answers
529 views

Other interesting consequences of $d=163$?

Question: Any other interesting consequences of $d=163$ having class number $h(-d)=1$ aside from the list below? Let $\tau = \tfrac{1+\sqrt{-163}}{2}$. We have (see notes at end of list), ...
3
votes
2answers
212 views

Introductive Book on Modular Forms

I'm looking for an introductive book on Modular Forms and their applications to Algebraic Geometry and Algebraic Number Theory. Some Ideas? Explaining you my prerequisites, I've a good knowledge of ...
8
votes
3answers
107 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 ...
5
votes
1answer
123 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
148 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
141 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, ...
3
votes
1answer
74 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
46 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 ...
1
vote
0answers
25 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
207 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 ...
4
votes
2answers
131 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
141 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
153 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
220 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
129 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
71 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
188 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
62 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
21 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
442 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
206 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
102 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
114 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
43 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
138 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
72 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
153 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
233 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
137 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
79 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
364 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} ...
5
votes
2answers
137 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 ...
4
votes
1answer
161 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
220 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
228 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
213 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
247 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
76 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
113 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
105 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 ...
4
votes
1answer
116 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 ...