[논문 리뷰] Differentiability of relative volumes over an arbitrary non-Archimedean field

Sébastien Boucksom, Walter Gubler외 1명|arXiv (Cornell University)|2020. 04. 08.

Geometry and complex manifolds참고 문헌 36인용 수 11

한 줄 요약

이 논문은 임의의 비아르키메데스 수체 위의 기하학적으로 감소한 프로젝티브 스킴 위의 앰플 라인 번들의 연속 psh 메트릭에 대해 상대 체적의 가비에이션을 확립하며, 이는 이전 결과를 이산적으로 값이 부여된 체로의 일반화이다. 주요 기여는 상대 체적의 도함수와 비아르키메데스 몽헤–암페르 측도 사이의 변분 공식을 제시함으로써 비아르키메데스 몽헤–암페르 방정식의 해를 구하고, 코homology의 행렬식과 데리네 쌍대화를 통해 페케테 점의 등분포 결과를 일반화한다.

ABSTRACT

Given an ample line bundle $L$ on a geometrically reduced projective scheme defined over an arbitrary non-Archimedean field, we establish a differentiability property for the relative volume of two continuous metrics on the Berkovich analytification of $L$, extending previously known results in the discretely valued case. As applications, we provide fundamental solutions to certain non-Archimedean Monge--Amp\\`ere equations, and generalize an equidistribution result for Fekete points. Our main technical input comes from determinant of cohomology and Deligne pairings.

연구 동기 및 목표

• 이산적으로 값이 부여된 체에서의 상대 체적의 가비에이션을 임의의 비아르키메데스 수체로 확장하는 것.
• 비아르키메데스 몽헤–암페르 방정식을 해결하기 위한 변분 접근법을 제공하는 것.
• 이산적으로 값이 부여된 경우를 초월하여 페케테 점에 대한 등분포 결과를 일반화하는 것.
• 임의의 비아르키메데스 수체 위에서 베르키비치 기하학의 맥락에서 상대 체적에 대한 기본적인 가비에이션 성질을 확립하는 것.
• 비노에테르 비율 링을 다루기 위해 데리네 쌍대화와 코homology의 행렬식을 사용하는 것.

제안 방법

• 선형 번들 및 메트릭에 대해 덧셈 기호를 사용하며, 코homology 노름의 로그 비율을 통해 상대 체적을 정의한다.
• 비노에테르 비율 링을 다루기 위해 코homology의 행렬식과 데리네 쌍대화를 비이산적으로 값이 부여된 설정에서 사용한다.
• 아베스–부셰 및 유안의 기법을 영감으로 삼은 변분 접근법을 사용하며, 아라켈로프 기하학의 기법을 확장한다.
• Envelope의 연속성과 psh 메트릭의 수직성에 기반하여 수렴성과 가비에이션을 제어한다.
• Envelope의 균일 수렴성과 psh 메트릭 정규화의 사용을 통해 에너지 함수의 가비에이션을 확립한다.
• 비아르키메데스 몽헤–암페르 측도 $(dd^c\theta)^n$을 사용하여 상대 체적의 도함수를 특성화한다.

실험 결과

연구 질문

• RQ1 상대 체적 기능은 이산적으로 값이 부여된 경우 외에도 임의의 비아르키메데스 수체에서 여전히 가비에이션 가능한가?
• RQ2 몽헤–암페르 방정식을 해결하기 위한 변분 방법은 이산적으로 값이 부여된 경우를 초월하여 확장 가능한가?
• RQ3 상대 체적의 가비에이션은 비아르키메데스 몽헤–암페르 측도와 어떻게 관련이 있는가?
• RQ4 데리네 쌍대화와 코homology의 행렬식은 비노에테르 비율 링을 다루는 데 어떤 역할을 하는가?
• RQ5 페케테 점에 대한 등분포 결과는 이산적으로 값이 부여되지 않은 비아르키메데스 수체로 일반화할 수 있는가?

주요 결과

• 모든 연속 psh 메트릭에서 상대 체적 기능은 가비에이션 가능하며, 도함수는 시험 함수를 비아르키메데스 몽헤–암페르 측도에 대해 적분한 것으로 주어진다: $\frac{d}{dt}\big|_{t=0} \operatorname{vol}(L,\phi+tf,\phi) = \int_{X^{\mathrm{an}}} f \, (dd^c\phi)^n$.
• 변분 접근법을 통해 비아르키메데스 몽헤–암페르 방정식의 기본 해가 구성되며, $L$-정규 점에서 평형 메트릭 $\phi_x = \operatorname{P}(\{x\},\phi)$는 $V^{-1}(dd^c\phi_x)^n = \delta_x$ 를 만족한다.
• 이 결과는 완비 비아르키메데스 수체, 즉 자명하거나 조밀하게 값이 부여된 필드를 포함하여 이전에 이산적 또는 잔여 특성 0 설정으로 제한된 결과를 초월하여 성립한다.
• 에너지 함수 $\operatorname{E} \circ \operatorname{P}$ 는 모든 연속 psh 메트릭에서 가비에이션 가능하며, 도함수는 몽헤–암페르 측도를 통해 표현된다.
• 이 증명은 envelope의 연속성과 균일 수렴성에 기반하며, 이는 일반적인 비이산적으로 값이 부여된 경우의 변분 추론의 타당성을 보장한다.
• 이 결과는 envelope의 연속성 가정 하에 페케테 점의 등분포 결과를 이산적으로 값이 부여된 경우를 초월하여 일반화한다.