← all areas

Namespace V3Asm 12 theorems

• Special-fibre points of dimension ≤ 1 are generic V3Asm.codim 907 below · cited by 1 · depth 18
• Special-fibre components are invertible ideal sheaves V3Asm.comp_isInvertible 995 below · cited by 1 · depth 18
• Product of the component ideal sheaves on Y equals (p) V3Asm.comp_prod 280 below · cited by 1 · depth 18
• Component intersections occur only at consecutive-chain edge points V3Asm.edgePt_exhaust 254 below · cited by 1 · depth 18
• Edge points lie on consecutive components of the chain V3Asm.edgePt_mem 1 below · cited by 1 · depth 18
• Transversality of consecutive components at each edge point V3Asm.edgePt_transversal 256 below · cited by 1 · depth 18
• Component ideals at η(v): maximal, others the unit ideal V3Asm.eta_stalk 979 below · cited by 1 · depth 18
• Geometric fibres of the exceptional components are rational curves V3Asm.exc_rational 8 below · cited by 1 · depth 18
• Smoothness of the resolved model off the edge points V3Asm.exists_smoothOffEdges 914 below · cited by 1 · depth 18
• Component labels on the crossing charts match the toric table V3Asm.label 269 below · cited by 1 · depth 18
• Special fibre of the strict transform of the ∞-component V3Asm.strict_iso_inf 193 below · cited by 1 · depth 18
• Geometric κ-fibre of the strict transform of the zero component V3Asm.strict_iso_zero 193 below · cited by 1 · depth 18