On construction of differential $\mathbb Z$-graded varieties

技術要約：微分 $\mathbb{Z}$-次数付き多様体の構成について

問題設定
本論文は、あるイデアル $I$（可換単単位代数 $O$ 内の）によって定義される特異空間に関連する2つの異なる幾何学的構造を、同時にエンコードする $\mathbb{Z}$-次数付き $Q$-多様体（次数 $+1$ のホモロジー的ベクトル場 $Q$ を備えた微分次数付き可換代数）を構成するという問題に取り組んでいる。

1. 負の成分： 商代数 $O/I$ のコシュル・テイト分解（Koszul-Tate resolution）。これは、特異空間のホモロジー的な置き換えとして機能する。
2. 正の成分： 特異空間上のベクトル場（またはリー・リネハルト代数）に関連する、正の次数を持つ $Q$-多様体。

このような $\mathbb{Z}$-次数付き拡張の存在は、滑らかな幾何学的設定において Hancharuk と Louis [18] によって確立されているが、その結果は非構成的であった。ここで扱われる具体的な課題は、問い 0.2 である。すなわち、この $\mathbb{Z}$-次数付き $Q$-多様体はどの程度計算可能か？具体的には、標準的なテイト・アルゴリズムでしばしば必要とされる無限のホモロジー計算を回避し、有限のステップで終了するアルゴリズムを設計できるか？

手法
著者らは、負の成分として [22, 23] で導入された**樹状コシュール・テイト分解（arborescent Koszul-Tate resolution）**を利用した、ホモロジー摂動論に基づく構成的アプローチを採用している。

1. 樹状構造（Arborescent Structure）： 無限の生成物を生成する可能性のある標準的なテイト・アルゴリズムの代わりに、著者らは、平面的な根付き木（planar rooted trees）で装飾された射影分解 $(M, d)$ から構築された分解 $(S(\text{Tree}[M]), \delta_\psi)$ を利用する。この構造は、装飾された木を用いることで分解の明示的な記述を可能にし、必要な計算を大幅に削減する。
2. ホモトピー・レトラクト・データ： この構成は、樹状分解と基礎となる射影分解 $(M, d)$ の間の明示的なホモトピー・レトラクト・データ $(\iota, p, h)$ に依存している。このデータは、「レトラクション残差（retraction residues）」($\alpha$ および $\beta$) を定義するために使用され、これらが正の成分の完全な $\mathbb{Z}$-次数付き多様体への拡張を制御する。
3. 2つの異なる設定：
   • 定理 2.4 (一般の場合)： $O/I$ 上の正の次数を持つ $Q$-多様体の拡張を扱う。これには、$O/I$ から $O$ への導来（derivation）のリフトが必要であり、ケーラー加群 $\Omega_{O/K}$ が射影的であるという仮定を必要とする。
   • 定理 2.6 (保存する場合)： イデアル $I$ を保存する（すなわち $Q(I) \subseteq I$）$O$ 上の正の次数を持つ $Q$-多様体の拡張を扱う。このシナリオでは、リフトの仮定は不要であり、レトラクション残差 $\alpha$ が消滅する「明示的な樹状拡張」が得られる。

主要な貢献と結果

• アルゴリズム的構成 (定理 2.4)： 本論文は、負の成分が樹状コシュール・テイト分解であり、正の成分が与えられた $O/I$ 上の $Q$-多様体であるような、$\mathbb{Z}$-次数付き拡張 $(A, Q)$ を構成するアルゴリズムを提供している。著者らは、もし $O/I$ の射影分解および正の部分の分解が有限の長さおよび有限のランクを持つならば、この構成は有限回のホモロジー計算のみを必要とすることを証明している。
• 明示的な公式 (定理 2.6 および命題 2.7)： 正の部分がイデアル $I$ を保存するケースにおいて、著者らは全ホモロジー的ベクトル場 $Q$ の明示的な記述を導出している。このベクトル場は、木の操作（根付け、マージ、および葉の装飾）とフック写像 $\chi$ を用いて再帰的に表現される。この定式化により、正の次数における反復的なホモロジー的リフトの必要性が排除される。なぜなら、拡張は射影分解と木の構造によって完全に決定されるからである。
• 計算複雑性の低減： 樹状構造を利用することで、ホモロジー計算が、標準的なテイト分解の無限の塔全体ではなく、木の加群と正の成分を含む特定のモジュールのペアに限定されることを示している。
• 幾何学的応用 (系 2.10 および定理 2.9)： これらの結果は、リー・リネハルト代数（例：アフィン多様体 $W$ 上のベクトル場）に関連する普遍的な Lie $\infty$-algebroid に適用される。本論文は、$W$ の座標環上の $\mathbb{Z}$-次数付き多様体を構成しており、その負の成分は特異空間を分解し、正の成分はベクトル場の普遍的な構造をエンコードする。
• 高次構造 (付録 B)： この構成は、自然に射影分解 $M$ 上の高次乗法（積 $\star^{(k)}$）の列を誘導する。これらの積は、導来されたベクトル場の成分におけるライプニッツ則の破れを測定するものであり、$A_\infty$ 構造に類似している。

意義と主張
本論文は、$\mathbb{Z}$-次数付き $Q$-多様体の拡張問題に対する、構成的かつ計算可能な解を提供することを主張しており、先行研究 [18] の存在論的な結果を超えている。

• 計算可能性： 主要な意義は、広範なクラスの代数（多項式環やアフィン多様体の座標環を含む）において、この構成が有限のステップで終了することを示した点にある。これは、標準的なコシュール・テイト分解の一般的な無限の性質とは対照的に、具体的な計算や潜在的なソフトウェア実装への適用を可能にするものである。
• 明示性： 装飾された木の使用は、基礎となる射影分解とイデアル $I$ の項を用いた、ベクトル場成分の明示的な計算のための「明示的な記述」を提供する。
• 統一： 本研究は、特異空間の代数的扱い（コシュール・テイト分解による）と、特異な葉層およびリー・リネハルト代数の研究（普遍的な Lie $\infty$-algebroid による）を、単一の $\mathbb{Z}$-次数付きの枠組みの中で統一している。

著者らは、有限の分解を持たないあらゆる可能な特異空間に対する一般的な存在問題の解決を主張しているのではなく、有限の射影分解が存在する場合において、これらの特定の微分次数付き対象の構成を可能にする、洗練された代数的メカニズムを提示している。