[论文解读] 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_{ ext{hyp}}(t;z,w) $ 作为谱工具，分析拉普拉斯算子在奇异函数上的作用。
• 对双曲拉普拉斯算子 $ riangle_{ ext{hyp}} $ 作用于热核，并在时间 $ t \to \tau $ 上积分，以定义分布型校正项。
• 在具有有限个点处对数奇点、尖点处双对数奇点的函数空间 $ C_{ ext{ell,ell}}(\bar{X}) $ 内工作。
• 利用斯托克斯定理与小邻域内奇点周围的留数计算，处理典范度量与双曲度量的奇异行为。
• 依赖阿贝尔-雅可比映射，将雅可比簇上的平坦欧氏度量拉回到 $ \bar{X} $ 上，以定义典范度量。
• 通过在紧致 exhaustion $ Y_{r_0} $ 上的极限论证，结合局部与整体分析的结果，建立该恒等式。

实验结果

研究问题

• RQ1 如何将双曲度量与典范度量之间的关键恒等式推广至具有有限体积的非紧致双曲黎曼轨道丛？
• RQ2 在存在尖点与椭圆点的情形下，双曲热核及其拉普拉斯算子在 $ t \to \tau $ 上积分时的行为如何？
• RQ3 典范度量的积分能否用双曲度量与包含热核的谱校正项来表达？
• RQ4 尖点与椭圆点处的对数与双对数奇点如何影响全局积分恒等式？
• RQ5 所推广的恒等式能否用于将此前仅适用于紧致曲面的阿莱克索夫理论界推广至非紧致轨道丛？

主要发现

• 本文建立了如下恒等式：$ 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) $ 对所有 $ f \to C_{\text{ell,ell}}(\bar{X}) $ 成立。
• 该恒等式适用于包含尖点与椭圆不动点的有限体积非紧致轨道丛，扩展了此前仅限于紧致曲面的结果。
• 包含热核时间积分的双曲拉普拉斯算子的校正项，捕捉了马阿斯形式与尖点形式的谱贡献。
• 典范格林函数 $ g_{\text{can}}(z;w) $ 可用双曲格林函数与热核表示，从而为未来在非紧致情形下对 $ g_{\text{can}} $ 建立界提供了可能。
• 该结果为将法尔廷斯 $ \delta $ 函数与典范格林函数的最优界推广至非紧致轨道丛提供了基础。
• 该方法避免了早期工作中使用的退化技术，而是沿用 Jorgenson 与 Kramer [6] 的原始证明路线，但将其适配于奇异函数与非紧致情形。