[论文解读] Secondary Characteristic Classes on Loop Spaces

Yoshiaki Maeda, Steven Rosenberg+1 more|arXiv (Cornell University)|May 7, 2007

Geometric Analysis and Curvature Flows参考文献 12被引用 7

一句话总结

本文利用伪微分算子（ΨDOs）上的沃兹基奇迹，发展了环路空间上沃兹基奇-陈-西蒙斯（WCS）类的理论，使黎曼度量在环路空间上的次特征类得以计算。关键结果是在 $ L(S^2 \times S^3) $ 上构造出一个非零的5维WCS类 $ CS^W_5 $，证明了 $ \pi_1(\mathrm{Diff}(S^2 \times S^3)) $ 是无限的，且某些圆作用并非光滑同伦于平凡作用。

ABSTRACT

A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. The connection and curvature forms of these metrics take values in pseudodifferential operators. We develop a theory of Wodzicki-Chern-Simons classes using the s=0, 1 connections and the Wodzicki residue. These classes distinguish the smooth homotopy type of some circle actions on M = S^2 x S^3, and imply that the fundamental group of Diff(M) is infinite.

研究动机与目标

• 开发基于无限维陈-西蒙斯理论的环路空间上次特征类的可计算理论。
• 利用零阶伪微分算子上的沃兹基奇迹，在 $ LM $ 上定义沃兹基奇-陈-西蒙斯（WCS）类。
• 构造这些类的 $ s $-无关、正则化的版本，使其保持可计算性与拓扑意义。
• 将该理论应用于区分 $ S^2 \times S^3 $ 上圆作用的光滑同伦类型。
• 利用非零特征类证明 $ \pi_1(\mathrm{Diff}(S^2 \times S^3)) $ 为无限群。

提出的方法

• 在环路空间 $ LM $ 上使用一参数族的Sobolev型黎曼度量 $ g^s $（$ s > 1/2 $），定义其Levi-Civita联络，其曲率与联络形式取值于零阶ΨDOs。
• 利用Sobolev空间中的局部符号微分法，计算联络与曲率形式的主符号与次主符号。
• 利用沃兹基奇迹（它是ΨDO代数上唯一的迹）定义沃兹基奇-陈-西蒙斯类 $ CS^{W}_{K} \in H^{2k-1}(LM^{2k-1}) $。
• 通过将沃兹基奇迹应用于曲率形式，构造 $ CS^{W}_{2k-1} $ 的显式局部公式，实现精确计算。
• 对类进行正则化，使其与Sobolev参数 $ s $ 无关，从而保证拓扑不变性。
• 将该理论应用于 $ Y^{p,q} \cong S^2 \times S^3 $ 上的Sasaki-Einstein度量，通过坐标下的精确积分计算 $ \int_{[a^L]} CS^W_5 $。

实验结果

研究问题

• RQ1 能否在无限维环路空间上利用伪微分算子定义次特征类？
• RQ2 沃兹基奇迹能否用于构造 $ LM $ 上可计算且与 $ s $ 无关的特征类？
• RQ3 在 $ L(S^2 \times S^3) $ 上是否存在非零的5维沃兹基奇-陈-西蒙斯类？
• RQ4 此类类能否区分 $ S^2 \times S^3 $ 上圆作用的光滑同伦类型？
• RQ5 若 $ CS^W_5 $ 非零，是否意味着 $ \pi_1(\mathrm{Diff}(S^2 \times S^3)) $ 为无限群？

主要发现

• 沃兹基奇-陈-西蒙斯类 $ CS^W_5 \in H^5(L(S^2 \times S^3)) $ 非零，当 $ (p,q) = (7,3) $ 时，有 $ \int_{[a^L]} CS^W_5 = -\frac{1849\pi^4}{22050} $。
• 由于 $ CS^W_5 $ 非零，$ S^2 \times S^3 $ 上的圆作用 $ a_1 $ 并非光滑同伦于平凡作用。
• 该计算确认了 $ \pi_1(\mathrm{Diff}(S^2 \times S^3), \mathrm{id}) $ 为无限群，因为 $ CS^W_5 $ 检测到了基本群中的非平凡元素。
• 该类在3-流形的环路空间上恒为零，因此5维情形是该理论中首个非平凡例子。
• 该方法得到了精确的、系数为有理数的结果，最高达 $ \pi^4 $，与Sasaki-Einstein度量的代数结构及坐标积分一致。
• 该理论首次提供了无限维几何中非零沃兹基奇型特征类的已知实例。