無限次元の塔が立ち上がる超幾何：リー超代数 $\mathfrak{psl}(n|n)$ コホモロジーの完全決定とAdS/CFTの深淵

導入（1行サマリー ＆ つかみ）

「生成子が有限個しかない代数から、なぜ無限次元のコホモロジーが湧き出すのか？」——超弦理論のホログラフィー原理（AdS/CFT対応）の中核をなす対称性 $\mathfrak{psu}(2,2|4)$ の複素化 $\mathfrak{psl}(4|4)$ の背後には、通常のリー代数論の常識を心地よく覆す、超対称性ならではの代数幾何学的構造が横たわっています。

今回取り上げる論文は、Thiago Oliveira Ferreira氏による『Cohomology of $\mathfrak{psl}(n|n)$ in trivial and in adjoint representations』（arXiv:2609.22598v1）です。

本論文は、$\mathrm{AdS}_5 \times \mathbb{S}^5$ 時空における超弦理論の線形化変形（linearized deformations）や、ピュアスピノル形式におけるBRST対称性の代数的骨格である射影特殊線形リー超代数 $\mathfrak{psl}(n|n)$ について、自明表現および随伴表現を係数とするシュヴァレー・アイレンバーグ（Chevalley-Eilenberg）コホモロジーを完全に導出した記念碑的研究です。

まずは、通常の物理系との決定的な違いを「1分で掴む直観的イメージ」として整理しておきましょう。

電磁気学のゲージ群 $U(1)$ やヤン・ミルズ理論の $SU(N)$ など、通常の有限次元リー代数 $\mathfrak{g}$ のコホモロジーは、微分形式のウェッジ積（$\wedge$）で構築されます。基底となる1形式 $dx^\mu$ は反交換関係 $dx^\mu \wedge dx^\nu = - dx^\nu \wedge dx^\mu$ に従うため、同一次元の外積は自乗でゼロ（$dx^\mu \wedge dx^\mu = 0$）になります。パウリの排他律と同じく、代数の次元数 $D$ を超える次数の微分形式は存在し得ないため、コホモロジー空間の全次元は必ず有限次元に収まります。

ところが、フェルミオン的な超対称性生成子（奇の元）を取り込むと、事態は180度反転します。奇の生成子を測定・双対化する「微分形式（あるいはBRSTゴースト）」は、グラスマン偶——すなわち可換なボソン的変数になるのです。ボソンには排他律が働きません。いくらでも自乗・多項式として積み上がることが許されます。この結果、台となる代数が有限次元であるにもかかわらず、コホモロジー空間には天井のない「無限の多項式の塔」が立ち現れます。本論文は、この制御不能に見えた無限次元空間を、代数トポロジーの強力なツールであるHochschild-Serreスペクトル系列を用いて完全に解剖しました。

背景にある物理・数学の壁

1. 初等的なBRSTコホモロジーからリー超代数複体への跳躍

場の量子論におけるゲージ固定では、ゲージ変換パラメータをフェルミオン的（グラスマン奇）なゴースト場 $c^a$ に置き換えてBRST電荷 $Q_{\mathrm{BRST}}$ を定義します。通常の有限次元半単純リー代数 $\mathfrak{g}$（基底を $T_a$、交換関係を $[T_a, T_b] = f^c_{ab} T_c$ とする）において、自明表現を係数とするBRST演算子は次のように表されます：

このとき、ゴースト変数 $c^a$ はフェルミオンであるため反交換関係 $\{c^a, c^b\} = 0$ を満たし、ゴースト全体の空間は外積代数 $\bigwedge(\mathfrak{g}^*)$ を張ります。リー代数の構造定数が満たすヤコビ恒等式は、そのまま $Q_{\mathrm{BRST}}^2 = 0$ を保証します。この複体 $\left(\bigwedge(\mathfrak{g}^*), Q_{\mathrm{BRST}}\right)$ のコホモロジーこそが、シュヴァレー・アイレンバーグ・コホモロジー $H^*(\mathfrak{g}; \mathbb{C})$ です。

2. なぜボソニック・ゴーストが生じ、無限次元化するのか？

超対称性を持つ理論では、代数は $\mathbb{Z}_2$ 次数付きリー代数（リー超代数）$\mathfrak{g} = \mathfrak{g}_0 \oplus \mathfrak{g}_1$ へと拡張されます。ここで $\mathfrak{g}_0$ はボソン的生成子（偶元）、$\mathfrak{g}_1$ はフェルミオン的超対称性生成子（奇元）です。超括弧積（superbracket）は次のように定義されます：

特に奇元同士 $u, v \in \mathfrak{g}_1$ の超括弧積は反交換子 $[u, v] = uv + vu$ となり、物理的には2つの超対称変換の合成が時空並進（ボソン）を生み出す機構そのものです。

ここで、双対空間 $\mathfrak{g}^* = \mathfrak{g}_0^* \oplus \mathfrak{g}_1^*$ 上にコホモロジーを定義するためのゴースト変数を導入します。代数元のパリティを反転させた空間 $\Pi \mathfrak{g}$ の双対を取るため、ゴーストの統計性は元の代数と逆転します：

• 偶元 $x \in \mathfrak{g}_0$ の双対 $c^x$ はフェルミオン（奇）：$c^x c^y = - c^y c^x$
• 奇元 $u \in \mathfrak{g}_1$ の双対 $\gamma^u$ はボソン（偶）：$\gamma^u \gamma^v = + \gamma^v \gamma^u$

したがって、表現空間 $V$ を係数とするシュヴァレー・アイレンバーグ鎖複体 $C^*(\mathfrak{g}; V)$ の $k$ 次空間は、外積代数と対称代数（多項式環）のテンソル積で構成されます：

【途中計算のステップ：無限次元性が生じる論理的帰結】

1. 奇元に対する双対基底を $\{\gamma^1, \dots, \gamma^{\dim \mathfrak{g}_1}\}$ とする。
2. これらは可換な自由変数であるため、任意の正整数 $m$ に対し単項式 $(\gamma^1)^{m_1} (\gamma^2)^{m_2} \cdots (\gamma^{\dim \mathfrak{g}_1})^{m_{\dim \mathfrak{g}_1}}$（ただし $\sum m_i = q$）は線形独立にとどまる。
3. したがって対称代数成分 $\dim S^q(\mathfrak{g}_1^*) = \binom{q + \dim \mathfrak{g}_1 - 1}{q}$ は $q \to \infty$ で発散し、微分 $d_{\mathrm{CE}}$ による核 $\ker d$ と像 $\mathrm{im}\, d$ の商を取ったコホモロジー群 $H^k(\mathfrak{g}; V)$ においても、コサイクルが無限個の多項式として生き残る可能性が本質的に生じる。

3. AdS/CFT対応における物理的要請：非ユニタリ変形とピュアスピノル

この数学的対象が現代物理の最前線と直結する舞台が、$\mathrm{AdS}_5 \times \mathbb{S}^5$ 上のIIB型超弦理論と4次元 $\mathcal{N}=4$ 超対称ヤン・ミルズ理論（SYM）の双対性です。この系のイソメトリー超群は $\mathrm{PSU}(2,2|4)$ であり、その複素化リー超代数が本論文の主役である $\mathfrak{psl}(4|4)$ です。

物理的に極めて重要な未解決問題は、$\mathrm{AdS}_5 \times \mathbb{S}^5$ 背景の線形化された変形空間（linearized deformations）の決定です。超重力理論の励起に対応するユニタリ表現の部分空間は詳細に解明されてきましたが、弦理論の励起モード、補助場、ゴースト自由度をすべて内包する全変形空間は非ユニタリ表現を形成します。

さらに、ネイサン・バーコヴィッツ氏が創始したピュアスピノル形式において、超弦の物理状態はピュアスピノル拘束条件（$\lambda \gamma^m \lambda = 0$）を満たすゴースト $\lambda$ を備えたBRSTコホモロジーとして定式化されます。この物理的複体の微分 $Q_{\mathrm{pure}}$ と、代数のシュヴァレー・アイレンバーグ微分 $d_{\mathrm{CE}}$ は互いに反交換し、双複体（bicomplex）をなします。

代数トポロジーの基本原理により、双複体から得られる2つのスペクトル系列は同一の全コホモロジーへと収束しなければなりません。この整合性条件から、弦理論の許容表現や境界 $S$ 行列の構造に対して極めて強力な制約が課されます。この壮大なプログラムを駆動させるための絶対的な入力データこそが、拘束のない純粋な超代数コホモロジー、とりわけ「自明表現 $V = \mathbb{C}$（ゴースト数0）」および変形そのものを記述する「随伴表現 $V = \mathrm{ad}$（ゴースト数1）」のコホモロジーだったのです。

この論文の核心アイデアと数理的機構

著者のThiago Oliveira Ferreira氏は、この難問を解き明かすため、リー超代数のイデアル構造に基づいたHochschild-Serreスペクトル系列（HSSS）を徹底的に展開しました。

1. 超代数 $\mathfrak{psl}(n|n)$ の微細な入れ子構造

まず、代数 $\mathfrak{psl}(n|n)$ がいかにして構成されるかを正確に追跡しましょう。 $(n+n) \times (n+n)$ 次の超行列からなる一般線形リー超代数 $\mathfrak{gl}(n|n)$ を考えます。ブロック分割表示すると：

ここで $A, D$ は $n \times n$ の偶（ボソン）行列、$B, C$ は $n \times n$ の奇（フェルミオン）行列です。超トレース（supertrace）は次のように定義されます：

特殊線形リー超代数は $\mathfrak{sl}(n|n) \coloneqq \{M \in \mathfrak{gl}(n|n) \mid \mathrm{str}(M) = 0\}$ として定まります。

【途中計算のステップ：中心イデアル $\mathfrak{z}$ の出現】

1. 単位行列 $\mathbb{I}_{2n} = \begin{pmatrix} \mathbb{I}_n & 0 \\ 0 & \mathbb{I}_n \end{pmatrix}$ の超トレースを計算する：

2. $\mathrm{str}(\mathbb{I}_{2n}) = 0$ であるため、単位元自身が $\mathfrak{sl}(n|n)$ に属する（$m \neq n$ の通常の超代数では起こり得ない現象）。
3. 任意の $M \in \mathfrak{sl}(n|n)$ に対し $[M, \mathbb{I}_{2n}] = 0$ であるため、$\mathbb{I}_{2n}$ は代数全体と可換であり、1次元の可換中心イデアル $\mathfrak{z} \cong \mathbb{C}\mathbb{I}_{2n}$ を形成する。

この中心を取り除いた商代数こそが、射影特殊線形リー超代数です：

完全可約性が成り立たない超代数において、この「中心で割る」という非自明な短完全系列の介在が、コホモロジー計算を極限まで難解にしていた元凶でした。

2. 計算のエンジン：Hochschild-Serreスペクトル系列（HSSS）

リー超代数 $\mathfrak{g}$、そのイデアル $\mathfrak{h} \subset \mathfrak{g}$、および商代数 $\mathfrak{g}/\mathfrak{h}$ が与えられたとき、全体のコホモロジー $H^*(\mathfrak{g}; V)$ を「部分代数」と「商代数」のコホモロジーへと多段階的に分解して計算する手法がHochschild-Serreスペクトル系列です。

鎖複体 $C^*(\mathfrak{g}; V)$ にイデアル $\mathfrak{h}$ の次数に応じたフィルトレーションを施すことで、系列の第2葉（$E_2$ ページ）は以下のように立ち上がります：

この $E_2$ ページ上の微分写像：

により次葉 $E_3 = \ker d_2 / \mathrm{im}\, d_2$ を計算し、高次の微分 $d_r: E_r^{p, q} \to E_r^{p+r, q-r+1}$ を次々と作用させていきます。微分がすべて自明になる極限で系列は退化（collapse）し、最終的なコホモロジー群の次数付き付随空間 $E_\infty^{p, q} \cong \mathrm{gr}\, H^{p+q}(\mathfrak{g}; V)$ へと収束（$\Longrightarrow$）します。

3. 本論文における3段階の突破劇

ステップ1：$\mathfrak{gl}(m|n)$ の自明係数コホモロジーの精密化と文献の誤り訂正

著者はまず、ボソン部分代数 $\mathfrak{g}_0 = \mathfrak{gl}(m) \oplus \mathfrak{gl}(n)$ をイデアルとする系列を構築し、$\mathfrak{gl}(m|n)$ のコホモロジーを計算しました。その過程で、$\mathfrak{sl}(m|n)$ の自明係数コホモロジーに関する先行文献の記述に明らかな不整合（特定の次数のサイクルの脱落）が存在することを暴き出し、正しい表現を再構築しました。

ステップ2：完全系列を用いた $\mathfrak{sl}(n|n)$ から $\mathfrak{psl}(n|n)$ への降着

中心 $\mathfrak{z}$ による次の短い完全系列を用います：

中心イデアル $\mathfrak{z} \cong \mathbb{C}$ は1次元の可換代数であるため、その外積代数は $H^*(\mathfrak{z}; \mathbb{C}) \cong \bigwedge(\theta)$（ここで $\theta$ はゴースト数1の基底）となります。 スペクトル系列の微分 $d_2$ は、この中心拡大の障害類（Euler類・二次特性類）を捉え、商代数 $\mathfrak{psl}(n|n)$ のコホモロジーと $\mathfrak{sl}(n|n)$ のコホモロジーを精緻に関係づけます。

ステップ3：随伴表現係数 $V = \mathrm{ad}$ の完全決定

最も過酷な計算が、係数に代数自身をとる随伴表現 $V = \mathfrak{psl}(n|n)$ です。 鎖複体 $C^*(\mathfrak{g}) \otimes \mathfrak{g}$ において、微分作用素は外積部分だけでなく係数ベクトルの交換関係にも作用します：

著者は、拡大代数 $\mathfrak{sl}(n|n)$ の随伴加群が完全簡約でない（イデアル $\mathfrak{z}$ を含む非半単純な合成列を持つ）事実を逆手に取り、部分加群の短完全系列：

に伴う長完全系列とスペクトル系列を複合的に連立させました。各次数の微分 $d_r$ が引き起こす相殺パターンを代数的に完全に特定することで、$n \leqslant 4$（物理の対象である $n=4$ を含む）に対する低次数のコホモロジー群の次元と生成元を余すところなく導出したのです。

で、私（筆者）はどう考えるか？

ここからは、場の量子論の厳密な数理と超対称共形場理論（SCFT）を探究する立場から、この結果が持つ物理的本質と将来のインパクトについて私自身のオピニオンを述べます。

1. 「有限次元代数の表現論」から「多項式環の代数幾何」への視座の転換

本論文が提示した計算結果を前にして最も痛感するのは、リー超代数のコホモロジーとは、もはや古典的な群論の枠組みではなく、「ボソニック・ゴーストが張るアフィン空間上の代数幾何学」そのものだということです。

偶生成子の双対がなす多項式環 $S(\mathfrak{g}_1^*)$ は、幾何学的にはフェルミオン空間の双対アフィン空間 $\mathbb{A}^{\dim \mathfrak{g}_1}$ 上の正則関数環です。シュヴァレー・アイレンバーグ微分 $d_{\mathrm{CE}}$ は、このアフィン空間上の多項式係数ベクトル場として振る舞います。 有限次元代数でありながら無限次元のコホモロジーが立ち現れるという事実は、物理的には「フェルミオン的対称性をゲージ固定した瞬間に、理論の真空構造や変形空間が無限個のボソニックな不変多項式によってモジュライ化される」ことを意味しています。この無限次元の塔をスペクトル系列の各葉で有限の生成元に縮約していくプロセスは、幾何学における特異点解消の代数的影を見ているかのようで、息を呑む美しさがあります。

2. 4次元 $\mathcal{N}=4$ SYM のカイラル代数（VOA）との結節点

私が特に強い確信を持っているのは、近年の数理物理の金字塔である「4次元SCFTから2次元頂点作用素代数（VOA）への射影」（Beemらによる4d/2d対応）との直結性です。

4次元 $\mathcal{N}=4$ SYM において、超共形代数 $\mathfrak{psu}(2,2|4)$ の特定の超電荷 $Q$ を用いてコホモロジーを取ると、局所演算子の相関関数環は2次元カイラル代数——アフィン・リー超代数 $\mathfrak{psu}(4|4)$ の臨界レベル $-4$ におけるカレント代数——へと退化します。 本論文が導出した $\mathfrak{psl}(4|4)$ の自明係数および随伴係数コホモロジーは、この2次元VOA側における「BRSTゼロモード解析」および「変形複体」の基底状態そのものを捉えています。高次コホモロジー群に現れる無限の階層は、2次元VOAにおける強生成カレント（strong generators）のなす閉じた作用素積展開（OPE）の代数的背骨を成しているはずです。

3. ピュアスピノル超弦の散乱振幅計算への決定打

弦理論の歴史において、$\mathrm{AdS}_5 \times \mathbb{S}^5$ 背景での弦の量子化は、グリーン・シュワルツ形式における $\kappa$ 対称性の共変的ゲージ固定の不可能性によって長年阻まれてきました。ピュアスピノル形式はこの壁を突破したものの、ピュアスピノル拘束条件：

という二次錐（quadratic cone）の代数多様体上でのコホモロジー計算という、極めて高度な代数幾何学的困難に直面していました。

バーコヴィッツらが示唆していたように、拘束条件を持つピュアスピノル複体と、本論文が解いた拘束のない $\mathfrak{psl}(4|4)$ のシュヴァレー・アイレンバーグ複体は双複体を形成します。これまで、基準となる「非拘束側のコホモロジー群の厳密値」が欠落していたために、双複体スペクトル系列の比較から物理的状態の次元を絞り込む作業が足踏みしていました。

本論文が与えた $H^*(\mathfrak{psl}(4|4); \mathbb{C})$ および $H^*(\mathfrak{psl}(4|4); \mathrm{ad})$ の厳密な分類データは、ピュアスピノル複体を解くための「絶対的な境界条件（グランド・ツルース）」を確立したと言えます。ここからスペクトル系列を上方へ追跡することで、$\mathrm{AdS}_5 \times \mathbb{S}^5$ 上の超弦理論のオフシェル頂点演算子と散乱振幅を、第一原理から完全に決定する道筋が開かれたと私は確信しています。

まとめ ＆ 論文リンク

本論文は、AdS/CFT対応の根幹を支えながらも、その複雑さゆえに未踏の領域として残されていた射影特殊線形リー超代数 $\mathfrak{psl}(n|n)$ のコホモロジー群を、Hochschild-Serreスペクトル系列の精密な展開によって完全に決定しました。

• ボソニック・ゴーストの対称代数が生み出す無限次元のコホモロジーの塔
• 特殊線形超代数 $\mathfrak{sl}(n|n)$ の中心イデアル $\mathfrak{z}$ がもたらす商構造の完全な制御
• 先行研究の不整合の訂正と、$n \leqslant 4$ における低次随伴コホモロジーの具体的決定

これらは単なる数学的計算の金字塔にとどまらず、超対称共形場理論のカイラル代数構造や、AdS時空におけるピュアスピノル超弦の量子化を根本から駆動させる強力な推進力となります。数理物理の深淵に挑む読者は、ぜひ以下の原論文で展開される息をのむようなスペクトル系列の計算を味わってみてください。

• 論文アブストラクト（arXiv）: arXiv:2609.22598v1
• 論文PDF: Download PDF (2609.22598v1)

📊 本日の自律型 AI パイプライン採点レポート

• 選定元: [arXiv:2609.22598v1] / カテゴリ: math-ph, hep-th
• 本日のランキング: 第7位（選考スコア: 17.652）
• Jev 論文スクリーニング:
  • 数理物理核心度: 89.0%
  • 理論的新規性・深度: 1.38 / 3.0
  • 話題性・アピール度: 1.17 / 3.0
  • サブ領域: holography_bootstrap_exact
• Jev 記事品質推敲（Evaluator-Optimizer）:
  • 最終品質スコア: 10.97 / 12.0（判定: 合格）
  • 数理・理論の具体性: 2.75 / 3.0
  • 行間・途中計算の丁寧さ: 2.63 / 3.0
  • 筆者オピニオン度: 2.85 / 3.0
  • 知的好奇心刺激度: 2.74 / 3.0
  • 「で、あなたの意見は？」リスク: 31.0%
  • 「難解・置いてけぼり」リスク: 49.0%
  • 自律推敲・改善プロセス (計 2 回): 第1稿: 9.45点 [足切り (need_math_details)] ➡️ 第2稿: 10.97点 [合格]