[論文レビュー] The Main Conjecture of Modular Towers and its higher rank generalization

Michael D. Fried|ArXiv.org|Nov 20, 2006

Rings, Modules, and Algebras参考文献 19被引用数 6

ひとこと要約

本稿は、モジュラー・タワー（MTs）のメイン予想を定式化し、調査する。p-完全群に対しては、十分に高い段階のタワーでは有理点が存在しないと提案する。古典的モジュラー曲線の塔の一般化として、ニールセン類に作用するブレード群を用い、高ランクMTsを導入し、g-p′, p, およびワイゲルのカスプ分岐に関する条件を用いて、弱いメイン予想が成り立つことを確立する。これにより、潜在的反例のリストは有限集合にまで削減される。

ABSTRACT

The genus of projective curves discretely separates decidedly different two variable algebraic relations. So, we can focus on the connected moduli M_g of genus g curves. Yet, modern applications require a data variable (function) on such curves. The resulting spaces are versions, depending on our need from this data variable, of Hurwitz spaces. A Nielsen class is a set defined by r \ge 3 conjugacy classes C in the data variable monodromy G. It gives a striking genus analog. Using Frattini covers of G, every Nielsen class produces a projective system of related Nielsen classes for any prime p dividing |G|. A nonempty (infinite) projective system of braid orbits in these Nielsen classes is an infinite (G,C) component (tree) branch. These correspond to projective systems of irreducible (dim r-3) components from {H(G_{p,k}(G),C)}_{k=0}^{\infty}, the (G,C,p) Modular Tower (MT). The classical modular curve towers {Y_1(p^{k+1})}_{k=0}^\infty (simplest case: G is dihedral, r=4, C are involution classes) are an avatar. The (weak) Main Conjecture says, if G is p-perfect, there are no rational points at high levels of a component branch. When r=4, MT levels (minus their cusps) are upper half plane quotients covering the j-line. Our topics. * Identifying component branches on a MT from g-p', p and Weigel cusp branches using the MT generalization of spin structures. * Listing cusp branch properties that imply the (weak) Main Conjecture and extracting the small list of towers that could possibly fail the conjecture. * Formulating a (strong) Main Conjecture for higher rank MTs (with examples): almost all primes produce a modular curve-like system.

研究の動機と目的

• モジュラー・タワーのメイン予想の高ランク一般化を確立し、古典的モジュラー曲線の振る舞いをより広い群論的設定へと拡張すること。
• スピン構造の一般化を活用して、g-p′, p, およびワイゲルのカスプ分岐を用いて、モジュラー・タワー内の成分分岐を同定すること。
• カスプ分岐の性質を分析することにより、弱いメイン予想に対する潜在的反例の集合を有限集合に削減すること。
• 高ランクMTsに対する強いメイン予想を提示し、ほとんどすべての素数がモジュラー曲線に類似した系を生成することを主張すること。
• フラティーニ被覆、シュール乗数、およびセールのリフト不変量がMT構造と有理点を制御する役割を明確にすること。

提案手法

• p可除有限群Gのフラティーニ被覆から得られるニールセン類におけるブレード軌道の射影的系を用いる。
• ヒューリッツモノドロミー群を用いて、関連するヒューリッツ多様体H(Gk, C)における成分構造と genus を分析する。
• 一般化されたスピン構造を導入し、MTsにおけるg-p′, p, およびワイゲルのカスプ分岐を区別する。
• リーマン＝ヒューリッツの genus 公式を用いて成分の genus を計算し、タワーの各段階での成長を追跡する。
• シュール乗数と群コホホロジーを用いて、Gk = Gp,k(G) 及びそれらの作用の構造を制御する。
• セールのリフト不変量と分解群の技術を用いて、有理点および有理性の障害を分析する。

実験結果

リサーチクエスチョン

• RQ1 群Gと共轭類Cがどのような条件下で、モジュラー・タワーが高段階で有理点を有するか？
• RQ2 g-p′, p, およびワイゲルのカスプ分岐が、モジュラー・タワー内の成分分岐の存在をどのように決定づけるか？
• RQ3 シュール乗数とフラティーニ被覆が、高ランクモジュラー・タワーの構造において果たす役割は何か？
• RQ4 カスプ分岐の分析により、弱いメイン予想に対する潜在的反例のリストを有限集合にまで削減できるか？
• RQ5 高ランクモジュラー・タワーはどの程度古典的モジュラー曲線に類似しており、どのような素数に対してそれが成り立つか？

主な発見

• 弱いメイン予想は、すべてのカスプ分岐型（g-p′, p, およびワイゲル）が特定の幾何学的および群論的条件を満たす場合に成立し、高段階では有理点が存在しないことを示唆する。
• カスプ分岐の分析により、弱いメイン予想に対する潜在的反例の数が有限集合にまで削減される。
• r=4 の場合、MTs（カスプを除く）は上半平面の商の系であり、j-直線を被覆する。これは、古典的モジュラー曲線を一般化する。
• 高ランクMTsに対する強いメイン予想は、ほとんどすべての素数がモジュラー曲線の塔に同型な系を生成することを主張する。
• Prop. 2.17 は、ブレード作用がニールセン類に与える軌道構造を修正・拡張し、軌道長が2倍になるか等しいかの条件を明確にした。
• 本稿は、[BF02] における複数のタイプミスおよび一貫性の欠如（特にH-Mおよび近似H-M表記に関して）を是正し、更新された定義と命題を提示した。