概要
研究数学における多くの複雑な進歩は、数字に関する最も単純な疑問のいくつかを理解したいという欲求によって促進されています。 整数の中で素数はどのように分布するのでしょうか? 完璧な立方体はありますか (8 = 2 など)3 または27 = 33) それは他の XNUMX つの立方体の合計として書くことができますか? より一般的には、数学者は方程式を解きたいと考えるかもしれません。 しかし、方程式自体をいじってそれを行うのは不可能なことがよくあります。 代わりに、数学者は、その複雑さが秘密をコード化する非常に抽象的な構造に解を結び付ける方法を見つけます。
過去数十年にわたり、数学における最もエキサイティングな研究分野の 1994 つはこの形式に従ってきました。 これには、楕円曲線と呼ばれる特定の種類の多項式と、モジュラー形式と呼ばれる難解なオブジェクトとの関係の理解が含まれます。これは、20 年にアンドリュー ワイルズが XNUMX 世紀で最も有名な成果の XNUMX つであるフェルマーの最終定理を証明するためにそれらを使用したときに数学で一気に有名になりました。数学。
今年のXNUMX月、 アナ・カライアーニ インペリアル・カレッジ・ロンドンとボン大学の ジェームズニュートン オックスフォード大学の教授がこの分野で新たな研究の扉を開きました 彼らが証明したとき ワイルズが楕円曲線とモジュラー形式の間に確立した関係は、虚数二次体と呼ばれるいくつかの数学的対象にも当てはまります。
ワイルズは、曲線の定義に含まれる 2001 つの変数と 2013 つの係数がすべて有理数、つまり分数として記述できる値である場合、特定の種類の楕円曲線がモジュラーであること、つまり各曲線に対応する特定のモジュラー形式があることを証明しました。 彼の研究の後、数学者はより幅広い文脈でモジュール性を確立しようと努めました。 XNUMX 年に XNUMX 人の数学者が、すべての楕円曲線が有理数に対してモジュールであることを証明しました (一方、ワイルズは一部の曲線についてのみこれを証明しました)。 XNUMX 年に、以下を含む XNUMX 人の数学者が サミール・シクセク ウォリック大学の教授は、楕円曲線もモジュールであることを証明しました。 実二次体上で (変数と係数が実二次体と呼ばれる数体系から取得されることを意味します)。
進歩が進むにつれて、楕円曲線が虚数二次体上でモジュラーであることを証明するという XNUMX つの特定の目標が達成できないままでした。
二次体は、有理数と実数の間の数学的な足がかりであり、実数には、小数点の右側に決して繰り返されない無限のパターンを持つものを含む、考えられるすべての小数が含まれます。 (これには、$latex sqrt{2}$ や $latex pi $ などのすべての無理数が含まれます。)
概要
二次フィールドでは、整数 (たとえば、5) を選択し、$latex a + bsqrt{5}$ の形式のすべての数値を含めます。 a および b どちらも有理数です。 問題の整数が正の場合、結果として得られる二次フィールドは実数の部分集合であるため、実数二次フィールドと呼ばれます。
虚数二次体上で定義された楕円曲線、つまり負の数の平方根を取ることによって形成される楕円曲線はどうなるでしょうか?
それがカライアーニとニュートンが取り組んだ問題です。
何百年も前、数学者は負の数の平方根を簡単な方法で定義しました。彼らは、次のような名前を付けました。 i, −1 の平方根になります。 この場合、他の負の数の平方根は次のようになります。 i 対応する正の数の平方根を掛けます。 したがって、$latex sqrt{-5}=isqrt{5}$ となります。 虚数は多くの問題において実数よりも扱いやすいため、数学において重要な役割を果たします。
しかし、楕円曲線が虚数二次体上でモジュラーであることを証明することは、長い間手の届かないままでした。実数の二次体上でモジュラー性を証明する手法が機能しないためです。
カライアーニとニュートンは、ワイルズらによって開拓されたモジュール性を証明するプロセスを虚数二次体上の楕円曲線に適応させる方法を見つけ出すことによって、すべての虚数二次体の約半分にわたるすべての楕円曲線に対するモジュール性を達成しました。
「そこでカライアーニとニュートンの素晴らしい仕事が登場した。彼らはワイルズの第二段階を改善した」と語った。 チャンドラシェカール・カレ カリフォルニア大学ロサンゼルス校の博士号。
この研究はそれ自体が技術的な成果であり、架空の環境で数学の最も重要な問題のいくつかを解決するための扉を開きます。
仲人、仲人
数学者は、少なくとも古代ギリシャ時代から、多項方程式(定数乗された変数の組み合わせ)の解に関心を持ってきました。 方程式には無限の種類があり、変数の量、それらの変数の係数、およびそれらの累乗を調整することによって実現されます。 $latex 3x^5+x^4−9x^3−4x^2+x−7=0$ は一例にすぎません。
楕円曲線は、数学的探究に最適な硬度の多項式方程式です。 きちんとしたものがあります(そして広く教えられている) 最大累乗が 2 である 5 つの変数の 3 次多項式の解を求める公式はありますが、最高累乗が 2 以上である多項式の解を求める公式はありません。 一般に、さらに変数を追加すると、状況もより複雑になります。 しかし、$latex (y^3=x^1+XNUMX)$ のような XNUMX つの変数を持ち、最高累乗が XNUMX である楕円曲線は、絶望的に感じるほど難しいものではなく、発明を刺激するのに十分な挑戦的です。
楕円曲線に関する基本的な疑問の XNUMX つは、それを解く有理ペアが有限または無限に存在するかどうかです。 楕円曲線には、有限数の有理解を持つものもあれば、無限に多くの有理解を持つものもあり、まったく持たないものもあります。
「彼らはこのような面白い中間行動をします」とカライアーニ氏は言う。
ランダムな楕円曲線を渡された場合、それがどのカテゴリに分類されるかはすぐにはわかりません。 しかし、モジュラーフォームと呼ばれる対応するオブジェクトと組み合わせることで解読することが可能で、そのプロパティによって答えが明らかになります。
モジュール形式のキャッチ・ミー
モジュラー形式は、解析で研究される関数であり、微積分の高度な形式です。 彼らです 非常に対称的 そして多くの場合、見た目を失うことなく、左または右に移動して翻訳できます。 このように、sin 関数などの他の高度に対称的な関数と共通の機能がありますが、書き留めたり視覚化したりするのはそれほど簡単ではありません。
すべてのモジュラー形式には係数が付属します。 それらを書き留めて、一連の数字を生成できます。 これらの数値には非常に優れた特性があり、ランダムとは程遠いようです。 それらは 20 世紀初頭から数学者を当惑させました。そのとき、数学の天才シュリニヴァサン ラマヌジャンは、モジュラー形式の係数のパターンは、各モジュラー形式がガロア表現と呼ばれる XNUMX 番目の種類のオブジェクトに関連付けられているという事実によって説明されると認識し始めました。 。 その後の作業でリンクが確認されました。
楕円曲線にもガロア表現があり、ラマヌジャンの研究の後、楕円曲線とモジュラー形式の間でガロア表現を補間できるようになりました。一方から始めて、そのガロア表現を特定し、もう一方を見つけます。
「あなたは次のように考えています。楕円曲線、幾何学からのオブジェクトにはガロア表現があり、モジュラー形式にはガロア表現があります。一致するものはありますか?」 シクセクは言った。
1950 年代後半、谷山豊と志村五郎は、特定のモジュラー形式と楕円曲線の間には完全な 1 対 1 の一致があることを提案しました。 次の XNUMX 年間、ロバート ラングランズはこのアイデアに基づいて彼の作品を構築しました。 広範なラングランズ プログラム、これは数学において最も広範かつ重要な研究プログラムの XNUMX つとなっています。
1 対 1 の対応関係が真であれば、数学者に楕円曲線の解を理解するための強力なツール セットが提供されることになります。 たとえば、各モジュール形式には一種の数値が関連付けられています。 数学の最も重要な未解決問題の XNUMX つ (問題が付属していることを証明する) 百万ドルの賞金) — Birch 予想と Swinnerton-Dyer 予想 — は、その値がゼロの場合、そのモジュラー形式に関連付けられた楕円曲線には無限に多くの有理解があり、ゼロでない場合、楕円曲線には有限の多くの有理解があることを提案しています。
しかし、そのようなことに取り組む前に、数学者は対応関係が成り立つことを知る必要があります。つまり、楕円曲線を渡してください。そうすれば、それに一致するモジュラー形式を渡すことができます。 これを証明することは、ワイルズからカライアーニ、ニュートンまで、多くの数学者が過去数十年にわたって取り組んできたことです。
本をざっと見てみる
ワイルズの研究以前に、数学者は対応の一方向を証明することに成功していました。場合によっては、モジュラー形式から始めて、それに一致する楕円曲線を見つけることができました。 しかし、別の方向に進むこと(楕円曲線がモジュール化されているという数学者が言うときの意味)はさらに難しく、ワイルズが最初にそれを達成しました。
「以前の人々は、特定の状況下でモジュラー形式から楕円形に移行する方法を知っていましたが、楕円形からモジュラー形式へのこの逆方向がワイルズの動機となったものでした」とケア氏は語った。
ワイルズは、有理数を係数とするある種の楕円曲線のモジュール性を証明しました。 これだけで、フェルマーの最終定理が矛盾していることを証明するには十分でした。 (ワイルズは、フェルマーの最終定理が偽である場合、以前の研究で確立されていた楕円曲線の存在が存在できないことを意味することを証明しました。したがって、フェルマーの最終定理は真でなければなりません。)
数学者たちはワイルズの楕円曲線に関する研究を拡張する際、ワイルズが最初の結果を証明するために使用したのと同じ方法に従いました。
結果を有理数と有理二次体に一般化することに成功した後、明らかに次の拡張は虚数二次体でした。
「起こり得ることはXNUMXつだけです。フィールドは現実のものか、想像上のものです」とカライアーニ氏は語った。 「現実の事件はすでに理解されているのだから、架空の事件に進むのは当然だ。」
虚数二次体は有理数や実数と同じ基本的な算術特性を持っていますが、ワイルズの方法をそこに移植するのはそれほど簡単ではありませんでした。理由はたくさんありますが、特に、虚数二次体上のモジュラー形式は、有理数や実数体上のモジュラー形式よりも対称性がはるかに低くなります。この相対的な対称性の欠如により、楕円曲線との一致を確立するための鍵となるガロア表現の定義が困難になります。
ワイルズのフェルマー証明から何年もの間、「虚数二次体の場合は依然として可能性を超えていた」とカレ氏は語った。 しかし過去 XNUMX 年にわたり、一連の進歩により、カライアーニとニュートンの研究への道が整いました。
指輪を持ってきてください(または、もっと良いのはフィールドです)
ワイルズの方法の最初のステップは、楕円曲線とモジュラー形式の間のおおよその一致を確立することでした。 この XNUMX つは、ペアの両側で一意に発生する一連の数値にエンコードされたガロア表現を介して接続されます。
最終的には、ガロア表現を定義する数値が正確に一致することを示したいと考えていますが、この最初のステップでは、それらが一定の誤差範囲で異なることを示すだけで十分です。 たとえば、3 の倍数を加算または減算して各数値から対応する数値を得ることができれば、一連の数値が一致していることを証明できます。 この観点から見ると、(4, 7, 2) は (1, 4, 5) または (7, 10, 8) と一致しますが、(2, 8, 3) とは一致しません。 また、5 の倍数、11 の倍数、または任意の素数が異なる場合に、それらが一致すると言うこともできます (技術的かつ重要な理由から、誤差の範囲は常に素数である必要があります)。 2019年 紙 by パトリック・アレン、カレと ジャック・ソーン 問題に対するこの種の手がかりを提供した。
「彼らは、出発点を与える定理を証明した」とニュートンは語った。
2019年の論文の執筆とほぼ同時期に、10人の数学者からなるグループがワイルズの手法の追加ステップを仮想の二次体に対して機能させることに取り組んでいた。 この共同作業は、高等研究所で過ごした2019週間の間に始まり、XNUMX年の論文の共著者であるアレン氏とソーン氏、さらにカライアーニ氏とニュートン氏も参加した。
グループの最初の目標は、モジュラー形式から得られるガロア表現が、ある種の内部一貫性を持っていることを確立することでした。 このプロパティは、楕円曲線から得られるガロア表現と一致させるための前提条件であり、と呼ばれます。 ローカルとグローバルの互換性.
10人でのコラボ なんとかこれを行うことができました 一部の特殊なケースではありますが、ほとんどの場合はそうではありません。 コラボレーションが終了するにつれて、カライアーニとニュートンは、もっとできることがないかどうかを確認するために協力し続けることにしました。
「私たちは同時にロンドンにいて、10人の著者によるプロジェクトに現れた事柄についてお互いに楽しく話し合った」とカライアーニ氏は語った。 「私たちは何が問題点であり、さらに前進するための障害は何かを知っていました。」
暗闇の中で夜な夜な
カライアーニとニュートンは、自分たちで活動を始めてすぐに、大規模なグループで始めた活動を超えた戦略を立てました。 明らかに間違っているわけではないようですが、それが本当にうまくいくかどうかもわかりませんでした。
「私たちは、物事はうまくいくだろう、この 10 人の著者の論文よりももう少し強力なものを証明できるだろうという楽観的な考えから始めましたが、最終的にはそれができました」とニュートン氏は語った。
Caraiani と Newton はこのアイデアに 2021 年間取り組み、10 年末までに彼らの楽観的な見方が功を奏し、100 人の著者チームによって作成されたローカルとグローバルの互換性の結果が改善されました。 彼らは、XNUMX ページを超える最終論文の前半を構成する長い技術的なセクションでその方法を説明しています。
「この技術的な部分を整えれば、モジュール化が機能することはわかっていました」と Caraiani 氏は言います。
ワイルズの方法の最初のステップは、一種の近似モジュール性を確立することでした。 XNUMX 番目のステップは、ローカルとグローバルの互換性の結果です。 XNUMX 番目のステップは、少なくとも少数の曲線がモジュール化されているという知識を活用し、それを活用して多くの曲線がモジュール化されていることを証明することでした。 この動きは、いわゆるモジュール性リフティング定理によって可能になりました。
「これにより、モジュール化を広めることができます」とニュートン氏は言います。 「何かのモジュール性を知っていれば、このように物事を持ち上げることで、他の多くのもののモジュール性を救うことができます。 このモジュール性の特性を、ある意味、良い方法で広めているんですね。」
比類のない試合
リフティング定理を適用することで、カライアーニとニュートンは無限に多くの楕円曲線のモジュール性を証明することができましたが、それでも理解できない例外ケースがいくつかありました。 これらは、リフティング定理を利用できない固有の特性を持つ少数の楕円曲線族でした。
しかし、それらの数が非常に少なかったため、カライアーニとニュートンはそれらを手動で攻撃することができ、ガロア表現を XNUMX つずつ計算して一致を確立しようとしました。
「そこでは、いくつかのカーブ上のたくさんの点を計算するのが楽しかったです」と Caraiani 氏は言いました。
この取り組みはある程度のところまでは成功した。 カライアーニとニュートンは最終的に、すべての楕円曲線が、有理数と -1、-2、-3、または -5 の平方根を組み合わせて形成される体を含む、虚数二次体の約半分にわたってモジュールであることを証明することに成功しました。 他の虚数二次体については、すべてではないが多くの楕円曲線のモジュール性を証明できました。 (ホールドアウトのモジュール性は未解決の問題のままです。)
彼らの結果は、数学者が有理数と実数について追求する、虚数二次体上の楕円曲線に関する同じ基本的な質問のいくつかを調査するための基盤を提供します。 これには、フェルマーの最終定理の想像上のバージョン (ただし、それに近づく前に追加の基礎を築く必要がある) と、バーチ予想とスウィナートン・ダイアー予想の想像上のバージョンが含まれます。
しかし、どちらの分野でも数学者が進歩したとしても、少なくとも今のところは、カライアーニ氏はその一員にはならないだろう。 楕円曲線のモジュール性に関する長年の研究を経て、彼女は別のことに挑戦する準備ができています。
「ある方向で結果が得られたとしても、その方向にだけ働き続けることは必ずしも好きではありません」と彼女は言いました。 「それで今は、もう少し幾何学的な風味のあるものに興味を移しました。」
訂正: 2022年7月11日
この記事は当初、最大指数が 4 以上である多項方程式の解の一般式は存在しないと述べていました。 正しい数字は5です。記事を修正しました。
- SEO を活用したコンテンツと PR 配信。 今日増幅されます。
- PlatoData.Network 垂直生成 Ai。 自分自身に力を与えましょう。 こちらからアクセスしてください。
- プラトアイストリーム。 Web3 インテリジェンス。 知識増幅。 こちらからアクセスしてください。
- プラトンESG。 自動車/EV、 カーボン、 クリーンテック、 エネルギー、 環境、 太陽、 廃棄物管理。 こちらからアクセスしてください。
- ブロックオフセット。 環境オフセット所有権の近代化。 こちらからアクセスしてください。
- 情報源: https://www.quantamagazine.org/elliptic-curves-yield-their-secrets-in-a-new-number-system-20230706/
- :持っている
- :は
- :not
- :どこ
- ][p
- $UP
- 1
- 10
- 100
- 11
- 1994
- 2001
- 2013
- 2019
- 2021
- 27
- 7
- 8
- a
- できる
- 私たちについて
- 上記の.
- 抽象
- AC
- 達成する
- 達成
- 達成
- 適応する
- 加えます
- 追加
- NEW
- 高度な
- 進歩
- 後
- 前
- すべて
- 許可されて
- ことができます
- 既に
- また
- 常に
- 間で
- an
- 分析
- 古代
- および
- アンドルー
- アンヘレス
- 回答
- どれか
- 何でも
- 近似
- です
- AREA
- 周りに
- 記事
- AS
- 関連する
- At
- 攻撃
- 基本
- BE
- 美しい
- なぜなら
- になる
- き
- 始まった
- 開始
- さ
- より良いです
- の間に
- 越えて
- ビット
- 大胆な
- 両言語で
- 両側
- より広い
- 内蔵
- 焙煎が極度に未発達や過発達のコーヒーにて、クロロゲン酸の味わいへの影響は強くなり、金属を思わせる味わいと乾いたマウスフィールを感じさせます。
- by
- カリフォルニア州
- 呼ばれます
- came
- 缶
- 場合
- 例
- カテゴリー
- 祝っ
- 世紀
- 一定
- 挑戦
- 選択する
- 状況
- 環境、テクノロジーを推奨
- カレッジ
- 組み合わせ
- 結合
- 来ます
- comes
- 到来
- コマンドと
- 互換性
- 複雑さ
- 複雑な
- 含む
- コンピューティング
- 確認済み
- 推測
- お問合せ
- 交流
- 結果的
- 整合性のある
- 定数
- 建設
- 文脈
- 続ける
- コーナー
- 正しい
- 訂正さ
- 対応する
- 対応する
- 可能性
- 重大な
- 曲線
- 十年
- 数十年
- 決定しました
- 定義済みの
- 定義
- 説明する
- 慾望
- DID
- 異なる
- 方向
- 配布
- do
- ドント
- によって
- ダウン
- 原因
- 間に
- 各
- 早い
- 容易
- 簡単に
- 努力
- どちら
- 楕円
- ほかに
- end
- エンドレス
- 十分な
- 方程式
- エラー
- 確立する
- 設立
- 確立
- さらに
- 最終的に
- あらゆる
- 明らか
- 正確に
- 例
- エキサイティング
- 存在する
- 説明
- 実際
- フォールズ
- false
- 家族
- 遠く
- 広範囲に及ぶ
- 特徴
- 感じます
- 少数の
- フィールド
- フィールズ
- ファイナル
- もう完成させ、ワークスペースに掲示しましたか?
- 発見
- 名
- 続いて
- フォーム
- 形成
- フォーム
- 式
- Foundation
- 4
- から
- 楽しいです
- function
- 機能
- おかしいです
- さらに
- 一般に
- 天才
- 取得する
- 与える
- Go
- 目標
- 行く
- 下地
- グループ
- グループの
- 持っていました
- 半分
- ハンド
- 一握り
- 起こる
- ハード
- もっと強く
- 持ってる
- he
- 最高
- 非常に
- 彼の
- 保持している
- 認定条件
- How To
- HTTP
- HTTPS
- i
- アイデア
- 識別する
- if
- 虚数
- 直ちに
- 帝国
- インペリアルカレッジ
- ロンドン大学インペリアルカレッジ
- 重要
- 不可能
- 改善されました
- in
- アクセスできない
- include
- 含まれました
- 含ま
- 含めて
- 無限
- 初期
- お問い合わせ
- インスパイア
- を取得する必要がある者
- 機関
- 利益
- 内部
- に
- 発明
- 関係する
- IT
- ITS
- 自体
- 1月
- 7月
- ただ
- 一つだけ
- キー
- 種類
- 知っている
- 知識
- 既知の
- 欠如
- より大きい
- 姓
- 遅く
- 後で
- 最低
- 左
- less
- レベル
- 活用します
- フェイスリフト
- 光
- ような
- ライン
- LINK
- ロンドン
- 長い
- インクルード
- ロサンゼルス
- 負け
- 製
- マガジン
- make
- 作る
- 作成
- マネージド
- 多くの
- マージン
- 一致
- マッチング
- math
- 数学的
- 数学
- me
- 意味する
- 意味
- 方法
- かもしれない
- モジュラー
- 他には?
- 最も
- やる気
- ずっと
- my
- 名
- ナチュラル
- ほぼ
- 必要
- ニーズ
- 負
- 決して
- 新作
- ニュートン
- 次の
- nice
- 夜
- いいえ
- 今
- 数
- 番号
- オブジェクト
- オブジェクト
- 明白
- of
- オフ
- 頻繁に
- on
- かつて
- ONE
- の
- 開いた
- 開かれた
- 開きます
- 最適な
- 楽観
- 楽観的
- or
- 元々
- 元来の
- その他
- その他
- でる
- が
- 自分の
- オックスフォード
- ページ
- 支払われた
- ペアリング
- 足
- 紙素材
- 部
- 特定の
- 過去
- パターン
- のワークプ
- 完璧
- ピース
- 開拓者
- 場所
- プラトン
- プラトンデータインテリジェンス
- プラトデータ
- プレイ
- ポイント
- ポイント
- 正の
- 所有する
- 可能
- 電力
- 強力な
- 力
- 準備
- 前
- 素数
- 問題
- 問題
- プロセス
- 作成
- プログラム
- 進捗
- プロジェクト
- 目立つ
- 証明
- プロパティ
- 財産
- 提案された
- 提案する
- 受験する
- 証明
- 提供
- は、大阪で
- 二次
- クアンタマガジン
- 量
- 質問
- 質問
- 隆起した
- ランダム
- 合理的
- リーチ
- 準備
- リアル
- 本当に
- 理由は
- 関係
- 相対
- 残った
- 残っている
- 繰り返す
- 表現
- レスキュー用機材
- 研究
- 結果
- 結果として
- 結果
- 明らかにする
- 右
- リング
- ROBERT
- 職種
- ルート
- 前記
- 同じ
- 言う
- 二番
- セクション
- 思われる
- 見えた
- シリーズ
- セッションに
- 設定
- いくつかの
- 彼女
- シフトした
- 表示する
- 示されました
- 側面
- から
- 小さい
- So
- ソリューション
- 解決する
- 一部
- 何か
- どこか
- 特別
- 費やした
- 広がる
- 広場
- start
- 開始
- 手順
- ステップ
- 粘着
- まだ
- 簡単な
- 戦略
- 強い
- 研究
- 勉強
- 成功した
- そのような
- 切り替え
- 取る
- 撮影
- 取得
- Talk
- 会話
- チーム
- 技術的
- テクニック
- より
- それ
- アプリ環境に合わせて
- それら
- その後
- そこ。
- したがって、
- ボーマン
- 彼ら
- 物事
- 考える
- 三番
- この
- それらの
- しかし?
- 三
- 介して
- 時間
- <font style="vertical-align: inherit;">回数</font>
- 〜へ
- 一緒に
- 豊富なツール群
- true
- 試します
- 2
- UCLA
- 最終的に
- 下
- わかる
- 理解する
- 理解された
- 進行中の
- ユニーク
- 独特に
- 大学
- カリフォルニア大学
- オックスフォード大学
- 中古
- 値
- 価値観
- 多様
- バージョン
- 非常に
- 、
- 欲しいです
- ました
- 仕方..
- 方法
- we
- webp
- 週間
- WELL
- した
- この試験は
- いつ
- 一方
- かどうか
- which
- その
- なぜ
- 広く
- 無し
- 仕事
- いい結果になる
- 働いていました
- ワーキング
- でしょう
- 与えるだろう
- 書きます
- 書かれた
- 間違った
- 年
- まだ
- 産出
- You
- あなたの
- ゼファーネット
- ゼロ