Mathwords logoMathwords

Algebraic Geometry — Definition, Formula & Examples

Algebraic geometry is the branch of mathematics that studies the shapes and spaces defined by systems of polynomial equations. It connects algebra (polynomials, rings, ideals) with geometry (curves, surfaces, higher-dimensional spaces).

Algebraic geometry is the study of algebraic varieties and, more generally, schemes — geometric objects arising as the solution sets of systems of polynomial equations over a field or ring. Its foundational language uses commutative algebra to analyze the interplay between the algebraic structure of polynomial rings and the geometric properties of their zero loci.

How It Works

The central idea is to start with one or more polynomial equations and study the set of all points that satisfy them simultaneously. This solution set is called an algebraic variety. For instance, the equation x2+y2=1x^2 + y^2 = 1 defines a circle in R2\mathbb{R}^2, and algebraic geometry gives you tools to study its properties — dimension, singularities, symmetries — purely through the algebra of the defining polynomials. At a more advanced level, the theory replaces varieties with schemes (built from commutative rings via their prime spectra) and uses sheaf theory to handle local-to-global constructions.

Worked Example

Problem: Determine the type of curve defined by y2=x3−xy^2 = x^3 - x over the real numbers and find its singular points.
Rewrite as F(x,y) = 0: Set F(x,y)=y2−x3+xF(x,y) = y^2 - x^3 + x. The curve is the zero set V(F)={(x,y)∈R2:F(x,y)=0}V(F) = \{(x,y) \in \mathbb{R}^2 : F(x,y) = 0\}.
F(x,y)=y2−x3+x=0F(x,y) = y^2 - x^3 + x = 0
Check for singular points: A point is singular if both partial derivatives vanish there. Compute the partials and set them equal to zero.
∂F∂x=−3x2+1=0,∂F∂y=2y=0\frac{\partial F}{\partial x} = -3x^2 + 1 = 0, \quad \frac{\partial F}{\partial y} = 2y = 0
Solve: From 2y=02y = 0 we get y=0y = 0. From −3x2+1=0-3x^2 + 1 = 0 we get x=±13x = \pm \frac{1}{\sqrt{3}}. Check these in the original equation: 0=−133+13=233≠00 = -\frac{1}{3\sqrt{3}} + \frac{1}{\sqrt{3}} = \frac{2}{3\sqrt{3}} \neq 0. Neither candidate satisfies F=0F = 0.
F ⁣(13, 0)=−133+13=233≠0F\!\left(\tfrac{1}{\sqrt{3}},\, 0\right) = -\tfrac{1}{3\sqrt{3}} + \tfrac{1}{\sqrt{3}} = \tfrac{2}{3\sqrt{3}} \neq 0
Answer: The curve y2=x3−xy^2 = x^3 - x is a nonsingular (smooth) elliptic curve — it has no singular points. This is a fundamental object of study in algebraic geometry.

Why It Matters

Algebraic geometry is essential in modern number theory (e.g., the proof of Fermat's Last Theorem relies on elliptic curves and modular forms). It also underpins applications in cryptography (elliptic curve cryptography), coding theory, robotics (studying configuration spaces), and string theory in theoretical physics.

Common Mistakes

Mistake: Assuming algebraic geometry only works over the real numbers.
Correction: Much of the theory is developed over arbitrary fields, especially algebraically closed fields like C\mathbb{C}, and even over rings via scheme theory. Working over R\mathbb{R} alone misses key phenomena like every polynomial of odd degree having a complex root.