[논문 리뷰] Galois corings applied to partial Galois theory

S. Caenepeel, E. De Groot|ArXiv.org|2004. 06. 09.

Algebraic structures and combinatorial models참고 문헌 2인용 수 27

한 줄 요약

이 논문은 갈로아 코링을 사용하여 부분 갈로와 이론의 비가환 일반화를 개발하며, 군의 부분 작용이 링 위에 유도하는 코링 구조를 밝히고, 확장이 충실하게 평탄한 부분 갈로와 확장임과 동치로 여겨지는 정규화 사상이 자명함을 증명한다. 주요 기여는 부분 갈로와 확장과 코링 이론을 연결하는 통합적 프레임워크를 제공함으로써, 모리타 맥락과 코링 동형사상에 의한 비가환 환에서의 고전 갈로와 이론으로의 확장을 이루는 데 있다.

ABSTRACT

Partial Galois extensions were recently introduced by Dokuchaev, Ferrero and Paques. We introduce partial Galois extensions for noncommutative rings, using the theory of Galois corings. We associate a Morita context to a partial action on a ring.

연구 동기 및 목표

• 갈로와 코링 이론을 사용하여 부분 갈로와 이론을 가환 링을 초월해 확장하는 것.
• 링 위의 부분 군 작용과 이상들의 직합 위의 코링 구조 사이의 대응을 설정하는 것.
• 정규화 사상의 동형성과 충실한 평탄성에 의해 부분 갈로와 확장을 특성화하는 것.
• 부분 작용으로부터 모리타 맥락을 구성하고, 그 엄격성이 부분 갈로와 확장을 특성화함을 보이는 것.
• 코링 형식을 통해 부분 갈로와 이론을 기존 갈로와 이론들과 통합하는 것.

제안 방법

• 유한군 $G$ 가 링 $A$ 위에 부분 작용할 때, 수체 $e_\sigma$ 를 사용하여 코링 $\mathcal{C} = \bigoplus_{\sigma \in G} A e_\sigma $ 를 구성한다.
• 코링 $\mathcal{C}$ 내에서 군형 원소 $x = \sum_{\sigma \in G} u_\sigma $ 를 정의하여 오른쪽 $\mathcal{C}$-코작용을 $A$ 위에 유도함으로써 $A$ 가 오른쪽 $\mathcal{C}$-코모듈이 되게 한다.
• 정의된 정규화 사상 $\mathrm{can}: A \otimes_B A \to \mathcal{C}$ 를 사용하여 갈로와 확장을 특성화하며, 여기서 $B = A^{\mathrm{co}\mathcal{C}}$ 이다.
• 모리타 맥락 $ (T, {}^*\mathcal{C}, A, Q, \tau, \mu) $ 를 구성하며, 여기서 $T = A^{\mathrm{co}\mathcal{C}}$ 이고, 그 엄격성과 갈로와 성질을 연결한다.
• 정규화 사상 $\mathrm{can}$ 이 동형사상임과 동치로 $A$ 가 $B = T$ 에 대해 충실하게 평탄하고, 모리타 맥락이 엄격함을 증명한다.
• 사상 $A$ 와 $Q = \mathrm{Hom}_A({}^*\mathcal{C}, A)$ 사이의 동형사상을 이용하여 모리타 맥락의 구조를 $A$ 로 옮긴다.

실험 결과

연구 질문

• RQ1 비가환 링 위의 부분 군 작용이 갈로와 코링 구조를 유도하는 조건은 무엇인가?
• RQ2 정규화 사상 $\mathrm{can}: A \otimes_B A \to \mathcal{C}$ 는 부분 갈로와 확장을 어떻게 특성화할 수 있는가?
• RQ3 부분 작용과 관련된 모리타 맥락이 엄격해지는 조건은 무엇이며, 이는 확장에 어떤 의미를 갖는가?
• RQ4 정수환 $B = A^{\mathrm{co}\mathcal{C}}$ 에 대한 $A$ 의 충실한 평탄성과 정규화 사상의 동형성 사이의 관계는 무엇인가?
• RQ5 코링 이론적 접근은 부분 갈로와 이론을 고전 이론과 약한 호프-갈로와 이론과 어떻게 통합하는가?

주요 결과

• 정규화 사상 $\mathrm{can}: A \otimes_B A \to \mathcal{C}$ 가 동형사상임과 동치로 $A$ 가 왼쪽 $B$-모듈로서 충실하게 평탄하고 $\mathrm{can}$ 이 동형사상임을 보장한다.
• 모리타 맥락 $ (B, {}^*\mathcal{C}, A, A, \tau, \mu) $ 가 엄격함과 동치로 $B = T$ 이고 정규화 사상이 동형사상임을 보장한다.
• 연결 사상 $\tau: A \otimes_{{}^*\mathcal{C}} A \to T$ 가 전사임과 동치로 $a \in A$ 가 존재하여 $\sum_{\sigma \in G} \alpha_\sigma(a e_{\sigma^{-1}}) = 1$ 이 성립함을 보장한다.
• 사상 $\mu: A \otimes_T A \to {}^*\mathcal{C}$ 는 $\mu(a \otimes b) = \sum_{\sigma \in G} u_\sigma \alpha_\sigma(a e_{\sigma^{-1}}) b$ 로 주어지며, 이는 $A$ 위의 이중모듈 구조를 정의한다.
• 사상 $A$ 와 $Q = \mathrm{Hom}_A({}^*\mathcal{C}, A)$ 사이의 동형사상은 모리타 맥락의 구조를 $A$ 로 옮기며, 결과적으로 모리타 맥락 $ (T, {}^*\mathcal{C}, A, A, \tau, \mu) $ 를 얻는다.
• 정리 3.6의 네 가지 조건의 동치성은 코링 동형사상, 충실한 평탄성, 엄격한 모리타 맥락, 범주 동치성에 기반한 부분 갈로와 확장의 완전한 특성화를 확립한다.