26/08/21 11:49:35.55 HLWrSiSm.net
突然ですがｗ （＾＾
読んで メモ貼ります
(参考)
URLﾘﾝｸ(www.gensu.co.jp)
現代数学
URLﾘﾝｸ(www.gensu.co.jp)
2026 8月号
関数論の妙所／楕円関数からリーマン面へ 大沢健夫
今月
現代数学2026年9月号
P44
ヤコービ楕円関数
URLﾘﾝｸ(ja.wikipedia.org)
ヤコビの楕円関数
ヤコビの楕円関数（ヤコビのだえんかんすう、英: Jacobi elliptic functions）とは、基本的な楕円関数の一群であり、追加でテータ関数を含むこともあり、歴史的に重要な関数からなる。これらの関数は重要な構造を持っていて、さらに直接関連した応用も存在する。三角関数との類似性も便利で、sin に対応する関数を sn と表記する[注釈 1]。実用的な問題にはヴァイエルシュトラスの楕円函数よりもヤコビの楕円関数のほうがよく用いられる。これは複素解析の概念を使わずに定義し考察できるからである。これらの関数はCarl Gustav Jakob Jacobi (1829)により導入された。
導入
ヤコビの楕円関数は全部で12種類ある。これら12種は長方形のある頂点から他の頂点へ引いた矢印に対応している
略
楕円積分の逆関数による定義
上記のように、特定の性質を持つ唯一の有理型関数として定義するのは非常に抽象的である。より単純で、完全に同値な定義として、第1種不完全楕円積分の逆関数として定義することができる。まず、
略
（ここは、P44とほぼ同じ）
（独語 de.wikipediaが分かり易い 独語読めない？ 心配するな いまどき機械訳スイッチがある）
URLﾘﾝｸ(de.wikipedia.org)
Jacobische elliptische Funktionen
(google訳)
楕円積分の逆関数による定義
上記の定義は、一意な有理型関数として非常に抽象的です。同様に、ヤコビ楕円関数は、第一種不完全楕円積分の逆関数として定義できます。これが一般的で、おそらく最も理解しやすい定義です。
k特定のパラメータ
0≤k<1
次にヤコビアン振幅 am（z;k）[ 4 ]で定義される
略
この方程式の特殊な場合として、次の式が得られる。
略
最初の3つのヤコビ楕円関数
sn、cn そしてdn [ 4 ]で与えられる
参考文献
4. M. Abramowitz、I. Stegun:数学関数ハンドブック。p . 569 、2025年9月28日アクセス（英語、ラベルは改変）。
2:１３２人目の素数さん
26/08/21 11:56:35.15 HLWrSiSm.net
ヤコービの逆問題
URLﾘﾝｸ(ja.wikipedia.org)
ヤコビ多様体
種数 g の非特異代数曲線 C のヤコビ多様体 (ヤコビたようたい、Jacobian variety) J(C) とは、次数が 0 の直線束のモジュライ空間を言う。ヤコビ多様体は、C のピカール群の単位元の連結成分であり、従って、アーベル多様体である。
ヤコビ多様体の名称はヤコビの逆問題を研究したカール・グスタフ・ヤコビにちなむ[1]。最初に「ヤコビ多様体」の名称を使ったのはフェリックス・クラインではないかと言われている[2]。
はじめに
原文と比べた結果、この節には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。
ヤコビ多様体の名称は、アーベル・ヤコビの定理を完全に証明しニールス・アーベル(Niels Abel)の単射性のステートメントを同型写像にしたカール・グスタフ・ヤコビ[要検証 – ノート][注 1](Carl Gustav Jacobi)の名前にちなんでいる。ヤコビ多様体は、次元 g の主偏極アーベル多様体であり、従って、複素数体上では複素トーラス（英語版）(complex torus)である。p が C 上の点であれば、C は J の単位元へ写像される与えられた点 p を持つ J の部分多様体へ写像することができ、C は J を群として生成する。
リーマン面のヤコビ多様体の構成
略
（多分 原文）
URLﾘﾝｸ(en.wikipedia.org)
Jacobian variety
3:１３２人目の素数さん
26/08/21 12:03:58.95 HLWrSiSm.net
>>2
>ヤコビ多様体の名称は、アーベル・ヤコビの定理を完全に証明しニールス・アーベル(Niels Abel)の単射性のステートメントを同型写像にしたカール・グスタフ・ヤコビ[要検証 – ノート][注 1](Carl Gustav Jacobi)の名前にちなんでいる。
実は、「アーベル・ヤコビの定理」にリンクがあり、下記に飛ぶ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
アーベル・ヤコビ写像
アーベル・ヤコビ写像(アーベル・ヤコビしゃぞう、Abel–Jacobi map)は、代数曲線とそのヤコビ多様体とを関連付ける代数幾何学で構成する写像である。リーマン幾何学では、多様体をヤコビトーラスへ写像するという、より一般的な構成の写像である。写像の名称は、2つの有効因子が線型同値（英語版）(linearly equivalent)であることと、アーベル・ヤコビ写像の下では 2つの因子が同一視できることと同値であるという定理が、アーベル・ヤコビの定理である。この定理の名称は、発見者であるアーベルとヤコビに因んでいる。
アーベル・ヤコビの定理
次の定理は、アーベル(Abel)により証明された。
略
ヤコビは、この写像が全射でもあることを証明し、従って 2つの群は自然に同型となることを証明した。
アーベル・ヤコビの定理は、コンパクト複素曲線（正則 1-形式の周期を modulo とする双対）のアルバネーゼ多様体は、そのヤコビ多様体（次数 0 の因子の同値類）と同型であることを意味している。高次元のコンパクト射影多様体について、アルバネーゼ多様体やピカール多様体は、双対であるが同型であるとは限らない。
（英語版は見ておくべし）
URLﾘﾝｸ(en.wikipedia.org)
Abel–Jacobi map
Abel–Jacobi theorem
The following theorem was proved by Abel (known as Abel's theorem): Suppose that
略
Jacobi proved that this map is also surjective (known as Jacobi inversion problem), so the two groups are naturally isomorphic.
The Abel–Jacobi theorem implies that the Albanese variety of a compact complex curve (dual of holomorphic 1-forms modulo periods) is isomorphic to its Jacobian variety (divisors of degree 0 modulo equivalence). For higher-dimensional compact projective varieties the Albanese variety and the Picard variety are dual but need not be isomorphic.
4:１３２人目の素数さん
26/08/21 12:04:48.35 HLWrSiSm.net
まあ、ぼちぼちと （＾＾
5:１３２人目の素数さん
26/08/21 13:03:34.79 NAooQcK8.net
ガロじゃ爺のコピペスレ
6:１３２人目の素数さん
26/08/21 13:29:32.16 HLWrSiSm.net
ありがとね（＾＾