[논문 리뷰] Riemann-Roch isometries in the non-compact orbifold setting

Gerard Freixas i Montplet, Anna von Pippich|arXiv (Cornell University)|2016. 04. 01.

Advanced Algebra and Geometry참고 문헌 12인용 수 4

한 줄 요약

이 논문은 비콤���트 오르비곡선 위의 자명한 층에 대해 Poincaré 계량에서 경계점과 타원점에서의 특이 계량을 고려하여 Deligne 및 Gillet–Soulé의 작업을 확장하여 리만–로흐 등식을 수립한다. Mayer–Vietoris 기법과 모델 경계점 및 원뿔에서의 스펙트럼 계산을 통해 산술 리만–로흐 공식을 도출하며, 이는 특별한 값 $ Z'(1, \mathrm{PSL}_2(\mathbb{Z})) $ 를 디리클레 $ L $-함수의 상대적 로그 미분으로 평가하는 데로 이어진다.

ABSTRACT

We generalize work of Deligne and Gillet-Soulé on a Riemann-Roch type isometry, to the case of the trivial sheaf on cusp compactifications of Riemann surfaces $Γ\backslash\mathbb{H}$, for $Γ\subset PSL_{2}(\mathbb{R})$ a fuchsian group of the first kind, equipped with the Poincaré metric. This metric is singular at cusps and elliptic fixed points, and the results of Deligne and Gillet-Soulé do not apply to this setting. Our theorem relates the determinant of cohomology of the trivial sheaf, with an explicit Quillen type metric in terms of the Selberg zeta function of $Γ$, to a metrized version of the $ψ$ line bundle of the theory of moduli spaces of pointed orbicurves, and the self-intersection bundle of a suitable twist of the canonical sheaf $ω_{X}$. We make use of surgery techniques through Mayer-Vietoris formulae for determinants of laplacians, in order to reduce to explicit evaluations of such for model hyperbolic cusps and cones. We derive an arithmetic Riemann-Roch formula, that applies in particular to integral models of modular curves with elliptic fixed points. As an application, we treat in detail the case of the modular curve $X(1)$. From this, we obtain the Selberg zeta special value $Z^{\prime}(1,PSL_{2}(\mathbb{Z}))$ in terms of logarithmic derivatives of Dirichlet $L$ functions. Our work finds its place in the program initiated by Burgos-Kramer-Kühn of extending arithmetic intersection theory to singular hermitian vector bundles.

연구 동기 및 목표

• 경계점과 타원점에서 특이 Poincaré 계량을 갖는 비콤팩트 오르비다양체에 대해 리만–로흐 등식을 일반화한다.
• 계량이 매끄럽지 않은 경우, 특히 타원점이 있는 모듈라 곡선 위의 자명한 층에 대해 산술 리만–로흐 정리를 확장한다.
• 하이퍼볼릭 경계점과 원뿔에서 라플라스 연산자의 행렬식에 대한 엄밀한 스펙트럼 계산을 제공하여 이론물리학에서의 빈자리 메꾸기.
• $ Z'(1, \mathrm{PSL}_2(\mathbb{Z})) $ 의 특별한 값을 디리클레 $ L $-함수의 표현으로 계산하여 오랜 동안 미해결이었던 문제를 해결한다.

제안 방법

• 라플라스 연산자 행렬식의 결정론을 위해 수술 기법과 Mayer–Vietoris 공식을 사용하여 전반적인 계산을 국소적 모델 기하학(하이퍼볼릭 경계점과 원뿔)으로 환원한다.
• Bost의 $ L^1 $-형식론과 Selberg 제타함수를 통한 Quillen 유형 계량을 적용하여 코homology의 행렬식을 정의한다.
• 모델 경계점 및 원뿔 기하학에서의 명시적 스펙트럼 계산을 수행하여 물리학적 계산의 부족을 메우는 엄밀한 방법을 제공한다.
• 비콤팩트 및 특이 설정을 다루기 위해 Selberg 추적 공식을 통한 정규화된 행렬식을 활용한다.
• 산술 교차 이론과 스펙트럼 자료를 결합하여 산술 리만–로흐 공식을 유도하며, 메트라이즈드 $ \psi $-선다발과 캐논리컬 다발의 자기교차를 포함한다.
• Chowla–Selberg 공식과 Faltings 높이 계산을 활용하여 특별한 값을 $ L $-함수와 연결한다.

실험 결과

연구 질문

• RQ1 경계점과 타원점에서 특이 Poincaré 계량을 갖는 비콤팩트 오르비곡선에 대해 리만–로흐 등식을 확장할 수 있는가?
• RQ2 타원 고정점이 있는 모듈라 곡선의 맥락에서 메트라이즈드 $ \psi $-선다발의 산술적 의미는 무엇인가?
• RQ3 특이 계량이 존재하는 상황에서 자명한 층의 코homology의 행렬식은 어떻게 계산할 수 있으며, Selberg 제타함수와의 관계는 무엇인가?
• RQ4 $ Z'(1, \mathrm{PSL}_2(\mathbb{Z})) $ 의 값은 얼마이며, 디리클레 특성의 $ L $-함수와 어떻게 관련이 있는가?
• RQ5 이 논문에서 사용된 스펙트럼 방법은 경계점에서 유한 몰입을 갖는 평탄한 유니터리 다발로 일반화될 수 있는가?

주요 결과

• 논문은 $ Z'(1, \mathrm{PSL}_2(\mathbb{Z})) $ 를 디리클레 $ L $-함수의 상대적 로그 미분의 조합으로 계산하여, $ \mathrm{PSL}_2(\mathbb{Z}) $ 의 Selberg 제타함수에 대한 해석적 클래스 수 공식을 제공한다.
• 메트라이즈드 $ \psi $-선다발과 캐논리컬 다발의 자기교차를 포함한 명시적 산술 차수를 갖는 자명한 층에 대해 $ X(1) $ 에서 산술 리만–로흐 공식이 수립된다.
• $ \psi_{i,W} $ 의 산술 차수는 $ 4h_F(E_i) - 2(\sigma_i, \sigma_\rho)_{\text{fin}} + 2\log(4\pi) $ 이며, $ \psi_{\rho,W} $ 의 산술 차수는 $ 6h_F(E_\rho) - (\sigma_i, \sigma_\rho)_{\text{fin}} + 3\log(4\pi) $ 이다. 여기서 $ h_F $ 는 Faltings 높이를 의미한다.
• $ \omega_{\mathbb{P}^1_{\mathbb{Z}}/\mathbb{Z}}(D)_{\text{hyp}} $ 의 자기교차 수는 $ -\frac{1}{3}\left(\frac{\zeta'(-1)}{\zeta(-1)} + \frac{1}{2}\right) + \frac{1}{3}\log(2\pi) + \frac{1}{6}\log 2 $ 로 계산되며, Petersson 계량과 Bost–Kühn 결과를 활용한다.
• $ \mathrm{PSL}_2(\mathbb{Z})\backslash\mathbb{H} $ 상에서 상수 섹션 1의 $ L^2 $-노름은 $ \|1\|_{L^2}^2 = \frac{1}{6} $ 이며, 이는 산술 리만–로흐 공식에서 $ -12\log\|1\|_{L^2} = 6\log 2 + 6\log 3 $ 으로 이어진다.
• Quillen 계량의 상수 $ C(\mathrm{PSL}_2(\mathbb{Z})) $ 는 Chowla–Selberg 공식을 통해 계산되며, 감마 함수 값과 $ \zeta'(-1)/\zeta(-1) $ 및 $ L $-함수의 도함수를 연결한다.