Lecturer: Martin Orr
Assessment: Two courseworks (5% each), one exam (90%)
Algebraic geometry is the study of shapes defined as solutions to systems of polynomial equations in more than one variable. We call these shapes algebraic varieties. Examples include:
|The circle||Cardioid||A quadric surface|
The types of questions we ask in algebraic geometry include:
The beauty of algebraic geometry lies in its combination of geometric ideas and algebraic tools. Algebra is used to give precise definitions and proofs of the foundations, in place of the analysis you may be used to from other kinds of geometry. A key benefit is that this allows us to use geometric ideas to study solutions of polynomials over any field, not just the real or complex numbers.
Areas of mathematics which use algebraic geometry include number theory, representation theory, coding and cyptography and string theory. It also has applications in mathematical biology, algebraic statistics and control theory, where interesting problems can be described in terms of the solutions to some system of polynomial equations and then studied using the methods of algebraic geometry.
In this course, we will aim to focus on geometric intuition and examples. We will make use of commutative algebra, especially calculations with polynomials, but aim to avoid more advanced or technical concepts from algebra.
We will see the interplay between algebra and geometry in the foundations of the subject, for example the Nullstellensatz and basic properties of dimension. The core concepts will be illustrated with many interesting examples. We will not just give formal definitions of properties such as dimension and smoothness, but also see ways of calculating these for concrete examples.
By the end of this course:
You will be able to define affine and projective varieties, regular and rational maps between them, the Zariski topology and irreducible components of a variety.
You will understand a proof of the Nullstellensatz and how this allows us to translate between affine varieties and commutative algebra.
You will know several definitions of the dimension of an algebraic variety (some more algebraic, others more geometric) and be able to prove the equivalences between them.
You will be able to apply this knowledge to examples such as the twisted cubic, quadrics, the Segre embedding and simple parameter spaces.
M4P55 Commutative Algebra - The Algebraic Geometry course will assume knowledge of concepts from Commutative Algebra such as prime and maximal ideals, localisation, transcendental and algebraic field extensions and Hilbert's basis theorem. In the other direction, algebraic geometry provides a useful new way of thinking geometrically about commutative algebra.
M4P63 Algebra 4 - The contents of Algebra 4 are not directly relevant to this Algebraic Geometry course, although they will be extremely useful for students who go on to study algebraic geometry further.
M3P20 Geometry I: Algebraic Curves - Algebraic curves are the simplest algebraic varieties, and hence the algebraic curves course provides good background for Algebraic Geometry. The Algebraic Geometry course will not assume any prior knowledge of algebraic curves. The Algebraic Geometry course will take a more sophisticated approach, working with higher-dimensional varieties throughout, so direct duplication between the two courses should be small.
Reid, Undergraduate Algebraic Geometry - This is a nice short book at the right level. It covers most of the key concepts of this course but not all of the applications and examples we will look at.
Shafarevich, Basic Algebraic Geometry 1 - Chapter 1 and section 2.1 of this book form a good textbook for this course (if time permits we will cover a bit more of chapter 2). It is written more densely than Reid, but its proofs are often closer to the approaches we will use in this course. The book goes on to cover much more material - this would be a good book to look at if you want to read more of the theory of algebraic geometry.
Smith et al., An Invitation to Algebraic Geometry - This is another highly recommended book. It focusses more on examples and motivation and less on technicalities than Reid's book, omitting many proofs.
Harris, Algebraic Geometry: A First Course - This is a very nice book containing many examples of algebraic varieties, including those which we will cover in the course. It uses an approach which is primarily geometric and omits heavier algebra, similar to the spirit of the course. There is far more material in this book than we will cover in the course, and it is presented quite densely.
The figures of the circle and cardioid were created by Martin Orr using gnuplot. These figures are in the public domain.
The figure of a quadric surface is a cropped version of a figure created by Sam Derbyshire and obtained from Wikimedia Commons. It is used under the CC BY-SA 4.0 license.