[논문 리뷰] Arithmetic geometry of toric varieties. Metrics, measures and heights

José Ignacio Burgos Gil, Patrice Philippon외 1명|arXiv (Cornell University)|2011. 05. 27.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 아델릭 가중 함수의 볼록 함수족에 대한 다각형 위의 적분으로 표현되는, 토릭 다양체의 높이를 토릭 메트라이제이션 선다발에 대해 수립한다. 아라켈로프 기하학과 볼록 해석학을 활용하여, 저자들은 토릭 다양체 위의 메트릭, 측도, 높이를 레전드르-펜처의 이중성, 실수 몽주-암페르 측도, 다면체 복합체 등의 대상들과 연결하며, 조각별 애프린 함수와 선형 형식을 통해 높이의 폐형 계산을 제공한다.

ABSTRACT

We show that the height of a toric variety with respect to a toric metrized line bundle can be expressed as the integral over a polytope of a certain adelic family of concave functions. To state and prove this result, we study the Arakelov geometry of toric varieties. In particular, we consider models over a discrete valuation ring, metrized line bundles, and their associated measures and heights. We show that these notions can be translated in terms of convex analysis, and are closely related to objects like polyhedral complexes, concave functions, real Monge-Ampère measures, and Legendre-Fenchel duality. We also present a closed formula for the integral over a polytope of a function of one variable composed with a linear form. This allows us to compute the height of toric varieties with respect to some interesting metrics arising from polytopes. We also compute the height of toric projective curves with respect to the Fubini-Study metric, and of some toric bundles.

연구 동기 및 목표

• 토릭 메트라이제이션 선다발에 대한 토릭 다양체의 높이를 다각형 위의 적분으로 표현하기.
• 토릭 다양체의 아라켈로프 기하학과 볼록 해석학 사이의 다리를 쌓기.
• 아델릭 가중 볼록 함수족과 그 이중체를 이용한 높이 계산 도구 개발.
• 푸비니-스투디 메트릭과 토릭 곡선과 같은 기하학적으로 의미 있는 경우에 대해 높이의 명시적 공식 제공.
• 이산 평가환수 위의 토릭 스킴으로 높이 이론을 일반화하고 T-카르티에 배수의 양성성 성질 연구하기.

제안 방법

• 아델릭 체 위의 토릭 다양체에서 메트라이제이션 선다발을 사용하여, 유클리드적 및 비유클리드적 경우를 구분한다.
• 베르코비치 해석적 공간을 활용하여 비유클리드 메트릭을 모델링하고 관련 측도를 정의한다.
• 레전드르-펜처 이중성을 활용하여 기하학적 자료를 볼록 해석적 대상인 볼록 함수 및 그 초미분들로 변환한다.
• 다각형 위에서 일변수 함수와 선형 형식의 복합 함수에 대한 폐형 적분 공식을 도입한다.
• 조각별 애프린 볼록 함수와 그 V-표현을 사용하여 혼합 몽주-암페르 측도를 계산한다.
• 실수 몽주-암페르 측도를 활용하여, 다각형 위의 함수족의 적분과 토릭 다양체의 높이를 연결한다.

실험 결과

연구 질문

• RQ1 토릭 다양체의 높이는 볼록 기하학과 아델릭 함수의 관점에서 어떻게 표현될 수 있는가?
• RQ2 토릭 다양체 위의 메트라이제이션 선다발과 다각형 위의 볼록 함수 사이의 정확한 관계는 무엇인가?
• RQ3 레전드르-펜처 이중성과 몽주-암페르 측도는 토릭 아라켈로프 기하학의 맥락에서 어떻게 자연스럽게 나타나는가?
• RQ4 푸비니-스투디 메트릭과 같은 특정 메트릭 하에서 토릭 다양체의 높이에 대해 명시적 공식을 유도할 수 있는가?
• RQ5 높이 불변량이 잘 정의되도록 하기 위한 토릭 스킴과 T-카르티에 배수에 대한 양성성 및 적분 가능성 조건은 무엇인가?

주요 결과

• 토릭 메트라이제이션 선다발에 대한 토릭 다양체의 높이는 아델릭 가중 볼록 함수족의 다각형 위의 적분으로 주어진다.
• 일변수 함수와 선형 형식의 복합 함수에 대한 다각형 위의 적분에 대해 폐형 공식이 도출되었으며, 이는 명시적 높이 계산을 가능하게 한다.
• 푸비니-스투디 메트릭 하에서 토릭 프로젝티브 곡선의 높이는 적분 공식을 통해 명시적으로 계산된다.
• 토릭 번들의 높이와 극화된 토릭 다양체의 높이는 다면체 복합체 위의 볼록 함수의 혼합 몽주-암페르 측도로 표현된다.
• 저자들은 레전드르-펜처 이중성을 통해 토릭 다양체 위의 준양성 메트릭과 볼록 함수 사이의 대응을 수립한다.
• 다각형 위의 볼록 함수의 실수 몽주-암페르 측도가 준양성 메트라이제이션 선다발과 관련된 측도와 일치함을 보였다.