How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Simple normal crossings divisors and simultaneous normal crossings position
Definition
Let be a regular locally Noetherian scheme of pure dimension (embedding dimension and regular local ring). A reduced effective Cartier divisor (Effective cartier divisor, Cartier divisor) is a strict normal crossings divisor (an SNC divisor) if for every point , writing , there is a regular system of parameters of and a subset such that the ideal of in is generated by ; equivalently, every irreducible component of is regular and the local equations of the components through extend to a regular system of parameters. A finite family of reduced effective Cartier divisors on is in simultaneous SNC position if for every subset the union of components of the divisors in is an SNC divisor; equivalently, at every point the union of all components of members of passing through is cut out by a subset of a regular system of parameters of . For the marked-ideal algorithm on this page, the irreducible components within each individual member of must be pairwise disjoint, and no irreducible component is repeated in different members. Thus at a point each member contributes at most one distinct parameter equation. This is the additional boundary convention of Włodarczyk, Definition 2.1.1. Such a family always carries a fixed total order, and the members of play the role of the exceptional divisors of a multiple test blow-up.
Depends on
- Cartier divisor
- Chain dimension and the empty-space convention
- Effective cartier divisor
- embedding dimension and regular local ring
- Invertible sheaf of cartier divisor
- A local ring is a nonzero commutative ring with a unique maximal ideal
- Locally Noetherian and Noetherian schemes
- Strict normal crossings divisor on a regular surface
Used by
- Canonical resolutions with invariants of a marked ideal Definition
- Marked ideals and their support Definition
- Marked ideals of maximal order, tangent directions and transversality to the exceptional divisors Definition
- Multiple test blow-ups, controlled transforms and resolutions of marked ideals Definition
- An automorphism of the completed local ring matching two tangent directions preserves the homogenization Lemma
- Blowup charts of the quadric cone at its vertex Lemma
- Controlled transforms are well defined Lemma
- Order and simultaneous normal crossings are preserved by smooth morphisms Lemma
- Order functions and normal-crossings strata are upper semicontinuous Lemma
- Restriction of a marked ideal to a smooth subvariety and its blow-ups Lemma
- Canonical resolution of marked ideals Proposition
- Conventions for the resolution development Remark
- Canonical principalization of ideals in characteristic zero Theorem
- Weak embedded desingularization in characteristic zero Theorem
Dependency tree · two levels
27 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Jaroslaw Wlodarczyk, Simple Hironaka resolution in characteristic zero, J. Amer. Math. Soc. 18 (2005) 779-822; author's arXiv version math/0401401 (28 pp., dated October 25, 2018) (standard reference, not scraped)
- The Stacks Project, Etale Morphisms, Definition 41.21.1 and Lemma 41.21.2 (strict normal crossings divisor) (tag 0BIA) (standard reference, not scraped)