Du Bois singularity¶
Classify a reduced characteristic-zero scheme by requiring its structure sheaf to agree quasi-isomorphically with degree zero of the Du Bois complex, equivalently through a log-resolution criterion.
Core Idea¶
A reduced scheme X has Du Bois singularities when the natural map from O_X to the zeroth graded Du Bois complex is a quasi-isomorphism; Schwede's criterion recognizes the property using a log resolution and reduced inverse image. A filtered derived de Rham object records cohomological behavior of a singular variety, while the log-resolution criterion compares O_X with Rπ_*O_E. 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¶
Du Bois singularity belongs to complex and characteristic-zero algebraic geometry and is useful where the analyst can specify a reduced separated scheme of finite type in characteristic zero, often embedded as a closed subscheme of a smooth ambient scheme, then evaluate the structure sheaf is recovered by the designated derived Du Bois or log-resolution object. The scope is broad within that domain but bounded by the need for the canonical map O_X→̲Ω_X^0 is a quasi-isomorphism, equivalently under Schwede's hypotheses O_X→Rπ_*O_E is. The standard theory in the cited sources assumes reduced finite-type schemes over a characteristic-zero field; extension claims require separate justification.
Clarity¶
The abstraction clarifies a crowded vocabulary by making the structure sheaf is recovered by the designated derived Du Bois or log-resolution object the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because Du Bois is an eponym for a singularity class, not a numerical invariant.
Manages Complexity¶
Without the abstraction, an analyst must reason directly over many local details: hyperresolutions, filtered derived categories, log resolutions, exceptional divisors, derived pushforwards, and interactions with other singularity classes. Du Bois singularity 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: a reduced separated scheme of finite type in characteristic zero, often embedded as a closed subscheme of a smooth ambient scheme. Reject examples whose alleged carrier belongs to a different problem. 2. Lock the constitutive rule. Express the canonical map O_X→̲Ω_X^0 is a quasi-isomorphism, equivalently under Schwede's hypotheses O_X→Rπ_*O_E is independently of one notation or implementation.
Knowledge Transfer¶
Knowledge transfers strongly among subfields of complex and characteristic-zero algebraic geometry because they reuse a reduced separated scheme of finite type in characteristic zero, often embedded as a closed subscheme of a smooth ambient scheme, A filtered derived de Rham object records cohomological behavior of a singular variety, while the log-resolution criterion compares O_X with Rπ_*O_E., and verify the scheme and resolution hypotheses, identify the reduced inverse image E, and establish the derived quasi-isomorphism. A theorem, diagnostic, or modeling warning can travel when those roles remain literal.
Relationships to Other Abstractions¶
Current abstraction Du Bois singularity Domain-specific
Parents (1) — more general patterns this builds on
-
Du Bois singularity is a kind of Classification Prime
The proposed strict upward parent is
prime:classification.
Hierarchy path (1) — routes to 1 parentless root
- Du Bois singularity → Classification
Neighborhood in Abstraction Space¶
Du Bois singularity sits in a moderately populated region (51st percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Sheaves, Topoi & Algebraic Spaces (16 abstractions)
Nearest neighbors
- Coherent sheaf — 0.90
- Inverse image functor — 0.89
- Verdier duality — 0.88
- Derived scheme — 0.88
- Sheaf of spectra — 0.88
Computed from structural-signature embeddings · 2026-09-08