[논문 리뷰] Similarity, Codepth Two Bicomodules and QF Bimodules

Florencio Castaño Iglesias, Lars Kadison|ArXiv.org|2007. 12. 28.

Algebraic structures and combinatorial models참고 문헌 8인용 수 5

한 줄 요약

이 논문은 $k$-코알제브라 위의 유사 유한 코모듈이 유사할 경우 그들의 코엔도모르피즘 코알제브라가 강하게 동치가 됨을 증명하며, 히라타의 내적환의 모리타 동치 결과를 일반화한다. 코드프스리 두 개의 이코모듈과 QF 이중모듈, 그리고 환의 확장에 대해 적용하여, QF 확장의 경우 왼쪽과 오른쪽 코드프스리 두 개 조건이 동치임을 증명하고, 분리 가능성과 코드프스리 두 개 조건을 통해 코드프스리 세 개를 특성화한다.

ABSTRACT

For any k-coalgebra C it is shown that similar quasi-finite C-comodules have strongly equivalent coendomorphism coalgebras; (the converse is in general not true). As an application we give a general result about codepth two coalgebra homomorphisms. Also a notion of codepth two bicomodule is introduced. The last section applies similarity to an endomorphism ring theorem for quasi-Frobenius (QF) bimodules and then to finite depth ring extensions. For QF extensions, we establish that left and right depth two are equivalent notions as well as a converse endomorphism theorem, and characterize depth three in terms of separability and depth two.

연구 동기 및 목표

• 내적환의 모리타 동치 결과를 코알제브라와 코모듈의 맥락으로 확장한다.
• 코드프스리 두 개의 이코모듈의 개념을 정의하고, 그들이 코드프스리 두 개의 코알제브라 준동형을 특성화하는 데서의 역할을 연구한다.
• 이중모듈의 유사성으로 QF 확장에 대한 프로베니우스 확장 결과를 일반화한다.
• QF 확장에서 왼쪽과 오른쪽 코드프스리 두 개 조건이 동치임을 증명하고, 분리 가능성과 코드프스리 두 개 조건을 통해 코드프스리 세 개를 특성화한다.
• QF 확장에서 텐서 제곱이 그 내적환과 유사함을 증명하여, 프로베니우스에서 QF 확장으로의 코드프스리 결과 일반화를 가능하게 한다.

제안 방법

• 유한 거듭제곱에서의 상호 직접합성분을 통한 코모듈의 유사성 정의를 도입하여, 모듈 이론의 개념을 코모듈으로 확장한다.
• 유사 유한 코모듈 $M$에 대해 코엔도모르피즘 코알제브라 구성 $e_{-C}(M) = \text{h}_{-C}(M,M)$를 사용하여, 유사성과 강한 동치 코알제브라 간의 관계를 규명한다.
• 코드프스리 두 개의 이코모듈 개념을 도입하고, 코알제브라 준동형 $\varphi: C \to D$가 코드프스리 두 개일 조건은 ${}_D C_C$ 가 코드프스리 두 개의 이코모듈임과 동치임을 보인다.
• 코엔도모르피즘 코알제브라 이론과 유사성 이론을 QF 이중모듈에 적용하여 QF 이중모듈에 대한 내적환 정리 증명한다.
• 분리 가능성과 유사성 기법을 사용하여, QF 확장이 코드프스리 세 개일 조건은 분리 가능성과 내적환 확장이 코드프스리 두 개임을 증명한다.
• 이론을 환의 확장에 적용하여, QF 확장에서 왼쪽과 오른쪽 코드프스리 두 개 조건이 동치임을 보이고, 반복 내적환을 통한 반복 내적환을 통해 코드프스리 $n$ 확장이 코드프스리 두 개 확장에 통합됨을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 코알제브라 위의 유사 유한 $C$-코모듈이 유사할 경우 그들의 코엔도모르피즘 코알제브라가 린의 의미에서 강하게 동치가 되는가?
• RQ2 코드프스리 두 개의 개념을 코알제브라 준동형에서 이코모듈으로 확장할 수 있으며, 그 의미는 무엇인가?
• RQ3 이중모듈의 유사성으로 QF 이중모듈에 대한 내적환 정리를 증명할 수 있는가?
• RQ4 QF 환 확장에서 왼쪽과 오른쪽 코드프스리 두 개 조건이 동치인가? 만약 그렇다면 어떤 조건에서 성립하는가?
• RQ5 QF 확장의 내적환 확장의 분리 가능성과 코드프스리 두 개 성질을 사용하여 코드프스리 세 개 QF 확장을 특성화할 수 있는가?

주요 결과

• 두 유사 유한 $C$-코모듈이 유사할 경우, 그들의 코엔도모르피즘 코알제브라가 린의 의미에서 강하게 동치가 된다.
• 코알제브라 준동형 $\varphi: C \to D$가 코드프스리 두 개일 조건은 이중모듈 ${}_D C_C$ 가 코드프스리 두 개의 이코모듈임과 동치이다.
• QF 환 확장 $A/B$ 에서 왼쪽과 오른쪽 코드프스리 두 개 조건이 동치이다.
• QF 확장 $A/B$ 는 분리 가능하고, $E = \mathrm{End}\, A_B$ 라면 확장 $E/B$ 가 코드프스리 두 개일 조건과 동치이면 코드프스리 세 개이다.
• QF 확장에서 텐서 제곱 $A \otimes_B A$ 는 $(A,A)$-이중모듈로서 그 내적환 $E$ 와 유사하다.
• 임의의 코드프스리 $n$ QF 확장 $A/B$ 는 반복 내적환 구성에 의해 코드프스리 두 개 확장에 통합될 수 있으며, 충분히 큰 $m \geq n-2$ 에 대해 $E_m/B$ 는 코드프스리 두 개이다.