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

9
votes
0answers
262 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 ...
8
votes
0answers
198 views

Modular transformation of $\eta(\tau)$

I know that the Dedekind $\eta$ function can be represented in the form$$\eta(\tau) = q^{1\over{24}} \prod_{n = 1}^\infty (1 - q^n) = \sum_{n = -\infty}^\infty (-1)^n q^{{3\over2}\left(n - ...
8
votes
0answers
139 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 ...
7
votes
0answers
108 views

Weierstrass product expression for Klein's j-invariant

The first sentence of @ccorn's answer to a previous question of mine was: “Because of the modular symmetries of $j(\tau)$, the zeros of $j(\tau)$ are precisely the ...
6
votes
0answers
125 views

Special values of the classical normalized Eisenstein series

I am looking for a comprehensive list of some known special values of the classical normalized Eisenstein series $E_4(\tau)$ and $E_6(\tau)$. Does anyone know where I can find a table of some known ...
5
votes
0answers
86 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 ...
5
votes
0answers
46 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
86 views

Hodge Bundles on Tropical Spaces

I am not sure that this question even makes sense, which I suppose is part of the questions itself. In any case, I attended a talk recently wherin there was some discussion about a "tropical ...
4
votes
0answers
153 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
112 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
46 views

Tate curve and cusps

I know this is a naive question, but what is the relation between the Tate curve and cusps on a modular curve? Naive googling seems to suggest that level structures on the Tate curve (up to ...
3
votes
0answers
34 views

Motivation for the definition of modular forms

I've just started to study modular forms and I was wondering about how one would motivate the definition. I agree that $f\left( \frac{az + b}{c z + d} \right) = (cz + d)^k f(z)$ is an interesting ...
3
votes
0answers
46 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 ...
3
votes
0answers
140 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
0answers
42 views

Some clarifications regarding Deligne's paper on $\ell$-adic representations arising from modular forms

In Deligne's article in Séminaire Bourbaki "Formes modulaires et représentation $\ell$-adiques" ...
3
votes
0answers
75 views

Analogue of the Hecke operator for a general curve

Background: The eigenvalues of the Hecke opeator $T_p$ on the space of cusp forms $S_2(\Gamma_0(N))$ (of dimension $g=\text{genus}(X_0(N))$) are analysed using reduction mod $p$ and the use of the ...
3
votes
0answers
106 views

Hasse's theorem on elliptic curves over finite fields

Suppose $\mathcal{E}$ is an elliptic curve defined over $\mathbb{Q}$, Then Hasse's theorem states that for any large characteristic $p$ there exists an algebraic number $\lambda_p$ of modulus ...
3
votes
0answers
69 views

Freeman Dyson's identity for the modular discriminant $\Delta$

In his 'Introduction to Modular Forms', Don Zagier states the Freeman Dyson's identity : $$\Delta(\tau)=\sum_{\substack{ (x_1,\ldots,x_5)\in \mathbb{Z}^5 \\ x_1+\cdots+x_5=0 \\ x_i \equiv i ...
3
votes
0answers
67 views

Klein's invariant and negative discriminant

Let $J = J(\tau)$ be Klein's invariant and let $0 < k < 1$ be the elliptic modulus. It is known that $$J = \frac{4}{27} \frac{(1 - \lambda + \lambda^2)^3}{\lambda^2 (1 - \lambda)^2},$$ where ...
3
votes
0answers
101 views

A question on the Prime number theorem

Let $N\geq1$. Could we infer $$\sum_{n\leq N}\mu(n)\ll N\exp(-c\sqrt{\log N})$$from $$\sum_{n\leq N}\Lambda(n)= N+O(N\exp( -c\sqrt{\log N})$$or $$\sum_{p \leq N}1=Li(x)$$ without resorting to the ...
3
votes
0answers
71 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
41 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
109 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
70 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}$ ...
3
votes
0answers
371 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 ...
3
votes
0answers
73 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
55 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
165 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
52 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? ...
3
votes
0answers
91 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
121 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
101 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
207 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
25 views

Archimedean Hecke Algebra for number fields

Suppose we have a $GL_1$ over a number field $F$. I am interested in a description for the archimedean Hecke algebra (always taking the maximal compact subgroup). We know will be the tensor product ...
2
votes
0answers
25 views

Maass forms as sections of line bundles?

One way of obtained modular forms are as global sections of line bundle on the modular surface. On the other hand, I have not seen Maass forms constructed this way. (Though there is some work does ...
2
votes
0answers
46 views

Why the modular curve $X(1)$ has genus 0?

I'm reading "A first course in modular forms" by Diamond and it is mentioned that the modular curve $X(1)=\mathrm{SL}_{2}(\mathbb{Z})\backslash\mathcal{H}^{*}$ has genus 0 (here $\mathcal{H}^{*}$ is ...
2
votes
0answers
45 views

Are all Jacobi theta functions modular?

An exercice in Neukirch's classical textbook "Algebraic Number Theory" asks us to prove that Jacobi's classical theta function $\vartheta(z)$ is a modular form of weight $1/2$. There are other ...
2
votes
0answers
31 views

Finding the value of a sum of two Hecke eigenvalues

I did some computations but I am stuck in finding the exression of the sum $$\lambda_f(n^2)+\lambda_f(n)^2 $$ in terms of $\lambda_f(n),$ where $f$ is a modular form for the full modular group. Any ...
2
votes
0answers
35 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 ...
2
votes
0answers
140 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 ...
2
votes
0answers
38 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) = ...
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 = ...
2
votes
0answers
53 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 ...
2
votes
0answers
23 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 ...
2
votes
0answers
27 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 ...
2
votes
0answers
22 views

normalised eigenforms question

I'm looking at the questions on this sheet: https://www0.maths.ox.ac.uk/system/files/coursematerial/2014/3116/5/MF_2014_Sheet4.pdf and The Q is Q2 a). Now, assuming this is true, the rest of the ...
2
votes
0answers
32 views

Computing Kronecker's polynomial $\Phi_N(X,Y)$ modulo $2$ for $N=23,33$

Kronecker's polynomial $\Phi_N(X,Y)\in\mathbb{Z}[X,Y]$ is used to give a model for the modular curve $X_0(N)$ over $\mathbb{Q}$. I know that it is hard to compute this polynomial in general, but is it ...
2
votes
0answers
85 views

Eigenforms for $\mathcal{S}_2(\Gamma_0(88))$

I'm having trouble with the following exercise (5.8.3) from Diamond and Shurman's text on modular forms (this isn't homework for class, I just wanted to work this out on my own): ...
2
votes
0answers
62 views

Finding newforms with Sage

I am new to Sage and modular forms. I have some conceptual questions. When I write sage: S = CuspForms(Gamma0(55),2,prec=14) sage: S.new_subspace().basis() ...
2
votes
0answers
41 views

what is the significance of expressing Theta series as Eta-products?

I'm collection information for my upcoming project regarding eta-products and theta-series. I have the Günter Köhler's book, ...