[論文レビュー] Conformally invariant powers of the Laplacian -- A complete non-existence theorem

A. Rod Gover, Kengo Hirachi|ArXiv.org|Apr 7, 2003

Spectral Theory in Mathematical Physics参考文献 12被引用数 9

ひとこと要約

本稿は、次元 $ n \geq 4 $ の偶数次元の共形多様体において、$ k > n/2 $ の場合に、$ \Delta^k $ を主項とする共形不変自然微分作用素が密度バンドル間には存在しないことを証明し、グレーハム＝ジェンヌ＝メイソン＝スパーリングの定理が、ラプラシアンの曲がった類似作用素の存在に関するものとして、鋭いものであることを示している。

ABSTRACT

We show that on conformal manifolds of even dimension $n\geq 4$ there is no conformally invariant natural differential operator between density bundles with leading part a power of the Laplacian $Δ^{k}$ for $k>n/2$. This shows that a large class of invariant operators on conformally flat manifolds do not generalise to arbitrarily curved manifolds and that the theorem of Graham, Jenne, Mason and Sparling, asserting the existence of curved version of $Δ^k$ for $1\le k\le n/2$, is sharp.

研究の動機と目的

• 偶数次元の共形多様体上では、$ k > n/2 $ の場合に、共形不変のラプラシアンのべき $ \Delta^k $ の曲がった類似作用素が存在しないという長年の予想を解決すること。
• グレーハム、ジェンヌ、メイソン、スパーリングの存在結果（$ 1 \leq k \leq n/2 $ で有効）が最適であり、より高い $ k $ に拡張できないことを示すこと。
• このような作用素の存在が、フェッファーマン＝グラハムの障害テンソルで得られる曲率式の非消滅に起因することを示すこと、すなわち、テンソル自体が消滅してもその曲率式が非ゼロである場合があること。
• このような作用素の非存在が、構造の欠如によるものではなく、$ \mathrm{SO}(n) $ の表現論における根本的な表現論的障害に起因することを確立すること。

提案手法

• ウェイ曲率とその微分から得られる曲率式を構成し、フェッファーマン＝グラハムの障害テンソル $ B_{ab} $ が消えるクラスの計量に対して、それが非ゼロであることを示す。
• トランスフォーム微分幾何学を用いて、特別なクラスの共形計量において曲率式を明示的に計算し、$ k > n/2 $ の仮定の下で非消滅することを示す。
• 共形不変作用素が主項 $ \Delta^k $ を持つと仮定し、古典的不変式論を用いて、この仮定の下では曲率式が消える必要があることを示す。
• 選んだ計量クラスにおいて曲率式が非ゼロである一方で、そのような作用素が存在すれば曲率式がゼロでなければならないことを示すことにより、矛盾を導く。
• $ \mathrm{SO}(n) $--equivariant 写像としてのテンソルバンドル間の写像を表現論的に分析し、このような作用素の存在が、非自明な同型写像 $ [w+1,1] $ と $ [q] $ 間の同型写像の存在を意味することを示すが、このような写像は存在しないことを示す。
• ヤング対称化子およびテンソル分解技術を用いて、曲率項の対称性とトレース構造を分析し、障害の唯一性と非ゼロ性を確認する。

実験結果

リサーチクエスチョン

• RQ1 偶数次元の共形多様体上において、$ k > n/2 $ の場合に、主項が $ \Delta^k $ である共形不変自然微分作用素が密度バンドル間で存在するか。
• RQ2 グレーハム、ジェンヌ、メイソン、スパーリングの存在結果（$ k \leq n/2 $ で有効）は鋭いのか、それともより高い $ k $ に拡張可能か。
• RQ3 $ k = n/2 $ を超える領域で、このような作用素の存在を妨げる幾何的または表現論的障害は何か。
• RQ4 フェッファーマン＝グラハムの障害テンソルおよびその高次一般化を用いて、非存在性を示せるか。
• RQ5 このような作用素の存在を仮定すると消えるが、具体的な例では非ゼロである曲率式は存在するか。

主な発見

• 偶数次元 $ n \geq 4 $ および $ k > n/2 $ の場合、主項が $ \Delta^k $ である共形不変自然微分作用素は、密度バンドル間には存在しない。
• 障害テンソル $ B_{ab} = 0 $ であるが、ウェイ曲率とその微分から得られる曲率式は、ある計量クラスに対して非ゼロである。これは幾何的障害を示している。
• このような作用素の存在を仮定すると、表現論的矛盾が生じる。なぜなら、それは非自明な $ \mathrm{SO}(n) $-equivariant 写像 $ [w+1,1] \to [q] $ の存在を意味するが、このような写像は存在しない。
• 障害テンソルが消えるが曲率式が非ゼロである特別な計量クラスを用いることで、障害が内因的であり、除去不可能であることを示している。
• グレーハム＝ジェンヌ＝メイソン＝スパーリングの構成が鋭いことが確認された。なぜなら、$ k > n/2 $ の場合、このような作用素は存在しないが、$ k \leq n/2 $ の場合には存在する。
• 非存在は構造の欠如によるものではなく、$ \mathrm{SO}(n) $ における対称テンソルバンドルの分解における根本的な表現論的障害に起因する。