An elementary and constructive proof of Grothendieck's generic freeness lemma

2018/07/03 by Blechschmidt, Ingo · 1 citation
#13C05 #Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #FOS: Mathematics

paper · doi:10.48550/arxiv.1807.01231

Abstract

We present a new and direct proof of Grothendieck's generic freeness lemma in its general form. Unlike the previously published proofs, it does not proceed in a series of reduction steps and is fully constructive, not using the axiom of choice or even the law of excluded middle. It was found by unwinding the result of a general topos-theoretic technique.

Cited by

• Classifying Infinity Topoi via Weighted Limits

Related

• Generalized point-free spaces, pointwise
• Some applications of Grothendieck Duality Theorem
• Real analytic counterexample to the freeness conjecture
• Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
• On Constructions of Free Singularities