[論文レビュー] Primes dividing invariants of CM Picard curves

Kilicer, P., Elisa Lorenzo García+1 more|arXiv (Cornell University)|Jan 1, 2019

Algebraic Geometry and Number Theory参考文献 31被引用数 10

ひとこと要約

本稿は、特異還元ではなく、特定の種類の良い還元に基づく、新規のアプローチを用いて、複素乗法（CM）をもつ genus-3 ピカール曲線の不変量の分母に含まれる素数に対する鋭い明示的評価を与える。このような素数におけるヤコビアンの自己準同型構造を分析することで、分母に現れる可能性のある素数の小さな、計算可能な集合 S を導出し、CM ピカール曲線の実際的な構成を可能にする。この評価は、従来の方法よりも著しくタイトであり、明示的計算に対して有効であることが証明されている。

ABSTRACT

We give a bound on the primes dividing the denominators of invariants of Picard curves of genus 3 with complex multiplication. Our proof is simpler than the previous proofs for genus 2 and 3 and, unlike previous bounds for genus 3, our bounds are sharp enough for use in class polynomial computation.

研究の動機と目的

• 複素乗法をもつ genus-3 ピカール曲線の不変量の分母に含まれる素数を特定すること。
• 従来の特異還元に基づく評価に起因する過大な見積もりという制限を克服すること。
• すべての分母が S-単数であるような、小さな計算可能な素数集合 S を得るための手法を開発すること。
• 分母の指数に関する予想的評価を提供し、類多項式の完全な計算を可能にすること。

提案手法

• ピカール曲線に適した、従来の不変量よりも優れた算術的性質をもつ絶対不変量 j1, j2, j3 の新しい集合を導入する。
• 洗練された還元理論を用いる：特異還元に依存するのではなく、ヤコビアンの自己準同型環が CM 環の全整数環を含むような特定の種類の良い還元に注目する。
• 安定還元および最小正則モデルの理論を用いて、ネロンモデルの特別ファイバーを分析し、還元型が自己準同型代数の元の可換性を強制することを保証する。
• CM 環の埋め込みを還元ヤコビアンの自己準同型代数に適用し、大きな素数に対して矛盾を導出し、分母を割る素数が小さいことの証明を行う。
• 還元の明示的構造を活用して、四元数代数の元の可換性を直接証明し、漸近的議論を回避する。
• SageMath に評価を実装し、数値例を提示することで、この手法の実用性を検証する。

実験結果

リサーチクエスチョン

• RQ1 複素乗法をもつ genus-3 ピカール曲線の不変量の分母に含まれる素数はどれか？
• RQ2 実際の CM 曲線の構成に適した、小さく計算可能な評価が得られるか？
• RQ3 特定の種類の良い還元に注目することで、従来の特異還元に基づく方法よりも鋭い評価が得られるか？
• RQ4 分母の指数を、類多項式の完全な計算を可能にする形で評価できるか？
• RQ5 理論的評価がないにもかかわらず、コイケ＝ヘング不変量の分母が他の不変量よりも小さいのはなぜか？

主な発見

• 本稿では、不変量 j1 および j2 の分母を割る素数が、CM 環とその順序にのみ依存する、明示的に計算可能な小さな集合 S に丁度一致することを証明している。
• 不変量 j1 については、分母が S-単数であり、S は特定の分岐および残留体構造をもつ良い還元の素数によって境界づけられる。
• この評価は、従来のものよりも著しくタイトであり、ピカール曲線の CM 構成に実際に使用可能である。
• 著者らは分母の指数に関する予想的評価を提示しており、これが真であれば、類多項式の完全な計算が可能になる。
• 数値例により、j1 および j2 の分母が判別式に基づく不変量のそれよりも著しく小さく、コイケ＝ヘング不変量のそれと同等またはそれ以下であることが示された。
• 評価の SageMath 実装は公開されており、暗号理論および算術幾何の応用分野での実用的利用が可能である。