かいつまみメモ:ぱらぱらめくる『私説 超幾何関数』
私説 超幾何関数―対称領域による点配置空間の一意化 (共立講座 21世紀の数学)
- 作者: 吉田正章
- 出版社/メーカー: 共立出版
- 発売日: 1997/07/01
- メディア: 単行本
- 購入: 2人 クリック: 2回
- この商品を含むブログを見る
- 以降の記事はだらだらとノートを取っているだけだけれど、全体をつかみ直さないと何のことか分からないので、ギュッとかいつまんだバージョンを個の冒頭にメモし直しておく
- 配置空間
- 射影直線上の3点の組はそれがいかなる組でも、射影変換にて相互に移りあえることを同値とすると、すべての3点の組は同値となる。これは商空間的に1点であると言う。射影直線状の4以上の点の組はそうはならず、射影変換にて相互に移りあえるかどうかを同値として商空間をつくると類別できる。このような点の組の射影変換による商空間を配置空間と言う。そのような4点の組をの類別をX(4)と書く
- 4点の並びではなく、4点の集合(順序を気にしない)とする場合にも配置空間は定義できる((x1,x2,x3,x4)と(x1,x3,x4,x2)を同値とする、というような同値ルールの変更による)。それをX{4}と書く。(4点はぐるりと閉じた輪の上に並んでいるので、4!/4=6通りが同じものとしてくくられる)
- 実現
- 商空間(配置空間を含む)は抽象的な概念なのでわかりにくい。わかりにくい商空間をわかりやすく扱いやすいものにすること。もしくはそのようにしたもの。(群の表現が抽象的な群をわかりやすくしているのと同じようなこと?)。射影空間で実現することを、『射影空間への埋め込み』とも言う。
- X(4)の実現としての点平等な埋め込み(射影空間での実現)は、複比を使ったり、4点の2次元座標ベクトルが作る2x4行列のi,j列部分の行列の行列式を使って、3つの要素の比〜二次元射影平面上の点〜として、以下のように表される。
- 射影直線上の4点x1,x2,x3,x4についてx1,x2,x3を射影直線上の3つの特異点0,1,無限大に対応づけたときのx4の座標について考えるのが複比。複比が等しい4点の並びは配置空間として同じ類になるのだが、4点のどの3点のどれを特定点に胎動づけ、さらにどれを0,1,無限大のどれに対応づけるか、を1,2,3,4で決め打ちにしない方法を「点平等」と言う。この方法では、配置空間(商空間)を二次元射影空間上の点に対応づける。
- X{4}の実現の場合には、別の不変量がある。4,27などがどうして出てくるか気になるかもしれないが、これものような小行列式を使った式は素直な式となっている。[tex:\frac{*1^2+D(13)D(24))^2+(D(14)D(23))^2)^3}{(D(12)D(34))^2(D(13)D(24))^2(D(14)D(23))^2}]
- 楕円関数は複素半平面の格子移行に関する商空間
- 楕円関数とX(4),X{4}との関係は射影平面への埋め込みで対応づく
- 複素平面格子は2つの複素数で定義される。格子同士が整数行列によって移り変われるかで同値をとり商空間を取ると、複素数のペアについての商空間になる。二つの複素数の取り方に順序をつければ、それは複素平面の半分についての格子移行による同値関係での商空間となる。
- 複素平面を格子で考えることは楕円関数を考えることと同じなので、複素半平面の格子移行による商空間は楕円関数の同値関係による商空間と一致する。
- 楕円関数も抽象的な商空間であったが、それを射影平面に実現(埋め込み)すると、4点で分岐する射影直線の二重被覆であるが、この楕円関数の実現である射影平面上の埋め込みは、「4点」の位置で類別できる。この「4点」がX(4),X{4}の4点と同じことである。
- 結局、X(4),X{4}は楕円関数の類別と対応することがわかった。
- 楕円関数にはワイエルシュトラウスのペー関数という表し方やテタ関数という表し方があるので、その表記法と複比やとに関係がある。
- 超幾何関数が、X(4),X{4}と複素半平面の格子移行に関する商空間とを結ぶ
- 配置空間X(2,n)への拡張
- これまで考えてきた配置空間X(4)はX(2,4)を簡略表記したものだった。
- X(2,4)ではX(2,3)のときに商空間が1点だったのに、おさまりきらなくなった最初のものなのでX(2,n+3)のn=1の場合であった。
- そのときにn+1=2重周期を考えてを考えた
- 一般化するときはX(2,n+3)がで考えられる、というように拡張される。
- 次元が上がって来て視覚的に想像するのが難しくなるが、位相的な側面が強いことはわかっているから、対称性に注意をしておくことが大事なことはわかる。
- 配置空間X(m,n)
- X(2,n)へと一般化したら、次なる一般化はX(m,n)。
- 不変量はの対称な項によって定まっていたから、小行列式をにしていくらしい?
- 勝手なメモ
*1:D(12)D(34