[논문 리뷰] A tale of two moduli spaces: logarithmic and multi-scale differentials

Dawei Chen, Samuel Grushevsky외 3명|arXiv (Cornell University)|2022. 12. 09.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 고정된 영과 극의 차수를 가진 안정 곡선에 대해 로그 고무 사상의 거친 모듈리 스택과 일반화된 다중 척도 미분형식 사이의 이somorphism을 확립하며, 전역 잔여 조건 하에 그 동치성을 증명한다. 또한 두 공간이 모두 인cidence 다양체 콪actification(또는 고차원 계수에서 Deligne–Mumford 콝 pactification의 정규화)의 블로우업으로 나타남을 보이며, 이로써 그들의 프로젝티브성을 확보하고, 비틀린 허드지 번들의 정밀한 이중 잔여 사이클 공식을 제시한다.

ABSTRACT

Multi-scale differentials were constructed by M.~Bainbridge, D.~Chen, Q.~Gendron, S.~Grushevsky, and M.~Möller, from the viewpoint of flat and complex geometry, for the purpose of compactifying moduli spaces of curves together with a differential with prescribed orders of zeros and poles. Logarithmic differentials were constructed by S.~Marcus and J.~Wise, as a generalization of stable rubber maps from Gromov--Witten theory. Modulo the global residue condition that isolates the main components of the compactification, we show that these two kinds of differentials are equivalent, and establish an isomorphism of their (coarse) moduli stacks. Moreover, we describe the rubber and multi-scale spaces as an explicit blowup of the moduli space of stable pointed rational curves in the case of genus zero, and as a global blowup of the incidence variety compactification for arbitrary genera, which implies their projectivity. We also propose a refined double ramification cycle formula in the twisted Hodge bundle which interacts with the universal line bundle class.

연구 동기 및 목표

• Teichmüller 표기법에 의존하지 않고 일반화된 다중 척도 미분형식의 매끄러운 모듈리 스택을 정의하여 [BCGGM19]에서 남아있는 열린 문제를 해결한다.
• 전역 잔여 조건 하에서 두 개별적인 콝 pactification 프레임워크—로그 고무 사상과 다중 척도 미분형식—을 동치성으로 통합한다.
• 고무 및 다중 척도 미분형식의 거친 모듈리 공간을 알려진 콝 pactification의 명시적 블로우업으로 묘사하여 그들의 프로젝티브성을 증명한다.
• 이중 잔여 사이클 공식을 비틀린 허드지 번들의 경우로 확장하고, 보편 선다발 클래스와의 상호작용을 포함한다.

제안 방법

• 전역 잔여 조건을 생략한 일반화된 다중 척도 미분형식의 거친 모듈리 공간으로서 스택 $ G\Xi\overline{\mathcal{M}}_{g,n}(\mu) $ 를 구성한다.
• 선다발 $ \mathcal{L} $ 에 대해 로그 고무 공간 $ \mathbf{Rub}_{\mathcal{L}} $ 를 정의하며, 곡선 $ X $ 에서의 섬유는 조각별 선형 함수 $ \beta $ 와 등급 $ \mathcal{O}_X(\beta) \cong \mathcal{L} $ 를 매개화한다.
• 전역 잔여 조건을 도입한 후 로그 및 다중 척도 모듈리 스택의 주요 성분 사이의 이somorphism을 확립한다.
• 토포로지 기하학과 그래프 이론적 자료(정점 함수, 변 기울기, 국소 최대 정점)를 사용하여 이격된 이상층 $ J(\Gamma) $ 를 정의하고, 이들이 이격된 이상층 $ J $ 로 전역적으로 붙어나가는 것을 보인다.
• 다중 척도 공간의 주요 성분이 인cidence 다양체 콝 pactification의 이상층 $ J $ 에 따른 블로우업의 정규화임을 보이며, 이 구성으로부터 프로젝티브성을 증명한다.
• 블로우업과 허드지 번들의 보편 성질을 응용하여 역함수를 구성하고, 전역적으로 블로우업 기술이 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 전역 잔여 조건이 도입되었을 때, 로그 고무 사상과 일반화된 다중 척도 미분형식은 모듈리 공간으로서 동치인가?
• RQ2 고무 및 다중 척도 미분형식의 거친 모듈리 공간은 $ \overline{\mathcal{M}}_{g,n} $ 의 알려진 콝 pactification의 명시적 블로우업으로 묘사될 수 있는가?
• RQ3 인cidence 다양체 콝 pactification과 다중 척도 미분형식의 모듈리 공간 사이의 정확한 관계는 무엇인가?
• RQ4 보편 선다발 클래스와의 상호작용을 고려할 때, 비틀린 허드지 번들의 경우로 이중 잔여 사이클 공식은 어떻게 정밀화되는가?
• RQ5 제로 계수에서의 블로우업 기술이 일반 계수로 확장될 수 있는가? 이 경우, Deligne–Mumford 콝 pactification의 정규화를 사용할 수 있는가?

주요 결과

• 다중 척도 미분형식의 주요 성분의 거친 모듈리 공간은 전역적으로 정의된 이상층 $ J $ 에 따른 인cidence 다양체 콝 pactification의 블로우업의 정규화와 이somorphic하며, 이로써 그 프로젝티브성이 증명된다.
• 제로 계수의 경우, 고무 및 다중 척도 공간은 안정된 점이 있는 유리 곡선의 모듈리 공간의 명시적 블로우업으로 묘사된다.
• 일반 계수에서 고무 및 다중 척도 공간은 Deligne–Mumford 콝 pactification의 스트라툼의 폐포의 정규화의 전역 블로우업임을 보였다.
• 다중 척도 모듈리 공간의 주요 성분은 이격된 이상층 $ J $ 에 따른 인cidence 다양체 콝 pactification의 블로우업의 정규화이며, 이 이상층 $ J $ 는 이중 그래프의 국소 자료로부터 구성된다.
• 논문은 전역 잔여 조건을 도입한 후 로그 고무 공간과 일반화된 다중 척도 미분형식 공간이 이somorphic임을 증명하며 핵심 동치성 문제를 해결한다.
• 비틀린 허드지 번들의 경우에 대해 정밀한 이중 잔여 사이클 공식을 제안하며, 이는 블로우업 구조를 통해 보편 선다발 클래스와의 상호작용을 포함한다.