楕円関数・テータ関数・モジュラー関数

1 ：１３２人目の素数さん：2020/11/02(月) 07:00:50.57 ID:PUodusEe.net

三者の関係について語すスレ

261 ：１３２人目の素数さん：2021/02/03(水) 19:04:20.77 ID:ByqtypZk.net

で確か写像類群の生成元がデーンツイストで生成されるとかなんとかかんとかという話に繋がるんだったような
あの話はなんか予想でまだ解けてないとかなんとかいう話しもあったな
昔聞いた話すぎてよく覚えてない

262 ：１３２人目の素数さん：2021/02/03(水) 19:15:43.55 ID:mk2AOzAq.net

ぶっちゃけ微分幾何的な話はほとんど知らん

263 ：１３２人目の素数さん：2021/02/03(水) 19:37:26.45 ID:XFPBjgpf.net

>写像類群の生成元がデーンツイストで生成される

ああ、ねじってくっつけるってやつね

阿原と逆井の本は買ったよ
やっぱ代数幾何よりトポロジーだな

264 ：１３２人目の素数さん：2021/02/09(火) 18:39:12.11 ID:uPNK80lf.net

>>253
トーラスとか射影空間とか？

265 ：１３２人目の素数さん：2021/03/05(金) 11:42:14.57 ID:FnGVSa/5.net

MumfordのTata lectures on thetaが最高に面白い
Hartshorneに飽きた人は是非読むと良い

266 ：１３２人目の素数さん：2021/08/13(金) 15:24:35.03 ID:zvt4bOz8.net

n^3 を使え
n^4 をつかうと世界が広がるぞ

267 ：１３２人目の素数さん：2021/10/12(火) 03:18:10.26 ID:NOFt0H9x.net

数学セミナー10月号と現代数学10月号は共に「楕円関数」がテーマだ。

268 ：１３２人目の素数さん：2021/10/12(火) 21:55:57.63 ID:1Aothx+g.net

何か目新しい内容あるの？

269 ：１３２人目の素数さん：2021/11/30(火) 13:03:37.57 ID:ccZQn9Vw.net

三角関数を使った相互律の証明を
楕円関数を使って実行すると
何が証明できますか？

270 ：１３２人目の素数さん：2022/05/03(火) 11:31:41.23 ID:e3ZC3REA.net

>>265
ラマヌジャンのノートブックとどっちが面白い？
やっぱり数論的な香りにあふれた方が良い気がするんですが

271 ：１３２人目の素数さん：2022/05/03(火) 11:35:59.47 ID:e3ZC3REA.net

無機質な単なる幾何の話は、代数幾何スレにでも移住して貰えませんか？
もっと楕円函数やモジュラーの底知れぬ美しさを存分に語ってほしいです

272 ：１３２人目の素数さん：2022/06/18(土) 01:06:59.58 ID:782846WB.net

こういう本の方向？

>>270
＞数論的な香り
J.H.コンウェイ『素数が香り、形がきこえる-目でみる2次形式（THE SENSUAL FORM）』
Paul J. Nahin "In Pursuit of Zeta-3: The World's Most Mysterious Unsolved Math Problem"

>>271
＞楕円函数やモジュラーの底知れぬ美しさ
D.マンフォード『インドラの真珠: クラインの夢みた世界（Indra's Pearls: The Vision of Felix Klein）』

273 ：１３２人目の素数さん：2022/06/18(土) 01:26:12.42 ID:782846WB.net

数論的な話題は
「どうして保型形式で数論がわかるの・・・？」スレ
https://rio2016.5ch.net/test/read.cgi/math/1634309253/

274 ：１３２人目の素数さん：2022/09/13(火) 22:53:09.67 ID:C+pPFqyr.net

＞三角関数を使った相互律の証明を
＞楕円関数を使って実行すると
＞何が証明できますか？

たとえば四次剰余の相互法則が

275 ：１３２人目の素数さん：2022/10/24(月) 07:19:49.13 ID:GaDzP1V7.net

3次剰余の相互法則は
どんな関数を使って証明できますか？

276 ：：2022/10/25(火) 03:55:26.71 ID:QFhns7Sv.net

BSD予想は楕円曲線上の予想、だとすれば平面を含んでいるので、この世界は直線は存在しないので偽である、というのは成り立ちませんかね？

277 ：１３２人目の素数さん：2022/10/25(火) 13:01:26.96 ID:mZRnw1Vf.net

>>276
275の問いかけはそのレベル以下？

278 ：：2022/10/27(木) 01:56:46.26 ID:RQQBef8r.net

>>277
問題の難易度の話ですか？

279 ：１３２人目の素数さん：2022/10/27(木) 09:54:37.46 ID:v8i9IFFe.net

BSD予想って高次元のアーベル多様体に一般化できるの？

280 ：１３２人目の素数さん：2022/10/27(木) 18:47:58.98 ID:aux2pG0D.net

p と q をアイゼンシュタイン整数環上の、3とも互いに素な素元とするとき、合同式 x3 ≡ p (mod q) が可解となる必要十分条件は x3 ≡ q (mod p) が可解となることである。

281 ：：2022/11/07(月) 07:22:38.81 ID:57DpRDwW.net

BSD

「楕円曲線E上の有理点と無限遠点Oのなす有限生成アーベル群の階数（ランク）が、EのL関数 L(E, s) のs=1における零点の位数と一致する。」

楕円曲線は平面上にない為アーベル群が作られない。よって偽である。



これで終わってないですかね？

282 ：１３２人目の素数さん：2022/11/07(月) 07:52:54.13 ID:/O7D42WP.net

>>281

>>楕円曲線は平面上にない為アーベル群が作られない。

平面上にないものはすべてアーベル群ではないと信じていますか？

283 ：１３２人目の素数さん：2022/11/07(月) 08:35:03.40 ID:yxgpeeN1.net

なんでこんなすごい人が紛れ込んだの

284 ：：2022/11/08(火) 00:11:22.35 ID:HbCupp77.net

>>282

https://ja.m.wikipedia.org/wiki/アーベル群
ここの定義から見れば演算の話だから違いますね。

285 ：：2022/11/08(火) 00:11:34.73 ID:HbCupp77.net

もう一回考えてみますね

286 ：：2022/11/08(火) 00:14:40.19 ID:HbCupp77.net

https://ja.m.wikipedia.org/wiki/バーチ・スウィンナートン＝ダイアー予想
つまりここの概要を見ると
有限個の基底で線型空間が貼られて全てその中の要素でアーベル群が作られる、的な話だと浅い解釈で喋ってましたがもう一度考えてみますね。

もしそのような解釈で合ってるのであればそもそも同一平面上にないからダメだと思うんですが。

287 ：：2022/11/08(火) 00:27:05.27 ID:HbCupp77.net

https://ja.m.wikipedia.org/wiki/バーチ・スウィンナートン＝ダイアー予想
の概要
「
楕円曲線上の有理点（x 座標も y 座標も有理数になる点）は、加法 '+' を定義することができる。楕円曲線 E 上の2点 P = (x1, y1), Q = (x2, y2) に対し、直線 PQ と E との交点と x 軸に関して対称な位置にある点 (x3, y3)を P + Q で表される点と定義する。（詳細は楕円曲線の記事を参照）」



https://ja.m.wikipedia.org/wiki/楕円曲線
このページでその群の構造について語られていますが、幾何学的には交点だと書かれていますが、僕はその交点を恐らく持たない、何故なら同一平面上にないから
という事を主張している。そうなればアーベル群の定義から外れて
BSD予想のフォーミュレーション
「楕円曲線E上の有理点と無限遠点Oのなす有限生成アーベル群の階数（ランク）が、EのL関数 L(E, s) のs=1における零点の位数と一致する。」
の前提が崩れる為BSDは偽である
というような論法だと思われます。

288 ：１３２人目の素数さん：2022/12/08(木) 22:28:26.75 ID:xpFZils6.net

280はよくわかるが
281,284,286,287は
全然わからない

289 ：１３２人目の素数さん：2022/12/10(土) 23:32:49.25 ID:sxpPJ6rb.net

＞3次剰余の相互法則は
＞どんな関数を使って証明できますか？

これもアイゼンシュタインによる楕円関数を使う
証明があったと思う。周期が１とωのものを使ったと思う。

290 ：１３２人目の素数さん：2022/12/11(日) 07:32:17.74 ID:lxcHhNkX.net

>>289
ありがとうございます

291 ：１３２人目の素数さん：2022/12/21(水) 22:53:12.88 ID:F669Iarw.net

https://i.imgur.com/Pn9A3A0.jpg
https://i.imgur.com/8ijthNC.jpg
https://i.imgur.com/n5HME2X.jpg
https://i.imgur.com/j2XfAc0.jpg
https://i.imgur.com/cRswdQb.jpg
https://i.imgur.com/RuIeb8u.jpg
https://i.imgur.com/U0lmTMp.jpg
https://i.imgur.com/CDpljyR.jpg
https://i.imgur.com/ZSUMktp.jpg
https://i.imgur.com/Tq3wxdt.jpg
https://i.imgur.com/biKtu1J.jpg
https://i.imgur.com/IGqJwD9.jpg

292 ：１３２人目の素数さん：2023/01/18(水) 12:31:31.07 ID:0UiJdQrz.net

楕円積分と楕円関数 おとぎの国の歩き方
ちょっとクセがあるから堅い本に慣れてる人には読みにくいかも知れないけど初心者的には分かりやすかった

293 ：１３２人目の素数さん：2023/09/26(火) 12:03:28.75 ID:Rhc6y/Rq.net

>>292
おう、読んでみるわ

294 ：１３２人目の素数さん：2023/09/26(火) 13:02:41.54 ID:4ipQw1aI.net

モジュラー曲線は数体上定義される

295 ：１３２人目の素数さん：2023/10/13(金) 09:09:05.95 ID:a+V5NCei.net

近々『数学』にK3モジュラー関数の話が載るようだ

296 ：１３２人目の素数さん：2023/10/14(土) 07:15:35.45 ID:bWFtusHz.net

志村理論との関係が興味深い

297 ：１３２人目の素数さん：2023/10/15(日) 20:37:02.81 ID:a0shg+mw.net

K3単純特異点も

298 ：１３２人目の素数さん：2023/10/19(木) 23:06:16.64 ID:Ox7q1laF.net

特異点と言えばカスプ

299 ：１３２人目の素数さん：2023/10/20(金) 08:33:38.96 ID:ZK0Z9SxF.net

志村多様体って何なの？

300 ：１３２人目の素数さん：2023/10/20(金) 10:47:21.90 ID:o4X3cFBr.net

大雑把に言えば
対称領域の商空間で
有理数係数の定義方程式を持つもの

301 ：１３２人目の素数さん：2023/10/23(月) 10:16:36.91 ID:axfP+9As.net

ベルグマン核とセゲー核の漸近展開の比較から
テータ関数の公式が導かれるらしい

302 ：１３２人目の素数さん：2023/10/23(月) 12:21:13.59 ID:upEH5hqv.net

それはセゲーな

303 ：１３２人目の素数さん：2023/10/23(月) 14:06:42.42 ID:bsm3GUCR.net

「そればすごい」なのか
「それはセゲーによる」なのか
どっちだ

304 ：１３２人目の素数さん：2023/11/06(月) 20:49:41.72 ID:DN7G53u1.net

L^2正則関数の空間が持つ情報を究めなければいけない

305 ：１３２人目の素数さん：2023/11/07(火) 09:00:37.77 ID:ivDADiXg.net

今話題の不変量は
Diederich-Fornaess指数

306 ：１３２人目の素数さん：2024/01/31(水) 03:49:19.42 ID:b6Gsbw7H.net

セゲー・ガーボル（Szego" Ga'bor, 1895/01/20〜1985/08/07) は、
ユダヤ系ハンガリー人の数学者。

ハンガリーの Kunhegyes 出身。
渡米して、1938年から1966年までスタンフォード大学で教鞭を執った。
テプリッツ行列 (Toeplitz matrices)、直交多項式の理論に業績を残した。
数学者のジョン・フォン・ノイマンを教えている。
著作に「直交多項式」"Orthogonal polynomials" (1939) がある。
これは同分野の古典であり、多項式論の参考文献として広く用いられている。

アメリカ合衆国のカリフォルニア州パロアルトで死去した。

307 ：１３２人目の素数さん：2024/01/31(水) 14:20:18.40 ID:b6Gsbw7H.net

〔楕円曲線〕
双曲線、放物線は明らかに曲線だが、
「楕円」と言ったときは内部を含むかも知れない。
そこで、楕円の周のことを特に「楕円曲線」と呼ぶことにした。
（ウソ）

308 ：１３２人目の素数さん：2024/01/31(水) 14:48:45.73 ID:ACeeu+b2.net

楕円は楕円曲線じゃない
（ホント）

309 ：１３２人目の素数さん：2024/01/31(水) 23:13:00.13 ID:PITVxeMx.net

楕円種数

310 ：１３２人目の素数さん：2024/02/18(日) 21:15:31.80 ID:/BpmJ+zNp

関西地球破壞カジノ万博を中止させよう! 汚職の代名詞クソ├ーキョー五輪に学ぶこともせす゛低い見積もりで事業通して後から倍増とか
戦中の戦艦みたいな税金泥棒まだ続けてやか゛る、人の命より拝金の世界最悪の脱炭素拒否テロ国家に送られる化石賞4連続受賞して
世界中から非難されながら一方的な現状変更によってクソ航空機倍増して閑静な住宅地から都心まで数珠つなぎで鉄道の３0倍以上もの莫大な
温室効果カ゛スまき散らして騒音まみれ、静音が生命線の知的産業壞滅させて気候変動させて土砂崩れ、洪水、暴風、熱中症にと災害連発
天下り犯罪テロリストクソ航空関係者と共謀して住民の生命と財産を強奪して私腹を肥やし続ける世界最惡の強盜殺人テロ国家日本
太陽光発電時間帯など電力はタダで業者間取引されてるしクソ航空機廃絶すれば電力価格下落するほど余裕て゛足りるのが現実の中
原発爆発させて凄まじい放射能汚染引き起こしながら再稼働．フクシマ沖の魚から18000ベクレル（一般人の年間被曝限度の1/з）もの
セシウムが検出されていながら科学だのほさ゛いて核汚染水たれ流す腐敗政府か゛やることは何もかも積極的に阻止しよう!
〔ref.） ttps://www.call4.jp/info.ρhp?Tyρe=items&id=I00000６2
tТps://haneda-projｅct.jimdofreｅ.com/ , ＴΤρs://flight-rouｔe.com/
Τtps：//n-souonhigaisosyoudan.amebaownd.com/