Segre Class¶
A graded intersection-theoretic cycle class of a cone or closed embedding that records its projective directions and reduces to the inverse Chern class of the normal bundle for a regular embedding.
Core Idea¶
A Segre class assigns a graded cycle class to a cone over a scheme, or equivalently to the normal cone of a closed embedding. It packages how the cone points away from its base into the Chow group of that base. For a cone \(C\to X\), one projectively completes it as \(\mathbf P(C\oplus 1)\), uses the first Chern class of its tautological quotient line bundle, and pushes powers of that class back to \(X\). William Fulton's treatment makes this construction a basic ingredient of modern intersection theory.
Scope of Application¶
Segre classes appear wherever intersection theory must account for nontransverse or singular behavior. Deformation to the normal cone replaces an intersection by geometry on a normal cone, and Segre classes convert that cone into cycles entering refined Gysin maps, excess-intersection formulas, residual intersections, and localized characteristic classes.
They also support computations through blowups. If \(\pi:\operatorname{Bl}_X Y\to Y\) is the blowup and \(E\to X\) its exceptional divisor, the class can be recovered by pushing an expression involving \(E\); this is one reason birational invariance is computationally valuable.
Clarity¶
For a rank-\(r\) vector bundle \(E\to X\), let \(\pi:\mathbf P(E)\to X\) and \(\xi=c_1(\mathcal O_E(1))\). Projective-bundle relations imply that pushforwards of powers of \(\xi\) are the cohomological Segre components \(s_i(E)\), assembled as
Manages Complexity¶
The abstraction compresses embedding geometry into a graded class participating in the algebra of Chow groups. Instead of carrying the entire cone through every intersection calculation, one transports its Segre class, multiplies by Chern classes, and pushes or pulls components under controlled morphisms. The regular case provides a consistency check, while the general cone case handles singularities.
Abstract Reasoning¶
Segre classes instantiate a recurring mathematical move: extend an invariant from locally free objects to singular objects by replacing a missing quotient bundle with a cone. The extension is constrained by normalization on vector bundles and functorial behavior. This lets arguments prove a formula in a convenient birational model and push the result back.
Knowledge Transfer¶
The construction transfers safely from vector bundles to normal cones because projective completion, tautological line classes, cap products, and proper pushforward survive the change of input. What transfers is not the assertion that a cone is a bundle, but that the same projective-direction recipe defines a class and matches the inverse Chern class where both descriptions exist.
Relationships to Other Abstractions¶
Current abstraction Segre Class Domain-specific
Parents (1) — more general patterns this builds on
-
Segre Class presupposes Intersection Prime
Segre Class compositionally presupposes Intersection because its output lives in the intersection-theoretic cycle algebra and corrects nonproper intersections.
Hierarchy path (1) — routes to 1 parentless root
- Segre Class → Intersection → Set and Membership
Neighborhood in Abstraction Space¶
Segre Class sits in a sparse region of the domain-specific corpus (90th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- Seshadri Constant — 0.80
- Virtual fundamental class — 0.79
- Minimal Model Program — 0.78
- Euler sequence — 0.78
- Algebraic cobordism — 0.78
Computed from structural-signature embeddings · 2026-09-08