[论文解读] Quantum differential surfaces of higher genera

Pierre Bieliavsky|arXiv (Cornell University)|Dec 18, 2017

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

一句话总结

该论文在双曲平面 $\mathbb{D}$ 上的施瓦茨空间 $S(\mathbb{D})$ 上构造了一族 $SL(2,\mathbb{R})$-不变的星积 $\sharp_\theta$，通过典范凯勒形式对点乘进行形变；该构造可推广至紧致黎曼曲面 $\Sigma_\Gamma = \Gamma\backslash\mathbb{D}$，在 $C^\infty(\Sigma_\Gamma)$ 上诱导出一个预-$C^*$的弗雷chet代数结构，并允许连续迹。

ABSTRACT

We first construct a real family of $SL(2,\mathbb{R})$-invariant symbol composition product $\{\sharp_θ\}_{θ\in,\mathbb{R}}$ on the analogue of the Schwartz space $S(\mathbb{D})$ on the hyperbolic plane $\mathbb{D}\;:=\;SL(2,\mathbb{R})/SO(2)$. The value $θ=0$ consists in the pointwise commutative product of functions on $\mathbb{D}$. And admits an asymptotic expansion that deforms the pointwise product in the direction of the canonical $SL(2,\mathbb{R}) $-invariant Kahler two form on $\mathbb{D}$. We then extend this construction to any (non-homogeneous) compact surface by considering the left action of an arithmetic Fuschian group $Γ\subset SL(2,\mathbb{R})$ on $\mathbb{D}$ with associated Riemann surface $Σ_Γ\;:=\;Γ\backslash\mathbb{D}$. More precisely, the product $\sharp_θ$ extends from $S(\mathbb{D})$ to a smooth $SL(2,\mathbb{R})$- sub-module of $C^\infty(\mathbb{D})$ that contains the $Γ$-invariants $C^\infty(\mathbb{D})^Γ\simeq C^\infty(Σ_Γ)$ in $C^\infty(\mathbb{D})$. In particular, $\sharp_θ$ defines a Fréchet algebra structure on $C^\infty(Σ_Γ)$. The resulting algebra is pre - $C^\ast$ and admits a continuous trace.

研究动机与目标

• 通过使用 $SL(2,\mathbb{R})$-不变结构，对高亏格双曲曲面上光滑函数的形变量子化进行定义。
• 将 $\mathbb{D}$ 上施瓦茨空间的符号复合产品 $\sharp_\theta$ 扩展至 $\mathbb{D}$ 上 $\Gamma$-不变光滑函数的空间，该空间同构于 $C^\infty(\Sigma_\Gamma)$。
• 建立所得到的乘积在 $C^\infty(\Sigma_\Gamma)$ 上诱导出一个弗雷chet代数结构，该结构为预-$C^*$且允许连续迹。
• 通过量子微分结构为高亏格黎曼曲面提供非交换几何框架。

提出的方法

• 在 $S(\mathbb{D})$ 上构造一族实参数的 $SL(2,\mathbb{R})$-不变符号复合产品 $\sharp_\theta$，其中 $\theta = 0$ 对应该点乘的交换形式。
• 利用 $\mathbb{D}$ 上的典范 $SL(2,\mathbb{R})$-不变凯勒二维形式，定义点乘在 $\theta \to 0$ 极限下的渐近形变。
• 将产品 $\sharp_\theta$ 从 $S(\mathbb{D})$ 扩展至包含 $\Gamma$-不变函数 $C^\infty(\mathbb{D})^\Gamma \simeq C^\infty(\Sigma_\Gamma)$ 的 $C^\infty(\mathbb{D})$ 的光滑 $SL(2,\mathbb{R})$-子模。
• 利用算术富克斯群 $\Gamma \subset SL(2,\mathbb{R})$ 的作用对 $\mathbb{D}$ 商化，得到一个高亏格的紧致黎曼曲面 $\Sigma_\Gamma$。
• 证明 $\sharp_\theta$ 在 $C^\infty(\Sigma_\Gamma)$ 上诱导出一个弗雷chet代数结构，其乘积连续且与群作用相容。
• 证明所得代数为预-$C^*$且允许连续迹，确保与 $C^*$-代数框架的相容性。

实验结果

研究问题

• RQ1 如何利用符号复合产品构造双曲平面 $\mathbb{D}$ 上的 $SL(2,\mathbb{R})$-不变形变量子化？
• RQ2 当 $\theta \to 0$ 时，乘积 $\sharp_\theta$ 的渐近行为如何？其与 $\mathbb{D}$ 上典范凯勒形式的关系是什么？
• RQ3 能否将 $S(\mathbb{D})$ 上的 $\theta$-乘积扩展至算术富克斯群 $\Gamma$ 的 $\Gamma$-不变光滑函数空间？
• RQ4 $\sharp_\theta$ 在 $C^\infty(\Sigma_\Gamma)$ 上的扩展是否产生具有理想分析性质的弗雷chet代数？
• RQ5 在 $C^\infty(\Sigma_\Gamma)$ 上得到的代数是否为预-$C^*$，且是否允许连续迹？

主要发现

• 乘积 $\sharp_\theta$ 定义了 $S(\mathbb{D})$ 上点乘的形变，其渐近行为由 $\mathbb{D}$ 上的典范 $SL(2,\mathbb{R})$-不变凯勒二维形式控制。
• $\theta$-乘积可从 $S(\mathbb{D})$ 扩展至包含 $\Gamma$-不变函数 $C^\infty(\mathbb{D})^\Gamma \simeq C^\infty(\Sigma_\Gamma)$ 的 $C^\infty(\mathbb{D})$ 的光滑 $SL(2,\mathbb{R})$-子模。
• $\sharp_\theta$ 在 $C^\infty(\Sigma_\Gamma)$ 上的限制赋予其一个与光滑拓扑相容的弗雷chet代数结构。
• 在 $C^\infty(\Sigma_\Gamma)$ 上得到的弗雷chet代数为预-$C^*$，确保与 $C^*$-代数框架的相容性。
• 该代数允许连续迹，这是非交换几何与指标理论应用中的关键分析性质。
• 该构造通过 $SL(2,\mathbb{R})$-不变形变量子化，为高亏格紧致黎曼曲面提供了量子微分结构。