[논문 리뷰] Complete Path Algebras and Rational Modules

Miodrag C. Iovanov|arXiv (Cornell University)|2015. 12. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 27인용 수 4

한 줄 요약

이 논문은 완비 경로 대수와 단항 코알제브라 위의 합리적 모듈이 확장에 대해 닫혀 있는 경우를 조사하며, 이것이 정확히 합리적 함자가 토르션 함자일 때 발생함을 밝혀낸다. 주요 기여는 경로 사이의 유한성 조건 하에서 완비 단항 대수에 대해 코어플렉시비티, 확장에 대한 닫힘성, 그리고 모리타 불변성이 성립함을 증명함으로써, 토르션 합리적 함자를 가지는 새로운 종류의 코알제브라를 제공하는 것이다.

ABSTRACT

We study rational modules over complete path and monomial algebras, and the problem of when rational modules over the dual $C^*$ of a coalgebra $C$ are closed under extensions, equivalently, when is the functor $Rat$ a torsion functor. We show that coreflexivity, closure under extensions of finite dimensional rational modules and of arbitrary modules are Morita invariant, and that they are preserved by subcoalgebras. We obtain new large classes of examples of coalgebras with torsion functor, coming from monomial coalgebras, and answer some questions in the literature.

연구 동기 및 목표

• 완비 경로 대수 위의 합리적 모듈의 범주가 확장에 대해 닫혀 있는지 여부를 결정하는 것.
• 코알제브라 $C^*$-모듈에서 합리적 함자 $\mathrm{Rat}$가 토르션 함자로 작용하는 조건을 조사하는 것.
• 기존의 코어플렉시브 코알제브라에 대한 결과를 단항 코알제브라와 완비 단항 대수로 확장하는 것.
• 구성 이론을 활용하여 토르션 합리적 함자를 가지는 코알제브라의 새로운 종류의 예를 제공하는 것.
• 모리타 불변성과 부분코알제브라 포함사상에 의한 합리적 모듈의 확장에 대한 닫힘성 유지 여부를 분석하는 것.

제안 방법

• 경로 코알제브라 $C = \mathbb{K}Q$ 와 그 이중 $C^*$ 사이의 대칭성을 활용하며, $C^*$를 코유한 단항 이상수에 대한 완비화를 통해 완비 경로 대수로 식별한다.
• 합리적 모듈을 $C$ 위의 코모듈로 간주하며, 합리성은 표현의 국소 근본적 소멸성과 대응됨을 적용한다.
• 모듈의 합리적 부분범주에 속하는 모든 부분모듈의 합으로서 트레이스 함자 $T(M)$를 정의하고, $T$가 루트랄(즉, 합리적 모듈이 확장에 대해 닫혀 있는지)일 조건을 분석한다.
• 모든 $M$에 대해 $\mathrm{Rat}(M/\mathrm{Rat}(M)) = 0$ 이면 $\mathrm{Rat}$가 토르션 함자임을 보여주는 기준을 적용하며, 이는 $C^*$-모듈의 구조와 연결된다.
• 모리타-타케우치 동치를 적용하여 기본 코알제브라에서 일반 코알제브라로 성질를 전이하며, 특히 코알제브라의 엑스트-쿼버를 활용한다.
• 경로 사이의 유한성 조건이 만족되는 쿼버에서의 코어플렉시비티 및 직접 코어플렉시비티에 관한 [8]의 결과를 일반화하여 단항 코알제브라로 확장한다.

실험 결과

연구 질문

• RQ1 경로 집합 $H$가 부분경로에 대해 닫혀 있고, 임의의 두 정점 사이에 유한한 경로가 존재하는 경우, 기저가 $H$인 단항 코알제브라 $C$는 언제 직접 코어플렉시브인가?
• RQ2 완비 단항 대수 $C^*$에 대해, 합리적 $C^*$-모듈의 범주가 모든 $C^*$-모듈의 범주에서 확장에 대해 닫혀 있는가?
• RQ3 모리타 동치와 부분코알제브라 포함사상 하에서, 합리적 모듈이 확장에 대해 닫혀 있는 성질은 어떻게 행동하는가?
• RQ4 코알제브라의 엑스트-쿼버에 어떤 구조적 조건이 성립하면 합리적 함자가 토르션 함수가 되는가?
• RQ5 코알제브라가 코어플렉시브일지라도 합리적 함자가 토르션 함수가 아닐 수 있는가? 만약 그렇다면, 그 경우에 필요한 조건은 무엇인가?

주요 결과

• 임의의 두 정점 사이에 유한한 경로가 존재하는 경로 쿼버 $Q$와 부분경로에 대해 닫혀 있는 경로 집합 $H$에 대해, 기저가 $H$인 단항 코알제브라 $C$는 직접 코어플렉시브이다.
• 이러한 단항 코알제브라 $C$는 합리적 $C^*$-모듈이 모든 $C^*$-모듈의 범주에서 확장에 대해 닫혀 있는 성질을 가진다.
• 코어플렉시비티와 합리적 모듈의 확장에 대한 닫힘성은 모리타 동치 하에서도 유지되며, 따라서 모리타 불변성이다.
• 완비 경로 대수의 부분코알제브라에서는, 환경 코알제브라가 경로의 유한성 조건을 만족하면 합리적 모듈이 확장에 대해 닫혀 있음을 상속한다.
• 코알제브라 $C$의 엑스트-쿼버에 대해 임의의 두 정점 사이에 유한한 경로가 존재하면, $C$는 코어플렉시브이며 합리적 토르션 함자를 가진다.
• 합리적 함자 $\mathrm{Rat}$가 $C^*$-모듈에서 토르션 함수임은 합리적 부분범주가 확장에 대해 닫혀 있을 때이고, 이는 경로의 유한성 조건 하에서 단항 코알제브라에 대해 성립한다.