[論文レビュー] Variation of Hodge structure and enumerating tilings of surfaces by triangles and squares

Vincent Koziarz, Duc-Manh Nguyen|arXiv (Cornell University)|Jul 8, 2020

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.

研究の動機と目的

• 固定された頂点インデックスのプロファイルを持つ、 genus $ g $ の曲面上の三角形分割および四角形分割の同値類の漸近的成長率を特定すること。
• 頂点インデックスに非可除性条件が満たされる場合、成長定数が $ \mathbb{Q} \cdot (\sqrt{3}\pi)^{2g + n - 2} $（三角形分割）および $ \mathbb{Q} \cdot \pi^{2g + n - 2} $（四角形分割）に属することを確立すること。
• 数え上げ問題をホッジ構造の変動およびトランスレーション曲面のモジュライ空間内のアフィン不変部分多様体の幾何と結びつけること。
• 核 foliation に横断的であるような算術的アフィン部分多様体のマスール・ヴェーチ体積が、$ \pi $ のべき乗に比例する有理数倍であることを示すこと。

提案手法

• ホッジ構造の変動における、ホッジ計量の曲率およびベクトル束拡張のチャーン類に関する J. Koll\'ar の結果を活用する。
• タイルの数え上げを、リーマン面上の $ k $-微分形式の幾何、特に $ \Omega^k\mathcal{M}_g(\underline{k}) $ のストラタと関連付ける。
• コhomology格子上のルベーグ測度から誘導されるマスール・ヴェーチ体積形式を用いて、モジュライ空間上の体積不変量を定義する。
• 核 foliation に横断的である場合の体積形式の比 $ \frac{d\mu^*_s}{d\mu} \in \mathbb{Q} $ を用いた体積比較の議論を適用する。
• 定理 4.1 を適用して、射影化されたストラタの体積が $ \mathbb{Q} \cdot \pi^{2g + n - 2} $ に属することを示す。
• スケーリングにおける $ m $ の漸近的数え上げと体積の漸近的挙動を組み合わせることで、最終的な成長率および定数構造を得る。

実験結果

リサーチクエスチョン

• RQ1 固定された非ゼロ頂点インデックスのプロファイル $ \kappa $ を持つ genus $ g $ の曲面の三角形分割の数の漸近的成長率は何か？
• RQ2 このような三角形分割の成長定数は、 genus および特異頂点の数にどのように依存するか？
• 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} $ に属する射影化ストラタのマスール・ヴェーチ体積に由来する。
• 証明は、核 foliation に横断的であるようなアフィン不変部分多様体上の体積形式の比の有理数性に依存しており、ホッジ理論的曲率評価によって確立される。
• 同じ非可除性条件の下で、$ \Omega\mathcal{M}_g(\underline{k}) $ 内の算術的アフィン部分多様体のマスール・ヴェーチ体積が、$ \pi $ のべき乗に比例する有理数倍であることが拡張される。
• 成長率における指数 $ 2g + n - 2 $ は、対応するストラタ $ \Omega^k\mathcal{M}_g(\underline{k}) $ の複素次元に一致し、幾何的整合性を確認する。