Invariant theory for non-reductive actions: extensions of Hilbert and Schwarz theorems

技術的概要：非簡約作用に対する不変量理論

問題提起
ヒルベルト、ウェーイル、シュヴァルツの業績に根ざした古典的不変量理論は、コンパクトかつ簡約なリー群に対して、代数的（多項式）不変量と解析的（滑らか）不変量の間に強固な対応関係を確立している。具体的には、ヒルベルト・ウェーイルの定理が多項式不変量環の有限生成を保証し、シュヴァルツの定理が滑らか不変量の代数がこれらの多項式不変量によって生成されることを保証する。しかし、この対応関係は非簡約群に対しては崩れることが知られている。本論文は、この乖離の具体的な性質を、2 つの異なる非コンパクト・非簡約な領域において調査する：

1. ミンコフスキー空間 $\mathbb{R}^{n,1}$ に作用するローレンツ群 $O(n, 1)$ の離散部分群。
2. $\mathbb{R}^n$（または滑らかな多様体）に対する離散群の余コンパクト作用。

中心的な問いは、これらの設定において古典的な定理（ヒルベルト・ウェーイルおよびシュヴァルツ）が維持されるか、破綻するか、あるいは変容するか、そしてコンパクト性と簡約性が失われた際に代数的構造と滑らかな構造の間の関係がどのようにシフトするかである。

方法論
本論文は、代数的不変量理論、微分幾何学、および軌道空間の位相解析を組み合わせて用いる。

• 代数的解析: 著者はローレンツ群の要素のブロック対角構造を利用して、作用を直交（コンパクト）成分と双曲（非コンパクト）成分に分解する。これにより、積作用の補題を適用して多項式不変量のヒルベルト基底を決定できる。
• 幾何学的および位相的解析: 滑らか不変量の研究は、軌道空間 $\mathbb{R}^{n,1}/\Gamma$ の位相を解析することに基づいている。著者は、軌道の分離性、ヒルベルト写像の propriety（固有性）、および商のハウスドルフ性などの性質を検討する。
• 反例の構成: ローレンツ領域におけるシュヴァルツ性質を反証するために、本論文は多項式不変量の関数として表現できない特定の滑らかな不変量関数を構成する。これには、軌道の非連結性を利用するために光錐座標が用いられる。
• 多様体理論: 余コンパクト作用については、商空間がコンパクトな滑らかな多様体であるという事実を利用する。ウィッテン埋め込み定理と管状近傍定理を適用して、多項式カテゴリーを完全に迂回し、不変量代数のための滑らかな生成元を構成する。

主要な貢献と結果

1. ローレンツ領域：多項式生成対する滑らかな破綻

• 定理 A（多項式生成）: ブロック形式 $L_{\alpha, \beta}$（ユークリッド回転 $R_\alpha$ と双曲ブースト $H_\beta$ を組み合わせたもの）に共役な行列によって生成される離散部分群 $\Gamma \subset O(n, 1)$ に対して、多項式不変量環 $P(\mathbb{R}^{n,1})^\Gamma$ は有限生成である。ヒルベルト基底は、ユークリッド部分の基底と、双曲部分からの二次形式 $x^2 - y^2$ の和集合である。これは、ヒルベルトの第 14 問題が肯定的な答えを持つ非簡約群のクラスを提供する。
• 命題 4.1（シュヴァルツ定理の破綻）: 多項式の有限生成にもかかわらず、古典的なシュヴァルツ定理は破綻する。滑らか不変量の代数 $E(\mathbb{R}^{n,1})^\Gamma$ は多項式不変量によって生成されない。
  • メカニズム: この破綻は、多項式不変量が軌道を分離できないことに起因する。ミンコフスキー空間において、不変な二次形式 $x^2 - y^2 = c$（$c > 0$）のレベルセットは、2 つの非連結な枝（未来光錐と過去光錐）から構成される。群作用はこれらの枝を保存するが、多項式不変量は両方を同じ値に写す。したがって、これらの枝を区別する滑らかな関数（例えば、右側の枝でのみ非ゼロとなる関数）を構成することができ、これらは不変ではあるが、多項式生成元の関数ではない。
  • 障害: 本論文は、この設定におけるシュヴァルツ定理に対する 3 つの具体的な障害を特定する：(i) 軌道を分離するための多項式不変量の不足、(ii) 軌道分離の破綻による非ハウスドルフ商、(iii) 平均化作用素（ハール測度）の欠如とヒルベルト写像の非固有性。

2. 余コンパクト領域：多項式の自明性対する滑らかな生成

• 定理 B（多項式の崩壊）: $\mathbb{R}^n$ 上で自由かつ固有かつ余コンパクトに作用する離散群 $\Gamma$ に対して、多項式不変量の代数は自明である（すなわち、定数のみからなる）。
  • 理由: $\mathbb{R}^n$ 上の任意の非定数多項式は有界ではない。しかし、余コンパクト作用は商空間をコンパクトに強制するため、任意の不変関数は有界でなければならない。したがって、非定数の多項式不変量は存在しない。
• 定理 C（滑らかな生成）: 代数的な崩壊とは対照的に、滑らか不変量の代数 $E(M)^\Gamma$ は有限生成であり、構造的に豊かである。
  • 結果: 多様体 $M$ 上の滑らか不変量と、コンパクト商 $M/\Gamma$ 上の滑らか関数の間には、位相的同型が存在する。さらに、有限個の滑らか不変量 $\sigma_1, \dots, \sigma_m$ が存在し、任意の滑らか不変量はこれらの生成元の滑らかな関数として表される。これは、多項式カテゴリーが退化しているにもかかわらず、滑らかなカテゴリーに対する「シュヴァルツ型」の定理を確立する。

総合と分類
本論文は、これらの知見を不変量理論的領域の 4 重分類（表 1）に統合する：

1. コンパクト群: 多項式不変量は有限生成であり、滑らか不変量は多項式によって生成される（ヒルベルト・ウェーイル＋シュヴァルツ）。
2. 簡約群: 多項式不変量は有限生成であり、滑らか不変量は多項式によって生成される（ルナ）。
3. 余コンパクト作用: 多項式不変量は自明であり、滑らか不変量は滑らかな関数によって有限生成される（定理 B および C）。
4. 離散ローレンツ作用: 多項式不変量は有限生成であるが、滑らか不変量は多項式によって生成されない（定理 A ＋ 命題 4.1）。

意義と主張
本論文は、ヒルベルト・ウェーイルおよびシュヴァルツの定理の境界を画定し、対称性の代数的記述と解析的記述の整合性は、不変量理論の一般的な特徴ではなく、特定の構造的性質に強く依存していることを実証する：

• 固有性とコンパクト性: シュヴァルツ性質（多項式による滑らかな生成）の有効性は、作用の固有性と軌道を分離する能力に依存することが示される。ローレンツの場合、位相的な病理（非ハウスドルフ商）のためにこれが失敗する。
• 代数学と解析学の分離: 一方の側面（例えば、余コンパクト場合の多項式生成、またはローレンツ場合の多項式による滑らかな生成）の破綻が、構造の完全な欠如を意味しないことが結果から示される。むしろ、構造は商多様体の幾何学（余コンパクト場合）または軌道空間の代数的性質（ローレンツ場合）に存在しうる。
• ヒルベルトの第 14 問題への拡張: この研究は、ヒルベルトの第 14 問題を滑らかなカテゴリーに拡張するものとして寄与し、幾何学的不変量理論（GIT）の意味でのカテゴリカル商の存在が、固有性が失われた場合に良好な振る舞いをする解析的商を保証しないことを示唆する。

本論文は、「シュヴァルツ性質」が単なる有限生成の結果ではなく、平均化作用素や固有作用のようなメカニズムを必要とするものであり、これらは研究された非簡約領域には欠如していることを結論づける。この枠組みは、他の非簡約設定の調査と、等変対称性還元（equivariant symmetry reduction）の限界の理解の基礎を提供する。