[论文解读] Projective unitary representations of smooth Deligne cohomology groups

Kiyonori Gomi|ArXiv.org|Oct 10, 2005

Advanced Algebra and Geometry参考文献 6被引用 4

一句话总结

本文构建并分类了紧致定向的 $(4k+1)$-维黎曼流形上光滑 Deligne 上同调群的投影酉表示，推广了环群的正能表示。结果表明，可接受表示可分解为有限个不可约表示的直和，不可约表示的等价类数量为 $2^b r$，其中 $b$ 为第 $(2k+1)$ 个贝蒂数，$r$ 为 $H^{2k+1}(M,\mathbb{Z})$ 中 2-挠元的个数。该构造依赖于调和分解，以及通过 Deligne 上同调中的上积与积分构造的中心扩张。

ABSTRACT

We construct projective unitary representations of the smooth Deligne cohomology group of a compact oriented Riemannian manifold of dimension 4k+1, generalizing positive energy representations of the loop group of the circle. We also classify such representations under a certain condition. The number of the equivalence classes of irreducible representations is finite, and is determined by the cohomology of the manifold.

研究动机与目标

• 将环群的正能表示推广至高维光滑 Deligne 上同调群。
• 为紧致定向的 $(4k+1)$-维流形 $M$ 构造光滑 Deligne 上同调群 $\mathcal{G}(M) = H^{2k+1}(M,\mathbb{Z}(2k+1)^\infty_D)$ 的投影酉表示。
• 在特定条件下对可接受表示进行分类，确定不可约表示的等价类数量。
• 建立流形上同调与这些表示结构之间的对应关系。

提出的方法

• 利用光滑 Deligne 上同调中的上积与积分，定义自然的群 2-上循环 $S_M: \mathcal{G}(M) \times \mathcal{G}(M) \to \mathbb{R}/\mathbb{Z}$，从而得到中心扩张 $\tilde{\mathcal{G}}(M)$。
• 应用微分形式的调和分解，将 $\mathcal{G}(M)$ 分解为自由部分 $\mathcal{G}^0(M) = A^{2k}(M)/A^{2k}(M)_{\mathbb{Z}}$ 与挠部分。
• 对每个 $\lambda \in \mathcal{X}(M) = \mathrm{Hom}(\mathbb{H}^{2k}(M)/\mathbb{H}^{2k}(M)_{\mathbb{Z}}, \mathbb{R}/\mathbb{Z})$，利用类海森堡群的构造方法，构造 $\mathcal{G}^0(M)$ 的不可约投影酉表示 $\rho_\lambda$。
• 将可接受表示定义为有限个 $\rho_\lambda$ 的希尔伯特直和，其重数 $m(\lambda) \in \mathbb{Z}_{\geq 0}$。
• 运用舒尔引理与谱论，证明不可约表示由其中心特征唯一确定，且互换子为标量倍数。
• 利用微分形式上 $L^2$-范数诱导的中心扩张上的拓扑，确保表示的连续性。

实验结果

研究问题

• RQ1 如何将环群的正能表示推广至高维光滑 Deligne 上同调群？
• RQ2 紧致定向的 $(4k+1)$-维流形 $M$ 上 $\mathcal{G}(M)$ 的投影酉表示具有何种结构？
• RQ3 不可约可接受表示的等价类有多少个，其数量由什么决定？
• RQ4 微分形式的调和分解在构造与分类这些表示中起什么作用？

主要发现

• 可接受表示 $\mathcal{G}(M)$ 可分解为有限个不可约可接受表示的直和。
• 不可约可接受表示的等价类数量为 $2^b r$，其中 $b = b_{2k+1}(M)$ 为第 $(2k+1)$ 个贝蒂数，$r = \#\{t \in H^{2k+1}(M,\mathbb{Z}) \mid 2t = 0\}$。
• 当 $k=0$ 且 $M = S^1$ 时，不可约可接受表示的数量为 2，与 $L\mathbb{T}$ 的第 2 级正能表示的不可约表示数量一致。
• 对每个 $\lambda \in \mathcal{X}(M)$，存在不可约表示 $\rho_\lambda$，且彼此不等价，上循环 $e^{2\pi i S_M}$ 可通过调和分解实现。
• 分类是完备的：每个可接受表示都与这些不可约表示的有限直和等价。
• 中心扩张 $\tilde{\mathcal{G}}(M)$ 通过微分形式上的 $L^2$-范数进行拓扑化，确保了表示的连续性。