ModuleTheorem2Dot2BoundaryCondition.lean
Nyll.Yamaguchi26SolvableCoverings.Theorem2Dot2BoundaryCondition
1 declaration indexed from sourceView source ↗ Module documentation
Definition 2.2: the boundary condition
For a horizontal effective Cartier divisor D on a connected locally Noetherian scheme X, condition (†) consists of regularity along the support, a normal crossings point of residue characteristic two on every component, and geometrically integral generic fibers of every reduced boundary component after every connected finite etale cover of X.
The definition quantifies over all connected finite etale covers, including those which are not Galois. Connectedness, local Noetherianity, and horizontality are supplied by the statements using the condition.
Source: Yamaguchi, arXiv:2610.02948v1, Definition 2.2.
Declarations
Yamaguchi26SolvableCoverings.BoundaryCondition
DocumentationDefinition 2.2: 支持上の正則性、各成分の標数 2 の normal-crossings 点、および全連結有限 étale 被覆後の一般成分の幾何的整性。
Source context 2 commands
Surrounding namespaces, section variables, and local commands at this declaration.
open AlgebraicGeometry
namespace Yamaguchi26SolvableCoverings