Perfect obstruction theory¶

A morphism from a perfect two-term complex to a space's cotangent complex that correctly captures first-order deformations and obstructions and supports a virtual fundamental class.

Version: v1 · 2026-09-08 · History
Domain-specific #: 6039
Origin domain: derived and enumerative algebraic geometry
Subdomain: derived and enumerative algebraic geometry

Core Idea¶

For a Deligne–Mumford stack the morphism is an isomorphism on degree-zero cohomology and surjective in degree minus one; symmetric and relative versions add further structure. The two-term complex models tangent and obstruction data, comparison with the cotangent complex certifies the required cohomology, and its vector-bundle-stack construction intersects an intrinsic normal cone to form a virtual cycle. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

Scope of Application¶

Perfect obstruction theory belongs to derived and enumerative algebraic geometry and is useful where the analyst can specify the typed derived and enumerative algebraic geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the scheme or stack and base, derived category and topology, perfect complex and amplitude, morphism to the cotangent complex, h-zero isomorphism and h-minus-one epimorphism, rank, normal cone, virtual dimension, orientation or symmetry, and equivalence are explicit.

Clarity¶

The abstraction clarifies a crowded vocabulary by making the scheme or stack and base, derived category and topology, perfect complex and amplitude, morphism to the cotangent complex, h-zero isomorphism and h-minus-one epimorphism, rank, normal cone, virtual dimension, orientation or symmetry, and equivalence are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Perfect obstruction theory. Perfect obstruction theory compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed derived and enumerative algebraic geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem. 2.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of derived and enumerative algebraic geometry because they reuse the typed derived and enumerative algebraic geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, The two-term complex models tangent and obstruction data, comparison with the cotangent complex certifies the required cohomology, and its vector-bundle-stack construction intersects an intrinsic normal cone to form a virtual cycle., and type the carrier, state every parameter and convention in the definition, test that the scheme or stack and base, derived category and topology, perfect complex and amplitude, morphism to the cotangent complex, h-zero isomorphism and h-minus-one epimorphism, rank, normal cone, virtual dimension, orientation or symmetry, and equivalence are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Perfect obstruction theory Domain-specific

Parents (1) — more general patterns this builds on

Perfect obstruction theory is a kind of Representation Prime

The proposed strict upward parent is prime:representation.

Hierarchy path (1) — routes to 1 parentless root

Perfect obstruction theory → Representation → Abstraction

Neighborhood in Abstraction Space¶

Perfect obstruction theory sits in a crowded region of the domain-specific corpus (11^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08