[논문 리뷰] Separated monic representations II: Frobenius subcategories and RSS equivalences

Pu Zhang, Bao-Lin Xiong|arXiv (Cornell University)|2017. 07. 16.

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

한 줄 요약

이 논문은 단항 관계를 가진 유계 쿼버 (Q,I) 와 대수 A에 대해 분리된 단사 사상 범주 ${\rm smon}(Q,I,\mathscr{X})$ 의 조합적 구성법을 제시하며, 고렌스타인-프로젝티브 $\Lambda$-모듈러는 정확히 ${\rm smon}(Q,I,\mathcal{GP}(A))$ 에 속하는 것임을 보여준다. 이는 ${\rm smon}(Q,I,\mathscr{X})$ 와 그 쌍대 ${\rm sepi}(Q,I,\mathscr{X})$ 사이의 RSS 동치를 수립하고, ${\rm smon}(Q,I,\mathscr{X})$ 가 프로베니우스 범주임과 동시에 $\mathscr{X}$ 가 그러할 때에만 성립함을 증명하여, $\mathcal{GP}(\Lambda)$ 와 다를 수 있는 새로운 프로베니우스 부분범주를 $\Lambda$-mod에 제공한다. 핵심 결과는 ${\rm smon}(Q,I,\mathscr{X}) = {\rm Fil}(\mathscr{X} \otimes \mathcal{P}(kQ/I))$ 의 필터링 해석으로, 이는 호모로지적 및 쌍대성 결과를 가능하게 한다.

ABSTRACT

This paper aims at looking for Frobenius subcategories, via the separated monomorphism category ${ m smon}(Q, I, \x)$, and on the other hand, to establish an { m RSS} equivalence from ${ m smon}(Q, I, \x)$ to its dual ${ m sepi}(Q, I, \x)$. For a bound quiver $(Q, I)$ and an algebra $A$, where $Q$ is acyclic and $I$ is generated by monomial relations, let $Λ=A\otimes_k kQ/I$. For any additive subcategory $\x$ of $A$-mod, we construct ${ m smon}(Q, I, \x)$ combinatorially. This construction describe Gorenstein-projective $\m$-modules as $\mathcal {GP}(\m) = { m smon}(Q, I, \mathcal {GP}(A))$. It admits a homological interpretation, and enjoys a reciprocity ${ m smon}(Q, I, \ ^\bot T)= \ ^\bot (T\otimes kQ/I)$ for a cotilting $A$-module $T$. As an application, ${ m smon}(Q, I, \x)$ has Auslander-Reiten sequences if $\x$ is resolving and contravariantly finite with $\widehat{\x}=A$-mod. In particular, ${ m smon}(Q, I, A)$ has Auslander-Reiten sequences. It also admits a filtration interpretation as ${ m smon}(Q, I, \mathscr{X})={ m Fil}(\mathscr{X}\otimes \mathcal P(kQ/I))$, provided that $\x$ is extension-closed. As an application, ${ m smon}(Q, I, \x)$ is an extension-closed Frobenius subcategory if and only if so is $\x$. This gives "new" Frobenius subcategories of $\m$-mod in the sense that they are not $\mathcal{GP}(\m)$. Ringel-Schmidmeier-Simson equivalence ${ m smon}(Q, I, \x)\cong{ m sepi}(Q, I, \x)$ is introduced and the existence is proved for arbitrary extension-closed subcategories $\x$. In particular, the Nakayama functor $\mathcal N_\m$ gives an { m RSS} equivalence ${ m smon}(Q, I, A)\cong{ m sepi}(Q, I, A)$ if and only if $A$ is Frobenius. For a chain $Q$ with arbitrary $I$, an explicit formula of an { m RSS} equivalence is found for arbitrary additive subcategories $\x$.

연구 동기 및 목표

• 유계 쿼버 $(Q,I)$ 와 대수 $A$ 에 대해 $\Lambda = A \otimes_k kQ/I$ 를 고려할 때, $\Lambda$-mod 의 확장 닫힘 프로베니우스 부분범주를 식별하기 위해 분리된 단사 사상 범주 ${\rm smon}(Q,I,\mathscr{X})$ 를 분석한다.
• ${\rm smon}(Q,I,\mathscr{X})$ 가 프로베니우스 범주가 되는 조건, 특히 충분한 프로젝티브 및 인젝티브 대상의 존재 여부를 규명한다.
• ${\rm smon}(Q,I,\mathscr{X})$ 와 그 쌍대 ${\rm sepi}(Q,I,\mathscr{X})$ 사이의 리angen-슐레드마이어-심슨(Ringel-Schmidmeier-Simson, RSS) 동치를 수립하여 표현 이론에서의 쌍대성을 일반화한다.
• ${\rm smon}(Q,I,\mathscr{X})$ 가 $\mathcal{GP}(\Lambda)$ 와 다를 수 있는 새로운 종류의 프로베니우스 부분범주를 $\Lambda$-mod에 제공함으로써 기존의 고렌스타인-프로젝티브 모듈러의 구조를 확장한다.
• ${\rm smon}(Q,I,\mathscr{X})$ 의 호모로지적 및 조합적 해석을 $kQ/I$ 의 프로젝티브 모듈러와의 텐서곱을 포함하는 필터링 분해를 통해 제공한다.

제안 방법

• ${\rm smon}(Q,I,\mathscr{X})$ 를 $A$ 위에서의 유계 쿼버 $(Q,I)$ 의 표현의 전부인 부분범주로 조합적으로 구성하며, 각 꼭짓점은 $\mathscr{X}$ 에 속하고 모든 화살표는 단사 사상이 되도록 한다.
• 필터링 해석 ${\rm smon}(Q,I,\mathscr{X}) = {\rm Fil}(\mathscr{X} \otimes \mathcal{P}(kQ/I))$ 를 이용하여 ${\rm smon}(Q,I,\mathscr{X})$ 의 구조를 $kQ/I$ 의 프로젝티브 모듈러와 연결함으로써 호모로지적 제어를 가능하게 한다.
• 상호관계 공식을 증명한다: ${\rm smon}(Q,I,{}^\perp T) = {}^\perp(T \otimes kQ/I)$, 여기서 $T$ 는 코틸팅 $A$-모듈러이다. 이는 코틸팅 이론과 단사 사상 범주를 연결한다.
• RSS 동치를 ${\rm smon}(Q,I,\mathscr{X})$ 와 ${\rm sepi}(Q,I,\mathscr{X})$ 사이의 쌍대성으로 정의하며, $A$ 가 프로베니우스일 경우 나카야마 함수를 사용한다.
• ${\rm smon}(Q,I,\mathscr{X})$ 가 확장 닫힘 프로베니우스 부분범주임과 동시에 $\mathscr{X}$ 가 그러할 때에만 성립함을 필터링 분해를 통해 증명한다.
• 사슬 쿼버 $Q$ 와 임의의 $I$ 에 대해 명시적인 RSS 동치 공식을 제공하며, 임의의 가법 부분범주 $\mathscr{X}$ 에 대해 유효하다.

실험 결과

연구 질문

• RQ1 분리된 단사 사상 범주 ${\rm smon}(Q,I,\mathscr{X})$ 가 프로베니우스 범주가 되는 조건은 무엇이며, 이 경우 $\mathscr{X}$ 에 어떤 조건이 필요할까?
• RQ2 고렌스타인-프로젝티브 $\Lambda$-모듈러의 구조는 ${\rm smon}(Q,I,\mathcal{GP}(A))$ 를 통해 어떻게 조합적으로 기술할 수 있을까?
• RQ3 ${\rm smon}(Q,I,\mathscr{X})$ 와 ${\rm sepi}(Q,I,\mathscr{X})$ 사이에 RSS 동치가 존재하는 조건은 무엇이며, 이는 언제 나카야마 함수에 의해 유도되는가?
• RQ4 ${\rm smon}(Q,I,\mathscr{X})$ 가 $\mathcal{GP}(\Lambda)$ 와 다를 수 있는 새로운 프로베니우스 부분범주를 $\Lambda$-mod에 제공할 수 있는가?
• RQ5 ${\rm smon}(Q,I,\mathscr{X})$ 의 필터링과 텐서곱 $\mathscr{X} \otimes \mathcal{P}(kQ/I)$ 사이의 정확한 관계는 무엇이며, 이는 호모로지적 성질을 어떻게 지원하는가?

주요 결과

• 고렌스타인-프로젝티브 $\Lambda$-모듈러는 정확히 ${\rm smon}(Q,I,\mathcal{GP}(A))$ 에 속하며, 이는 $\mathcal{GP}(\Lambda)$ 의 조합적이고 호모로지적인 기술을 제공한다.
• ${\rm smon}(Q,I,\mathscr{X})$ 는 ${\rm Fil}(\mathscr{X} \otimes \mathcal{P}(kQ/I))$ 로 필터링 해석될 수 있으며, 이는 호모로지적 성질을 증명하는 데 필수적이다.
• 분리된 단사 사상 범주 ${\rm smon}(Q,I,\mathscr{X})$ 는 $\mathscr{X}$ 가 그러할 때에만 확장 닫힘 프로베니우스 부분범주이며, 이는 $\mathcal{GP}(\Lambda)$ 와 다를 수 있는 새로운 프로베니우스 부분범주를 $\Lambda$-mod에 제공한다.
• 임의의 확장 닫힘 부분범주 $\mathscr{X}$ 에 대해 ${\rm smon}(Q,I,\mathscr{X})$ 와 ${\rm sepi}(Q,I,\mathscr{X})$ 사이에 RSS 동치가 존재하며, 명시적으로 구성된다.
• 사슬 쿼버 $Q$ 에 대해 임의의 가법 부분범주 $\mathscr{X}$ 에 대해 유효한 명시적 공식이 주어지며, 표현 이론에서의 쌍대성을 일반화한다.
• 나카야마 함수는 $A$ 가 프로베니우스일 때에만 ${\rm smon}(Q,I,A) \cong {\rm sepi}(Q,I,A)$ 를 유도하는 RSS 동치를 유도하며, 이는 쌍대성과 $A$ 의 프로베니우스 성질을 연결한다.