3cababelianadicaffinealfalgalgebraalgebraicalntassociatedbasebasisbenoisbundlecanonicalcatcategorycccfchangechapterclosedcoefficientscoherentcohocohomologycompletioncomplexcomponentcorcor1cor3crstlcrystallinecrystalsdecompositiondedekinddefdef3definedefinitionderiveddetaileddimdimadirectdiscretedpdualdvregeg3equiequivalenceetaleexactexercisesextensionextensionsfgfibrefieldfieldsfilfil0finitefinitelyfirstflatflatnessformalfreefunctorfundamentalgammageneratedgenericgeometricgiveglobalgpgrouphomhomotopicidealiffiiiimageimmersionimpliesimportantintegralinverseirreducibleisoksilblectureleftlemmalimitliulocallocallymapmapsmodmodulemodulesmorphismmunoetheriannormalnormesnormsnotenullstellensatznumbernustellensatzopenorroxoxxp51pdperfperfectpfphipipidpointpointspowerprincipalprisprojprojbprojectiveproofpropprop1prop2prop4prop5q10quasirationalreducedreprepsresoluresolutionresultsringringedringsrmkrmk4schemeschemessectionsectionsseparatedsequenceseriesserresetsheafsheavessigmasimplicialsketchingspspacespecspecaspecoxxstalkstrongsubsubsetsurjectivetatetensortheoremtheorythmthm5topologicaltorsionfreetypevaluationvarvarietyvectorwachweakzp