射影準同型

射影準同型の概観

定義の直観的背景

射影準同型とは、「点・元・ベクトル」などの対象を、ある種の“見なさない違い”によって同一視したうえで定義される写像の総称的な呼び名である。通常の準同型（構造保存写像）が要求する一致は、その構造を構成する要素同士の対応に限られるが、射影準同型では要素の差のうち一部を許容し、商構造を通じて意味のある部分だけを取り出す。

この見なさない差は文脈により異なる。典型例として、群なら中心（可換的に振る舞う元）を同一視し、線形代数ならスカラー倍の区別を捨てる。こうした操作の結果として、写像が本来満たすべき“積・和・合成”の整合性が、商の中で成立する形に緩和される。

準同型との関係

準同型は一般に、演算（例：群の積、加群の和、線形写像の合成）に関する整合性を反映する。射影準同型はその整合性を、対象側で導入された同値関係や商によって表現し直したものと捉えられる。つまり、写像が通常の意味では完全な準同型にならない場合でも、同一視によって生じる曖昧さを吸収できるなら、誘導された射影先で準同型の性質が成立する。

直感的には、「失われる情報があるが、構造上の主要な規則性は保たれている」状態を、商写像の下での準同型として記述する点に特色がある。

射影的同一視の考え方

射影的同一視は、対象集合の元をある同値関係でまとめ、同値類を新しい“点”として扱う操作である。同一視する対象の選択が本質を左右する。群では中心やスカラー倍のように、演算と矛盾しない形でズレが吸収される部分が選ばれることが多い。線形の文脈では、方向だけを残すために非零スカラー倍を同一視し、射影空間の点が「直線（方向）」として現れる。

この枠組みにより、元の対応がずれても、同値類としては一致するため、構造保存が“上手に”成立する。射影準同型の成立条件は、まさにこの吸収が十分に起きることの確認に帰着する。

一般論としての定式化

射影対象と同値関係

商構造の構成

射影準同型を述べるには、まず「射影先」がどのように作られるかを明確にする必要がある。最も基本的には、ある対象の集合（あるいは群・加群・ベクトル空間など）に同値関係を導入し、その同値類全体を商として扱う。商写像は元をその同値類へ写し、以後の議論は商の中だけで行う。

商の性質は、元の同一視が構造と整合しているか（例：群なら正規部分群や中心のように商群が作れるか）に依存する。線形の場合は、同値類が直線（スカラー倍による同一視）を表すため、射影空間の構成につながる。

同一視する対象（中心・スカラー等）の一般形

同一視の一般形は、「準同型の成立が崩れるズレが、同一視の対象として選ばれている」状況に対応する。群の文脈では、ズレが中心に属する場合に商群が自然に導入できる。これは、中心要素が積に対して“見えない”攪乱として働くためである。

線形代数では、写像の出力が非零スカラー倍だけ異なるなら同じ射影点と見なす、という形式が典型である。ここではスカラー倍が同値関係の対象となり、方向に関する情報だけを残す。

射影準同型の定義（誘導写像の観点）

一般に、射影準同型は次のように定義される。対象を射影する商写像を用意し、元の写像を商へ誘導する。その誘導写像が、商における準同型の条件を満たすとき、元の写像は射影準同型として扱われる。

より具体的には、元の写像が構造保存を厳密には行っていなくても、商へ下ろした後では整合性が回復する、という見方を採る。定義の中核は「誘導写像の準同型性」に置かれるため、実務的には商へ降ろせるかどうか（あるいは代表元の選び方に依存しないかどうか）を確認するのが手順となる。

存在と一意性（誘導の可否）

誘導写像が存在するためには、代表元の取り方によって得られる商像が不変であることが要請される。言い換えると、同値類の異なる元へ写した結果の差が、射影先側でも同一視される範囲に入っていなければならない。

一意性は、商写像が全射であるという一般的性質から導かれることが多い。誘導写像が存在し、かつその性質が商写像で特徴づけられる場合、同じ誘導像を満たす写像はただ一つに定まる。したがって、中心・スカラーといった同一視の選択は、単に便利なだけでなく、誘導の可否を左右する条件となる。

基本性質（準同型性の保持条件）

射影準同型が持つ基本性質は、商へ誘導したあとで通常の準同型性が満たされるという点に集約される。したがって、合成（状況により）、単位要素に関する扱い、逆元や反転の整合性などは、商の中で成り立つ対応として表現される。

さらに、射影準同型の間での関係（例：射影準同型の合成が再び射影準同型になるか）も、誘導写像の準同型性から追跡できることが多い。要するに、見なさない違いが閉じた形で選ばれている限り、構造に関する“保存の流儀”は商のレベルで体系化される。

構造別の具体例

群における射影準同型

中心を同一視する場合

群 \(G\) から群 \(H\) への写像 \(f\) が、積に関して完全には準同型にならずとも、ずれが中心要素として現れる状況を考える。具体的には、各 \(g_1,g_2\) で \[ f(g_1 g_2)= f(g_1)f(g_2)\cdot z(g_1,g_2) \] と書ける形を想定し、補正項 \(z(g_1,g_2)\) が \(H\) の中心に属する場合、射影先ではこのズレが同一視されるため準同型性が回復する。

このとき中心商 \(H/Z(H)\) を取れば、誘導写像 \(\bar f: G\to H/Z(H)\) が準同型となる。結果として、元の写像は「中心による誤差を許す準同型」として理解され、射影同型の議論にも自然につながる。

射影表現としての位置づけ

群の表現論では、線形表現 \(G\to GL(V)\) の像を射影一般線形群 \(PGL(V)\) へ落とすことで、スカラー倍の違いを捨てた表現を得ることがある。例えば、行列の積の整合性がスカラー要因だけぶれている場合でも、射影的な立場では矛盾が消える。

このような射影表現は、中心（スカラー行列）を同一視していることに対応する。したがって射影準同型は、表現が本来持つ情報のうち、位相として重要な部分だけを抽出する枠組みとして現れる。

線形代数・線形写像の場合

スカラー倍を同一視する射影準同型

線形空間 \(V\) の非零ベクトルは射影空間 \( \mathbb{P}(V)\) の点に対応する。ここでは \(v\) と \(\lambda v\)（\(\lambda\neq 0\)）を同一視する。したがって線形写像 \(T:V\to W\) がある仮定の下で \(T(v)\) のスカラー倍による曖昧さだけを持つなら、射影空間上の写像として自然に誘導できる。

とくに、\(T(v)\neq 0\) が成り立つ範囲で、\([v]\mapsto [T(v)]\) が well-defined であることが条件となる。スカラーを掛けても像は同じ同値類に落ちるため、射影レベルでの写像は方向保存に対応し、射影準同型として整理される。

射影空間上の誘導写像

射影空間では合成や演算は商構造に基づいて定義されるため、線形変換の合成がスカラーを通じて整合するなら、射影変換の合成として再現される。結果として、線形代数の操作から射影空間上の自己写像が構成でき、構造保存の概念は通常の準同型の比喩ではなく、射影空間における関係として確定する。

この誘導は代表元の選択に依存しないこと、像が定義域における零を避けることが要点である。これらを満たす場合、射影空間上での写像は線形側の情報を“圧縮”したものになり、幾何学的な意味（方向、線、交差の整合など）を持つ。

生成元・関係式への影響

射影準同型は、生成元や関係式を扱う際に実務上の利点を与える。通常の準同型であれば、生成元の像の積・和が関係式を満たす必要があるが、射影の枠では中心やスカラーによる補正が許される。

そのため、群の関係式が「等式」ではなく「射影先での等式」へと置き換わり、検証すべき条件が緩む。特に、表現の構成や同型判定では、補正項がどの部分に属するかを明示できると、計算量が減る。射影準同型の適切な定式化は、この“許されるズレ”を関係式の形に落とし込む作業を支える。

応用と関連概念

射影表現と表現論への応用

射影準同型は射影表現の基盤概念として利用される。表現がスカラー倍の不定性を避けられない場面では、射影空間的な扱いに切り替えることで、表現の分類や既約性の判定がより適切な対象に対して行える。さらに、射影一般線形群の元として表現を理解することで、幾何学的な構造とも連携しやすくなる。

結果として、同一視する部分（中心やスカラー）の選択が、表現論的な不変量の性質に反映される。つまり、射影へ落とす操作は、情報量を減らすだけでなく、分類の観点を整える働きも持つ。

被覆と持ち上げ（リフト）に関する見方

射影準同型は被覆（カバリング）や持ち上げの議論とも整合的である。商写像や射影先への射影は、ある種の“元の違いを隠す”操作であり、その隠し方が被覆の構造と似た役割を果たすことがある。持ち上げでは、商側で定まった写像を、より上の層（元の群や空間）へ戻すことを試みる。

このとき、戻す際に生じる不定性が中心要素やスカラーといった許容される差に対応する。従って、射影準同型の成立条件や誘導の可否は、持ち上げの可能性を特徴づける指標として働きうる。

同型判定のための観点

同型判定では、射影準同型の誘導像が十分に情報を持つかが鍵になる。たとえば中心を同一視している場合、元の群が同型でも射影先での振る舞いが一致しない可能性は低いが、逆に射影で一致しても元が同型とは限らない。つまり、射影は“鈍化”させる操作であるため、同型性の検出には追加の観点が必要になることがある。

しかし、中心やスカラーによる不一致を局所化できるため、差がどこに現れているかを分解する手がかりになる。結果として、完全な同型かどうかを別途検討する場合にも、射影準同型の観点は有効な出発点となる。