Algebraic Number Theory (Mathematics GU4043)


Instructor

Gyujin Oh (gyujinoh@math.columbia.edu)

Webpage

https://math.columbia.edu/~gyujinoh/Spring2024.html, and Courseworks.

Time and location

TTh 4:10-5:25PM, Location 307 Mathematics.

Teaching assistant

Matthew Hase-Liu (mh4198@columbia.edu)

Office hours

Gyujin: Tuesdays 2-3PM, at 517 Mathematics

Matthew: Tuesdays 9-10AM, Wednesdays 9-10AM, Fridays 10-11AM, at 406 Mathematics



Prerequisites

Both MATH GU4041 and MATH GU4042, or the equivalent.

This includes: Groups, homomorphisms, normal subgroups, the isomorphism theorems, symmetric groups, group actions, the Sylow theorems, finitely generated abelian groups, rings, homomorphisms, ideals, integral and Euclidean domains, the division algorithm, principal ideal and unique factorization domains, fields, algebraic and transcendental extensions, splitting fields, finite fields, Galois theory.

I advise anyone who did not take Modern Algebra I and II against from taking this course or, at least, to self-teach yourself the materials before the start of the semester.

What this course is about

The primary source will be my lecture notes, which can be found here.

We first aim to develop the basics of algebraic number theory. While doing so, we try to tie into the classical developments of number theory. After that, we focus more on exposing ourselves to modern developments of number theory.

There are various sources for further reference:

Pierre Samuel, Algebraic Theory of Numbers;

Lecture notes of a course taught by Brian Conrad;

James Milne, Algebraic Number Theory;

Hermann Weyl, Algebraic Theory of Numbers (written in old language - still a classic);

Daniel Marcus, Number Fields;

Lecture notes of a course taught by Michael Harris.

References for some of the more advanced topics (which may or may not be dealt later in the course):

Gerald Janusz, Algebraic Number Fields;

Chapters 1~6 of Lawrence Washington, Introduction to Cyclotomic Fields;

Lecture notes of a course taught by Akshay Venkatesh (on geometry of numbers).

Grading

There will be weekly homework assignments (50%), in-class midterm (20%), and a take-home final exam (30%).

Topics

Basic commutative algebra, Number fields, Ring of integers, Finiteness of class number, Dirichlet's unit theorem, Ramification, Local fields, Cyclotomic fields, Statements of local and global class field theory, Dirichlet $L$-functions, Analytic class number formula, Binary quadratic forms.




Assignment Due
HW 1 1/23 at 11:59PM
HW 2 1/30 at 11:59PM
HW 3 2/6 at 11:59PM
HW 4 2/13 at 11:59PM
HW 5 2/20 at 11:59PM
HW 6 2/27 at 11:59PM
HW 7 3/5 at 11:59PM
HW 8 3/19 at 11:59PM
HW 9 3/26 at 11:59PM
HW 10 4/2 at 11:59PM
HW 11 4/9 at 11:59PM
HW 12 4/16 at 11:59PM
HW 13 4/23 at 11:59PM
HW 14 4/30 at 11:59PM


The main source of the materials for this course is this lecture note.

Date Topic Further materials
1/16 (Tue) Mordell's equations
1/18 (Thu) Number fields and their rings of integers Primer on modules (Conrad)
1/23 (Tue) Number fields and their rings of integers
1/25 (Thu) Norms, traces, and discriminants Norm and trace (Conrad), Resultants and discriminants (Tunnell), Primitive element theorem (Brown)
1/30 (Tue) Finiteness of $\mathcal{O}_{K}$
2/1 (Thu) Dedekind domains
2/6 (Tue) Unique factorization of ideals
2/8 (Thu) Splitting of rational primes
2/13 (Tue) Splitting of rational primes Dedekind's index theorem (Conrad)
2/15 (Thu) Galois action on the splitting of primes; the Frobenius
2/20 (Tue) Cyclotomic fields; the quadratic reciprocity law
2/22 (Thu) Finiteness of class number; binary quadratic forms
2/27 (Tue) Finiteness of class number; binary quadratic forms On semi-reduced quadratic forms, continued fractions and class number (Levesque)
2/29 (Thu) Midterm
3/5 (Tue) Localization; discrete valuation rings
3/7 (Thu) Relative splitting of primes Modules over PID (Conrad), Smith normal form (Baker)
3/19 (Tue) Ramification and local fields Ostrowski's theorem (Conrad)
3/21 (Thu) Ramification and local fields
3/26 (Tue) Local fields and number fields
3/28 (Thu) Local class field theory Infinite Galois theory (Conrad)
4/2 (Tue) Global class field theory; Hilbert class fields
4/4 (Thu) Global class field theory; Hilbert class fields
4/9 (Tue) Dirichlet's unit theorem
4/11 (Thu) Dirichlet $L$-functions
4/16 (Tue) Dirichlet $L$-functions
4/18 (Thu) The analytic class number formula
4/23 (Tue) Ideal class groups of the cyclotomic fields
4/25 (Thu) Artin reciprocity as an instance of the Langlands program