[論文レビュー] On the topology of hypocycloids

Enrique Artal Bartolo, José Agustín|arXiv (Cornell University)|Mar 24, 2017

Advanced Combinatorial Mathematics参考文献 8被引用数 3

ひとこと要約

本稿は、対称性、ブレードモノドロミー、Zariski-van Kampen法を用いて、複素斜円尖線の補集合の基本群を調査する。特定の斜円尖線、たとえばデルトイド（$\rho = \frac{1}{3}$）および $\rho = \frac{2}{5}$ に対して、基本群が五角形および八角形のアーティン群に同型であることを示し、代数的曲線とブレード型群構造との間の位相的関係を確立する。

ABSTRACT

Algebraic geometry has many connections with physics: string theory, enumerative geometry, and mirror symmetry, among others. In particular, within the topological study of algebraic varieties physicists focus on aspects involving symmetry and non-commutativity. In this paper, we study a family of classical algebraic curves, the hypocycloids, which have links to physics via the bifurcation theory. The topology of some of these curves plays an important role in string theory and also appears in Zariski's foundational. We compute the fundamental groups of some of these curves and show that they are in fact Artin groups.

研究の動機と目的

• 複素平面 $\mathbb{C}^2$ および $\mathbb{P}^2$ における斜円尖線の補集合の基本群を特定すること。
• 特に特異点と対称性に注目し、有理数の曲率比を持つ斜円尖線の位相的構造を調査すること。
• 代数的・幾何的手段を用いて、これらの曲線の位相とアーティン群との間の関係を確立すること。
• $\rho = \frac{n}{2n+1}$ を満たす斜円尖線の基本群の計算を一般化すること、特にすべてのノードが実数である場合に注目すること。
• 商曲線と対称性の低減を用いた体系的な手法を構築し、複素代数幾何における基本群の計算を簡略化すること。

提案手法

• チェビシェフ多項式 $T_n$、$U_n$、$W_n$ を用いた有理関数による斜円尖線のパラメトライゼーションを用いて、複素曲線および射影曲線を定義する。
• Zariski-van Kampen法を適用し、射影斜円尖線 $\bar{C}_{k,\ell}$ の補集合の基本群を計算する。
• ブレードモノドロミー技術と Reidemeister-Schreier 法を用い、幾何的対称性から群の表示を導出する。
• 二面体群 $\mathbb{D}_{2N}$ の作用による曲線の商を取ることで、より単純な完全に実数の商曲線を導出する。
• 座標軸（例：$x=0$、$y=0$）に沿った対称性を用いて、位相をさらに簡略化し、特異点を実射影に明確に可視化する。
• GAP などの計算代数システムを用いて、群の表示と関係式の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 複素平面 $\mathbb{C}^2$ における斜円尖線 $C_{k,\ell}$ の補集合の基本群は何か？
• RQ2 特に二面体対称性 $\mathbb{D}_{2N}$ を持つ斜円尖線の対称性は、その基本群の構造にどのように影響するか？
• RQ3 斜円尖線の補集合の基本群がアーティン群として特定可能か。もしそうならば、どのアーティン群か？
• RQ4 すべてのノードと特異点が実数になる条件（例：有理数 $\rho = \ell/N$）は何か？ これにより、商の取り方による位相的簡略化が可能になるか？
• RQ5 $C_{n+1,n}$ の基本群を、対称性と商曲線を用いて一般に計算する方法はあるか？

主な発見

• デルトイド（$\rho = \frac{1}{3}$）に対する $\pi_1(\mathbb{C}^2 \setminus C_{3,1})$ は、4本のストリングのブレード群に同型であり、これは三角形のアーティン群でもある。
• $\rho = \frac{2}{5}$ の場合、$\pi_1(\mathbb{C}^2 \setminus C_{3,2})$ は五角形のアーティン群に同型である。
• $\rho = \frac{3}{8}$ の場合、$\pi_1(\mathbb{C}^2 \setminus C_{5,3})$ は八角形のアーティン群に同型である。
• $\ell = k-1$ のとき、商曲線 $D_{k,\ell} = C_{k,\ell}/\mathbb{D}_{2N}$ は完全に実数的になり、実射影による位相的簡略化が可能になる。
• $\pi_1(\mathbb{C}^2 \setminus C_{3,1})$ はブレード群 $\mathbb{B}_5$ に同型ではない。これは文献における以前の主張を是正するものである。
• 本手法は、正しい群だけでなく、正しい表示まで回復できた。これは、対称性とアーティン群構造との間に深い幾何的関係があることを示唆している。