2025-11-23T12:58:16.762422

Universal Embedding spaces for $G$-manifolds

Wasserman

For any compact Lie group $G$ and any $n$ we construct a smooth $G$-manifold $U_n(G)$ such that any smooth $n$-dimensional $G$-manifold can be embedded in $U_n(G)$ with a trivial normal bundle. Furthermore, we show that such embeddings are unique up to equivariant isotopy It is shown that the (inverse limit) of the cohomology of such spaces gives rise to natural classes which are the analogue for $G$-manifolds of characteristic classes for ordinary manifolds. The cohomotopy groups of $U_n(G)$ are shown to be equal to equivariant bordism groups.

academic

$G$ -多様体の普遍埋め込み空間

基本情報

論文ID: 2501.00624
タイトル: Universal Embedding spaces for $G$ -manifolds
著者: Arthur G. Wasserman
分類: math.AT（代数的位相幾何学）
機関: Department of Mathematics, University of Michigan
論文リンク: https://arxiv.org/abs/2501.00624

要旨

任意のコンパクト・リー群 $G$ と任意の $n$ に対して、本論文は滑らかな $G$ -多様体 $U_n(G)$ を構成し、任意の滑らかな $n$ 次元 $G$ -多様体は $U_n(G)$ に埋め込まれ、自明な法束を持つことを示す。さらに、このような埋め込みが等変ホモトピーの意味で一意であることを証明する。また、これらの空間のコホモロジーの逆極限から生じる自然なクラスが $G$ -多様体の特性類の類似物であり、 $U_n(G)$ のコホモトピー群が等変境界群に等しいことを証明する。

研究背景と動機

古典的埋め込み理論の限界

古典的微分位相幾何学において、Whitney埋め込み定理は任意の $n$ 次元多様体が十分に高い次元のユークリッド空間に埋め込まれることを述べている。しかし、群作用を持つ多様体（ $G$ -多様体）の場合、状況はより複雑になる。本論文が解決する核心的な問題は以下の通りである：

等変埋め込み問題：任意の $G$ -多様体が等変的に埋め込まれるような普遍的な埋め込み空間をどのように構成するか
自明な法束の性質：このような埋め込みが法束の自明性を保証するか
一意性問題：このような埋め込みが等変的な意味で一意であるか

理論的意義

本研究は重要な理論的価値を有する：

$G$ -多様体に対して古典的多様体と同様の普遍埋め込み理論を提供する
等変位相幾何学と代数的位相幾何学の間の深い関連性を確立する
等変境界群と特性類を計算するための新しい道具を提供する

核心的貢献

普遍埋め込み空間の構成：任意のコンパクト・リー群 $G$ と次元 $n$ に対して、 $n$ -普遍埋め込み空間 $U_n(G)$ を構成した
埋め込みの存在性と一意性の証明：任意の $n$ 次元 $G$ -多様体は $U_n(G)$ に等変的に埋め込まれ、自明な法束を持ち、このような埋め込みは等変ホモトピーの意味で一意である
コホモロジー理論の確立： $\{U_n(G)\}$ のコホモロジーの逆極限が $G$ -多様体の自然な特性類を与えることを証明した
等変境界群の幾何学的実現： $U_n(G)$ のコホモトピー群が等変境界群に等しいことを証明した

方法論の詳細

基本的構成の考え方

古典的場合の復習

論文はまずEdgar Brown Jr.の古典的構成を復習する：

$s > 2n + 1$ を選び、Grassmann多様体 $G_n(\mathbb{R}^s)$ 上の同型 $n$ 次元ベクトル束 $\gamma_n$ を考える
$\nu \to G_n(\mathbb{R}^s)$ を接束の補束とし、 $\nu \oplus T(G_n(\mathbb{R}^s))$ が自明となるようにする
$Y = \nu \oplus \gamma_n$ の全空間とすると、 $Y$ は $n$ -普遍埋め込み空間である

等変的な場合の課題

$G$ -多様体に対しては、以下を考慮する必要がある：

等変性制約：すべての構成は群作用と相容的でなければならない
軌道型：異なる点の安定化部分群が異なる可能性がある
切片表現：局所線形化は群表現論を含む

層化構成法

特殊な場合の処理

自由作用の場合（補題3）：自由な $G$ -多様体 $M^n$ に対して、Steenrodの普遍束 $EG(m+1)$ を用いて埋め込み空間を構成する： $M^n \hookrightarrow EG(m+1) \times X_m$ ここで $m = \dim M - \dim G$ 、 $X_m$ は古典的な $m$ -普遍埋め込み空間である。

固定軌道型の場合（補題4）：軌道型が $(H)$ である $G$ -多様体に対して、誘導構成を使用する： $M^n \hookrightarrow G \times_N (C^H \times EN'(s+1)) \times X_s$ ここで $N = N(H)$ は $H$ の正規化子、 $N' = N/H$ である。

ベクトル束の場合（補題6-11）： $G$ -ベクトル束の全空間に対して、等変分類理論とGrassmann多様体の $G$ -作用を利用して埋め込みを構成する。

一般的な場合の帰納的構成

軌道型の分類：軌道型の同値関係 $(H,W) \sim (H',W')$ を、 $G \times_H W \cong G \times_{H'} W'$ が $G$ -多様体として成立するときに定義する。

許容軌道型集合：集合 $\mathcal{O}$ が許容的であるとは、以下を満たすことである：

任意の $(H,V) \in \mathcal{O}$ と $x \in G \times_H V$ に対して、 $(G_x, S_x) \in \mathcal{O}$
$(H,V) \in \mathcal{O}$ 当且つつ $(H,V^*) \in \mathcal{O}$

主定理の構成（定理17）：関数 $l: \mathcal{O}' \to \mathbb{N}$ に対する帰納法を通じて構成される。ここで $l([H,W])$ は $[H,0]$ から $[H,W]$ への最長鎖の長さである。

技術的な革新点

層化方法：複雑な一般的な場合を処理可能な特殊な場合に分解する
等変横断性理論： $G$ -多様体における横断性技術を発展させる
Steenrod構成の修正：無界次元問題に対処するため、古典的なSteenrod普遍束構成を修正する
手術技術の等変的推広：古典的な手術方法を等変的な場合に推広する

主要な結果

存在性定理（定理17）

定理： $\mathcal{O}$ を許容軌道型集合とすると、 $n$ -普遍埋め込み空間 $U_n(G,\mathcal{O})$ が存在し、以下を満たす：

任意の $M^n \in \mathcal{C}(G,\mathcal{O})$ は $U_n(G,\mathcal{O})$ に等変的に埋め込まれ、自明な法束を持つ
このような埋め込みの任意の二つは等変ホモトピーである

一意性の結果

命題19： $M \in \mathcal{C}(G,\mathcal{O})$ を $n$ 次元多様体とし、 $T_1$ と $T_2$ を $(M, U_{2n+1}(\mathcal{C}(G,\mathcal{O})))$ の二つの枠とすると、 $T_1$ と $T_2$ は等変ホモトピーである。