Quasi-Gorenstein morphisms of commutative local dg-algebras

技術的サマリー：可換局所 DG 環の準 Gorenstein 準同型

問題と文脈
本論文は、可換ノエテル局所環の領域から、より一般的な可換局所微分付付き次数付き（dg）環の領域へと、準 Gorenstein 準同型の理論を拡張する課題に取り組んでいる。古典的な設定において、Avramov と Foxby は、Gorenstein 性を捉えるために準 Gorenstein 準同型を導入した。すなわち、局所環 $R$ が Gorenstein であることと、その剰余体 $k$ への写像 $R \to k$ が準 Gorenstein であることは同値である。さらに、局所準同型 $\phi: R \to S$ に対して、$\phi$ が準 Gorenstein であるならば、$R$ が Gorenstein であることと $S$ が Gorenstein であることは同値である。

著者らは、これらの結果を dg 環、特に $H_0(R)$ がノエテル局所環であり、かつホモロジー $H(R)$ が $H_0(R)$ 上有限生成であるような dg 環へと一般化することを目的としている。この拡張における中心的な課題は、Gorenstein 次元や「実質的に小（virtually small）」な性質といった dg 設定に固有のホモロジー的性質を用いてこれらの準同型を特徴づけ、コズル複体を通じて局所環における完全列を理解することである。

方法論
著者らは、dg $R$-加群の導来圏 $D(R)$ において作業し、有界かつ次数ごとの有限生成ホモロジーを持つ加群の部分圏 $D^f_b(R)$ に焦点を当てる。方法論は以下の点に依存している：

1. 定義と背景：Gorenstein 次元（$G\text{dim}$）、双対化 dg 加群、および「実質的に G 小（virtually G small）」な性質（Dwyer, Greenlees, Iyengar によって導入された「実質的に小」な性質の Gorenstein 版）の定義を確立する。
2. ホモロジー的特徴づけ：準 Gorenstein 準同型に関する古典的結果の dg 版を証明する。これには、$\text{RHom}$ などの導来関手を操作し、厚部分圏（thick subcategories）の性質を利用することが含まれる。
3. コズル複体の解析：要素の列に対するコズル複体 $R$ における標準的な拡大 $R \to H_0(R)$ を調査する。著者らは、この写像が準 Gorenstein となる条件を分析し、それを「完全列」（正則元または完全零因子からなる列）の概念と結びつける。
4. 例の構成：自明拡大（$R \ltimes M$）や分解のテンソル積を利用して、特定の dg 環と準同型を構成し、理論の境界をテストする。

主要な貢献と結果

• 準 Gorenstein DG 準同型の定義：本論文は、$G\text{dim}_R S < \infty$ なる可換局所 dg 環の準同型 $\phi: R \to S$ を、$\text{RHom}_R(S, R)$ が $D(S)$ において $S$ のシフトと同型である場合に準 Gorenstein であると定義する。この定義は、ノエテル局所環の加群有限局所準同型に制限された場合、古典的な環論的定義と整合する。

• 実質的に G 小加群による特徴づけ（定理 A）：
  本論文は、準 Gorenstein 準同型の新たな特徴づけを確立する。$S_0$ がノエテル局所環であり $G\text{dim}_R S < \infty$ なる準同型 $\phi: R \to S$ を考えるとき、以下の条件は同値である：

  1. $\phi$ は準 Gorenstein である。
  2. $R$ 上で有限 Gorenstein 次元を持ち、かつ有界かつ次数ごとの有限長さホモロジーを持つ任意の dg $S$-加群 $M$ は、$S$ 上で実質的に G 小である。
     著者らは、この結果が $R$ と $S$ の両方が通常の環である場合であっても新規であり、Briggs らや Dwyer らによる局所完全交点準同型に関する結果と並行していると指摘している。

• 完全列の特徴づけ（定理 B）：
  著者らは、コズル複体を介した準 Gorenstein 準同型の観点から、ノエテル局所環 $A$ における完全列を特徴づける。$x_1, \dots, x_n$ を $A$ 内の列とし、$R$ をこの列に対するコズル複体とするとき、その列が完全であることと以下の条件は同値である：

  1. 写像 $R \to H_0(R)$ は準 Gorenstein である。
  2. すべての $1 \le i \le n$ に対して、Gorenstein 次元 $G\text{dim}_{A/(x_1, \dots, x_{i-1})} A/(x_1, \dots, x_i)$ は有限である。
     この結果は、完全性（正則元または完全零因子）という代数的性質を、関連するコズル複体のホモロジー的性質に直接結びつける。

• 例と非例：

  • 本論文は、$H_0(R)$ が Gorenstein でないにもかかわらず dg 環 $R$ が Gorenstein となり得ること、およびその逆も成り立ち得ることを示しており、標準的拡大が常に準 Gorenstein であるわけではないことを意味する。
  • 列が完全零因子からなる場合に、コズル複体の標準的拡大が準 Gorenstein となる条件を提供する。
  • 著者らは、完全零因子の列に対するコズル複体上の、非自由な Gorenstein 射影的 dg 加群の例を構成する。

• 双対化加群と自明拡大：
  本論文は Jørgensen の結果を適応させ、dg 環 $R$ が双対化 dg 加群を持つことと、$R$ が Gorenstein dg 環の準同型像であることは同値であることを示す。さらに、$\inf D > 0$ なる双対化 dg 加群 $D$ に対して、写像 $R \to R \ltimes D$ が準 Gorenstein であることと、$R$ が Gorenstein であることは同値であることを証明する。

意義と主張
本論文は、可換局所 dg 環に対する準 Gorenstein 準同型の導入が、Avramov と Foxby の基礎的な仕事を dg 設定へ成功裏に拡張したと主張している。主な意義は、これらの準同型を「実質的に G 小」な性質を用いて特徴づける点にあり、著者らはこの結果が古典的な環準同型に対しても新規であると述べている。

さらに、本論文は局所環における完全列に対する新たな視点を提供し、それらのコズル複体の拡大の準 Gorenstein 性を通じて特徴づける。これは、完全列によって生成されるイデアルが準完全交点となるための十分条件を提供する。最後に、この研究は局所 Cohen-Macaulay dg 環上の非自由な極大局所 Cohen-Macaulay dg 加群の具体的な構成をもたらし、dg 文脈における Gorenstein 射影的加群の既知の領域を拡大している。