Grothendieck 伽罗华论与\'etale 外延性

有限\'etale 覆盖通过\'etale 基本群来参数化，具体通过单调性对应关系。该结果在拓扑情形下由 MacPherson、Treumann、Lurie 等人推广到 constructible 层的外延性对应；近期也由 Barwick--Glasman--Haine 和 Wolf 推广到\'etale 和 pro-\'etale 层。\'etale 外延性定理的证明过程漫长且技术性，涉及许多在 \'(\infty,2)-范畴中 \'(\infty)-拓扑学中新定义和构造。本文以 Grothendieck 的伽罗华论体裁，给出一种快速证明\'etale 外延性定理（针对以固定分层为基础的集合 constructible 层）的方法。