代数幾何学用語一覧

代数幾何学用語一覧（だいすうきかがくようごいちらん、glossary of algebraic geometry）では、代数幾何学で使われる用語を一覧にまとめる。
、glossary of classical algebraic geometry、glossary of ring theoryも参照。数論的な応用についてはglossary of arithmetic and Diophantine geometry参照。
この記事では、簡単のために基底スキームについての明記をしばしば省略する。つまり、ある基底スキーム S 上のスキームのことを単にスキームと言ったり S 射のことを射と言ったりする。

**あ行**
 アーベル（abelian）
 1. アーベル多様体は完備な群多様体のこと。複素多様体 （代数多様体であるとき）や有限体  上の楕円曲線  など。
 2. abelian schemeはアーベル多様体の平坦族のこと。
 アフィン（affine）
 1. アフィン空間とは、おおまかに言うと原点がどこか忘れたベクトル空間のこと。
 2. アフィン多様体はアフィン空間の中の多様体。
 3. アフィン・スキームは環のスペクトルであるようなスキームのこと。
 4. affine morphismは、任意の開アフィン部分集合の原像がアフィンになる射のこと。ケレン味のある言い方をすると、アフィン射とは、OX 代数の層の大域的な Spec を環のスペクトルと同様な方法でとることにより作られた射のこと。ベクトル束や有限射などが重要なアフィン射。
 5. 射影空間の閉部分代数多様体 X 上のaffine coneは X の斉次座標環の Spec。
 アラケロフ幾何（Arakelov geometry）
 有理整数環 ℤ の Spec のコンパクト化上の代数幾何学。Arakelov geometry参照。
 アルティン（artinian）
 0次元かつネーターであること。スキームに対しても環に対しても使われる。
 アルティン・スタック（Artin stack）
 代数的スタックの別名。
 安定（stable）
 1. 安定曲線とは、おとなしい特異点を持つ曲線のこと。振る舞いのよいmoduli space of curvesを作るために使われる。
 2. stable vector bundleは、moduli space of vector bundlesを作るために使われる。
 一元体上の代数幾何学（algebraic geometry over the field with one element）
 目標の１つはリーマン予想を証明すること。「一元体」や参考文献を参照。
 因子的（divisorial）
 1. 正規多様体上のdivisorial sheafとは、あるヴェイユ因子 D で OX(D) とかける反射的層のこと。
 2. divisorial schemeとは、可逆層の豊富族があるスキームのこと。豊富な可逆層があるスキームが基本的な例。
 ヴェイユ因子（Weil divisor）
 余次元 1 のサイクルのこと。こちらのほうが標準的な呼び方。「因子 (代数幾何学)」参照。
 ヴェイユ相互律（Weil reciprocity）
 「Weil reciprocity」参照。
 エタール（étale）
 射 f : Y → Xがエタールとは、平坦かつ不分岐であること。同値な定義がいくつかある。 と  が代数的閉体上の滑らかな多様体の場合には、エタール射であることと接ベクトル空間に同型写像  が誘導されることは同値であり、微分幾何学におけるエタール写像と同じ概念である。エタール射は重要な射の種類である。étale topologyの定義に使われ、これから現在の代数幾何学の礎石の１つであるエタール・コホモロジーが作られる。
 円錐曲線（conic）
 次数が 2 の代数曲線。
 鉛筆（pencil）
 1 次元の線形系。
 オイラー列（Euler sequence）
 Euler sequenceとは、層の完全系列
: 
 のこと。ここで、Pn は体上の射影空間、最後のゼロではない項はtangent sheaf。

**か行**
 開（open）
 1. スキームの射 f : Y → Xが開（閉）とは、基礎位相空間の写像が開（閉）であること。つまり、Y の開部分スキームが X の開部分スキームに写されること（閉の場合も同様）。例えば、有限表示の平坦射は開で、固有写像は閉である。
 2. スキーム X の開部分スキームは、開部分集合 U に構造層  をつけたもの。
 可逆層（invertible sheaf）
 階数が 1 の局所自由層。乗法群  のtorsor (algebraic geometry)と言っても直線束と言っても同じこと。
 カステルヌオヴォ・マンフォード正則数（Castelnuovo–Mumford regularity）
  スキーム S 上の射影空間  上の連接層 F のCastelnuovo–Mumford regularityは、全ての i > 0 に対して
: 
 となる最小の整数 r のこと。
 堅い（rigid）
 infinitesimal deformationが自明なものしか存在しないこと。例えば、射影空間は  なので堅い（Kodaira–Spencer mapを使う）。
 堅くする（rigidify）
 "自己同型を無くす"というような意味で使われる言葉。使用例："レベル構造をいれて堅くする。"
 割線多様体（secant variety）
 secant varietyとは、与えられた射影多様体  の全ての  内の割線の合併の閉包のこと。
 ガブリエル・ローゼンバーグ再構成定理（Gabriel–Rosenberg reconstruction theorem）
 Gabriel–Rosenberg reconstruction theoremとは、スキーム X は X 上の準連接層の圏から復元できるという定理である。この定理はnoncommutative algebraic geometryの出発点である。noncommutative schemeを定義するには、この定理を公理とし、その上の準連接層の圏を定義すればよいからだ。
 https://mathoverflow.net/q/16257 も参照。
 カラビ・ヤウ（Calabi–Yau）
 カラビ・ヤウ計量とは、リッチ曲率がゼロであるケーラー計量のこと。
 カルティエ（Cartier）
 S 上のスキーム X の有効カルティエ因子 D は、X の閉部分スキームであって、S 上平坦かつそのイデアル層が可逆（階数が1で局所自由）であるもの。
 幾何学的商空間（geometric quotient）
 群スキーム G の作用を持つスキーム X のgeometric quotientとは、ファイバーが軌道となるような良い商のこと。
 幾何学的性質（geometric property）
 体 k 上のスキーム X の性質が"geometrically (algebraic geometry)"とは、任意の体の拡大  についての  で成り立つこと。
 幾何学的点（geometric point）
 代数的閉体のスペクトルのこと。
 幾何種数（geometric genus）
 滑らかな n 次元射影多様体 X のgeometric genusとは
:
 のこと。等号はセール双対性による。
 軌道体（orbifold）
 近年では、orbifoldは可微分多様体の圏上のDeligne–Mumford stackとして定義されることが多い。
 帰納スキーム（ind-scheme）
 ind-schemeはスキームの閉埋入の帰納的極限。
 既約（irreducible）
 スキーム X が既約とは、位相空間として、片方が X そのものでない限り2つの閉部分集合の和集合としてかけないことをいう。アフィンスキームの素イデアルと点の対応を使うと、X が既約であることと、X が連結かつ環 Ai は全て極小素因子をちょうど１つ持つことは同値であることが分かる。このことから、ちょうど１つの極小素因子を持つ環はIrreducible ringと呼ばれる。任意のネータースキームは、一意的に有限個の空ではない極大既約閉部分集合（既約成分と呼ばれる）の和集合としてかける。アフィン空間と射影空間は既約だが、Spec kx,y/(xy) = 50px は既約ではない。
 球面多様体（spherical variety）
 spherical varietyとは、正規 G 多様体（G は連結な簡約群）であって G のボレル部分群による稠密な開軌道を持つもの。
 強変換（strict transform）
 閉部分スキーム Z に沿ってのブロー・アップ  と射  が与えられたとする。Y のstrict transform（固有変換ともいう）とは、閉部分スキーム  に沿っての Y のブロー・アップ  のこと。f が閉埋入なら、誘導された写像  も閉埋入である。
 局所有限型（finite type (locally)）
 射 f : Y → X が局所有限型とは、 にアフィン開集合  による被覆があり、 それぞれの逆像  がアフィン開集合  により被覆され、 全ての  が  代数として有限生成であること。射 f : Y → X が有限型とは、 にアフィン開集合  による被覆があり、全ての逆像  が有限個のアフィン開集合  により被覆され、それぞれの  が  代数として有限生成であること。
 局所一意化（local uniformization）
 local uniformizationは、付値環を使って弱い形での特異点解消を構成する方法。
 局所的（local）
 スキームの重要な性質の多くは局所的な性格を持っている。つまり、スキーム X がある性質 P を持つのは、X の開部分スキーム Xi による任意の被覆 X=  Xi において全ての Xi が性質 P を持つとき、かつそのときに限る。普通は、１つの被覆についてチェックすれば十分で、全てについてチェックする必要はない。ザリスキー位相とétale topologyのような他の位相を区別したいときは、ザリスキー局所的な性質ともいう。スキーム X とアフィン開部分スキーム Spec Ai による被覆を考える。環とアフィン・スキームの対応を使うと、局所的性質とは環 Ai の性質である。性質 P が上述の意味で局所的であるのは、対応する環の性質が局所化に関して閉じているとき、かつそのときに限る。例えば、ネーター環のスペクトルで被覆されるものを局所ネータースキームという。ネーター環の局所化は再びネーターであることから、局所ネーターというスキームの性質は上述の意味で局所的である（なのでこの名前がつけられている）。もう１つの例は、環が被約（ゼロでない冪零元を持たないこと）であることである。被約なら、その局所化もそうである。非局所的な性質の例は、分離性である（定義は後述 #分離的）。任意のアフィンスキームは分離的なので、任意のスキームは局所的には分離的である。しかし、アフィンスキームを病的な方法で貼り合わせると非分離的なスキームができあがる。次は、スキームに適用される環の局所的性質の（網羅的ではない）一覧である。X = Spec Ai をスキームのアフィン開部分スキームによる被覆とする。簡単のために、以下では k を体とする。ほとんどの例は底が整数環 Z でも、あるいはより一般の底でも通用する。連結、既約、被約、整、正規、正則、コーエン・マコーレイ、局所ネーター、次元、鎖状。
 局所完全交叉（local complete intersection）
 局所環が完全交叉環であること。regular embeddingも参照。
 局所ネーター（locally Noetherian）
 Ai がネーター環。加えて、有限個のそのようなアフィンスペクトルで X を被覆することができるとき、スキームはネーターであるという。ネーター環のスペクトルはネーター的位相空間であるが、逆は正しくない。例えば、有限次元の代数幾何学におけるほとんどのスキームは局所ネーターであるが、 はそうではない。
 局所分解的（locally factorial）
 局所環が一意分解環であること。
 局所有限型（locally of finite type）
 射 f : Y → X が局所有限型とは、 にアフィン開集合  による被覆があり、 逆像  はそれぞれアフィン開集合 によって被覆され、 は  代数として有限生成であること。
 曲線（curve）
 1次元代数多様体。
 曲面（surface）
 2次元の代数多様体。
 巨大（big）
 n  次元 X 上のbig line bundle L とは、 が成り立つ直線束のこと。
 クォートスキーム（Quot scheme）
 Quot schemeは、射影スキーム上の局所自由層の商をパラメトライズする。
 グラウエルト・リーメンシュナイダー消滅定理（Grauert–Riemenschneider vanishing theorem）
 Grauert–Riemenschneider vanishing theoremは小平消滅定理を高次順像層に拡張したもの。https://arxiv.org/abs/1404.1827 も参照。
 倉西写像（Kuranishi map）
 Kuranishi structure参照。
 クレパント（crepant）
 正規多様体の間の射  がcrepant morphismであるとは、 が成り立つこと。
 グロタンディークの消滅定理（Grothendieck's vanishing theorem）
 Grothendieck's vanishing theoremはlocal cohomologyに関するもの。
 群スキーム（group scheme）
 group schemeとは、スキームであってその点の集合が群の構造を持つもの。
 群多様体（group variety）
 "滑らかな"代数群の古い呼び方。
 形式（formal）date=2021年11月
 formal scheme参照。
 ケンプ消滅定理（Kempf vanishing theorem）
 Kempf vanishing theoremは旗多様体の高次コホモロジーの消滅に関するもの。
 コーエン・マコーレイ（Cohen–Macaulay）
 スキームがコーエン・マコーレイとは、全ての局所環がコーエン・マコーレー環であること。例：正則スキームと Spec kx,y/(xy) はコーエン・マコーレイ。50pxはコーエン・マコーレイではない。
 小平次元（Kodaira dimension）
 1. 半豊富な直線束 L の小平次元（飯高次元とも呼ばれる）とは、L の切断環の Proj の次元のこと。
 2. 正規多様体 X の小平次元とは、その標準層の小平次元のこと。
 小平消滅定理（Kodaira vanishing theorem）
 「小平消滅定理」参照。
 コックス環（Cox ring）
 斉次座標環の一般化。「Cox ring」参照。
 固有（proper）
射が固有とは、分離的かつ絶対閉（任意のファイバー積が閉写像であること）かつ有限型であること。射影的射は固有である。しかし逆は一般には正しくない。「complete variety」も参照。固有射の深い性質の1つはStein factorizationの存在である。つまり、ある中間的なスキームが存在して、このスキームへの連結ファイバーを持つ射と有限射に分解できる。
 ゴレンシュタイン（Gorenstein）
 1. Gorenstein schemeとは、局所ネータースキームであってその局所環がゴレンシュタイン環であるもの。
 2. 正規多様体が ℚ-ゴレンシュタインとは、標準因子が ℚ-カルティエであること（コーエン・マコーレイである必要はない）。
 3. 標準因子がカルティエのときに正規多様体をゴレンシュタインと呼ぶ人もいる。これは 1. とは不整合な使い方。
 コンパクト化（compactification）
 例えば「Nagata's compactification theorem」参照。

**さ行**
 鎖状（catenary）
 スキームが鎖状とは、2つの既約な閉部分スキームの間の鎖が全て同じ長さであること。体上の多様体などほぼ全てがこれであり、鎖状でない例を作るのは困難。
 ザリスキー・リーマン空間（Zariski–Riemann space）
 Zariski–Riemann spaceとは、局所環付き空間であって、その点が付値環であるもの。
 算術種数（arithmetic genus）
 r 次元射影多様体 X のarithmetic genusとは、 のこと。
 次元（dimension）
 dimension of an algebraic varietyは、既約閉部分スキームの鎖の最大の長さと定義される、大域的な性質である。スキームが既約であれば局所的である。これは位相にのみ依存し、構造層には依存しない。「大局次元」も参照。例：equidimensional schemeは、次元 0 のものはアルティンスキーム、1 のものは代数曲線、2 のものは代数曲面。
 次数（degree）
 1. 完備多様体上の直線束 L の次数は、整数 d で  が成り立つもの。
 2. 体 k 上の完備多様体  上のサイクル x の次数は 。
 3. 有限射の次数については「代数多様体の射#有限射の次数」参照。
 支配的（dominant）
 射 f : X → Y が支配的とは、像 f(X) が稠密であること。アフィンスキームの射 Spec A → Spec B が稠密であることと、対応する写像 B → A の核が B のベキ零根基に含まれることは同値。
 射（morphism）
 1. 多様体の射は局所的に多項式
 2. スキームの射は局所環付き空間としての射
 3. スタックの（S スキームの圏上の）射  とは、 となる関手のこと。ここで  は基底の圏への構造写像。
 ジャーブ（gerbe）
 gerbeとは、おおまかに言うとスタックであって局所的に空ではなく中の2つの対象が局所同型であるようなもの。
 射影公式（projection formula）
 projection formulaとは、与えられた、スキームの射 、 加群 、有限階数の局所自由  加群  に対して、自然同型
:
が成り立つという公式である。一言でいうと、 は局所自由層の作用に関して線形である。
 射影束（projective bundle）
 E をスキーム X 上の局所自由層とする。E のprojective bundle P(E) とは、E の双対の対称代数の大域的 Proj
:
のこと。この定義が今では標準的なもの（例えば、フルトンの『Intersection theory』）であるが、EGA やハーツホーンにおけるものとは異なる。これらでは双対を取っていない。
 射影的（projective）
 1. 射影多様体は、射影空間の閉部分代数多様体のこと。
 2. スキーム S 上の射影スキームとは、S スキームであって構造射がある射影空間  の閉部分スキームを介して分解できるもののこと。
 3. 射影的射はアフィン射と同様に定義される。f : Y → X が射影的とは、射影空間  への閉埋入とこの射影空間から  への射影に分解できることをいう。この定義は EGA II.5.5.2. における定義より制約の強いものである。後者では、 が射影的であることを、準連接次数付き OX 代数 のglobal Proj で、しかも  が有限生成かつこれにより  が生成されることと定義している。 がアフィン、あるいはより一般に準コンパクトかつ分離的かつ豊富層が存在するならば、2つの定義は一致する。例えば、 が環  上の射影空間  の開部分スキームの場合などである。
 射影的に正規（projectively normal）
 「#正規」参照。
 弱正規（weakly normal）
 スキームが弱正規とは、自身への有限な双有理射が同型写像になること。
 終（final）
 グロタンディークの基本的なアイデアの１つは、関係性を重視すること、つまりスキームそれ自身ではなく射を考えることであった。スキームの圏は整数環  のスペクトルを終対象として持つ。したがって、任意のスキーム  は一意的な方法で  上にある。
 シューベルト（Schubert）
 1. Schubert cellとは、グラスマン多様体  上の、標準的なボレル部分群 B（上三角行列のなす群）の軌道のこと。
 2. Schubert varietyとは、シューベルト・セルの閉包のこと。
 種数（genus）
 「#算術種数」と「#幾何種数」参照。
 種数公式（genus formula）
 射影平面の中の結節曲線についてのgenus formulaとは、曲線の種数は
: 
 で計算できるという公式。ここで、d は曲線の次数、δ は結節点の数（曲線が滑らかなら0）である。
 準コンパクト（quasi-compact）
 射 f : Y → X が準コンパクトとは、ある（全て、と言っても同じこと） X のアフィン開被覆 Ui = Spec Bi が存在して、原像 f−1(Ui) が準コンパクトになること。
 純次元（pure dimension）
 スキームが純次元 d を持つとは、各既約成分の次元が d であること。
 準射影（quasi-projective）
 quasi-projective varietyとは、局所的に閉な射影空間の部分代数多様体のこと。
 準分離的（quasi-separated）
 射 f : Y → X がquasi-separated（ Y は  X 上準分離的ともいう）とは、対角射 Y → Y ×XY が準コンパクトであること。スキーム Y が準分離的とは、Y が Spec(Z) 上準分離的であること。
 準有限（quasi-finite）
 射 f : Y → X が有限ファイバーとは、全ての点  のファイバーが有限集合であること。射が準有限とは、有限型かつ有限ファイバーであること。
 準連接（quasi-coherent）
 ネータースキーム X 上の準連接層とは、OX 加群の層で局所的に加群で与えられるもののこと。
 商スタック（quotient stack）
 quotient stackは、スキームや多様体の商を一般化したもの。通常 X/G と表記される。
 随伴公式（adjunction formula）
 1. X を代数多様体、D をその上の有効なカルティエ因子とし、ともにdualizing sheaf  があったとする。このとき、
:: 
: が成り立つ。これを随伴公式という。
 2. X と D が滑らかであれば、この公式は次と同値:
:: 
: ここで  は D と X の標準因子。
 スキーム（scheme）
 スキームとは、局所的には可換環のスペクトルである局所環付き空間のこと。
園（stack）
 スタックは自己同型を持つ点の集合をパラメトライズする。
 整（integral）
 被約かつ既約なスキームは整と呼ばれる。局所ネータースキームに対しては、整であることと整域のスペクトルで被覆できる連結スキームであることは同値である。（厳密に言えば、2つの整スキームの非交和は整ではないので、これは局所的性質ではない。しかし、既約なスキームについては、これは局所的性質である。）例：スキーム Spec kt/f は f が既約多項式なら整。Spec A×B は（A, B ≠ 0 なら）整ではない。
 正規（normal）
 1. 局所環が整閉整域である整スキームのことをnormal schemeという。例えば、全ての正則スキームは正規だが、特異点のある曲線は正規ではない。
 2. 滑らかな曲線  が k 正規とは、次数 k の超曲面が完備線形系  を切断すること。全ての k > 0 に対して k 正規であるとき、射影的に正規という。"曲線は、埋め込みに対応する線形系が完備であるとき射影的に正規"といってもいい。"線形正規"は 1 正規と同義。
 3. 閉部分代数多様体  が射影的に正規とは、X 上のアフィン被覆がnormal schemeであること。つまり、X の斉次座標環が整閉整域であること。これは 2. における定義と整合的である。
 正規交差（normal crossings）
 「normal crossings」参照。
 正規生成（normally generated）
 代数多様体 X 上の直線束 L が正規生成とは、全ての整数 n > 0 に対し自然な写像  が全射であること。
 性質P（property P）
 P をスキームの性質で、基底変換してもこの性質が失われないようなものとする。例えば、"有限型"、"固有"、"滑らか"、"エタール"などである。このとき、表現可能な射  が性質 P を持つとは、任意の  （B はスキーム）に対して、基底変換  が性質 P を持つことをいう。
 生成点（generic point）
 稠密な点。
 正則（regular）
 regular schemeとは、局所環が正則局所環であるスキームのこと。例：体上のsmooth schemeは正則。一方、Spec kx,y/(x2+x3-y2)==50px は正則ではない。
 正則関数（regular function）
 代数多様体からアフィン直線への射。
 正則埋入（regular embedding）
 closed immersion  がregular embeddingであるとは、X の任意の点に対して Y のあるアフィン近傍が存在し、そこにおける X のイデアルが正則列で生成されること。i が正則埋入なら、i のconormal sheaf、つまり X のイデアル層を  と置くと  で定義される層は局所自由である。
 セール双対性（Serre duality）
 「#双対化層」参照。
 セールの条件 Sn（Serre's conditions Sn）
 Serre's conditions on normality参照。https://mathoverflow.net/q/22228 も参照。
 普遍的（universally）
 射がある性質を絶対的に（もしくは強く、普遍的に）持つとは、その射の全ての基底変換が同じ性質を持つことを言う。例：強鎖状、絶対閉射（普遍的閉と訳されることもある）。
 切断環（section ring）
 スキーム X 上の直線束 L のsection ring（切断の環ともいう）とは、次数付き環  のこと。
 接ベクトル空間（tangent space）
 「ザリスキー接空間」参照。
 線形化（linearization）
 equivariant sheaf/ベクトル束の構造についての他の言い方。
 像（image）
 f : Y → X をスキームの射としたとき、f のスキーム論的像とは、次の普遍性を満たす一意に定まる閉部分スキーム i : Z → X のことをいう。
# f は i を経由する
# j : Z′ → X を X の任意の閉部分スキームで f が j を経由するものとしたとき、i もまた j を経由する
 この概念は f の通常の集合論的像 f(Y) とは異なる。例えば、Z の基礎位相空間は常に X における f(Y) のザリスキー閉包を含む（が必ずしも一致しない）。それゆえ、Y が X の任意の開（そして閉ではない）部分スキームで f が包含写像なら、Z は f(Y) とは異なる。Y が被約なら、Z は被約閉部分スキームの構造をいれた f(Y) のザリスキー閉包になる。しかし一般的には、f が準コンパクトでない限り Z の構成は X 上局所的ではない。
 双対化層（dualizing sheaf）
 純次元 n の射影的なコーエン・マコーレイ・スキーム上のdualizing sheafとは、X 上の連接層 であって X 上の任意の局所自由層 F に対して
:
 を満たすもの。X が滑らかな射影多様体の場合には、標準層がこれにあたる。
 双対化複体（dualizing complex）
 「Coherent duality」参照。
 双有理射（birational morphism）
 双有理射とは、スキームの射で、ある稠密な開部分集合に制限すると同型写像となるもの。ブローアップが典型例。

**た行**
 大域切断によって生成される層（sheaf generated by global sections）
 大域切断の集合で全ての点における層の茎が張られる層のこと。「加群の層」参照。
 退化（degeneration）
 1. スキーム X がスキーム （X の極限という）にdegeneration (algebraic geometry)するとは、generic fiber（一般ファイバーとも）が X かつspecial fiberが  であるようなスキーム  が存在することをいう。
 2. flat degenerationは、 が平坦であるような退化のこと。
 退化軌跡（degeneracy locus）
 代数多様体 X 上のベクトル束の写像  （束の全空間の間の X 射のこと）が与えられたとき、degeneracy locusとは次の（スキーム論的な）軌跡のことをいう。
:
 対称多様体（symmetric variety）
 symmetric spaceの類似物。「symmetric variety」参照。
 対数幾何学（logarithmic geometry）
 対数構造（log structure）
 log structure参照。フォンテーヌ、イリュジー、加藤によるもの。
 代数幾何学（algebraic geometry）
 代数幾何学は代数方程式の解を研究する数学の分野。
 EGA（Éléments de géométrie algébrique）
 代数幾何原論（EGA）は、代数多様体の一般化であるスキームの概念を用いて代数幾何学の基礎を構築しようとした、未完に終わった試みである。Séminaire de géométrie algébrique では EGA で扱われなかったものが取り上げられている。代数幾何学の標準的な参考文献の１つ。
 代数空間（algebraic space）
 algebraic spaceは、スキームのétale equivalence relationによる商のこと。
 代数群（algebraic group）
 代数群は、群でもある代数多様体で、群演算が多様体の射となっているもののこと。
 代数多様体（algebraic variety）
 体 k 上の代数多様体とは、 上有限型かつ整かつ分離的なスキーム。k が代数的閉体と仮定しない場合には少し病的なことが起こる。例えば、 は、座標環  が整域ではないので多様体ではなくなる。
 代数多様体のグロタンディーク環（Grothendieck ring of varieties）
 Grothendieck ring of varietiesとは、代数多様体の同型類で生成される自由アーベル群を関係式
:
 で割ったもの。ここで Z は代数多様体 X の閉部分代数多様体である。乗法は
:
 と定義する。
 代数的集合（algebraic set）
 体 k 上の代数的集合は、 上有限型な被約かつ分離的なスキームのこと。既約な代数的集合は代数多様体と呼ばれる。
 代数的スキーム（algebraic scheme）
 体上有限型で分離的なスキームのこと。代数多様体は被約かつ既約な代数的スキーム。
 代数的ベクトル束（algebraic vector bundle）
 有限階数の局所自由層。
 楕円曲線（elliptic curve）
 楕円曲線とは、種数 1 の滑らかな射影曲線のこと。
 多重種数（plurigenus）
 滑らかな射影多様体の第 n 多重種数とは、 のこと。ホッジ数も参照。
 多様体（variety）
 代数多様体と同じ意味。
 単純（simple）
 「単純点」は「滑らかな点」の古い言い方。
 チャウ群（Chow group）
 滑らかな多様体 X の k 次チャウ群  は、k 次元閉部分代数多様体で生成された自由アーベル群（k サイクルの群）をrational equivalenceで割ったもの。
 中心ファイバー（central fiber）
 1. 特殊ファイバーのこと。
 超楕円（hyperelliptic）
 曲線が超楕円曲線とは、g12 であること（つまり、次元 1 かつ次数 2 の線形系が存在すること）
 超平面束（hyperplane bundle）
 Serre's twisting sheaf  の別名。これはtautological line bundleの双対でもあるので、こう呼ばれる。
 定理（theorem）
 「Zariski's main theorem」、「theorem on formal functions」、「cohomology base change theorem」、「:Category:代数幾何学の定理」などを参照。
 点（point）
スキーム  は局所環付き空間なので、基礎となる位相空間を持っている。しかし  の点には次の三種類の意味がある。
# 基礎位相空間の点 。
#  の  値点。 は任意のスキーム。 から  への射のこと。
# 幾何学的点。 が体  の  上定義され（かつこれへの射を備えており）ているとき、 の代数的閉包  のスペクトラム  から  への射へのことをいう。
 幾何学的点が古典的な意味での点に最も近いもので、例えば複素多様体であるような代数多様体の場合、これが通常の意味での点に対応する。基礎空間の点  は（ザリスキーやアンドレ・ヴェイユの意味での）generic pointの類似物も含んでいる。これは通常の意味での点に特殊化できる。 値点は、米田の補題により  をrepresentable functor  だと思う方法である。古くから、射影幾何学では元の対象を改善し幾何学を単純化するために点を付け加えるということを行ってきた。例えば、複素数の点を付け加え、無限遠直線を付け加えてきた。 値点はこれをさらに大きく進めたものである。広く普及しているGrothendieck's relative point of viewの一部として、射のファイバーにも対応する3つの概念がある。1つ目は素朴な点のinverse imageに対応する。残りの2つは、2つの射のファイバー積により対応するものが得られる。例えば、射 の幾何学的ファイバーは
:
である。スキームのファイバー積は代数のテンソル積（アフィンスキームの場合のファイバー積はテンソル積により得られる）の一般化であり、（一度理解してしまえば）とても便利に使える演算である。
 同変交叉理論（equivariant intersection theory）
 http://www.math.ubc.ca/~behrend/cet.pdf の chapter II 参照。
 導来代数幾何学（derived algebraic geometry）
 可換環の代わりに（commutative）ring spectraを使う代数幾何学。導来代数幾何学参照。
 トートロジー的直線束（tautological line bundle）
 射影スキーム X のtautological line bundleとは、Serre's twisting sheaf  の双対のこと。つまり 。
 トーラス（torus）
 algebraic torusとは、有限個の乗法群  の積のこと。
 トーラス埋込み（torus embedding）
 トーリック多様体の古い言い方。
 トーリック多様体（toric variety）
 トーリック多様体とは、トーラスの作用を持つ正規多様体であって、トーラスを稠密な開集合軌道として持つもの。
 特異点解消（resolution of singularities）
 スキーム X の特異点解消とは、固有な双有理射  であって Z がsmooth schemeであるもの。
 特殊（special）
 滑らかな曲線 C 上の因子 D がspecial divsorとは、特殊指数と呼ばれる数値  が正であること。
 トロピカル幾何学（tropical geometry）
 区分的に線形な代数幾何学の一種。「トロピカル幾何学」参照。

**な行**
 滑らかな（smooth）
 1.
 エタール射の高次元類似物が滑らかな射。滑らかな射には多くの同値な定義がある。次は射 f : Y → X が滑らかであることの同値な定義。
:1) 任意の y ∈ Y に対し y のアフィン開近傍 V と x=f(y) のアフィン開近傍 U が存在し、f を V に制限したものは U 上のアフィン n 空間 へのエタール射と射影の合成でかける。
:2) f は平坦かつ局所的に有限表示かつ Y の全ての幾何学的点 （代数的閉体のスペクトル  から Y への射）に対し幾何学的ファイバー  は  上の（古典的な代数幾何学での意味で）滑らかな n 次元多様体。
 2. 完全体 k 上のsmooth schemeとは、k 上局所有限型のregular scheme X のこと。
 3. 体 k 上の滑らかなスキームとは、幾何的に滑らか、つまり  が滑らかなスキーム X のこと。
 ネフ（nef）
 nef line bundle参照。

**は行**
 旗多様体（flag variety）
 旗多様体はベクトル空間のFlag (linear algebra)をパラメトライズするもの。
 反射的層（reflexive sheaf）
 連接層がreflexive sheafとは、2回双対をとった層への標準写像が同型写像になること。
 ピカール群（Picard group）
 X のピカール群とは、X 上の直線束の同型類全体にテンソル積で乗法を定義した群のこと。
 非常に豊富（very ample）
 多様体 X 上の直線束 L が非常に豊富とは、ある X の射影空間への埋め込みが存在して、L は射影空間上のセールのねじり層 O(1) の制限になっていること。
 非特異（nonsingular）
 "滑らか"の古風な言い方。smooth varietyにおけるのと同様。
 被約スキーム（reduced）
 1. 可換環  が被約とは、非零なベキ零元を持たない、つまりベキ零根基が零イデアルである  こと。 が被約とは  が被約スキームであること、と言い換えることもできる。
 2. スキーム X が被約とは、その茎  が被約環であること。X が被約とは、各開部分集合  に対して  が被約環であること、つまり  は非零なベキ零切断を持たないこととも言い換えられる。
 表現可能な射（representable morphism）
 スタックの射  で、スキーム B からの任意の射  に対して基底変換  が代数空間であるもの。"代数空間"を"スキーム"で置き換えた主張が成り立つとき、強表現可能という。
 標準（canonical）
 1. n 次元正規多様体 X 上の標準層とは、 のこと。ここで、i はsmooth locus U の包含写像で、 は U 上の n 次の微分形式の層。基礎体の標数が 0 なら、正規性を仮定する代わりに i を特異点解消で置き換えてもよい。
 2. 正規多様体 X 上のcanonical class  は、 となるような因子類のこと。
 3. 標準因子は、標準因子類  の代表元。これも同じ記号で表される。well-defined ではない。
 4. 正規多様体 X の標準環は、標準層の切断から得られる環。
 標準モデル（canonical model）
 canonical model (algebraic geometry)は標準環（有限生成と仮定）の Proj construction。
 ヒルベルト多項式（Hilbert polynomial）
 体上の射影スキーム X のヒルベルト多項式とは、オイラー標数  のこと。
 ファイバー（fiber）
 スキームの射  が与えられたとき、y 上の f のファイバーとは、集合としての原像  のこと。ファイバー積  として y の剰余体上のスキームとして自然な構造を持つ。ここで、y の剰余体の Spec である  は、自然に Y 上のスキームとしての構造を持っている。
 ファイバー積（fiber product）
 1. 圏論における「引き戻し」の別名。
 2. 与えられた  に対するスタック 。これの B 上の対象は3つ組 (x,y, ψ) で、x は F(B) に含まれるもの、y は H(B) に含まれるもの、ψ は G(B) における同型写像  である。(x,y,ψ) から (x' ,y' ,ψ') への射は射の組  であって  を満たすものである。自然な射影による四角形の図式は可換ではないが、自然な同型による違いを除いて可換、つまり2-commuteである。
 ファノ（Fano）
 ファノ多様体とは、滑らかな射影多様体 X であって反標準層  が豊富であるもの。
 不分岐（unramified）
  を  の点とし、局所環の射
:
 を考える。 を  の極大イデアルとし、
:
 を  の  における像で生成されたイデアルとする。射  がunramified morphism（resp. G 不分岐）とは、局所有限型（resp. 局所有限表示）かつ  の全ての点  に対して  が  の極大イデアルで、誘導される写像
:
が有限次分離拡大であることを言う。これは代数的整数論における不分岐拡大の幾何学版であり、一般化にもなっている。
 部分スキーム（subscheme）
 特に条件をつけず X の部分スキームと言ったときは、X の開部分スキームの閉部分スキームのこと。
 普遍（universal）
 1. モジュライ関手 F があるスキームもしくは代数空間 M で表現可能であったとき、universal objectとは F(M) の要素で恒等射 M → M（これは M の M 値点である）に対応するもののこと。F の値が（付加的な構造とセットの）曲線の同型類なら、普遍対象はModuli of curves（万有曲線という訳語もある）ともいう。tautological bundleも普遍対象の例の1つと言える。
 2.  を種数 g の滑らかな射影曲線のモジュライ空間、 を種数 g の1標点付きの滑らかな射影曲線のモジュライ空間とする。忘却写像
:
 を普遍曲線と呼んでいる文献も多い。
 プリュッカー埋め込み（Plücker embedding）
 Plücker embeddingとは、Grassmannian varietyの射影空間へのclosed embeddingのこと。
 ブロー・アップ（blow-up）
 ブロー・アップは、閉部分スキームを有効なカルティエ因子に置き換える双有理変換。正確には、ネータースキーム X の閉部分スキーム  に対し、Z に沿っての X のブロー・アップとは、固有射  で (1)  が有効なカルティエ因子（例外因子と呼ばれる）で、(2)  は(1)に関して普遍となるもの。具体的には、Z に対応するイデアル層についての  のリース代数の相対的な Proj をとることにより作られる。
 分離的（separated）
 separated morphismとは、射  であって  と  のファイバー積の対角線が閉部分スキームとなるもの。diagonal morphism (algebraic geometry)がclosed immersionである、とも言い換えられる。
 分類スタック（classifying stack）
 torsor (algebraic geometry)についての分類空間の代数幾何における類似物。classifying stack参照。
 閉（closed）
 スキーム X の閉部分スキームとは次のように作られるもの。J を  sheaf of idealsである準連接層とする。quotient sheaf  のsupport of a sheafは X の閉部分集合 Z であり、 はスキームになる。これを準連接sheaf of ideals J により定義される閉部分スキームという。開部分集合と違って閉部分スキームの定義がこのような構成による理由は、スキームの閉部分集合の部分スキームとしての構造は複数あるからである。
 平坦（flat）
 射  が平坦とは、茎に誘導される環準同型が平坦であること。射 f : Y → X を  の点でパラメータづけられたスキームの族と考えたとき、平坦性の幾何的な意味は、ファイバー  があまり乱暴には変化しないということ。
 ベーレント関数（Behrend function）
 （良い）スタック X のBehrend functionに関するweighted Euler characteristicは、X のvirtual fundamental classの次数。
 ベーレントの跡公式（Behrend's trace formula）
 Behrend's trace formula はBehrend's trace formulaを一般化したもの。ともに l 進コホモロジーのArithmetic and geometric Frobeniusの跡を計算する公式。
 偏極（polarization）
 射影空間への埋め込み。
 変形（deformation）
  をスキームの射、X を S スキームとする。S スキーム X が X の変形であるとは、X の引き戻しが X であることをいう。X が平坦であることを仮定することが多い。
 ポアンカレ留数写像（Poincaré residue map）
 Poincaré residue参照。
 法（normal）
 1. X をスキーム Y の閉部分スキーム、I を対応するイデアル層とする。X のnormal sheafとは、 のこと。X の Y への埋め込みがregular embeddingなら、これは局所自由であり、normal bundleと呼ばれる。
 2. X へのNormal bundle#Algebraic geometryとは、 のこと。X が Y に正則に埋め込まれてるなら、法錐は X への法束の全空間  と同型。
 豊富（ample）
 射影多様体上の直線束が豊富とは、何度かテンソル巾をとると非常に豊富になること。
 ホッジ束（Hodge bundle）
 （種数を固定した）moduli space of curves上のHodge bundleとは、簡単にいうと、ベクトル束であって曲線 C 上のファイバーがベクトル空間  であるもの。
 本質的に有限型（essentially of finite type）
 有限型スキームの局所化。

**ま行**
 埋入（immersion）
 埋入 f : Y → X は部分スキームの同型写像を経由する写像のこと。開埋入は開部分スキームとの同型写像を経由するもの、closed immersionは閉部分スキームとの同型写像を経由するもの。f が閉埋入であることと、これが Y の基礎位相空間から X の基礎位相空間の閉部分集合への同相写像を誘導し射  が全射になることは同値である。埋入の合成はまた埋入になる。書籍『Algebraic Geometry』（ハーツホーン著）や 『Algebraic Geometry and Arithmetic Curves』（Q. Liu著）では、開埋入に閉埋入を合成したものとして埋入を定義している。この意味での埋入は上述の意味での埋入になるが、逆は正しくない。更に、この定義のもとでは、2つの埋入の合成は必ずしも埋入とはならない。しかし、f が準コンパクトであれば、この2つの定義は同値である。なお、開埋入は位相空間の意味での像で完全に決まるが、閉埋入はそうではない。 と  は同相だが同型ではないことがある。例えば、I が J の根基で、J が根基イデアルではない場合など。スキームとしての構造に言及することなくスキームの閉部分集合に言及した場合には、いわゆる被約スキームの構造をいれて考えていることが多い。つまり、その閉部分集合で消える全ての関数からなる一意的な根基イデアルに対応するスキーム構造で考えている。
 モジュライ（moduli）
 例えばモジュライ空間参照。
 森の極小モデルプログラム（Mori's minimal model program）
 森の極小モデルプログラムは、3次元以上の代数多様体の双有理分類を目指すresearch program。

**や行**
 ヤコビ多様体（Jacobian variety）
 射影曲線 X のヤコビ多様体とは、ピカール多様体  の次数ゼロ部分のこと。
 有限（finite）
 射 f : Y → X が有限とは、 にアフィン開集合  による被覆があり、 がアフィンで、これを  とかくと、 が  上有限生成加群となっていること。有限射参照。有限射は準有限だが、有限なファイバーを持つ射は必ずしも準有限とは限らず、また有限型の射は多くの場合準有限ではない。
 有限表示（finite presentation）
 Y の点 y に対し、射 f が y で有限表示（y で有限に表示されるともいう）とは、f(y) のアフィン開近傍 U と y のアフィン開近傍 V が存在して、f(V) ⊆ U かつ  が  上finitely presented algebraであること。射 f が局所有限表示とは、Y の全ての点で有限表示であること。X が局所ネーターなら、f が局所有限表示であることと局所有限型であることは同値。射 f : Y → X が有限表示（Y は X 上有限表示ともいう）とは、局所有限表示かつ準コンパクトかつ準分離的であること。X が局所ネーターなら、f が有限表示であることと有限型であることは同値。
 有限ファイバー（finite fibers）
 射 f : Y → X が有限ファイバーを持つとは、任意の点  のファイバーが有限集合であること。射が準有限とは、有限型かつ有限ファイバーを持つこと。
 有理（rational）
 1. 代数的閉体上、代数多様体が有理であるとは、射影空間と双有理同値であること。例えば、有理曲線や有理曲面とは、 と双有理同値であるもののこと。
 2. 体 k と相対的なスキーム X → S に対し、X の k 有理点とは、S 射  のこと。
 有理関数（rational function）
 関数体  の要素のこと。ここで、極限は（既約）代数多様体 X の開部分集合 U の座標環全てを渡るようにとる。函数体も参照。
 有理正規曲線（rational normal curve）
 rational normal curveとは、次の写像の像のこと。
:.
d = 3 のときはtwisted cubicともいう。
 有理特異点（rational singularities）
 標数0の体上の代数多様体 X がrational singularitiesを持つとは、特異点解消  であって  かつ  であるようなものが存在することをいう。

**ら行**
 リーマン・フルヴィッツの公式（Riemann–Hurwitz formula）
  を滑らかな射影曲線の間の分離的（separable）な有限射とする。 が馴分岐（暴分岐が無い）、例えば標数0の体上で考えているのであれば、π の次数と X と Y の種数と分岐指数を関係付けるリーマン・フルヴィッツの公式
: 
が成り立つ。今日では、この公式は π が馴分岐と仮定しなくても成り立つ次のより一般的な公式
: 
の帰結と理解されている。ここで、 は線形同値を表し、 は相対余接層の因子（different (mathematics)） である。
 リーマン・ロッホ公式（Riemann–Roch formula）
 1. L を種数 g の滑らかな射影曲線上の次数 d の直線束とする。リーマン・ロッホ公式とは、L のオイラー標数が次で計算できるという公式。
:
例えば、この公式から標準因子 K の次数は 2g - 2 であることが分かる。
 2. Grothendieck–Riemann–Roch formulaはグロタンディークによる一般化。 を滑らかな X と S の間の固有射とし、E を X 上のベクトル束としたとき、有理チャウ群における等式
:
 が成り立つというもの。ここで、、 はチャーン指標、 は接束のトッド類、 は（複素数体上であれば）integration along fibersである。基底 S が点、X が種数 g の滑らかな曲線、E が直線束 L であれば、左辺はオイラー標数になり、右辺は  となる。
 良商（good quotient）
 群スキーム G 作用を持つスキーム X のgood quotientとは、不変射  であって  を満たすもの。
 ループ群（loop group）
 loop group参照。この記事は代数幾何学でのループ群に触れてないので、ind-schemeも参照。
 ルロン数（Lelong number）
 Lelong number参照。
 レベル構造（level structure）
 http://math.stanford.edu/~conrad/248BPage/handouts/level.pdf 参照。
 連結（connected）
  スキームが連結とは、位相空間として連結であること。連結成分であることは既約成分であることよりも緩い条件であるため、任意の既約スキームは連結であるが、逆は正しくない。アフィンスキーム Spec(R) が連結であることと、環 R が 0 と 1 以外のベキ等元を持たないことは同値である。このような環も連結環という。例：アフィン空間と射影空間は連結スキーム。Spec(kx×kx) は連結ではない。
 連接層（coherent sheaf）
 ネータースキーム X 上の連接層とは、準連接層であって OX 加群として有限生成であるもの。

**わ行**

**英数**
 F正則（F-regular）
 Frobenius morphismに関係するもの。
 G束（G-bundle）
 主 G 束。
 GIT商（GIT quotient）
 GIT quotient  とは、 のときは 、 のときは  である。
 grd.
 曲線 C とその上の因子 D と部分ベクトル空間  が与えられたとき、線形系  が grd であるとは、V の次元が r+1 かつ D の次数が d であること。そのような線形系が存在するとき、C が grd を持つという。
 川又ログ端末的（klt）
 "川又ログ端末的"の省略形。
 p可除群（p-divisible group）
 「p-divisible group」参照。アーベル多様体の捩じれ点のようなもの。
 Proj（Proj）
 「Proj construction」参照。
 Q-分解的（Q-factorial）
 正規多様体が -分解的とは、全ての -ヴェイユ因子が -カルティエであること。

**記号**
 η
 generic point。例：整アフィンスキームの零イデアルに対応する点。
 F(d)
 1. X を射影スキーム、 をSerre's twisting sheaf、F を  加群とする。 と定義する。
 2. X を任意のスキーム、D をその上のカルティエ因子、F を  加群とする。 と定義する。D がヴェイユ因子で F が反射的なら、F(D) をその反射的包（reflexive hull）で置き換える。これも F(D) と表記される。
 D
 代数的閉体 k 上の正規完備代数多様体 X 上のヴェイユ因子 D のcomplete linear system。つまり、 のこと。D の k 有理点の集合と、D と線形同値な X 上の有効ヴェイユ因子の集合は1対1に対応する。D が k 上の完備多様体上のカルティエ因子の場合も同じように定義する。
 Visible anchor|X/G
 群スキーム G の作用による代数空間 X のquotient stack。
 
 action of a group schemeによるスキーム X のGIT quotient。
 Ln
 L の n テンソルベキを通常意味するが、L の自己交点数を意味する場合もある、やや曖昧な記号。X の構造層  の場合には、 の n 個のコピーの直和。
 
 tautological line bundle。Serre's twisting sheaf  の双対。
 
 Serre's twisting sheaf。tautological line bundle  の双対。超平面束ともいう。
 
 1. D が X 上のeffective Cartier divisorのとき、D のイデアル層の逆。
 2. ほとんどの場合、 はカルティエ因子の群から X のピカール群 （X 上の直線束の同型類のなす群）への自然な群準同型による D の像。
 3. 一般には、 は（normal scheme上の）Weil divisor D に対応する層。局所自由とは限らないが、reflexive sheafである。
 4. D が ℚ-因子なら、 は D の整数部の 。
 
 1.  は X 上のケーラー微分の層。
 2.  は  の p 個の外積べキ。
 
 1. p が 1 のときは、X 上の D に沿ってのlogarithmic Kähler differential（雑に言うと、因子 D で1位の極を持つ微分形式）の層。
 2.  は  の p 個の外積べキ。
 P(V)
 曖昧な記号。伝統的には、有限次元 k ベクトル空間 V のprojectivization。つまり
: 
 のこと（ring of polynomial functions kV の Proj construction）で、これの k 点は V の中の直線に対応する。一方、ハーツホーンや EGA では、P(V) は V の対称代数の Proj。
 Spec(R)
 環 R の全ての素イデアルの集合にザリスキー位相を備えさせたもの。R のスペクトルという。
 SpecX(F)
 OX 代数 F のrelative Spec。Spec(F)、もしくは単に Spec(F) とも表記される。
 Specan(R)
 環 R の全ての付値の集合にある弱い位相をいれたもの。R のBerkovich spectrumというdate=2021年11月。

**脚注**

**参考文献**
Citation | last1=Fulton | first1=William | author1-link=William Fulton (mathematician) | title=Intersection theory | publisher=Springer-Verlag | location=Berlin, New York | series=Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics | isbn=978-3-540-62046-4|mr=1644323 | year=1998 | volume=2 | doi=10.1007/978-1-4612-1700-8| doi-access=free - book=I- book=II- book=III-1- book=III-2- book=IV-1- book=IV-2- book=IV-3- book=IV-4
*János Kollár, "Book on Moduli of Surfaces" available at his website 
*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.

**関連項目**
glossary of arithmetic and Diophantine geometry
*glossary of classical algebraic geometry
*Glossary of differential geometry and topology
*Glossary of Riemannian and metric geometry
*List of complex and algebraic surfaces
*List of surfaces
*List of curves