滑らかな射

代数幾何学において**滑らかな射**（なめらかなしゃ、）とは、スキームの射 f:X \to S であって、次の3つの条件を満たすもののことを言う：

*(i) 局所的に有限表示
*(ii) 平坦
*(iii) 任意の幾何学的点 \overline{s} \to S に対し、そのファイバー X_{\overline{s}} = X \times_S {\overline{s}} は

(iii) から、（分離的であれば）*f* の幾何学的ファイバーは全て非特異多様体になる。したがって、直感的には滑らかな射とは非特異多様体の平坦族を与えるような射のことである。

*S* が代数的閉体のスペクトルで *f* が有限型（of finite type）であれば、これは非特異多様体であることと同値である。

滑らかな射はスムーズ射と呼ばれることもある。

## 同値な定義
滑らかな射には多くの同値な定義がある。f: X \to S を局所的に有限表示な射とすると、以下は同値である。

# *f* は滑らか。
# *f* は形式的に滑らか（後述）。
# *f* は平坦で、 \Omega_{X/S} は局所自由層でその階数は X/S の相対次元。
# 任意の x \in X に対し、ある x の近傍 \operatorname{Spec}B と f(x) の近傍 \operatorname{Spec}A が存在し、B = A[t_1, \dots, t_n]/(P_1, \dots, P_m) と書け、*m* 行 *m* 列の小行列式 (\partial P_i/\partial t_j) で生成されたイデアルが *B* となる。
# *f* は局所的に X \overset{g}\to \mathbb{A}^n_S \to S とエタール射 *g* を用いて分解できる。
# *f* は局所的に X \overset{g}\to \mathbb{A}^n_S \to \mathbb{A}^{n-1}_S \to \cdots \to \mathbb{A}^1_S \to S とエタール射 *g* を用いて分解できる。

有限型の射がエタールであることと、滑らかかつ準有限であることは同値である。

滑らかな射は基底変換や合成に関して閉じている。滑らかな射は局所的に有限表示である。

滑らかな射は、局所的に絶対（universally locally acyclic）である。

## 例
微分幾何における沈め込みは、エーレスマンの定理により底空間上の滑らかで局所自明なファイバー束であるから、滑らかな射とはこれの代数幾何学での類似物と思える。

### 点への滑らかな射
f を次で定義されるスキームの射とする。

:\text{Spec}_{\mathbb{C}}\left( \frac{\mathbb{C}[x,y]}{(f=y^2 - x^3 - x - 1)}\right) \to \text{Spec}(\mathbb{C})

ヤコビ行列の判定法を使うとこれが滑らかであることが示せる。ヤコビ行列

:
[ 3x^2 - 1, y ]


は点 (1/\sqrt{3}, 0), (-1/\sqrt{3}, 0) で0になるが、この点での多項式の値

:
\begin{align}
f(1/\sqrt{3},0) &= 1 - \frac{1}{\sqrt{3}} - \frac{1}{3\sqrt{3}} \\
f(-1/\sqrt{3},0) &= \frac{1}{\sqrt{3}} + \frac{1}{3\sqrt{3}} - 1
\end{align}


は0ではなく、*f* で定義されるスキームの上に乗っていない。

### 自明なファイバー束
滑らかなスキーム Y に対して、射影

:Y\times X \to X

は滑らかな射である。

### ベクトル束
スキーム上の任意のベクトル束 E \to X は滑らかな射である。例えば \mathbb{P}^n に付随するベクトル束（associated vector bundle） \mathcal{O}(k) については、これは重みつき射影空間から1点を除いたもの

: O(k) = \mathbb{P}(1,\ldots,1,k) - \{[0:\cdots:0:1] \} \to \mathbb{P}^n 

であることから分かる。ここで、上記の射は

:[x_0:\cdots:x_n:x_{n+1}] \to [x_0:\cdots:x_n]

で定義されるものである。直和束 O(k)\oplus O(l) はファイバー積

:O(k)\oplus O(l) = O(k)\times_X O(l)

を用いて表すことができることにも言及しておく。

### 体の分離拡大
体の拡大 K \to L が分離拡大であることと、ある gcd(f(x),f'(x)) = 1 を満たす多項式で

:L = \frac{K[x]}{(f(x))}

と書けることは同値であった。これをケーラー微分を用いて言い直すと、体の拡大が分離的であることと

:\Omega_{L/K} = 0

が成り立つことは同値である。
なお、体が完全体（有限体や標数0の体）の場合は全てこのケースである。

## 滑らかではない例
### 特異多様体
射影多様体 X を定めている環（underlying algebra） R の \text{Spec} を考える。
これは、X の**アフィン錐**と呼ばれているもので、原点が常に特異点になる。例えば、

:x_0^5 + x_1^5 + x_2^5 + x_3^5 + x_4^5

で定義される 3 次元代数多様体のアフィン錐を考える。ヤコビ行列は

:
\begin{bmatrix}
5x_0^4 & 5x_1^4 & 5x_2^4 & 5x_3^4 & 5x_4^4
\end{bmatrix}


となり、これは原点で消えるので、この錐は特異である。このようなアフィン超曲面は、比較的単純な環だが豊富な構造を持つため特異点論でよく現れる。

もう1つの特異多様体の例は、滑らかな多様体の**射影錐**である。X\subset\mathbb{P}^n を滑らかな射影多様体とすると、その射影錐とは \mathbb{P}^{n+1} の X と交わる全ての直線の和集合として定義される。例えば、

: \text{Proj}\left( \frac{\mathbb{C}[x,y]}{(x^4 + y^4)} \right)

の射影錐は、スキーム

: \text{Proj}\left( \frac{\mathbb{C}[x,y,z]}{(x^4 + y^4)} \right)

である。z\neq 0 のチャートでは、これは

:\text{Spec}\left( \frac{\mathbb{C}[X,Y]}{(X^4 + Y^4)} \right)

というスキームになっており、これをアフィン直線 \mathbb{A}^1_Y に射影すると、原点で退化する4点の族になっている。このスキームが非特異であることは、ヤコビ行列を使う判定法を使っても確かめられる。

### 退化する族
次の平坦族

: \text{Spec}\left( \frac{\mathbb{C}[t,x,y]}{(xy - t)} \right) \to \mathbb{A}^1_t 

を考える。これは、原点を除く全ての点で滑らかなファイバーを持つ。滑らかであることは基底変換で保たれるので、この族は滑らかではない。

### 体の非分離拡大
例として、体 \mathbb{F}_p(t^p) \to \mathbb{F}_p(t) を考える。これは非分離拡大なので、これから定義されるスキームの射は滑らかではない。この体の拡大の最小多項式

:f(x) = x^p - t^p 

をとると、これは df = 0 なので、ケーラー微分がゼロにならない。

## 形式的に滑らかな射

滑らかであることを、幾何学的ではない形で定義することもできる。*S* 上のスキーム *X* が**形式的に滑らか**（formally smooth）とは、任意のアフィン *S* スキーム *T* と *T* の冪零イデアルで定義される部分スキーム T_0 に対して X(T) \to X(T_0) が全射になることを言う。ここで、X(T) = \operatorname{Hom}_S(T, X) である。局所有限型の射が滑らかであるのは、形式的に滑らかであるとき、かつそのときに限る。

「形式的に滑らか」の定義で、「全射」を「全単射」に置き換えれば（formally étale）の定義になり、「単射」に置き換えれば**形式的不分岐**（formally unramified）の定義になる。

## 滑らかな基底変換
*S* をスキームとし、\operatorname{char}(S) を自然な射 S \to \operatorname{Spec}\mathbb{Z} の像とする。（smooth base change theorem）とは次のことである。f: X \to S を準コンパクト射、g: S' \to S を滑らかな射、\mathcal{F} を X_\text{et} 上の捩れ層（torsion sheaf）とする。全ての 0 \ne p in \operatorname{char}(S) に対して p:\mathcal{F} \to \mathcal{F} が単射ならば、基底変換射 g^*(R^if_*\mathcal{F}) \to R^if'_*(g'^*\mathcal{F}) は同型写像である。

## 脚注

## 参考文献

* (2012). "Lectures on Étale Cohomology"
*J. S. Milne. *Étale cohomology*, volume 33 of Princeton Mathematical Series . Princeton University Press, Princeton, N.J., 1980.

## 関連項目
*
*
*