OAI/AlgebraicGeometry/CartierSections.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Local algebra of monomial retractions
Local results for Uniform Cartier sections for Fano-type contractions, Section E: algebraic-series degree bounds and isolated jets, formal coordinates in closed étale charts, monomial valuations and their extensions to fraction fields, and compactness of normalized cones in the topology of pointwise evaluation. The local multiplier algebra describes principal ideal sums and the convex regions defined by rounded divisor coefficients.
This file declares nothing itself. It gathers the 3 imports below, so a file that imports it gets all of them.