A three-block higher-rank deformed Hermitian--Yang--Mills correspondence on $\mathbb P^1\times\mathbb P^1$

技術要約：$\mathbb{P}^1 \times \mathbb{P}^1$ 上の 3 ブロック高ランク変形エルミート・ヤン–ミルズ対応

問題設定
本論文は、$\mathbb{P}^1$ 上の「3 ブロック」のベクトル束の連鎖から次元縮退によって構成された、特定のランク 4 の正則束上で、滑らかで厳密に較正された（strictly calibrated）エルミート計量が、変形エルミート–ヤン–ミルズ（dHYM）方程式を満たす存在性を調査している。この束は、以下の連鎖として構成される：
$$\mathcal{O}(1) \xrightarrow{\psi = Bz} \mathcal{O}(2)^{\oplus 2} \xrightarrow{\phi = (Az)^T} \mathcal{O}(3)$$
ここで、$A, B \in \text{Mat}_2(\mathbb{C})$ は係数行列であり、$z$ は斉次座標を表す。方程式は、特定の積ケーラー類と主位相 $\theta_4 = \pi - \arctan(6)$ に対して固定されている。

中心的な問いは、この点逐次的（pointwise）な非可換行列方程式の解の存在が、$\mathbb{P}^1$ の因子に対する $\text{SU}(2)$ 作用に関連する等変余完備圏における代数的安定条件によって特徴付けられるかどうかである。具体的には、著者らは、誘導された対象が等変 $Z$-安定、$Z$-半安定、または $Z$-多安定（$Z$-polystability）であることと、存在性が同値であるかどうかを追求している。

手法
著者らは、代数的分類と厳密な解析的構成を組み合わせた二分的なアプローチを採用している：

1. 代数的分類:

   • 等変余完備層と余完備キバー層（Álvarez-Cónsul および García-Prada）の間の同値性を利用して、連鎖のすべての等変余部分対象を分類する。
   • これらの部分対象のセントラルチャージ $Z$ と位相を計算する。安定性は、部分対象 $S$ に対する位相不等式 $\text{Arg } Z(S) < \text{Arg } Z(E)$ によって定義される。
   • 解析は、$A$ と $B$ のランクおよび組成 $Q(z) = z^T A^T B z$ の消滅によって定義される 11 個の空でない係数層（strata）をカバーする。

2. 解析的構成とコンパクト性:

   • 次元縮退: dHYM 方程式は、基底 $\mathbb{P}^1$ 上の 3 つの結合された行列方程式へと簡約される。スカラーモデルとは異なり、中央の方程式は非可換な矢印の積（$\phi\psi$ および $\psi\phi$）と順序付き反交換子を含むため、スカラー化ができない。
   • 継続法: 著者らは、パラメータ $\tau \in (0, 1]$ と固定された補助質量 $\mu_s$ によってパラメータ化された連続パスを用いて解を構成する。特定のパラメータ値にアンカーされたコンパクト写像次数議論（Leray–Schauder）を通じて、$\tau > 0$ における解の存在を確立する。
   • ア・プリオリ推定: 最大の困難は、$\tau \to 0$ となる際の一様束の証明にある。著者らは以下を確立している：
     • 勾配とシンボルのギャップ: 解の計量が厳密に正であり、かつ、下の矢印 $\psi$ がある点で消滅する場合であっても、線形作用素のシンボルが非退化であり続けることを証明する。
     • 値の束: ソース予算（source budgets）と運動項を分析することで、「計量の逃走（metric escape）」（計量成分の非有界な増大）を排除する。
     • ディバイザー質量の取り扱い: 下の矢印がランク 1（一点 $p$ で消滅）である場合、著者らは「穿孔された（punctured）」解析を導入する。彼らは、ディバイザー質量（原子的なソース寄与）を追跡し、矢根のゼロにおけるソース予算からこの質量を差し引くことが、可換性を仮定せずに混合微分項を制御するためのスペクトルテストと角度フラックス恒等式を移動させることで、解が逃走する場合の矛盾につながることを示す。

主要な貢献と結果
主な結果は、指定された連鎖に対して完全な対応を確立する定理 4.1 である：

• 同値性: 任意の行列対 $(A, B)$ に対して、滑らかな厳密に較正された簡約解が存在するための必要十分条件は、誘導された対象が等変 $Z$-安定であることである（これは、この文脈では $Z$-半安定および $Z$-多安定と一致する）。
• 代数的判定基準: これらの同値な条件は、正確に以下の時に成立する：
  1. $\text{rank}(A) = 2$ （上の写像が点逐的に全射である）。
  2. $Q(z) = z^T A^T B z \not\equiv 0$ （組成が恒等的にゼロではない）。
• 層の分類: 論文は、11 個の可能な係数層を網羅的に分類している：
  • 存在: 層 $(2, 1, 1)$ および $(2, 2, 1)$ において解が存在する。
  • 非存在: $\text{rank}(A) \le 1$、 $B=0$、または組成が消滅する場合（$Q \equiv 0$）を含む、他のすべての層において解は存在しない。
• 特異性の取り扱い: 証明は、下の矢印 $\psi$ がゼロを持つ場合（ランク 1 のケース）を明示的に扱い、矢根のゼロにおけるディバイザー質量をソース予算に保持しなければ、計量の値が非有界になることを防げないことを示している。これは、矢印を一般的な非消滅セクションとして扱うアプローチと区別される。

意義と主張
本論文は、この特定の 3 ブロック、ランク 4 系に対して、代数的条件である等変 $Z$-安定性が、滑らかな dHYM 計量の存在のための必要十分条件であることを確立しており、完全な対応を提供することを主張している。

• 範囲: 著者らは、自らの結果が「固定された積ケーラー類と位相」および「等変余完備圏」に固有のものであることを明示している。彼らは以下を主張していない：
  • 非等変対象に対する完全な余完備安定性や派生圏の安定性（例：ブリッジランド安定性）との同値性。
  • 解の一意性。
  • 変化する連鎖や変化するケーラー類にわたる一様推定。
  • ランク 4 の束が、特定の弦理論の背景における物理的な非アーベル・ブレーン構成や BPS 状態を代表しているということ。
• 方法論的貢献: 本研究は、順序付きの非可換な中央方程式を扱い、運動項の消滅を仮定せずにディバイザーのゼロ付近での計量の挙動を制御する手法を開発することにより、dHYM 方程式の解析理論を進展させた。証明は、システムの構造を変えるような単純化を避けるため、最後まで「順序付きの非可換な中央方程式」を保持している。

要約すると、本論文は、この特定の幾何学的設定において、代数的条件である等変 $Z$-安定性が、滑らかな dHYM 計量の存在のための必要十分条件であることを確立しており、その証明は、連鎖のランク構造と潜在的な矢根のゼロによって導入される複雑さに厳密に対処している。