ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
インストール
ブラウザよりも高速アクセス!
 

バーチ・スウィンナートン=ダイアー予想と楕円曲線

ショートカット: 違い類似点ジャカード類似性係数参考文献

バーチ・スウィンナートン=ダイアー予想と楕円曲線の違い

バーチ・スウィンナートン=ダイアー予想 vs. 楕円曲線

数学において、バーチ・スウィンナートン=ダイアー予想 (Birch and Swinnerton-Dyer conjecture) は数論の分野における未解決問題である。略してBSD予想 (BSD conjecture) と呼ばれる。それは最もチャレンジングな数学の問題の 1 つであると広く認められている。予想はクレイ数学研究所によってリストされた 7 つのミレニアム懸賞問題の 1 つとして選ばれ、最初の正しい証明に対して100万ドルの懸賞金が約束されている。予想は機械計算の助けを借りて1960年代の前半に予想を立てた数学者ブライアン・バーチ (Bryan Birch) とピーター・スウィンナートン=ダイアー (Peter Swinnerton-Dyer) にちなんで名づけられている。、予想の特別な場合のみ正しいと証明されている。 予想は代数体 K 上の楕円曲線 E に伴う数論的データを E の ハッセ・ヴェイユの ''L''-関数 L(E, s) の s. 数学における楕円曲線(だえんきょくせん、elliptic curve)とは種数 の非特異な射影代数曲線、さらに一般的には、特定の基点 を持つ種数 の代数曲線を言う。 楕円曲線上の点に対し、積に関して、先述の点 を単位元とする(必ず可換な)群をなすように、積を代数的に定義することができる。すなわち楕円曲線はアーベル多様体である。 楕円曲線は、代数幾何学的には、射影平面 の中の三次の平面代数曲線として見ることもできる。より正確には、射影平面上、楕円曲線はヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形 により定義された非特異な平面代数曲線に双有理同値である(有理変換によってそのような曲線に変換される)。そしてこの形にあらわされているとき、 は実は射影平面の「無限遠点」である。 また、の標数が でも でもないとき、楕円曲線は、アフィン平面上次の形の式により定義された非特異な平面代数曲線に双有理同値である。 非特異であるとは、グラフが尖点を持ったり、自分自身と交叉したりはしないということである。この形の方程式もヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形という。係数体の標数が や のとき、上の式は全ての非特異を表せるほど一般ではない(詳細な定義は以下を参照)。 が重根を持たない三次多項式として、 とすると、種数 の非特異平面曲線を得るので、これは楕円曲線である。が次数 でとすると、これも種数 の平面曲線となるが、しかし、単位元を自然に選び出すことができない。さらに一般的には、単位元として働く有理点を少なくとも一つ持つような種数 の代数曲線を楕円曲線と呼ぶ。例えば、三次元射影空間へ埋め込まれた二つの二次曲面の交叉は楕円曲線である。 楕円関数論を使い、複素数上で定義された楕円曲線はトーラスのへの埋め込みに対応することを示すことができる。トーラスもアーベル群で、実はこの対応は群同型かつ位相的に同相にもなっている。したがって、位相的には複素楕円曲線はトーラスである。 楕円曲線は、数論で特に重要で、現在研究されている主要な分野の一つである。例えば、アンドリュー・ワイルズにより(リチャード・テイラーの支援を得て)証明されたフェルマーの最終定理で重要な役割を持っている(モジュラー性定理とフェルマーの最終定理への応用を参照)。また、楕円曲線は、楕円暗号(ECC) や素因数分解への応用が見つかっている。 楕円曲線は、楕円ではないことに注意すべきである。「楕円」ということばの由来については楕円積分、楕円関数を参照。 このように、楕円曲線は次のように見なすことができる。.

バーチ・スウィンナートン=ダイアー予想と楕円曲線間の類似点

バーチ・スウィンナートン=ダイアー予想と楕円曲線は(ユニオンペディアに)共通で22ものを持っています: Annals of Mathematics合同数一般化されたリーマン予想代数体ミレニアム懸賞問題ハッセ・ヴェイユのゼータ函数モーデルの定理リーマン予想リーマンゼータ関数ディリクレのL関数アーベル群オイラー積クレイ数学研究所シュプリンガー・サイエンス・アンド・ビジネス・メディアジョン・テイト素数解析接続谷山–志村予想標準的高さ有理点数学数論

Annals of Mathematics

Annals of Mathematics (略記は Ann. Math. または、Ann. of Math.) はプリンストン大学及び プリンストン高等研究所から隔月発行される数学誌。インパクトファクターなどの基準では、世界で最も権威ある数学誌に位置づけられる。.

Annals of Mathematicsとバーチ・スウィンナートン=ダイアー予想 · Annals of Mathematicsと楕円曲線 · 続きを見る »

合同数

合同数(ごうどうすう)とは、辺の長さがすべて有理数である直角三角形の面積のことである。例えば、辺の長さが (3, 4, 5) の直角三角形の面積 6 や、(3/2, 20/3, 41/6) の面積 5 は合同数である。しかし、1, 2, 3, 4 は合同数ではない。.

バーチ・スウィンナートン=ダイアー予想と合同数 · 合同数と楕円曲線 · 続きを見る »

一般化されたリーマン予想

数学では、リーマン予想は最も重要な予想の一つである。リーマン予想は、リーマンゼータ函数のゼロ点に関する予想である。様々な幾何学的、数論的対象がいわゆる大域的L-函数により記述することができる。大域的L-函数は形式的にはリーマンゼータ函数と似ているので、これらのL-函数のゼロ点に対しての同じ問いを投げかけると、リーマン予想の様々な一般化が得られる。多くの数学者はこれらの一般化されたリーマン予想が正しいと信じている。(数体の場合ではなく)函数体の場合のみが、すでにこれらの予想が証明されている。 大域的L-函数は、楕円曲線や数体(この場合は、デデキントゼータ函数と呼ばれる)、マース形式やディリクレ指標(この場合はディリクレのL-函数と呼ばれる)に付随している。リーマン予想がデデキントのゼータ函数に対して定式化されているとき、拡張されたリーマン予想(EGH)(extended Riemann hypothesis)として知られていて、ディリクレのL-函数に対して定式化されているときに、一般化されたリーマン予想(GRH)(generalized Riemann hypothesis)として知られている。これらの 2つの予想は以下にさらに詳しく議論する。(多くの数学者は、一般化されたリーマン予想という名称を、ただ単にディリクレのL-函数という特殊な場合だけではなく、全ての大域的なL-函数へリーマン予想を拡張したものとして使う。).

バーチ・スウィンナートン=ダイアー予想と一般化されたリーマン予想 · 一般化されたリーマン予想と楕円曲線 · 続きを見る »

代数体

代数体(だいすうたい、algebraic number field)とは、有理数体の有限次代数拡大体のことである。代数体 K の有理数体上の拡大次数 を、K の次数といい、次数が n である代数体を、n 次の代数体という。 特に、2次の代数体を二次体、1のベキ根を添加した体を円分体という。 K を n 次の代数体とすると、K は単拡大である。つまり、K の元 θ が存在して、K の任意の元 α は、以下の様に表される。 このとき θ は n 次の代数的数であるので、K を \mathbb 上のベクトル空間とみたとき、\ は基底となる。.

バーチ・スウィンナートン=ダイアー予想と代数体 · 代数体と楕円曲線 · 続きを見る »

ミレニアム懸賞問題

ミレニアム懸賞問題(ミレニアムけんしょうもんだい、)とは、アメリカのクレイ数学研究所によって2000年に発表された100万ドルの懸賞金がかけられている7つの問題のことである。そのうち1つは解決済み、6つは2015年8月末の時点で未解決である。ミレニアム賞問題、ミレニアム問題とも呼ばれる。.

バーチ・スウィンナートン=ダイアー予想とミレニアム懸賞問題 · ミレニアム懸賞問題と楕円曲線 · 続きを見る »

ハッセ・ヴェイユのゼータ函数

ハッセ・ヴェイユのゼータ函数(Hasse–Weil zeta function)とは、数学において最も重要な L-函数のうちの一つである。これは代数体上の代数多様体にたいして定義される複素関数である。これは各素数ごとの因子である局所ゼータ函数の無限積オイラー積として定義される。ハッセ・ヴェイユゼータ函数は、大域的L-函数の 2つの大きなクラスの一つで、他は保型表現に付随する L-函数である。予想としては、ハッセ・ヴェイユのゼータ関数全体と保型表現からさだまる全体の間に対応があると考えられており、これは谷山志村予想の非常に大きな一般化である。 オイラー積の有限個の要素を除外したハッセ・ヴェイユゼータ函数の記述は比較的単純である。これはヘルムート・ハッセ (Helmut Hasse) とアンドレ・ヴェイユ (André Weil) が初めて示唆した。代数多様体が一点の場合、有理数体上ならリーマンゼータ函数、一般の代数体ならデデキントゼータ関数に対応し、これを一般化したものとなる。 話を単純にするため、有理数体上の代数多様体 にたいして、そのハッセ・ヴェイユゼータ函数を説明する。 が非特異射影多様体のとき、素数 に対し、 を法として の還元を考える。 個の元を持つ有限体 上の代数多様体 はまさに の方程式を還元することにより得られる。ほとんど全ての に対して、 は非特異となる。複素変数 のディリクレ級数として局所ゼータ函数 の無限積として を定義する。 すると、 は、定義に従い、有限個の の有理函数による乗法のみを除外して well-defined である。 この有理函数による乗法の不定性は比較的実害がない。たとえば有理型函数として解析接続することができるので、 が有理型函数に解析接続されるという性質はこの不定性に依存しない。また函数等式についても、函数等式の対称軸の正確な位置は悪い因子に依存するものの、函数等式が存在する事自体にはいくつかの因子を除いた事は影響しない。 エタールコホモロジーの発展により、正確な定義が可能となった。とくに、悪い還元に対応するオイラー因子が何かということを説明することができる。分岐理論で理解される一般原理に従うと、悪い素数では導手の理論のような良い情報を持っている。をもつ素数 においてはにより のエタールコホモロジー上のガロア表現 は不分岐である。このため、局所ゼータ函数の定義は、 の特性多項式の項で再現できる。ここの は に対するフロベニウス元である。悪い還元をもつ素数 では、 が に対する惰性群 上非自明な作用をもつ。これらの素数では、惰性群がとして作用するような表現 の最も大きな商をとることによってオイラー因子をさだめる。このようにして、 の定義はほとんど全ての から全ての へ、オイラー積が整合性をもつようにうまくアップグレードすることができる。函数等式の結果は1960年代後半にセール (Serre) とドリーニュ (Deligne) により完成され、函数等式自体は一般的に証明されていない。.

ハッセ・ヴェイユのゼータ函数とバーチ・スウィンナートン=ダイアー予想 · ハッセ・ヴェイユのゼータ函数と楕円曲線 · 続きを見る »

モーデルの定理

数学におけるモーデルの定理(モーデルのていり、Mordell's theorem)とは、有理数体 Q 上の楕円曲線 E の有理点と無限遠点 O のなすアーベル群 E(Q) が有限生成になる、という定理である。有限生成アーベル群の基本定理から有限生成アーベル群は次に同型であることが知られている。 ここで \mathbb は有限アーベル群(ねじれ部分群)である。(r は E の階数(ランク)と呼ばれ、関連する予想にミレニアム懸賞問題のBSD予想がある。) 有限生成アーベル群 E(Q) の場合、ねじれ部分群 A は次のいずれかに同型となる。 モーデルの定理は後にアンドレ・ヴェイユによって代数体上のアーベル多様体の有理点のなす群に関するモーデル・ヴェイユの定理へと拡張された。.

バーチ・スウィンナートン=ダイアー予想とモーデルの定理 · モーデルの定理と楕円曲線 · 続きを見る »

リーマン予想

1.

バーチ・スウィンナートン=ダイアー予想とリーマン予想 · リーマン予想と楕円曲線 · 続きを見る »

リーマンゼータ関数

1.

バーチ・スウィンナートン=ダイアー予想とリーマンゼータ関数 · リーマンゼータ関数と楕円曲線 · 続きを見る »

ディリクレのL関数

ディリクレのL-関数(ディリクレのエルかんすう、Dirichlet L-function)は、リーマンゼータ関数を一般化したものである。算術級数中の素数の分布の研究に基本的な関数である。実際ディリクレは、初項と公差が互いに素であるような等差数列には無限に素数が含まれること(算術級数定理)を証明するために、この関数を導入した。最も古典的なL-関数であり、単にL-関数と呼ばれることもあるが、数論の発展に伴って類似の性質を持った数論的関数が多く考え出され、それらにもL-関数の名が付されている。 任意の整数 a に対し複素数を対応させる写像で、自然数 N に関して以下を満たす χ を法Nのディリクレ指標と呼ぶ。 このディリクレ指標について、 と L-関数を定義する。この L-関数はオイラー積 をもつ。 L-関数もゼータ関数と同様、全複素数平面上に解析接続され、関数等式をもつ。また、非自明な零点の実部はすべて 1/2 であるという、リーマン予想と同様な予想が考えられておりこれを一般化されたリーマン予想(Generalised Riemann Hypothesis;GRHと略される)と呼ぶ。 その他にも、L-関数にはジーゲルの零点の存在の問題がある。これは実軸上に正の零点が存在するかもしれないという問題で、存在しても高々一つであることが知られているがいまだに解決されていない。この例外的な実零点は、この問題に大きな結果を残したジーゲルにちなんでジーゲルの零点と呼ばれている。この問題のために、リーマンの素数公式の類似である算術級数中の素数分布の有効な公式を得ることができていない。.

ディリクレのL関数とバーチ・スウィンナートン=ダイアー予想 · ディリクレのL関数と楕円曲線 · 続きを見る »

アーベル群

数学、とくに抽象代数学におけるアーベル群(アーベルぐん、abelian group)または可換群(かかんぐん、commutative group)は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群(加法群)としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法(例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す)が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。 一般に可換群はに比べて著しく容易であり、とくに有限アーベル群の構造は具さに知られているが、それでも無限アーベル群論はいまなお活発な研究領域である。.

アーベル群とバーチ・スウィンナートン=ダイアー予想 · アーベル群と楕円曲線 · 続きを見る »

オイラー積

イラー積(-せき、Euler product)はディリクレ級数を素数に関する総乗の形で表した無限積である。ディリクレ級数の一種のリーマンのゼータ関数についてこの無限積が成り立つことを証明したレオンハルト・オイラーの名前にちなむ。ディリクレ級数は以下の式の左辺で定義され、右辺がオイラー積表示である。 a(n) は n に関する乗法的関数、p は全ての素数にわたり、変数 s は複素数である。このような表示が成り立つためには a(n) が a(1).

オイラー積とバーチ・スウィンナートン=ダイアー予想 · オイラー積と楕円曲線 · 続きを見る »

クレイ数学研究所

レイ数学研究所(クレイすうがくけんきゅうじょ、Clay Mathematics Institute、略称 CMI)は、アメリカ合衆国マサチューセッツ州ケンブリッジに建設された個人的・非営利な施設であり、数学の発展とそれを広めることを目的としている。この研究所は、有望な数学者たちへ様々な賞や賞金を与えている。CMI は、1998年、ハーバード大学の数学者アーサー・ジェイフと、建設の際に投資を行った実業家ランドン・T・クレイによって建設された。.

クレイ数学研究所とバーチ・スウィンナートン=ダイアー予想 · クレイ数学研究所と楕円曲線 · 続きを見る »

シュプリンガー・サイエンス・アンド・ビジネス・メディア

ュプリンガー・サイエンス・アンド・ビジネス・メディア(Springer Science+Business Media, Springer)は、科学(Science)、技術(Technology、工学など)、医学(Medicine)、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"(「シュプリンガー・リンク」) 、"SpringerProtocols"(「」) 、"SpringerImages"(「シュプリンガー・イメージ」) 、"SpringerMaterials"(「シュプリンガー・マテリアル」) などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書(Reference works、レ(リ)ファレンス・ワークス)、教科書、モノグラフ(Monograph)、(Proceedings)、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である(第1位はエルゼビア)。 多数のインプリントや、20ヶ国に約55の発行所(パブリッシング・ハウス)、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書(これにはSTM分野だけではなく、B2B分野のものも含まれる)を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー(Springer Nature)」。.

シュプリンガー・サイエンス・アンド・ビジネス・メディアとバーチ・スウィンナートン=ダイアー予想 · シュプリンガー・サイエンス・アンド・ビジネス・メディアと楕円曲線 · 続きを見る »

ジョン・テイト

ョン・テイト(John Torrence Tate, 1925年3月13日 - )は、アメリカの数学者。 Emil Artinのもとで1950年プリンストン大学で学位を取得。長年ハーバード大学に勤め、現在はテキサス大学オースティン校教授。ミネソタ州ミネアポリス生まれ。 現在の研究範囲は代数的整数論、類体論、Galois Cohomology、Galois表現、L関数とその特殊値、Modular形式、楕円曲線、Abel多様体.

ジョン・テイトとバーチ・スウィンナートン=ダイアー予想 · ジョン・テイトと楕円曲線 · 続きを見る »

素数

素数(そすう、prime number)とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される(そこでは反数などの同伴なものも素数に含まれる)。このため、有理整数環 \mathbb Z での素数は有理素数(ゆうりそすう、rational prime)と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.

バーチ・スウィンナートン=ダイアー予想と素数 · 楕円曲線と素数 · 続きを見る »

解析接続

解析学において、解析接続 (かいせきせつぞく、analytic continuation, analytic prolongation) とはリーマン球面 C 上の領域で定義された有理型関数に対して定義域の拡張を行う手法の一つ、あるいは、その拡張によって得られた関数の事である。.

バーチ・スウィンナートン=ダイアー予想と解析接続 · 楕円曲線と解析接続 · 続きを見る »

谷山–志村予想

谷山・志村予想(たにやましむらよそう、Taniyama–Shimura conjecture)は、「すべての有理数体上に定義された楕円曲線はモジュラーであろう」という数学の予想。 証明されて定理となったので、モジュラー性定理またはモジュラリティ定理 (modularity theorem) と呼ばれることもある。(本記事では、この三つの用語を区別することなく使用する) アンドリュー・ワイルズ (Andrew Wiles) は、半安定楕円曲線の谷山・志村予想を証明し、それによってフェルマーの最終定理を証明した。後に、(Christophe Breuil)、(Brian Conrad)、(Fred Diamond)、リチャード・テイラー(Richard Taylor)は、ワイルズのテクニックを拡張し、2001年にモジュラリティ定理を完全に証明した。 モジュラリティ定理は、ロバート・ラングランズ(Robert Langlands)によるより一般的な予想の特別な場合である。ラングランズ・プログラムは、保型形式、あるいは保型表現(automorphic representation)(適切なモジュラ形式の一般化)を、例えば数体上の任意の楕円曲線のような、より一般的な数論的代数幾何学の対象へ関連付けようとする。拡張された予想のうち、ほとんどのケースは未だ証明されていない。しかし、が実二次体上定義された楕円曲線がモジュラーであることを証明した。.

バーチ・スウィンナートン=ダイアー予想と谷山–志村予想 · 楕円曲線と谷山–志村予想 · 続きを見る »

標準的高さ

数論では、ネロン・テイトの高さ(Néron–Tate height)(もしくは、標準的高さ (canonical height) ともいう)は、大域体上に定義されたアーベル多様体の有理点の上の二次形式である。この命名は、(André Néron)とジョン・テイト(John Tate)にちなんでいる。.

バーチ・スウィンナートン=ダイアー予想と標準的高さ · 楕円曲線と標準的高さ · 続きを見る »

有理点

数論において有理点(ゆうりてん、rational point)とは、各座標の値が全て有理数であるような空間の点を言う。 例えば、点 (3, −67/4) は 3 も −67/4 も有理数であるため、2次元空間内の有理点である。有理点の特別な場合は、(integer point)、つまり、その座標が全て整数の点である。例えば、(1, −5, 0) は 3次元空間内の整数点である。より一般的に K を任意の体とするとき、K-有理点は点の各々の座標が体 K に属するような点と定義される。K-有理点に対応する特別な場合は K-整数点、すなわち各座標が(数体) K 内の代数的整数の環の元である場合である。.

バーチ・スウィンナートン=ダイアー予想と有理点 · 有理点と楕円曲線 · 続きを見る »

数学

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

バーチ・スウィンナートン=ダイアー予想と数学 · 数学と楕円曲線 · 続きを見る »

数論

数論(すうろん、number theory)とは数、特に整数およびそれから派生する数の体系(代数体、局所体など)の性質について研究する数学の一分野である。整数論とも言う。ふつうは代数学の一分野とみなされることが多い。おおむね次の四つに分けられる。;初等整数論;代数的整数論;解析的整数論;数論幾何学 フェルマーの最終定理のように、数論のいくつかの問題については、他の数学の分野に比して問題そのものを理解するのは簡単である。しかし、使われる手法は多岐に渡り、また非常に高度であることが多い。 ガウスは次のような言葉を残している。.

バーチ・スウィンナートン=ダイアー予想と数論 · 数論と楕円曲線 · 続きを見る »

上記のリストは以下の質問に答えます

バーチ・スウィンナートン=ダイアー予想と楕円曲線の間の比較

楕円曲線が117を有しているバーチ・スウィンナートン=ダイアー予想は、48の関係を有しています。 彼らは一般的な22で持っているように、ジャカード指数は13.33%です = 22 / (48 + 117)。

参考文献

この記事では、バーチ・スウィンナートン=ダイアー予想と楕円曲線との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:

ヘイ!私たちは今、Facebook上です! »