[论文解读] Lifting mappings over invariants of finite groups

Andreas Kriegl, Mark Losik+2 more|ArXiv.org|Dec 1, 2003

Advanced Algebra and Geometry参考文献 15被引用 5

一句话总结

本文通过喷射丛与Luna的等变型层 stratification，建立了从复有限群表示的轨道空间 $V/G$ 到表示空间 $V$ 的正则、全纯或形式映射的提升的必要与充分条件。关键贡献在于通过来自不变量的张量场完全刻画了提升障碍，对二面体群等复反射群给出了显式计算。

ABSTRACT

We characterize those regular, holomorphic or formal maps into the orbit space $V/G$ of a complex representation of a finite group $G$ which admit a regular, holomorphic or formal lift to the representation space $V$. In particular, the case of complex reflection groups is investigated.

研究动机与目标

• 确定复向量空间 $V$ 上有限群作用的轨道空间 $V/G$ 中的正则、全纯或形式映射何时可被提升至 $V$。
• 理解Luna的等变型层分层在提升问题中的作用，特别是在复几何背景下的情形。
• 通过喷射丛 $J^q_0(\bbC^p, Z)$ 和 $J^\fz_0(\bbC^p, Z)$ 建立一般框架，以分析原点处的提升条件。
• 对复反射群（包括二面体群和 $\mathfrak{D}_l$-模 $\bbC^2$）显式计算提升障碍。
• 证明在 $\bbC$ 上建立的代数提升条件可通过Lefschetz原理推广至任意特征零的域。

提出的方法

• 利用Luna对轨道空间 $Z = V/G$ 的分层，将其划分为由子群 $K \leq G$ 索引的局部闭、光滑、不可约子簇 $Z_{(K)}$。
• 引入喷射丛 $J^q_0(\bbC^p, Z)$ 和 $J^\fz_0(\bbC^p, Z)$，以编码原点处映射的高阶泰勒数据。
• 定义张量场 $\tilde{T}(A_1,\dots,A_d)$ 和 $\tilde{\frak{T}}(A_1,\dots,A_d)$，通过不变量的导数编码提升障碍。
• 应用不变多项式与对称张量理论，显式计算 $\sigma_{1,2}$、$\sigma_{2,s}$ 及相关喷射张量的表达式。
• 利用 $\bbC[V]^G$ 的基本不变量 $\sigma_1, \sigma_2, \dots, \sigma_m$，在局部坐标下构造障碍张量。
• 将提升条件约化为喷射延拓上的代数约束，特别针对 $\mathfrak{D}_l$-不变模，使用 $\tilde{\Delta} = (\operatorname{I}z^l)^2$ 和 $z^l = \operatorname{R}z^l + i\operatorname{I}z^l$。

实验结果

研究问题

• RQ1 何种条件下，一个全纯、正则或形式映射 $\bbC^p \to Z = V/G$ 的芽可被提升至 $V$？
• RQ2 轨道空间 $Z = V/G$ 的等变型层分层如何影响提升的存在性？
• RQ3 在复反射群情形下，提升映射的显式代数与微分障碍是什么？
• RQ4 提升问题能否约化为有限阶喷射空间上的条件？若可，何种阶数已足够？
• RQ5 张量场 $\sigma_{1,2}$ 与 $\sigma_{2,s}$ 如何在二面体群情形下编码提升障碍？

主要发现

• 全纯或正则映射 $\bbC^p \to Z = V/G$ 的提升成立，当且仅当其在原点的喷射延拓满足由不变量导出的张量条件。
• 对于 $\mathfrak{D}_l$-模 $\bbC^2$，一阶提升障碍由张量场 $\sigma_{1,2} = \frac{1}{\tilde{\Delta}}(2^{l-1}y_1^{l-1}dy_1^2 - 2ly_2 dy_1 dy_2 + 2y_1 dy_2^2)$ 编码，其中 $\tilde{\Delta} = (\operatorname{I}z^l)^2$。
• 当 $s = 2r$ 时，$2r$ 阶障碍张量 $\sigma_{2,2r}$ 为 $\frac{(-1)^r}{\tilde{\Delta}^r} \Bigl( y_2 dy_2^{2r} + \sum_{t=1}^{2r} \cdots \Bigr)$，包含二项式系数及 $y_1, y_2, \tilde{\Delta}$ 的幂次。
• 当 $s = 2r+1$ 时，障碍张量 $\sigma_{2,2r+1}$ 为 $\frac{(-1)^r}{l \tilde{\Delta}^r} \Bigl( dy_2^{2r+1} + \sum_{t=2}^{2r+1} \cdots \Bigr)$，包含 $\tilde{\Delta}^{u-1}$ 项及 $\operatorname{R}z^l, \operatorname{I}z^l$ 的对称组合。
• $\mathfrak{D}_l$ 的提升问题可通过恒等式 $\tilde{\Delta} = (\operatorname{I}z^l)^2$，$z^l = \operatorname{R}z^l + i\operatorname{I}z^l$，和 $\widehat{z}^l = \operatorname{R}z^l - i\operatorname{I}z^l$ 约化为文中的第一个例子。
• 由于提升条件为代数且定义在 $\bbQ$ 上，结果可通过Lefschetz原理推广至任意特征零的域。