[논문 리뷰] Rational Modules for Corings

Jawad Abuhlail|ArXiv.org|2002. 10. 06.

Structural Analysis of Composite Materials인용 수 6

한 줄 요약

이 논문은 임의의 링 위의 코르링에 대한 합리적 모듈의 일반 이론을 수립하며, 이는 이전의 코메트랄에 대한 합리적 모듈 이론을 확장한다. 코르링이 국소적으로 프로젝티브이고 α-조건을 만족할 경우, 합리적 모듈의 범주는 스매시 곱 대수 위의 모듈의 범주와 동치임을 증명하며, Doi-Koppinen 및 엔트와인드 모듈에 대한 결과를 일반화하고 이러한 범주들이 σ[M] 유형임을 보여준다.

ABSTRACT

In this paper we lay the basis of the theory of rational modules of corings extending results on rational modules for coalgebras to the case of arbitrary ground rings. We apply these results mainly to categories of entwined modules (e.g. Doi-Koppinen modules, alternative Doi-Koppinen modules) generalizing results of Y. Doi, M. Koppinen and C. Menini et al. on the categries of Doi-Hopf moduels and categories of relative Hopf modules.

연구 동기 및 목표

• 코메트랄에서의 합리적 모듈 이론을 임의의 링 위의 코르링으로 확장한다.
• 코르링의 프로젝티비티 조건을 국소적 프로젝티비티로 약화시켜 Doi-Koppinen 및 엔트와인드 모듈에 대한 결과를 일반화한다.
• 엔트와인드 모듈의 범주가 모듈 이론에서 잘 이해된 클래스인 σ[M] 유형임을 보인다.
• Doi, Koppinen, Menini 등의 이전 결과들을 단일 프레임워크 아래 통합하고 일반화한다.
• 선형 위상과 α-조건을 사용하여 합리적 모듈의 위상적 및 대수적 특성화를 수립한다.

제안 방법

• 측정 왼쪽 및 오른쪽 R-페어링을 도입하고, 대수 위에 두 가지 선형 위상을 정의한다: 약한 선형 위상과 C-adic 위상.
• 측정 페어링의 경우 약한 선형 위상과 C-adic 위상이 일치함을 증명하여 합리적 모듈의 위상적 특성화를 가능하게 한다.
• α-조건을 적용하여, 합리적 모듈의 범주가 σ[C_A] (또는 σ[C_{*C}]) 와 동치가 되는 측정 왼쪽(또는 오른쪽) 페어링을 특성화한다.
• 유한성 정리(정리 2.24)를 적용하여, α-조건 하에서 측정 왼쪽 α-페어링에 대한 합리적 모듈이 유한 생성임을 보인다.
• 일반 이론을 엔트와인딩 구조, Doi-Koppinen 및 대체 Doi-Koppinen 구조에 적용하여, 합리적 모듈이 스매시 곱 대수 위의 모듈과 대응됨을 보인다.
• σ[M] 범주 이론을 활용하여, 합리적 모듈의 결과 범주들이 충분한 임베딩을 갖는 그로텐디크 범주임을 보인다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 링 R 위의 코르링 C에 대해 합리적 모듈의 범주는 스매시 곱 대수 위의 모듈의 범주와 동치가 되는가?
• RQ2 α-조건은 코르링의 국소적 프로젝티비티와 페어링 사상의 조밀성과 어떻게 관련되어 있는가?
• RQ3 코르링 C의 프로젝티비티 조건을 약화시켜도, Doi-Koppinen 모듈의 범주는 스매시 곱 대수 위의 모듈의 범주에 통합될 수 있는가?
• RQ4 코메트랄에 대한 합리적 모듈의 결과들이 비가환 기저 링 위의 코르링으로 어떻게 일반화되는가?
• RQ5 대수 위의 선형 위상(약한 위상과 C-adic 위상)은 합리적 모듈의 구조와 어떻게 관련되어 있는가?

주요 결과

• 측정 왼쪽 α-페어링 (A,C) 에 대한 합리적 모듈의 범주는 σ[C_A]와 동치이며, 이는 C-모듈 A에 의해 생성되는 범주이다.
• 코르링 C가 국소적으로 프로젝티브이고 α-조건이 성립할 경우, 합리적 모듈의 범주는 σ[C_{*C}]와 동치이다.
• 유한성 정리(정리 2.24)는 α-조건 하에서 합리적 모듈이 유한 생성임을 보장한다.
• 우측-우측 Doi-Koppinen 구조 (H,A,C) 에 대해 C가 국소적으로 프로젝티브이면, Doi-Koppinen 모듈의 범주는 σ[(A⊗C)_{#^{op}(C,A)}] 와 동치이다.
• C가 유한 생성이면서 프로젝티브이면, Doi-Koppinen 모듈의 범주는 스매시 곱 대수 A#^{op}C* 위의 모듈의 범주와 동치이다.
• Doi, Koppinen, Menini의 이전 결과들을 프로젝티브에서 국소적으로 프로젝티브인 코르링으로 일반화하여 확장한다.