almost purity

Last modified date: <%+ tp.file.last_modified_date() %>



almost purity

Generally, purity means something happens in a particular codimension. A foundational result for perfectoid spaces. Reminiscent of Zariski–Nagata’s purity theorem: the branch locus on a nonsingular algebraic variety, the branch locus (where the morphism ramifies) is a Weil divisor, i.e. is comprised purely of codimension 1 subvarieties. This describes the locus on which a morphism can fail to be etale.

attachments/Pasted%20image%2020220514233110.png

#todo/untagged #todo/add-references #todo/create-links