
Lecture Description
In this beginning lecture, we introduce Algebraic Geometry as the study of the geometry of the set of common zeros of a collection of polynomials. We indicate that this would involve setting up a dictionary of sorts between the Geometric side and the Commutative Algebra side.
Course Index
- What is Algebraic Geometry?
- The Zariski Topology and Affine Space
- Going back and forth between subsets and ideals
- Irreducibility in the Zariski Topology
- Irreducible Closed Subsets Correspond to Ideals Whose Radicals are Prime
- Understanding the Zariski Topology on the Affine Line
- The Noetherian Decomposition of Affine Algebraic Subsets Into Affine Varieties
- Topological Dimension, Krull Dimension and Heights of Prime Ideals
- The Ring of Polynomial Functions on an Affine Variety
- Geometric Hypersurfaces are Precisely Algebraic Hypersurfaces
- Why Should We Study Affine Coordinate Rings of Functions on Affine Varieties ?
- Capturing an Affine Variety Topologically
- Analyzing Open Sets and Basic Open Sets for the Zariski Topology
- The Ring of Functions on a Basic Open Set in the Zariski Topology
- Quasi-Compactness in the Zariski Topology
- What is a Global Regular Function on a Quasi-Affine Variety?
- Characterizing Affine Varieties
- Translating Morphisms into Affines as k-Algebra maps
- Morphisms into an Affine Correspond to k-Algebra Homomorphisms
- The Coordinate Ring of an Affine Variety
- Automorphisms of Affine Spaces and of Polynomial Rings - The Jacobian Conjecture
- The Various Avatars of Projective n-space
- Gluing (n+1) copies of Affine n-Space to Produce Projective n-space in Topology
- Translating Projective Geometry into Graded Rings and Homogeneous Ideals
- Expanding the Category of Varieties
- Translating Homogeneous Localisation into Geometry and Back
- Adding a Variable is Undone by Homogenous Localization
- Doing Calculus Without Limits in Geometry
- The Birth of Local Rings in Geometry and in Algebra
- The Formula for the Local Ring at a Point of a Projective Variety
Course Description
This course is an introduction to Algebraic Geometry, whose aim is to study the geometry underlying the set of common zeros of a collection of polynomial equations. It sets up the language of varieties and of morphisms between them, and studies their topological and manifold-theoretic properties. Commutative Algebra is the "calculus" that Algebraic Geometry uses. Therefore a prerequisite for this course would be a course in Algebra covering basic aspects of commutative rings and some field theory, as also a course on elementary Topology. However, the necessary results from Commutative Algebra and Field Theory would be recalled as and when required during the course for the benefit of the students.
Algebraic Geometry in its generality is connected to various areas of Mathematics such as Complex Analysis, PDE, Complex Manifolds, Homological Algebra, Field and Galois Theory, Sheaf Theory and Cohomology, Algebraic Topology, Number Theory, QuadraticForms, Representation Theory, Combinatorics, Commutative Ring Theory etc and also to areas of Physics like String Theory and Cosmology. Many of the Fields Medals awarded till date are for research in areas connected in a non-trivial way to Algebraic Geometry directly or indirectly. The Taylor-Wiles proof of Fermat's Last Theorem used the full machinery and power of the language of Schemes, the most sophisticated language of Algebraic Geometry developed over a couple of decades from the 1960s by Alexander Grothendieck in his voluminous expositions running to several thousand pages. The foundations laid in this course will help in a further study of the language of schemes.