[논문 리뷰] Géométrie d'Arakelov des variétés toriques et fibrés en droites intégrables

Vincent Maillot|ArXiv.org|1997. 06. 16.

Geometry and complex manifolds인용 수 24

한 줄 요약

이 논문은 Spec ℤ 위의 매끄럽고 사영적인 토릭 다양체에 대해 아라켈로프 기하학 프레임워크를 개발하며, C∞가 아닐 수 있는 선다발 위에 자연스러운 메트릭을 도입함으로써, 통합 가능한 선다발에 대한 산술 차우 군과 차수를 정의할 수 있게 한다. 주요 기여는 토릭 선다발의 산술 차수와 그에 관련된 다면체의 부피, 그리고 메트릭 데이터를 캐릭터라이즈하는 새로운 상수 L(∇)을 연결하는 일반화된 산술 버나이슈틴-쿠스니레노프 정리이다.

ABSTRACT

En nous appuyant sur une construction due à Bedford et Taylor, et certains résultats récents de Demailly, nous présentons une extension (partielle) de la géométrie d'Arakelov aux fibrés en droites intégrables. (Ces derniers sont les fibrés en droites hermitiens sur une variété arithmétique $X$ pouvant se décomposer sous la forme $\ov{E} = \ov{E}_{1}\otimes (\ov{E}_{2})^{-1}$, où $\ov{E}_{1}$ et $\ov{E}_{2}$ sont des fibrés en droites munis à l'infini d'une métrique continue approchable uniformément sur $X(C)$ par des métriques positives $C^{\infty}$). Nous appliquons notre théorie aux fibrés en droites sur une variété torique munis à l'infini de leur métrique canonique. Nous en déduisons, entre autres choses, la démonstration d'un analogue arithmétique du théorème de Bernstein-Koushnirenko.

연구 동기 및 목표

• C∞가 아닐 수 있는 선다발 위에 자연스러운 메트릭을 구성함으로써, 아라켈로프 이론을 Spec ℤ 위의 토릭 다양체로 확장한다.
• 첫 번째 체른 전류가 매끄럽지 않을 경우에도 통합 가능한 선다벨에 대해 산술 차우 군과 체른 클래스를 정의한다.
• 고전적 버나이슈틴-쿠스니레노프 정리를 산술적 환경으로 일반화하여, 산술 차수와 다면체의 불변량을 연결한다.
• 일반화된 미분형식과 베드포드-테일러 이론을 사용하여, 토릭 다양체 위의 산술 교차 이론 프레임워크를 수립한다.
• 유일성과 산술 교차와의 호환성을 보장하는 함수적 및 양성 조건을 통해 토릭 선다벨 위의 자연스러운 메트릭을 특성화한다.

제안 방법

• 팬과 다면체의 조합론적 자료를 사용하여, Spec ℤ 위의 토릭 다양체 위의 선다벨에 자연스러운 메트릭을 구성한다.
• 통합 가능한 선다벨의 개념을 도입하며, 이는 광범위한 선다벨의 차이로 정의되며, 광범위한 선다벨은 메트릭이 양성이고 C∞ 메트릭으로 근사 가능한 경우를 의미한다.
• 베드포드-테일러-데메플리 이론을 적용하여, 첫 번째 체른 전류를 나타내는 비매끄러운 (1,1)-전류의 곱을 정의한다.
• 비매끄러운 메트릭을 다룰 수 있도록 일반화된 미분형식 이론을 개발하여, 통합 가능한 선다벨에 대해 산술 차우 군을 정의할 수 있도록 한다.
• 체른 전류의 양성과 사이클 위의 적분을 이용하여 산술 높이에 대한 상한을 유도한다.
• 초표면 절단을 통한 사이클의 재귀적 구성 기법을 적용하여 주요 산술 버나이슈틴-쿠스니레노프 정리를 증명한다.

실험 결과

연구 질문

• RQ1 자연스러운 메트릭이 C∞가 아닐 경우, Spec ℤ 위의 토릭 다양체에서 산술 체른 클래스와 교차 이론을 어떻게 정의할 수 있는가?
• RQ2 토릭 다양체에 대해 고전적 버나이슈틴-쿠스니레노프 정리의 산술적 동치는 무엇인가?
• RQ3 기하학적 갈릴-술레 산술 차우 이론을 비매끄러운 메트릭을 포함하도록 통합 가능한 선다벨을 통해 어떻게 확장할 수 있는가?
• RQ4 산술 교차 이론에서 상수 L(∇)의 역할은 무엇인가?
• RQ5 자연스러운 메트릭이 제약과 교차에 대해 어떻게 행동하며, 그 함수적 성질은 무엇인가?

주요 결과

• 자연스러운 메트릭을 가진 토릭 선다벨의 첫 번째 체른 전류는 비록 매끄럽지 않더라도 닫혀 있고 양성인 (1,1)-전류이며, 베드포드-테일러 이론을 통해 그 승수를 정의할 수 있다.
• 매끄럽고 사영적인 토릭 다양체의 산술 차우 군은 통합 가능한 선다벨의 산술 첫 번째 체른 클래스들에 의해 생성되며, 고전적 차우 링을 일반화한다.
• 토릭 선다벨 위의 자연스러운 메트릭은 그 함수적 성질과 양성 조건에 의해 유일하게 특성화되며, 토릭 다양체의 범주 전반에서 일관성을 보장한다.
• 토릭 선다벨의 산술 차수는 그에 관련된 다면체의 부피와, 메트릭의 특이성에 따라 결정되는 상수 L(∇)를 포함한 수정 항의 합으로 유계된다.
• 주요 결과는 산술 버나이슈틴-쿠스니레노프 정리이다: 선다벨의 절단으로 정의된 사이클의 높이는 선다벨의 차수의 합과 L(∇k) 및 절단의 부정호의 높이를 포함하는 항의 합으로 유계진다.
• 증명은 사이클의 재귀적 구성과, 초표면과의 교차 후 사이클의 높이를 유계하는 핵심 부등식에 기반하며, 이는 절단의 로그노름의 최대값과 체른 전류의 양성에 기반한다.