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
0answers
11 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
30 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 = ...
2
votes
1answer
83 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
73 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
24 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 ...
5
votes
1answer
105 views
+50

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 ...
3
votes
0answers
45 views
+50

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
26 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 ...
2
votes
0answers
34 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
113 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
129 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
16 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
41 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
38 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
48 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
34 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
22 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
votes
0answers
34 views

Fourier series of Eisenstein Series

I have been reading a bit about the Fourier expansion of Eisenstein series (weight 1/2). I came across the fact that the coefficients contain Modified Bessel functions. Further reading I found ...
1
vote
0answers
11 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
53 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
165 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
28 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
27 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
33 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
60 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
70 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
65 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
54 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
44 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
52 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
32 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
137 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 ...
3
votes
0answers
87 views

Elementary proof of Ramanujan's “most beautiful identity”

Ramanujan presented many identities, Hardy chose one which for him represented the best of Ramanujan. There are many proofs for this identity. (for example, H. H. Chan’s proof, M. Hirschhorn's ...
3
votes
1answer
65 views

When is a modular curve defined over Q?

Let $X(N)$ and $Y(N)$ be respectively the compactified and uncompactified modular curves parametrising elliptic curves with full level $N$ structure. In other words, a point on $Y(N)$ is (essentially) ...
1
vote
1answer
27 views

Introduction to newforms and oldforms

Looking for an introductory text on newforms and oldforms. I have only found http://sage.math.washington.edu/edu/Fall2003/252/lectures/11-12-03/11-12-03.pdf which is not introductory in nature. ...
1
vote
0answers
35 views

checking if a Hecke eigenform is a smiultaneous Hecke eigenform

Let $f$ be a modular form of weight $k$ with respect to a congruence subgroup. Assuming that $f$ is a normalized Hecke eigenfunction for exactly one Hecke operator $T(l)$. How can one usually check, ...
0
votes
1answer
28 views

Proving that The set of limit points is not empty in an infinite group of linear fractional transformation.

suppose S is an infinite group of linear fractional transformation , show that the set of limit points of S is not empty . I'm studying a modular form course , and I got stuck in this question ,i ...
0
votes
1answer
42 views

dimension of space of modular functions using the Riemann-Roch theorem?

Let $H$ be the upper half-plane, and $M_k$ be the space of modular forms of weight $k$ on $H$ under the action of $SL(2,\mathbb{Z})$. I have read (Koblitz, Introduction to Elliptic Curves and Modular ...
2
votes
0answers
21 views

Does this function appear in theory of modular forms?

Does the following function $\phi(q,z)$ appear in theory of modular forms $$ \phi(q,z):=\prod_{n=-\infty}^{\infty}(1+q^nz) $$ for $(q,z)$ in some domain in $\mathbb{C}^2$? Any reference will be ...
3
votes
1answer
46 views

Relation between elliptic curves and Dirichlet L-series

I have read that an elliptic curve $E$ is modular if $a(n) = c(n)$ for all $n$, where $a(n)$ is the $n$-th coefficient in the Dirichlet series of $E$, $L(E,s)$, and $c(n)$ is the $n$-th coefficient in ...