代数幾何学用語一覧

代数幾何学用語一覧（だいすうきかがくようごいちらん、テンプレート:Lang-en-short）では、代数幾何学で使われる用語を一覧にまとめる。

テンプレート:仮リンク、テンプレート:仮リンク、テンプレート:仮リンクも参照。数論的な応用についてはテンプレート:仮リンク参照。

この記事では、簡単のために基底スキームについての明記をしばしば省略する。つまり、ある基底スキーム S 上のスキームのことを単にスキームと言ったり S 射のことを射と言ったりする。

テンプレート:Horizontal TOC

あ行

テンプレート:Visible anchor（abelian）: 1. アーベル多様体は完備な群多様体のこと。複素多様体 $ℂ^{n} / ℤ^{2 n}$ （代数多様体であるとき）や有限体 $𝔽_{q}$ 上の楕円曲線 $E$ など。; 2. テンプレート:仮リンクはアーベル多様体の平坦族のこと。

テンプレート:Visible anchor（affine）: 1. アフィン空間とは、おおまかに言うと原点がどこか忘れたベクトル空間のこと。; 2. アフィン多様体はアフィン空間の中の多様体。; 3. アフィン・スキームは環のスペクトルであるようなスキームのこと。; 4. テンプレート:仮リンクは、任意の開アフィン部分集合の原像がアフィンになる射のこと。ケレン味のある言い方をすると、アフィン射とは、O_X 代数の層の大域的な Spec を環のスペクトルと同様な方法でとることにより作られた射のこと。ベクトル束や有限射などが重要なアフィン射。; 5. 射影空間の閉部分代数多様体 X 上のテンプレート:仮リンクは X の斉次座標環の Spec。

テンプレート:Visible anchor（Arakelov geometry）: 有理整数環 ℤ の Spec のコンパクト化上の代数幾何学。テンプレート:仮リンク参照^[1]。

テンプレート:Visible anchor（artinian）: 0次元かつネーターであること。スキームに対しても環に対しても使われる。

テンプレート:Visible anchor（Artin stack）: 代数的スタックの別名。

テンプレート:Visible anchor（stable）: 1. 安定曲線とは、おとなしい特異点を持つ曲線のこと。振る舞いのよいテンプレート:仮リンクを作るために使われる。; 2. テンプレート:仮リンクは、テンプレート:仮リンクを作るために使われる。

テンプレート:Visible anchor（algebraic geometry over the field with one element）: 目標の１つはリーマン予想を証明すること^[2]。「一元体」や参考文献^[3]^[4]^[5]を参照。

テンプレート:Visible anchor（divisorial）: 1. 正規多様体上のテンプレート:仮リンクとは、あるヴェイユ因子 D で O_X(D) とかける反射的層のこと。; 2. テンプレート:仮リンクとは、可逆層の豊富族があるスキームのこと。豊富な可逆層があるスキームが基本的な例。

テンプレート:Visible anchor（Weil divisor）: 余次元 1 のサイクルのこと。こちらのほうが標準的な呼び方。「因子 (代数幾何学)」参照。

テンプレート:Visible anchor（Weil reciprocity）: 「テンプレート:仮リンク」参照。

テンプレート:Visible anchor（étale）: 射テンプレート:Nowrapがエタールとは、平坦かつ不分岐であること。同値な定義がいくつかある。 $X$ と $Y$ が代数的閉体上の滑らかな多様体の場合には、エタール射であることと接ベクトル空間に同型写像 $d f : T_{y} Y \to T_{f (y)} X$ が誘導されることは同値であり、微分幾何学におけるエタール写像と同じ概念である。エタール射は重要な射の種類である。テンプレート:仮リンクの定義に使われ、これから現在の代数幾何学の礎石の１つであるエタール・コホモロジーが作られる。

テンプレート:Visible anchor（conic）: 次数が 2 の代数曲線。

テンプレート:Visible anchor（pencil）: 1 次元の線形系。

テンプレート:Visible anchor（Euler sequence）

テンプレート:仮リンクとは、層の完全系列

0 \to 𝒪_{𝐏^{n}} \to 𝒪_{𝐏^{n}} (1)^{\oplus (n + 1)} \to T 𝐏^{n} \to 0,

のこと。ここで、Pⁿ は体上の射影空間、最後のゼロではない項はテンプレート:仮リンク。

か行

テンプレート:Visible anchor（open）: 1. スキームの射テンプレート:Nowrapが開（閉）とは、基礎位相空間の写像が開（閉）であること。つまり、Y の開部分スキームが X の開部分スキームに写されること（閉の場合も同様）。例えば、有限表示の平坦射は開で、固有写像は閉である。; 2. スキーム X の開部分スキームは、開部分集合 U に構造層 $𝒪_{X} |_{U}$ をつけたもの^[6]。

テンプレート:Visible anchor（invertible sheaf）: 階数が 1 の局所自由層。乗法群 $𝔾_{m}$ のテンプレート:仮リンクと言っても直線束と言っても同じこと。

テンプレート:Visible anchor（Castelnuovo–Mumford regularity）

スキーム S 上の射影空間

f : 𝐏_{S}^{n} \to S

上の連接層 F のテンプレート:仮リンクは、全ての i > 0 に対して

R^{i} f_{*} F (r - i) = 0

となる最小の整数 r のこと。

テンプレート:Visible anchor（rigid）: テンプレート:仮リンクが自明なものしか存在しないこと。例えば、射影空間は $H^{1} (𝐏^{n}, T_{𝐏^{n}}) = 0$ なので堅い（テンプレート:仮リンクを使う）。

テンプレート:Visible anchor（rigidify）: "自己同型を無くす"というような意味で使われる言葉。使用例："レベル構造をいれて堅くする。"

テンプレート:Visible anchor（secant variety）: テンプレート:仮リンクとは、与えられた射影多様体 $V \subset ℙ^{r}$ の全ての $ℙ^{r}$ 内の割線の合併の閉包のこと。

テンプレート:Visible anchor（Gabriel–Rosenberg reconstruction theorem）: テンプレート:仮リンクとは、スキーム X は X 上の準連接層の圏から復元できるという定理である^[7]。この定理はテンプレート:仮リンクの出発点である。テンプレート:仮リンクを定義するには、この定理を公理とし、その上の準連接層の圏を定義すればよいからだ。; https://mathoverflow.net/q/16257 も参照。

テンプレート:Visible anchor（Calabi–Yau）: カラビ・ヤウ計量とは、リッチ曲率がゼロであるケーラー計量のこと。

テンプレート:Visible anchor（Cartier）: S 上のスキーム X の有効カルティエ因子 D は、X の閉部分スキームであって、S 上平坦かつそのイデアル層が可逆（階数が1で局所自由）であるもの。

テンプレート:Visible anchor（geometric quotient）: 群スキーム G の作用を持つスキーム X のテンプレート:仮リンクとは、ファイバーが軌道となるような良い商のこと。

テンプレート:Visible anchor（geometric property）: 体 k 上のスキーム X の性質が"テンプレート:仮リンク"とは、任意の体の拡大 $E / k$ についての $X_{E} = X \times_{Spec k} Spec E$ で成り立つこと。

テンプレート:Visible anchor（geometric point）: 代数的閉体のスペクトルのこと。

テンプレート:Visible anchor（geometric genus）

滑らかな n 次元射影多様体 X のテンプレート:仮リンクとは

\dim Γ (X, Ω_{X}^{n}) = \dim H^{n} (X, 𝒪_{X})

のこと。等号はセール双対性による。

テンプレート:Visible anchor（orbifold）: 近年では、テンプレート:仮リンクは可微分多様体の圏上のテンプレート:仮リンクとして定義されることが多い^[8]。

テンプレート:Visible anchor（ind-scheme）: テンプレート:仮リンクはスキームの閉埋入の帰納的極限。

テンプレート:Visible anchor（irreducible）: スキーム X が既約とは、位相空間として、片方が X そのものでない限り2つの閉部分集合の和集合としてかけないことをいう。アフィンスキームの素イデアルと点の対応を使うと、X が既約であることと、X が連結かつ環 A_i は全て極小素因子をちょうど１つ持つことは同値であることが分かる。このことから、ちょうど１つの極小素因子を持つ環はテンプレート:仮リンクと呼ばれる。任意のネータースキームは、一意的に有限個の空ではない極大既約閉部分集合（既約成分と呼ばれる）の和集合としてかける。アフィン空間と射影空間は既約だが、Spec k[x,y]/(xy) = は既約ではない。

テンプレート:Visible anchor（spherical variety）: テンプレート:仮リンクとは、正規 G 多様体（G は連結な簡約群）であって G のボレル部分群による稠密な開軌道を持つもの。

テンプレート:Visible anchor（strict transform）: 閉部分スキーム Z に沿ってのブロー・アップ $π : \tilde{X} \to X$ と射 $f : Y \to X$ が与えられたとする。Y のテンプレート:仮リンク（固有変換ともいう）とは、閉部分スキーム $f^{- 1} Z$ に沿っての Y のブロー・アップ $\tilde{Y} \to Y$ のこと。f が閉埋入なら、誘導された写像 $\tilde{Y} ↪ \tilde{X}$ も閉埋入である。

テンプレート:Visible anchor（finite type (locally)）: 射テンプレート:Nowrap が局所有限型とは、 $X$ にアフィン開集合 $Spec B$ による被覆があり、それぞれの逆像 $f^{- 1} (Spec B)$ がアフィン開集合 $Spec A$ により被覆され、全ての $A$ が $B$ 代数として有限生成であること。射テンプレート:Nowrap が有限型とは、 $X$ にアフィン開集合 $Spec B$ による被覆があり、全ての逆像 $f^{- 1} (Spec B)$ が有限個のアフィン開集合 $Spec A$ により被覆され、それぞれの $A$ が $B$ 代数として有限生成であること。

テンプレート:Visible anchor（local uniformization）: テンプレート:仮リンクは、付値環を使って弱い形での特異点解消を構成する方法。

テンプレート:Visible anchor（local）: スキームの重要な性質の多くは局所的な性格を持っている。つまり、スキーム X がある性質 P を持つのは、X の開部分スキーム X_i による任意の被覆 X= $\cup$ X_i において全ての X_i が性質 P を持つとき、かつそのときに限る。普通は、１つの被覆についてチェックすれば十分で、全てについてチェックする必要はない。ザリスキー位相とテンプレート:仮リンクのような他の位相を区別したいときは、ザリスキー局所的な性質ともいう。スキーム X とアフィン開部分スキーム Spec A_i による被覆を考える。環とアフィン・スキームの対応を使うと、局所的性質とは環 A_i の性質である。性質 P が上述の意味で局所的であるのは、対応する環の性質が局所化に関して閉じているとき、かつそのときに限る。例えば、ネーター環のスペクトルで被覆されるものを局所ネータースキームという。ネーター環の局所化は再びネーターであることから、局所ネーターというスキームの性質は上述の意味で局所的である（なのでこの名前がつけられている）。もう１つの例は、環が被約（ゼロでない冪零元を持たないこと）であることである。被約なら、その局所化もそうである。非局所的な性質の例は、分離性である（定義は後述 #分離的）。任意のアフィンスキームは分離的なので、任意のスキームは局所的には分離的である。しかし、アフィンスキームを病的な方法で貼り合わせると非分離的なスキームができあがる。次は、スキームに適用される環の局所的性質の（網羅的ではない）一覧である。X = $\cup$ Spec A_i をスキームのアフィン開部分スキームによる被覆とする。簡単のために、以下では k を体とする。ほとんどの例は底が整数環 Z でも、あるいはより一般の底でも通用する。連結、既約、被約、整、正規、正則、コーエン・マコーレイ、局所ネーター、次元、鎖状。

テンプレート:Visible anchor（local complete intersection）: 局所環が完全交叉環であること。テンプレート:仮リンクも参照。

テンプレート:Visible anchor（locally Noetherian）: A_i がネーター環。加えて、有限個のそのようなアフィンスペクトルで X を被覆することができるとき、スキームはネーターであるという。ネーター環のスペクトルはネーター的位相空間であるが、逆は正しくない。例えば、有限次元の代数幾何学におけるほとんどのスキームは局所ネーターであるが、 $G L_{\infty} = \cup G L_{n}$ はそうではない。

テンプレート:Visible anchor（locally factorial）: 局所環が一意分解環であること。

テンプレート:Visible anchor（locally of finite type）: 射テンプレート:Nowrap が局所有限型とは、 $X$ にアフィン開集合 $Spec B$ による被覆があり、逆像 $f^{- 1} (Spec B)$ はそれぞれアフィン開集合 $Spec A$ によって被覆され、 $A$ は $B$ 代数として有限生成であること。

テンプレート:Visible anchor（curve）: 1次元代数多様体。

テンプレート:Visible anchor（surface）: 2次元の代数多様体。

テンプレート:Visible anchor（big）: n 次元 X 上のテンプレート:仮リンク L とは、 $\underset{l \to \infty}{lim sup} \dim Γ (X, L^{l}) / l^{n} > 0$ が成り立つ直線束のこと。

テンプレート:Visible anchor（Quot scheme）: テンプレート:仮リンクは、射影スキーム上の局所自由層の商をパラメトライズする。

テンプレート:Visible anchor（Grauert–Riemenschneider vanishing theorem）: テンプレート:仮リンクは小平消滅定理を高次順像層に拡張したもの。https://arxiv.org/abs/1404.1827 も参照。

テンプレート:Visible anchor（Kuranishi map）: テンプレート:仮リンク参照。

テンプレート:Visible anchor（crepant）: 正規多様体の間の射 $f : X \to Y$ がテンプレート:仮リンクであるとは、 $f^{*} ω_{Y} = ω_{X}$ が成り立つこと。

テンプレート:Visible anchor（Grothendieck's vanishing theorem）: テンプレート:仮リンクはテンプレート:仮リンクに関するもの。

テンプレート:Visible anchor（group scheme）: テンプレート:仮リンクとは、スキームであってその点の集合が群の構造を持つもの。

テンプレート:Visible anchor（group variety）: "滑らかな"代数群の古い呼び方。

テンプレート:Visible anchor（formal）テンプレート:要出典: テンプレート:仮リンク参照。

テンプレート:Visible anchor（Kempf vanishing theorem）: テンプレート:仮リンクは旗多様体の高次コホモロジーの消滅に関するもの。

テンプレート:Visible anchor（Cohen–Macaulay）

スキームがコーエン・マコーレイとは、全ての局所環がコーエン・マコーレー環であること。例：正則スキームと Spec k[x,y]/(xy) はコーエン・マコーレイ。

はコーエン・マコーレイではない。

テンプレート:Visible anchor（Kodaira dimension）: 1. 半豊富な直線束 L の小平次元（飯高次元とも呼ばれる）とは、L の切断環の Proj の次元のこと。; 2. 正規多様体 X の小平次元とは、その標準層の小平次元のこと。

テンプレート:Visible anchor（Kodaira vanishing theorem）: 「小平消滅定理」参照。

テンプレート:Visible anchor（Cox ring）: 斉次座標環の一般化。「テンプレート:仮リンク」参照。

テンプレート:Visible anchor（proper）: 射が固有とは、分離的かつ絶対閉（任意のファイバー積が閉写像であること）かつ有限型であること。射影的射は固有である。しかし逆は一般には正しくない。「テンプレート:仮リンク」も参照。固有射の深い性質の1つはテンプレート:仮リンクの存在である。つまり、ある中間的なスキームが存在して、このスキームへの連結ファイバーを持つ射と有限射に分解できる。

テンプレート:Visible anchor（Gorenstein）: 1. テンプレート:仮リンクとは、局所ネータースキームであってその局所環がゴレンシュタイン環であるもの。; 2. 正規多様体が ℚ-ゴレンシュタインとは、標準因子が ℚ-カルティエであること（コーエン・マコーレイである必要はない）。; 3. 標準因子がカルティエのときに正規多様体をゴレンシュタインと呼ぶ人もいる。これは 1. とは不整合な使い方。

テンプレート:Visible anchor（compactification）: 例えば「テンプレート:仮リンク」参照。

さ行

テンプレート:Visible anchor（catenary）: スキームが鎖状とは、2つの既約な閉部分スキームの間の鎖が全て同じ長さであること。体上の多様体などほぼ全てがこれであり、鎖状でない例を作るのは困難。

テンプレート:Visible anchor（Zariski–Riemann space）: テンプレート:仮リンクとは、局所環付き空間であって、その点が付値環であるもの。

テンプレート:Visible anchor（arithmetic genus）: r 次元射影多様体 X のテンプレート:仮リンクとは、 $(- 1)^{r} (χ (𝒪_{X}) - 1)$ のこと。

テンプレート:Visible anchor（dimension）: テンプレート:仮リンクは、既約閉部分スキームの鎖の最大の長さと定義される、大域的な性質である。スキームが既約であれば局所的である。これは位相にのみ依存し、構造層には依存しない。「大局次元」も参照。例：テンプレート:仮リンクは、次元 0 のものはアルティンスキーム、1 のものは代数曲線、2 のものは代数曲面。

テンプレート:Visible anchor（degree）: 1. 完備多様体上の直線束 L の次数は、整数 d で $χ (L^{\otimes m}) = \frac{d}{n!} m^{n} + O (m^{n - 1})$ が成り立つもの。; 2. 体 k 上の完備多様体 $f : X \to Spec k$ 上のサイクル x の次数は $f_{*} (x) \in A_{0} (Spec k) = ℤ$ 。; 3. 有限射の次数については「代数多様体の射#有限射の次数」参照。

テンプレート:Visible anchor（dominant）: 射テンプレート:Nowrap が支配的とは、像 f(X) が稠密であること。アフィンスキームの射 Spec A → Spec B が稠密であることと、対応する写像 B → A の核が B のベキ零根基に含まれることは同値。

テンプレート:Visible anchor（morphism）: 1. 多様体の射は局所的に多項式; 2. スキームの射は局所環付き空間としての射; 3. スタックの（S スキームの圏上の）射 $f : F \to G$ とは、 $P_{G} \circ f = P_{F}$ となる関手のこと。ここで $P_{F}, P_{G}$ は基底の圏への構造写像。

テンプレート:Visible anchor（gerbe）: テンプレート:仮リンクとは、おおまかに言うとスタックであって局所的に空ではなく中の2つの対象が局所同型であるようなもの。

テンプレート:Visible anchor（projection formula）

テンプレート:仮リンクとは、与えられた、スキームの射

f : X \to Y

、

𝒪_{X}

加群

ℱ

、有限階数の局所自由

𝒪_{Y}

加群

ℰ

に対して、自然同型

f_{*} (F \otimes f^{*} E) = (f_{*} F) \otimes E

が成り立つという公式である。一言でいうと、

f_{*}

は局所自由層の作用に関して線形である。

テンプレート:Visible anchor（projective bundle）

E をスキーム X 上の局所自由層とする。E のテンプレート:仮リンク P(E) とは、E の双対の対称代数の大域的 Proj

𝐏 (E) = 𝐏 𝐫 𝐨 𝐣 ({Sym}_{𝒪_{X}} (E^{\lor}))

のこと。この定義が今では標準的なもの（例えば、フルトンの『Intersection theory』）であるが、EGA やハーツホーンにおけるものとは異なる。これらでは双対を取っていない。

テンプレート:Visible anchor（projective）: 1. 射影多様体は、射影空間の閉部分代数多様体のこと。; 2. スキーム S 上の射影スキームとは、S スキームであって構造射がある射影空間 $𝐏_{S}^{N} \to S$ の閉部分スキームを介して分解できるもののこと。; 3. 射影的射はアフィン射と同様に定義される。テンプレート:Nowrap が射影的とは、射影空間 $ℙ_{X}^{n} : = ℙ^{n} \times_{S p e c ℤ} X$ への閉埋入とこの射影空間から $X$ への射影に分解できることをいう^[9]。この定義は EGA II.5.5.2. における定義より制約の強いものである。後者では、 $f$ が射影的であることを、準連接次数付き O_X 代数 $𝒮$ のテンプレート:仮リンクで、しかも $𝒮_{1}$ が有限生成かつこれにより $𝒮$ が生成されることと定義している。 $X$ がアフィン、あるいはより一般に準コンパクトかつ分離的かつ豊富層が存在するならば、2つの定義は一致する^[10]。例えば、 $X$ が環 $A$ 上の射影空間 $ℙ_{A}^{n}$ の開部分スキームの場合などである。

テンプレート:Visible anchor（projectively normal）: 「#正規」参照。

テンプレート:Visible anchor（weakly normal）: スキームが弱正規とは、自身への有限な双有理射が同型写像になること。

テンプレート:Visible anchor（final）: グロタンディークの基本的なアイデアの１つは、関係性を重視すること、つまりスキームそれ自身ではなく射を考えることであった。スキームの圏は整数環 $ℤ$ のスペクトルを終対象として持つ。したがって、任意のスキーム $S$ は一意的な方法で $Spec (ℤ)$ 上にある。

テンプレート:Visible anchor（Schubert）: 1. テンプレート:仮リンクとは、グラスマン多様体 $Gr (d, n)$ 上の、標準的なボレル部分群 B（上三角行列のなす群）の軌道のこと。; 2. テンプレート:仮リンクとは、シューベルト・セルの閉包のこと。

テンプレート:Visible anchor（genus）: 「#算術種数」と「#幾何種数」参照。

テンプレート:Visible anchor（genus formula）

射影平面の中の結節曲線についてのテンプレート:仮リンクとは、曲線の種数は

g = (d - 1) (d - 2) / 2 - δ

で計算できるという公式。ここで、d は曲線の次数、δ は結節点の数（曲線が滑らかなら0）である。

テンプレート:Visible anchor（quasi-compact）: 射テンプレート:Nowrap が準コンパクトとは、ある（全て、と言っても同じこと） X のアフィン開被覆 U_i = Spec B_i が存在して、原像 f⁻¹(U_i) が準コンパクトになること。

テンプレート:Visible anchor（pure dimension）: スキームが純次元 d を持つとは、各既約成分の次元が d であること。

テンプレート:Visible anchor（quasi-projective）: テンプレート:仮リンクとは、局所的に閉な射影空間の部分代数多様体のこと。

テンプレート:Visible anchor（quasi-separated）: 射テンプレート:Nowrap がテンプレート:仮リンク（ Y は X 上準分離的ともいう）とは、対角射テンプレート:Nowrap が準コンパクトであること。スキーム Y が準分離的とは、Y が Spec(Z) 上準分離的であること^[11]。

テンプレート:Visible anchor（quasi-finite）: 射テンプレート:Nowrap が有限ファイバーとは、全ての点 $x \in X$ のファイバーが有限集合であること。射が準有限とは、有限型かつ有限ファイバーであること。

テンプレート:Visible anchor（quasi-coherent）: ネータースキーム X 上の準連接層とは、O_X 加群の層で局所的に加群で与えられるもののこと。

テンプレート:Visible anchor（quotient stack）: テンプレート:仮リンクは、スキームや多様体の商を一般化したもの。通常 [X/G] と表記される。

テンプレート:Visible anchor（adjunction formula）

1. X を代数多様体、D をその上の有効なカルティエ因子とし、ともにテンプレート:仮リンク

ω_{D}, ω_{X}

があったとする。このとき、

ω_{D} = (ω_{X} \otimes 𝒪_{X} (D)) |_{D}

が成り立つ。これを随伴公式という。

2. X と D が滑らかであれば、この公式は次と同値:

K_{D} = (K_{X} + D) |_{D}

ここで

K_{D}, K_{X}

は D と X の標準因子。

テンプレート:Quote box

テンプレート:Visible anchor（scheme）: スキームとは、局所的には可換環のスペクトルである局所環付き空間のこと。

テンプレート:Visible anchor（stack）: スタックは自己同型を持つ点の集合をパラメトライズする。

テンプレート:Visible anchor（integral）: 被約かつ既約なスキームは整と呼ばれる。局所ネータースキームに対しては、整であることと整域のスペクトルで被覆できる連結スキームであることは同値である。（厳密に言えば、2つの整スキームの非交和は整ではないので、これは局所的性質ではない。しかし、既約なスキームについては、これは局所的性質である。）例：スキーム Spec k[t]/f は f が既約多項式なら整。Spec A×B は（A, B ≠ 0 なら）整ではない。

テンプレート:Visible anchor（normal）: 1. 局所環が整閉整域である整スキームのことをテンプレート:仮リンクという。例えば、全ての正則スキームは正規だが、特異点のある曲線は正規ではない。; 2. 滑らかな曲線 $C \subset 𝐏^{r}$ が k 正規とは、次数 k の超曲面が完備線形系 $| 𝒪_{C} (k) |$ を切断すること。全ての k > 0 に対して k 正規であるとき、射影的に正規という。"曲線は、埋め込みに対応する線形系が完備であるとき射影的に正規"といってもいい。"線形正規"は 1 正規と同義。; 3. 閉部分代数多様体 $X \subset 𝐏^{r}$ が射影的に正規とは、X 上のアフィン被覆がテンプレート:仮リンクであること。つまり、X の斉次座標環が整閉整域であること。これは 2. における定義と整合的である。

テンプレート:Visible anchor（normal crossings）: 「テンプレート:仮リンク」参照。

テンプレート:Visible anchor（normally generated）: 代数多様体 X 上の直線束 L が正規生成とは、全ての整数 n > 0 に対し自然な写像 $Γ (X, L)^{\otimes n} \to Γ (X, L^{\otimes n})$ が全射であること。

テンプレート:Visible anchor（property P）: P をスキームの性質で、基底変換してもこの性質が失われないようなものとする。例えば、"有限型"、"固有"、"滑らか"、"エタール"などである。このとき、表現可能な射 $f : F \to G$ が性質 P を持つとは、任意の $B \to G$ （B はスキーム）に対して、基底変換 $F \times_{G} B \to B$ が性質 P を持つことをいう。

テンプレート:Visible anchor（generic point）: 稠密な点。

テンプレート:Visible anchor（regular）: テンプレート:仮リンクとは、局所環が正則局所環であるスキームのこと。例：体上のテンプレート:仮リンクは正則。一方、Spec k[x,y]/(x²+x³-y²)== は正則ではない。

テンプレート:Visible anchor（regular function）: 代数多様体からアフィン直線への射。

テンプレート:Visible anchor（regular embedding）: テンプレート:仮リンク $i : X ↪ Y$ がテンプレート:仮リンクであるとは、X の任意の点に対して Y のあるアフィン近傍が存在し、そこにおける X のイデアルが正則列で生成されること。i が正則埋入なら、i のテンプレート:仮リンク、つまり X のイデアル層を $ℐ$ と置くと $ℐ / ℐ^{2}$ で定義される層は局所自由である。

テンプレート:Visible anchor（Serre duality）: 「#双対化層」参照。

テンプレート:Visible anchor（Serre's conditions S_n）: テンプレート:仮リンク参照。https://mathoverflow.net/q/22228 も参照。

テンプレート:Visible anchor（universally）: 射がある性質を絶対的に（もしくは強く、普遍的に）持つとは、その射の全ての基底変換が同じ性質を持つことを言う。例：強鎖状、絶対閉射（普遍的閉と訳されることもある）。

テンプレート:Visible anchor（section ring）: スキーム X 上の直線束 L のテンプレート:仮リンク（切断の環ともいう）とは、次数付き環 $\oplus_{0}^{\infty} Γ (X, L^{n})$ のこと。

テンプレート:Visible anchor（tangent space）: 「ザリスキー接空間」参照。

テンプレート:Visible anchor（linearization）: テンプレート:仮リンク/ベクトル束の構造についての他の言い方。

テンプレート:Visible anchor（image）

テンプレート:Nowrap をスキームの射としたとき、f のスキーム論的像とは、次の普遍性を満たす一意に定まる閉部分スキームテンプレート:Nowrap のことをいう。

f は i を経由する
テンプレート:Nowrap を X の任意の閉部分スキームで f が j を経由するものとしたとき、i もまた j を経由する^[12]^[13]

この概念は f の通常の集合論的像 f(Y) とは異なる。例えば、Z の基礎位相空間は常に X における f(Y) のザリスキー閉包を含む（が必ずしも一致しない）。それゆえ、Y が X の任意の開（そして閉ではない）部分スキームで f が包含写像なら、Z は f(Y) とは異なる。Y が被約なら、Z は被約閉部分スキームの構造をいれた f(Y) のザリスキー閉包になる。しかし一般的には、f が準コンパクトでない限り Z の構成は X 上局所的ではない。

テンプレート:Visible anchor（dualizing sheaf）

純次元 n の射影的なコーエン・マコーレイ・スキーム上のテンプレート:仮リンクとは、X 上の連接層

ω

であって X 上の任意の局所自由層 F に対して

H^{n - i} (X, F^{\lor} \otimes ω) ≃ H^{i} (X, F)^{*}

を満たすもの。X が滑らかな射影多様体の場合には、標準層がこれにあたる。

テンプレート:Visible anchor（dualizing complex）: 「テンプレート:仮リンク」参照。

テンプレート:Visible anchor（birational morphism）: 双有理射とは、スキームの射で、ある稠密な開部分集合に制限すると同型写像となるもの。ブローアップが典型例。

た行

テンプレート:Visible anchor（sheaf generated by global sections）: 大域切断の集合で全ての点における層の茎が張られる層のこと。「加群の層」参照。

テンプレート:Visible anchor（degeneration）: 1. スキーム X がスキーム $X_{0}$ （X の極限という）にテンプレート:仮リンクするとは、テンプレート:仮リンク（一般ファイバーとも）が X かつテンプレート:仮リンクが $X_{0}$ であるようなスキーム $π : Y \to 𝐀^{1}$ が存在することをいう。; 2. テンプレート:仮リンクは、 $π$ が平坦であるような退化のこと。

テンプレート:Visible anchor（degeneracy locus）

代数多様体 X 上のベクトル束の写像

f : E \to F

（束の全空間の間の X 射のこと）が与えられたとき、テンプレート:仮リンクとは次の（スキーム論的な）軌跡のことをいう。

X_{k} (f) = {x \in X | rk (f (x)) \leq k}

テンプレート:Visible anchor（symmetric variety）: テンプレート:仮リンクの類似物。「テンプレート:仮リンク」参照。

テンプレート:Visible anchor（logarithmic geometry）
テンプレート:Visible anchor（log structure）: テンプレート:仮リンク参照。フォンテーヌ、イリュジー、加藤によるもの。

テンプレート:Quote box

テンプレート:Visible anchor（algebraic geometry）: 代数幾何学は代数方程式の解を研究する数学の分野。

テンプレート:Visible anchor（Éléments de géométrie algébrique）: 代数幾何原論（EGA）は、代数多様体の一般化であるスキームの概念を用いて代数幾何学の基礎を構築しようとした、未完に終わった試みである。Séminaire de géométrie algébrique では EGA で扱われなかったものが取り上げられている。代数幾何学の標準的な参考文献の１つ。

テンプレート:Visible anchor（algebraic space）: テンプレート:仮リンクは、スキームのテンプレート:仮リンクによる商のこと。

テンプレート:Visible anchor（algebraic group）: 代数群は、群でもある代数多様体で、群演算が多様体の射となっているもののこと。

テンプレート:Visible anchor（algebraic variety）: 体 k 上の代数多様体とは、 $Spec (k)$ 上有限型かつ整かつ分離的なスキーム。k が代数的閉体と仮定しない場合には少し病的なことが起こる。例えば、 $Spec ℂ \times_{ℝ} Spec ℂ$ は、座標環 $ℂ \otimes_{ℝ} ℂ$ が整域ではないので多様体ではなくなる。

テンプレート:Visible anchor（Grothendieck ring of varieties）

テンプレート:仮リンクとは、代数多様体の同型類で生成される自由アーベル群を関係式

[X] = [Z] + [X - Z]

で割ったもの。ここで Z は代数多様体 X の閉部分代数多様体である。乗法は

[X] \cdot [Y] = [X \times Y] .

と定義する。

テンプレート:Visible anchor（algebraic set）: 体 k 上の代数的集合は、 $Spec (k)$ 上有限型な被約かつ分離的なスキームのこと。既約な代数的集合は代数多様体と呼ばれる。

テンプレート:Visible anchor（algebraic scheme）: 体上有限型で分離的なスキームのこと。代数多様体は被約かつ既約な代数的スキーム。

テンプレート:Visible anchor（algebraic vector bundle）: 有限階数の局所自由層。

テンプレート:Visible anchor（elliptic curve）: 楕円曲線とは、種数 1 の滑らかな射影曲線のこと。

テンプレート:Visible anchor（plurigenus）: 滑らかな射影多様体の第 n 多重種数とは、 $\dim Γ (X, ω_{X}^{\otimes n})$ のこと。ホッジ数も参照。

テンプレート:Visible anchor（variety）: 代数多様体と同じ意味。

テンプレート:Visible anchor（simple）: 「単純点」は「滑らかな点」の古い言い方。

テンプレート:Visible anchor（Chow group）: 滑らかな多様体 X の k 次チャウ群 $A_{k} (X)$ は、k 次元閉部分代数多様体で生成された自由アーベル群（k サイクルの群）をテンプレート:仮リンクで割ったもの。

テンプレート:Visible anchor（central fiber）: 1. 特殊ファイバーのこと。

テンプレート:Visible anchor（hyperelliptic）: 曲線が超楕円曲線とは、g¹₂ であること（つまり、次元 1 かつ次数 2 の線形系が存在すること）

テンプレート:Visible anchor（hyperplane bundle）: テンプレート:仮リンク $𝒪_{X} (1)$ の別名。これはテンプレート:仮リンクの双対でもあるので、こう呼ばれる。

テンプレート:Visible anchor（theorem）: 「テンプレート:仮リンク」、「テンプレート:仮リンク」、「テンプレート:仮リンク」、「Category:代数幾何学の定理」などを参照。

テンプレート:Visible anchor（point）

スキーム

S

は局所環付き空間なので、基礎となる位相空間を持っている。しかし

S

の点には次の三種類の意味がある。

基礎位相空間の点 $P$ 。
$S$ の $T$ 値点。 $T$ は任意のスキーム。 $T$ から $S$ への射のこと。
幾何学的点。 $S$ が体 $K$ の $Spec (K)$ 上定義され（かつこれへの射を備えており）ているとき、 $K$ の代数的閉包 $\overline{K}$ のスペクトラム $Spec (\overline{K})$ から $S$ への射へのことをいう。

幾何学的点が古典的な意味での点に最も近いもので、例えば複素多様体であるような代数多様体の場合、これが通常の意味での点に対応する。基礎空間の点

P

は（ザリスキーやアンドレ・ヴェイユの意味での）テンプレート:仮リンクの類似物も含んでいる。これは通常の意味での点に特殊化できる。

T

値点は、米田の補題により

S

をテンプレート:仮リンク

h_{S}

だと思う方法である。古くから、射影幾何学では元の対象を改善し幾何学を単純化するために点を付け加えるということを行ってきた。例えば、複素数の点を付け加え、無限遠直線を付け加えてきた。

T

値点はこれをさらに大きく進めたものである。広く普及しているテンプレート:仮リンクの一部として、射のファイバーにも対応する3つの概念がある。1つ目は素朴な点のテンプレート:仮リンクに対応する。残りの2つは、2つの射のファイバー積により対応するものが得られる。例えば、射

S^{'} \to S

の幾何学的ファイバーは

S^{'} \times_{S} Spec (\overline{K})

である。スキームのファイバー積は代数のテンソル積（アフィンスキームの場合のファイバー積はテンソル積により得られる）の一般化であり、（一度理解してしまえば）とても便利に使える演算である。

テンプレート:Visible anchor（equivariant intersection theory）: http://www.math.ubc.ca/~behrend/cet.pdf の chapter II 参照。

テンプレート:Visible anchor（derived algebraic geometry）: 可換環の代わりに（commutative）ring spectraを使う代数幾何学。導来代数幾何学参照。

テンプレート:Visible anchor（tautological line bundle）: 射影スキーム X のテンプレート:仮リンクとは、テンプレート:仮リンク $𝒪_{X} (1)$ の双対のこと。つまり $𝒪_{X} (- 1)$ 。

テンプレート:Visible anchor（torus）: テンプレート:仮リンクとは、有限個の乗法群 $𝔾_{m}$ の積のこと。

テンプレート:Visible anchor（torus embedding）: トーリック多様体の古い言い方。

テンプレート:Visible anchor（toric variety）: トーリック多様体とは、トーラスの作用を持つ正規多様体であって、トーラスを稠密な開集合軌道として持つもの。

テンプレート:Visible anchor（resolution of singularities）: スキーム X の特異点解消とは、固有な双有理射 $π : Z \to X$ であって Z がテンプレート:仮リンクであるもの。

テンプレート:Visible anchor（special）: 滑らかな曲線 C 上の因子 D がテンプレート:仮リンクとは、特殊指数と呼ばれる数値 $h^{0} (𝒪 (K - D))$ が正であること。

テンプレート:Visible anchor（tropical geometry）: 区分的に線形な代数幾何学の一種。「トロピカル幾何学」参照。

な行

テンプレート:Visible anchor（smooth）: 1.

テンプレート:Main

エタール射の高次元類似物が滑らかな射。滑らかな射には多くの同値な定義がある。次は射テンプレート:Nowrap が滑らかであることの同値な定義。

1) 任意の y ∈ Y に対し y のアフィン開近傍 V と x=f(y) のアフィン開近傍 U が存在し、f を V に制限したものは U 上のアフィン n 空間へのエタール射と射影の合成でかける。

2) f は平坦かつ局所的に有限表示かつ Y の全ての幾何学的点

\bar{y}

（代数的閉体のスペクトル

k (\bar{y})

から Y への射）に対し幾何学的ファイバー

X_{\bar{y}} : = X \times_{Y} S p e c (k (\bar{y}))

は

k (\bar{y})

上の（古典的な代数幾何学での意味で）滑らかな n 次元多様体。

2. 完全体 k 上のテンプレート:仮リンクとは、k 上局所有限型のテンプレート:仮リンク X のこと。

3. 体 k 上の滑らかなスキームとは、幾何的に滑らか、つまり

X \times_{k} \overline{k}

が滑らかなスキーム X のこと。

テンプレート:Visible anchor（nef）: テンプレート:仮リンク参照。

は行

テンプレート:Visible anchor（flag variety）: 旗多様体はベクトル空間のテンプレート:仮リンクをパラメトライズするもの。

テンプレート:Visible anchor（reflexive sheaf）: 連接層がテンプレート:仮リンクとは、2回双対をとった層への標準写像が同型写像になること。

テンプレート:Visible anchor（Picard group）: X のピカール群とは、X 上の直線束の同型類全体にテンソル積で乗法を定義した群のこと。

テンプレート:Visible anchor（very ample）: 多様体 X 上の直線束 L が非常に豊富とは、ある X の射影空間への埋め込みが存在して、L は射影空間上のセールのねじり層 O(1) の制限になっていること。

テンプレート:Visible anchor（nonsingular）: "滑らか"の古風な言い方。テンプレート:仮リンクにおけるのと同様。

テンプレート:Visible anchor（reduced）: 1. 可換環 $R$ が被約とは、非零なベキ零元を持たない、つまりベキ零根基が零イデアルである $\sqrt{(0)} = (0)$ こと。 $R$ が被約とは $Spec (R)$ が被約スキームであること、と言い換えることもできる。; 2. スキーム X が被約とは、その茎 $𝒪_{X, x}$ が被約環であること。X が被約とは、各開部分集合 $U \subset X$ に対して $𝒪_{X} (U)$ が被約環であること、つまり $X$ は非零なベキ零切断を持たないこととも言い換えられる。

テンプレート:Visible anchor（representable morphism）: スタックの射 $F \to G$ で、スキーム B からの任意の射 $B \to G$ に対して基底変換 $F \times_{G} B$ が代数空間であるもの。"代数空間"を"スキーム"で置き換えた主張が成り立つとき、強表現可能という。

テンプレート:Visible anchor（canonical）: 1. n 次元正規多様体 X 上の標準層とは、 $ω_{X} = i_{*} Ω_{U}^{n}$ のこと。ここで、i はテンプレート:仮リンク U の包含写像で、 $Ω_{U}^{n}$ は U 上の n 次の微分形式の層。基礎体の標数が 0 なら、正規性を仮定する代わりに i を特異点解消で置き換えてもよい。; 2. 正規多様体 X 上のテンプレート:仮リンク $K_{X}$ は、 $𝒪_{X} (K_{X}) = ω_{X}$ となるような因子類のこと。; 3. 標準因子は、標準因子類 $K_{X}$ の代表元。これも同じ記号で表される。well-defined ではない。; 4. 正規多様体 X の標準環は、標準層の切断から得られる環。

テンプレート:Visible anchor（canonical model）: テンプレート:仮リンクは標準環（有限生成と仮定）のテンプレート:仮リンク。

テンプレート:Visible anchor（Hilbert polynomial）: 体上の射影スキーム X のヒルベルト多項式とは、オイラー標数 $χ (𝒪_{X} (s))$ のこと。

テンプレート:Visible anchor（fiber）: スキームの射 $f : X \to Y$ が与えられたとき、y 上の f のファイバーとは、集合としての原像 $f^{- 1} (y) = {x \in X | f (x) = y}$ のこと。ファイバー積 $X \times_{Y} {y}$ として y の剰余体上のスキームとして自然な構造を持つ。ここで、y の剰余体の Spec である ${y}$ は、自然に Y 上のスキームとしての構造を持っている。

テンプレート:Visible anchor（fiber product）: 1. 圏論における「引き戻し」の別名。; 2. 与えられた $f : F \to G, g : H \to G$ に対するスタック $F \times_{G} H$ 。これの B 上の対象は3つ組 (x,y, ψ) で、x は F(B) に含まれるもの、y は H(B) に含まれるもの、ψ は G(B) における同型写像 $f (x) \tilde{\to} g (y)$ である。(x,y,ψ) から (x' ,y' ,ψ') への射は射の組 $α : x \to x^{'}, β : y \to y^{'}$ であって $ψ^{'} \circ f (α) = g (β) \circ ψ$ を満たすものである。自然な射影による四角形の図式は可換ではないが、自然な同型による違いを除いて可換、つまりテンプレート:仮リンクである。

テンプレート:Visible anchor（Fano）: ファノ多様体とは、滑らかな射影多様体 X であって反標準層 $ω_{X}^{- 1}$ が豊富であるもの。

テンプレート:Visible anchor（unramified）

y

を

Y

の点とし、局所環の射

f^{#} : 𝒪_{X, f (y)} \to 𝒪_{Y, y}

を考える。

𝔪

を

𝒪_{X, f (y)}

の極大イデアルとし、

𝔫 = f^{#} (𝔪) 𝒪_{Y, y}

を

𝔪

の

𝒪_{Y, y}

における像で生成されたイデアルとする。射

f

がテンプレート:仮リンク（resp. G 不分岐）とは、局所有限型（resp. 局所有限表示）かつ

Y

の全ての点

y

に対して

𝔫

が

𝒪_{Y, y}

の極大イデアルで、誘導される写像

𝒪_{X, f (y)} / 𝔪 \to 𝒪_{Y, y} / 𝔫

が有限次分離拡大であることを言う^[14]。これは代数的整数論における不分岐拡大の幾何学版であり、一般化にもなっている。

テンプレート:Visible anchor（subscheme）: 特に条件をつけず X の部分スキームと言ったときは、X の開部分スキームの閉部分スキームのこと。

テンプレート:Visible anchor（universal）

1. モジュライ関手 F があるスキームもしくは代数空間 M で表現可能であったとき、テンプレート:仮リンクとは F(M) の要素で恒等射 M → M（これは M の M 値点である）に対応するもののこと。F の値が（付加的な構造とセットの）曲線の同型類なら、普遍対象はテンプレート:仮リンク（万有曲線という訳語もある）ともいう。テンプレート:仮リンクも普遍対象の例の1つと言える。

2.

ℳ_{g}

を種数 g の滑らかな射影曲線のモジュライ空間、

𝒞_{g} = ℳ_{g, 1}

を種数 g の1標点付きの滑らかな射影曲線のモジュライ空間とする。忘却写像

π : 𝒞_{g} \to ℳ_{g}

を普遍曲線と呼んでいる文献も多い。

テンプレート:Visible anchor（Plücker embedding）: テンプレート:仮リンクとは、テンプレート:仮リンクの射影空間へのテンプレート:仮リンクのこと。

テンプレート:Visible anchor（blow-up）: ブロー・アップは、閉部分スキームを有効なカルティエ因子に置き換える双有理変換。正確には、ネータースキーム X の閉部分スキーム $Z \subset X$ に対し、Z に沿っての X のブロー・アップとは、固有射 $π : \tilde{X} \to X$ で (1) $π^{- 1} (Z) ↪ \tilde{X}$ が有効なカルティエ因子（例外因子と呼ばれる）で、(2) $π$ は(1)に関して普遍となるもの。具体的には、Z に対応するイデアル層についての $O_{X}$ のリース代数の相対的な Proj をとることにより作られる。

テンプレート:Visible anchor（separated）: テンプレート:仮リンクとは、射 $f$ であって $f$ と $f$ のファイバー積の対角線が閉部分スキームとなるもの。テンプレート:仮リンクがテンプレート:仮リンクである、とも言い換えられる。

テンプレート:Visible anchor（classifying stack）: テンプレート:仮リンクについての分類空間の代数幾何における類似物。テンプレート:仮リンク参照。

テンプレート:Visible anchor（closed）: スキーム X の閉部分スキームとは次のように作られるもの。J を $𝒪_{X}$ テンプレート:仮リンクである準連接層とする。テンプレート:仮リンク $𝒪_{X} / J$ のテンプレート:仮リンクは X の閉部分集合 Z であり、 $(Z, (𝒪_{X} / J) |_{Z})$ はスキームになる。これを準連接テンプレート:仮リンク J により定義される閉部分スキームという^[15]。開部分集合と違って閉部分スキームの定義がこのような構成による理由は、スキームの閉部分集合の部分スキームとしての構造は複数あるからである。

テンプレート:Visible anchor（flat）: 射 $f$ が平坦とは、茎に誘導される環準同型が平坦であること。射テンプレート:Nowrap を $X$ の点でパラメータづけられたスキームの族と考えたとき、平坦性の幾何的な意味は、ファイバー $f^{- 1} (x)$ があまり乱暴には変化しないということ。

テンプレート:Visible anchor（Behrend function）: （良い）スタック X のテンプレート:仮リンクに関するテンプレート:仮リンクは、X のテンプレート:仮リンクの次数。

テンプレート:Visible anchor（Behrend's trace formula）: テンプレート:仮リンクはテンプレート:仮リンクを一般化したもの。ともに l 進コホモロジーのテンプレート:仮リンクの跡を計算する公式。

テンプレート:Visible anchor（polarization）: 射影空間への埋め込み。

テンプレート:Visible anchor（deformation）: $S \to S^{'}$ をスキームの射、X を S スキームとする。S' スキーム X' が X の変形であるとは、X' の引き戻しが X であることをいう。X' が平坦であることを仮定することが多い。

テンプレート:Visible anchor（Poincaré residue map）: テンプレート:仮リンク参照。

テンプレート:Visible anchor（normal）: 1. X をスキーム Y の閉部分スキーム、I を対応するイデアル層とする。X のテンプレート:仮リンクとは、 $(I / I^{2})^{*} = ℋ o m_{𝒪_{Y}} (I / I^{2}, 𝒪_{Y})$ のこと。X の Y への埋め込みがテンプレート:仮リンクなら、これは局所自由であり、テンプレート:仮リンクと呼ばれる。; 2. X へのテンプレート:仮リンクとは、 ${Spec}_{X} (\oplus_{0}^{\infty} I^{n} / I^{n + 1})$ のこと。X が Y に正則に埋め込まれてるなら、法錐は X への法束の全空間 ${Spec}_{X} (𝒮 y m (I / I^{2}))$ と同型。

テンプレート:Visible anchor（ample）: 射影多様体上の直線束が豊富とは、何度かテンソル巾をとると非常に豊富になること。

テンプレート:Visible anchor（Hodge bundle）: （種数を固定した）テンプレート:仮リンク上のテンプレート:仮リンクとは、簡単にいうと、ベクトル束であって曲線 C 上のファイバーがベクトル空間 $Γ (C, ω_{C})$ であるもの。

テンプレート:Visible anchor（essentially of finite type）: 有限型スキームの局所化。

ま行

テンプレート:Visible anchor（immersion）: 埋入テンプレート:Nowrap は部分スキームの同型写像を経由する写像のこと。開埋入は開部分スキームとの同型写像を経由するもの、テンプレート:仮リンクは閉部分スキームとの同型写像を経由するもの^[16]。f が閉埋入であることと、これが Y の基礎位相空間から X の基礎位相空間の閉部分集合への同相写像を誘導し射 $f^{♯} : 𝒪_{X} \to f_{*} 𝒪_{Y}$ が全射になることは同値である^[6]。埋入の合成はまた埋入になる^[17]。書籍『Algebraic Geometry』（ハーツホーン著）や『Algebraic Geometry and Arithmetic Curves』（Q. Liu著）では、開埋入に閉埋入を合成したものとして埋入を定義している。この意味での埋入は上述の意味での埋入になるが、逆は正しくない。更に、この定義のもとでは、2つの埋入の合成は必ずしも埋入とはならない。しかし、f が準コンパクトであれば、この2つの定義は同値である^[18]。なお、開埋入は位相空間の意味での像で完全に決まるが、閉埋入はそうではない。 $Spec A / I$ と $Spec A / J$ は同相だが同型ではないことがある。例えば、I が J の根基で、J が根基イデアルではない場合など。スキームとしての構造に言及することなくスキームの閉部分集合に言及した場合には、いわゆる被約スキームの構造をいれて考えていることが多い。つまり、その閉部分集合で消える全ての関数からなる一意的な根基イデアルに対応するスキーム構造で考えている。

テンプレート:Quote box

テンプレート:Visible anchor（moduli）: 例えばモジュライ空間参照。

テンプレート:Visible anchor（Mori's minimal model program）: 森の極小モデルプログラムは、3次元以上の代数多様体の双有理分類を目指すテンプレート:仮リンク。

や行

テンプレート:Visible anchor（Jacobian variety）: 射影曲線 X のヤコビ多様体とは、ピカール多様体 $Pic (X)$ の次数ゼロ部分のこと。

テンプレート:Visible anchor（finite）: 射テンプレート:Nowrap が有限とは、 $X$ にアフィン開集合 $Spec B$ による被覆があり、 $f^{- 1} (Spec B)$ がアフィンで、これを $Spec A$ とかくと、 $A$ が $B$ 上有限生成加群となっていること。有限射参照。有限射は準有限だが、有限なファイバーを持つ射は必ずしも準有限とは限らず、また有限型の射は多くの場合準有限ではない。

テンプレート:Visible anchor（finite presentation）: Y の点 y に対し、射 f が y で有限表示（y で有限に表示されるともいう）とは、f(y) のアフィン開近傍 U と y のアフィン開近傍 V が存在して、f(V) ⊆ U かつ $𝒪_{Y} (V)$ が $𝒪_{X} (U)$ 上テンプレート:仮リンクであること。射 f が局所有限表示とは、Y の全ての点で有限表示であること。X が局所ネーターなら、f が局所有限表示であることと局所有限型であることは同値^[19]。射テンプレート:Nowrap が有限表示（Y は X 上有限表示ともいう）とは、局所有限表示かつ準コンパクトかつ準分離的であること。X が局所ネーターなら、f が有限表示であることと有限型であることは同値^[20]。

テンプレート:Visible anchor（finite fibers）: 射テンプレート:Nowrap が有限ファイバーを持つとは、任意の点 $x \in X$ のファイバーが有限集合であること。射が準有限とは、有限型かつ有限ファイバーを持つこと。

テンプレート:Visible anchor（rational）: 1. 代数的閉体上、代数多様体が有理であるとは、射影空間と双有理同値であること。例えば、有理曲線や有理曲面とは、 $ℙ^{1}, ℙ^{2}$ と双有理同値であるもののこと。; 2. 体 k と相対的なスキーム X → S に対し、X の k 有理点とは、S 射 $Spec (k) \to X$ のこと。

テンプレート:Visible anchor（rational function）: 関数体 $k (X) = \lim_{\to} k [U]$ の要素のこと。ここで、極限は（既約）代数多様体 X の開部分集合 U の座標環全てを渡るようにとる。函数体も参照。

テンプレート:Visible anchor（rational normal curve）

テンプレート:仮リンクとは、次の写像の像のこと。

𝐏^{1} \to 𝐏^{d}, (s : t) \mapsto (s^{d} : s^{d - 1} t : \dots : t^{d})

.

d = 3 のときはテンプレート:仮リンクともいう。

テンプレート:Visible anchor（rational singularities）: 標数0の体上の代数多様体 X がテンプレート:仮リンクを持つとは、特異点解消 $f : X^{'} \to X$ であって $f_{*} (𝒪_{X^{'}}) = 𝒪_{X}$ かつ $R^{i} f_{*} (𝒪_{X^{'}}) = 0, i \geq 1$ であるようなものが存在することをいう。

ら行

テンプレート:Visible anchor（Riemann–Hurwitz formula）

π : X \to Y

を滑らかな射影曲線の間の分離的（separable）な有限射とする。

π

が馴分岐（暴分岐が無い）、例えば標数0の体上で考えているのであれば、π の次数と X と Y の種数と分岐指数を関係付けるリーマン・フルヴィッツの公式

2 g (X) - 2 = \deg (π) (2 g (Y) - 2) + \sum_{y \in Y} (e_{y} - 1)

が成り立つ。今日では、この公式は π が馴分岐と仮定しなくても成り立つ次のより一般的な公式

K_{X} \sim π^{*} K_{Y} + R

の帰結と理解されている。ここで、

\sim

は線形同値を表し、

R = \sum_{P \in X} {length}_{𝒪_{P}} (Ω_{X / Y}) P

は相対余接層の因子（テンプレート:仮リンク）

Ω_{X / Y}

である。

テンプレート:Visible anchor（Riemann–Roch formula）

1. L を種数 g の滑らかな射影曲線上の次数 d の直線束とする。リーマン・ロッホ公式とは、L のオイラー標数が次で計算できるという公式。

χ (L) = d - g + 1

例えば、この公式から標準因子 K の次数は 2g - 2 であることが分かる。

2. テンプレート:仮リンクはグロタンディークによる一般化。

π : X \to S

を滑らかな X と S の間の固有射とし、E を X 上のベクトル束としたとき、有理チャウ群における等式

ch (π_{!} E) \cdot td (S) = π_{*} (ch (E) \cdot td (X))

が成り立つというもの。ここで、

π_{!} = \sum_{i} (- 1)^{i} R^{i} π_{*}

、

ch

はチャーン指標、

td

は接束のトッド類、

π_{*}

は（複素数体上であれば）テンプレート:仮リンクである。基底 S が点、X が種数 g の滑らかな曲線、E が直線束 L であれば、左辺はオイラー標数になり、右辺は

π_{*} (e^{c_{1} (L)} (1 - c_{1} (T^{*} X) / 2)) = \deg (L) - g + 1

となる。

テンプレート:Visible anchor（good quotient）: 群スキーム G 作用を持つスキーム X のテンプレート:仮リンクとは、不変射 $f : X \to Y$ であって $(f_{*} 𝒪_{X})^{G} = 𝒪_{Y}$ を満たすもの。

テンプレート:Visible anchor（loop group）: テンプレート:仮リンク参照。この記事は代数幾何学でのループ群に触れてないので、テンプレート:仮リンクも参照。

テンプレート:Visible anchor（Lelong number）: テンプレート:仮リンク参照。

テンプレート:Visible anchor（level structure）: http://math.stanford.edu/~conrad/248BPage/handouts/level.pdf 参照。

テンプレート:Visible anchor（connected）: スキームが連結とは、位相空間として連結であること。連結成分であることは既約成分であることよりも緩い条件であるため、任意の既約スキームは連結であるが、逆は正しくない。アフィンスキーム Spec(R) が連結であることと、環 R が 0 と 1 以外のベキ等元を持たないことは同値である。このような環も連結環という。例：アフィン空間と射影空間は連結スキーム。Spec(k[x]×k[x]) は連結ではない。

テンプレート:Visible anchor（coherent sheaf）: ネータースキーム X 上の連接層とは、準連接層であって O_X 加群として有限生成であるもの。

わ行

英数

テンプレート:Visible anchor（F-regular）: テンプレート:仮リンクに関係するもの^[21]。

テンプレート:Visible anchor（G-bundle）: 主 G 束。

テンプレート:Visible anchor（GIT quotient）: テンプレート:仮リンク $X / / G$ とは、 $X = Spec A$ のときは $Spec (A^{G})$ 、 $X = Proj A$ のときは $Proj (A^{G})$ である。

テンプレート:Visible anchor: 曲線 C とその上の因子 D と部分ベクトル空間 $V \subset H^{0} (C, 𝒪 (D))$ が与えられたとき、線形系 $ℙ (V)$ が g^r_d であるとは、V の次元が r+1 かつ D の次数が d であること。そのような線形系が存在するとき、C が g^r_d を持つという。

テンプレート:Visible anchor（klt）: "川又ログ端末的"の省略形。

テンプレート:Visible anchor（p-divisible group）: 「テンプレート:仮リンク」参照。アーベル多様体の捩じれ点のようなもの。

テンプレート:Visible anchor（Proj）: 「テンプレート:仮リンク」参照。

テンプレート:Visible anchor（Q-factorial）: 正規多様体が $ℚ$ -分解的とは、全ての $ℚ$ -ヴェイユ因子が $ℚ$ -カルティエであること。

記号

テンプレート:Visible anchor: テンプレート:仮リンク。例：整アフィンスキームの零イデアルに対応する点。

テンプレート:Visible anchor: 1. X を射影スキーム、 $𝒪_{X} (1)$ をテンプレート:仮リンク、F を $𝒪_{X}$ 加群とする。 $F (n) = F \otimes_{𝒪_{X}} 𝒪_{X} (n)$ と定義する。; 2. X を任意のスキーム、D をその上のカルティエ因子、F を $𝒪_{X}$ 加群とする。 $F (D) = F \otimes_{𝒪_{X}} 𝒪_{X} (D)$ と定義する。D がヴェイユ因子で F が反射的なら、F(D) をその反射的包（reflexive hull）で置き換える。これも F(D) と表記される。

テンプレート:Visible anchor: 代数的閉体 k 上の正規完備代数多様体 X 上のヴェイユ因子 D のテンプレート:仮リンク。つまり、 $| D | = 𝐏 (Γ (X, 𝒪_{X} (D)))$ のこと。|D| の k 有理点の集合と、D と線形同値な X 上の有効ヴェイユ因子の集合は1対1に対応する^[22]。D が k 上の完備多様体上のカルティエ因子の場合も同じように定義する。

テンプレート:Visible anchor: 群スキーム G の作用による代数空間 X のテンプレート:仮リンク。

テンプレート:Visible anchor: テンプレート:仮リンクによるスキーム X のテンプレート:仮リンク。

テンプレート:Visible anchor: L の n テンソルベキを通常意味するが、L の自己交点数を意味する場合もある、やや曖昧な記号。X の構造層 $L = 𝒪_{X}$ の場合には、 $𝒪_{X}$ の n 個のコピーの直和。

テンプレート:Visible anchor: テンプレート:仮リンク。テンプレート:仮リンク $𝒪_{X} (1)$ の双対。

テンプレート:Visible anchor: テンプレート:仮リンク。テンプレート:仮リンク $𝒪_{X} (- 1)$ の双対。超平面束ともいう。

テンプレート:Visible anchor: 1. D が X 上のテンプレート:仮リンクのとき、D のイデアル層の逆。; 2. ほとんどの場合、 $𝒪_{X} (D)$ はカルティエ因子の群から X のピカール群 $Pic (X)$ （X 上の直線束の同型類のなす群）への自然な群準同型による D の像。; 3. 一般には、 $𝒪_{X} (D)$ は（テンプレート:仮リンク上の）テンプレート:仮リンク D に対応する層。局所自由とは限らないが、テンプレート:仮リンクである。; 4. D が ℚ-因子なら、 $𝒪_{X} (D)$ は D の整数部の $𝒪_{X}$ 。

テンプレート:Visible anchor: 1. $Ω_{X}^{1}$ は X 上のケーラー微分の層。; 2. $Ω_{X}^{p}$ は $Ω_{X}^{1}$ の p 個の外積べキ。

テンプレート:Visible anchor: 1. p が 1 のときは、X 上の D に沿ってのテンプレート:仮リンク（雑に言うと、因子 D で1位の極を持つ微分形式）の層。; 2. $Ω_{X}^{p} (\log D)$ は $Ω_{X}^{1} (\log D)$ の p 個の外積べキ。

テンプレート:Visible anchor

曖昧な記号。伝統的には、有限次元 k ベクトル空間 V のテンプレート:仮リンク。つまり

𝐏 (V) = Proj (k [V]) = Proj (Sym (V^{*}))

のこと（テンプレート:仮リンク k[V] のテンプレート:仮リンク）で、これの k 点は V の中の直線に対応する。一方、ハーツホーンや EGA では、P(V) は V の対称代数の Proj。

テンプレート:Visible anchor: 環 R の全ての素イデアルの集合にザリスキー位相を備えさせたもの。R のスペクトルという。

テンプレート:Visible anchor: O_X 代数 F のテンプレート:仮リンク。Spec(F)、もしくは単に Spec(F) とも表記される。

テンプレート:Visible anchor: 環 R の全ての付値の集合にある弱い位相をいれたもの。R のテンプレート:仮リンクというテンプレート:要出典。

脚注

テンプレート:Reflist

参考文献

テンプレート:Citation
テンプレート:EGA
テンプレート:EGA
テンプレート:EGA
テンプレート:EGA
テンプレート:EGA
テンプレート:EGA
テンプレート:EGA
テンプレート:EGA
テンプレート:Hartshorne AG
テンプレート:仮リンク, "Book on Moduli of Surfaces" available at his website [1]
Martin's Olsson's course notes written by Anton, https://web.archive.org/web/20121108104319/http://math.berkeley.edu/~anton/written/Stacks/Stacks.pdf
A book worked out by many authors.

代数幾何学用語一覧

目次

あ行

か行

さ行

た行

な行

は行

ま行

や行

ら行

わ行

英数

記号

脚注

参考文献

関連項目

ナビゲーションメニュー

代数幾何学用語一覧

あ行

か行

さ行

た行

な行

は行

ま行

や行

ら行

わ行

英数

記号

脚注

参考文献

関連項目

ナビゲーション メニュー

検索

ナビゲーションメニュー