The $G$-equivariant Kazdan--Warner problem

技術的要約：G-等変カズダン–ワルナー問題

問題設定
本論文は、閉多様体の次元 $n \ge 3$ において、それらが実現可能なスカラー曲率関数に基づいて分類される古典的なカズダン–ワルナーの三分則（trichotomy）の等変版について調査するものである。古典的な結果では、多様体は（正のスカラー曲率を持つもの (P)、スカラー平坦な計量は持つが正のものは持たないもの (Z)、および非負のスカラー曲率の計量を全く持たないもの (N) の3つの互いに排他的なクラスに分割されるが、本研究では、解析を $G$-不変なデータに限定して行う。具体的には、コンパクト連結リー群 $G$ による有効な等長作用（コホモゲニティ（共伴性）は少なくとも1であり、0次元の軌道を持たない）を持つ、閉連結多様体 $M$ が与えられたとき、どの $G$-不変な滑らかな関数が $G$-不変なリーマン計量のスカラー曲量として現れ得るかを決定する。中心となる問いは、古典的な三分割則が等変な設定においてもそのまま成立するのか、あるいは新たな現象が生じるのかという点である。

手法
著者らは、幾何学的解析、変分法、および等変トポロジーを組み合わせた手法を用いている：

1. 線形化と全射性： 研究は、$G$-不変な計量の空間に制限されたスカラー曲率作用素 $F: g \mapsto \text{scal}_g$ の解析から始まる。$F$ の線形化の形式的随伴 $A^*$ を調べることで、著者らは局所的な全射性の基準を確立する。$A^*$ の核（kernel）が自明であれば、作用素は現在のスカラー曲率の近傍に対して局所的に全射であることを証明する。
2. 等変近似（定理 1.6）： これはカズダン–ワルナーの近似補題の拡張である重要な技術的ツールである。著者らは、軌道空間 $X = M/G$ に関する特定の条件が満たされる場合、$G$-等変微分同相写像によって $G$-不変関数を他の $G$-不変関数に近似できることを証明する。これは、軌道空間（区間または円）からのアイソトピーを多様体 $M$ へ持ち上げることに依拠している。
3. 等変ヤマベ問題： 定数スカラー曲率計量の存在は、変分法を用いて扱われる。著者らは、$G$-不変な関数のソボレフ空間におけるコンパクト埋め込み定理（ヘベイ–ヴォーゴン）を利用し、パレの対称的臨界原理（Palais Principle of Symmetric Criticality）を用いて、$G$-不変なクラス内でのヤマベ汎関数の極小値を求める。
4. コホモゲニティ1の幾何学的特徴付け： コホモゲニティ1の作用については、軌道空間の構造とアイソトピー表現を利用する。著者らは、不変なリーマン計量のウォープド積構造と、アイソトピー既約な主軌道の性質を利用して、全スカラー曲率に関する積分制約を導出する。

主要な貢献と結果

• 第4のクラス（完全G-正）の発見： 主要な結果（定理 1.3）は、古典的な三分割則がそのままでは拡張されないことを示している。**完全G-正（totally G-positive）**と呼ばれる、明確に異なるクラスのペア $(M, G)$ が出現する。

  • 定義： ペアが完全G-正であるとは、すべての $G$-不変な計量が厳密に正の全スカラー曲率（$\int_M \text{scal}_g d\mu_g > 0$）を持つことを指す。
  • 帰結： このようなペアは、正の定数スカラー曲率を持つ $G$-不変な計量を持つが、ゼロまたは負の定数スカラー曲率を持つ $G$-不変な計量は持たない。さらに、至る所で非正であるような $G$-不変関数を実現することもできない。
  • 特徴付け： 補題 3.11 は、$(M, G)$ が完全G-正であるための必要十分条件は、その作用がアイソトピー既約な主軌道を持つコホモゲニティ1の作用であることであることを確立している。典型的な例は、$M = S^1 \times S^{n-1}$ と $SO(n)$ の作用であり、ここではアイソトピー表現が既約である。

• 非完全G-正なペアに対する精緻化された分類： 完全G-正ではないペアについては、$G$-不変なデータのレベルにおいて古典的な三分割則が回収される（定理 1.3, part ii）。これらのペアは、正確に以下の3つのクラスのいずれかに属する：

  • $(P_G)$： すべての滑らかな $G$-不変関数は、ある $G$-不変な計量のスカラー曲量となる。
  • $(Z_G)$： 関数が実現可能であるための必要十分条件は、それが恒等的にゼロであるか、あるいはどこかで負であることである。
  • $(N_G)$： 関数が実現可能であるための必要十分条件は、それがどこかで負であることである。

• 非アーベル対称性： 著者らは、リー環 $\mathfrak{g}$ が非アーベルであり、かつペアが完全G-正でない場合、そのペアは必然的にクラス $(P_G)$ に属することを指摘している。これは、非アーベルな対称群は正のスカラー曲率を持つ $G$-不変な計量の存在を保証するというローソン–ヤウの結果に基づいている。しかし、本論文は、非アーベル作用であっても（$S^1 \times S^{n-1}$ の例のように）完全G-正であり得ること、すなわち $(P_G)$ ではなくこの新しい第4のカテゴリーに分類される可能性があることを強調している。

• 定数曲率計量の存在： 定理 1.4 は包括的な存在結果を提供する：

  • $(M, G)$ が完全G-正でない場合、負の定数スカラー曲率を持つ $G$-不変な計量を持つ。もし非負の計量を持つならば、スカラー平坦な計量も持つ。
  • もし非ゼロの非負の計量を持つならば、正の定数スカラー曲率を持つ計量を持つ。
  • 完全G-正なペアは、正の定数スカラー曲率を持つ計量は持つが、非正の計量は持たない。

意義
本論文は、群作用の固有の幾何学、特にコホモゲニティとアイソトピー表現の既約性が、等変な設定におけるスカラー曲量計量の存在を支配していると主張している。「完全G-正」クラスの出現は、正のスカラー曲率を持つ多様体であっても全スカラー曲率を常に負またはゼロにできる非等変理論からの、真の逸脱を表している。本研究は、カズダン–ワルナーの近似技術とヘベイ–ヴォーゴンの等変ヤマベ理論を統合し、広範な対称多様体における許容されるスカラー曲量関数の完全な分類を提供している。