[논문 리뷰] Equidistribution of small subvarieties of an abelian variety

Matthew Baker, Su-Ion Ih|ArXiv.org|2004. 04. 21.

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

한 줄 요약

이 논문은 수체 위의 아벨 다양체에서 차원이 낮은 엄밀한 부분다양체에 대해 일반적인 등분포 정리를 확립하며, 점에서 고차원 부분다양체로의 슈피로-울로-장 등분포 정리를 일반화한다. 캐논리컬 높이와 아라케로프 기하학을 사용하여, 이러한 부분다양체의 캐논리컬 높이가 0에 수렴함에 따라 복소수 점들의 아벨 다양체 위의 정규화된 하르 측도에 대해 등분포가 일어남을 증명한다.

ABSTRACT

We prove an equidistribution result for small subvarieties of an abelian variety which generalizes the Szpiro-Ullmo-Zhang theorem on equidistribution of small points.

연구 동기 및 목표

• 수체 위의 아벨 다양체에서 작은 점에서의 슈피로-울로-장 등분포 정리를 작은 고차원 부분다양체로 확장한다.
• 산술적 교차 이론과 헤르미트 선다발을 사용하여 부분다양체에 대한 캐논리컬 높이 이론을 수립한다.
• 작고 엄밀한 부분다양체의 수열이 아벨 다양체의 복소수 점들 위의 정규화된 하르 측도에 대해 등분포함을 증명한다.
• 등분포를 통해 부분다양체에 대한 보고몰로프 추측의 고차원 해석을 해결한다.
• 엄밀성 조건이 만족될 경우 등분포 성질이 유지됨을 보이며, 이는 적절한 토르션 부분다양체에 집중되는 것을 방지한다.

제안 방법

• 수체의 정수환 위의 아벨 다양체의 모델에서 산술적 교차 이론을 사용하여 부분다양체의 높이를 정의한다.
• 모델과 헤르미트 선다발의 수열을 구성하고, 입방형 메트릭을 사용하여 캐논리컬 높이 $\hat{h}_L(Y)$를 산술적 교차 수의 극한으로 정의한다.
• 부분다양체의 수열이 '엄밀하다'는 개념을 도입하며, 이는 어떤 부분수열도 적절한 토르션 부분다양체에 포함되지 않음을 의미한다.
• 일반화된 보고몰로프 추측(장)을 사용하여, 비토르션 부분다양체 내에서 작은 일반 부분다양체는 그 자체가 토르션일 경우를 제외하고는 자리지 밀도가 불가능하다는 것을 보인다.
• 부드러운 함수에 의한 근사와 약한 수렴을 통해 측도를 적용하고, 작은 점들의 등분포를 이용하여 측도 $\mu_n$ 이 하르 측도 $\mu$로 수렴함을 유도한다.
• 모순과 극한 근사를 사용하여 등분포를 증명하며, 측도 $\mu_n$ 의 극한이 반드시 하르 측도 $\mu$ 와 일치함을 이용한다.

실험 결과

연구 질문

• RQ1 아벨 다양체에서 작은 점의 등분포가 고차원 부분다양체로 일반화될 수 있는가?
• RQ2 작은 부분다양체의 수열이 하르 측도에 대해 등분포하기 위한 조건은 무엇인가?
• RQ3 부분다양체의 캐논리컬 높이가 등분포 행동과 어떻게 관련되는가?
• RQ4 비토르션 부분다양체 내에서 작은 부분다양체가 자리지 밀도가 되지 않도록 방지하는 고차원 보고몰로프 추측의 해석은 존재하는가?
• RQ5 어떤 조건에서 작은 부분다양체의 수열이 등분포하지 못하며, 이러한 장애 요소는 어떻게 제거할 수 있는가?

주요 결과

• 부분다양체 $Y$ 의 캐논리컬 높이 $\hat{h}_L(Y)$ 는 입방형 메트릭을 가진 헤르미트 선다발을 포함하는 산술적 교차 수의 극한으로 정의된다.
• 수열이 작고 엄밀할 경우, 부분다양체는 아벨 다양체의 복소수 점들 위의 정규화된 하르 측도 $\mu$ 에 대해 등분포한다.
• 등분포 결과는 $A(\mathbb{C})$ 상의 모든 연속 함수 $f$ 에 대해 균일하게 성립하며, $\int f \, d\mu_n \to \int f \, d\mu$ 를 만족한다.
• 엄밀성 조건은 어떤 부분수열도 적절한 토르션 부분다양체에 포함되지 않음을 보장하며, 이는 낮은 차원의 토르션 원소에 집중되는 것을 방지하는 데 필수적이다.
• 증명은 일반화된 보고몰로프 추측(장)에 기반하여, 비토르션 부분다양체 내에서 작은 일반 부분다양체는 그 자체가 토르션일 경우를 제외하고는 자리지 밀도가 불가능하다는 것을 보여준다.
• 작은 점들의 등분포(Szpiro-Ullmo-Zhang)는 주요 구성 요소로 사용되며, 이는 근사와 극한 근사를 통해 부분다양체로 확장된다.