{"entities":{"Q6181231":{"pageid":13316119,"ns":120,"title":"Item:Q6181231","lastrevid":102569222,"modified":"2026-06-06T04:47:41Z","type":"item","id":"Q6181231","labels":{"en":{"language":"en","value":"Purity for flat cohomology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7782630"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181231$E8957DDF-F74B-4DC2-B832-F96CA1C1738C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2db26e3c1581d4e2ffc6316a0b7b4deb40cb1fcc","datavalue":{"value":{"text":"Purity for flat cohomology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6181231$CF56DF8B-29F6-43DD-B796-E6EE200799ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0fd91715d9e2cb8c6b26c1e1a935d3a4f99166c","datavalue":{"value":"1528.14024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181231$B7FB8C70-546A-4CE4-8ED1-56B6354B3236","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ea5f63f5f2a848f0c43c397b5e7711fd254b8b","datavalue":{"value":{"entity-type":"item","numeric-id":323735,"id":"Q323735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181231$71494015-8328-4A6A-B09F-270DAEE30725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0571d547a3248ee6137f9c591386d135597b4b","datavalue":{"value":{"entity-type":"item","numeric-id":311168,"id":"Q311168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181231$3C03B813-DD88-4862-BE07-C9E13B12CDB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181231$23EB098C-F031-4C3E-90F1-107F8E419B33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dbce25b8d1882e8b51894ac817f5ec3044e7cff","datavalue":{"value":{"time":"+2024-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6181231$325B525F-9B6D-4DBE-B1BD-3D7C7B3F654A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f9bbce7b2a731ef60d9c55d01dc95c06557977a","datavalue":{"value":"https://arxiv.org/abs/1912.10932","type":"string"},"datatype":"url"},"type":"statement","id":"Q6181231$598B74FF-36CB-45EB-B62C-30DB817FE52F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe7dc553da9ef8569a46bc34955fca3ae1ae8304","datavalue":{"value":"In this paper, the authors prove purity theorem for flat cohomology. The following main theorem is proved: For a Noetherian local ring \\((R,\\mathfrak{m})\\) that is a complete intersection (this means that its completion is a quotient of a regular ring by a regular sequence) and a commutative, finite flat \\(R\\)-group scheme \\(G\\), \\[ H^i_{\\mathfrak{m}}(R,G)\\simeq 0 \\quad \\text{for} \\begin{cases} i< \\dim R, & \\\\ i \\leq \\dim R &\\text{ if }R\\text{ is regular and not a field}. \\end{cases} \\] This is a flat cohomology version of the Gabber-Thomason purity theorem for \u00e9tale cohomology that has been conjectured by Grothendieck. Gabber proved the following: For a regular local ring \\((R,\\mathfrak{m})\\) and a commutative, finite \u00e9tale \\(R\\)-group \\(G\\) whose order is invertible in \\(R\\), \\[ H_{\\mathfrak{m}}^i(R,G)=0 \\quad \\text{for }i<2 \\dim R. \\] Two proofs of this fact have been known. They give a third proof of this theorem using perfectoid techniques to reduce to the positive characteristic case. As a corollary of the main theorem, they settle two conjectures of Gabber: Let \\((R,\\mathfrak{m})\\) be a Noetherian local ring that is a complete intersection and let \\(U_R:=\\mathrm{Spec}\\ R \\setminus \\{\\mathfrak{m}\\}\\). \\begin{itemize} \\item[(a)] If \\(\\dim R \\geq 3\\), \\(\\mathrm{Pic}(U_R)_{\\mathrm{tors}}\\simeq 0\\). \\item[(b)] If \\(\\dim R \\geq 4\\) or if both \\(R\\) is regular and \\(\\dim R \\geq 2\\), then \\[ \\mathrm{Br}(R) \\xrightarrow{\\sim} \\mathrm{Br}(U_R). \\] \\end{itemize} Furthermore, they prove the global version of (b): For a Noetherian scheme \\(X\\) and a closed subset \\(Z\\subset X\\) such that each \\(\\mathcal{O}_{X,z}\\) with \\(z \\in Z\\) is either a complete intersection of dimension \\(\\geq 4\\) or regular of dimension \\(\\geq 2\\), then \\[ H^2(X, \\mathbb{G}_{\\mathrm m})_{\\mathrm{tors}} \\xrightarrow{\\sim} H (X \\setminus Z, \\mathbb{G}_{\\mathrm m})_{\\mathrm{tors}}. \\] The main theorem is reduced to the purity theorem for flat cohomology in a perfectoid setting in the following. Let \\(p\\) be a prime number. For a perfectoid \\(\\mathbb{Z}_p\\)-algebra \\(A\\), a commutative, finite, locally free \\(A\\)-group \\(G\\) of \\(p\\)-power order, and a closed subset \\(Z\\subset \\mathrm{Spec}\\ A/pA\\) such that \\(\\mathrm{depth}_ Z(A) \\geq d\\) in the sense that there is an \\(A\\)-regular sequence \\(a_1, \\ldots, a_d \\in A\\) that vanishes on \\(Z\\), we have \\[ H_Z^i(A,G) \\simeq 0 \\quad \\text{for }i