IUTを読むための用語集資料集スレ

**１３２人目の素数さん** · 2020/06/20(土) 21:07:57.33

20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り、IUTが正しいことは、99％確定です。
このスレは、IUTを読むための用語集資料集スレとします。
議論は、本スレ Inter-universal geometry と ABC予想 53
https://rio2016.5ch.net/test/read.cgi/math/1589806470/
または
Inter-universal geometry と ABC予想 (応援スレ) 48
https://rio2016.5ch.net/test/read.cgi/math/1592119272/
でお願いします

（参考）
https://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明　斬新理論で数学界に「革命」　京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
https://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想　京大教授が証明　30年以上未解決 2020/04/03 FNNプライムオンライン

**埋立業者** · 2021/01/06(水) 08:09:05.82

また、係数体（英語版）の標数が 2 でも 3 でもないとき、
楕円曲線は、アフィン平面上定義された
非特異な平面代数曲線に双有理同値である。

**埋立業者** · 2021/01/06(水) 08:09:42.70

非特異であるとは、グラフが尖点を持ったり、
自分自身と交叉したりはしないということである。

**埋立業者** · 2021/01/06(水) 08:10:37.60

Pが重根を持たない三次多項式として、y^2 = P(x) とすると、
種数 1 の非特異平面曲線を得るので、これは楕円曲線である。

**埋立業者** · 2021/01/06(水) 08:11:16.14

Pが次数 4 で無平方とすると、これも種数 1 の平面曲線となるが、
しかし、単位元を自然に選び出すことができない。

**埋立業者** · 2021/01/06(水) 08:11:54.36

さらに一般的には、単位元として働く有理点を少なくとも一つ持つような
種数 1 の代数曲線を楕円曲線と呼ぶ。

**埋立業者** · 2021/01/06(水) 08:12:18.46

例えば、三次元射影空間へ埋め込まれた二つの二次曲面の交叉は楕円曲線である。

**埋立業者** · 2021/01/06(水) 08:13:11.24

楕円関数論を使い、複素数上で定義された楕円曲線は
トーラスの複素射影平面への埋め込みに対応することを
示すことができる。

**埋立業者** · 2021/01/06(水) 08:14:01.12

トーラスもアーベル群で、実はこの対応は群同型かつ位相的に同相にもなっている。

**埋立業者** · 2021/01/06(水) 08:14:19.81

したがって、位相的には複素楕円曲線はトーラスである。

**埋立業者** · 2021/01/06(水) 08:14:51.94

楕円曲線は、数論で特に重要で、現在研究されている主要な分野の一つである。

**埋立業者** · 2021/01/06(水) 08:15:32.17

例えば、アンドリュー・ワイルズにより（リチャード・テイラーの支援を得て）
証明されたフェルマーの最終定理で重要な役割を持っている。

**埋立業者** · 2021/01/06(水) 08:15:57.00

また、楕円曲線は、楕円暗号(ECC) や素因数分解への応用が見つかっている。

**埋立業者** · 2021/01/06(水) 08:16:50.67

楕円曲線は、楕円ではないことに注意すべきである。

**埋立業者** · 2021/01/06(水) 08:17:23.01

このように、楕円曲線は次のように見なすことができる。

**埋立業者** · 2021/01/06(水) 08:17:50.38

１．一次元のアーベル多様体

**埋立業者** · 2021/01/06(水) 08:18:12.95

２．三次の平面代数曲線で、有理点を持つもの

**埋立業者** · 2021/01/06(水) 08:18:40.73

３．複素数を加法群とみて、二重周期を持つ格子で割った商空間

**埋立業者** · 2021/01/06(水) 08:20:23.51

射影平面で考えると、すべての滑らかな三次曲線上の群構造を定義することができる。

**埋立業者** · 2021/01/06(水) 08:21:30.77

射影平面上、楕円曲線がヴァイエルシュトラスの標準形によりあらわされるとき、
そのような三次曲線は斉次座標 [0 : 1 : 0] である無限遠点 O を持ち、
Oは群の単位元となる。

**埋立業者** · 2021/01/06(水) 08:22:09.48

曲線は x-軸で対称であるので、任意の点 Pが与えられると、
－P はその反対側の点として取ることができる。
－O は O とする。

**埋立業者** · 2021/01/06(水) 08:22:53.71

P と Q が曲線上の二点であれば、
一意に第三の点 P + Q を
次の方法で定義することができる。

**埋立業者** · 2021/01/06(水) 08:23:21.10

まず、P と Q を通る直線を引く。

**埋立業者** · 2021/01/06(水) 08:23:57.53

この直線は一般に第三の点 R で曲線と交わる。

**埋立業者** · 2021/01/06(水) 08:24:13.68

P + Q を R の反対の点である－R とする。

**埋立業者** · 2021/01/06(水) 08:24:58.97

この加法の定義は、ほとんどの場合はうまく働くが、いくつかの例外がある。

**埋立業者** · 2021/01/06(水) 08:25:27.18

一つ目の例外は、加算する点の片方が O であるときである。

**埋立業者** · 2021/01/06(水) 08:26:01.73

このとき、P + O = P = O + P と定義し、O は群の単位元となる。

**埋立業者** · 2021/01/06(水) 08:26:34.08

第二の例外は、P と Q が互いに反対側の点である場合である。

**埋立業者** · 2021/01/06(水) 08:27:06.49

この場合は、P + Q = O と定義する。

**埋立業者** · 2021/01/06(水) 08:27:52.84

最後の例外は、P = Q の場合である。

**埋立業者** · 2021/01/06(水) 08:28:13.25

このとき一点しかないため、これを通る直線を一意に定義できない。

**埋立業者** · 2021/01/06(水) 08:28:45.99

そこで、この点での曲線の接線を使う。

**埋立業者** · 2021/01/06(水) 08:29:38.79

ほとんどの場合、
接線は第二の点 R で曲線と交叉するため、
反対の点をとることができる。

**埋立業者** · 2021/01/06(水) 08:30:23.28

しかしながら、P がたまたま変曲点（そこで曲線の凹み方が変わるような点）
であるようなときは、接線は P でしか曲線と交叉しない。

**埋立業者** · 2021/01/06(水) 08:31:09.82

そこで、R を P 自身として、P + P を単純に点の反対の点とする。

**埋立業者** · 2021/01/06(水) 08:31:46.23

ヴァイエルシュトラス標準形ではない三次曲線に対しては、
九つある変曲点のうちの一つを単位元 O とすることで
群構造を定義することができる。

**埋立業者** · 2021/01/06(水) 08:32:22.20

射影平面内では、多重度を考慮にいれると、三次曲線と任意の直線は三つの点で交叉する。

**埋立業者** · 2021/01/06(水) 08:32:59.95

点 P に対し、－P は O と P を通る第三の点として一意に定義される。

**埋立業者** · 2021/01/06(水) 08:33:48.29

そして、任意の P と Q に対する P + Q は、
R を P と Q を含む直線上の第三の点としたとき、
P + Q = －R として定義される。

**埋立業者** · 2021/01/06(水) 08:34:02.84

９

**埋立業者** · 2021/01/06(水) 08:34:16.98

８

**埋立業者** · 2021/01/06(水) 08:34:29.22

７

**埋立業者** · 2021/01/06(水) 08:34:42.62

６

**埋立業者** · 2021/01/06(水) 08:34:54.21

５

**埋立業者** · 2021/01/06(水) 08:35:10.03

４

**埋立業者** · 2021/01/06(水) 08:35:22.02

３

**埋立業者** · 2021/01/06(水) 08:35:37.56

２

**埋立業者** · 2021/01/06(水) 08:35:52.41

１

**埋立業者** · 2021/01/06(水) 08:36:19.65

０！完了！

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 199日 11時間 28分 22秒

**1002** · Over 1000

5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。

───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php