Modular Forms & Arithmetic Geometry

Prerequisite path Preparation & skip guidance · Complex Analysis & Several Complex Variables · Abstract Algebra & Galois Theory

Studying Modular Forms & Arithmetic Geometry

A modular form is constrained both by holomorphicity and by transformation under a group action. Milne builds the analytic and geometric framework through the upper half-plane and quotient surfaces. Stein emphasizes explicit expansions, bases and Hecke computations. These routes can be paired: a calculation becomes more informative when you can explain the transformation law and the behavior at a cusp that make it legitimate.

What to work on

  • Check the upper-half-plane action of SL2(Z) and state a modular transformation law.
  • Relate translation invariance to a q-expansion and distinguish holomorphy from meromorphy at a cusp.
  • Compute low-order coefficients of level-one Eisenstein and cusp forms.
  • Apply a Hecke coefficient formula with an explicit normalization.

A starting text

Modular Functions and Modular Forms (Elliptic Modular Curves) — James S. Milne. Read section 1, Preliminaries, and section 2, Elliptic Modular Curves as Riemann Surfaces, for the upper half-plane and quotients. Section 4, Modular Functions and Modular Forms, begins on printed page 48; section 5, Hecke Operators, begins on page 67. Use section 3 on elliptic functions only as needed.

Choosing what to read

First derive the formula for the imaginary part of a fractional linear transformation and use it to understand the half-plane action. Check the weight and group before comparing two forms. Compute several Fourier coefficients, but distinguish matching a finite list from proving equality. Use a dimension or structure theorem only after stating its level and weight assumptions. When a Hecke matrix appears, identify its basis and explain which theoretical operator the matrix represents.

Modular Functions and Modular Forms (Elliptic Modular Curves)

James S. Milne

Understand quotient geometry before treating q-expansions as formal series.

How it reads
Analytic and geometric development through modular curves and functions.
What it expects
Complex analysis, group actions and the relevant algebra.
What to keep in mind
The companion exercises below come from Stein; they are not claimed as a Milne solution set.
Practice
Companion practice at https://wstein.org/books/modform/stein-modform.pdf: Public exercise sets verified in Stein's author-hosted book; public worked solutions were not verified. These exercises are a separate source from Milne's reading notes. Section 1.6 Exercises, printed page 11: start with exercise 1.1 on the half-plane action. Section 2.8 Exercises, page 33: exercise 2.3 concerns Eisenstein-series coefficients and 2.8 concerns a Hecke matrix.

Complete public PDF.

Edition, reading range and source

Read section 1, Preliminaries, and section 2, Elliptic Modular Curves as Riemann Surfaces, for the upper half-plane and quotients. Section 4, Modular Functions and Modular Forms, begins on printed page 48; section 5, Hecke Operators, begins on page 67. Use section 3 on elliptic functions only as needed.

Source · Checked 2026-10-16

Modular Forms, a Computational Approach

William A. Stein, with an appendix by Paul E. Gunnells

Make level-one constructions and operator calculations concrete.

How it reads
Computational route through explicit q-expansions, bases and Hecke operators.
What it expects
Linear algebra, number theory and introductory modular-form definitions.
What to keep in mind
Algorithms need the definitions and structural hypotheses supplied by the theory.
Practice
Existing course-study evidence verifies exercise sets 1.6 and 2.8, printed pp. 11 and 33; public worked solutions were not verified.

Complete author-hosted PDF.

Edition, reading range and source

Sections 1.1-1.4 and 2.1-2.4, inherited from the course-study alternative; no fresh check in this task.

Source · Checked 2026-10-16

Other ways into the subject
  • Modular Forms: A Computational Approach — William A. Stein, with an appendix by Paul E. Gunnells. Sections 1.1-1.4 for definitions and congruence groups; 2.1-2.4 for level-one forms, the structure theorem, the Miller basis and Hecke operators. Use alongside Milne when explicit q-expansions and algorithms are the priority.

Practice

Level-one modular-form exercises. Section 1.6 Exercises, printed page 11: start with exercise 1.1 on the half-plane action. Section 2.8 Exercises, page 33: exercise 2.3 concerns Eisenstein-series coefficients and 2.8 concerns a Hecke matrix.. Public exercise sets verified in Stein's author-hosted book; public worked solutions were not verified. These exercises are a separate source from Milne's reading notes.

Try these before moving on

Try a proof or calculation before opening the hint. These solutions address the checks below, not the exercises in the linked textbooks.

  1. For gamma=[[a,b],[c,d]] in SL2(R), prove Im(gamma z)=Im(z)/|cz+d| squared when Im(z)>0. Then use -I to show a modular form for SL2(Z) of odd integral weight is zero.

    A hint

    Subtract the complex conjugate of the fractional linear expression. For the second part state the transformation law, including its character.

    Work through the solution

    Let a,b,c,d∈Ra,b,c,d\in\mathbb R satisfy ad−bc=1ad-bc=1, and z∈Hz\in\mathbb H. The denominator cz+dcz+d is nonzero: if c≠0c\ne0 its zero is real, while if c=0c=0 the determinant condition gives d≠0d\ne0. Since the coefficients are real,

    az+bcz+d−azˉ+bczˉ+d=(ad−bc)(z−zˉ)∣cz+d∣2.\frac{az+b}{cz+d}-\frac{a\bar z+b}{c\bar z+d}=\frac{(ad-bc)(z-\bar z)}{|cz+d|^2}.

    Divide by 2i2i to obtain Im⁡(γz)=Im⁡z/∣cz+d∣2>0\operatorname{Im}(\gamma z)=\operatorname{Im}z/|cz+d|^2>0.

    For a modular form of integral weight kk on the full group SL2(Z)\mathrm{SL}_2(\mathbb Z) with trivial character, the law is f(γz)=(cz+d)kf(z)f(\gamma z)=(cz+d)^k f(z). The matrix −I-I fixes every zz and has cz+d=−1cz+d=-1, so f(z)=(−1)kf(z)f(z)=(-1)^k f(z). If kk is odd, this gives 2f(z)=02f(z)=0 for every zz, hence f=0f=0 over C\mathbb C. Trivial character is essential to this particular conclusion; cusp holomorphy is not needed for the vanishing argument.

    If this was the sticking point:

Already comfortable with this? Skip the action and definition review if you can prove the first check and explain the cusp condition. Skip coefficient practice if the second check is routine; assess Hecke operators separately through Stein's exercises.

Review the prerequisites · Compare the full subject collection

Where this can lead

Reading-source dates
  • Modular Functions and Modular Forms (Elliptic Modular Curves) · 2026-10-16
  • Modular Forms: A Computational Approach · 2026-10-16

Reading choices revised 2026-10-17.

Suggest an edit · Report a correction

Abelian Varieties

PDF

J. S. Milne · Course notes / overview · Advanced

An advanced overview of geometry and arithmetic, including finite-field phenomena. Not every deep result is proved in full.

Preparation: Algebraic geometry; algebraic number theory.

Open official PDFAbout / terms

Additional reading

Search the complete catalogue.

Graduate reading

Lectures on Siegel’s Modular Functions

Hans Maass · Long lecture notes · Graduate · English · PDF

Studies modular objects in higher-dimensional settings. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.

Preparation: Modular forms; several complex variables.

Use: Prepare for Siegel modular theory.

Open full PDFSource / terms
Edition and sources

Version: TIFR volume 3; retypeset digital edition (see PDF imprint for publication year) · Checked 2026-10-11

Lectures on Modular Correspondences

Martin Eichler · Long lecture notes · Graduate · English · PDF

Studies correspondences in modular function theory. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.

Preparation: Complex analysis; modular forms.

Use: Specialized modular-curve reading.

Open full PDFSource / terms
Edition and sources

Version: TIFR volume 9; retypeset digital edition (see PDF imprint for publication year) · Checked 2026-10-11

Lectures on Riemann Matrices

Carl Ludwig Siegel · Long lecture notes · Graduate · English · PDF

Studies period matrices and associated analytic structures. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.

Preparation: Complex analysis; linear algebra.

Use: Background for abelian and modular geometry.

Open full PDFSource / terms
Edition and sources

Version: TIFR volume 28; retypeset digital edition (see PDF imprint for publication year) · Checked 2026-10-11

Lectures on Modular Functions of One Complex Variable

Hans Maass · Long lecture notes · Graduate · English · PDF

Develops classical modular function theory. Historical notation may differ from current treatments. Individual-use access only; do not redistribute.

Preparation: Complex analysis; group actions.

Use: Bridge into modular forms.

Open full PDFSource / terms
Edition and sources

Version: TIFR volume 29; retypeset digital edition (see PDF imprint for publication year) · Checked 2026-10-11

Modular Forms, a Computational Approach

William A. Stein, with an appendix by Paul E. Gunnells · Textbook · Graduate · English · PDF

Turns modular-form constructions into explicit algorithms and computations.

Preparation: Linear algebra; number theory; modular forms basics.

Use: Connect theoretical modular forms with computational practice.

Open full PDFSource / terms
Edition and sources

Version: 2007 author-hosted book · Checked 2026-10-11

The Arithmetic of Elliptic Curves

Joseph H. Silverman · Textbook · Graduate · English · Purchase / institutional access

The complete published book is subscription or purchase content. A preview or sample is not the complete book; institutional access depends on your library licence.

Develops the arithmetic of elliptic curves over local and global fields.

Preparation: Algebraic curves; number theory; algebra.

Use: Prepare for research on rational points and elliptic curves.

Publisher / access page
Edition and sources

Version: Second edition, 2009 · Checked 2026-10-11

Automorphic Forms

Anton Deitmar · Textbook · Graduate · English · Purchase / institutional access

Purchase or library subscription required; previews are not the complete book.

An entry route to automorphic forms connecting analysis and representation-theoretic viewpoints. Compare its scope with a classical modular-form course.

Preparation: Complex analysis; linear algebra; group theory.

Official page / access details
Edition and sources

Version: 2012 · Checked 2026-10-11

Modular Forms

Toshitsune Miyake · Textbook · Graduate · English · Purchase / institutional access

Purchase or library subscription required; previews are not the complete book.

A sustained classical modular-form reference. Read after the basic upper-half-plane and transformation-law examples.

Preparation: Complex analysis; elementary number theory.

Official page / access details
Edition and sources

Version: English edition, 1989 · Checked 2026-10-11

Elliptic Curves (MIT 18.783)

Andrew V. Sutherland · Lecture-course collection · Graduate · English · Online text

Official complete course/text index and linked reading material opened without login.

Combines elliptic-curve arithmetic and algorithms with complex multiplication, modular curves and modularity.

Preparation: Abstract algebra; finite fields; elementary number theory; complex analysis for later lectures.

Use: Follow a computational-to-modular elliptic-curve course.

Open online text / archiveSource / terms
Edition and sources

Version: MIT 18.783, Fall 2025 · Checked 2026-10-13

Number Theory II: Modular Forms and Modular Curves (MIT 18.786)

Andrew V. Sutherland · Lecture-course collection · Graduate · English · Online text

Official complete course/text index and linked reading material opened without login.

Builds automorphic forms from Fuchsian groups, then studies Hecke operators, trace formulas, modular Jacobians and Galois representations.

Preparation: Complex analysis; algebra; topology; number theory.

Use: Bridge classical modular forms and arithmetic applications.

Open online text / archiveSource / terms
Edition and sources

Version: MIT 18.786, Spring 2024 · Checked 2026-10-13

Modular Forms: A Classical Introduction

Kimball Martin · Long lecture notes · Graduate · English · PDF

Full PDF opened publicly on the author or university host.

Introduces classical modular forms and their arithmetic through examples and structural theory. The later part is a developing draft.

Preparation: Complex analysis, abstract algebra and elementary number theory.

Use: A classical entry point before modular curves and automorphic representations.

Open full PDFSource / terms
Edition and sources

Version: PDF dated 23 July 2025; first part originated in a Spring 2011 course · Checked 2026-10-13

Automorphic Forms (Informal Course, May–July 2003)

Kevin Buzzard · Long lecture notes · Graduate · English · PDF

Full PDF opened publicly on the author or university host.

An informal introduction focused on representation theory over non-Archimedean local fields, with finite-group examples and smooth representations. It does not supply the planned full global theory.

Preparation: Representation theory, local fields and graduate algebra.

Use: A local-representation bridge toward automorphic forms and the local Langlands correspondence.

Open full PDFSource / terms
Edition and sources

Version: Cover dated 26 April 2012; informal course May–July 2003; text notes last modification 1 June 2004 · Checked 2026-10-13

Research reading

Modular Forms: Basics and Beyond

Goro Shimura · Textbook · Research · English · Purchase / institutional access

Purchase or library subscription required; previews are not the complete book.

Develops modular forms, theta functions and half-integral weights. A specialized continuation after classical modular forms and complex analysis.

Preparation: Modular forms; complex analysis; algebraic number theory.

Official page / access details
Edition and sources

Version: 2012 · Checked 2026-10-11

Lectures on Siegel Modular Forms and Representation by Quadratic Forms

Yoshiyuki Kitaoka · Long lecture notes · Research · English · PDF

Complete institutional PDF, authorized for individual use only. Copyright remains with TIFR; retypesetting may retain errors. This is not a redistribution licence.

Connects Siegel modular forms and the arithmetic of quadratic forms. A higher-dimensional branch after classical modular forms.

Preparation: Modular forms; quadratic forms; algebraic number theory.

Open full PDFSource / terms
Edition and sources

Version: TIFR Lectures on Mathematics 77; authorized retypeset historical edition — original date on title page · Checked 2026-10-11

Course on Mazur's Theorem

Andrew Snowden · Online lecture course · Research · English · Online text

Official 23-lecture HTML index and full text of lectures 2 and 23 read through the web source reader; a separate automated GET encountered a challenge.

Develops elliptic curves, group schemes, modular curves and Hecke algebras toward rational torsion classification.

Preparation: Algebraic geometry; elliptic curves; Galois theory.

Use: Read a proof-oriented modular-arithmetic seminar.

Open online text / archive
Edition and sources

Version: Michigan Math 679, Fall 2013 · Checked 2026-10-13

Rational Points on Modular Elliptic Curves

Henri Darmon · Author-hosted monograph · Research · English · PDF

Full PDF opened publicly on the author or university host.

Studies modularity, Heegner-point constructions and special L-values in the arithmetic of elliptic curves.

Preparation: Elliptic curves; modular forms; algebraic number theory.

Use: Study the modular approach to rational-point constructions.

Open full PDFSource / terms
Edition and sources

Version: Author-hosted manuscript of the 2004 CBMS monograph · Checked 2026-10-13