[论文解读] On the Galois Theory of Grothendieck

Eduardo J. Dubuc, C. Sanchez de la Vega|ArXiv.org|Sep 14, 2000

History and Theory of Mathematics参考文献 3被引用 10

一句话总结

本文通过将拓扑群的连续作用范畴表征为离散群作用范畴的极限，对格罗滕迪克的伽罗瓦理论进行了范畴论重构。利用范畴的逆向极限与滤子余极限，通过从离散群到拓扑群的'极限过渡'，证明了格罗滕迪克的基本定理，建立了拓扑群与具有拓扑点的布尔型、局部连通范畴之间的对偶性。

ABSTRACT

In this paper we deal with Grothendieck's interpretation of Artin's interpretation of Galois's Galois Theory (and its natural relation with the fundamental group and the theory of coverings) as he developed it in Expose V, section 4, ``Conditions axiomatiques d'une theorie de Galois'' in the SGA1 1960/61. This is a beautiful piece of mathematics very rich in categorical concepts, and goes much beyond the original Galois's scope (just as Galois went much further than the non resubility of the quintic equation). We show explicitly how Grothendieck's abstraction corresponds to Galois work. We introduce some axioms and prove a theorem of characterization of the category (topos) of actions of a discrete group. This theorem corresponds exactly to Galois fundamental result. The theorem of Grothendieck characterizes the category (topos) of continuous actions of a profinite topological group. We develop a proof of this result as a "passage into the limit'' (in an inverse limit of topoi) of our theorem of characterization of the topos of actions of a discrete group. We deal with the inverse limit of topoi just working with an ordinary filtered colimit (or union) of the small categories which are their (respective) sites of definition. We do not consider generalizations of Grothendieck's work, except by commenting briefly in the last section how to deal with the prodiscrete (not profinite) case. We also mention the work of Joyal-Tierney, which falls naturally in our discussion. There is no need of advanced knowledge of category theory to read this paper, exept for the comments in the last section.

研究动机与目标

• 通过范畴论与范畴论方法重构格罗滕迪克的伽罗瓦理论。
• 证明拓扑群的连续作用范畴是离散群作用范畴的极限。
• 通过'极限过渡'构造，提供格罗滕迪克基本定理的范畴化证明。
• 阐明公理在刻画伽罗瓦范畴及其与拓扑群关系中的作用。
• 将框架推广至非拓扑群情形，包括普群与空间群，并讨论其与乔伊尔-蒂埃纳理论的关联。

提出的方法

• 使用一组公理（E1–E6）表征离散群作用的范畴，包括完备性与余极限保持性。
• 利用滤子余极限的范畴站点模型来模拟范畴的逆向极限，避免直接使用范畴的极限。
• 将拓扑群的连续作用范畴构造为离散群作用范畴的逆向极限。
• 应用伴随函子定理，证明到集合范畴的遗忘函子具有左伴随，从而蕴含完备性与本质结构。
• 证明拓扑点条件（G0）蕴含范畴等价于某个拓扑群π的连续π-集合范畴。
• 将框架推广至非拓扑群情形，以普群替代极限群，并讨论更强的保持公理（如余张量保持）的必要性。

实验结果

研究问题

• RQ1 格罗滕迪克的伽罗瓦理论如何通过范畴论与范畴论方法实现重构？
• RQ2 哪些公理条件可表征拓扑群的连续作用范畴？
• RQ3 拓扑群的连续作用范畴如何作为离散群作用范畴的极限出现？
• RQ4 在从拓扑群推广至普群或空间群时，公理需要做出何种修改？
• RQ5 乔伊尔-蒂埃纳关于局部与空间群的结果如何与格罗滕迪克的范畴论伽罗瓦理论相联系？

主要发现

• 拓扑群π的连续作用范畴等价于连续π-集合范畴，此结论由格罗滕迪克基本定理确立。
• 该定理由离散群作用的表征作为极限推导而来，使用滤子余极限的站点而非范畴的直接极限。
• 格罗滕迪克公理中的G6)可被省略，因为在拓扑点条件存在时，该公理由其他公理所蕴含。
• 证明表明，范畴的逆向极限可通过其定义站点的余极限来捕捉，从而在无需高级范畴论的前提下实现具体构造。
• 在非拓扑群情形，群被替换为普群，且余张量（任意积）的保持性成为必要条件，取代有限性条件。
• 该框架可推广至空间群，其中经典拓扑群结构由局部理论中的对偶概念替代，当余张量保持成立时，连续作用范畴恰好对应于此类空间群。