[論文レビュー] 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^{-}$ のための標準的な $k$-シリンダー核を、$n$ 番目の座標において符号因子 $\mathrm{sgn}(\underline{\omega})$ を導入することで修正し、核を構成する。
• 射影写像 $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$ の両方で有効である。
• $\mathcal{K}_k^{-}$ の核公式を、$(-1)^{m_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^{-}$ 上に非定数の左モノジェニック関数は存在しないことを証明しているが、構築されたグリーン核により調和セクションは依然として表現可能である。