[논문 리뷰] Strong connections and the relative Chern-Galois character for corings

Gabriella Böhm, Tomasz Brzeziński|ArXiv.org|2005. 03. 22.

Algebraic structures and combinatorial models참고 문헌 19인용 수 4

한 줄 요약

이 논문은 비가환환 위의 엔트와인드 확장에 대해 코르링 내의 강한 연결을 이용하여 상대적인 체른-갈루아 특성자를 개발하며, 비가환기하학 도구를 깊이 2 프로비니우스 및 분리 가능한 확장으로 일반화한다. 주요 기여는 유한 생성 프로젝티브 코모듈의 코herent 그룹에서 짝수 상대 순환호모로피로의 맵의 가중치를 제공하는 것으로, 적절한 평탄성 및 분할 조건 하에서 강한 연결의 선택에 영향을 받지 않는다.

ABSTRACT

The Chern-Galois theory is developed for corings or coalgebras over non-commutative rings. As the first step the notion of an entwined extension as an extension of algebras within a bijective entwining structure over a non-commutative ring is introduced. A strong connection for an entwined extension is defined and it is shown to be closely related to the Galois property and to the equivariant projectivity of the extension. A generalisation of the Doi theorem on total integrals in the framework of entwining structures over a non-commutative ring is obtained, and the bearing of strong connections on properties such as faithful flatness or relative injectivity is revealed. A family of morphisms between the K0-group of the category of finitely generated projective comodules of a coring and even relative cyclic homology groups of the base algebra of an entwined extension with a strong connection is constructed. This is termed a relative Chern-Galois character. Explicit examples include the computation of a Chern-Galois character of depth 2 Frobenius split (or separable) extensions over a separable algebra R. Finitely generated and projective modules are associated to an entwined extension with a strong connection, the explicit form of idempotents is derived, the corresponding (relative) Chern characters are computed, and their connection with the relative Chern-Galois character is explained.

연구 동기 및 목표

• 비가환 기저환 위에서 엔트와인딩 구조 내에서 체른-갈루아 특성자의 형식을 체계적으로 확장함으로써, 체계를 필드에서 비가환 기저환으로 일반화한다.
• 엔트와인드 확장 내에서 강한 연결, 갈루아 성질, 등변 프로젝티비티 사이의 관계를 설정한다.
• 코모듈의 K-이론에서 상대 순환호모로피로의 사상으로서 상대 체른-갈루아 특성자를 구성한다.
• 평탄성 및 분할 조건 하에서 특성자가 강한 연결의 선택에 영향을 받지 않음을 보인다.
• 클리프 호프 알베로이드 확장 및 깊이 2 프로비니우스 분할 확장에 대해 특성자의 명시적 계산을 제공한다.

제안 방법

• 비가환환 위의 대수로서 이중사상 엔트와인딩 구조 내에서 엔트와인드 확장을 도입한다.
• 호프-갈루아 이론 내의 연결 개념을 일반화하기 위해 이중사상 엔트와인딩 구조 내에서 강한 T-연결을 정의한다.
• 일반화된 쿤츠-쿼일렌 정리를 사용하여 강한 연결이 등변 프로젝티비티 및 갈루아 성질과 관련이 있음을 밝힌다.
• 코모듈 C의 유한 생성 프로젝티브 코모듈로부터 기저 대수 B의 T-상대 순환복합체 내의 짝수 사이클을 구성한다.
• 상대 체른-갈루아 특성자를 K₀(C)에서 짝수 T-상대 순환호모로피 군 HC₂ₙ(B|T)로 가는 맵의 가중치로 정의한다.
• 표준 에피모르피즘 λ*: HC*(B) → HC*(B|T)를 적용하고, 특성자가 프로젝터 아이디포텐트 표현에 대해 독립적이라는 점을 이용하여 연결 선택에 대한 불변성을 보인다.

실험 결과

연구 질문

• RQ1 체른-갈루아 특성자는 비가환 기저환 위의 엔트와인드 확장으로 어떻게 일반화될 수 있는가?
• RQ2 엔트와인드 확장 내에서 강한 연결, 갈루아 성질, 등변 프로젝티비티 사이의 관계는 무엇인가?
• RQ3 상대 체른-갈루아 특성자가 강한 연결의 선택에 영향을 받지 않게 되는 조건은 무엇인가?
• RQ4 클리프 호프 알베로이드 확장 및 깊이 2 프로비니우스 분할 확장에 대해 특성자의 명시적 형태는 어떻게 계산할 수 있는가?
• RQ5 상대 체른-갈루아 특성자와 기저 대수 B의 상대 체른 특성자 사이의 관계는 무엇인가?

주요 결과

• 강한 T-연결이 존재하는 것은 엔트와인드 확장이 갈루아이면서 등변적으로 프로젝티브일 조건과 동치이며, 이는 정리 3.7에 의해 입증된다.
• 상대 체른-갈루아 특성자는 K₀(C)에서 짝수 T-상대 순환호모로피 군 HC₂ₙ(B|T)로 가는 맵의 가중치로 구성되며, 정리 5.4에서 명시적 공식이 유도된다.
• 클리프 호프 알베로이드 확장 및 깊이 2 프로비니우스 분할 확장의 경우 특성자가 명시적으로 계산되며, B의 상대 체른 특성자와 일치함을 보였다.
• B-T 양측 모듈로서의 분할 조건, T 위에서 A의 국소 프로젝티비티, 평탄성, 그리고 식 (5.1)의 사상의 전사성 조건 하에서, 상대 체른-갈루아 특성자는 강한 연결의 선택에 영향을 받지 않으며, 이는 정리 5.14에서 증명되었다.
• 확장이 분할되고 평탄성 및 프로젝티비티 조건을 만족할 경우, 상대 체른-갈루아 특성자의 값은 B의 상대 체른 특성자와 동일하다. 이는 특성자가 아이디포텐트 표현에 대해 독립적이기 때문이다.
• 강한 연결을 갖는 엔트와인드 확장에 대해 관련된 유한 생성 프로젝티브 B-모듈의 아이디포텐트를 명시적으로 유도한 정리 5.10을 통해 상대 체른 특성자의 계산이 가능해진다.