環上の射影直線

数学における環上の射影直線は体上の射影直線を一般化するものである。

1. 定式化
------

単位元 1}} を持つ単位的環 A}} が与えられたとき、A}} 上の射影直線 //P//}} は斉次座標系によって特定される点からなる。A}} の単元群を U}} とし、//A// × //A//}} において関係 ∼}} を

と定めると、∼}} は同値関係である。この同値類を典型的には //U//}} と書く。このとき、//P//}} は

と定義される。ここに、a, b}} が「互いに素」とは a, b}} の生成するイデアルが A}} 全体になる 1=}} ことを言う。

射影直線 //P//}} は、射影変換群  を作用域に持つ。この各射影変換は A}} 上の行列環とその単元群 //GL//ind によって表される。すなわち、A}} の単元群 U}} の中心 //Z//}} に属するスカラーに対応するスカラー行列の全体を //Z//ind とすれば、//Z//ind の //P//}} への作用は自明であり、//Z//ind は //GL//ind の正規部分群で、//P//}} 上の射影変換群は剰余群 //PGL//ind に同型である。

埋め込み //a// mapsto}} //U//}} によって //P//}} は A}} のコピーを含むから、射影直線 //P//}} を環 A}} の拡張と看做すことができる。反転写像 //u// mapsto}} 1///u//}}は //P//}} 上の射影変換

で表される。さらに言えば、

と書けるから、

であり、特に A}} 上の内部自己同型は //P//}} まで拡張できる。u}} は任意だから、//u//exp で置き換えれば、写像 //a// mapsto}} //uav//}} も射影変換に拡張できる。一般に、

が成り立つので、//P//}} 上の射影変換は一次分数変換  と呼ばれる。

2. 例
----

有限環は有限射影直線を持つ。二元体 //GF//}} 上の射影直線は三点 //U//, //U//, //U//}} からなる。その上の射影変換群は、この三点の置換群であるRankin29}}。

整数の合同類環 Z/3Z}} }}) の三元を 1, 0, −1}} と書けば、その単元 は 1, −1}} であるから、その上の射影直線は四点 //U//, //U//, //U//, //U//}} からなる。この射影直線上の射影変換群は12個の元を持ち、やはり行列や置換として記述できるRankin31}}。

有理整数環 Z}} 上の射影直線は m}} と n}} が互いに素であるような類 //U//}} からなる。その上の射影変換群はモヂュラー群である。モヂュラー群の合同部分群 は合同類環 Z/mvar 上の射影変換群をあたえる

可除環上の射影直線は、もとの環にただ一つの無限遠点 1=∞ = //U//}} を付け加えたものになる。例えば、実射影直線、複素射影直線あるいは四元数上の射影直線などがこれに当たる。これら位相環上の例では、射影直線はもとの環の一点コンパクト化を与えている。複素数体上の例における射影変換群はふつうメビウス群と呼ばれる。

二重数上の射影直線は Grünwald に記述されている。二重数­環は 1=//nn// = 0}} を満たす非零冪零元 n}} を持つ。二重数の成す平面 mset は //U// }} なる形の無限遠点の成す直線を含む射影直線を持つ。イサーク・ヤグロムは「反転付きガリレイ平面」 について記述した。この平面に無限遠直線を加えたものは円柱の位相を持つYaglom149–53}}。同様に、A}} が局所環ならば、//P//}} は A}} の極大イデアルの元全体に対応する点を加えることで得られる。

分解型複素数環 M}} 上の射影直線は、無限遠直線 mset および mset を与える。立体射影により、分解型複素数平面にこれら無限遠直線を加えたものは一葉双曲面に分解型複素変数函数されるYaglom 174–200}}Benz。M}} 上の射影直線は、それを射影変換による双曲­面の振舞いによって特徴づけるとき、ミンコフスキー平面とも呼ばれる。

3. 鎖
----

複素数平面における実数直線は射影化で円となり、メビウス変換によって他の実­直線に写される。複素数体 C}} を実数体 R}} 上の多元環と見れば、この状況を体 F}} 上の多元環 A}} に対して一般化して考えることができる。//P//}} の //P//}} の中への標準埋め込みは

で与えられる。これによる //P//}} の埋め込み像を //P//}} の任意の射影変換で写した像を鎖  と呼ぶ。鎖に四点が載るための必要十分条件は、それら四点の複比 F}} に属することである。カール・フォンシュタウトはこの性質を自身の de論において顕わにした

3.1. 点平行性
---------

射影直線 //P//}} の二点が平行  であるとは、それらを結ぶ鎖が存在しないときに言う。点が多数の場合にも同様の言い方を適用する。互いに平行であるという関係は、この射影直線上の射影変換で不変である。どの二つも平行でない三点が与えられたとき、その三点を通る鎖が一意に存在する

4. 加群としての解釈
-----------

環 A}} 上の射影直線 //P//}} は加群 //A// ⊗ //A//}} 内の射影加群全体の成す空間とも同一視することができる。つまり //P//}} の各元は //A// ⊗ //A//}} の直和因子になる。このより抽象的なやり方により、射影幾何学を線型空間の線型部分空間の幾何学とみる視点が与えられ、またバーコフの束論 やラインホルト・ベーアの著書 //Linear Algebra and Projective Geometry// と関連付けられることもある。有理整数環 Z}} の場合、//P//}} を定義する因子加群は m, n}} が互いに素であるような //U//}} に絞って考えればよいし、A}} が位相環のとき //P//}} の主要な特徴である埋め込みも落ちている。Benz はこの直和因子による定義に触れている。

論文 "Projective representations: projective lines over rings"では、環上の射影直線の定義に、行列環 //M//msub の単元群および、加群、両側加群の概念が用いられている。この単元群は//GL//}} と書かれる。この場合の射影直線は、//R// × //R//}} の自由巡回部分加群 //R//}} の //GL//}} による軌道全体の成す集合になる。ベンツの可換理論を拡張して、環の元の右または左逆元の存在は //P//}} と //GL//}} に関係する。デデキント有限性が特徴付けられる。最も著しいことは、//P//}} の可除環 K}} 上の射影空間における表現は、}}-両側加群 U}}となることである。//P//}} の各点は、その補加群が P}} に同型となるような部分空間である。

5. 複比定理
-------

ここでは複比の存在性、一意性、整合三つ組および不変性について考察する。//p//, //q//, //r// ∈ //A// に対し

//t// = −1, //v// = −1)−1と置き、これら逆元 //t//, //v// が存在するとき、「//p//, //q//, //r// は十分に分離される」と言う。いま

に着目すると、最初の二つの因子は //r// を一つ決めるごとにそれを //U// = ∞ へ写す。また第三因子は //t// の取り方から、//p// の最初の二つの因子による像を //U//へ写す。そして第四因子は //q// の最初の三つの因子による像の //v// による回転の形で U を //U// へ写す。以上から、三つ組  はこの変換で三つ組  にすることができる。三つ組を  へ写す生成元の不動点を軸に考えれば、このような射影変換は明らかに一意的である。

//s// および //t// が二つの十分に分離された三つ組とすれば、対応する射影変換 //g// および//h// がそれぞれ //s// および //t// を  へ写す写像として定まるから、射影変換 //h//−1 ∘ //g// は //s// を //t// に写す。

//p//,//q//,//r// によって決まる上記の射影変換 //f// による //x// の像を //f// :=  で表すとき、この函数 f を //p//, //q//, //r// ∈ //A// によって定まる複比  と言う。この函数の一意性により、三つ組  を一つの射影変換 //g// ∈ //G// によって別の三つ組 , //g//, //g//) に取り換えるとき、新しい三つ組に関する複比函数 //h// は //f// ∘ //g// に一致しなければならない。つまり //h// ∘ //g//−1 = //f//, 故に複比に関して

, //g//, //g//, //g// ) = なる不変性が成立することがわかる。

6. 歴史
-----

メビウスは、著書『重心算法』 および1855年の論文「純幾何学的表現における相互関係の理論」 においてメビウス変換を研究した。また、フォイエルバッハとプリュッカーは斉次座標の創始者として名を知られている。1898年にシュトゥーディおよび1908年にエリ・カルタンが、それぞれドイツ語およびフランス語版の『数学百科事典』に記した超複素数系  の項目では、その算術を用いたメビウス変換とよく似た一次分数変換が定義されている。1902年にファーレンは、クリフォード環のある線型汎函数変換について調べた短いがよく参照される論文Valenを寄稿する。二重数の環 D に対する射影直線 //P// は Grünwald が提示の機会を得ており、この環については Segre が引き続いて展開した。

コンウェイは、双四元数変換を通じて相対性を採用した初期の学者の一人で、相対性を研究したConwayで四元数逆数変換を考えた。1947年には、反転四元数幾何のいくつかの要素をゴルムレイが論文Gormleyで記述している。1968年にはイザーク・ヤグロムのロシア語で書かれた本が『幾何学における複素数』 として英訳されて、//P// がユークリッド平面における直線幾何を、分解型複素数上の射影直線 //P// がロバチェフスキー平面を、それぞれ記述するのに用いられている。またヤグロムの教科書『ある単純な非ユークリッド幾何』 も1979年に英訳されている。その174ページから200ページにかけて、ミンコフスキー幾何が展開され、//P// が「反転ミンコフスキー平面」 として記述されている。ヤグロムの教科書のロシア語原版が出版されたのは1969年であり、英訳版が出るまでの間に出版された Bentz では分解型複素数の環 M に値を取る斉次座標の概念が含まれている。

7. 注記
-----

8. 参考文献
-------

first= Walter , id=353137}}.
first1= Walter ,
first1=A. . id=1809553}}.
first1= Metod , id=2318902}}.
first= Corrado Paper XL of //Opere//, also //Atti della R. Academia della Scienze di Torino//, vol XLVII.
first= Isaak , id=520230}}.

9. 関連文献
-------

first=G. , Band 184, Heft 4, SS. 193–8.
first=N. B. , id=0314823}}.
first1=B.V. . id=0513873}}.
first1=B.V. , id=0480495}}.
first=Marcel .