arXiv Analytics

Sign in

arXiv:1207.0276 [math.LO]AbstractReferencesReviewsResources

Zariski cohomology in second order arithmetic

Colin McLarty

Published 2012-07-02, updated 2012-07-25Version 2

The cohomology of coherent sheaves and sheaves of Abelian groups on Noetherian schemes are interpreted in second order arithmetic by means of a finiteness theorem. This finiteness theorem provably fails for the etale topology even on Noetherian schemes.

Comments: Besides having cleaner exposition, this version adds a counterexample for etale cohomology. Some sheaves of ideals of the etale structure sheaf of Noetherian schemes are provably not finitely generated. So the present tools will not interpret the etale cohomology of Noetherian schemes in second order arithmetic
Categories: math.LO
Subjects: 03F35, 14A99
Related articles: Most relevant | Search more
arXiv:1510.00469 [math.LO] (Published 2015-10-02)
CZF and Second Order Arithmetic
arXiv:0906.3882 [math.LO] (Published 2009-06-21)
Hindman's Theorem: An Ultrafilter Argument in Second Order Arithmetic
arXiv:2202.03476 [math.LO] (Published 2022-02-07)
Admissible extensions of subtheories of second order arithmetic

Links

Toolbox