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

0
votes
1answer
46 views

coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$

I want to prove that $\forall n \in \mathbb{N}$ at least one of the Fourier coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$ is greater than 1( The ...
0
votes
1answer
34 views

Congruence and first odd primes

I tried to find the solutions to this modular equation: $3^{(5+7+11+13+17+19+\dots +p(m-3)+p(m-2))} \equiv p(m-1) \bmod p(m) $ where $p(m)$ is the m-th odd prime number(note that it's three to the ...
2
votes
1answer
49 views

Why is $f(z)y^k$ bounded for $f$ a cusp form?

For $f$ is a cusp form of weight $2k, k>0$ ($f(z)=(cz+d)^{-2k}f(\frac{az+b}{cz+d}$)), then why is $f(z)y^k$ bounded? If expanded $f$ in $\sum a_nq^n$, it's domain is a open disc, hence I can't ...
0
votes
1answer
51 views

Action of automorphisms on Eisenstein series

Let $ f \in \mathcal{M}_{k}(\Gamma) $ and $ \sigma \in \textit{Aut}(\mathbb{C}) $. Suppose $$ f = \sum_{n=0}^{\infty}a_{n}q^{n} .$$ Then we define the action of $ \textit{Aut}(\mathbb{C}) $ on $ \...
3
votes
0answers
43 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" (http://archive.numdam.org/ARCHIVE/SB/SB_1968-1969__11_/SB_1968-1969__11__139_0/SB_1968-1969__11__139_0....
0
votes
1answer
45 views

Residue theorem and Angle of modular function

Let $f$ be a meromorphic function on the region $Im(z)>0$, $v_p(f)$ be the order of $p$. (The number $n$ such that $\frac{f(z)}{(z-p)^n}$ is holomorphic and non-zero at $p$.) Moreover, assume $f$ ...
3
votes
1answer
530 views

$\left\langle\begin{pmatrix}0&-1\\1&0\end{pmatrix},\begin{pmatrix}1&1\\0&1\end{pmatrix}\right\rangle$ is the free product of two cyclic groups.

Let $G$ be a group generated by two matrices $ S=\left( \begin {array}{cc} 0&{-1}\\1&0\end{array}\right),T=\left( \begin{array}{cc}1&1\\0&1\end{array}\right) $ in $SL_2(\mathbb Z)/ \{ \...
0
votes
0answers
22 views

Dirichlet Series of weakly multiplicative characters

Let $$ \sum_{n=1}^{\infty} a(n)n^{-s} = \prod_{p}\left((1-\alpha_{p}p^{-s})(1-\alpha_{p}'p^{-s})\right)^{-1},$$ where $ a(n) $ is weakly multiplicative (i.e $ a(n)a(m) = a(n,m) $ if $ \textit{gcd}(m,n)...
2
votes
0answers
31 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
1answer
101 views

Generators of $\Gamma_0(N)$

Let $\textbf{T}:=\bigl(\begin{smallmatrix} 1&1\\ 0&1 \end{smallmatrix} \bigr)$, $\textbf{S}:=\bigl(\begin{smallmatrix} 0&1/\sqrt{N}\\ -\sqrt{N}&0 \end{smallmatrix} \bigr)$ and $H$ the ...
1
vote
0answers
17 views

How to show $\exists C \in \mathbb{C}^{\times}$, $n\in\mathbb{N}$: $f = C\Delta^n$?

Let $f \in M_k(\Gamma)$ not null in $\mathbb{H}$. I want to show that there exists a $C \in \mathbb{C}^{\times}$ and $n\in\mathbb{N}$ with $f = C\Delta^n$. I think one can show that for a $k>0$ ...
1
vote
1answer
39 views

Boundedness of a modular form in $\mathbb{H}$

Let be $k>0$ and $f \in S_k(\Gamma)$. I want to show that the function $h(z)=Im(z)^{\frac{k}{2}}\cdot |f(z)|, \; z\in\mathbb{H}$ is bounded in $\mathbb{H}$. I have already shown, that $h$ is ...
1
vote
0answers
30 views

Cuscs of a subgroup of $\Gamma$

I'm going to be completely honest about this: I need the solution of this to get permitted to the exam in complex analysis. The topic is not even relevant for the exam and I am absolutely not able to ...
6
votes
1answer
199 views

Why do modular curves parametrise elliptic curves?

Let $Y_1(N)=\Gamma_1(N)/H$, where $H$ is the upper half plane. In these lecture notes http://math.uga.edu/~pete/modularandshimura.pdf , the author makes the following statement: "$Y_1(N)$ ...
2
votes
1answer
108 views

Regarding the derivative of the $j$-invariant

Is anyone aware of a formula for the derivative of the $j$-invariant $j(\tau)$ with respect to $\tau$? Here, $\tau$ is in the upper half-plane. I would image there are probably quite a few formulae ...
9
votes
1answer
138 views

Whats the difference between modular forms of different levels?

We have a natural surjective group homomorphism: $\phi : SL_2(\mathbb{Z}) \to SL_2(\mathbb{Z}/(n\mathbb{Z}))$ from which, given any subgroup $H<SL_2(\mathbb{Z}/(n\mathbb{Z}))$, we may take the ...
1
vote
0answers
47 views

Modular forms inducing functions on $SL_2(\mathbb{Q}_p)$

I am familiar with the classical thoery of modular forms. I've heard that a modular form on gives rise to a function on $SL_2(\mathbb{Q}_p)$ (or maybe $GL_2(\mathbb{Q}_p)$, or even $GL_2(\mathbb{A})$ ...
2
votes
1answer
98 views

Simple question about lattices in $\mathbb{C}$

Milne's Modular Functions and Modular Forms states, at the bottom of page 10: We can normalize our lattices so they are of the form $$\Lambda(\tau) := \mathbb{Z} \cdot 1 + \mathbb{Z} \cdot \tau$$...
0
votes
0answers
75 views

How to construct this modular Galois representation?

I want to know how to construct this modular Galois representation: The $\bmod p$ representation is semi-simple. For any lattice $T$ , $\dfrac{T}{p^{3}T}$ does not have a $G$-stable cyclic subgroup ...
3
votes
0answers
76 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 ...
0
votes
2answers
83 views

Why is it so difficult to use geometric methods to construct weight one modular forms?

I am trying to understand why it is that geometric methods of constructing modular forms of weight one for $SL(2,\mathbb Z)$ fail. I have a relatively rudimentary understanding of it, but it would be ...
2
votes
0answers
34 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 ...
1
vote
1answer
53 views

Complex Galois Representaions

I'm trying to understand 1 and 2 dimensional complex representations, induced representations and associated Artin L-functions for a project. I'm finding it hard to find appropriate material to help ...
1
vote
0answers
80 views

Eisenstein series of weight $2$ for in $M_2(\Gamma_0(N))$

Let $q$ be prime. By dimension formulas, $S_2(\Gamma_0(q))$ is of dimension $g$, while $M_2(\Gamma_0(q))$ is of dimension $g+1$. So the space of Eisenstein series is one dimensional. How to define ...
4
votes
1answer
152 views

Why any quasi modular form corresponds to some almost holomorphic form?

I am trying to understand this article. http://arxiv.org/pdf/math/0603268v1.pdf In particular Theorem 1. In particular it says that if $$ (c z + d)^{-k} f_0(\frac{a z + b} {c z + d}) = \sum_{j = 0}...
1
vote
1answer
32 views

The main involution on $ M_{2}(F) $ and it's extension to $ M_{2}(F_{\mathbb{A}}) $.

I'm presently reading through a paper of Shimura's; "Special Values of the Zeta Functions Associated with Hilbert Modular Forms". In the paper he defines $ \iota $ to be the main involution of $ M_{2}(...
2
votes
0answers
86 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): $\mathcal{S}_2(\...
2
votes
0answers
63 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() ...
1
vote
0answers
118 views

(Eichler-Shimura Isomorphism) Proving c(f) is not a coboundary

I have seen a couple of questions related to the Eichler-Shimura Isomorphism, but almost all of them have to do with hodge theory (things I am unfamiliar with) and seem, to me, different/unrelated. ...
4
votes
1answer
85 views

Modular property of Weierstrass $\wp$ function

For $\tau\in \mathbb H=\{ x+iy\in \mathbb C \lvert x,y\in \mathbb R, \, y>0\}$ and $z\in \mathbb C$, let us define $$ \wp=\wp(\cdot,\tau): \mathbb C \rightarrow \mathbb P^1\, , \quad z\mapsto \...
5
votes
1answer
91 views

Bounds on eigenvalues of Hecke operator on the Jacobian

Let $p$ be a prime not dividing $N$. Consider the Hecke operator $T_p$ on the Jacobian $\text{Jac}(X_0(N))$. I'm thinking of $T_p$ as coming from a correspondence. If I understand correctly, the ...
1
vote
1answer
65 views

Why does the Hecke correspondence preserve principal divisors?

Let $p$ be prime not dividing $N$. Consider the Hecke correspondence $T_p$ inducing a set valued function on $X_0(N)$. I'd like to understand why it acts on $\text{Pic}^0$, and so I'd like to know why ...
2
votes
0answers
45 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, http://www.amazon.com/Products-Identities-Springer-Monographs-Mathematics/...
12
votes
1answer
162 views

Is there a general way to prove series and products are modular?

The following$$\eta(q)=q^{1/24}(q)_\infty$$ $$E_{n}(z)=\sum_{z \in \Lambda\setminus \lbrace0\rbrace}z^{-n}$$ $$F(q)=q^{-1/60} \sum_{n \ge0} \frac{q^{n^2}}{(q;q)_\infty}$$ $$F(q)=q^{11/60} \sum_{n \ge0}...
5
votes
1answer
65 views

Recursive identity for elliptic lattice constants $\sum_{\lambda\in\Lambda\setminus0} \lambda^{-2k}$

I am stuck on Exercise 3 in these notes. To keep this question self-contained: we have $\displaystyle\Lambda=\langle\omega_1,\omega_2\rangle=\omega_1\Bbb Z+\omega_2\Bbb Z\subset\Bbb C,$ $\...
4
votes
0answers
98 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 ...
3
votes
0answers
109 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 $\sqrt{...
2
votes
1answer
50 views

Linear independence of Eisenstein Space Basis

I'm currently working throught Diamond and Shurman's book "A First Course on Modular Forms". On page 129 Theorem 4.5.2 states Let $ N $ be a positive integer and let $ k \geq 3 $. The set $$ \...
3
votes
1answer
91 views

The Fricke involution on arbitrary subgroups of $\operatorname{SL}_2(\textbf{Z})$

Let $\Gamma$ be a subgroup of $\operatorname{SL}_2(\textbf{Z})$. I want to understand how the Fricke involution $w_N : f \longrightarrow (\tau \longrightarrow N^{-k/2}\tau^{-k}f(-1/N\tau))$ acts on ...
4
votes
1answer
112 views

A sufficient condition for $\eta$-quotients to be modular forms

Let $f$ be the form : $$f(\tau)=\prod_{M\mid N}{\eta(M\tau)^{a_M}} \quad (\tau \in \mathcal{H})$$ Generally, we said that $f$ is an $\eta$-quotient when $(a_M)$ is a sequence of integers. One can ...
4
votes
2answers
188 views

Concrete and elementary applications of modular forms to elliptic curves

What are some useful facts/algorithms for elliptic curves that can be obtained (proved completely) using the theory of modular forms without heavy machinery? It's often been asked what elementary ...
8
votes
2answers
285 views

Concerning the classical normalized Eisenstein series

Earlier I asked this question. As of today, it has not been answered. Yet still, I have a follow-up question: In general, how does one express $E_4(\tau)$ and $E_6(\tau)$ in closed form for special ...
3
votes
0answers
87 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 \...
1
vote
0answers
92 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)$?
6
votes
0answers
147 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 ...
3
votes
2answers
123 views

Fundamental domains of infinite-index subgroups of $SL(2,\mathbb{Z})$

While discussing modular forms associated to different subgroups $\Gamma$ of $SL(2,\mathbb{Z})$, there appeared to be a heuristic relationship between the index $[SL(2,\mathbb{Z}) \colon \Gamma]$ and ...
2
votes
0answers
64 views

When are theta constants modular

I'm looking at $\theta$ constants with characteristic, defined by $$\theta\left(\begin{array}{c} \epsilon \\ \epsilon' \end{array}\right)(z,\tau) = \sum_{n\in \mathbb{Z}} \exp 2\pi i \left\{ \frac{1}{...
2
votes
0answers
58 views

Motivation behind theta function calculation in Diamond & Shurman

I am reading section 1.2 of A First Course in Modular Forms. Let $q=e^{2\pi i\tau}$, where $\tau\in\cal H$ is assumed to be in the upper half plane, and define $\theta(\tau)=\sum_{n\in\Bbb Z}q^{n^2}$. ...
3
votes
1answer
122 views

What is the residue of the reciprocal of Klein's $j$-invariant $1/j(\tau)$ at $e^{2\pi i /3}$

In Mathematica, Residue[1/KleinInvariantJ[t], {t,Exp[2*pi*I/3]}] results in a very ungainly expression involving complete elliptic integrals of the first and ...
3
votes
0answers
73 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 $\...