ネロン・セヴィリ群
古典的代数幾何学の最も重要な場合で、非特異な完備多様体(英語版)(complete variety) V に対し、ピカールスキームの連結成分は、アーベル多様体で
Pic(V)
と書かれ、商
Pic(V)/Pic(V)
もアーベル多様体 NS(V) と書いて、V のネロン・セヴィリ群と呼ぶ。この群はネロン・セヴィリの定理により、有限生成アーベル群であり、セヴィリにより複素数体上で証明され、ネロンにより、より一般の体上で証明された。
言い換えると、ピカール群を含む次の系列は完全系列である。
1 → P i c 0 ( V ) → P i c ( V ) → N S ( V ) → 0 {\displaystyle 1\to \mathrm {Pic} ^{0}(V)\to \mathrm {Pic} (V)\to \mathrm {NS} (V)\to 0}
ランクが有限であることは、フランチェスコ・セヴィリの基底定理(theorem of the base)で、ランクは V のピカール数であり、ρ(V) で表す。有限位数の要素はセヴィリ因子と呼ばれ、双有理不変量であり位数がセヴィリ数と名付けられた有限群を形成する。幾何学的には、NS(V) は V の因子の代数的同値(英語版)(algebraic equivalence)類である。すなわち、因子の一次系(英語版)(linear equivalence of divisors)のの代わりにより強い非線形関係を使い、分類は離散的不変量となり扱い易くなる。代数的同値は密接に数値的同値(英語版)(numerical equivalence)と関係していて、交叉理論により本質的にはトポロジカルな分類となる。