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

Universal Embedding spaces for $G$ -manifolds

基本信息

论文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$ 。