[論文レビュー] Isospectral hyperbolic surfaces have matching geodesics

Peter G. Doyle, Juan Pablo Rossetti|arXiv (Cornell University)|May 30, 2006

Geometric and Algebraic Topology参考文献 12被引用数 8

ひとこと要約

この論文は、可定向でも非可定向でもよい閉じた双曲的表面について、同スペクトルであるならば、任意の長さについて向きを保つと向きを反転する地図の数が同一でなければならないことを証明している。これは1959年のHuberの定理を非可定向および非連結な表面に拡張したものである。証明は、素地図定理を用いて、セリンブの跡公式が許す反例を除外することで、同スペクトル性が双曲的表面の場合にほぼ共役性を意味することを確立している。

ABSTRACT

We show that if two closed hyperbolic surfaces (not necessarily orientable or even connected) have the same Laplace spectrum, then for every length they have the same number of orientation-preserving geodesics and the same number of orientation-reversing geodesics. Restricted to orientable surfaces, this result reduces to Huber's theorem of 1959. Appropriately generalized, it extends to hyperbolic 2-orbifolds (possibly disconnected). We give examples showing that it fails for disconnected flat 2-orbifolds.

研究の動機と目的

• 1959年のHuberの定理（同スペクトルな可定向双曲的表面）を非可定向および非連結な表面に拡張すること。
• 可定向性が欠如する状況下で、同スペクトル性が長さと向きの両面で地図の数が一致することを示すこと。
• セリンブの跡公式だけでは、追加の制約がないと同スペクトルな表面を区別できないことの証明をし、素地図定理のようなより強力な道具の必要性を示すこと。
• 特に高次元および非可定向な設定において、双曲的と平坦なオルビフォールドの間で同スペクトル性とほぼ共役性の違いを明確にすること。

提案手法

• 仮想のほぼ共役性の反例が存在するならば、同じ長さの地図が異常に多く必要になるが、これは素地図定理の漸近的成長率に反する。この事実を用いて、反例が存在しないことを示す。
• セリンブの跡公式を用いてラプラシアンのスペクトルと地図の長さ・重複度を関連付けるが、非可定向な場合に地図の一致を導くにはそれだけでは不十分であると主張する。
• 異なるねじれ（ホロノミー）を持つ地図の寄与を分析し、一致するスペクトルが、被覆変換の共役類の一致を意味することを示す。
• クロスハンドルの追加や、接合を非可定向な同一化として再解釈することで、可定向な例を変更して、同スペクトルな非可定向表面をSunadaの方法で構成する。
• オルビフォールド表記と明示的なフーリエ級数を用いて、平坦2-オルビフォールドの例で同スペクトル性を検証し、双曲的ケースとは対照的に、このような反例は存在しないことを示す。
• 双曲的2-オルビフォールドでは、異なる位数の楕円的要素が区別可能なスペクトル的寄与をもたらすのに対し、平坦なケースではそうではない。このため、同スペクトルだがほぼ共役でない双曲的オルビフォールドの存在は不可能である。

実験結果

リサーチクエスチョン

• RQ1 同スペクトルな双曲的表面が、非可定向または非連結であっても、任意の長さについて向きを保つと向きを反転する地図の数が一致するか？
• RQ2 セリンブの跡公式だけでは、非可定向な双曲的表面の地図スペクトルを特定できるか、それ以外の制約が必要か？
• RQ3 平坦な場合に存在するように、同スペクトルな双曲的2-オルビフォールドがほぼ共役ではないものがあるか？
• RQ4 なぜ平坦2-オルビフォールドでは、ほぼ共役でない同スペクトルな例（例：TetraとDidi）が存在するが、双曲的設定では同様の例が存在しないのか？
• RQ5 素地図定理は、双曲的表面におけるセリンブの跡公式の逆が成り立たない可能性のある反例をどのように除外するのか？

主な発見

• 同スペクトルな閉じた双曲的表面（可定向でも非可定向でも）は、任意の長さについて、向きを保つ地図と向きを反転する地図の数が同一でなければならない。
• 素地図定理により、ほぼ共役性の仮想的反例は、長さ $ l $ に対して少なくとも $ \frac{e^l}{l} $ 個の同じ長さの地図を要するが、これは定理の漸近的成長率に反する。
• 平坦2-オルビフォールドとは異なり、双曲的2-オルビフォールドでは、異なる位数の楕円的要素が区別可能なスペクトル的寄与をもたらすため、ほぼ共役でない同スペクトルなペアは存在しない。
• クロスハンドルの追加や、接合を非可定向な同一化として再解釈することで、Sunadaの方法を用いて同スペクトルな非可定向表面を構成可能である。
• 平坦2-オルビフォールドで同スペクトル性がほぼ共役性を意味しないのは、平行な地図族や非孤立な地図の存在に起因するが、これは双曲的多様体では存在しない。
• 本論文は、双曲的表面において、同スペクトル性がほぼ共役性を意味することの唯一の障害が、素地図定理によって除外されることを確認し、この設定においてセリンブの跡公式の完全な逆が成り立つことを示している。