| 研究概要 |
環A上の長さnのWittベクトルのなす群スキームW_nのトーラスG^n_mへの変形群スキームW_nは,W_1=g_<(λ)>を用いて帰納的にExt^l(W_<n-1>,g^<(λ)>)の元として与えられ,Ext^l(W_<n-1>,g_<(λ)>)は本質的にHom(W_<n-1>,G_<m,A/λ>)と同じであり,こうした変形理論は,準同型群Hom(W_<n-1>,G_<m,A/λ>)及びExt^l(W_<n-1>,g_<m,A/λ>)の決定が重要な課題となる.
これに関し,前回までの研究により,pを素数,AをZ(p)-代数としたとき,Artin-Hasse指数関数の変形及びWittベクトルのなす形式群スキームW^<^>のFrobenius自己準同型写像F:W^<^>→W^<^>の変形F^<(λ)>=F-[λ^<p-1>]を用いることにより,Hom(g^<(λ)>,G_<m,A>)及びExt^l(g^<(λ)>,G_<m,A>)をF^<(λ)>。W^<^>(A)→W^<^>(A)の核及び余核として具体的に表されることを示した.
今回は,前回の結果を踏まえ,その高次元化を計り,与えられたW_nのトーラスG^n_mへの変形群スキームW_nに対して,Frobenius自己準同型の変形F^<(λ)>を含む幾つかの自己準同型写像を成分にもつ準同型写像ψ:W^<^>^n→W^<^>^nを定めることが出来,群Hom(W_nas,G^n_<m,A>)及びExt^l(W_n,G^n_<m,A>)がやはり準同型写像ψの核及び余核で表されることを示すことが出来た.このことにより,2次元の場合と同様にして一般次元に於いてKummer-Artin-Schreier-Witt理論を具体的に書く基盤を得ることが出来,今後の課題としては,この具体的に書くことの実行,及びこうした理論のコンパクト化である.
|
