[논문 리뷰] The area is a good enough metric

Matteo Costantini, Martin Möller외 1명|arXiv (Cornell University)|2019. 10. 30.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 아벨 미분형의 스트라타의 매끄러운 컴팩티피케이션을 $k$-미분형으로 확장하여, 유한 면적을 가진 $k$-미분형의 프로젝티브 스트라타 위의 타우토로지컬 라인 번들의 평탄한 면적 메트릭이 헤르미트 메트릭을 유도하며, 그 곡률 형식이 첫 번째 체른 클래스를 나타냄을 입증한다. 이 결과는 $k$-미분형의 체른-베일 이론에서 면적 메트릭의 사용을 정당화하며, 시겔-비치 상수와 마수르-비치 체적 계산에의 적용을 가능하게 한다.

ABSTRACT

In the first part we extend the construction of the smooth normal-crossing divisors compactification of projectivized strata of abelian differentials given by Bainbridge, Chen, Gendron, Grushevsky and Moeller to the case of k-differentials. Since the generalized construction is closely related to the original one, we mainly survey their results and justify the details that need to be adapted in the more general context. In the second part we show that the flat area provides a canonical hermitian metric on the tautological bundle over the projectivized strata of finite area k-differentials whose curvature form represents the first Chern class. This result is useful in order to apply Chern-Weyl theory tools. It has already been used as an assumption in the work of Sauvaget for abelian differentials and is also used in a paper of Chen, Möller and Sauvaget for quadratic differentials.

연구 동기 및 목표

• 아벨 미분형의 스트라타의 매끄러운 정규교차 컴팩티피케이션을 $k$-미분형의 경우로 일반화하는 것.
• 면적이 유한한 $k$-미분형의 프로젝티브 스트라타 위의 타우토로지컬 번들의 평탄한 면적 메트릭이 첫 번째 체른 클래스를 나타내는 헤르미트 메트릭을 제공함을 정당화하는 것.
• 체른-베일 이론의 적용을 위해 면적 메트릭이 충분함을 검증함으로써 다이나믹스 및 체적 계산에의 응용을 지원하는 것.
• 표준 커버와 변형된 주기 좌표를 사용하여 아벨 미분형에서 $k$-미분형으로의 구성의 공식화.
• $k$-미분형의 맥락에서 시겔-비치 상수와 마수르-비치 체적과 같은 불변량을 계산하기 위한 기초를 마련하는 것.

제안 방법

• 베인브릿지 등이 아벨 미분형에 대해 제시한 구성 방식을 표준 커버와 휘어진 $k$-미분형을 사용하여 $k$-미분형으로 적응하는 것.
• 컴팩티피케이션 과정에서의 분열 현상을 다루기 위해 프론 매칭과 레벨 로테이션 토러스를 도입하는 것.
• 정규교차 경계를 가진 다중 척도 $k$-미분형의 컴팩티피케이션 모듈리 공간에 대한 위상적 공간을 구성하는 것.
• 컴팩티피케이션 위의 복소 구조를 정의하기 위해 변형된 주기 좌표를 국소 좌표계로 사용하는 것.
• 극좌표에서의 추정과 적분 경계를 적용하여 경계 성분 위의 적분이 극한에서 0이 됨을 보이며, 메트릭의 곡률이 잘 정의됨을 보장하는 것.
• 파arameter의 수에 대한 귀납법을 사용하여 $x_{(-i),j}$ 변수를 포함하는 적분이 截단 $\delta \to 0$일 때 0이 됨을 보이며, 메트릭의 정칙성을 확인하는 것.

실험 결과

연구 질문

• RQ1 아벨 미분형의 스트라타의 매끄러운 컴팩티피케이션은 동일한 구조적 성질을 갖는 $k$-미분형으로 일반화될 수 있는가?
• RQ2 면적이 유한한 $k$-미분형의 프로젝티브 스트라타 위의 타우토로지컬 번들의 평탄한 면적 메트릭이 첫 번째 체른 클래스를 나타내는 헤르미트 메트릭을 유도하는가?
• RQ3 경계를 따라 매끄럽게 연장되지 않더라도, 면적 메트릭이 $k$-미분형 맥락에서 체른-베일 이론의 응용에 충분한가?
• RQ4 변형된 주기 좌표와 빌딩 블록 적분은 기울어진 극한에서 어떻게 행동하며, 여전히 유한한가?
• RQ5 截단 $\delta \to 0$일 때, 경계 성분에서 $x_{(-i),j}$ 변수를 포함하는 적분의 행동은 어떠한가?

주요 결과

• $\Xi^{k}\overline{\mathcal{M}}_{g,n}(\mu)$는 정규교차 경계 분할을 가진 복소 오비폴드이다.
• 프로젝티브 컴팩티피케이션 $\mathbb{P}\Xi^{k}\overline{\mathcal{M}}_{g,n}(\mu)$는 $k$-미분형의 프로젝티브 스트라타의 컴팩티피케이션이다.
• 평탄한 면적 메트릭은 타우토로지컬 라인 번들 $\mathcal{O}(-1)$ 위에 헤르미트 메트릭을 유도하며, 그 곡률 형식은 첫 번째 체른 클래스를 나타낸다.
• $x_{(-i),j}$ 변수를 포함하는 경계 성분 위의 적분은 극한 $\delta \to 0$에서 0이 되며, 메트릭의 정칙성을 확인한다.
• 변형된 주기 좌표는 잘 정의된 국소 좌표계를 제공하여 컴팩티피케이션 위의 복소 구조를 구성하는 데 기여한다.
• 결과적으로 면적 메트릭이 $k$-미분형의 체른-베일 이론에 사용될 수 있음을 정당화하며, 체적 계산과 동역학적 불변량의 지원을 가능하게 한다.