Algebraic Geometry – What is Algebraic Geometry?

abstract-algebraalgebraic-geometry

I am a second year physics undergrad, loooking to explore some areas of pure mathematics. A word that often pops up on the internet is algebraic geometry.

What is this algebraic geometry exactly? Please could you give a less technical answer to describe the what this field does and how?

I have done linear algebra, some group and representation theory, and some basic point set topology all from mathematical physics textbooks. Also, a brief overview of the prerequisites to study and do research in the field. I know that commutative algebra, and topology is used, but in exactly what way and how are they inter-connected? How exactly do you mix algebra with topology? Thanks!

Best Answer

It's a massive subject, and there are many different perspectives; here are a few that don't require too much background.

Perspective one: It's a generalization of linear algebra.

Linear algebra is about dealing with systems of linear equations. This is easy: the set of solutions to a (homogeneous) system is just some subspace of $F^n$ (where $F$ is the field of scalars), and you can compute its dimension by row-reducing your system into echelon form.

Algebraic geometry is about dealing with systems of polynomial equations. As you may imagine, this is much harder. In linear algebra, much of the theory is entirely independent of the field $F$, at least until you want to diagonalize operators; in algebraic geometry, non-algebraically-closed $F$ are a massive headache, and there are phenomena in characteristic $p$ that don't show up in characteristic $0$.

Perspective two: It's a computational tool in classical geometry.

In geometry and topology we may wish to study invariants of manifolds. We define lots of invariants, e.g., homology groups, but how can we get our hands on them? For most examples, we can't do it easily at all, but if the example happens to be a complex manifold given by polynomial equations, there's a lot more that we can say. This is especially important if you want to do things with computers.

Perspective three: It's a conceptual way to think about commutative algebra.

If I give you some ring, OK, great, it has prime ideals, maximal ideals, zero divisors, etc. What does all this mean, and how do you ever remember the barrage of technical theorems about integrality, Artin rings, regular local rings, etc?

If the ring is the ring of functions on some space, then the geometry of the space may reflect properties of the ring, and we can remember the commutative algebra by picturing the geometry. What Grothendieck realized is that if we define "space" correctly (which is not so easy), every ring is the ring of functions on some space! For an example of how you might relate geometry to intrinsic properties of the ring: the space attached to a ring is connected if and only if all of the zero divisors in the ring are nilpotent.