[논문 리뷰] The singularities of the invariant metric on the line bundle of Jacobi forms

José Ignacio Burgos Gil, Ulf Kühn외 1명|arXiv (Cornell University)|2014. 05. 13.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 무마포드의 순수 셰이머 다양체에 대한 자동형선다발과 불변 메트릭의 확장 정리가 혼합 셰이머 다양체, 특히 유니버설 타원곡선으로까지 확장되는지를 다룬다. 표준 확장이 자코비 형식 선다발의 메트릭에서 발생하는 고차원 특이점으로 인해 실패함을 보이고, 기능성, 초월 이론의 일致성, 자코비 형식의 점 游차차한 차원에 대한 힐베르트-사무엘 공식을 확보하기 위해 b-다중체를 사용하는 해결책을 제안한다.

ABSTRACT

A theorem by Mumford implies that every automorphic line bundle on a pure open Shimura variety, equipped with an invariant smooth metric, can be uniquely extended as a line bundle on a toroidal compactification of the variety, in such a way that the metric acquires only logarithmic singularities. This result is the key of being able to compute arithmetic intersection numbers from these line bundles. Hence it is natural to ask whether Mumford's result remains valid for line bundles on mixed Shimura varieties. In this paper we examine the simplest case, namely the sheaf of Jacobi forms on the universal elliptic curve. We show that Mumford's result cannot be extended directly to this case and that a new interesting kind of singularities appears. By using the theory of b-divisors, we show that an analogue of Mumford's extension theorem can be obtained. We also show that this extension is meaningful because it satisfies Chern-Weil theory and a Hilbert-Samuel type of formula.

연구 동기 및 목표

• 무마포드의 순수 셰이머 다양체에 대한 불변 메트릭 확장 정리가 혼합 셰이머 다양체, 특히 유니버설 타원곡선으로까지 일반화되는지 조사하는 것.
• 유니버설 타원곡선 위의 자코비 형식 선다발에 대한 이동 불변 메트릭의 행동을 분석하는 것.
• 유니버설 타원곡선의 난잡한 컴actsification에서의 기능성 결여와 초월 이론의 실패를 해결하는 것.
• 기능성과 기하학적 일치성을 복원하는 b-다중체를 사용한 새로운 확장 프레임워크를 개발하는 것.
• 자코비 형식의 공간의 점근적 차원과 확장된 b-다중체의 자기교차수를 연결하는 힐베르트-사무엘 유형의 공식을 수립하는 것.

제안 방법

• 모든 토리컬 컴팩티피케이션을 수용하는 b-ℚ-카르티에 다중체를 자코비 형식 선다발의 정확한 확장으로 도입한다.
• 코딩레벨 2에서 집중된 로그형 특이점을 가진 특이 메트릭을 정의하며, 이는 비선형이지만 조각별 선형이 아닌 함수 Ψ_sing를 사용한다.
• 토리컬 b-다중체 이론과 볼록 안정 집합 Δ_sing를 활용하여 메트릭의 점근적 행동을 모델링한다.
• 안정 집합 Δ_sing의 부피를 통해 b-다중체의 자기교차수를 계산하며, 이는 2·Vol(Δ_sing)와 일치함을 보인다.
• 특성 형식이 b-다중체의 체르누 클래스로 통합됨을 보여, 특이 메트릭에 대한 초월 이론을 수립한다.
• 자코비 형식의 점근적 차원을 b-다중체의 자기교차수와 연결함으로써 힐베르트-사무엘 공식을 유도하며, 부피의 차이를 명시적으로 평가한다.

실험 결과

연구 질문

• RQ1 무마포드의 불변 메트릭에 대한 확장 정리가 유니버설 타원곡선과 같은 혼합 셰이머 다양체로 일반화될 수 있는가?
• RQ2 유니버설 타원곡선 위의 자코비 형식 선다발에 대한 불변 메트릭에서 발생하는 특이점의 성격은 무엇인가?
• RQ3 특이 메트릭을 가진 자코비 형식 선다발을 컴팩티피케이션으로 확장하는 기능성과 기하학적으로 일관된 방법이 존재하는가?
• RQ4 b-다중체를 통한 확장에서 특이 메트릭에 대해 초월 이론이 성립하는가?
• RQ5 자코비 형식의 공간의 점근적 차원과 b-다중체의 자기교차수를 연결하는 힐베르트-사무엘 유형의 공식을 수립할 수 있는가?

주요 결과

• 유니버설 타원곡선에 대한 자코비 형식 선다발의 난잡한 확장은 고차원 특이점으로 인해 기능성이 결여되고 초월 이론을 만족하지 못한다.
• 정확한 확장은 b-ℚ-카르티에 다중체이며, 이는 모든 토리컬 컴팩티피케이션에서 기능성을 보장한다.
• b-다중체의 자기교차수는 2·Vol(Δ_sing)로 주어지며, 여기서 Δ_sing = {(x,y) ∈ (ℝ²)∨ | x,y ≥ 0, x+y ≤ 1, √x + √y ≥ 1}이다.
• 난잡한 확장과 b-다중체 확장 간의 자기교차수 차이는 정확히 1/3이며, 이는 ∑_{n>0,m>0,(n,m)=1} 1/(n²m²(n+m)²) = 1/3으로 계산된다.
• 특이 메트릭에 대해 초월 이론이 성립함을 보였으며, 메트릭의 특성 형식이 b-다중체의 체르누 클래스로 통합됨을 보였다.
• 자코비 형식의 공간의 점근적 차원과 b-다중체의 자기교차수를 연결하는 힐베르트-사무엘 유형의 공식이 수립되었으며, 부피의 차이가 정확히 1/3 보정항과 일치한다.