[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
715
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/09(土)15:23 ID:aIAMZK1h(17/39) AAS
>>484

いまごろですが(^^
”射影変換群
一般線形群 GL(n + 1, K) はベクトル空間 V = Kn+1 に原点を固定して作用し、原点を通る直線を原点を通る直線に写すので、射影空間 KPn には GL(n + 1, K) が作用する。”
ってことね(^^;
外部リンク:ja.wikipedia.org
射影空間

射影空間(しゃえいくうかん、projective space) とは、その次元が n であるとき、(n + 1)個の「数」の比全体からなる空間の事をさす。
比を構成する「数」をどんな体(あるいは環)にとるかによって様々な空間が得られる。
非ユークリッド幾何学のひとつである射影幾何学がその概念の端緒であるが、射影空間は位相幾何学、微分幾何学、代数幾何学など幾何学のあらゆる分野にわたって非常に重要な概念である。
目次
1 定義
2 多様体の構造
3 コンパクト性
4 モジュライ空間としての射影空間
5 射影変換群
6 超平面と双対射影空間
7 斉次座標環とスキーム論的定義
8 フビニ・スタディ計量
9 射影空間の位相
10 脚注
11 参考文献

定義
K が実数体 R や複素数体 C など位相体であるとき、その積位相から定まる Kn+1 \ {0} の位相の商位相でもってKPnは自然に位相空間になる。
ベクトル空間 Kn+1 の座標をひとつ定めると、射影空間の点を比として表す表し方 [x0 : x1 : ... : xn] がひとつ定まる。これを射影空間の斉次座標(あるいは同次座標; homogeneous coordinate)と呼ぶ。

つづく
717: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/09(土)15:23 ID:aIAMZK1h(18/39) AAS
>>715
つづき

多様体の構造
射影空間の概念は純粋に代数的であり非常に標準的であるため、適切な枠組みを用いる事によって、その性質は体 K の取り方によらず共通しているものが多い。
以下の記述は特に断らない限り、スキーム論の枠組みを用いる事で任意の体上の代数多様体としての射影空間に対して成り立つが、
代数幾何学以外で重要な場合は体 K が実数体 R または複素数体 C の場合であるので、実射影空間および複素射影空間の場合に則した記述を行う。

射影変換群
一般線形群 GL(n + 1, K) はベクトル空間 V = Kn+1 に原点を固定して作用し、原点を通る直線を原点を通る直線に写すので、射影空間 KPn には GL(n + 1, K) が作用する。
単位行列の定数倍は射影空間に自明に作用するので、この作用は剰余群 PGL(n, K) = GL(n + 1, K)/K^× を経由する。
群 PGL(n, K) をKPn の射影変換群 (projective linear transformaton group) と言う。
射影変換群は、代数多様体としての(あるいは K = C のときは、複素多様体としての)KPn の自己同型群にほかならない。[1]

GL(n + 1, K) の KPn への作用の1点の等方部分群 (stabilizer) は

{\displaystyle {\begin{pmatrix}a&*\\0&A\end{pmatrix}}}{\begin{pmatrix}a&*\\0&A\end{pmatrix}} ただし {\displaystyle a\in K^{\times },\quad A\in GL(n,K)}a\in K^{{\times }},\quad A\in GL(n,K)

の形の行列からなる部分群 H であり、空間 KPn は、剰余類 GL(n + 1, K)/H と同型である。すなわち、KPn は等質空間である。等質空間としての記述の点でも、射影空間はグラスマン多様体や旗多様体のもっとも簡単な場合に当たる。

フビニ・スタディ計量

^ フビニ・スタディ計量の存在により、CPn はケーラー多様体になる。ケーラー多様体の部分多様体はケーラー多様体である事から、射影代数多様体は全て自動的にケーラー多様体になるという意味でも重要である。

(引用終り)
以上
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.042s