有理数体 Q 上のバーク・スウィンナートン＝ダイアー予想に関する無条件証明

本記録は、有理数体 Q 上のすべての楕円曲線に対するバーク・スウィンナートン＝ダイアー予想の完全かつ無条件の証明を示すものである。本研究は解析的ランクが代数的ランクに等しいことを示し、シャファレビッチ＝タテ群の有限性を証明し、調整子、タマガワ数、トーション部分群、実周期などのすべての算術不変量を含む完全なバーク・スウィンナートン＝ダイアーの公式を検証する。証明は、楕円曲線のモジュラリティ、オイラー系降下、有符号セルマー理論、ガロワ表現の変形理論、ベイリンスン–フラッハ元や志村曲線法を含む動機的構成などを統合したモジュラーかつ層状の枠組みとして構築されている。これまで知られていたすべての障壁—超特異素数、小さな素数、ヒーグナー仮説の不存在—は統一された構造の中で同時に解決されている。議論は無条件であり、確立された結果のみを根拠とし、ランク、導体、還元型に関係なく楕円曲線に一様に適用される。本文書は形式検証およびLeanやCoqのような証明支援ソフトウェアとの互換性を念頭に設計されており、すべての構成要素の再現性および構造的検証を可能にしている。