[論文レビュー] Extension of a key identity

Anilatmaja Aryasomayajula|arXiv (Cornell University)|Oct 16, 2013

Analytic Number Theory Research参考文献 5被引用数 4

ひとこと要約

本稿は、コンパクトな双曲的リーマン面における双曲的計量と標準計量の間の基本的恒等式を、有限体積をもつ非コンパクトな双曲的リーマン・オルビフォールドに拡張する。スペクトル理論と熱核解析を用いて、双曲的ラプラシアンと熱核を含む精密な積分恒等式を確立し、これによりアラケロフ理論的評価を非コンパクトな設定へ拡張可能にする。

ABSTRACT

In this article, we extend a certain key identity proved by J. Jorgenson and J. Kramer for compact hyperbolic Riemann surfaces to noncompact hyperbolic Riemann orbisurfaces of finite volume, which can be realized as the quotient space of the action of a Fuchsian subgroup of the first kind acting on the hyperbolic upper half-plane. The key identity of J. Jorgenson and J. Kramer relates the two natural metrics, namely the hyperbolic metric and the canonical metric defined on a hyperbolic Riemann surface. Via the spectral expansion of the hyperbolic heat kernel, this identity serves as a trace formula relating the weight 2 cusp forms with Maass forms. Our result is an extension of the key identity to elliptic fixed points and cusps at the level of currents acting on a certain space of singular functions. Our result serves as the starting point for extending the work of J. Jorgenson and J. Kramer to non compact hyperbolic Riemann orbisurfaces. In particular, to the problem of deriving bounds for the canonical Green's function defined on a noncompact hyperbolic Riemann orbisurface of finite volume, which is being addressed in an upcoming article by the same author.

研究の動機と目的

• コンパクトな双曲的リーマン・オルビフォールドから非コンパクトな有限体積をもつ双曲的リーマン・オルビフォールドへ、双曲的計量と標準計量の間の基本的恒等式を拡張すること。
• 従来のコンパクトな場合に除外されていた、尖点と楕円的固定点の効果を恒等式に組み込むこと。
• アラケロフ理論的評価を、もともとコンパクトな曲面でのみ有効であったものを、非コンパクトなオルビフォールドへ拡張するための枠組みを提供すること。
• 電流と特異関数を用いた厳密な解析的基盤を確立し、尖点および楕円的点における対数および対数対数特異性の取り扱いを可能にすること。

提案手法

• 特異関数へのラプラシアン作用を解析するためのスぺクトル的道具として、双曲的熱核 $ K_{\text{hyp}}(t;z,w) $ を用いる。
• 双曲的ラプラシアン $ \triangle_{\text{hyp}} $ を熱核に作用させ、時間 $ t \to \tau $ にわたり積分することで、分布的補正項を定義する。
• 有限個の点における $ \text{log} $ 特異性と尖点における $ \text{log}\text{log} $ 特異性をもつ関数の空間 $ C_{\text{ell,ell}}(\bar{X}) $ 内で作業する。
• 特異点周辺の小さな近傍でストークスの定理と留数計算を適用し、標準計量と双曲的計量の特異的振る舞いを取り扱う。
• アーベル・ジャコビ写像を用いて、ジャコビアン上の平坦なユークリッド計量を引き戻し、$ \bar{X} $ 上の標準計量を定義する。
• 局所的および大域的解析の結果を組み合わせた、コンパクトな被覆 $ Y_{r_0} $ における極限的議論により、恒等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 双曲的計量と標準計量の間の基本的恒等式を、有限体積をもつ非コンパクトな双曲的リーマン・オルビフォールドへどのように拡張できるか？
• RQ2 尖点と楕円的点を含む状況下で、時間 $ t \to \tau $ にわたり積分された双曲的熱核およびそのラプラシアンの振る舞いはいかなるものか？
• RQ3 標準計量の積分は、双曲的計量と、熱核を含むスペクトル補正項によって表現可能か？
• RQ4 尖点および楕円的点における対数および対数対数特異性は、大域的積分恒等式にどのように影響を与えるか？
• RQ5 拡張された恒等式を用いて、もともとコンパクトな曲面でのみ有効であったアラケロフ理論的評価を、非コンパクトなオルビフォールドへ一般化可能か？

主な発見

• 本稿は、すべての $ f \to C_{\text{ell,ell}}(\bar{X}) $ に対して、恒等式：$ g\bigint_{X} f(z)\nu_{\text{can}}(z) = \big( \frac{1}{4\tau} + \frac{1}{\text{vol}_{\text{hyp}}(X)} \big) \bigint_{X} f(z)\nu_{\text{hyp}}(z) + \frac{1}{2} \bigint_{X} f(z) \big( \bigint_{0}^{\tau} \triangle_{\text{hyp}} K_{\text{hyp}}(t;z) dt \big) \nu_{\text{hyp}}(z) $ を確立する。
• この恒等式は、尖点と楕円的固定点を含む有限体積の非コンパクトなオルビフォールドに対しても成立し、従来のコンパクトな曲面に限られた結果を拡張する。
• 時間にわたり統合された双曲的ラプラシアンをもつ熱核を含む補正項は、マース形式および尖点形式からのスペクトル寄与を捉えている。
• 標準グリーン関数 $ g_{\text{can}}(z;w) $ は、双曲的グリーン関数と熱核を用いて表現可能であり、これにより非コンパクトな設定における $ g_{\text{can}} $ の将来的な評価が可能になる。
• この結果は、Faltingsのデルタ関数および標準グリーン関数の最良評価を非コンパクトなオルビフォールドへ拡張する基盤を提供する。
• 以前の研究で用いられた退化技術を避ける一方で、JorgensonとKramer [6] の元の証明経路を特異関数および非コンパクトな設定へ適応した。