[논문 리뷰] Variation of Hodge structure and enumerating tilings of surfaces by triangles and squares

Vincent Koziarz, Duc-Manh Nguyen|arXiv (Cornell University)|2020. 07. 08.

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

한 줄 요약

이 논문은 삼각형 및 사각형 타일링의 조합론을 호지 구조의 변화와 연결하여, 닫힌 옹호된 표면에 대한 점 游수 공식을 수립한다. 호지 이론에서 곡률과 체른 클래스에 관한 결과를 이용하여, 주어진 프로파일을 가진 타일링의 수는 $ m^{2g + |\rho| - 2} $ 비례함을 증명한다. 삼각형 타일링의 경우 상수는 $ \mathbb{Q} \cdot (\sqrt{3}\pi)^{2g + |\rho| - 2} $ 에 속하고, 사각형 타일링의 경우 $ \mathbb{Q} \cdot \pi^{2g + |\rho| - 2} $ 에 속하며, 이는 정점 인덱스에 대한 나누어떨어지지 않는 조건 하에서 성립한다.

ABSTRACT

Let $S$ be a connected closed oriented surface of genus $g$. Given a triangulation (resp. quadrangulation) of $S$, define the index of each of its vertices to be the number of edges originating from this vertex minus $6$ (resp. minus $4$). Call the set of integers recording the non-zero indices the profile of the triangulation (resp. quadrangulation). If $\\kappa$ is a profile for triangulations (resp. quadrangulations) of $S$, for any $m\\in \\mathbb{Z}_{>0}$, denote by $\\mathscr{T}(\\kappa,m)$ (resp. $\\mathscr{Q}(\\kappa,m)$) the set of (equivalence classes of) triangulations (resp. quadrangulations) with profile $\\kappa$ which contain at most $m$ triangles (resp. squares). In this paper, we will show that if $\\kappa$ is a profile for triangulations (resp. for quadrangulations) of $S$ such that none of the indices in $\\kappa$ is divisible by $6$ (resp. by $4$), then $\\mathscr{T}(\\kappa,m)\\sim c_3(\\kappa)m^{2g+|\\kappa|-2}$ (resp. $\\mathscr{Q}(\\kappa,m) \\sim c_4(\\kappa)m^{2g+|\\kappa|-2}$), where $c_3(\\kappa) \\in \\mathbb{Q}\\cdot(\\sqrt{3}\\pi)^{2g+|\\kappa|-2}$ and $c_4(\\kappa)\\in \\mathbb{Q}\\cdot\\pi^{2g+|\\kappa|-2}$. The key ingredient of the proof is a result of J. Koll\\'ar on the link between the curvature of the Hogde metric on vector subbundles of a variation of Hodge structure over algebraic varieties, and Chern classes of their extensions. By the same method, we also obtain the rationality (up to some power of $\\pi$) of the Masur-Veech volume of arithmetic affine submanifolds of translation surfaces that are transverse to the kernel foliation.

연구 동기 및 목표

• 고정된 정점 인덱스 프로파일을 가진 종수 $ g $ 표면의 삼각형 타일링 및 사각형 타일링의 동치류의 점근적 성장률을 결정하는 것.
• 인덱스에 대한 나누어떨어지지 않는 조건 하에서, 삼각형 타일링의 경우 성장 상수가 $ \mathbb{Q} \cdot (\sqrt{3}\pi)^{2g + n - 2} $ 에 속하고, 사각형 타일링의 경우 $ \mathbb{Q} \cdot \pi^{2g + n - 2} $ 에 속함을 확립하는 것.
• 수세기 문제를 호지 구조의 변화와, 전이 표면 모듈리 공간 내의 아핀 불변 부분다양체의 기하학과 연결하는 것.
• 핵심 분포의 수직 분할에 대해 수직인 아리트메틱 아핀 부분다양체의 마수르-비치 체적이 $ \pi $ 의 거듭제곱에 대해 유리수 배임을 증명하는 것.

제안 방법

• 호지 구조의 변화에서 허지 메트릭의 곡률과 벡터 번들의 확장에 대한 체른 클래스에 관한 J. Kollár 의 결과를 활용한다.
• 타일링의 수세기를 리만 곡면 위의 $ k $-다중함수, 특히 $ \Omega^k\mathcal{M}_g(\underline{k}) $ 의 영역과 연결한다.
• 코homology 격자 위의 르베그 측도에서 유도된 마수르-비치 체적 형태를 이용하여 모듈리 공간 위에 체적 불변량을 정의한다.
• 핵심 분포의 수직성 조건 하에서 체적 형태 비율 $ \frac{d\mu^*_s}{d\mu} \in \mathbb{Q} $ 을 적용한다.
• 정리 4.1 을 적용하여, 프로젝티브 영역의 체적이 $ \mathbb{Q} \cdot \pi^{2g + n - 2} $ 에 속함을 보인다.
• 스케일링에 의한 타일링의 점근적 수세기와 체적 점근적 성장률을 결합하여, 최종 성장률과 상수의 구조를 도출한다.

실험 결과

연구 질문

• RQ1 종수 $ g $ 표면의 고정된 프로파일 $ \kappa $ 를 가진 삼각형 타일링의 수의 점근적 성장률은 무엇인가요?
• RQ2 이러한 삼각형 타일링의 성장 상수는 종수와 특이 정점의 수에 따라 어떻게 달라지나요?
• RQ3 정점 인덱스에 어떤 조건이 성립할 경우 성장 상수가 $ \mathbb{Q} \cdot (\sqrt{3}\pi)^{2g + n - 2} $ 에 속합니까?
• RQ4 전이 표면 모듈리 공간 내의 아리트메틱 아핀 부분다양체의 마수르-비치 체적이 $ \pi^{2g + n - 2} $ 의 유리수 배임을 보일 수 있나요?
• RQ5 호지 구조의 변화는 모듈리 공간 내 조합적 타일링 수와 기하학적 체적 사이의 연결에 어떤 역할을 합니까?

주요 결과

• 프로파일 $ \kappa $ 와 최대 $ m $ 개의 삼각형을 가진 삼각형 타일링 수 $ \mathscr{T}(\kappa, m) $ 는 점근적으로 $ c_3(\kappa) m^{2g + n - 2} $ 로 증가하며, 여기서 $ c_3(\kappa) \in \mathbb{Q} \cdot (\sqrt{3}\pi)^{2g + n - 2} $ 이고, $ \kappa $ 의 인덱스 중 어느 것도 6으로 나누어떨어지지 않을 경우 성립한다.
• 유사하게, 사각형 타일링 수 $ \mathscr{Q}(\kappa, m) $ 는 $ c_4(\kappa) m^{2g + n - 2} $ 로 증가하며, $ c_4(\kappa) \in \mathbb{Q} \cdot \pi^{2g + n - 2} $ 이고, 인덱스 중 어느 것도 4로 나누어떨어지지 않을 경우 성립한다.
• 점근적 상수는 프로젝티브 영역의 마수르-비치 체적에서 유래하며, 이는 $ \mathbb{Q} \cdot \pi^{2g + n - 2} $ 에 속한다.
• 이 증명은 핵심 분포의 수직인 아핀 불변 부분다양체 위에서 체적 형태 비율의 유리수 성질에 기반하며, 이는 호지 이론적 곡률 한계를 통해 확립된다.
• 동일한 나누어떨어지지 않는 조건 하에서, $ \Omega\mathcal{M}_g(\underline{k}) $ 내의 아리트메틱 아핀 부분다양체의 마수르-비치 체적이 $ \pi $ 의 거듭제곱에 대해 유리수 배임을 일반화할 수 있다.
• 성장률의 지수 $ 2g + n - 2 $ 는 해당 영역 $ \Omega^k\mathcal{M}_g(\underline{k}) $ 의 복소수 차원과 일치하여 기하학적 일致성을 확인한다.