[BACK]Return to rims2005-noro.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / Papers

Diff for /OpenXM/doc/Papers/rims2005-noro.tex between version 1.3 and 1.4

version 1.3, 2006/03/27 22:16:05 version 1.4, 2006/03/28 01:03:23
Line 1 
Line 1 
 \documentclass{jarticle}  \documentclass{jarticle}
 %\usepackage[FVerb,theorem]{rims02}  %\usepackage[FVerb,theorem]{rims02}
 \topmargin -0.5in  \topmargin -0.5in
 \oddsidemargin -0in  \oddsidemargin -0.1in
 \evensidemargin -0in  \evensidemargin -0.1in
 \textheight 9.5in  \textheight 9.5in
 \textwidth 6in  \textwidth 6.4in
 \IfFileExists{my.sty}{\usepackage{my}}{}  \IfFileExists{my.sty}{\usepackage{my}}{}
 \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{}  \IfFileExists{graphicx.sty}{\usepackage{graphicx}}{}
 \IfFileExists{epsfig.sty}{\usepackage{epsfig}}{}  \IfFileExists{epsfig.sty}{\usepackage{epsfig}}{}
Line 284  $Condition$ $B$*$h$S(B $Action$ $B$K$O%f!<%6Dj5A4X?
Line 284  $Condition$ $B$*$h$S(B $Action$ $B$K$O%f!<%6Dj5A4X?
 \FN $B4V$KA4=g=x$rF~$l$F(B, $B=q$-49$($?>l9g$K=g=x$,Bg$-$/(B($B>.$5$/(B)$B$J$k(B  \FN $B4V$KA4=g=x$rF~$l$F(B, $B=q$-49$($?>l9g$K=g=x$,Bg$-$/(B($B>.$5$/(B)$B$J$k(B
 $B>l9g$K$N$_=q$-49$($r9T$&$H$$$&J}K!$G$"$k(B. $B$3$N>l9g(B, $B@Q$r9=@.$9$kM-8B8D(B  $B>l9g$K$N$_=q$-49$($r9T$&$H$$$&J}K!$G$"$k(B. $B$3$N>l9g(B, $B@Q$r9=@.$9$kM-8B8D(B
 $B$N(B \FN $B$NJB$YJQ$($NCf$G:G$b=g=x$,>e(B($B2<(B)$B$N$b$N$KE~C#$9$k$HDd;_$9$k(B.  $B$N(B \FN $B$NJB$YJQ$($NCf$G:G$b=g=x$,>e(B($B2<(B)$B$N$b$N$KE~C#$9$k$HDd;_$9$k(B.
 $B$b$A$m$s(B, $Action$ $B$,J#;($J>l9g$K$O$3$N$h$&$K4JC1$K$O9T$+$J$$$,(B,  $Action$ $B$,J#;($J>l9g$K$O$3$N$h$&$K4JC1$K$O9T$+$J$$$,(B,
 $B=q$-49$($NJ}8~@-$r<($9$b$N$H$7$FA4=g=x$rM?$($k$3$H$OM-8z$G$"$m$&(B.  $B=q$-49$($NJ}8~@-$r<($9$b$N$H$7$FA4=g=x$rM?$($k$3$H$OM-8z$G$"$m$&(B.
 $B$h$C$F(B, $B=q$-49$(5,B'$K1~$8$F(B, $BA4=g=x$r$I$&A*$V$+$,LdBj$G$"$k(B.  $B$h$C$F(B, $B=q$-49$(5,B'$K1~$8$F(B, $BA4=g=x$r$I$&A*$V$+$,LdBj$G$"$k(B.
   
Line 314  $Condition$ $B$*$h$S(B $Action$ $B$K$O%f!<%6Dj5A4X?
Line 314  $Condition$ $B$*$h$S(B $Action$ $B$K$O%f!<%6Dj5A4X?
 $B$K1~MQ$9$k$3$H$r9M$($k(B.  $B$K1~MQ$9$k$3$H$r9M$($k(B.
   
 $B78?t4D$r(B $K$ $B$N>e$G(B $ z_1, \ldots, z_n, h $  $B78?t4D$r(B $K$ $B$N>e$G(B $ z_1, \ldots, z_n, h $
 $B$G@8@.$5$l$k<+M37k9gBe?t(B $A$ $B$r(B  $B$G@8@.$5$l$k<+M37k9gBe?t(B $A$ $B$r(B $ K \langle z_1, \ldots, z_n, h \rangle  $
 $$ K \langle z_1, \ldots, z_n, h \rangle  $$  
 $B$H=q$/(B.  $B$H=q$/(B.
 $h$ $B$rI,MW$K1~$8$F(B $z_{n+1}$ $B$H=q$/$3$H$b$"$k(B.  $h$ $B$rI,MW$K1~$8$F(B $z_{n+1}$ $B$H=q$/$3$H$b$"$k(B.
 \begin{definition}\rm  \begin{definition}\rm
 $A$ $B$G$N=q$-49$(5,B'(B($B$^$?$O4X78<0(B, $B:8JU$OI,$:C19`<0(B)  $A$ $B$G$N=q$-49$(5,B'(B($B$^$?$O4X78<0(B, $B:8JU$OI,$:C19`<0(B)
 $$ L_1 \rightarrow R_1, \ldots,  L_m \rightarrow R_m  $$  $ L_1 \rightarrow R_1, \ldots,  L_m \rightarrow R_m  $
 $B$,(B, $BF1<!2=(B weight $B%Y%/%H%k(B $H$ $B$K$D$$$F(B,  $B$,(B, $BF1<!2=(B weight $B%Y%/%H%k(B $H$ $B$K$D$$$F(B,
 $BF1<!E*=q$-49$(5,B'$G$"$k$H$O(B,  $BF1<!E*=q$-49$(5,B'$G$"$k$H$O(B,
 $R_i$ $B$,(B $0$ $B$G$"$k$+$^$?$O(B,  $R_i$ $B$,(B $0$ $B$G$"$k$+$^$?$O(B,
 $$ {\rm deg}_H(L_i) = {\rm deg}_H(R_i \mbox{$B$NG$0U$N9`(B}) $$  $ {\rm deg}_H(L_i) = {\rm deg}_H(R_i \mbox{$B$NG$0U$N9`(B}) $
 $B$,@.N)$9$k$3$H$G$"$k(B.  $B$,@.N)$9$k$3$H$G$"$k(B.
 \end{definition}  \end{definition}
 $B$3$3$G(B ${\rm deg}_H(\prod z_i^{e_i})$ $B$O(B  $B$3$3$G(B ${\rm deg}_H(\prod z_i^{e_i})$ $B$O(B
 $\prod z_i^{e_i}$ $B$N(B weight $H$ $B$K$D$$$F$N(B($BHs2D49@-$rL5;k$7$?(B)$B<!?t$G$"$k(B.  $\prod z_i^{e_i}$ $B$N(B weight $H$ $B$K$D$$$F$N(B($BHs2D49@-$rL5;k$7$?(B)$B<!?t$G$"$k(B.
 $B$D$^$j(B  $B$D$^$j(B
 $${\rm deg}_H(\prod z_i^{e_i}) = \sum e_i H_i $$  ${\rm deg}_H(\prod z_i^{e_i}) = \sum e_i H_i $
 $B$HDj5A$9$k(B ($i$ $B$O=EJ#$7$F$"$i$o$l$k$3$H$b$"$k(B).  $B$HDj5A$9$k(B ($i$ $B$O=EJ#$7$F$"$i$o$l$k$3$H$b$"$k(B).
   
 \begin{example} \rm  \begin{example} \rm
 $$ z_2 z_1 \rightarrow z_1 z_2 + h^2 ,  $ z_2 z_1 \rightarrow z_1 z_2 + h^2 ,
  h z_i \rightarrow z_i h   h z_i \rightarrow z_i h
 $$  $
 $B$O(B $H=(1,1,1)$ $B$K$D$$$F$NF1<!E*=q$-49$(5,B'$G$"$k(B.  $B$O(B $H=(1,1,1)$ $B$K$D$$$F$NF1<!E*=q$-49$(5,B'$G$"$k(B.
 $B$3$NNc$O(B $x=z_1, \partial = z_2$ $B$H$7$?(B  $B$3$NNc$O(B $x=z_1, \partial = z_2$ $B$H$7$?(B
 1 $BJQ?t$NF1<!2=(B Weyl $BBe?t$K$[$+$J$i$J$$(B.  1 $BJQ?t$NF1<!2=(B Weyl $BBe?t$K$[$+$J$i$J$$(B.
Line 350  well order $\succ$ $B$r0J2<$R$H$D8GDj$9$k(B.
Line 349  well order $\succ$ $B$r0J2<$R$H$D8GDj$9$k(B.
   
 \begin{example} \rm  \begin{example} \rm
 $BA0$NNc$N=q$-49$(5,B'(B  $BA0$NNc$N=q$-49$(5,B'(B
 $$ z_2 z_1 \rightarrow z_1 z_2 + h^2 ,  $ z_2 z_1 \rightarrow z_1 z_2 + h^2 ,
  h z_i \rightarrow z_i h   h z_i \rightarrow z_i h
 $$  $
 $B$K$5$i$K(B  $B$K$5$i$K(B
 $$ z_2^{p+1} \rightarrow 0, z_1 z_2 \rightarrow p h^2 $$  $ z_2^{p+1} \rightarrow 0, z_1 z_2 \rightarrow p h^2 $
 $B$r2C$($?5,B'$N=89g$r(B $R_p$ $B$H=q$/(B. $B$3$3$G(B $p$ $B$O<+A3?t$G$"$k(B.  $B$r2C$($?5,B'$N=89g$r(B $R_p$ $B$H=q$/(B. $B$3$3$G(B $p$ $B$O<+A3?t$G$"$k(B.
 $R_p$  $B$O(B $H=(1,1,1)$ $B$K$D$$$F$NF1<!E*=q$-49$(5,B'$G$"$k(B.  $R_p$  $B$O(B $H=(1,1,1)$ $B$K$D$$$F$NF1<!E*=q$-49$(5,B'$G$"$k(B.
 \end{example}  \end{example}
Line 523  $G$-algebra $B$h$j9-$$HO0O$N(B algebra $B$r07$&$3$H
Line 522  $G$-algebra $B$h$j9-$$HO0O$N(B algebra $B$r07$&$3$H
 $B0lHLE*$JOHAH$_$N1~MQ$H$7$F(B, $B>-MhE*$K$O(B $D$-$B2C72$N%"%k%4%j%:%`$r3HD%$7(B,  $B0lHLE*$JOHAH$_$N1~MQ$H$7$F(B, $B>-MhE*$K$O(B $D$-$B2C72$N%"%k%4%j%:%`$r3HD%$7(B,
 Calderon-Moreno $BEy$NF3F~$7$?(B algebra $B$r6I=jE*$K07$&$J$I$N1~MQ$,8+9~$^(B  Calderon-Moreno $BEy$NF3F~$7$?(B algebra $B$r6I=jE*$K07$&$J$I$N1~MQ$,8+9~$^(B
 $B$l$k(B.  $B$l$k(B.
   
 $B$^$?(B, \FN $B$r%f!<%68@8l$h$jA`:n$9$k4X?t$rMQ$$$k$3$H$K$h$j(B,  $B$^$?(B, \FN $B$r%f!<%68@8l$h$jA`:n$9$k4X?t$rMQ$$$k$3$H$K$h$j(B,
 $BF~NO(B, $B=PNO$N%f!<%6%$%s%?%U%'!<%9$rBgI}$K2~A1$G$-$k$3$H$K$b(B  $BF~NO(B, $B=PNO$N%f!<%6%$%s%?%U%'!<%9$rBgI}$K2~A1$G$-$k$3$H$K$b(B
 $BCm0U$7$F$*$-$?$$(B.  $BCm0U$7$F$*$-$?$$(B.
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.4
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>