[논문 리뷰] Formes différentielles réelles et courants sur les espaces de Berkovich

Antoine Chambert-Loir, Antoine Ducros|arXiv (Cornell University)|2012. 04. 27.

Geometry and complex manifolds참고 문헌 21인용 수 65

한 줄 요약

이 논문은 베르키비치의 의미에서 분석적 공간 위의 실수 미분형식과 전류에 대한 이론을 개발하며, 실수해석적 프레임워크를 통해 비아르키메데스 기하학과 아르키메데스 기하학을 통합한다. 스토크스 및 그린 공식을 수립하고, 트로피컬라이제이션 위의 적분을 정의하며, 특히 아라켈로프 이론과 벡터(bundle)에 대한 메트릭의 맥락에서 비아르키메데스 설정에서 측도론적 구성과의 호환성을 입증한다.

ABSTRACT

We define a theory of real $(p,q)$-forms and currents on Berkovich spaces which is parallel to the theory of differential forms on complex spaces. It is based on Lagerberg's theory of superforms in tropical geometry and on the consideration of tropicalization maps and skeleta on domains of non archimedean analytic spaces in the sense of Berkovich. We construct canonical calibrations of skeleta of analytic spaces, which give rise to integrals of $(n,n)$-forms, and a variant of Stokes formula. The theory of currents furnishes analogues of the Poincaré-Lelong formula, as well as the formulas of Bochner-Martinelli and Levine. We define a notion of plurisubharmonic functions and develop an analogue of Bedford-Taylor's theory of products of closed positive currents. Smooth metrized line bundles have a Chern form; the integrals of products of these Chern forms is compatible with numerical intersection theory. The case of psh metrics gives rise to Chern currents. In the case of formal metrics, we compute these product currents in terms of intersection numbers of the special fiber. In a final chapter, we detail how the uniformization of abelian varieties allows to study the canonical metrics on their line bundles. The theory allows to reinterpret tropical intersection theory and is presented in the general context of so-called "tropical spaces" which we introduce in a first part of the book.

연구 동기 및 목표

• 베르키비치 분석적 공간 위의 실수해석적 미분형식과 전류 이론을 개발하여 아라켈로프 이론을 비아르키메데스 설정으로 확장한다.
• 실수 미분형식을 기반으로 한 공통 프레임워크를 도입하여 아르키메데스 및 비아르키메데스 자리의 처리를 통합한다.
• 스케лет라 및 트로피컬라이제이션 위의 적분 이론을 수립하고, 교차 이론 및 측도론적 구성과의 호환성을 확보한다.
• 실수해석적 방법을 사용하여 비아르키메데스 맥락에서 양성, 곡률, 다항하모닉 함수의 정의와 연구를 수행한다.
• 새로운 적분 이론과 베르키비치 공간 위의 기존 측도, 특히 이산 평가환주의 경우와의 호환성을 입증한다.

제안 방법

• 초형식과 분할 단위를 통한 트로피컬라이제이션 기반 접근을 사용하여, 베르키비치 분석적 공간 위의 (p,q)형 실수 미분형식을 도입한다.
• 캘리브레이션과 트로피컬 구조를 사용하여, p차원 부분공간 위의 (p,n)-형식의 적분을 구성한다.
• 시험형식 공간 위의 연속적 선형 함수로 전류를 정의하고, 적분 및 경계 작용이 스토크스 공식을 만족하도록 한다.
• 트로피컬라이제이션에 대한 표준 캘리브레이션을 수립하여, 기저 분석적 공간의 기하학과의 호환성을 확보한다.
• 벡터 번들의 메트릭에 적용하여 곡률 전류를 정의하고, 그 양성 및 감소에 대한 행동을 연구한다.
• 자르키-라이만 공간 이론과 형식적 메트릭을 사용하여 모델의 기하학과 일반 섬유 위의 해석적 구조 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 어떻게 베르키비치 분석적 공간 위에 실수해석적 미분형식과 전류 이론을 개발하여 비아르키메데스 기하학과 아르키메데스 기하학을 통합할 수 있는가?
• RQ2 이 프레임워크에서 분석적 공간의 트로피컬라이제이션과 미분형식의 적분 간의 정확한 관계는 무엇인가?
• RQ3 전류 및 적분 이론은 비아르키메데스 설정에서 메트릭이 있는 벡터 번들의 경우로 확장될 수 있으며, 곡률과 양성과의 관계는 어떻게 되는가?
• RQ4 제안된 베르키비치 공간 위의 적분 이론은 [22]와 같은 기존 측도론적 구성과 어떻게 관련이 있는가?
• RQ5 표준 캘리브레이션이 트로피컬라이제이션 위의 적분 일관성을 확보하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 베르키비치 공간 위의 실수 미분형식에 대해 스토크스 및 그린 공식의 판본을 수립하여, 적분 이론의 기초 도구를 제공한다.
• 비특이 분석적 공간 위의 (n,n)-형식의 적분이 [22]의 측도론적 구성과 호환됨을 입증하며, 특히 이산 평가환주의 경우에 해당한다.
• 베르키비치 공간의 점 x에 대해 [|χ(x)†| : |k†|]는 해당 성분이 모델의 특수 섬유에서의 중복도와 일치하며, 평가군과 기하학적 중복도 간의 연결 고리를 설정한다.
• 이론은 트로피컬라이제이션에 대한 표준 캘리브레이션을 정의하여, 트로피컬 사이클 위의 적분이 잘 정의되고 해석적 구조와 호환됨을 보장한다.
• 적절한 조건 하에서 메트릭이 부여된 선다발의 곡률 전류는 양성 전류임을 보여주며, 다항하모닉 함수 이론을 비아르키메데스 맥락으로 확장한다.
• 비특이 분석적 공간 위의 메트릭이 부여된 선다발에 대해, 아라켈로프 이론적 곡률 전류의 차수는 교차이론적 차수와 일치함을 증명하여, 새로운 프레임워크가 고전적 산술기하학과의 호환성을 확보함을 검증한다.