[論文レビュー] Separated monic representations II: Frobenius subcategories and RSS equivalences

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

Algebraic structures and combinatorial models参考文献 26被引用数 4

ひとこと要約

本稿は、単項関係をもつ束縛クオーヴァー $(Q,I)$ と代数 $A$ に対して、分離単射的射類 ${\rm smon}(Q,I,\mathscr{X})$ の組み合わせ的構成を導入し、Gorenstein-projective $\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})$ がFrobenius圏であるための必要十分条件は $\mathscr{X}$ がFrobenius圏であることであることが示され、$\mathcal{GP}(\Lambda)$ とは異なる $\Lambda$-mod の新しいFrobenius部分圏が得られる。主な結果は、${\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 の拡張閉Frobenius部分圏を特定すること。そのために、分離単射的射類 ${\rm smon}(Q,I,\mathscr{X})$ を分析する。
• ${\rm smon}(Q,I,\mathscr{X})$ がFrobenius圏であるための条件を特定すること。特に、十分な射影的および投射的対象の存在に注目する。
• ${\rm smon}(Q,I,\mathscr{X})$ とその双対 ${\rm sepi}(Q,I,\mathscr{X})$ の間で、Ringel-Schmidmeier-Simson (RSS) 同値を確立すること。これは、表現論における双対性を一般化する。
• ${\rm smon}(Q,I,\mathscr{X})$ が $\mathcal{GP}(\Lambda)$ とは異なるFrobenius部分圏を $\Lambda$-mod に与えるかを明らかにすること。これにより、Gorenstein-projective 加群の既知の構造が拡張される。
• ${\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$ の射影的加群と関連づけ、ホモロジー的制御を可能にする。
• 双対性の再結合公式を確立する：$T$ を $A$-加群のコティルティング加群とするとき、${\rm smon}(Q,I,{}^\perp T) = {}^\perp(T \otimes kQ/I)$ が成り立つ。これにより、コティルティング理論と単射的射類が結びつけられる。
• RSS同値を、$A$ がFrobeniusである場合に、ナカヤマ関手を用いて、${\rm smon}(Q,I,\mathscr{X})$ と ${\rm sepi}(Q,I,\mathscr{X})$（分離エピ射類）の間の双対性として定義する。
• フィルトレーション分解を用いて、${\rm smon}(Q,I,\mathscr{X})$ が拡張閉Frobenius部分圏であるための必要十分条件が $\mathscr{X}$ がFrobenius圏であることであることを証明する。
• 任意の加法的部分圏 $\mathscr{X}$ に対して、任意の $I$ をもつ鎖クオーヴァー $Q$ に対して、明示的なRSS同値公式を提示する。

実験結果

リサーチクエスチョン

• RQ1 ${\rm smon}(Q,I,\mathscr{X})$ がFrobenius圏であるのはいつか。また、$\mathscr{X}$ にどのような条件を課すとそれが成立するか。
• RQ2 Gorenstein-projective $\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 のFrobenius部分圏を生成するか。
• RQ5 ${\rm smon}(Q,I,\mathscr{X})$ のフィルトレーションとテンソル積 $\mathscr{X} \otimes \mathcal{P}(kQ/I)$ の正確な関係は何か。また、この関係がホモロジー的性質をどのように支援するか。

主な発見

• Gorenstein-projective $\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})$ が拡張閉Frobenius部分圏であるための必要十分条件は $\mathscr{X}$ がFrobenius圏であることである。これにより、$\mathcal{GP}(\Lambda)$ とは異なる $\Lambda$-mod の新しいFrobenius部分圏が得られる。
• 任意の拡張閉部分圏 $\mathscr{X}$ に対して、${\rm smon}(Q,I,\mathscr{X})$ と ${\rm sepi}(Q,I,\mathscr{X})$ の間でRSS同値が存在し、明示的に構成されている。
• 鎖クオーヴァー $Q$ に対して、任意の加法的部分圏 $\mathscr{X}$ に対して、明示的なRSS同値公式が与えられている。これは、表現論における双対性を一般化する。
• ナカヤマ関手が ${\rm smon}(Q,I,A) \cong {\rm sepi}(Q,I,A)$ を誘導するための必要十分条件は、$A$ がFrobeniusであることである。これにより、双対性と $A$ のFrobenius性が結びつけられる。