固有射
代数幾何学の用語 / ウィキペディア フリーな encyclopedia
固有射(こゆうしゃ、英: proper morphism)とは、スキームの射で、 複素解析空間の固有写像の代数幾何学における類似物である。
体 k 上固有な 代数多様体は完備多様体(英語版)とも呼ばれる。例えば、体 k 上の任意の射影多様体は k 上固有である。複素数体 C 上の有限型(英語版)スキーム X(例えば代数多様体)が C 上固有であるためには、その複素数値点の空間 X(C) が古典的な(ユークリッド)位相のもとでコンパクトかつハウスドルフになることが必要十分である。
閉埋入(英語版)(closed immersion)は固有射である。スキームの射が有限射(finite morphism)であることと、固有射かつ準有限射(quasi-finite morphism)であることは同値である。