2012-11-21

コックス, リトル&オシー「グレブナ基底と代数多様体入門」第2版 第2章§4の演習問題


演習問題1
fの性質から、Iは定義1を満たすので、Iは単項式イデアル。

演習問題2
fI=<xα: αA>とするとf=1is hixα(i) (α(i)A, hik[x1,..,xn])と書ける。
hiを単項式のk線形結合に分解した時の、任意の1項の単項式をxβとすると、
hixα(i)xβxα(i)の形の単項式を含む。
するとxβxα(i)Iと、xβが任意であることから、
hixα(i)Iの単項式のk線形結合となるので、fもそうである。
したがって補題3(iii)が得られる。

演習問題3
小問a
n
|**********
| *********
| *********
| *********
| *********
|     *****
|     *****
------***** m
こんな感じ(手抜き)。

小問b
小問aの手抜き図で*に覆われていない領域の(m,n)をもつ単項式が、
Iの生成元で割れない単項式なので、余りの項として現れる。
すなわち0でない定数項と、yk (k0), x, xy1,..., xy6,
x2, x2y, x2y2, x3, x3y, x3y2, x4, x4y, x4y2, x5, x5y, x5y2の項。

演習問題4
小問a
J=<x3>で、s=1, α(1)=3である。定理5の証明に従い、
m=m1=6よりα0(1)=α1(1)=α2(1)=α3(1)=6, J0=J1=J2=J3=<x6>,
およびα4(1)=α5(1)=5, J4=J5=<x5>
よってI=<x3y6, x6, x6y, x6y2, x6y3, x5y4, x5y5>

小問b
x6y, x6y2, x6y3<x6>, x5y5<x5y4>だから、
I=<x3y6, x6, x5y4>。すなわち図4.2の角になっている部分だけでIは生成できる。
x3y6, x6, x5y4は互いに他を生成できないので、<x3y6, x6, x5y4>が最小の基底。

演習問題5
>は単項式順序、すなわち全順序かつ整列順序だから、
Sは唯一つの最小元γを持つ。
Sの定義によりxγIだから、
補題2によりあるαAが存在して、xγxαで割り切れる。
故にα+β=γなるβn0が存在する。xαIだからα+βSだが、
γSの唯一つの最小元だからβ=0, γ=αAでなければならない。

演習問題6
J=<xα(1),..., xα(s)>とする。全てのxβ(i)は適当なxα(i)で割れるので、
補題2によりxβ(i) Jが全てのiについて成り立つからIJ
また全てのα(i)Aだから、xα(i)IなのでJI。よってI=J

演習問題7
Dicksonの補題が成り立つとすれば、任意の単項式イデアルIについて、
B={α(1),...,α(s)} AとしてI=<xα: αB>となるような、
Aの有限部分集合Bが存在する。
したがって、すべてのxαIについて、補題2によりxαはあるxα(i)で割れるので、
α=α(i)+γとなるγn0が存在する。

逆にB={α(1),...,α(s)} Aが存在して、すべてのαAについて
α=α(i)+γとなるγn0が存在するなら、全てのxαIはあるxα(i)で割れるので、
補題2によりI=<xα: αB>となるから、I=<xα(1),..., xα(s)>となり、
Dicksonの補題が成り立つ。

演習問題8
小問a
Dicksonの補題により、全ての単項式イデアルI=<xα: αAn0>は、
有限個のα(1),...,α(t) AをとってI=<xα(1),..., xα(t)>となる。
xα(1),..., xα(t)は有限個なので、互いを割り切る組合せをすべて探して、
例えばxα(i)xα(j)を割るならxα(j)を生成元から除くことが出来る。
この探索プロセスはt(t-1)回で終了し、適当に番号を付け替えれば
極小基底<xα(1),..., xα(s)>が得られる。

小問b
I=<xα(1),..., xα(s)>=<xβ(1),..., xβ(r)>で、xα(1),..., xα(s)xβ(1),..., xβ(r)が、
いずれも極小基底とする。適当に単項式順序を定めて番号を振りなおし、
α(1)<α(2)<...<α(s)およびβ(1)<β(2)<...<β(r)と仮定して良い。

xα(1)<xβ(1),..., xβ(r)>だから、補題2によりxα(1) はあるxβ(j)で割れるので、
α(1)β(1)。同様にxβ(1)<xα(1),..., xα(s)>よりα(1)β(1)だからα(1)=β(1)
次にxα(2) はあるxβ(j)で割れるが、α(1)=β(1)からxβ(1)=xα(1)で、
xα(1),..., xα(s)は極小基底だからxα(2) xβ(1)では割れない。
故にα(2)β(2)。同様にしてα(2)β(2)だからα(2)=β(2)
以下同様に繰り返して、もしs<rなら
α(1)=β(1), α(2)=β(2),..., α(s)=β(s)を得る。
するとxβ(s+1)xα(1),..., xα(s)で割れないので、
補題2によりxβ(s+1)<xα(1),..., xα(s)>=Iとなるが、
これはxβ(s+1)<xβ(1),..., xβ(r)>=Iと矛盾。
s>rでも同様に矛盾を得るので、s=rでなければならない。
以上により{xα(1),..., xα(s)}={xβ(1),..., xβ(s)}だから、Iは唯一つの極小基底を持つ。

演習問題9
fIだから補題3により、fの全ての項はIに属し、
したがって補題2によりfの全ての項はどれかのxα(1),..., xα(s)で割れるから、
割り算アルゴリズムからf(xα(1),..., xα(s))で割った余りは0

演習問題10
>mixedで用いるn+m0の元を、αn0, βm0として(α,β)で表す。

lex順序とgrlex順序は単項式順序なので、
明らかに>mixedは全順序で系6(i)(ii)を満たす。

lex順序とgrlex順序は整列順序だから系6により、
すべての(α, β)n+m0についてα≥0かつβ≥0となるから、
(α, β)≥0となるので、再び6により>mixedは単項式順序。

演習問題11
小問a
u·αの通常の数順序に従うから、全順序かつ、
u·α> u·βなら任意のγn0に対しu·(α+γ)>u·(β+γ)なので、
>uは系6(i),(ii)を満たす。

u1,...,unは正なのでu·α0
さらにu1,...,unは線形独立だから、u·α=0となるα0だけだから、
αu0となるので、系6により>uは整列順序。
以上により>uは単項式順序。

小問b
√2の最小多項式x2-2上規約だから、
1√2上線形独立なので、
uは独立ウェイトベクトル。

小問c
√3の最小多項式x2-3(√2)上規約だから、
1,√2,√3上線形独立なので、
uは独立ウェイトベクトル。

演習問題12
(問題文の「u·α>σu·βあるいは...」は「u·α>u·βあるいは...」の誤植)

小問a
任意のα,βn0について、u·αu·βならu·α,u·β≥0の数順序に従うので、
順序が定まる。
u·α=u·βならα,β>σに従い、>σは単項式順序なので全順序だから、順序が定まる。
よって>u,σn0の全順序。

α>u,σβかつu·α>u·βなら、任意のγn0に対し
u·(α+γ)>u·(β+γ)なので、α+γ>u,σβ+γ
α>u,σβかつu·α=u·βなら、>σは単項式順序なので
α+γ>σβ+γだからα+γ>u,σβ+γ
以上により>u,σは系6(i)(ii)を満たす。

u·α>0=u·0なら明らかにα>u,σ0
u·α=0なら、>σによってα0が順序付けられ、
>σは単項式順序なので整列順序だから系6によりασ0、よってαu,σ0
したがって任意のαn0についてαu,σ0だから、系6により>u,σは整列順序。
以上により>u,σは単項式順序。

小問b
2章§2定義5により、u1=u2=...=un=1

小問c
u1,...,unのうちあるui 0なら、
αi0かつαj=0 (ji)となるαをとれば、α≠0かつu·α=u·0
n>1u1,...,unがすべて0でないなら、
α1=u2かつαj=0 (j≠1)となるαと、
β2=u1かつβj=0 (j≠2)となるβをとれば、αβかつu·α=u·β=u1u2

n=1は単に一変数の降冪順で切り分けは必要ない。
すなわちu·α=u1α1=u·β=u1β1ならα=β

小問d
u,α,βの定義から明らかにu·α>0かつu·β=0だからα>iβ

2012-11-19

コックス, リトル&オシー「グレブナ基底と代数多様体入門」第2版 第2章§3の演習問題


演習問題1&3
Maxima
poly_monomial_order: grlex;
とかやっても、grlex順序でのpoly_pseudo_divideがうまく動かず、
いつもlex順序で計算されてしまう。
poly_buchbergerとかは単項式順序を替えられるので、
poly_pseudo_dividelex順序でしか計算出来ないようだ。

小問a
grlex順序:
x7y2+x3y2-y+1=(x6+x2)(xy2-x)+x7+x3-y+1

lex順序:
x7y2+x3y2-y+1
=(x6+x5y+x4y2+x4+x3y+x2y2+2x2+2xy+2y2+2)(xy2-x)
+(x6+x5y+x4+x3y+2x2+2xy+2)(x-y3)
+2y3-y+1
lexの手計算めんどい・・・。

Maximaでは
load(grobner)$
poly_monomial_order: lex;
f: x^7*y^2+x^3*y^2-y+1;
f1: x*y^2-x;
f2: -y^3+x;
poly_pseudo_divide(f,[f1,f2],[x,y]);

小問2
grlex順序:
x7y2+x3y2-y+1=(x6+x2)(xy2-x)+x7+x3-y+1

lex順序:
x7y2+x3y2-y+1
=(x6y2+x5y5+x4y8+x3y11+x2y14+x2y2+xy17+xy5+y20+y8)(x-y3)
+y23+y11-y+1

Maximaでは小問aでの最後の行を
poly_pseudo_divide(f,[f2,f1],[x,y]);

演習問題2&3
小問a
grlex順序:
xy2z2+xy-yz=-xz2(-y2+x)+x2(z2-1)+x2+xy-yz

lex順序:
xy2z2+xy-yz
=(y2z2+y)(x-y2)
+(y3z2+y2z5+y2+yz8+yz3+z11+z6-z)(y-z3)
+(z12+z10+z8+z7+z6+z5+z4+z3+z)(z2-1)+z

Maximaでは
load(grobner)$
poly_monomial_order: lex;
f: x*y^2*z^2+x*y-y*z;
f1: x-y^2;
f2: y-z^3;
f3: z^2-1;
poly_pseudo_divide(f,[f1,f2,f3],[x,y,z]);

小問b
循環1grlex順序:
xy2z2+xy-yz=xy2(z2-1)-x(-y2+x)+x2+xy-yz

循環1lex順序:
xy2z2+xy-yz
= (xyz2+xz5+x+yz+y+z4+z3-z)(y-z3)
+(xz6+xz4+xz2+xz+x+z5+z4+z3+z)(z2-1)
+(z+1)(x-y2)+z

Maximaでは小問aでの最後の行を
poly_pseudo_divide(f,[f2,f3,f1],[x,y,z]);

循環2grlex順序:
xy2z2+xy-yz=xy2(z2-1)-x(-y2+x)+x2+xy-yz

循環2lex順序:
xy2z2+xy-yz
= (xy2+y3z+y2z2+y2z+yz+y+z)(z2-1)
+(y2+y)(x-y2)
+(y3+y2z+y2+yz+y+1)(y-z3)+z

Maximaでは小問aでの最後の行を
poly_pseudo_divide(f,[f3,f1,f2],[x,y,z]);

grelex順序でもlex順序でも剰余が全て一致する。
各順序でのGröbner基底になっている?

演習問題4
§2補題8によりmultideg(aifi)=multideg(ai)+multideg(fi)
割り算アルゴリズムにおいて、ai=0の状況から、
LT(p)/LT(fi)の演算結果を初めてaiに加えるとき、
ai=LT(p)/LT(fi)だから、multideg(ai)=multideg(p)-multideg(fi)となり、
LT(p)≤LT(f)からmultideg(ai)+multideg(fi)=multideg(p)multideg(f)
故にこのときmultideg(aifi)multideg(f)

ai0の状況で、LT(p)/LT(fi)の演算結果をaiに加えるときは、
pの多重次数はai=0の状況での時よりも真に小さいから、
LT(p)/LT(fi)の多重次数もai=0の状況での時よりも真に小さい。
したがってmultideg(ai)は変わらないから、multideg(aifi)multideg(f)が常に成り立つ。

演習問題5
小問a
(f1, f2)での割り算: f=-f1+x3-x2z+x-zよりr1=x3-x2z+x-z,
(f2, f1)での割り算: f=-xf2+x3-x2zよりr2=x3-x2z
(f2, f1)での割り算を実行した時に、
-xf2=-x2y+xの第2項が、たまたまfの第4項と一致したところから、
違いが出ている。

小問b
r=x-z=f1-xf2<f1, f2>

小問c
grlex順序でmultideg(r)=(1,0,0)は、
multideg(f1)=(2,1,0), multideg(f2)=(1,1,0)より小さいから、
余りはr

小問d
g=yf1-(xy+1)f2=-yz-1<f1, f2>とすると、
multideg(g)=(0,1,1)multideg(f1), multideg(f2)より小さいから、
余りはg≠0

小問e
一般には与えない。
例えば小問dのように、Af1+Bf2の和において、
高い多重次数の項のキャンセルがあると、
f1,f2のどちらでも割れないAf1+Bf2<f1, f2>を作れることがあるからである。

演習問題6
g=3xf1-2yf2=-3x2+2y2+2y<f1, f2>とすれば、grlex順序でmultideg(g)=(2,0)は、
multideg(f1)=(1,2), multideg(f2)=(2,1)より小さいから、
gf1,f2のどちらも割れないので余りはg≠0

演習問題7
g<f1, f2, f3>として例えばg=yf1-xf2=x-yzや、
g=yf2-xf3=2xz-yがある。

演習問題8
A1f1+...+Asfsの和において、高い多重次数の項がキャンセルして、
multideg(g)f1,...,fsのどの多重次数よりも小さくなれば、
(f1,...,fs)による割り算の余りは0にならない。

演習問題9
小問a
変数順序として(y,z,x)、単項式順序としてlex順序を取り、
f1=y-x2, f2=z-x3とすると、LT(f1)=y, LT(f2)=z
定理3により任意のfk[y,z,x]について、h1,h2,rk[y,z,x]が存在して、
f=h1f1+h2f2+r

ここでとっている変数順序・単項式順序から、
 (f1, f2)での割り算アルゴリズムにおいて、
中間被除数にyを含む項があれば、中間被除数の先頭項もyを含む。
この先頭項は常にf1で割れ、
かつf1は先頭項以外にyを含まないから、中間被除数をf1で割った余りは、
yについての次数がもとの中間被除数より真に小さくなる。
したがって中間被除数がyを含まなくなるまでf1での割り算が続けられる。
中間被除数がyを含まなくなったあと中間被除数の先頭項がzを含めば、
同様にして中間被除数がzを含まなくなるまでf2での割り算が続けられる。
中間被除数がy,zを共に含まなければ、f1, f2での割り算は終了するから、
この中間被除数が余りrとなり、y,zを含まない。
したがってrk[x]

小問b
1章§3の捩れ3次曲線のパラメター付けx=t, y=t2, z=t3からz2-x4y=t6-t6=0

小問c
小問aの変数順序・単項式順序から割り算を行なって、
-yx4+z2=-x4f1+(z+x3)f2

演習問題10
小問a
x=t, y=tm, z=tnとすれば、V上でy-xm=0かつz-xn=0だから、
VV(y-xm, z-xn)
逆に任意のxに対しV(y-xm, z-xn)上の点は(x,xm,xn)だから、
x=tとパラメターづけすればV(y-xm, z-xn)Vとなる。
よってV=V(y-xm, z-xn)なのでVはアフィン多様体。

小問b
演習問題9小問aと同様にして、任意のf(y,z,x)k[y,z,x]について、
h1,h2k[y,z,x], rk[x]が存在してf(y,z,x)=h1(y-xm)+h2(z-xn)+r
小問aにより、fI(V)なら、すべてのtに対しf(tm,tn,t)=r(t)=0
は無限体だから、第1章§1命題5によりr=0でなければならない。
したがってf=h1(y-xm)+h2(z-xn)
逆にf=h1(y-xm)+h2(z-xn)なら明らかにfI(V)
よってI(V)の元はh1(y-xm)+h2(z-xn) (h1,h2k[y,z,x])

演習問題11
小問a
βΔiなら、ΔiかつΔiα(i)+n0なのでβα(i)+n0
したがってβ=α(i)+γとなるγn0が存在する。
これはxβ=xα(i)xγとなるxγが存在することを意味するからxα(i)|xβ
このとき、もしj<iなるあるjについてxα(j)|xβだったとすると、
β=α(j)+δとなるδn0が存在する。
すなわちβα(j)+n0なのでβΔ1,..., Δjのどれかに含まれる。
するとΔiの定義によりβΔiとなり矛盾。
したがってβΔiなら、j<iなるすべてのjについてxα(j)xβ

逆にxα(i)|xβかつ、j<iなるすべてのjについてxα(j)xβとする。
xα(i)|xβよりβα(j)+n0だから、βΔ1,..., Δiのいずれかに含まれる。
βΔk (1ki-1)だったとすると、βα(k)+n0だからxα(k)|xβなので、
j<iなるすべてのjについてxα(j)xβであることと矛盾。
したがってβΔiでなければならない。

小問b
HTMLの制限により、\overline{Δ}Δで表す。
Δの定義により、γΔであることと
γがどのΔi (1is)にも属さないことは同値で、
小問aによりすべての1isなるiについてxα(i)xγと同値。

小問c
割り算アルゴリズムからaiの中の単項式xβはすべて、
アルゴリズム中のある中間被除数の先頭単項式で、
j<iなるすべてのjについてxα(j)で割り切れず、
かつxα(i)で割り切れるような単項式xδについて、
xβ=xδ/xα(i)によって求まったものである。
したがって小問aによりδ=β+α(i)Δi

rの項は全て、すべてのxα(i) (1is)で割り切れない単項式xγからなるから、
小問bによりγΔ


小問d
f=a1f1+...+asfs+rの表示は割り算アルゴリズムによって得られたもので、
変数順序と単項式順序を定めれば、
与えられたfに対しFでの割り算手順は唯一つに定まるから、
f=a1f1+...+asfs+rの表示も唯一つに定まる。
したがって小問cで与えられた性質を満たすfの表示は唯一つ。


演習問題12
演習問題11dにより、変数順序と単項式順序を定めれば、
g1=a1,1f1+...+as,1fs+r1
g2=a1,2f1+...+as,2fs+r2
なるa1,1,...,as,1, r1, a1,2,...,as,2, r2k[x1,..,xn] がただひとつ定まる。
ただしmultideg(r1), multideg(r2)はすべてのmultideg(f1),...,multideg(fs)より小さい。
このとき
c1g1+c2g2=(c1a1,1+c2a1,2) f1+...+(c1as,1+c2as,2) fs+c1r1+c2r2
で、明らかにmultideg(c1r1+c2r2)はすべてのmultideg(f1),...,multideg(fs)より小さいから、
c1r1+c2r2c1g1+c2g2Fによる割り算の余りである。
再び演習問題11dにより、c1r1+c2r2k[x1,..,xn]はただひとつ定まる。