An Affine Semigroup from Orbifold Boundary Conditions: cut, phylogenetic and hierarchical models in the unit-weight sector, and weighted configurations beyond them

技術的要約：オービフォールド境界条件からのアフィン半群

問題設定
本稿は、2次元オービフォールド上のゲージ理論における境界条件の同値類の分類を扱う。これらのクラスは、周辺写像（marginal map）のファイバーを形成し、自然にアフィン半群の元によってインデックス付けされる。研究の主要対象はこの半群 $S$ であり、これは「アルファベット」のラベルによって生成される。各ラベルは、正の整数重み（オービフォールドの空間群の既約表現の次元）と局所データ（コーンポイントにおける固有値の多重度）を保持している。本論文の目的は、$S$ の構造を特定し、そのトーリックイデアルを決定し、特に既存の代数統計学の枠組みではカバーされていない重み付きアルファベットを含むケースにおいて、それが完全交差（complete intersection）を構成するかどうかを確立することである。

手法
本稿は、トーリック幾何学、組合せ論的可換代数、および徹底的な計算検証の組み合わせを用いている。

1. 半群の構成: 半群 $S$ は、ベクトル $a_i = (w_i, v_i)$（ここで $w_i$ は重み、$v_i$ は局所データ）によって生成される $\mathbb{N}^{1+c}$ の部分半群として定義される。
2. 既知モデルとの同一化: 特定のケース（単位重み、特定のオービフォールド群）において、著者は $S$ の点配置と既知の構造との間の厳密な算術的な等価性を確立している。これは、単に組合せ論的に類似しているのではなく、点配置そのものが同一であることを意味する：
   • カット構成（Cut Configurations）: $\mathbb{Z}_2$ 上において、半群は特定のグラフ（$P_3, C_4, W_4$）のカット構成と同一視される。
   • 群ベースのモデル: 単位重みかつ等しいコーン次数の $\mathbb{Z}_m$ 上において、$S$ はクローツリー（claw tree）上の群ベースの系統発生モデルに対応する。
   • 階層モデル: 積 $(S^1/\mathbb{Z}_2)^k$ について、$S$ は正多面体（cross-polytope）の境界複体のバイナリ階層モデルと同一視される。
3. 貼り合わせ（Gluing）基準: $S$ が完全交差であるかどうかを判定するために、著者は貼り合わせ基準（Fischer, Morris, Shapiro; Delorme）を適用する。最小生成集合を2つの空でない部分に分割し、それらが貼り合わせを形成するかどうかを、格子交差（エルミート標準形）およびメンバーシップ・テストを通じて検証する。
4. 計算による検証: すべての数値的不変量（ヒルベルト級数、$h^*$-ベクトル、最小マルコフ基底、コーエン・マコーレー型）は、補助スクリプトを用いて計算される。著者は再現性を強調しており、すべての数値が、正確性を保証するための「レシート（検証ログ）」と「デコイ（囮）」を含むこれらのスクリプトから再生可能であることを記している。

主要な貢献および結果

• 点配置の特定: 著者は、特定のオービフォールドに対して、半群の構成が既知の組合せ論的対象と厳密な算術において「等しい」ことを証明する。

  • $S^1/\mathbb{Z}_2$ は $P_3$ のカット構成に対応する。
  • $T^2/\mathbb{Z}_2$ は $C_4$ のカット構成に対応する。
  • $S^1/\mathbb{Z}_2 \times S^1/\mathbb{Z}_2$ はホイールグラフ $W_4$ のカット構成に対応する。
  • 混合次数モデル: コーン次数が等しくない場合、本稿は既存の文献ではカバーされていない「混合次数」型の群ベースモデルのバリアントに対応することを示す。

• 完全交差の分類:

  • トリポッド・モデル: 有限アーベル群 $G$ 上のトリポッド（3つの葉を持つクローツリー）における群ベースのモデルにおいて、半群が完全交差となるのは $|G| \leq 3$（自明な群を含む）の場合のみである。グループが大きくなるにつれ、構造は複雑になり、完全交差性が失われる。ただし、これは対象全体に関する記述である。Casanellas, Fernandez-Sanchez, および Michalek は、これらの多様体がザリスキー開集合（系統発生学の文献が扱う領域）においては完全交差であることを証明しており、その結果は依然として有効である。重要な点は、これら2つの言明が本質的に異なるということである。すなわち、$\mathbb{Z}_4$ トリポッドはザリスキー開集合上では完全交差であるが、グローバルな意味では完全交差ではない。
  • 積オービフォールド: $(S^1/\mathbb{Z}_2)^k$ の半群は、$k \geq 3$ の任意の $k$ に対して完全交差ではない。これは、生成数の数が（極限レイの境界である）$2d-2$ を超えることを示す極限レイ境界（定理1）を通じて証明される。

• 例外的なケース ($S^1/\mathbb{Z}_2 \times S^1/\mathbb{Z}_2$):

  • この環は、余次元7、次数64の正規なコーエン・マコーレー・トーリック環である。
  • 著者の計算による会計（accounting）は、SturmfelsとSullivant (2008) がカットイデアルとして既に表にまとめていた不変量（余次元、次数、生成元、正規性）を、全く異なる物理的側面から完全に再現している。さらに本稿は、このシステムが完全交差ではないという独立した直接的な証明を加えている。
  • この環は完全交差ではない。
  • ゲーレンシュタイン（Gorenstein）ではない。そのコーエン・マコーレー型は9である。
  • 最小マルコフ基底は、16個の不可欠な二項式（8個の2次式と8個の4次式）からなる。局所データの写像の特定のファイバーを接続するために、2次の移動では不十分であるため、4次式が必要となる。
  • 構成の自己同型群は、$Z_2^4 \rtimes \text{Aut}(W_4)$、位数は128として特定される。

• 重み付きセクター（本稿の主要な貢献）:

  • 著者は、既存のいかなる枠組み（カット構成や標準的な群ベースモデル）でもカバーされていない「重み付き」アルファベットのセクターを特定し、その特性を評価した。これは、高次元既約表現への誘導（非アーベル空間群の場合）および共役ペアの再結合（実/四元数空間の場合）という2つのメカニズムから生じる。
  • 著者は、すべてのケースにおけるユニタリ、直交、およびシンプレクティックな実現を網羅する、13個の新しい貼り合わせ木（gluing trees）を特定した。これらは、重み付きケースに対する最初の貼り合わせ木とヒルベルト級数の提供となる。

意義および主張
本論文は、オービフォールド境界条件から生じるアフィン半群の精密な特定を提供し、ゲージ理論とトーリック幾何学および代数統計学を橋渡しすることを主張している。

• 既知の結果の帰属: 非重み付きケース（カットイデアル、群ベースモデル）の性質については、既存の文献（Sturmfels, Sullivant, Casanellasら）に帰属させており、オービフォールド構成が（事前の知識なしに）既知の不変量を再現することを検証している。
• 新規性: 主要な貢献は以下の通りである：
  1. すべての有限アーベル群に対するトリポッドモデルの分類を行い、グローバルな完全交差性が失われる条件を明確にしたこと。
  2. $(S^1/\mathbb{Z}_2)^k$ が $k \geq 3$ で完全交差ではなく、かつカットイデアルでもないことを証明したこと。
  3. 「例外的なケース」($S^1/\mathbb{Z}_2 \times S^1/\mathbb{Z}_2$) の詳細な分析（型9、一意な最小マルコフ基底）を提供したこと。
  4. 既存の枠組みでは発見されていなかった、重み付きセクターの導入と、13個の貼り合わせ木による詳細な特性評価を行ったこと。

本論文は、文献が局所的（ザリスキー開集合）にのみ完全交差であることを証明している箇所において、これらの多様体がグローバルな意味で完全交差であると主張することを明示的に避けている。また、局所的およびグローバルな完全交差性の区別が極めて重要であり、オービフォールドの例が特定の、物理的に関連のあるケースにおいてグローバルな性質に対する具体的な反例を提供していることを強調している。本研究は、先行研究から継承されたものと、ここで確立されたものとの間の「台帳」として提示されており、厳密かつ機械的に検証可能な計算に焦点を当てている。