[논문 리뷰] On the Galois Theory of Grothendieck

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

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)을 사용하여 이산 군의 작용의 토포스를 특성화하기.
• 사이트의 필터링된 합집합을 사용하여 토포스의 역수열을 모델링하고, 직접적인 범주론적 극한을 피하기.
• 프로피닌트 군의 연속 작용의 토포스를 이산 군 작용의 토포스들의 역수열로 구성하기.
• 기본 함자 정리(Adjoint Functor Theorem)를 적용하여 집합으로의 잊혀진 함자에 왼쪽 수반 함자가 존재함을 보여주고, 이는 완전성과 본질적인 구조를 암시한다.
• 프로피닌트 점 조건(G0)이 토포스가 프로피닌트 군 π에 대한 연속 π-집합의 토포스와 동치임을 암시함을 보여주기.
• 프로피닌트 군을 초월하여 극한 군을 프로군으로 대체하고, 코텐서 보존(예: 임의의 곱의 보존)과 같은 더 강력한 보존 공리들의 필요성을 논의하기.

실험 결과

연구 질문

• RQ1 그로텐디크의 갈루아 이론은 어떻게 범주론적 및 토포스 이론적 방법을 통해 재구성될 수 있는가?
• RQ2 프로피닌트 군의 연속 작용의 토포스를 특성화하는 데 필요한 공리적 조건은 무엇인가?
• RQ3 프로피닌트 군의 연속 작용의 토포스는 어떻게 이산 군 작용의 토포스들의 극한으로 유도되는가?
• RQ4 비프로피닌트 군에서 프로군 또는 공간 군으로 일반화할 경우 공리에 어떤 수정이 필요한가?
• RQ5 조요-티어니의 로케일 이론과 공간 군에 대한 결과는 그로텐디크의 토포스 이론적 갈루아 이론과 어떻게 관련되는가?

주요 결과

• 그로텐디크의 기본 정리에 의해 확립된 바로, 프로피닌트 군 π의 연속 작용의 토포스는 연속 π-집합의 토포스와 동치이다.
• 이 정리는 직접적인 범주론적 극한이 아닌, 사이트의 필터링된 합집합을 통한 이산 군 작용의 특성화의 극한으로 도출된다.
• 그로텐디크의 공리들 중 G6)은 다른 공리들에 의해 프로피닌트 점 조건이 존재할 경우 암시되므로 생략 가능하다.
• 증명은 토포스의 역수열이 그 정의 사이트들의 합집합에 의해 포착됨을 보여주며, 고급 범주론 없이도 구체적인 구성이 가능하게 한다.
• 비프로피닌트 경우, 군은 프로군으로 대체되며, 유한성 조건 대신 코텐서(임의의 곱) 보존이 필요해진다.
• 이 프레임워크는 공간 군으로까지 일반화되며, 고전적인 위상군의 구조는 로케일 이론에서의 쌍대 개념으로 대체되고, 코텐서 보존 조건이 성립할 경우 연속 작용의 토포스는 정확히 이러한 공간 군과 대응된다.