Algebraic Geometry II

Algebraic Geometry II is the continuation of the study of geometric objects defined by polynomial equations, building upon the foundations laid in Algebraic Geometry I. While the first course typically covers classical algebraic varieties over algebraically closed fields, Algebraic Geometry II delves into more sophisticated tools and concepts that have revolutionized the field since their introduction in the mid-20th century.

This course explores the scheme theory developed by Alexander Grothendieck and cohomology theories that have become essential tools in modern algebraic geometry. These powerful mathematical structures allow us to solve problems that were previously intractable and connect algebraic geometry to numerous other areas of mathematics.

Schemes and Their Morphisms

At the heart of modern algebraic geometry lies the concept of schemes, which generalize classical algebraic varieties. Schemes provide a unified framework that works over any field (not just algebraically closed ones) and even over rings.

Definition: A scheme is a locally ringed space $(X, \mathcal{O}_X)$ that is locally isomorphic to the spectrum of a ring $(\text{Spec}(R), \widetilde{R})$.

The spectrum of a ring $R$, denoted $\text{Spec}(R)$, consists of all prime ideals of $R$, equipped with the Zariski topology and a structure sheaf known as the structure sheaf $\mathcal{O}_X$. This construction provides a geometric interpretation of commutative rings.

Example: The affine space $\mathbb{A}^n_k$ over a field $k$ corresponds to the spectrum of the polynomial ring $k[x_1, \ldots, x_n]$.

Morphisms between schemes are continuous maps of spaces together with compatible ring homomorphisms between the structure sheaves. These morphisms reflect the geometric transformations while preserving the algebraic structure.

Sheaf Theory

Sheaves are fundamental tools that allow us to track data locally in geometry. A sheaf $\mathcal{F}$ on a topological space $X$ consists of data assigned to each open set of $X$, satisfying certain compatibility conditions.

Definition: A sheaf $\mathcal{F}$ on a topological space $X$ consists of:

A set $\mathcal{F}(U)$ for each open set $U \subset X$
Restriction maps $\rho_{UV}: \mathcal{F}(U) \to \mathcal{F}(V)$ for each inclusion $V \subset U$

satisfying identity and transitivity conditions, and a gluing condition for compatible local sections.

Important sheaf operations include pushforward, pullback, tensor products, and Hom sheaves. Coherent sheaves, quasi-coherent sheaves, and locally free sheaves are particularly significant in algebraic geometry.

Cohomology

Cohomology theories provide powerful tools to measure global aspects of geometric objects from local data. In algebraic geometry, sheaf cohomology plays a central role.

Basic Theorem: For a projective scheme $X$ over a Noetherian ring and a coherent sheaf $\mathcal{F}$ on $X$, the cohomology groups $H^i(X,\mathcal{F})$ are finitely generated modules and vanish for $i > \dim(X)$.

The calculation of cohomology groups can be achieved through various techniques including ech cohomology, derived functors, and spectral sequences. These groups provide invariants of the geometric objects that are essential for classification and comparison problems.

Divisors and Line Bundles

The study of divisors and line bundles provides deep connections between geometry and algebra. Divisors are formal sums of subvarieties of codimension one, while line bundles are locally free sheaves of rank one.

Definition: A Cartier divisor on a scheme $X$ is given by a collection $\{(U_i, f_i)\}$ where $\{U_i\}$ is an open covering of $X$ and $f_i$ is a nonzero divisor in $\mathcal{O}_X(U_i)$, such that $f_i/f_j$ is a unit in $\mathcal{O}_X(U_i \cap U_j)$.

There is a bijective correspondence between isomorphism classes of line bundles and linear equivalence classes of Cartier divisors. This connection allows geometric information to be translated into algebraic form and vice versa.

The Riemann-Roch Theorem

The Riemann-Roch theorem and its generalizations are among the most fundamental results in algebraic geometry. It relates analytic properties of algebraic curves to their geometric properties and has far-reaching applications.

Riemann-Roch Theorem for Curves: For a smooth projective curve $C$ of genus $g$ and a divisor $D$ on $C$, $$ \ell(D) - \ell(K-D) = \deg(D) + 1 - g, $$ where $\ell(D) = \dim H^0(C, \mathcal{O}(D))$ and $K$ is a canonical divisor.

Generalizations of this theorem, such as the Hirzebruch-Riemann-Roch theorem and the Grothendieck-Riemann-Roch theorem, relate topological and analytical invariants to algebraic invariants in higher dimensions.

Algebraic Curves

A deeper study of algebraic curves is a crucial component of Algebraic Geometry II. While curves may have been introduced in basic courses, their richer structure and classification are now explored in depth.

The moduli space of curves of genus $g$, denoted $M_g$, is a fundamental object that parameterizes all algebraic curves of a given genus. Understanding its properties remains a central research area in algebraic geometry.

Example: Elliptic curves (smooth projective curves of genus 1) are of particular importance due to their rich group structure and applications in number theory and cryptography.

Algebraic Surfaces

The study of algebraic surfaces represents a significant increase in complexity compared to curves. The classification of algebraic surfaces, analogous to the classification of curves by genus, involves more intricate invariants.

Key concepts in surface theory include the Picard group, Nron-Severi group, intersection theory, minimal models, and birational transformations. The Enriques-Kodaira classification provides a framework for organizing surfaces based on Kodaira dimension and other invariants.

Moduli Problems

Introduction to moduli spaces represents a bridge to more advanced topics. Moduli spaces parameterize geometric objects with certain equivalence relations, and their study connects algebraic geometry to representation theory, mathematical physics, and other fields.

Definition: A fine moduli space for a class of objects is a space $M$ such that:

Points of $M$ correspond bijectively to isomorphism classes of the objects
Families of objects of the given type over a base scheme $S$ correspond to morphisms $S \to M$

Constructing moduli spaces requires sophisticated techniques including GIT (Geometric Invariant Theory) and stack theory, which represent frontier areas of algebraic geometry.

Applications and Importance

Algebraic Geometry II provides tools that are indispensable in various areas of mathematics and beyond:

Number Theory: The modern approach to Diophantine equations relies heavily on scheme theory and cohomology methods.
String Theory: The physics of compactified dimensions uses advanced concepts from algebraic geometry.
Cryptography: Elliptic curve cryptography leverages the group structure of elliptic curves.
Singularity Theory: The study of singularities uses scheme-theoretic approaches to understand local behavior.
Complex Geometry: Many results in complex geometry have analogs or generalizations in the algebraic category.

Recommended Resources

For students seeking to deepen their understanding of Algebraic Geometry II, the following resources are highly recommended:

Hartshorne, R. (1977). Algebraic Geometry. Springer-Verlag. (Chapters II and III)
Grothendieck, A., and Dieudonn, J. (1960-1967). lments de gomtrie algbrique. Publications Mathmatiques de l'IHS.
Qing Liu. (2002). Algebraic Geometry and Arithmetic Curves. Oxford University Press.
Ravi Vakil. (2017). The Rising Sea: Foundations of Algebraic Geometry. (Available online)
Stacks Project. (Available online) A comprehensive, community-developed resource on algebraic stacks and related topics.

Conclusion

Algebraic Geometry II represents a significant deepening of the concepts introduced in the first course, providing students with powerful tools that have transformed mathematics in the last half-century. The study of schemes, sheaves, cohomology, and related concepts forms the foundation for advanced work in algebraic geometry and its applications.

Mastery of these topics opens doors to current research areas such as derived algebraic geometry, tropical geometry, p-adic geometry, and interactions with mathematical physics. The geometric intuition combined with algebraic rigor developed in this course serves as a model for mathematical thinking across disciplines.

Reference Files For Algebraic Geometry II

Screenshoot