Complete subvarieties in the projectivized strata of meromorphic differentials

기술 요약: 메로모픽 미분 형식의 사영화된 층(Projectivized Strata) 내 완전 부분 다양체

문제 정의
본 논문은 엄격한 메로모픽 미분 형식(strictly meromorphic differentials)의 사영화된 층 $P\Omega M_g(\mu)$가 양의 차원을 가진 완전 대수적 부분 다양체(complete algebraic subvarieties)를 포함하는지 여부의 문제를 다룬다. 여기서 $\mu$는 영점과 극점의 차수를 규정하는 정수의 튜플로, 이들의 합은 $2g-2$이다. 홀로모픽 미분 형식의 층(즉, $\mu$의 모든 성분이 비음수인 경우)에는 그러한 부분 다양체가 존재하지 않는다는 것이 알려져 있으며, 엄격한 메로모픽 미분 형식의 비사영화된 층 또한 (디바이저 클래스를 이용한 대수기하학적 방법으로) 그러한 부분 다양체가 없음이 증명되었으나, 사영화된 엄격한 메로모픽 경우에 대한 평면 기하학적(flat-geometric) 증명은 기존에 부재하였다. 저자들은 이러한 공백을 메우기 위해 이 층 위에 특정한 해석 함수를 구성하는 것을 목표로 한다.

방법론
저자들은 메로모픽 미분 형식이 유도하는 평행 변환 곡면 구조(translation surface structures)를 활용하는 평면 기하학적 접근 방식을 채택한다. 핵심 방법론은 사영화된 층 $P\Omega M_g(\mu)$ 상에서 전역적으로 정의되는 엄격한 플리 수함수(strictly plurisubharmonic function)를 구성하는 것이다. 이는 두 가지 서로 다른 함수를 결합하여 달성된다:

1. 길이 함수 ($\ell^{-2}$): 몬델로(Mondello)가 도입한 이 함수는 짧은 새들 연결(saddle connections)의 기저의 총 길이를 측정한다. 상대 호몰로지의 기저 $B$에 대하여, $\ell^{-2}_B = \sum_{\gamma \in B} |P_\gamma|^{-2}$이며, 여기서 $P_\gamma$는 새들 연결을 따른 주기(period)이다. 전역 함수 $\ell^{-2}$는 모든 그러한 기저에 대한 상한(supremum)이다.
2. 극 크기 함수 ($S$): 본 연구에서 새롭게 도입된 함수이다. 엄격한 메로모픽 미분 형식의 평면 구조에서, 곡면은 "코어"(영점들의 유한 면적 볼록 외포)와 "극 영역"(각 극을 둘러싼 무한 면적 영역)으로 분해된다. 이 극 영역의 경계는 "주변부 새들 연결(peripheral saddle connections)"로 구성된다. 함수 $S(\omega)$는 이 경계 새들 연결들의 부분 집합에 대한 주기들의 합의 절댓값의 최댓값으로 정의된다:
   $$S(\omega) := \max_{E \subset D_\omega} \left| \sum_{\gamma \in E} P_\gamma \right|$$
   여기서 $D_\omega$는 모든 극 영역의 경계 에지들의 합집합이다.

저자들은 이 함수들의 변형 특성을 분석한다. 그들은 $S$는 차수가 1인 동차 함수이고 $\ell^{-2}$는 차수가 -2인 동차 함수이지만, 이들의 조합인 $2 \log S + \log \ell^{-2}$는 사영화된 층(여기서 $\omega$를 $\lambda \in \mathbb{C}^*$로 스케일링해도 값이 불변함) 위에서 잘 정의됨을 입증한다.

주요 기여 및 결과

• 엄격한 플리 수함수의 구성: 주요 결과(정리 1.3)는 함수 $F = 2 \log S + \log \ell^{-2}$가 임의의 엄격한 메로모픽 미분 형식의 사영화된 층 $P\Omega M_g(\mu)$ 위에서 엄격한 플리 수함수임을 증명한다.

  • 이 증명은 $\log \ell^{-2}$가 층의 레이(ray)들에 대해 횡단적인(transverse) 부분 다양체 위에서 엄격한 플리 수함수라는 사실(몬델로의 결과를 응용)에 의존한다.
  • 결정적으로, 저자들은 $\log S$가 플리 수함수임을 증명한다. 이는 $S$를 정의하는 최댓값이 항상 "코히어런트 호몰로지 클래스(coherent homology classes)"에 의해 달성된다는 점을 보여줌으로써 달성된다. 이 클래스들은 작은 변형 하에서도 지속되는 주변부 새들 연결들의 특정 합이며, 이를 통해 $S$를 유한 개의 홀로모픽 절댓값 함수의 최댓값으로 국소적으로 표현할 수 있게 한다.

• 완전 부분 다양체의 비존재성: 직접적인 결과로서(따름정리 1.4), 저자들은 $P\Omega M_g(\mu)$ 내에 양의 차원을 가진 완전 부분 다양체가 존재할 수 없음을 도출한다. 논거는 최댓값 원리(maximum principle)를 따른다: 비상수 플리 수함수는 완전 다양체 상에서 존재할 수 없다. $F$는 엄격한 플리 수함수이므로, 양의 차원을 가진 임의의 부분 다양체로 제한했을 때 비상수 함수가 되며, 이는 해당 다양체가 완전하다면 모순을 일으킨다.

• $k$-미분 형식으로의 확장: 이 결과는 극의 차수가 $k$ 이상인 $k$-미분 형식의 층으로 확장된다(따름정리 1.5). 이는 이러한 미분 형식들이 엄격한 메로모픽 미분 1-형식의 $k$제곱을 갖는 정형적인 순환 피복(canonical cyclic covering)을 통해 리프트될 수 있다는 사실에 근거하여 정당화된다.

의의 및 주장
본 논문은 사영화된 엄격한 메로모픽 미분 형식의 층이 양의 차원을 가진 완전 부분 다양체를 포함하지 않는다는 것을 보여주는 첫 번째 평면 기하학적 증명을 제공한다고 주장한다. 메로모픽 경우의 기존 증명들은 대수기하학적 설정에서의 디바이저 클래스의 양의성에 의존하였다.

저자들은 구성된 극 크기 함수 $S$와 그것의 플리 수적 성질이 이전의 대수기하학적 증명에서 사용된 $\psi$ 클래스(극에서의 $S^1$-번들 관련)의 양성을 나타내는 "해석적 구현(analytic incarnation)" 역할을 한다고 강조한다. 또한, 메트릭 기하학(평면 구조)과 코호몰로지 클래스($\psi$ 클래스) 사이의 이러한 상호작용이 위텐의 추측(Witten's conjecture) 맥락에서 사용된 콘체비치(Kontsevich)와 미르자흐아니(Mirzakhani)의 기법과 유사하다고 언급한다. 본 연구는 아핀 기하학적 관점과 모듈라이 이론 사이의 간극을 메우는 것을 목표로 하며, 층의 기하학을 연구하기 위한 새로운 도구를 제공한다.