A Computation of Tamarkin-Tsygan Calculus

1. 問題設定 (Problem)

• 対象代数: 著者たちは、Iyudu と Shkarin によって [15] で導入された代数 $A = k\langle x, y, z \rangle / (x^2 + yx, xz, zy)$ を研究対象としています。ここで $k$ は標数 0 の体です。
• 背景と動機:
  • この代数 $A$ は、Koszul 代数であり、大域次元（global dimension）が 4 であることが知られています。
  • しかし、生成元の数は 3 つ（$x, y, z$）です。
  • 可換環論における Auslander–Buchsbaum–Serre の定理（正則局所環において大域次元は次元に等しい）の非可換版が成り立つと仮定すれば、大域次元が生成元の数を超えることは「特異性」を示唆します。
  • 実際、Polishchuk と Positselski の教科書 [20] にある「有限大域次元 $n$ を持つ Koszul 代数は少なくとも $n$ 個の生成元を持つ」という予想の反例として知られています。
• 研究課題:
  • 非可換幾何におけるホッホシルト（コ）ホモロジーやタマルキン＝ツィガン計算の幾何学的意味は未解明な部分が多いですが、この代数 $A$ は「経済的な表示（economic presentation）」を持ちながら、ホモロジー的性質が複雑になる可能性を示す興味深い例です。
  • 本研究の目的は、この $A$ に対して、ホッホシルト（コ）ホモロジーの完全な構造、およびその上のタマルキン＝ツィガン計算（カップ積、キャップ積、ゲルシュタインバー括弧、コンヌ微分など）を具体的に計算し、その振る舞いを解明することです。

2. 手法 (Methodology)

• 代数的モーセ理論 (Algebraic Morse Theory):
  • 本研究の核心的な手法は、Sköldberg [23] や他の研究者 [8] の成果を踏まえた「代数的モーセ理論」です。
  • 通常、ホッホシルト（コ）ホモロジーの計算にはバー解（Bar resolution）が用いられますが、計算が複雑になりがちです。
  • 著者たちは、バー解と最小な自由分解である Koszul 解（Koszul resolution）の間の**比較写像（comparison morphisms）**を構成するために、バー解上の有向グラフ（quiver）に対してモーセマッチング（Morse matching）を構成しました。
  • Sköldberg のマッチングを拡張し、Koszul 解に対応するモーセ複体を導出することで、バー解から Koszul 解への射影 $\pi$ と、その逆の包含 $\iota$ を具体的に記述しました。
• 計算プロセス:
  1. Koszul 解の構成: 代数 $A$ の Koszul 双対コ代数の重み成分を特定し、最小自由分解（Koszul 解）を構築します。
  2. ホモロジー/コホモロジー基底の決定: Koszul 解を用いて、ホッホシルトホモロジー $HH_*(A)$ とコホモロジー $HH^*(A)$ の $k$-基底を具体的に構成します（付録 B で詳細な証明）。
  3. 積と微分の計算:
     • カップ積: Koszul 鎖上の明示的な公式を用いて計算。
     • キャップ積: 同様に Koszul 鎖・余鎖の公式を用いる。
     • コンヌ微分 ($B$) とゲルシュタインバー括弧 ($[-,-]$): これらはバー解の構造に依存するため、前述の比較写像 $\iota$ と $\pi$ を経由して、Koszul 解上の演算に変換して計算します。

3. 主要な貢献と結果 (Key Contributions and Results)

A. ホッホシルト（コ）ホモロジーの構造

• ホモロジー ($HH_*(A)$):
  • $HH_0(A)$ と $HH_1(A)$ のみが非ゼロであり、それ以外（$n \ge 2$）は消滅します。
  • 基底は、単項式 $x^n, y^n, z^n$ や、特定の循環的な構造を持つ項 $x y^{n_1} z^{m_1} \cdots$ などで構成されます。
• コホモロジー ($HH^*(A)$):
  • 非ゼロとなる次数は $0, -1, -2, -4$のみです（$HH^{-3}$ は消滅）。
  • 基底は、生成元への写像を定義する余鎖として具体的に記述されます（例：$A^{-1}, B^{-1}(n), \dots$ など）。

B. 積と微分の性質

• カップ積 ($\cup$):
  • 結果: ホッホシルトコホモロジーにおけるカップ積は、単位元との積を除いて**すべて自明（ゼロ）**です。
  • 具体的には、$HH^{-1} \otimes HH^{-1}$ や $HH^{-2} \otimes HH^{-2}$ などの積はすべてゼロとなります。これは非常に特異な性質です。
• キャップ積 ($\cap$) とコンヌ微分 ($B$):
  • これらは比較的単純なコンパクトな公式で記述可能です。
  • コンヌ微分 $B_0: HH_0 \to HH_1$ は、基底要素に対して明確な作用を持ちます（例：$B_0(\alpha_0(n)) = n\alpha_1(n)$ など）。

C. ゲルシュタインバー括弧 ($[-,-]$) とその構造

• 複雑性:
  • ゲルシュタインバー括弧は非常に複雑で、簡潔なパターンで記述することは困難です（付録 A に詳細な公式が記載されています）。
• ウィット代数（Witt algebra）との関係:
  • 重要な発見として、コホモロジー環 $(HH^*(A), [-,-])$ 内に、ウィット代数 $W(0,0)$ の正の部分に同型な部分代数が存在することが示されました。
  • 基底 $\{L_n, I_n\}_{n \ge 1}$ に対して、括弧は以下のようになります：
    $$[L_n, L_m] = (m-n)L_{m+n}, \quad [L_n, I_m] = m I_{m+n}$$
  • これは、ウィット代数とテンソル密度加群の半直積構造を示しており、非可換代数のホモロジーが古典的な無限次元リー代数の構造を内包していることを示唆しています。

4. 意義 (Significance)

• 非モノミアル代数への最初の完全記述:
  • 著者によると、これは非モノミアル代数（non-monomial algebra）のホッホシルトホモロジーおよびコホモロジー上のタマルキン＝ツィガン計算の完全な記述を提供する最初の研究です。
  • 多くの先行研究がモノミアル代数やより単純なケースに焦点を当てていたのに対し、この研究はより複雑な関係式を持つ代数の構造を解明しました。
• 非可換幾何への示唆:
  • 生成元の数よりも大域次元が大きいという「特異的」な性質を持つ代数であっても、そのホモロジー構造がウィット代数のような豊かな対称性を持つことを示しました。
  • カップ積が自明である一方、ゲルシュタインバー括弧が非自明で複雑な構造を持つという「非対称性」は、非可換幾何におけるホッホシルト理論の深遠な性質を浮き彫りにしています。
• 手法論的貢献:
  • 代数的モーセ理論を用いて、バー解と Koszul 解の間の比較写像を体系的に構成し、それを用いて複雑な演算（特にゲルシュタインバー括弧）を計算する手法は、他の非可換代数の研究にも応用可能な強力なツールとなります。

結論

この論文は、特定の Koszul 代数 $A$ に対して、そのホッホシルト（コ）ホモロジーの完全な基底を特定し、タマルキン＝ツィガン計算のすべての構成要素（積、括弧、微分）を具体的に計算しました。特に、カップ積の自明性とゲルシュタインバー括弧におけるウィット代数構造の発見は、非可換代数のホモロジー的性質が予想以上に豊かで複雑であることを示す重要な成果です。