[논문 리뷰] Comodules over semiperfect corings

S. Caenepeel, Miudrag Iovanov|arXiv (Cornell University)|2011. 09. 14.

Rings, Modules, and Algebras참고 문헌 12인용 수 9

한 줄 요약

이 논문은 반완전 코링 위의 코모듈을 조사하며, 모듈의 가장 큰 합리적 부분모듈을 할당하는 Rat 함자—모듈의 가장 큰 합리적 부분모듈을 할당하는 함자—가 정확한 조건을 설정한다. 아르틴 링과 qF-링 위에서 반완전 코링을 특성화하며, 기저 링이 qF-링일 경우 Rat 함자의 정확성이 코링이 유한 생성 코모듈의 직합으로 분해될 때와 동치임을 보여주며, 반완전 코메트로이드 이론을 코링 설정으로 일반화한다.

ABSTRACT

We discuss when the Rat functor associated to a coring satisfying the left $α$-condition is exact. We study the category of comodules over a semiperfect coring. We characterize semiperfect corings over artinian rings and over qF-rings.

연구 동기 및 목표

• 체 위의 반완전 코메트로이드의 성질을 더 일반적인 링 위의 반완전 코링으로 확장하기 위해.
• 좌측 α-조건을 만족하는 코링과 관련된 Rat 함자의 정확성에 대해 조사하기 위해.
• 범주론적 및 호모로지적 성질을 사용하여 아르틴 링과 qF-링 위의 반완전 코링을 특성화하기 위해.
• 특정 링 설정에서 프로젝티브 코팅의 존재, 직합 분해, Rat 함자의 정확성 간의 동치관계를 수립하기 위해.

제안 방법

• Rat 모듈을 분석하고 M에 의해 생성되는 부분모듈을 식별하는 T^M 함수(트레이스 함자)를 분석하기 위해 σ[M] 범주를 사용하기 위해.
• 코링의 쌍대에서 유한 위상(또는 C-적위상)을 적용하여 합리성 및 조밀성 성질을 연구하기 위해.
• qF-링 위에서 유한 생성 왼쪽 및 오른쪽 모듈 간의 쌍대성을 활용하여 Rat 함자의 정확성에 대한 역방향 결과를 증명하기 위해.
• 주어진 정리의 조건을 확인하기 위해 링 준동형에 대한 스위드러 코링을 분석하여 구체적인 예를 제공하기 위해.
• 스위드러 코링의 쌍대와 S의 내림사슬환 사이의 동형을 이용하여 Rat^C(M)를 명시적으로 기술하기 위해.
• 코링 C가 유한 생성 코모듈의 직합으로 분해될 경우, 특히 R이 qF-링일 경우 Rat^C가 정확하다는 것을 증명하기 위해.

실험 결과

연구 질문

• RQ1 좌측 α-조건을 만족하는 코링에 대해 Rat 함자가 정확한 조건은 무엇인가?
• RQ2 아르틴 링 위의 반완전 코링은 프로젝티브 코팅과 직합 분해를 통해 어떻게 특성화될 수 있는가?
• RQ3 qF-링 위에서 Rat 함자의 정확성과 코링이 유한 생성 왼쪽 코모듈의 직합으로 분해될 수 있는 것 사이의 관계는 무엇인가?
• RQ4 체 위의 반완전 코메트로이드에 대한 결과들이 qF-링과 같은 더 일반적인 링으로 확장될 수 있는 정도는 어느 정도인가?
• RQ5 스위드러 코링의 구조는 Rat 함자의 정확성과 모듈의 합리성에 어떤 영향을 미치는가?

주요 결과

• 아르틴 링 위의 코링은 오직 오직 오른쪽 코모듈의 범주가 충분한 프로젝티브를 가질 때만 오른쪽 반완전이다.
• 아르틴 링 위의 코링에 대해, 프로젝티브 생성자가 존재하는 것과 모든 유한 생성 코모듈이 유한 생성 프로젝티브 코팅을 가질 수 있는 것은 동치이다.
• qF-링 위에서 Rat 함자는 오직 오직 코링이 유한 생성 왼쪽 코모듈의 직합으로 분해될 수 있을 때만 정확하다.
• 링 준동형 ι: R → S에 대응하는 스위드러 코링에 대해, S가 국소 프로젝티브이고 코링의 쌍대가 내림사슬환에 조밀할 경우 Rat 함자는 정확하다.
• 코세미단순 코링의 경우, 기저 링이 qF-링이 아니라도 Rat 함자는 정확하고 코링은 유한 생성 코모듈의 직합으로 분해된다.
• S가 충실하게 평탄하고 국소 프로젝티브일 경우, Rat^C(M)는 Rat^C(M)^coC ⊗_R S와 동형이며, 이는 합리적 모듈의 명시적 기술을 제공한다.