Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 2039

Prime numbers, diophantine equations, diophantine approximations, analytic or algebraic number theory, arithmetic geometry, Galois theory, transcendental number theory, continued fractions

3 votes
0 answers
183 views

Congruences of modular forms modulo other modular forms

Congruences between modular forms are certainly a big topic in number theory, maybe with $$E_{p-1}\equiv 1 \mod p \qquad \text{for a prime }p\geq 5$$ as the easiest example. Sometimes, $p$ might be r …
Lennart Meier's user avatar
5 votes

When does the module of Katz modular forms contain a basis for the vector space of classical...

I do not think that your definition of Katz modular form is exactly correct. A (Katz) weight-$k$ modular form for $\Gamma$ is a section of the line bundle on $\mathcal{Y}(\Gamma)_R$ that evaluates on …
Lennart Meier's user avatar
2 votes
Accepted

Non-vanishing modular forms

I will answer Q2: N=2: Denote by $Y^1(2)$ the moduli of elliptic curves with point of order 2 and fixed invariant differential. It is not hard to show that $Y^1(2) = \mathrm{Spec}\, \mathbb{Z}[\frac12 …
Lennart Meier's user avatar
13 votes
1 answer
441 views

Finite generation of module of modular forms

Given a commutative $\mathbb{Z}[\frac1n]$-algebra $R$, we can consider the ring of modular forms $M_*(\Gamma_1(n), R)$. If $R$ is a subring of $\mathbb{C}$, these can be defined as those (holomorphic) …
Lennart Meier's user avatar
10 votes
1 answer
2k views

Modular interpretation of nebentypus

Recall that for a subgroup $\Gamma \subset SL_2(\mathbb{Z})$ a modular form $f$ of weight $k$ is a holomorphic function from the upper-half plane into the complex numbers such that for any $\begin{p …
Lennart Meier's user avatar
21 votes

New proofs to major theorems leading to new insights and results?

A very nice example in my eyes is Serre's proof of Riemann-Roch: Sometimes, you are just not satisfied with existing proofs, and you look for better ones, which can be applied in different situati …
5 votes
Accepted

Reference for universal elliptic curves

For any $n\geq 1$, one can define a functor $\mathcal{M}_1(n)\colon \mathrm{Schemes}/\mathbb{Z}[\frac1n] \to \mathrm{Groupoids}$, sending a scheme to the groupoid of elliptic curves over it with a cho …
Lennart Meier's user avatar