Some criteria for Gorensteinness via Gorenstein projective cotorsion pairs

1. 問題設定と背景

背景:
ゴレンシュタインホモロジー的性質（Gorenstein homological properties）は、現代の表現論と可換環論において中心的な役割を果たしています。特に、有限生成ゴレンシュタイン射影加群（Gorenstein projective modules）の概念は、Auslander によって導入され、Enochs と Jenda によって一般環に対して研究されました。

核心的な問題:

1. 弱ゴレンシュタイン性（Weakly Gorensteinness）の同値条件:
   環 $R$ が「左弱ゴレンシュタイン環（left weakly Gorenstein ring）」であるための必要十分条件は何か？（定義：$R$ 自身の左 Ext-直交類 $\perp_\infty R$ が、有限生成ゴレンシュタイン射影加群の圏 $\text{Gproj}(R)$ と一致すること）。
2. 有限生成設定におけるコトーション対（Cotorsion Pair）:
   無限生成加群の圏では、$(\text{GProj}(R), \text{GProj}(R)^\perp)$ がコトーション対をなすことが知られているが、有限生成加群の圏 $\text{mod}(R)$ において、有限生成ゴレンシュタイン射影加群 $\text{Gproj}(R)$ が生成するコトーション対が存在するか？また、それがどのような性質を持つか？
3. ゴレンシュタイン性の逆命題:
   Iwanaga-Gorenstein 環において $(\text{Gproj}(R), P_{<\infty}(R))$ がコトーション対をなすことは既知である。その逆、すなわちこのコトーション対の成立が環のゴレンシュタイン性を導くか？（特に Cohen-Macaulay 局所環において）。

2. 手法とアプローチ

著者らは、**コトーション対（Cotorsion Pairs）と厚い部分圏（Thick Subcategories）**の理論を駆使して、これらの問題を解決しました。

• 設定:

  • $S$ を標準加群 $\omega$ を持つ Cohen-Macaulay 環とする。
  • $R$ を $S$ 上のノエタール代数とし、$S$-加群として $R$ が最大 Cohen-Macaulay 加群（Maximal Cohen-Macaulay, MCM）であると仮定する。
  • この設定は、Artin 代数や完全 Cohen-Macaulay 局所環など、多くの重要なケースを含む。

• 主要な技術的道具:

  • 双対加群: $R^\dagger := \text{Hom}_S(R, \omega)$ を定義し、これを用いてゴレンシュタイン射影加群の圏を記述する。
  • Ext-直交類と厚い部分圏: $\text{Gproj}(R)$ が、$\text{proj}(R)$（有限生成射影加群）と $R^\dagger$ で生成される厚い部分圏 $\text{Thick}(\text{proj}(R) \cup \{R^\dagger\})$ の左 Ext-直交類として特徴づけられることを示す。
  • モノモルフィズム近似（Monic Approximations）: 有限生成射影加群によるモノモルフィズム近似の存在性を証明し、弱ゴレンシュタイン性の判定に利用する。

3. 主要な結果と貢献

論文の主要な定理は以下の 3 つです。

定理 1.1: 左弱ゴレンシュタイン性の同値条件

$R$ が左弱ゴレンシュタイン環であるための必要十分条件は、以下のいずれかと同値であることが示されました。

1. $\text{Thick}(\text{proj}(R) \cup \{R^\dagger\}) \subseteq (\perp_\infty R)^\perp_\infty$
2. 特定の短完全系列 $0 \to X \to P \to R^\dagger \to 0$ （$P$ は射影）における $X$ が $(\perp_\infty R)^\perp_\infty$ に属する。

これは、弱ゴレンシュタイン性が単一の加群 $X$（または $R^\dagger$ と射影加群で生成される厚い部分圏）の性質によって制御されることを示しています。

定理 1.2: 有限生成ゴレンシュタイン射影加群によるコトーション対

上記の仮定の下で、$(\text{Gproj}(R), \text{Gproj}(R)^\perp_1)$ は $\text{mod}(R)$ における遺伝的（hereditary）コトーション対をなすことが証明されました。

• 意義: 一般の環において有限生成設定でのコトーション対の存在は不明瞭でしたが、Cohen-Macaulay 環上のノエタール代数というクラスにおいてこれを確立しました。
• 特徴: $\text{Gproj}(R)$ は、$\text{Thick}(\text{proj}(R) \cup \{R^\dagger\})$ の左 Ext-直交類として記述されます。

定理 1.3: コトーション対を通じたゴレンシュタイン性の判定

$R$ を Cohen-Macaulay 局所環とするとき、以下の条件は同値です。

1. $R$ は Iwanaga-Gorenstein 環である（すなわち、$R$ はゴレンシュタイン環である）。
2. $\text{Gproj}(R)^\perp_1 = P_{<\infty}(R)$ （有限射影次元加群の圏）。
3. $(\text{Gproj}(R), P_{<\infty}(R))$ がコトーション対をなす。

これは、Iwanaga-Gorenstein 環における既知の結果の逆が、Cohen-Macaulay 局所環において成り立つことを示したものです。

4. その他の重要な結果

• Artin 代数の場合の明示的記述:
  Artin 代数 $\Lambda$ において、$\text{Gproj}(\Lambda)$ は、ある特定の加群の集合 $S_\Lambda \cup T_\Lambda$（射影分解と入射分解に関連する加群）の左 Ext-直交類としてより明示的に記述できることを示しました（命題 3.13）。
• 半ゴレンシュタイン射影加群の判定:
  有限な Auslander 境界（Auslander bound）を持つ半ゴレンシュタイン射影加群は、実際にはゴレンシュタイン射影加群であることを示しました（系 3.15）。
• Chen の問題への回答:
  X.-W. Chen が提起した「$\text{Gproj}(R) = \text{proj}(R)$ ならば $\text{GProj}(R) = \text{Proj}(R)$ か？」という問いに対し、Artin 代数においてこれは「$R$ がバーチャル・ゴレンシュタイン（virtually Gorenstein）であること」と同値であることを示しました（命題 4.12）。

5. 意義と結論

この論文は、ゴレンシュタインホモロジー論において以下の点で重要な貢献をしています。

1. 構造の明確化: 有限生成ゴレンシュタイン射影加群の圏が、射影加群と双対加群（標準加群に関連）で生成される厚い部分圏の直交類として記述できることを示し、その圏論的構造を解明しました。
2. コトーション対の確立: 有限生成加群の圏において、ゴレンシュタイン射影加群が遺伝的コトーション対を生成することを証明し、近似理論（Approximation Theory）の枠組みを適用可能にしました。
3. 判定基準の提供: 環がゴレンシュタイン環であるかどうかを、コトーション対の性質や特定の厚い部分圏の包含関係によって判定する新しい基準を提供しました。特に、コトーション対 $(\text{Gproj}(R), P_{<\infty}(R))$ の存在がゴレンシュタイン性と同値であるという結果は、環のホモロジカル構造を理解する上で強力なツールとなります。

総じて、この研究は Cohen-Macaulay 環上のノエタール代数という広いクラスにおいて、ゴレンシュタイン性とコトーション対の関係を体系的に整理し、新たな同値条件を確立した点で高く評価されます。