Intersection theory

Intersection theory
Name	Intersection theory
Field	Mathematics
Subfields	Algebraic topology; Algebraic geometry; Differential topology
Notable people	Jean-Pierre Serre; William Fulton; Alexander Grothendieck; René Thom; Henri Poincaré
Institutions	Institute for Advanced Study; Mathematical Institute, University of Oxford; École Normale Supérieure

Intersection theory

Intersection theory studies how subspaces meet inside ambient spaces, producing algebraic invariants that count, measure, or classify intersections. It links topological invariants, homological algebra, and algebraic cycles to produce numbers or classes that remain stable under deformations studied by Jean-Pierre Serre, Alexander Grothendieck, and William Fulton. Techniques arise in contexts ranging from mapping class groups at the Institute for Advanced Study to enumerative problems influenced by results at the École Normale Supérieure and Mathematical Institute, University of Oxford.

Introduction

Intersection theory formalizes the notion of "how" and "how many" geometric objects meet inside a manifold or variety. Early formulations translate geometric intersection data into algebraic invariants such as homology classes, cohomology pairings, and intersection multiplicities. Frameworks connect foundational contributors including Henri Poincaré, whose work on homology and duality influenced later developments by René Thom and Alexander Grothendieck. Modern treatments synthesize ideas from sheaf theory, scheme theory, and cobordism; standard references often cite expositions by William Fulton and lectures given at institutions like the Institute for Advanced Study.

Historical Development

The evolution of intersection theory passes through classical topology, the birth of algebraic topology, and the scheme-theoretic revolution. In the late 19th and early 20th centuries, Henri Poincaré introduced homology and duality, setting the stage for intersection pairings used by later mathematicians such as René Thom. The mid-20th century saw formalization via homology and cohomology theories developed by groups working around École Normale Supérieure and University of Paris, while the 1960s and 1970s brought algebraic geometric rigor through Alexander Grothendieck's schemes and his collaborators at institutes like IHÉS. The late 20th century produced comprehensive algebraic accounts; William Fulton synthesized many strands and promoted computational approaches at venues including Princeton University and Harvard University.

Classical Intersection Theory (Algebraic Topology)

Classical intersection theory in algebraic topology treats intersections of submanifolds within oriented manifolds using transverse intersection and Poincaré duality. Given oriented closed manifolds studied by researchers at Institute for Advanced Study and homology classes introduced by Henri Poincaré, intersections correspond to cap and cup products in singular cohomology, and pairings are computed via Mayer–Vietoris sequences often discussed in seminars at Mathematical Institute, University of Oxford. Transversality theorems by followers of René Thom guarantee that generic perturbations produce transverse intersections counted with signs; these counts yield invariants used in classification problems associated with Thom conjecture-style questions and cobordism theories developed at institutions like Princeton University.

Intersection Theory in Algebraic Geometry

In algebraic geometry, intersection theory assigns intersection numbers and cycle classes to subvarieties inside schemes and projective varieties. Grothendieck's formulation using Chow groups and cycle maps, elaborated by Alexander Grothendieck and later systematized by William Fulton, replaces differential transversality with algebraic notions of proper intersection and intersection multiplicity. Central constructions include Chow rings, Chern classes, and pushforward/pullback maps appearing in the work of algebraic geometers at Institut des Hautes Études Scientifiques and École Normale Supérieure. Intersection multiplicities satisfy axioms reflecting functoriality, commutativity, and compatibility with rational equivalence; these structures underpin enumerative formulas used in classical problems studied by mathematicians affiliated with Harvard University and Princeton University.

Computational Methods and Examples

Computational intersection theory blends symbolic algebra, toric geometry, and localization techniques. For simple projective examples, Bezout-type theorems count intersection points of hypersurfaces in projective space, building on methods disseminated in courses at University of Cambridge and University of Oxford. Toric varieties allow combinatorial computation via fans and polytopes explored in seminars at ETH Zurich and Max Planck Institute for Mathematics, while equivariant localization—used extensively in enumerative geometry programs at IHÉS—reduces computations to fixed loci for group actions studied by researchers at Princeton University. Software frameworks and algorithmic implementations, developed at centers like University of California, Berkeley and University of Illinois Urbana-Champaign, compute Chow rings, Chern classes, and intersection products for concrete examples from Schubert calculus on Grassmannians, a subject with historical ties to problems addressed at Boston University and Columbia University.

Applications and Connections

Intersection theory interfaces with many fields and famous problems. In string theory contexts discussed at California Institute of Technology and CERN, intersection numbers on Calabi–Yau varieties enter counts of BPS states and mirror symmetry conjectures influenced by collaborations between researchers at Princeton University and Harvard University. In enumerative geometry, intersections underpin classical counts of plane curves and modern results in Gromov–Witten theory developed at Courant Institute and Institut des Hautes Études Scientifiques. Connections to number theory appear in arithmetic intersection theory cultivated by mathematicians at Institute for Advanced Study and University of Cambridge, while interactions with representation theory and Schubert calculus have been central to programs at Massachusetts Institute of Technology and Mathematical Institute, University of Oxford.

Category:Mathematics