不可编辑
为什么强调是 Serre 的 GAGA
是因为之后还要写 Raynaud / Беркович / Huber / Clausen–Scholze 在其它语境 (比如 p 进域上代数簇和 p 进解析空间) 下的 GAGA 吗?
随手取的名字 qvq... 要是学到了或许会写写吧