Intersection Theory — Basics — Mathematics

⚡ Key Takeaways

Intersection theory assigns algebraic invariants to the geometric act of two subvarieties meeting inside an ambient variety. One-line statement: for subvarieties $V$ , $W$ of a smooth variety $X$ meeting "properly," there is a well-defined intersection cycle $V\cdot W$ , a sum of components of $V\cap W$ weighted by intersection multiplicities, living in the Chow ring $A^*(X)$ . Key result: the Chow ring exists and the intersection product is commutative, associative, and compatible with proper pushforward and flat pullback; over $\mathbb{P}^n$ it specializes to Bézout's theorem. Where it applies: enumerative geometry, algebraic cycles, characteristic classes, moduli theory, and Gromov–Witten invariants. Who/when: classical roots in Poncelet, Bézout, and Schubert (19th c.); rigorous foundations by van der Waerden, Weil, Severi, Chevalley, and definitively Fulton–MacPherson (1970s–80s).

💡 The Core Insight

The number of points in which two subvarieties meet is not an invariant of the subvarieties — but their rational equivalence classes are, and intersection respects rational equivalence. So the right move is: (1) replace cycles by their classes in the Chow group, (2) define a product on these classes, and (3) prove the product is independent of all choices. The two technologies that make this work are moving lemmas (deform cycles into general position so naive multiplicities apply) and, more powerfully, the deformation to the normal cone (which produces the intersection class intrinsically, even with no genericity at all).

DefinitionCycles and rational equivalence

Let $X$ be an algebraic scheme (separated, finite type) over a field $k$ . A $k$ -cycle on $X$ is a finite formal $\mathbb{Z}$ -linear combination $\sum n_i [V_i]$ of $k$ -dimensional integral closed subvarieties $V_i \subseteq X$ . The group of all such is $Z_k(X)$ . For a $(k+1)$ -dimensional subvariety $W\subseteq X$ and a nonzero rational function $r\in k(W)^\times$ , the principal divisor is

1

\quad \operatorname{div}(r) \;=\; \sum_{V} \operatorname{ord}_V(r)\,[V] \;\in\; Z_k(X),

Derivation hint: the sum runs over codimension-one subvarieties $V$ of $W$ ; $\operatorname{ord}_V(r)$ is the length-based order of vanishing/pole, $\operatorname{ord}_V(r)=\operatorname{length}_{\mathcal{O}_{W,V}}(\mathcal{O}_{W,V}/(r))$ when $r$ is a non-zero-divisor, extended additively to ratios. Two cycles are rationally equivalent if their difference is a $\mathbb{Z}$ -combination of principal divisors. The Chow group is

2

\quad A_k(X) \;=\; Z_k(X)\,/\,\big\{\text{rational equivalences}\big\}, \qquad A_*(X) = \bigoplus_k A_k(X).

Derivation hint: quotient the free abelian group on subvarieties by the subgroup generated by all $\operatorname{div}(r)$ over all $W$ and $r$ ; this is the algebraic analogue of homology with principal divisors playing the role of boundaries.

DefinitionIntersection multiplicity, the proper case

Let $X$ be a smooth $n$ -dimensional variety, and let $V$ , $W$ be subvarieties of dimensions $\dim V$ , $\dim W$ meeting properly, i.e. every component $Z$ of $V\cap W$ has the expected dimension $\dim V + \dim W - n$ . The intersection multiplicity of $V$ and $W$ along $Z$ is Serre's $\mathrm{Tor}$ -formula:

3

\quad i(Z;V,W) \;=\; \sum_{j\ge 0} (-1)^j \,\operatorname{length}_{\mathcal{O}_{X,Z}}\!\Big(\operatorname{Tor}^{\mathcal{O}_{X,Z}}_j\big(\mathcal{O}_{V,Z},\,\mathcal{O}_{W,Z}\big)\Big).

Derivation hint: the naive length $\operatorname{length}(\mathcal{O}_{V,Z}\otimes\mathcal{O}_{W,Z})$ overcounts when the intersection is non-Cohen–Macaulay; the alternating sum of higher Tors corrects it, and Serre proved this is finite, nonnegative, and gives the geometrically correct multiplicity. The intersection product is then

4

\quad V\cdot W \;=\; \sum_{Z\,\subseteq\, V\cap W} i(Z;V,W)\,[Z] \;\in\; A_{\dim V+\dim W - n}(X).

Derivation hint: sum over the components $Z$ of $V\cap W$ (all of expected dimension by properness), weighting each by its Serre multiplicity; well-definedness on classes requires the moving lemma or deformation to the normal cone.

TheoremChow ring structure (smooth case)

If $X$ is a smooth quasi-projective variety over a field, then $A^*(X) := \bigoplus_k A^k(X)$ — indexed by codimension $A^k(X) = A_{n-k}(X)$ — carries a graded-commutative ring structure with product extending [4], satisfying: 1. Commutativity: $\alpha\cdot\beta = \beta\cdot\alpha$ . 2. Associativity: $(\alpha\cdot\beta)\cdot\gamma = \alpha\cdot(\beta\cdot\gamma)$ . 3. Projection formula: for proper $f:X\to Y$ , $\ f_*(\alpha\cdot f^*\beta) = f_*\alpha\cdot\beta$ . 4. Pullback: for any morphism $f:X'\to X$ of smooth varieties there is a ring homomorphism $f^*:A^*(X)\to A^*(X')$ . 5. The class $[X]\in A^0(X)$ is the multiplicative identity.

TheoremBézout's theorem

Let $V_1,\dots,V_r$ be hypersurfaces in $\mathbb{P}^n$ of degrees $d_1,\dots,d_r$ meeting properly. Then, counted with intersection multiplicities,

5

\quad \deg\big(V_1\cdot V_2\cdots V_r\big) \;=\; d_1\,d_2\cdots d_r .

Derivation hint: $A^*(\mathbb{P}^n)\cong \mathbb{Z}[h]/(h^{n+1})$ with $h=[\text{hyperplane}]$ ; a degree- $d$ hypersurface has class $d\,h$ , so the product is $(d_1 h)\cdots(d_r h) = (\prod d_i)\,h^r$ , and $\deg(h^n)=1$ gives the point count.

ProofThe intersection product via deformation to the normal cone

We sketch the Fulton–MacPherson construction of $V\cdot W$ for $V,W\subseteq X$ with $X$ smooth, requiring no genericity.

Step 1 — Reduce to intersecting with the diagonal. The intersection $V\cap W$ inside $X$ equals $(V\times W)\cap \Delta_X$ inside $X\times X$ , where $\Delta_X\cong X$ is the diagonal. Since $X$ is smooth, $\Delta_X\hookrightarrow X\times X$ is a regular embedding (locally cut out by a regular sequence). This converts the general problem into intersecting a cycle with a regularly embedded smooth subvariety.

Step 2 — Deform to the normal cone. For a closed embedding $i:Z\hookrightarrow Y$ (here $Z=\Delta_X$ , $Y=X\times X$ ), construct the family

6

\quad M^\circ_Z Y \;=\; \mathrm{Bl}_{Z\times\{0\}}(Y\times \mathbb{P}^1)\setminus \mathrm{Bl}_{Z\times\{0\}}(Y\times\{0\}),

Derivation hint: blow up $Y\times\mathbb{P}^1$ along $Z\times\{\infty\}$ (or $\{0\}$ ); the fiber over generic $t$ is $Y$ , but the fiber over the special point degenerates to the normal cone $C_ZY$ , geometrically "zooming in" on $Z$ . This gives a flat family over $\mathbb{P}^1$ whose general fiber is $Y$ and whose special fiber is the normal cone $C_Z Y$ . When $i$ is a regular embedding, $C_ZY = N_ZY$ is the normal bundle.

Step 3 — Specialize the cycle. A cycle $\alpha$ on $Y$ (here $\alpha = [V\times W]$ ) deforms flatly across the family; its limit in the special fiber is a cycle on the normal cone, denoted $\sigma(\alpha)\in Z_*(C_ZY)$ .

Step 4 — Intersect with the zero section via Gysin. The normal bundle $N=N_ZY$ is a vector bundle over $Z$ of rank $d=\operatorname{codim}$ . There is a Gysin/refined-intersection map (inverse to flat pullback on Chow groups of bundles)

7

\quad s_N^{*}:\; A_k(N) \;\xrightarrow{\ \sim\ }\; A_{k-d}(Z),

Derivation hint: $A_*(N)\cong A_*(Z)$ via flat pullback $\pi^*$ (homotopy invariance of Chow groups for affine bundles); the Gysin map is the inverse composed with the degree shift, formally "intersecting with the zero section."

Step 5 — Assemble. The intersection class is

8

\quad V\cdot W \;:=\; (\text{pr}_V)_*\,\Big(s_{N}^{*}\,\sigma([V\times W])\Big)\;\in\; A_{\dim V+\dim W-n}(V\cap W),

Derivation hint: read backwards — degenerate $V\times W$ into the normal cone of the diagonal, intersect with the zero section using the Gysin isomorphism, and push the result to $V\cap W$ ; one then checks this refines to a class in $A_*(X)$ matching [4] in the proper case.

Step 6 — Verify Serre's formula in the proper case. When the intersection is proper, $\sigma([V\times W])$ is supported on the right-dimensional pieces and $s_N^*$ extracts exactly the multiplicities $i(Z;V,W)$ of [3]; the equivalence of the cone-theoretic and Tor-theoretic multiplicities is a theorem of Fulton (and, for the local algebra, Serre). $\blacksquare$

∎

mathematician · William Fulton & Robert MacPherson | 1970s–1980s

Fulton (b. 1939) and MacPherson (b. 1944) recast intersection theory on a fully rigorous, characteristic-free, deformation-theoretic footing. Their 1981 memoir Categorical Framework for the Study of Singular Spaces and Fulton's 1984 monograph Intersection Theory replaced the older moving-lemma and Tor-formula approaches with deformation to the normal cone, dispensing with smoothness of the ambient space where possible and producing refined classes supported on the actual intersection. This made bivariant theory, excess-intersection formulas, and Riemann–Roch without denominators into systematic tools. Earlier rigor came from B. L. van der Waerden, André Weil (Foundations of Algebraic Geometry, 1946), Wei-Liang Chow, and Jean-Pierre Serre, who supplied the Tor multiplicity. Fulton's book remains the field's standard reference.

🧠 Intuition

Think of intersection theory as a bookkeeping system that survives all the ways geometry can go wrong. Two lines in the plane meet in one point — unless they are parallel, in which case they meet "at infinity" ( $\mathbb{P}^2$ fixes this), or unless they coincide, in which case they meet in a whole line (excess dimension). Bézout's promise of $de$ points is kept only after three corrections: work projectively (no points lost to infinity), work over $\overline{k}$ (no points lost to non-existence of roots), and count with multiplicity (a tangency counts twice, a triple contact thrice). The deep idea is that you should not measure intersection by looking at $V\cap W$ as a set, but by recording how $V$ approaches $W$ to first order. That first-order data is the normal cone — the algebraic shadow of "the directions from which $V$ comes in." When $V$ and $W$ meet transversally, the cone is a plain bundle and you just count points. When they are tangent, the cone bends, and the bending is the excess multiplicity. Deformation to the normal cone is a slow-motion film of the collision; intersection multiplicity is what you read off the final frame.

Figure

Two conics meeting: transversal vs. tangential intersection, illustrating multiplicity

```svg

```

ExampleBézout in the plane: a cubic meets a conic

Given: In $\mathbb{P}^2$ over $\mathbb{C}$ , let $C$ be a smooth cubic ( $d_1=3$ ) and $Q$ a smooth conic ( $d_2=2$ ), meeting properly.

Find: the number of intersection points counted with multiplicity.

Steps. 1. The Chow ring is $A^*(\mathbb{P}^2)=\mathbb{Z}[h]/(h^3)$ , where $h=[\text{line}]$ satisfies $\deg(h^2)=1$ . 2. Class of $C$ : a degree-3 curve has $[C]=3h$ . Class of $Q$ : $[Q]=2h$ . 3. Intersection product: $[C]\cdot[Q] = (3h)(2h) = 6h^2$ . 4. Degree: $\deg(6h^2)=6\cdot\deg(h^2)=6$ .

Answer: $\boxed{6 \text{ points (with multiplicity)}}$ . If, say, two coincide via a simple tangency, one sees 5 distinct points with multiplicities $2,1,1,1,1$ .

ExampleSelf-intersection of a curve on a surface

Given: On the surface $X=\mathbb{P}^1\times\mathbb{P}^1$ , let $f=\{p\}\times\mathbb{P}^1$ and $g=\mathbb{P}^1\times\{q\}$ be the two ruling fibers. The Chow ring is $A^*(X)=\mathbb{Z}[f,g]/(f^2,\,g^2)$ with $\deg(f\cdot g)=1$ .

Find: (a) $f\cdot g$ , (b) the self-intersection $f^2$ , (c) the self-intersection of the diagonal-type class $D=f+g$ .

Steps. 1. (a) $f$ and $g$ meet transversally in one point: $f\cdot g = 1$ point, $\deg=1$ . 2. (b) Two distinct horizontal fibers $\{p\}\times\mathbb{P}^1$ and $\{p'\}\times\mathbb{P}^1$ are disjoint and rationally equivalent to $f$ ; hence $f^2 = 0$ . (The relation $f^2=0$ encodes "a fiber moves off itself.") 3. (c) $D^2 = (f+g)^2 = f^2 + 2 f\cdot g + g^2 = 0 + 2(1) + 0 = 2$ .

Answer: $\boxed{f\cdot g = 1,\quad f^2 = 0,\quad D^2 = 2}$ .

⚠️ Common mistake

"Intersection multiplicity is just $\dim_k \mathcal{O}_{V,Z}\otimes\mathcal{O}_{W,Z}$ ." This naive length is correct only when the local intersection is Cohen–Macaulay (e.g. transversal, or hypersurface-against-hypersurface). In general it overcounts, and you must use the full alternating Tor-sum [3]. Serre's celebrated nonnegativity, vanishing, and positivity conjectures (much of which is now theorem) precisely concern when the higher Tor terms behave.

⚠️ Common mistake

"You always need to move the cycles into general position." The classical moving lemma works for smooth quasi-projective varieties, but it can fail or be awkward (singular ambient, non-quasi-projective, families). Deformation to the normal cone constructs $V\cdot W$ intrinsically without moving anything — this is the whole point of the Fulton–MacPherson reformulation, and it is what lets intersection theory function on singular spaces and in families.

CounterexampleBézout fails without the three corrections

Take two lines in the affine plane $\mathbb{A}^2_{\mathbb{R}}$ : $y=x$ and $y=x+1$ . They are degree-1 curves, so Bézout predicts $1\cdot 1 = 1$ intersection point. But they are parallel and meet nowhere in $\mathbb{A}^2$ . The failure has nothing to do with multiplicity — it is that affine space loses points at infinity. Passing to $\mathbb{P}^2$ , the lines meet at the point $[1:1:0]$ on the line at infinity, restoring the count to $1$ . Lesson: Bézout [5] requires the projective, algebraically closed, multiplicity-weighted setting; drop any one and the count breaks.

CounterexampleExcess intersection: when

V\cap W

is too big

In $\mathbb{P}^3$ , let $V=W$ be the same line $L$ . Naively " $L\cdot L$ " should be a $\dim L+\dim L-3 = 1+1-3 = -1$ dimensional cycle — impossible. The intersection is not proper: $L\cap L = L$ has dimension $1$ , not $-1$ . Naive multiplicity is undefined. The Fulton–MacPherson machinery still returns a well-defined class via the normal cone, but it lives in $A_*(L)$ and involves the excess normal bundle; the "expected" number must be corrected by a Segre/Chern class term. This is the prototype for the excess intersection formula.

connection

Intersection theory sits at a crossroads. The Chow ring $A^*(X)$ is the algebraic-geometric sibling of singular cohomology $H^*(X)$ ; the cycle class map $A^k(X)\to H^{2k}(X)$ links them and is the gateway to the Hodge Conjecture. The Gysin/pullback formalism is exactly that of Characteristic Classes — indeed Chern classes of vector bundles are defined via intersection theory, and the Grothendieck–Riemann–Roch Theorem expresses pushforward in $K$ -theory through Chern characters and Todd classes. The whole apparatus of rational equivalence parallels Singular Homology with principal divisors as boundaries, and it specializes for divisors to the theory of Divisors and Line Bundles and the Picard Group. In enumerative geometry it feeds Schubert Calculus on Grassmannians and modern Gromov–Witten Invariants.

🔬 Where this appears

⏳ History

- 1822 — Poncelet introduces the principle of continuity and points at infinity in projective geometry, the conceptual seed of "intersections that persist under deformation."

- 1779 / 1830s — Bézout's theorem, conjectured by Newton and proven by Étienne Bézout, asserts

d_1\cdots d_r

intersections — but multiplicity remains heuristic.

- 1864 — Chasles solves the conics problem (

3264

conics tangent to five), launching the enumerative geometry program and its many paradoxes.

- 1879 — Hermann Schubert publishes Kalkül der abzählenden Geometrie, a powerful but non-rigorous symbolic calculus; his methods motivate Hilbert's 15th problem: rigorize Schubert calculus.

- 1920s–30s — van der Waerden and the Italian school (Severi) push for rigor; van der Waerden gives early correct multiplicity definitions; Severi's intuition outruns available foundations.

- 1946 — André Weil's Foundations of Algebraic Geometry provides the first systematic rigorous intersection theory over arbitrary fields, using specialization and generic points.

- 1956 — Chevalley & Samuel give a local-algebra definition of multiplicity; Serre (1957–58) introduces the Tor-formula [3] and frames the multiplicity conjectures (vanishing, nonnegativity, positivity).

- 1956 — Chow defines what is now the Chow ring; rational equivalence becomes the canonical equivalence.

- 1981–1984 — Fulton & MacPherson develop deformation to the normal cone and the bivariant framework; Fulton's Intersection Theory (1984) becomes definitive, valid for singular schemes and in families.

- 1991 onward — Kontsevich, Witten, Vakil apply intersection theory on moduli spaces (psi-classes, virtual fundamental classes) to physics and Gromov–Witten theory.

open-problem

Several deep questions remain partly open. Serre's positivity conjecture — that $i(Z;V,W)>0$ whenever $V$ and $W$ meet properly along $Z$ in a regular local ring — was open for decades; the equicharacteristic and mixed-characteristic cases were resolved (Gabber, Roberts) only with heavy machinery, and the cleanest general statement still attracts work. The Chow groups of $0$ -cycles on a surface (Mumford's theorem: $A_0(X)$ can be infinite-dimensional) reveal that rational equivalence is vastly subtler than homological equivalence; the Bloch–Beilinson conjectures predict a filtration on Chow groups governed by Hodge theory and remain wide open. Whether the cycle class map is injective/surjective in suitable settings is the content of the Hodge Conjecture and the standard conjectures of Grothendieck. Finally, algebraic equivalence vs. rational equivalence vs. numerical equivalence differ in general, and understanding the precise relationships (e.g. the Griffiths group of cycles algebraically but not rationally trivial) is an active frontier.

Intersection Theory — Basics

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also