[論文レビュー] First order approach and index theorems for discrete and metric graphs

Olaf Post|ArXiv.org|Aug 28, 2007

Spectral Theory in Mathematical Physics参考文献 14被引用数 6

ひとこと要約

本稿では、装飾付き頂点空間上の外微分、ディラック作用素およびラプラシアン作用素を用いて、離散的および計量的グラフにおける一次のスーパーレジリティフレームワークを導入する。このフレームワークにより、ディラック作用素のインデックスがグラフのオイラー乗数に等しいことを示すインデックス定理を確立し、離散的および連続的設定を統一的に扱い、任意の自己共役境界条件をもつ量子グラフに対する標準的インデックス公式を一般化する。

ABSTRACT

The aim of the present paper is to introduce the notion of first order (supersymmetric) Dirac operators on discrete and metric (``quantum'') graphs. In order to cover all self-adjoint boundary conditions for the associated metric graph Laplacian, we develop systematically a new type of discrete graph operators acting on a decorated graph. The decoration at each vertex of degree-d is given by a subspace of $\C^d$, generalising the fact that a function on the standard vertex space has only a scalar value. We develop the notion of exterior derivative, differential forms, Dirac and Laplace operators in the discrete and metric case, using a supersymmetric framework. We calculate the (supersymmetric) index of the discrete Dirac operator generalising the standard index formula involving the Euler characteristic of a graph. Finally, we show that the corresponding index for the metric Dirac operator agrees with the discrete one.

研究の動機と目的

• 離散的および計量的グラフ上のラプラシアンに対する一次のスーパーレジリティ的アプローチを構築し、標準的境界条件を一般化すること。
• ラプラシアンの任意の自己共役境界条件をモデル化するため、ℂ^d の部分空間としての装飾付き頂点空間を導入すること。
• 統一的なスーパーレジリティフレームワーク内で、離散的および連続的外微分、ディラック作用素およびラプラシアン作用素を定義すること。
• 離散的ディラック作用素に対するインデックス定理を証明し、オイラー乗数の公式を一般化すること。
• 計量的グラフ上のディラック作用素のインデックスが、離散的ケースと一致することを示し、極限における一貫性を確認すること。

提案手法

• 標準的コバウンダリー作用素を一般化する一次の外微分を用いたスーパーレジリティフレームワークを、離散的グラフに導入する。
• 任意の自己共役境界条件を符号化するため、ℂ^deg(v) の部分空間としての装飾付き頂点空間を定義する。
• 0-形式および1-形式上の外微分のスーパーレジリティ的ペアリングを用いて、離散的ディラック作用素およびラプラシアン作用素を構成する。
• 適切な境界条件を備えた L2(Λ^1X) および H^2_max(X) 空間上で、計量的グラフへのフレームワークの拡張を行う。
• 偶数次形式および奇数次形式のスペクトル等価性（補題1.2）を用い、ラプラシアンの核をディラック作用素のインデックスと関連付ける。
• ε-近傍 Xε ⊂ ℝ² 上のラプラシアンの収束性を証明し、標準的計量的グラフラプラシアンに収束するが、インデックスは保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 一次のスーパーレジリティフレームワークは、境界条件を介して、計量的グラフ上のすべての自己共役ラプラシアンをどのように記述できるか？
• RQ2 頂点空間がスカラー関数を越えて一般化された場合、離散的ディラック作用素のインデックスは何か？
• RQ3 さまざまな近似において、計量的グラフ上のディラック作用素のインデックスは、その離散的対応と一致するか？
• RQ4 任意の頂点条件の一般ケースにおいて、オイラー乗数はディラック作用素のインデックスとして回復可能か？
• RQ5 計量的グラフの滑らかな近似が、関連するラプラシアンのインデックスを保存するための条件は何か？

主な発見

• 装飾付き頂点空間上で作用する離散的ディラック作用素のインデックスは、オイラー乗数 χ(X) = |V| − |E| に等しく、標準的インデックス公式を一般化する。
• 計量的グラフ上のディラック作用素のインデックスは、離散的ケースと同一であり、離散的および連続的設定の間の一貫性を確認する。
• ノイマン、ディリクレ、および δ′-型境界条件を含む、計量的グラフ上のすべての自己共役ラプラシアンが、適切な頂点空間の選択によりこのフレームワークでカバーされる。
• ε-近傍 Xε ⊂ ℝ² の極限において、Xε 上のラプラシアンのインデックスは χ(X₀) に収束する。ただし、近似がホモトピー同値であることが条件である。
• ディリクレ分離状態（G=0）の場合、インデックスは −|E| であり、相対的オイラー乗数 χ(Xε, ∂Xε) = |V| − |E| に対応する。
• このフレームワークは、連続性およびキルヒホッフ条件を備えた標準的量子グラフラプラシアン（G=ℤ^d, L=0）を特別なケースとして自然に含み、インデックスは χ(X) を与える。