General documentation

index
foundational types
tactics
dependency atlas
references

Library

Hironaka (file)
Algebra
Derivative
Basic
Equiv
Extension
Localization
Local
Balanced
BirationalTransform
BlowUpLift
BlowUpLiftLog
BlowUpLiftTransform
Chart
ChartCompletion
ChartCompletionHom
ChartCoords
ChartFibre
ChartGenericFibre
ChartHom
ChartLocal
ChartLogDerivations
ChartOrderFaithful
ChartPresentation
ChartRing
ChartSaturation
ChartShift
ChartSubst
ChartSubstTrunc
CoefficientField
CoefficientFieldOver
CoefficientFieldUnique
Cohen
CohenDerivation
CohenIso
CohenMap
Completion
CompletionCoords
CompletionEtale
CompletionMap
Coords
CoordsOver
Defs
Derivative
DerivativeCompletion
FormalAut
Homogenized
IntegralKrullDim
Lemma61
LocalizationCoords
LogDeriv
LogDerivCoords
Marked
MaximalContact
Order
OrderFlat
OrderPolynomial
OrderSmooth
PartialEuler
PolynomialOrder
PowerSeries
PowerSeriesEndomorphism
PowerSeriesRegular
PrimeProducts
Prop94
QuotientCoords
QuotientParameters
Regular
RegularQuotientDim
RegularSystem
RegularSystemCommon
SymbolicPower
Taylor
TopPartials
Transform
TransformDeriv
TransformDerivIter
TransformDerivMap
TransformDerivNormalForm
TransformLogDeriv
TransformLogDerivMap
TransformOrder
Tuning
TuningFinite
TuningParam
Order
Cosupport
Proj
BaseChange
Dehomogenize
RegularSmooth
Cotangent
Defs
Dimension
ParameterCount
Polynomial
Presentation
QuotientRegular
Regular
RegularImpliesSmooth
RegularSmoothEquiv
SchemeForms
SingularLocus
SmoothAt
SmoothImpliesRegular
Stalk
Trdeg
Smooth
EtaleCriterion
SpreadOut
StandardSmoothLift
SymmetricAlgebra
Away
Defs
Lift
Util
JacobsonCover
OpenMapGenericPoints
ColonPow
DerivationLocalization
InvertibleSpan
SaturationDescent
Analytic
Calculus
Det
ConvSeries
Banach
Bridge
ConvNorm
CoordDivision
Eval
Mul
Order
Radius
Rescale
Units
Germ
Axis
Base
CoordDiv
Coordinate
Prime
Oka
DegLt
Lemma
Rueckert
Basic
Embed
EvalRename
EvalTools
FibreDivision
GraphIdeal
Hypersurface
Irreducible
LinearMix
MinpolyDvd
MonicDivision
MonicDivisor
MonicRelation
NoetherNormalization
Noetherian
Nullstellensatz
NullstellensatzReduction
Parameters
Parametrization
ParametrizationDivision
ParametrizationGraph
ParametrizationPrimitive
PermConv
PolyEvalFunction
PrimitiveLinear
PrimitiveRelations
Quotient
Reexpansion
RootBranch
Slices
Specialize
Subst
UFD
WeierstrassPolynomial
ZeroSet
Weierstrass
AdicComplete
Axis
Basic
Contraction
Division
Exponents
FunctionLevel
Normalize
Poly
Preparation
Regular
Splitting
Tail
AnalyticSpace
ClosedSubspace (file)
Defs
Glue (file)
Assemble
Cocycle
CocycleData
Compat
Constants
Cover
Data
Desc
GlueIsoOver
GraphClosure
Incl
KSpace
Morphism
Normalize
OfCover
Over
OverFamily
OverLemmas
OverPart
OverProper
OverReg
OverSnc
Restrict
Setup
Shrink
Space
Tame
Topology
TripleSet
Trivial
KSpace (file)
Defs
Manifold
Chart
ClosedSub
Comap
Defs
FullyFaithful
Restrict
Sigma
SigmaStratum
Stratum
StratumIso
Noether
Saturation
Oka
Coeff
Core
Main
MainAux
Model
PolySection
Stalk
Transport
Quotient (file)
Defs
Resolution
Defs
Restrict
Defs
ChartLift
ClosedSubspaceAnalytic
ClosedSubspaceLemmas
Coherent
CoherentAnalytic
CoherentColon
CoherentLemmas
CoherentQuotient
CoherentTransport
Complexification
Complexified
Complexify
ConvDimension
CoverLemmas
Defs
Differential
Dimension
DimensionLemmas
Exhaustion
GlueHomAffine
HomExt
HomExtDense
HomExtNonSingular
HomGlue
HomLocal
HomOfSections
HomOfSectionsAffine
HomOfSectionsCompat
HomOfSectionsModel
IsoCriterion
IsoOverCover
IsoOverOpen
Jacobian
Lemmas
LiftRestrictStalk
LocalIso
LocalModelRestrict
Model
ModelChart
ModelIso
ModelSupport
ModelTransport
MonoidalUnique
NoetherDerived
Nullstellensatz
OpenSubspaceLemmas
Propagation
ProperRestrict
QuotientBot
QuotientLift
QuotientMap
RegDensity
RegDensityLemmas
RegEval
RegOpenImmersion
RegPoints
RegularParameters
RegularStalk
RestrictOverLemmas
RestrictToIso
Semicontinuity
Sigma
SigmaCoproductLemmas
SigmaLemmas
SncBoundaryChart
SncDivisorSetCover
SncDivisorSetLocal
SncFamily
SncFamilyDivisor
SncFamilyManifold
SncFamilyTransport
StalkMapLemmas
StrictTransformGenerators
VanishingIdeal
Manifold
AnalyticManifold
Defs
Model
BlowUp
Transform
Reduced
ModelComplex
StdModel
Basic
Bundled
Colon
Defs
DerivChart
DerivTransform
Division
GermIso
IdealSheafCongr
KollarChart
KollarPerm
LogDerivBlowUp
LogDerivTransform
MarkedAlgebra
MarkedWeak
Object
OpenSubset
OrderAlong
RadicalSubspace
SaturationFiniteType
Strict
StrictCharts
StrictClopen
StrictFlag
StrictIdeal
StrictSmooth
StrictSubspace
StrictSubspaceBasic
StrictSubspaceClosure
StrictSubspaceCompletion
StrictSubspaceProp313
StrictSubspaceReduced
TuningTransform
Weak
Atlas
Charts
CoordGerm
Defs
Divisor
Exists
Functor
Glue
Glued
GluedBlowDown
GluedCharts
GluedOffCenter
GluedTopology
Jacobian
Lift
Quadratic
Restrict
Transition
Unique
Chart
Adapted
Atlas
Basic
Cotangent
Independence
MaximalContact
Order
Rechart
Swap
Transport
DirectLimit
Chain
Cocone
Manifold
SncFamily
DisjointUnion
Defs
FiniteSuccession
CompatibleFamily
Defs
ExceptionalDense
Hom
Functor
Basic
CoverData
Descent
EraseEmpty
EraseEmptyCard
EraseEmptyCommute
EraseEmptyLemmas
EraseEmptyPullback
FibreProduct
LiftedFibre
LocalCover
LocalTriples
Pullback
PullbackCover
PullbackInj
PullbackLemmas
PullbackTriple
Pushforward
PushforwardOfStageIncl
PushforwardPullback
RestrictInj
Saturation
SigmaDesc
SigmaLocalDiffeo
SigmaTriple
ToSuccessionPushforward
Triple
Restrict
BaseTransport
BlowUpChart
Bundle
CenterComponents
CongrChart
Fields
GermRestrict
ImageVal
Lift
LiftRegDense
Model
Nested
Pushforward
RegSetBasic
Restrict
RestrictBundle
StrictSubmanifold
StrictSubspaceSeq
StrictSubspaceSeqCompat
StrictTransformSeq
Transport
Basic
BoundaryFamily
CenterList
Cons
Defs
DerivTransform
Lemmas
Lift
Order
OrderLemmas
PullbackIdealSheaf
Germ
ChartTransport
CoordDeriv
CoordDerivChart
CoordDerivCoords
PDeriv
ResidueCompletion
StalkFactorial
StalkGerm
StalkMap
StalkNoetherian
Taylor
TaylorCompletion
TaylorHom
TaylorIdeal
IdealSheaf
Basic
CosupportDeriv
Defs
Deriv
DerivLemmas
DerivLocality
GermMapChainRule
Identity
LogDeriv
LogDerivLemmas
LogDerivRestrict
Monoid
Order
Principal
Pullback
ReducedPullback
Tuning
TuningLemmas
Vanishing
Jacobian
Analytic
BlowUp
Bundled
Comp
Defs
Units
MonomialAt
Defs
Resolution
Defs
Sheaf
ContMDiff
LocalRing
Snc
Basic
Bundled
Coherence
Defs
Dense
Dictionary
FlagProtected
Monomial
NonSingular
NormalCrossings
Proper
Restrict
Sing
Spreading
TotalTransform
Trace
VanishingSpaceBridge
StructureSheaf (file)
Defs
Submanifold (file)
Charts
Clopen
CodimUnique
Components
Defs
DisjointUnion
Generators
Ideal
Manifold
Restrict
AdaptedChart
Completion
Exhaustion
LocalDiffeomorph
SigmaManifold
Resolution
Algebraic
Balanced
Basic
GoingUpChain
Order
BoundaryClearing
Assembly
AssemblyTuned
AssemblyZero
Basic
Center
ClassEtalePullback
ClauseThree
Composite
Data
FunctorialityBaseChange
FunctorialityPullback
Indifference
NilAtUnit
Output
Restriction
Transform
Tuned
Hir64
ComponentDeletion
ComponentwiseCorollaries
ComponentwiseMainTheorems
Corollary1
Corollary3
EraseEmptyCenters
ExtendOpen
MainTheoremI
MainTheoremIIN
OpenPieceTransport
OrderProduct
OrderReductionRound
SingleCenter
SingleCenterTools
TrivializationLoci
Kol07
Prop37
Prop37Descent
Prop37Extension
Prop37Local
Prop37Setting
Thm35
Disjoin (file)
Bookkeeping
Center
CenterReduced
Collapse
Functorial
MeetLocus
OverSing
Reduced
Sequence
Step
Triple
TriplePullback
Principalization (file)
Basic
Centers
ClosedEmbedding
FunctorClauses
Functorial
IsoLocus
Monomial
Thm36
Absorption
AdmissiblePairs
Affine
AffineEmbedding
AffineEndResult
AffineFunctoriality
AffineSpace
AffineTheorem36
AffineTheorem36IsoSnc
AffineTheorem36Reduced
Assembly
BR
BRAffinePullback
BRDescent
BaseChangeAffine
CentersMiss
CentersOverSupport
ClassClosure
ClauseLocality
EqualAbsorbingIndex
EraseEmptyIndex
FirstCenter
FirstCenterEraseEmpty
FirstCenterPullback
FlatTransport
Identification
Independence
IndexTransport
IsoOverSmoothLocus
LastIsoTransport
Lemma39
ReducedComponents
RelativeDimensionConstancy
Shear
SigmaCharts
SmoothCharts
SmoothPointTransport
SncPreimageSingular
Stabilize
Theorem36
Theorem36Assembly
AppendLast
Componentwise
ComponentwiseBlowUp
ComponentwiseTransforms
ComponentwiseTransport
Corollary89
CosuppTransport
EraseEmptyEmbedding
EraseEmptyInduced
ExceptionalFamilyErasure
ExceptionalFamilyPullback
ExceptionalMonomial
Globalization
Globalize
GlobalizeDescent
GoingUp
IsoLocus
IsoRestrict
MarkedProduct
MarkedSupPow
MaximalContactClasses
MaximalContactGlobalization
OffCenters
RefineFamily
RefineIrreducible
Remark33Warning63
SncGlobalSubfamily
StrictTransformSupport
StrictTransformUnion
SubdividesOn
SurjectiveCompletion
Theorem88BlowUp
Theorem88Chart
Theorem88Sequence
TopCenters
TotalTransformPositions
Tuning
UnionIdealInvertible
Warning63
MarkedOrderReduction
Assembly
BaseChangeLoop
BaseChangeParameters
Basic
Clause1
Clause3
Data
Functoriality
InducedClass
LoopFunctorial
MonomialExtendsByEmpty
MonomialPart
NonmonomialInvariant
Parameters
SkippedRound
Smooth
SmoothLoop
SmoothStep3
Split
SplitFunctorial
SplitMain
SplitOrder
SplitSupport
SplitTriple
Step1NonmonomialPart
Step2Separation
Step3Functorial
Step3Input
Theorem107
Transform
UpToUnits
MaximalContact
AgreeOnBlowUp
AgreeOnBlowUpKernel
AgreeOnSpread
Basic
CompletionIdealMap
Coordinates
EtaleEquiv
EtaleEquivAffine
EtaleEquivSeq
EtaleEquivSeqFunctor
EtaleEquivSigma
EtaleNbhdConditions
EtaleToFormal
Existence
FormalEquiv
FormalEquivBridge
FormalEquivExists
FunctorIndependence
GoingDown
GoingUpDown
GraphOfAutomorphism
Invariant
Local
Principal
PullbackSmooth
Restrict
Sequence
Theorem92
Theorem97
Theorem97Induction
Theorem97Setup
Transform
Monomial
Geometric
BaseChangeRealize
ChainRun
ChainRunErase
Chart
Congruence
EnumerationIndep
Exponent
Input
Kernel
Local
Nerve
OrderSeq
Pieces
PullbackErase
PullbackRun
Realize
RealizeCongr
RealizeDim
RealizeNil
Refinement
Transform
Restrict (file)
Extend
Invariant
Phase
Refine
RefinePhase
Rename
Measure
State
Step3Phases
Order
SupPow
OrderReduction
Basic
ClosedEmbedding
EmptyIndifferent
EmptyIndifferentFunctor
EmptyIndifferentGlobal
EmptyIndifferentStep2
Functorial
Step21BoundaryClearing
Step21Disjoint
Step21EraseEmpty
Step21Functorial
Step21MaximalContact
Step22Assembly
Step22Basic
Step22Cosupp
Step22Indep
Step22RestrictToHypersurface
Step24ClosedEmbedding
Step2EraseEmpty
Step2Functorial
Step3Clauses
Step3Cover
Step3Data
Step3Globalization
Tuned
Smooth
GeometricallyReduced
Snc
ComponentStalks
DictionaryBoundary
DictionaryComponents
DictionaryGenericPoints
DictionaryRegular
MonomialComponents
RestrictSubscheme
SmoothDivisorLocal
SncInvertible
SncLocal
SncOnTransport
SncSubfamily
Stage
Amalgam
Base
ClosedEmbeddingClass
ClosedEmbeddingCodimZero
ClosedEmbeddingCover
ClosedEmbeddingDescent
ClosedEmbeddingGeneral
ClosedEmbeddingHypersurface
ClosedEmbeddingStep
Coherence
Congr
CongrBMO
Dim
DimFree
DimFreeTheorems
DimZero
Mono
Theorem68
Tower
Tuning
Assemble
Corollary101
Cosupport
MCTuned
Parameter
Pullback
Sequence
Sheaf
Transform
Wlo05
CenterContainsConcat
ChainIdealColon
ChainIdealColonRegular
ChainIdealCorners
ChainIdealInf
ChainRelativeLift
ColonCoprime
ComponentsColon
Embedded
EmbeddedAbsorbed
EmbeddedAdmissibleStratum
EmbeddedBridge
EmbeddedCP1Absorbed
EmbeddedCP1At
EmbeddedCP1Cons
EmbeddedCP1Cover
EmbeddedCP1EraseEmpty
EmbeddedCP1For
EmbeddedCP1Main
EmbeddedCP1Pushforward
EmbeddedCP1Remaining
EmbeddedCP1Step1
EmbeddedCP1Step2
EmbeddedCP1Step21
EmbeddedCP1Step22
EmbeddedCP1Step22Core
EmbeddedCP1Step22Tools
EmbeddedCP1Subfamily
EmbeddedCP1Tower
EmbeddedCP2Entry
EmbeddedCP3Algebra
EmbeddedCP3Chain
EmbeddedCP3EraseEmpty
EmbeddedCP3Exceptional
EmbeddedCP3Pass
EmbeddedCP3Predicates
EmbeddedCP3Raw
EmbeddedCP3Rebase
EmbeddedCP3Restrict
EmbeddedCP3Split
EmbeddedCP3Step1
EmbeddedCP3Step21
EmbeddedCP3Step22
EmbeddedCP3Step3
EmbeddedCP3Tower
EmbeddedCP3Transport
EmbeddedCP3Weak
EmbeddedCP4
EmbeddedCP4Algebra
EmbeddedCP4Chart
EmbeddedCP4NewCoords
EmbeddedCP4Sheaf
EmbeddedCP5
EmbeddedCP6Isolation
EmbeddedCP6Loop
EmbeddedCP6LoopTools
EmbeddedCP6Stage
EmbeddedCP6Tools
EmbeddedCPBridge
EmbeddedChainCaseA
EmbeddedChainColon
EmbeddedChainDescentTools
EmbeddedChainExtendsByEmpty
EmbeddedChainLift
EmbeddedChainMonomial
EmbeddedChainPushforward
EmbeddedChainRelative
EmbeddedChainTransport
EmbeddedClaimAt
EmbeddedClaimCover
EmbeddedClaimCoverTools
EmbeddedClaimStep1
EmbeddedClaimTools
EmbeddedComponentTools
EmbeddedDisjoint
EmbeddedEndBridge
EmbeddedEraseEmpty
EmbeddedFirstCenterEq
EmbeddedFunctor
EmbeddedFunctorClauses
EmbeddedFunctorSplit
EmbeddedGenericLift
EmbeddedGenericOrder
EmbeddedHypotheses
EmbeddedIsolatedIdeal
EmbeddedIsolatedState
EmbeddedIsolation
EmbeddedMain
EmbeddedNil
EmbeddedNilCaseA
EmbeddedNilCore
EmbeddedNilCoreTools
EmbeddedNilInvariant
EmbeddedNilSmooth
EmbeddedNotContained
EmbeddedOrderGe
EmbeddedProtected
EmbeddedPullback
EmbeddedPullbackTools
EmbeddedRegWindow
EmbeddedRemaining
EmbeddedRound
EmbeddedSmoothWindow
EmbeddedState
EmbeddedStep
EmbeddedStep21Passage
FirstCenterExhaustive
FirstCenterLocalIso
MarkedTransformMul
OffCentreTransport
StrictTransformReduced
Analytic
BM97
JacobianAssembly
Ledger
LedgerBlowUp
LedgerLimit
LedgerSequence
LedgerStep
Functor
BMOanFamOfInput
ChainClosedEmbeddingChain
ChainClosedEmbeddingCover
ChainClosedEmbeddingDegenerate
ChainClosedEmbeddingZero
EmbeddedDesingFam
EndResultEmbedding
EndResultEmbeddingLemmas
EraseEmptyBoundary
EraseEmptyConcat
EraseEmptyLast
EraseEmptyOrder
ExtensionOf
Family
FamilyClosedEmbedding
FamilyNil
FibreProductRestrict
LimitFamily
LimitGluing
LimitProperties
LocalIsoTools
ModifiedMarkedFam
PullbackLiftStages
PullbackSequence
PullbackTransport
PullbackUpToEmpty
ShrunkEmbeddingCover
SigmaIdealSheaf
GoingUp
BoundaryDrop
Corollary85
Corollary89
MaxOrder
Naturality
NormalCrossingsTransport
PushforwardTransform
SncLift
StageIso
Theorem84
Tools
IdealSheaf
VanishingPreimage
Kol07Thm45
Glue
OverFamilyChain
OverFamilyPartner
OverIsoReg
OverRigidity
AmbientEmb
AmbientFactorization
AmbientFactorizationTransport
AmbientLift
AmbientTransport
ClosedSubspaceHom
CoproductExceptionalFamily
CoproductExceptionalSnc
CoproductGluedFamily
CoproductGluedFamilyCompat
CoproductLevelPair
CoproductMixedTransition
CoproductPadIdentity
CoproductPadIdentityPiece
CoproductSumData
DimensionCast
DoubledDatumLabels
ExceptionalFamilyGlue
ExceptionalTransitionRestrict
ExhaustionChainFamilies
FixedRunDevice
GluingProperties
HomOfPullbackEqCalculus
IsoOverLemmas
LocalIsoLift
LocalModel
LocalResolutionHomOnComp
LocalResolutionIndependent
LocalResolutionOn
LocalResolutionPad
LocalResolutionRestrict
LocalResolutionRestrictHom
LocalResolutionShear
MixedTransitionOpens
OpenEmbeddingLift
PadIdeal
PadReadingOpens
PadRestrict
PadSliceDiffeomorph
PieceAmbientIncl
PieceEmbedding
PieceGlue
PieceGlueDatum
PieceGlueIndep
PieceGlueProof
PieceIndependence
PieceLemma39
PieceLemma39Hom
PieceLemma39Model
PieceLemma39Shear
PieceModel
PieceModelPad
PieceResolution
PieceRestrict
PieceRestrictResolution
PieceTransition
PieceTransitionGlue
PushforwardBoundaryTrace
PushforwardFamily
QuotientHomSquares
Resolution
ResolutionAssembly
ResolutionClauses
ResolutionFunctorial
ResolutionIsoReg
ResolutionOnMembers
ResolutionSnc
ResolutionSncGlobal
RestrictInclusion
RestrictIsoOpen
RestrictSetIncl
RigidOverLocalResolution
RunFamilyRestrict
ShearBaseOpens
ShearOverX
ShearPoints
SigmaCoordMap
SigmaSubmanifold
SigmaSummandHom
SigmaTripleData
StrictSubspacePushforward
StrongResolutionOfIsoOver
MaximalContact
AgreeOnSubspaceLemmas
BlowUpChartTransition
CommonCharts
CoordCriterion
Covering
MarkedOneLemmas
OneStepDescent
OneStepDescentLemmas
Propagation
PropagationLemmas
StalkEquiv
SwapRealizes
TaylorTransport
Theorem97Induction
Theorem97Star
ModelTransport
Family
IdealSheaf
Manifold
Principalization
Pushforward
SncFamily
Square
SquareChart
Succession
SuccessionExtension
OrderReduction
BMO
Step3Monomial
BlowUpPieces
Center
Chart
Functor
Ideal
Input
InputMonomial
Kernel
Naturality
Pieces
Realize
RealizePullback
RealizesBlowUp
RefineStep
RefinesAlong
Transform
TransformStalk
Value
ColonLocalPrincipal
LocallyFiniteProduct
MonomialPart
NonmonomialPart
NonmonomialTriple
Round
Split
SplitOrder
Step1BlowUp
Step1Comap
Step1ExistsComap
Step1IdealDecomp
Step1Measure
Step1MeasureOrder
Step1PerBlowUp
Step1Purity
Step1RoundOrder
Step1Transform
SupPow
Modified
BmoSeqOn
BmoSeqOnNaturality
BmoSeqOnOne
ClauseBridge
ClauseClosedEmbedding
ClauseCompose
ClauseModFunctor
ClausePhaseA
ClausePhaseB
ClausePhaseBCore
ClausePhaseC
ClausePushforward
ClauseStep21
ClauseTools
ColonPrincipal
ComposeInduced
ComposeInducedFunctor
InducedConcat
InducedValueFunctor
ModifiedFam
MonomialStep3Fam
NonmonomialComapInhabit
NonmonomialFunctor
NonmonomialIndiff
NonmonomialTransformMod
Step23Naturality
Step2Chain
Step2Sep
Step2bCenter
Step2bCommute
Step2bEmpty
Step2bExponent
Step2bFamily
Step2bFunctor
Step2bLocal
Step2bMeasure
Step2bPhase
Step2bPullback
Step2bStep
Step2bTools
Step3Link
StepAAlign
StepAChain
StepAComm
StepACompat
StepAFamily
StepAIndep
StepAIndiff
StepALink
StepARound
StepATransport
StepBComm
StepBCore
StepBData
StepBGlobal
StepBIndiff
StepBLocal
StepBOrder
StepBRestrict
StepCExit
StopPersistence
StopRestrict
Stage
AllNFam
Concrete
Family
Generic
InstancesFam
InstancesFamTheorem107
BD
BDBridge
BDCor85
BDCore
BDCosupp
BDErase
BDFam
BDFamClauses
BDFamComm
BDFamCompat
BDFamIndiff
BDFamOrder
BDFamPullback
BDFamTransport
BDIndiff
BDLemmas
BDLift
BDOf
BOanFamOfInput
BaseCases
Basic
BoundaryEnlarge
ChainIndep
ChainTransport
ChainTransportPrep
ClassPullback
ClosedEmbeddingFam
ClosedEmbeddingPrep
ColonOrder
Concat
ConcatPullback
FamilyChain
FamilyData
FamilyIndependence
FamilyOrder
Finiteness
FirstStep
Functoriality
GlobalizeCover
GlobalizeFam
GlobalizeFamClauses
GlobalizeFamCover
GlobalizeFamDescent
HFamData
Induced
InducedValue
LiftUnique
LocalFunctorComm
LocalFunctorFam
LocalMaximalContact
MarkedData
SigmaContact
Step21Cosupp
Step21Defs
Step21ErasePrep
Step21Fam
Step21FamCosupp
Step21FamIndep
Step21FamIndiff
Step21Functoriality
Step21Indiff
Step22Defs
Step22Fam
Step22FamFull
Step22FamFunctoriality
Step22FamOrdLt
Step22FamPersist
Step22Persist
Step22Pullback
Step2Along
Step2Assembly
Step2AssemblyComm
Step2LinkPrep
Step2LinkTransport
Tuned
TunedLemmas
ValueTransport
Principalization
Assembly
BoundaryConcat
Canonicity
ClauseFive
ClauseOne
ClauseThree
Collapse
Corr
Disjoin
DisjoinBoundary
DisjoinInput
DisjoinLemmas
DisjoinNatural
DisjoinedNatural
IsoOff
JacobianMonomial
MeetLocus
MeetLocusChart
MeetLocusSubfamily
MonomialSeq
MonomialSeqMark
MonomialStalk
MonomialStep
MonomialTransport
NormalCrossingsOfMonomial
OriginalFinite
Padding
PullbackNonzero
ShrinkAppendLemmas
ShrinkAppendPullback
SncClopen
StrictTransforms
ValueNatural
ValueRestrict
Restrict
BoundaryTrace
DiffeomorphTransport
FlagPushforward
GoingDown
LemmaSixtyTwo
StrictSubspaceSeqTransport
Submanifold
FlagIdeal
Wlo09
Assembly
Basic
BoundaryBridge
Canonicity
CenterCodim
CentersOver
Clauses
ClosedEmbedding
Comp
Components
Concrete
EmbeddedDesingGlobal
EmbeddedDesingModel
EmbeddedDesingPushforward
EmbeddedDesingularization
EmptyRound
ExceptionalChain
FamilyCoherence
FamilyExt
FamilyLift
FamilyPushforward
FunctorialPrincipalization
Functoriality
GlobalObjects
HadamardBare
HironakaAssembly
HironakaClauses
Indiff
IsoOverReg
Monomial
Naturality
PreimageSing
ProperSnc
ProperSncOfEmbeddedDesing
PullbackFibre
RegLocality
Rounds
Saturation
SingularHypersurface
StrictTransformClauses
StrictTransformDensity
TopRound
TotalTransformClause
Transport
ZeroStalks
LocalIsoEquiv
LogDerivSequence
MaximalContactLemmas
MaximalContactTheorem
TransportBase
Tuning
Standard
Algebraic
Analytic
Scheme
BlowUp
AffineBlowUp
Universal
Admissible
Existence
Kernel
Membership
Restrict
Uniqueness
Basic
Chart
Defs
Exceptional
BlowUpAlong (file)
Defs
BlowUpMap (file)
Defs
Composite (file)
Bound
ChartIdeal
Descend
Iso
Main
Transition
CoordinateSubspace
Charts
Exceptional
ExceptionalProj
ReesInitial
Smooth
Split
Glue
AffineBlowUpFunctor
BlowUp
Charts
Global
GlobalCharts
Product
RestrictOpen
Trivial
Rees
Basic
ChartRing
Defs
DegreeZero
Irrelevant
Map
Transform (file)
Defs
FlatStrictTransform
Reduced
StrictTransform
TransformIso
WeakTransform
AffineAlgebra
AffineBlowUpAlgebra
BaseChange
BlowUpMapSquare
Cancellation
ClosedImmersionLift
Defs
Descent
ExceptionalSet
ExceptionalSetSmooth
ExceptionalSetSmoothCodim
ExceptionalSetSupport
FlatBaseChange
FlatColon
GlueIdealSheaf
InverseImage
Invertible
InvertibleSheaf
LinearType
Model
Presentation
ProductCenter
Transition
UniversalProperty
BlowUpSequence
AffineCover
Assignment
BaseChange
BaseChangeEmbedding
BaseChangeOrder
BaseChangeParameters
BaseChangeTriple
Basic
CentersCosupport
ClosedImmersionStalk
ColonComapOpenImmersion
CompositeBlowUp
Concat
ConcatApi
ConcatCenters
ConcatClauses
ConcatIndex
ConcatMarked
ConcatMaxOrd
ConcatPullback
ConcatTotalTransform
ConcatTransforms
Defs
DerivativeSequence
DisjointUnion
EqNilMarked
EraseEmptyConcat
EraseEmptyTransport
Functor
FunctorRestrict
FunctorVocabulary
Functoriality
InducedData
LogDerivativeSequence
MarkedLeWeak
MarkedMono
MarkedTripleBlowUp
NowhereDenseSupport
OpenTransport
OrderAlongCenter
Projective
Pullback
PullbackEraseEmpty
PullbackInduced
PullbackSmooth
PullbackSnc
Pushforward
Remark33Exceptional
Remark33Iso
Remark67
Restrict
RestrictDivisors
RestrictDivisorsOn
RestrictedCenters
SmoothCenter
SmoothParameters
StalkProdDisjointSupport
StrictTransformIntegral
TakeLast
Theorem88Basic
TransformDerivative
TransformLogDerivative
Triple
TrivialCenter
Truncate
WeakTransformFlat
IdealSheaf
Derivative
BaseChange
Cosupport
DualSpans
FlagCoords
Logarithmic
LogarithmicLocalization
LogarithmicQuotient
LogarithmicSheaf
Properties
Pullback
Sheaf
StalkCoords
Order
AffineSpace
Along
Basic
Constructible
Exceptional
ExceptionalOrder
Invariance
Lemma61
MaxOrdAnti
OrdMaximalIdeal
OrderFunctionLemmas
Semicontinuity
Smooth
Specialization
Basic
Defs
Invertible
StalkIdeal
StalkLe
Modules
AffineLocal
Defs
IdealSheaf
IdealSheafFinite
Sections
ProjectiveBundle
Affine
BaseChange
Defs
Map
Properties
Functor
Defs
BlowUp
Defs
Equifibered
Proper
Resolution
Basic
Defs
Smooth
Adapted
AdaptedCoordinates
BlowUpSmooth
BlowUpSmoothChart
ChartDefs
ChartEtale
ChartIso
ChartRing
CoordinateSystem
CoordinateSystemPair
DescentRelativeDimension
DifferentialBasis
DifferentialBasisAny
EtaleCoordinates
EtaleCoordinatesAdapted
EtaleCoordinatesDefs
EtaleCover
EtaleCoverFinite
EtaleLocal
EtaleStalk
ExceptionalBaseChange
ExceptionalBundle
ExceptionalChart
ExceptionalDivisor
ExceptionalDivisorSmooth
ExceptionalModel
Graph
GraphBasic
GraphCompletion
GraphComponent
GraphDiagonalPair
GraphFormal
GraphPoint
IdealSheafSpreadOut
LocalBlowUp
LocalBlowUpChart
LocalBlowUpStalk
Origin
SmoothAmbientLift
StandardChart
SubschemeStalk
TwoPointEtalePair
Snc
AppendEmpty
Basic
ChartDerivations
ChartIndex
ChartOrigin
ChartSncData
ChartStalk
ClosedPointRational
Coordinates
Defs
Dictionary
DictionaryOrder
EmptyFamily
EraseFamily
EtaleParameters
Family
HasSncWith
HypersurfaceCoordinates
InducedCoordinates
LiftHypersurface
LocalBlowUpPoint
MonomialCoordinates
ParameterAlgebra
ParameterSubset
RelativeDimension
RelativeDimensionConstant
RestrictHypersurface
SmoothDivisor
SncOn
SpreadSnc
StalkDerivations
TotalTransformChartComputation
TotalTransformData
TotalTransformOffCentre
TotalTransformOnCentre
TotalTransformSmoothBlowUp
TotalTransformSnc
TrivialSncData
TrivialTotalTransform
Defs
DisjointIntegralComponents
FiniteType
ReducedEquidimensional
HironakaExamples (file)
Balanced
Example106
Example11
Example52
Example86
PDeriv
PowerSeriesTwoVariables
Tuned
BlowUp (file)
CoordinateSubspace
Transition
Glue
SpecIso
TrivialBlowUp
Local
SingularQuotient
Warning63
Manifold
Snc
LineBlowUpExample
MaximalContact
Example106Charts
Example106Stages
Example11Charts
Example11Stages
Example12Charts
Example12Stages
Example14
Example82
Monomial
Example112
Examples
OrderReduction
Example106
Example106BlowUp
Example106Length
Sequence
CosuppForcing
CuspModel
CuspWitness
Prop37Constraints
Remark33Charts
Remark33Exceptional
Remark33Iso
Remark33Model
Remark33OrderSeq
Remark33Warning63
RestrictClosedImmersion
TrivialFunctors
Warning63
Space
CircleReduced
CircleSpace
Stage
BaseCases
AffineBlowUpUniversal
BlowUpComposite
BlowUpProduct
CoordinateSubspaceBlowUp
DerivativeSequence
Dimension1
HauserExercisesOrderStrata
JacobianCriterion
KollarExample106Run
KollarExample106Triple
KollarExample28_1
KollarExamples11And12And106
KollarExamples82And14
MonomialRestrict
MonomialState
OrderStrata
RealPlane
RealPlaneCircle
RealPlaneStrictTransform
ReesGrading
Saturation
Theorem100
Theorem88Counterexample
TrivialBlowUp
TunedIdealExamples
references (file)

Color scheme