For questions related to modular forms

learn more… | top users | synonyms

71
votes
4answers
2k 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: ...
5
votes
2answers
221 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})$$
5
votes
3answers
209 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, ...
3
votes
1answer
124 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 ...
8
votes
1answer
208 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 ...
2
votes
1answer
245 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. ...
35
votes
5answers
1k 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 ...
24
votes
2answers
1k 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 ...
18
votes
1answer
378 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
160 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 ...
9
votes
4answers
317 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 + ...
7
votes
3answers
286 views

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

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
344 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
0answers
103 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 ...
6
votes
1answer
253 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 $$ ...
5
votes
2answers
224 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 ...
5
votes
1answer
177 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 ...
5
votes
1answer
297 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 ...
2
votes
1answer
294 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 ...
4
votes
1answer
69 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
163 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
250 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
59 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$ ...