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

85
votes
4answers
3k 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: ...
2
votes
1answer
86 views

Infinite sum involving ascending powers

I was working on a problem involving finite differences and came across the following sum as a general solution to a problem I was working with $$ 1 + x + \frac{1}{1 + a}x^2 + \frac{1}{1 + a} ...
41
votes
5answers
2k views

Intuition for the Importance of Modular Forms

I am learning about modular forms for the first time this term and am just starting to wrap my head around what might be the big picture of things. I was wondering if the following interpretation of ...
5
votes
2answers
303 views

How to calculate $|\operatorname {SL}_2(\mathbb Z/N\mathbb Z)|$?

the answer should be $$|\operatorname {SL}_2(\mathbb Z/N\mathbb Z)|=N^{3}\prod_{p|N}(1-{1 /p^2})$$ But first how to prove $$|\operatorname {SL}_2(\mathbb Z/p^e\mathbb Z)|=p^{3e}(1-{1 /p^2})$$
4
votes
1answer
161 views

visualizing functions invariant (or almost) under modular transformation

In the spirit of Möbius Transformations Revealed, I'd like to make a pair of movies depicting how Klein's absolute invariant $j(\tau)$ and the Dedekind eta function $\eta(\tau)$ transform when ...
4
votes
2answers
275 views

Is there a precise mathematical connection between hypergeometric functions and modular forms

I've been playing around with Gauss' hypergeometric series $F(a,b,c,z)$ these days and I was wondering if there is some relation with the theory of modular forms.
7
votes
1answer
163 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 ...
5
votes
3answers
315 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, ...
9
votes
4answers
481 views

Representing a number as a sum of at most $k$ squares

Fix an integer $k >0 $ and would like to know the maximum number of different ways that a number $n$ can be expressed as a sum of $k$ squares, i.e. the number of integer solutions to $$ n = x_1^2 + ...
3
votes
1answer
277 views

Modular functions and elliptic functions

Does anybody know of an equation formally equating modular functions and elliptic functions similar to Euler's equation for exponential and trigonometric functions? Any advice much appreciated. ...
8
votes
1answer
235 views

Hypergeometric formulas for the Rogers-Ramanujan identities?

Let $q = e^{2\pi i \tau}$. Given the j-function, $$j = j(q) = 1/q + 744 + 196884q + 21493760q^2 + \dots$$ and define, $$k = j-1728$$ Let $\tau =\sqrt{-N}$, where $N > 1$. Anybody knows how ...
25
votes
2answers
2k views

In what sense is Taniyama-Shimura the $n=2$ case of Langlands?

As I understand it (If I'm imprecise, as I will likely be, please correct me), Langlands says roughly as follows: For every representation $Gal(\mathbb{Q}) \rightarrow GL_n(\mathbb{C})$ we can form a ...
21
votes
1answer
526 views

The importance of modular forms

I'm studying modular forms and my professor started the course talking about elliptic functions. These particular functions form a field (once that the lattice $\Lambda$ is fixed) called ...
5
votes
1answer
209 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 ...
4
votes
1answer
172 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} $$ ...
7
votes
0answers
120 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
2answers
548 views

A question on FLT and Taniyama Shimura

Sometime back i watched the documentary of Andrew Wiles proving the Fermat's Last theorem. A truly inspiring video and i still watch it whenever i am in a depressed mood. There are certain ...
5
votes
0answers
82 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
2answers
314 views

Klein's j-invariant and Ford circles

Klein's j-invariant has structure which seems to resemble Ford circles: The latter show up all over number theory (continued fractions, Rademacher's expansion for p(n), etc.) Can someone explain ...
1
vote
0answers
60 views

Special values of the Dedekind eta function

Does anyone know of an article or a book which contains a comprehensive list of some known explicit values of the Dedekind eta function $\eta(\tau)$?
7
votes
3answers
312 views

An infinite product for $\left(\frac{\eta(13\tau)}{\eta(\tau)}\right)^2$?

Given the Dedekind eta function, $$\eta(\tau) = q^{1/24} \prod_{n=1}^\infty (1-q^n)$$ where $q = \exp(2\pi i\tau)$. Consider the following "family", $\begin{align} ...
7
votes
1answer
372 views

why does a certain formula in Lang's book on modular forms hold?

Background: Let $k$ be an even integer. The Eisenstein series are defined by $$E_{k} = 1 - \frac{2k}{B_{k}}\sum_{n=1}^{\infty} \sigma_{k-1}(n)q^{n}$$ where $$\sigma_{k-1}(n)= \sum\limits_{d \mid ...
6
votes
1answer
266 views

Intermediate step in deducing Jacobi's triple product identity.

An intermediate step deduces Jacobi's triple product identity by taking the $q$-binomial theorem $$ \prod_{i=1}^{m-1}(1+xq^i)=\sum_{j=0}^m\binom{m}{j}_q q^{\binom{j}{2}}x^j $$ and deducing $$ ...
6
votes
1answer
313 views

Cusp forms' Fourier coefficients sign changes

I need some clarification on the following, if possible: I have seen in that for every $ f \in S_k$ which Fourier transform is $\sum_{n=1}^\infty a(n)q^n$ there is an upper bound $\sum_{n=1}^N ...
5
votes
1answer
199 views

Silly question about weakly modular functions

This is so far the most naive of my questions. Weakly modular functions of weight $2k$ correspond to $k$-forms on $X(1)$, right? But $X(1)$ is a curve. So shouldn't there not be any $k$-forms for ...
2
votes
1answer
330 views

Agreement of $q$-expansion of modular forms

If I have modular functions $f$ and $g$ with $f = a_{1} + a_{2}q + \cdots$ and $g = b_{1} + b_{2}a + \cdots$ both $q$-expansions, why does/how does it follow $f = g$ after checking only finitely many ...
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 ...
1
vote
3answers
83 views

How to solve a pair of simultaneous linear congruences, using algebraic methods [closed]

What is the smallest whole number $x$ so that $x$ has remainder $14$ when divided by $400$, and $x$ has remainder $5$ when divided by $7572$? In other words: $$x \equiv 14 \pmod{400}$$ and $$ ...
4
votes
1answer
85 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
1answer
244 views

Is the derivative of a modular function a modular function

Fix a positive integer $n$. Let $f:\mathbf{H}\longrightarrow \mathbf{C}$ be a modular function with respect to the group $\Gamma(n)$. Is the derivative $$\frac{df}{d\tau}:\mathbf{H}\longrightarrow ...
3
votes
2answers
276 views

Ramanujan congruences and étale cohomology

What is a good reference for the story of congruences such as $$\displaystyle \tau(n) \equiv \sigma(11)(n) \mod\ 691$$ with a conceptual explanation with connections to étale cohomology, etc?
2
votes
1answer
40 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 ...
2
votes
1answer
77 views

History of the Coefficients of Elliptic Curves — Why $a_6$? [duplicate]

I would like to know what is the motivation behind the naming convention of the Weierstrass form of elliptic curves given as $$E:y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6.$$ I can see that $a_1,a_2,a_3,a_4$ ...