3cababelianadicaffinealfalgalgebraalgebraicalntassociatedbasebasisbenoisbundlecanonicalcatcategorycccfchangechapterclosedcoefficientscoherentcohocohomologycompletioncomplexcomponentcorcor1cor3crstlcrystallinecrystalsdecompositiondedekinddefdef3definedefinitionderiveddetaileddimdimadirectdiscretedpdualdvregeg3equiequivalenceetaleexactextensionextensionsfgfibrefieldfieldsfilfil0finitefinitelyfirstflatflatnessformalfreefunctorfundamentalgammageneratedgenericgeometricgiveglobalgpgrouphomhomotopicidealiffiiiiiimageimmersionimpliesimportantintegralinverseirreducibleisoksilblectureleftlemmalimitliulocallocallymapmapsmodmodulemodulesmorphismmunoetheriannormalnormesnormsnotenullstellensatznumbernustellensatzopenorroxoxxp51pdperfperfectpfphipipidpointpointspowerprincipalprisprojprojbprojectiveproofpropprop1prop2prop4prop5q10quasirationalreducedreprepsresoluresolutionresultsringringedringsrmkrmk4schemeschemessectionsectionsseparatedsequenceseriesserresetsheafsheavessigmasimplicialsketchingspspacespecspecaspecoxxstalkstrongsubsubsetsurjectivetatetensortheoremtheorythmthm5topologicaltorsionfreetypevaluationvarvarietyvectorwachweakzp