Gorenstein flat-cotorsion modules over tensor rings

技術的概要：テンソル環上のゴレンシュタイン・フラット・コトランスモジュール

問題提起
本論文は、テンソル環 $TR(M)$ 上のゴレンシュタイン・フラット・コトランス（GFC）モジュールの特性記述に取り組む。テンソル環は、$R$-両側モジュール $M$ に対して $TR(M) = \bigoplus_{i=0}^{\infty} M^i$ と定義され、ここで $M$ は $N$-冪零（すなわち $M^{N+1}=0$）であると仮定される。このような環上のゴレンシュタイン同調的性質（射影的、入射的、平坦）は以前から研究されてきたが、自明拡大環上の GFC モジュールについては Wang、He、Jin によって調査されたものの、より広範なテンソル環 $TR(M)$ 上の GFC モジュールの一般的な記述は未解決の課題となっていた。具体的には、$R$-モジュール $X$ と $R$-準同型 $u: M \otimes_R X \to X$ の対 $(X, u)$ として表される $TR(M)$-モジュールが GFC となるための必要十分条件を決定することが、著者らの目的である。

手法と枠組み
著者らは、随伴関手とテンソル環上のモジュールの構造的分解の枠組みを採用する。主要な方法論的要素は以下の通りである：

1. 関手的アプローチ：忘却関手 $U: \text{Mod}(TR(M)) \to \text{Mod}(R)$ とその随伴、特に誘導関手 $\text{Ind} \cong TR(M) \otimes_R -$ を利用する。本論文は、これらの関手を介して $TR(M)$上の平坦モジュールおよびコトランスモジュールが$R$ 上のそれらと密接に関連していることを確立する。
2. 条件 (P)：解析は Chen と Lu によって導入された Tor-消滅条件に依存する：すべての $i \ge 1$ に対して $\text{Tor}^R_{\ge 1}(M, M^i) = 0$。
3. 両立可能かつ許容的な両側モジュール：著者らは、$M \otimes_R -$ および $\text{Hom}$ 関手を含む複体の非輪状性を扱うために、「両立可能（compatible）」および「許容的（admissible）」な両側モジュールの定義を導入する。これらの概念はゴレンシュタイン射影的モジュールに関する先行研究から適応されたものであるが、GFC の文脈に合わせて調整されている。
4. 分解の構成：証明戦略には、$R$ 上の平坦コトランスモジュールの完全非輪状複体から $TR(M)$ 上のそれらを構成することが含まれる。対処された重要な技術的障壁は、ゴレンシュタイン射影的モジュールとは異なり、GFC モジュールの部分圏は全射の核について閉じておらず、すべてのモジュールが射影的モジュールの像であるわけではないという点である。著者らは、これらの障害を回避するための新たな議論を開発し、具体的にはスネーク補題と次元シフトを用いて完全系列を構成する。

主要な結果
中心的な結果は、特定の同調的条件の下で $TR(M)$ 上の GFC モジュールを特徴づける定理 3.9である。

• 定理 3.9：条件 (P) を満たす $N$-冪零 $R$-両側モジュール $M$ を考える。$M \otimes_R -$ がコトランスモジュールを保存し、かつ平坦次元 $\text{fd}_R M < \infty$ および $\text{fd}_{R^{op}} M < \infty$ であるならば、$TR(M)$-モジュール$(X, u)$ が GFC であるための必要十分条件は以下の通りである：
  1. 写像 $u: M \otimes_R X \to X$ が単射であること。
  2. 余核 $\text{Coker}(u)$ が GFC な $R$-モジュールであること。

本論文は、命題 3.6（必要性）および命題 3.8（十分性）を通じてこれを証明する。命題 3.5 は、$M$ に関する上記の条件（条件 (P)、コトランスの保存、有限の平坦次元）が、$M$ を両立可能かつ許容的にすることを示しており、これらは主要定理の前提条件である。

応用
著者らは主要定理を 2 つの特定の環のクラスに応用し、既存の結果を精緻化する：

1. 自明拡大環 ($R \ltimes M$)：$M$ が 1-冪零（$M \otimes_R M = 0$）であるとき、$TR(M)$は自明拡大$R \ltimes M$と同型である。**系 4.1**は$R \ltimes M$ 上の GFC モジュールを特徴づける。著者らは、この結果が $M_R$ が平坦であるという仮定を、有限の平坦次元と高次 Tor 群の消滅のみを要求する条件に緩和することで、Wang ら [26] の結果を改善していると指摘する。
2. モリタ・コンテクスト環：零両側モジュール準同型を持つモリタ・コンテクスト環 $\Lambda = \begin{pmatrix} A & N \\ M & B \end{pmatrix}$ に対して、$\Lambda$ は自明拡大 $(A \times B) \ltimes (M \oplus N)$ と同型である。系 4.3は、$M \otimes_A N = 0 = N \otimes_B M$ であるようなこのような環上の GFC モジュールを特徴づける。自明拡大の場合と同様に、これは平坦性の仮定を有限の平坦次元と Tor-消滅条件に緩和することで、先行研究の結果を精緻化する。

意義と主張
本論文は、自明拡大に限定された先行研究を拡張し、テンソル環上のゴレンシュタイン・フラット・コトランスモジュールの統一的な特性記述を提供すると主張する。その意義は以下の点にある：

• 一般化：特定のケース（自明拡大）から、$N$-冪零両側モジュールを伴う一般的なテンソル環 $TR(M)$ への移行。
• 技術的精緻化：GFC 圏における閉包性の欠如（特に全射の核に関するもの）を克服し、特性記述を確立すること。
• 仮定の緩和：自明拡大およびモリタ・コンテクストへの応用において、先行文献で必要とされた厳密な平坦性の仮定を、有限の平坦次元および Tor-消滅に関する条件に置き換えることで、これらの特性記述が成立する環の範囲を拡大していること。

著者らは明示的に、証明戦略がゴレンシュタイン射影的モジュール（例えば [9]）に対して用いられたものとは異なることを述べている。それは、射影的モジュールの特定の性質が GFC モジュールには成り立たないため、新たな議論の導入が必要となるからである。