Algebraic Geometry Unit 7 Review: Curves and Surfaces

Key Concepts and Definitions

• Algebraic geometry studies geometric objects defined by polynomial equations, combining abstract algebra with geometry
• Affine varieties are zero sets of polynomials in affine space $\mathbb{A}^n$, while projective varieties are zero sets in projective space $\mathbb{P}^n$
• Curves are one-dimensional algebraic varieties, classified by their genus $g$ (number of holes)
  • Examples include lines ($g=0$), elliptic curves ($g=1$), and hyperelliptic curves ($g\geq 2$)
• Surfaces are two-dimensional algebraic varieties, classified by their Kodaira dimension $\kappa$ (measure of complexity)
  • Examples include planes ($\kappa=-\infty$), K3 surfaces ($\kappa=0$), and general type surfaces ($\kappa=2$)
• Morphisms between varieties are mappings preserving the algebraic structure, analogous to continuous maps in topology
• Sheaves are tools for studying local properties of varieties, generalizing the notion of vector bundles
• Schemes provide a unified framework for studying varieties over arbitrary rings, not just fields

Types of Curves and Surfaces

• Plane curves are defined by a single polynomial equation $f(x,y)=0$ in the affine plane $\mathbb{A}^2$
  • Examples include lines ($ax+by+c=0$), conics ($ax^2+bxy+cy^2+dx+ey+f=0$), and cubics ($ax^3+bx^2y+cxy^2+dy^3+\cdots=0$)
• Space curves are defined by the intersection of two or more polynomial equations in $\mathbb{A}^3$ or higher-dimensional spaces
  • Examples include the twisted cubic ($x=t$, $y=t^2$, $z=t^3$) and the intersection of two quadric surfaces
• Ruled surfaces are swept out by a moving line, such as a cylinder, cone, or hyperboloid
• Quadric surfaces are defined by a single quadratic equation in $\mathbb{A}^3$, including spheres, ellipsoids, and hyperbolic paraboloids
• Cubic surfaces are defined by a single cubic equation in $\mathbb{A}^3$, with 27 lines lying on the surface
• K3 surfaces are smooth, simply connected surfaces with trivial canonical bundle, playing a central role in algebraic geometry
• Calabi-Yau manifolds are higher-dimensional analogs of K3 surfaces, important in string theory and mirror symmetry

Algebraic Equations and Representations

• Polynomial equations in several variables define algebraic varieties, with coefficients typically in a field $k$ (e.g., $\mathbb{Q}$, $\mathbb{R}$, $\mathbb{C}$)
• Homogeneous polynomials define projective varieties, with solutions invariant under scalar multiplication
  • Example: the projective curve $x^3+y^3+z^3=0$ in $\mathbb{P}^2$
• Parametric equations represent curves and surfaces using functions of auxiliary variables
  • Example: the unit circle as $x=\cos t$, $y=\sin t$ for $t\in[0,2\pi]$
• Implicit equations define varieties as level sets of polynomials, useful for determining intersection points
• Rational functions are ratios of polynomials, forming the function field of a variety
• Coordinate rings are rings of polynomial functions on a variety, capturing its algebraic structure
• Ideals in the coordinate ring correspond to subvarieties, with prime ideals corresponding to irreducible components

Properties and Characteristics

• Dimension of a variety is the maximum length of chains of irreducible subvarieties, with curves having dimension 1 and surfaces 2
• Degree of a variety is the number of intersection points with a general linear subspace of complementary dimension
  • Example: a plane curve of degree $d$ intersects a line in $d$ points (counting multiplicity)
• Genus of a curve measures its topological complexity, related to the degree and singularities by the genus-degree formula
• Smoothness means the tangent space at each point has the same dimension as the variety itself
  • Singular points are where this fails, such as cusps, nodes, or tacnodes on curves
• Rationality means the variety is birational to projective space, with a dense set of rational points
  • Rational curves have genus 0, while elliptic curves are not rational
• Birational equivalence is a weaker notion of isomorphism, allowing maps that are not defined everywhere
  • Example: a circle and a line are birational, by stereographic projection
• Canonical divisor encodes the intrinsic curvature of a variety, with its properties determining the Kodaira dimension

Geometric Interpretations

• Real points of a variety form a manifold, visualizing its shape in Euclidean space
  • Example: the real points of the unit circle $x^2+y^2=1$ form a familiar closed curve
• Tropicalization replaces a variety over a valued field with a polyhedral complex, retaining combinatorial information
• Analytification associates a complex analytic space to a variety over $\mathbb{C}$, linking algebraic and analytic geometry
• Berkovich spaces provide a notion of analytic geometry over non-Archimedean fields, using valuations instead of absolute values
• Étale fundamental groups capture the topological structure of varieties in characteristic $p$, analogous to the usual fundamental group
• Hodge structures on the cohomology of complex varieties reveal deep connections to representation theory and automorphic forms
• Moduli spaces parametrize families of varieties with specified properties, such as curves of given genus or surfaces with fixed Hodge numbers

Singularities and Special Points

• Singular points are where the Jacobian matrix of partial derivatives has rank less than the dimension of the variety
  • Examples include nodes ($x^2=y^2$), cusps ($x^2=y^3$), and more complicated singularities
• Blowing up a variety at a point replaces it with a projective space of lines through the point, resolving singularities
  • Example: blowing up the origin of the curve $y^2=x^3$ yields a smooth elliptic curve
• Desingularization theorems assert that every variety is birational to a smooth one, obtained by repeatedly blowing up singularities
• Milnor numbers measure the complexity of a singularity, related to its local topology and intersection theory
• Infinitely near points are points on successive blowups, used to study singularities in fine detail
• Rational double points are special singularities on surfaces, classified by Dynkin diagrams of type ADE
• Moduli of singularities describe how singularities can deform in families, governed by versal deformation spaces

Applications in Mathematics and Beyond

• Elliptic curves over finite fields are used in cryptography, such as in the design of public-key encryption schemes
• Algebraic topology uses varieties to construct topological invariants, such as the cohomology rings of flag varieties
• Complex geometry studies the interplay between algebraic, analytic, and geometric properties of complex varieties
  • Example: Hodge theory relates the cohomology of a complex variety to its subvarieties and differential forms
• Arithmetic geometry applies algebraic geometry to number theory, studying rational points and Diophantine equations
  • Example: Fermat's Last Theorem was proved using elliptic curves and modular forms
• Physics employs algebraic geometry in string theory, quantum field theory, and general relativity
  • Example: Calabi-Yau manifolds are used to compactify extra dimensions in string theory
• Coding theory uses algebraic curves over finite fields to construct error-correcting codes with good parameters
• Robotics and computer vision apply algebraic geometry to problems such as motion planning and 3D reconstruction

Advanced Topics and Current Research

• Moduli spaces are varieties parametrizing other varieties, such as moduli of curves, vector bundles, or abelian varieties
  • Example: the moduli space $M_g$ of curves of genus $g$ is itself a variety of dimension $3g-3$
• Minimal model program seeks to classify all algebraic varieties up to birational equivalence, by finding "simplest" representatives in each class
  • Example: every surface is birational to a ruled surface, a K3 surface, an abelian surface, or a surface of general type
• Derived categories and non-commutative geometry generalize algebraic geometry by replacing varieties with categories of sheaves or modules
• Hodge conjecture predicts that every Hodge class on a projective variety is a linear combination of classes of algebraic cycles
• Langlands program relates Galois representations, automorphic forms, and algebraic varieties over number fields
• Birational geometry in characteristic $p$ involves new phenomena, such as Frobenius morphisms and inseparable extensions
• Berkovich spaces and rigid analytic geometry extend algebraic geometry to non-Archimedean fields, with applications to dynamics and moduli
• Tropical geometry studies degenerations of varieties over valued fields, leading to combinatorial shadows that retain essential information