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

7
votes
1answer
375 views

Do general automorphic factors arise in some canonical way?

Disclaimer: none of what I'm about to say I understand particularly well; corrections and clarifications are not only welcome but will be accepted with great gratitude. The wikipedia article on ...
4
votes
1answer
366 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 ...
3
votes
0answers
210 views

Hauptmoduls for modular curves

If I have a modular curve, how does one in general find a Hauptmodul for this curve?
6
votes
1answer
273 views

Modular forms database

Suppose one was given a sequence and $a_{0}, a_{1}, a_{2}, \ldots$. Is there a searchable database somewhere to see if $a_{0} + a_{1}q + a_{2}q^{2} + \cdots$ is expressible as modular form (or some ...
3
votes
1answer
214 views

Theta series representation of lattices (Leech lattice, especially)

I'm reading now about theta series and its significance in researching self-dual, even lattices. Now, I found the wikipedia article about the Leech lattice, but I'm having trouble understanding where ...
4
votes
1answer
135 views

Reference request: theta functions for lattices which are not unimodular or even

In A Course in Arithmetic, Serre works out some of the theory of theta functions for even, self-dual lattices, e.g. such theta functions are modular forms of weight $n/2$, where $n$ is the dimension ...
3
votes
1answer
295 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. ...
4
votes
1answer
216 views

Bounds for Fourier coefficients of cusp forms

I've asked the background question here, which still left unanswered. Now I have a more precise question. In my homework I've been asked to prove that $$\left| \sum_{1\leq n \leq N} a_f (n)e^{2\pi i ...
6
votes
1answer
324 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 ...
4
votes
1answer
303 views

j-invariant Fourier expansion

I'm reading about Fourier expansion of modular functions, but I have trouble understanding the following equation: Is it some inherent property of the denominator, as it is?
1
vote
1answer
234 views

Congruence subgroup of $SL_2(\mathbb{Z})$ definition

Congruence subgroups of $SL_2(\mathbb{Z})$ usually seem to be defined as a subgroup that contains $\Gamma(N) = \left\{\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \mod N \right\}$ for some ...
8
votes
3answers
479 views

Hecke operators on modular forms

Would you please explain the importance of Hecke operators on modular forms? I am studying modular forms mostly on my own and I have a pretty good understanding up to Hecke operators. So, I just ...
2
votes
1answer
165 views

Bounded denominators for modular forms

I recently saw a conjecture that a modular form is a congruence modular form if and only if it has bounded denominators. I wonder if one direction or the other is already known to be true? EDIT: For ...
14
votes
2answers
665 views

Why is $\tau(n) \equiv \sigma_{11}(n) \pmod{691}$?

If $n$ is a natural number, let $\displaystyle \sigma_{11}(n) = \sum_{d \mid n} d^{11}$. The modular form $\Delta$ is defined by $\displaystyle \Delta(q) = q \prod_{n=1}^{\infty}(1 - q^n)^{24}$. ...
15
votes
2answers
367 views

Proving finite dimensionality of modular forms using representation theory?

It is well known how to use algebraic geometry (differentials, divisors, and Riemann-Roch) in order to prove the finite dimensionality of the vector space of modular forms of some fixed weight and ...
7
votes
1answer
454 views

Connection between Hecke operators and Hecke algebras

Hecke operators are things that act on modular forms and give rise to a lot of interesting arithmetical results: http://en.wikipedia.org/wiki/Hecke_operator On the other hand on the wikpedia page ...
3
votes
2answers
291 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?
3
votes
2answers
258 views

Reference for Atkin-Lehner theorem

For my understanding of modular forms, I have "properly" read the last chapter of Serre's book on arithmetic. I have not "properly" read the setup of Hecke operators for congruence subgroups. I was ...
7
votes
1answer
402 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 ...
2
votes
2answers
1k views

Has Deligne-Rapoport been translated?

The classic text of Deligne and Rapoport giving a model for the mod p reduction of the modular curve is found in a "Lecture Notes in Mathematics" volume. Has it been translated from the original ...
5
votes
1answer
827 views

How are modular forms fundamental operations?

The German mathematician Martin Eichler once stated that there were five fundamental operations of mathematics: addition, subtraction, multiplication, division, and modular forms. This was also ...
7
votes
2answers
579 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 ...
7
votes
1answer
550 views

Definition of cusp of a congruence group

I am reading p.22 of Dan Bump's Automorphihic forms and representations. A cusp of the congruence group acting on the upper half plane is defined to be an orbit of the action of the congruence ...