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

2
votes
1answer
76 views

Can Eisenstein Series output complex numbers?

The 2nd Eisenstein Series, defined by, $$E_{2}(\tau)=1-24\sum_{n=0}^{\infty} \frac{nq^{2n}}{1-q^{2n}},$$ where $q=e^{i\pi \tau}$ is the nome acts on upper-half plane. Must it always output real ...
0
votes
1answer
30 views

Explicit descriptions of the modular curves $Y(5)$ and $Y_1(5)$

The modular curves $Y(5)$ and $Y_1(5)$ associated to the congruence subgroups $\Gamma(5)$ and $\Gamma_1(5)$ are of genus 0. As such, they are nothing but the Riemann sphere $\mathbb P^1$ minus a ...
1
vote
0answers
24 views

Why are rational numbers required in cusps of congruence subgroups?

While we consider the action of congruence subgroups on $\mathbb{H}$ (the upper half plane), we compactify using an additional point at infinity, that is fine. But why do we add even all rational ...
1
vote
0answers
26 views

Why only congruence subgroups for modular forms?

When we define modular forms, why do we restrict ourselves to congrumence subgroups? Why not any subgroup of finite index? Or, even more generally why not any subgroup? Is it just a matter of ...
3
votes
3answers
160 views

Ramanujan's tau function identity

While studying Ramanujan's tau function, I observed that the function satisfies a beautiful identity that I had not seen previously in the literature. Let $\tau(n)$ be Ramanujan's tau function, such ...
2
votes
0answers
86 views

The ratio of jacobi theta functions

Let $q=e^{2\pi i\tau}$. If $\theta_2$ and $\theta_3$ are jacobi theta functions , is it true that the ratio of the two functions can be expressed as a continued fraction of the form $$ ...
1
vote
0answers
46 views

a q-continued fraction related to the octahedral group

Let $q=e^{2\pi i\tau}$. If $u(\tau)$ is Ramanujan's octic continued fraction, $$u(\tau)=\cfrac{\sqrt{2}\,q^{1/8}}{1+\cfrac{q}{1+q+\cfrac{q^2}{1+q^2+\cfrac{q^3}{1+q^3+\ddots}}}}$$ is it true that ...
1
vote
0answers
21 views

Holomorphicity and modularity of Jacobi forms

I am reading this paper Suerconformal algebras and mock theta functions by T. Eguchi and K. Hikami. In section 3.2, the authors define a function $$J(z;w;\tau) = ...
1
vote
0answers
27 views

Fourier coefficients of eigenforms

How does one prove that the fourier coefficients of a normalized eigenform for Hecke operators $T_p$ on $S_k(N)$ all lie in a fixed number field? If the proof is lengthy, a reference to a book that ...
2
votes
2answers
34 views

What is the idea behind the new/old form theory of modular forms

I am interested in the theory of modular forms, since they have nice transformation laws and a connection to arithmetic using the Euler product which one can form using the theory of Hecke operators. ...
2
votes
0answers
37 views

Representations of $\mathbb{H}^{\times}$ and $\mathbb{H}^{\times}/\mathbb{R}^{\times}$.

In an attempt to recapture Eichler's theta correspondence I have hit a stumbling block. Let $D$ be a quaternion algebra over $\mathbb{Q}$, ramified at $p,\infty$. Also let $V_j = ...
3
votes
1answer
122 views

A new $q$-continued fraction of order $12$

I think I may have discovered a $q$-continued fraction of order $12$ with a form different from that established by Mahadeva Naika. Let $q=e^{2i \pi \tau}=\exp(2i \pi \tau)$, then, $$\begin{aligned} ...
3
votes
1answer
84 views

What does holomorphic at the cusp infinity means

In the usual theory of classical modular forms, the modular forms defined to be "holomorphic at the cusp infinity". I do not know what this should mean? can anyone explain it for me? Thanks
0
votes
0answers
33 views

Finding references about modular forms and symmetric power $L$-functions

I want to write an introduction to my thesis which is about modular forms and symmetric power $L$-functions. Could you give me good references to these two topics as simple as possible to get an ...
9
votes
3answers
170 views

Counting points on the Klein quartic

In Moreno's book "Algebraic Curves over Finite Fields", he mentions the following in passing with no further comments ($K$ denotes the Klein quartic defined by $X^3 Y + Y^3 Z + Z^3 X = 0$): The ...
4
votes
1answer
107 views

On the definition of modular forms

In many books, I see people defining modular forms to be holomorphic/meromorphic functions in the upper half plane such that it is invariant under the $|_k$ action of the group ...
5
votes
1answer
29 views

Quotient of the upper-half plane as a projective line

In the discussion of the Belyi theorem here one pointed out that $\mathbb{H}^{*}/SL(2, \mathbb{Z})$ is isomorphic to the (complex) projective line $\mathbb{P}^1$, where $\mathbb{H}^{*}=\mathbb{H} \cup ...
3
votes
0answers
37 views

Extend a map to a 1-cocycle

Let $\Gamma=PSL(2,\mathbb{Z})$ be the modular group with the usual presentation $\Gamma=\langle S,U,T|\ S^2=U^3=1, T=US\rangle$ where ...
4
votes
2answers
132 views

Modular curves over finite fields

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 ...
12
votes
2answers
140 views

What is the exact value of $\eta(6i)$?

Let $\eta(\tau)$ be the Dedekind eta function. In his Lost Notebook, Ramanujan played around with a related function and came up with some of the nice evaluations, $$\begin{aligned} \eta(i) &= ...
0
votes
0answers
18 views

Multiplicative property for the coefficients of cusp form

This question might seen as a duplicate of this, however my aim is to understand the theory which lies beneath the computations of Sage. Let $\Gamma_0(4)$ be a congruence subgroup of ...
1
vote
1answer
21 views

$\Gamma_0(4)$ has no torsion except $-1$

Let $\Gamma_0(4)$ be a congruence subgroup of $SL(2,\mathbb{Z})$ defined as $$\Gamma_0(4)=\{M=\begin{pmatrix} a &b\\ c& d \end{pmatrix}\in SL(2,\mathbb{Z})\mid c=0\bmod 4\}.$$ How to prove ...
2
votes
1answer
45 views

Coefficient in the Fourier expansion of the cusp form

Ideal of cusp for $\Gamma_{0}(4)$ is principal and generated by $f(z)=η(2z)^{12}=q+\sum a(n)q^n $, this is discussed here. How one can compute the coefficient $a(n)$ when $n$ is rather large ? for ...
1
vote
1answer
35 views

$\Gamma(2)$ and $\Gamma_0(4)$ are conjugate

Show that the groups $\Gamma(2)$ and $\Gamma_0(4)$ are conjugate to each other in $SL(2,\mathbb{R})$, where $\Gamma(2)$ and $\Gamma_0(4)$ is congruence subgroups of the modular group Is it the ...
1
vote
0answers
39 views

Elliptic curve over field $\mathbb{C}(\lambda)$

I have the following problems on my modular forms course final exam: Over field $\mathbb{C}(\lambda)$ equation $y^2 =x(x−1)(x−\lambda)$ defines an elliptic curve $E_{\lambda}$ with a base in ...
2
votes
0answers
50 views

Find motivation for calculating $\int_{2}^{X} A^2(t) A(\alpha t)dt$

I read a thesis of Kong Kar Lun (student of Tsang K.M) about the some mean value theorems for certain errors terms in analytic number theory and in which he gave the asymptotic formulas of the ...
1
vote
0answers
37 views

What is the order of a cusp form at a cusp?

This question is about the definition of order of a section of a bundle at a point, and the related notion of associated divisor. Let us look at a specific example, the discriminant $\Delta(z)$ on ...
1
vote
0answers
23 views

Why has $\Phi(X,Y)$ integral coefficients?

Let $j$ be Klein's $j$-invariant and let $M$ be a the set of integral $2\times 2$ matrices with determinant $n$, $A$ and $-A$ identified. Why has the polynomial $\Phi(X,Y)\in\mathbb C[X,Y]$ with ...
1
vote
0answers
15 views

Modular form $f(z)$ vs $f(Nz)$

Is it a fact that if $f(z)$ is a modular form of weight $k$ for $\mathrm{SL}_2(\mathbb{Z})$ then $f(Nz)$ is a modular form of weight $k$ for $\Gamma_0(N)$? I tried considering this by simply making ...
1
vote
0answers
14 views

Show the Dedekind $\eta(\tau)$ function is a modular form of weight $\frac{1}{2}$ for $\Gamma_0(6)$

Given that $\Gamma_0(6)$ is generated by matrices in the set $$G = \left\{\left(\begin{array}{cc} 1 & 1\\ 0 & 1 \end{array}\right), \left(\begin{array}{cc} 7 & -3\\ 12 & -5 ...
4
votes
1answer
55 views

Action of full modular group on higher level modular functions

Let $\Gamma$ be a finite index subgroup of $\Gamma(1)=SL_2(\mathbf{Z})$ and $f$ a modular function for $\Gamma$. By this I mean a meromorphic function defined on the upper half-plane $f: \mathfrak{h} ...
7
votes
1answer
175 views

Ideal of cusp forms for $\Gamma_0(4)$ is principal

Let $\Gamma_0(4)$ be a congruence subgroup of $SL(2,\mathbb{Z})$ defined as $$\Gamma_0(4)=\{M=\begin{pmatrix} a &b\\ c& d \end{pmatrix}\in SL(2,\mathbb{Z})\mid c=0\bmod 4\}.$$ Dedekind ...
1
vote
1answer
34 views

Question about $q$-expansion principle for modular forms

I am reading Zagier's lectures "The 1-2-3 of Modular Forms". Before formulate the question let me introduce some notations. Let $z$ be the coordinate on the upper-half plane $\mathbb{H}$ and ...
2
votes
1answer
29 views

Formula for $q$-expansion of weight 2 modular forms

Is there a general formula for finding the $q$-expansion of weight 2 modular forms?
2
votes
1answer
26 views

The character of a newform

In "Modular Forms and Fermat's Last Theorem" Chp.1, p.7 Glenn Stevens talks about the character of a weight 2 newform $\epsilon$ in relation to the characteristic polynomial of a Frobenius element. ...
1
vote
1answer
29 views

Example of holomorphic modular form of weight 2?

I read that for holomorphic modular forms of weight 2, $f(q ) = \sum a_n q^n $ Hecke proved $|a_n| < Cn$. Are there any holomorphic modular forms of weight 2? There certainly aren't any for the ...
4
votes
1answer
35 views

Definition of a “modular Galois representation”

I am trying to pin down a definition for a $n$-dimensional modular Galois representation $$\rho : \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \rightarrow \text{GL}_n(A).$$ I am just looking for ...
1
vote
0answers
46 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 ...
3
votes
1answer
67 views

Modular Forms: Find a set of representatives for the cusps of $\Gamma_0(4)$

We write $SL_2(\mathbb{Z})$ as $\coprod\alpha_i\Gamma_0(4)$, where $\coprod$ means the disjoint union, and the $\alpha_i$ are the coset representatives of $SL_2(\mathbb{Z})\diagup\Gamma_0(4)$. We ...
5
votes
0answers
85 views

Regarding the connected component of $|1/J| < 1$ containing $\infty$

How does one explicitly describe the connected component of $|1/J| < 1$ containing $\infty$? Here, $J = J(\tau) = j(\tau)/12^3$ is the normalized $j$-invariant so that $J(i) = 1$, and $\tau$ is in ...
0
votes
1answer
47 views

field of rational functions of a curve

Let $C$ be the algebraic curve defined by the modular polynomial $\phi_N$ of order $N>1$ over the rational numbers, i.e. \begin{equation}C:=\text{specm}(\mathbb{Q}[X,Y]/\phi_N(X,Y)). \end{equation} ...
1
vote
2answers
72 views

A special modular function: $ j $-invariant.

It is known that j invariant $$j(\tau)= 1728 \frac{g_2^3(\tau)}{\Delta(\tau)} $$ $\tau \in \mathbb{H}$ attains every complex value , Can someone guide me its proof.?? where $L(\tau ) = \{\tau m ...
0
votes
0answers
28 views

Conjecture about modular functions

I read this conjecture: ( If I'm right it is still unproved) Conjecture: Let $f(\tau)~=~ q^{c}\sum\limits_{n=0}^{\infty} a_{n}q^{\frac{n}{b}}\not\equiv 0$ be a modular function for some subgroup G of ...
1
vote
2answers
70 views

Arithmatic on modular curves

I had tried to read the first few pages of Glenn Stevens's$\,$ Arithmetic on Modular Curves, but it is somehow extremely unreadable to me, the text format is odd and stating too much facts without ...
2
votes
1answer
59 views

Modular forms: What is $\mathbb{H} / SL_2(\mathbb{Z})$?

I am beginning to understand the very basics of modular forms, in that I understand the concept of a weakly modular function, I have seen the examples of $G_k(z)$ and $E_k(z)$ as weakly modular ...
1
vote
0answers
47 views

Tau Function expressed as a Cauchy Product

I'm reading about the Ramanujan tau function, defined in my lecture notes by $q \prod_{n=1}^{\infty} (1-q^n)^{24} = \sum_{n=1}^{\infty} \tau(n) q^n$. Wolfram provides the identity $\tau(n) = ...
2
votes
1answer
53 views

What are the zeros of the j-function?

Recall that, for a complex number $\tau$ with positive imaginary part, the $j$-invariant is given by $j(\tau)=1728 \frac{g_2(\tau)^3}{g_2(\tau)^3-27g_3(\tau)^2}$ where $g_2(\tau)=60 ...
7
votes
1answer
189 views

Integral relations in Fricke and Klein

Can someone please explain how Fricke and Klein obtain the integral relationa stated at the top of p. 34 in this book? The entire book can be previewed on Google Books. It is an old book and I do not ...
0
votes
0answers
37 views

Zeroes of Jacobi Theta Functions

Based on wolfram alpha: $$\sum_{i=0}^{\infty}[x^{i^2}] = \frac{1}{2}(v_3(0,x) +1) $$ Whereas $v_3$ is the third Jacobi Theta function. See: http://bit.ly/1FIyUTq I am curious for what values in ...
9
votes
1answer
141 views

Modular parametrization of elliptic curve

Let $f$ be a cusp form of weight $2$ on $\Gamma_0(N)$ and assume that $f$ is a Hecke form and a newform. Then, we easily see that $$C(\gamma)=2i\pi \int_{\tau}^{\gamma \tau}{f(\tau')d\tau'} \quad ...