[论文解读] Dirac and Laplace operators on some non-orientable conformally flat manifolds

Rolf Sören Kraußhar|arXiv (Cornell University)|Feb 21, 2011

Algebraic and Geometric Analysis参考文献 9被引用 4

一句话总结

本文为非定向共形平坦流形上的狄拉克算子和拉普拉斯算子构造了显式的基本解，包括实射影柱面、环面、莫比乌斯带以及高维克莱因瓶推广形式。通过在非定向群作用下使用修正的自守形式，建立了积分表示公式和调和格林核，表明尽管莫比乌斯型流形上不存在左正则截面，但通过使用符号修正的核公式，调和截面仍能通过边界积分进行表示。

ABSTRACT

In this paper we present an explicit construction for the fundamental solution to the Dirac and Laplace operator on some non-orientable conformally flat manifolds. We first treat a class of projective cylinders and tori where we can study monogenic sections with values in different pin bundles. Then we discuss the Möbius strip, the Klein bottle and higher dimensional generalizations of them. We present integral representation formulas together with some elementary tools of harmonic analysis on these manifolds.

研究动机与目标

• 将狄拉克算子和拉普拉斯算子的理论从可定向流形推广到非定向共形平坦流形。
• 为诸如实射影柱面、莫比乌斯带和克莱因瓶推广形式等非定向流形开发显式的积分表示公式和调和格林核。
• 分析在旋量丛因非定向性而无法全局定义时，这些流形上正则截面和调和截面的存在性与结构。
• 通过具有符号翻转对称性的群作用，将共形平坦旋转向量丛的技术适配到针丛和非定向商空间。
• 在修改后的格点作用下，建立级数核的收敛性和良定性，包括 $k < n-2$ 和 $k = n-2$ 的情形。

提出的方法

• 通过在实射影流形 $\mathcal{M}_k^{-}$ 的第 $n$ 个坐标中引入符号因子 $\mathrm{sgn}(\underline{\omega})$，对标准 $k$-柱面核进行修正，构造非定向流形的核。
• 使用投影映射 $p_-$ 和 $p_*$ 分别将核从 $\mathbb{R}^n$ 提升到商流形 $\mathcal{M}_k^{-}$ 和 $\mathcal{K}_k^{-}$。
• 通过重排论证表明，修正后的核级数在群作用下保持不变，从而确保其在商空间上的良定性。
• 推导出 $\mathcal{M}_k^{-}$ 的调和格林核为包含符号调制 $x_n$ 分量的 $|\cdots|^{2-n}$ 项之和，适用于 $k < n-2$ 和 $k = n-2$ 的情形。
• 通过在第 $k$ 个坐标中引入 $(-1)^{m_k}$ 的符号翻转，对 $\mathcal{K}_k^{-}$ 的核公式进行适配，确保其在广义克莱因瓶群作用下的不变性。
• 对于 $k > n-2$ 的情形，通过重组级数项来处理收敛性，方法类似于定向 $n$-环面情形，确保绝对收敛。

实验结果

研究问题

• RQ1 能否在非定向共形平坦流形（如实射影柱面和莫比乌斯带）上构造狄拉克算子和拉普拉斯算子的显式基本解？
• RQ2 在旋量丛无法全局定义的非定向流形上，正则截面和调和截面的结构是怎样的？
• RQ3 如何将柯西积分公式和格林积分公式适配到具有非平凡符号翻转对称性的非定向流形上？
• RQ4 为何在莫比乌斯型流形上不存在非平凡的左正则截面，以及可采用何种替代表示工具？
• RQ5 在高维推广中，核级数的收敛性和不变性如何依赖于符号翻转子空间的维数 $k$？

主要发现

• 对于 $\mathcal{M}_k^{-}$ 且 $k < n-2$ 的情形，调和格林核为 $H_k^-(x',y') = p_-(\sum_{\underline{\omega} \in \Omega_k} |(\underline{x}-\underline{y}+\underline{\omega}) + (x_{k+1}-y_{k+1})e_{k+1} + \cdots + \mathrm{sgn}(\underline{\omega})(x_n - y_n)e_n|^{2-n})$，该表达式定义了一个良定的调和截面。
• 对于 $k = n-2$ 的情形，通过减去 $|\underline{\omega}|^{2-n}$ 项以确保收敛性，得到 $H_k^-(x',y') = p_-(|x-y|^{2-n} + \sum_{\underline{\omega} \in \Omega_k \setminus \{0\}} (|\cdots|^{2-n} - |\underline{\omega}|^{2-n}))$。
• 通过直接重排可证 $\mathcal{M}_k^{-}$ 的核级数在群作用下保持不变，从而证明投影在商流形上产生良定的调和截面。
• 在 $\mathcal{K}_k^{-}$ 上，通过在格点平移的第 $k$ 个坐标中插入 $(-1)^{m_k}$，构造了调和格林核，确保其在广义克莱因瓶群作用下的不变性。
• 对于 $k < n-2$，核 $H_k^*(x',y') = p_*(\sum_{m_1\underline{\omega}_1 + \cdots + m_k\underline{\omega}_k \in \Omega_k} |(\underline{x}-\underline{y} + \sum_{i=1}^{k-1} m_i\underline{\omega}_i + (-1)^{m_k}m_k\underline{\omega}_k) + \cdots + (x_n - y_n)e_n|^{2-n})$ 是良定的，并可通过边界积分再现调和截面。
• 本文证明了在 $\mathcal{M}_k^{-}$ 或 $\mathcal{K}_k^{-}$ 上不存在非平凡的左正则函数，原因在于符号翻转对称性破坏了正则性，但调和截面仍可通过所构造的格林核进行表示。