最近ネタがないのでネットで見かけた問題をひとつ.
「正則列で生成されるイデアルの extended Rees algebra の定義イデアルは自明な関係式で生成されることを簡単に示せないか」という疑問を先日 twitter で見かけました.これは一見当たり前のような気がするけれども,よく考えたら 正則列で生成されるイデアル に対して
が自由
-加群になることが系として出るわけで,そんなに自明でもなさそう.そんなわけで証明を考えてみました.
定理の証明
可換環 のイデアル
に対し,\begin{align}A[t^{-1},t\mathfrak{a}]=A[t^{-1},ta_1,\dots,ta_n] \subset A[t,t^{-1}]\end{align} を
の extended Rees algebra と呼ぶ.ここで
は
上の変数.
,
に対し,
を内積\begin{align}\mathbf{a}\cdot\mathbf{b}=a_1b_1+\cdots +a_nb_n\end{align} とする.また,
に対し \begin{align} \mathrm{Syz}_A(\mathbf{f})=\{\mathbf{a} \in A^n \mid \mathbf{a}\cdot\mathbf{f}=0\}\subset A^n\end{align}を
の syzygy加群と呼ぶ.
を
番目の成分だけ
で,残りの成分は
であるベクトルとする.
(証明)
自然な全射 により
を
-代数とみなす.この全射による
の像を
で表し,
に対し,
とする.
,
とおく.
なので,自然な
-加群の準同型 \begin{align}\Psi: \mathrm{Syz}_{R[u,x]}( \xi ) &\to \mathrm{Syz}_{R[x]}(\mathbf{a}) \\ \mathbf{f} &\mapsto \overline{\mathbf{f}} \end{align}が得られる.
は
-正則列でもあるので,
は自明な関係式
で生成されるが,これは \begin{align} (a_i-ux_i)\mathbf{e}_j -(a_j-ux_j) \mathbf{e}_i \in \mathrm{Syz}_{R[u,x]}( \xi ) \end{align} の像になっている.よって
は全射である.
とおく.
が示すべきことである.
は
の正則元なので
が成り立つ.
次に を示す.
を取る.
より,ある
により
\begin{align} pu=\mathbf{f}\cdot \xi \end{align}と書ける. なので
である.
は全射だったので,ある
が存在し
となる.
より\begin{align} pu=\mathbf{f}\cdot \xi =(\mathbf{f}-\mathbf{g})\cdot \xi \end{align} である.
なので,ある
が存在して
となる.よって
だが,
は
の正則元なので,両辺
で割って
を得る.以上より
である.
とおく.
なので,\begin{align} I=IS[u^{-1}] \cap S, ~K=KS[u^{-1}] \cap S\end{align} が成り立つ.一方で \begin{align} S[u^{-1}]/KS[u^{-1}]\cong (S/K)[u^{-1}]\cong R[t^{-1},t\mathfrak{a}][t]=R[t,t^{-1}] \end{align} より,
は
-代数の全射\begin{align} &R[u,u^{-1}][x_1,\dots,x_n]\to R[t,t^{-1}],\\& u \mapsto t^{-1},~~ u^{-1} \mapsto t,~~ x_i \mapsto ta_i\end{align}の核である.よって
は
で生成される.また,
の定義より
も
で生成されることが分かる.よって
が成り立つ.
以上より\begin{align} I=IS[u^{-1}] \cap S=KS[u^{-1}] \cap S=K \end{align} である.
(証明終)
この定理の系として,次の定理を示すことができる.
(証明)\begin{align}G&\cong R[t^{-1},t\mathfrak{a}]/t^{-1}R[t^{-1},t\mathfrak{a}] \cong R[u,x_1,\dots, x_n]/\langle a_1-ux_1,\dots, a_n-ux_n, u\rangle\\&=R[u,x_1,\dots, x_n]/\langle a_1,\dots, a_n, u\rangle\cong (R/\mathfrak{a})[x_1,\dots, x_n]\end{align}(証明終)