Automorphisms of categories of schemes
Algebraic Geometry
2019-06-04 v1 Category Theory
Abstract
Given two schemes and , we prove that every equivalence between and comes from a unique isomorphism between and . This eliminates all Noetherian and finite type hypotheses from a result of Mochizuki and fully answers a programme set out by Brandenburg in a series of questions on MathOverflow in 2011.
Cite
@article{arxiv.1906.00921,
title = {Automorphisms of categories of schemes},
author = {Remy van Dobben de Bruyn},
journal= {arXiv preprint arXiv:1906.00921},
year = {2019}
}
Comments
17 pages