技術要約：2次元ヤン・ミルズ測度へのPDE的アプローチ

問題設定

本論文は、単位正方形 $\Lambda = [0, 1]^2$ 上の2次元ヤン・ミルズ（YM）測度 $\mu_{YM}$ の小スケールにおける正則性に関する問題に取り組んでいる。YM測度はゲージ不変な方法（例：ウィルソン・ループ）を通じて構成可能であるが、代表的な接続1形式 $A$ を最適な正則性で定義することは依然として困難であった。軸ゲージ（axial gauge）などの従来の構成法では、接続の正則性が $C^{-1/2-\kappa}$ となり、これはガウス自由場（GFF）の期待される正則性 $C^{-\kappa}$ と比較して劣っている。中心となる問いは、YM測度のゲージ固定された代表元 $A_g$ が、最適な正則性（具体的には $\beta$ が1に近い $\Omega^1_\beta$ に属すること）を持ち、かつ安定性を備えているようなゲージ変換を見つけられるか否かである。

手法

著者らは、ゲージ変換に関する特異な楕円型偏微分方程式（PDE）を解くために、粗いパス理論（rough path theory）、正則性構造（regularity structures）、および幾何学的解析を組み合わせた手法を用いている。

1. 粗い加法的関数 (Rough Additive Functions: RAFs)

著者らは、分布的な1形式の線積分に関する理論を拡張した、新しい状態空間である粗い加法的関数（$\Omega^1_{\alpha\text{-ax}}$）を導入している。

• 定義: RAFは、加法的関数（線積分）$A$ と反復線積分 $\mathbb{A}$ のペアであり、チェンの恒等式（Chen's identity）と弱幾何性を満たす。
• 役割: この空間は、特異なPDEにおける分布の積を理解するために必要な「増強（enhancement）」（反復積分）を符号化している。決定的なことに、著者らは、このゲージ固定方程式を解くために必要なモデルが、これらのRAF（具体的にはGrossのラッソ・フィールド）から直接導かれる幾密的に自然な対象によって決定されることを示している。
• 利点: このアプローチは、確率論的な解析手法をパス単位の粗いパス論的議論に置き換え、解写像の連続性と安定性を提供する。

2. 制御されたゲージ変換 (Controlled Gauge Transformations)

粗い設定における非線形なゲージ変換 $A \mapsto A_g = \text{Ad}_g A - dg g^{-1}$ を扱うために、著者らは制御されたゲージ変換（$G^{\gamma}_A$）を定義している。これは、下層のRAF $A$ によって制御されたリ群内のパス $g$ のペアであり、グビニエリ（Gubinelli）の制御された粗いパスと同様の構造を持つ。この構造により、粗い微分方程式（RDE）を介してゲージ変換された接続 $A_g$ を厳密に定義することが可能となる。

3. コロンブ・ゲージ方程式の解法

中心となる解析的課題は、変換された接続 $A_g$ がコロンブ・ゲージ条件 $d^* A_g = 0$ を満たすようなゲージ変換 $g$ を見つけることである。

• 方程式: 軸ゲージ（$A_2=0$）において、この条件は $g$ に関する特異な、リー群値の楕円型PDEとなる：
  $$\sum_{i=1}^2 \partial_i ((\partial_i g)g^{-1}) - \partial_1 (g A_1 g^{-1}) = 0$$
• 正則性構造: 著者らは、この方程式に特化した特定の正則性構造を構築している。標準的な特異SPDEのアプローチとは異なり、彼らは不動点定理には依存しない。代わりに、**陰関数定理（IFT）**に着想を得た手法を用いている。
• 戦略:
  1. スケーリング: 小さな正方形へとズームインすることで、入力されるRAFのノルムを小さく抑える。
  2. ODE定式化: 解をスケーリング・パラメータ $\sigma$ に関する常微分方程式（ODE）として定式化する：$\partial_\sigma g_\sigma = - (D^2 \Phi)^{-1} \partial_\sigma \Phi$。
  3. 可逆性: 線形化された作用素（PDE写像の二階微分）が、モデル化された分布の空間上で可逆であることを証明する。
  4. 再構成: 解 $g$ はモデル化された分布から再構成され、これにより正則性が向上した接続 $A_g$ が得られる。

4. パッチング (Patching)

解の理論は小さな正方形上で機能するため、著者らは局所的な解を単位正方形上の大域的なゲージ変換へと繋ぎ合わせるためのパッチング議論（Uhlenbeckの古典的なコンパクト性に着想を得たもの）を採用している。これには、重なり部分における適合的なゲージ変換の構成や、粗い設定に適応した分割の単位（partition of unity）の使用が含まれる。

主要な結果

1. 粗いUhlenbeckコンパクト性 (定理 1.1)

本論文は、決定論的な「粗いバージョンの」Uhlenbeckコンパクト性定理を確立している。

• 主張: 任意の粗い加法的関数 $A \in \Omega^1_{\alpha\text{-ax}}$ （ただし $\alpha \in (4/9, 1/2)$）に対して、変換された接続 $A_g$ が $\Omega^1_\beta$ （ただし $\beta \in (0, 6\alpha-2)$）に属するような制御されたゲージ変換 $g$ が存在する。
• 評価式: $A_g$ の正則性は、入力となるRAFのノルムによって制限される：$|A_g|_\beta \lesssim (1 + \|A\|_{\alpha\text{-ax}})^{2+\beta-\alpha} \|A\|_{\alpha\text{-ax}}$。
• 連続性: 写像 $A \mapsto (g, A_g)$ は有界集合上で局所リプシッツ連続である。これは先行研究に対する重要な改善であり、ゲージ固定写像の明示的な連続性の言明を提供している。

2. ゲージ固定されたYM測度 (定理 1.2)

決定論的な結果を確率的な設定に適用すると以下のようになる：

• 構成: 軸ゲージにおけるYM測度は、RAFに関するコルモゴロフの連続性定理を用いて、ランダムな粗い加法的関数 $A$ へと持ち上げられる。
• 結果: コロンブ・ゲージにおいてYM測度の代表元 $B$ が存在し、$B \in \Omega^1_\beta$ がほとんど確実に成立する。
• モーメント評価: 著者らは、代表元のノルムに関する鋭いモーメント評価を導出している：$E[|B|_\beta^p]^{1/p} \lesssim p^{(2+\beta)/2 + \delta}$。これは、以前の指数関数的な評価（例：[CS26a]）を大幅に改善している。
• 安定性 (Wong–Zakai): 軸ゲージにおけるYM曲率の滑らかな近似が、ゲージ固定された代表元 $B$ の滑らかな近似を与え、それらが $\Omega^1_\beta$ において収束することを証明している。

意義と主張

著者らは、本研究を2次元YM測度の正則性理論における重要な進展として位置づけている。

1. 最適な正則性: 構築された代表元は、実質的に最適な正則性（GFFに近い正則性）を達成しており、軸ゲージの代表元が持つ劣った正則性を改善している。
2. 幾何学的自然さ: 粗い加法的関数の使用は、幾何学的に自然な枠組みを提供している。正則性構造に必要な「モデル」は、アドホックな構成ではなく、RAF（曲率の反復線/面積積分）から直接導かれている。
3. 連続性と安定性: 格子ベースや帰納的なアプローチ（例：[Che19]）とは異なり、本手法は直接連続体で動作し、ゲージ固定写像のリプシッツ連続性を提供する。これは、大規模 $N$ 極限やマスターフィールドの研究において極めて重要である。
4. 汎用性: 確率的な構成は現在、単位正方形に限定されているが、著者らは核となる解析的要素（粗いUh仑beckコンパクト性）は一般的であると主張している。一般の曲面上でRAFの局所的な構成が確立されれば、これらの結果は一般の曲面へ拡張できることが期待される。
5. 手法の革新性: 正則性構造の文脈において（IFTに着想を得た）ODE定式化を用いて幾何学的な特異PDEを解くアプローチは、標準的な特異SPDE理論における標準的な不動点引数に代わる、より透明性の高い新しい手法として提示されている。

本論文は、2次元の場合の正則性は現在よく理解されているものの、3次元への拡張は、線積分の定義の欠如や、新たなゲージ共変的な正則化技術の必要性から、依然として未解決の問題であると結論付けている。