# Tagged Questions

For questions related to modular forms

30 views

### A question about a form that is related to modular form

According to wikipedia "A modular form of weight $k$ for the modular group $SL(2, \mathbf Z)$ is a complex-valued function $f$ on the upper half-plane $H = {z ∈ C, Im(z) > 0}$, satisfying the ...
67 views

### A modular form related to Jacobi theta function

The Riemann $\Xi(z)$ function is defined as $$\Xi(z)=2\int_1^\infty A(x)x^{-1/4}\cos\left((1/2)z\ln x\right)dx$$ where $A(x)$ is given in terms of Jacobi theta function ...
51 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 ...
38 views

### Constructing modular forms for subgroups

If $\Gamma \le SL(2;\mathbb{Z})$ is a subgroup for which we know generators, is there a principle for constructing modular forms for $\Gamma$ out of those for $SL(2;\mathbb{Z})$? An example of what I ...
62 views

### Identities for L-series and Euler product

It is a mabe a stupid question for many experts here. There is something wrong in the following reasoning, and now I could not find it. Could someone help me out? Any advice will be highly ...
30 views

87 views

35 views

### What does $\Gamma_\infty$ denote in modular forms

I am catching up on some notes for an online modular forms course. The slides have just suddenly started using the notation $\Gamma_\infty$, without even defining $\Gamma_k$ (except for $k=1$), never ...
88 views

### Hilbert modular forms and Hecke operators over Q

Let F be a totally real field. We know that we can define a Hecke operator $T_\mathfrak{m}$ on the space of Hilbert modular forms over $F$, say with some level structure, for any ideal $\mathfrak{m}$ ...
500 views

### Proving a complex function is continuous.

I've recently started complex analysis but I have very little background in complex numbers and to make sure I don't fall behind I'm doing some extra exercises one of which is Show $f$ is continuous ...
137 views

### The conjecture $A159634(n) = \psi(2n)/3$ where $\psi$ is the Dedekind psi function.

Steven Finch is the author of the OEIS-sequence A159634 which is defined as "Coefficient for dimensions of spaces of modular & cusp forms of weight $k/2$, level $4n$ >and trivial character, ...
166 views

(1)Show that addition and multiplication mod n are associative operations. (2)Show that there are both an additive and a multiplicative identity. (3)Show that multiplication distributes over ...
123 views

### Relation: Modular Forms and hyperbolic geometry, or, why do they map from $\mathbb{H}$?

In my very young mathematical career, I have worked a lot with modular forms. Recently, I worked as a teaching assistant in a course about geometry. At the end of the course, we dealt with hyperbolic ...
109 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 ...
66 views

### Semistable Elliptic Curves

For a general representation $\rho: G_{\mathbb{Q}} \rightarrow \operatorname{GL}(V)$, where $V$ is a two dimensional $\overline{\mathbb{F}}_p$ vector space, the level $N(\rho)$ in Serre's conjecture ...
156 views

### Hypergeometric formulas for the j-function

Given the j-function $j(\tau)$ and elliptic lambda function $\lambda(\tau)$. Define, g = -1+2\frac{\,_2F_1\big(\tfrac{1}{2},\tfrac{1}{2},1,\,\lambda(2\tau)\big) ...
203 views

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 ...
66 views

### Definition of Automorphic form

I am looking at how one maps the space of cusp forms $S_k(N,\psi)$ into the space of automorphic forms on $GL_2$ over the Adeles. And I have a question about the definition of $K$-finiteness. I am ...
53 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$?
137 views

### How should I think about Ihara's Lemma?

I am trying to learn about Ihara's lemma because I see it mentioned in many papers in arithmetic geometry. To be more precise, I would like to know: What is the significance of this result? Why is ...
37 views

### Size of automorphism group of element of $Y_0(5)$

The modular curve $Y_0(5)$ parametrizes elliptic curves $E$ with an isogeny of degree five. So an element of $Y_0(5)$ can be interpreted as $E \xrightarrow{\phi} E'$. Suppose we are working over a ...
101 views

### The natural boundary of the modular $\lambda$ function is the real axis

I want to solve the following problem from Ahlfors' text: Show that the function $\lambda(\tau)$ introduced in Chap. 7, Sec. 3.4, has the real axis as a natural boundary. Here $\lambda(\tau)$ is ...
### Other interesting consequences of $d=163$?
Question: Any other interesting consequences of $d=163$ having class number $h(-d)=1$ aside from the list below? Let $\tau = \tfrac{1+\sqrt{-163}}{2}$. We have (see notes at end of list), ...