{"title":"从图式拓扑重建方案","authors":"Magnus Carlson, Peter J. Haine, Sebastian Wolf","doi":"arxiv-2407.19920","DOIUrl":null,"url":null,"abstract":"Let $k$ be a field that is finitely generated over its prime field. In\nGrothendieck's anabelian letter to Faltings, he conjectured that sending a\n$k$-scheme to its \\'{e}tale topos defines a fully faithful functor from the\nlocalization of the category of finite type $k$-schemes at the universal\nhomeomorphisms to a category of topoi. We prove Grothendieck's conjecture for\ninfinite fields of arbitrary characteristic. In characteristic $0$, this shows\nthat seminormal finite type $k$-schemes can be reconstructed from their\n\\'{e}tale topoi, generalizing work of Voevodsky. In positive characteristic,\nthis shows that perfections of finite type $k$-schemes can be reconstructed\nfrom their \\'{e}tale topoi.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":"361 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Reconstruction of schemes from their étale topoi\",\"authors\":\"Magnus Carlson, Peter J. Haine, Sebastian Wolf\",\"doi\":\"arxiv-2407.19920\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $k$ be a field that is finitely generated over its prime field. In\\nGrothendieck's anabelian letter to Faltings, he conjectured that sending a\\n$k$-scheme to its \\\\'{e}tale topos defines a fully faithful functor from the\\nlocalization of the category of finite type $k$-schemes at the universal\\nhomeomorphisms to a category of topoi. We prove Grothendieck's conjecture for\\ninfinite fields of arbitrary characteristic. In characteristic $0$, this shows\\nthat seminormal finite type $k$-schemes can be reconstructed from their\\n\\\\'{e}tale topoi, generalizing work of Voevodsky. In positive characteristic,\\nthis shows that perfections of finite type $k$-schemes can be reconstructed\\nfrom their \\\\'{e}tale topoi.\",\"PeriodicalId\":501135,\"journal\":{\"name\":\"arXiv - MATH - Category Theory\",\"volume\":\"361 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-07-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Category Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2407.19920\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Category Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.19920","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Let $k$ be a field that is finitely generated over its prime field. In
Grothendieck's anabelian letter to Faltings, he conjectured that sending a
$k$-scheme to its \'{e}tale topos defines a fully faithful functor from the
localization of the category of finite type $k$-schemes at the universal
homeomorphisms to a category of topoi. We prove Grothendieck's conjecture for
infinite fields of arbitrary characteristic. In characteristic $0$, this shows
that seminormal finite type $k$-schemes can be reconstructed from their
\'{e}tale topoi, generalizing work of Voevodsky. In positive characteristic,
this shows that perfections of finite type $k$-schemes can be reconstructed
from their \'{e}tale topoi.