• 検索結果がありません。

階別リー環の一般化されたスペンサーコホモロジーについて I

N/A
N/A
Protected

Academic year: 2021

シェア "階別リー環の一般化されたスペンサーコホモロジーについて I"

Copied!
5
0
0

読み込み中.... (全文を見る)

全文

(1)Title. 階別リー環の一般化されたスペンサーコホモロジーについて I. Author(s). 八ッ井, 智章. Citation. 北海道教育大学紀要. 第二部. A, 数学・物理学・化学・工学編, 48(1) : 1-4. Issue Date. 1997-08. URL. http://s-ir.sap.hokkyodai.ac.jp/dspace/handle/123456789/1967. Rights. Hokkaido University of Education.

(2) . 北海道教育大学紀要 (第2部A) 第4 8巻 第1号. 平成 9年8月 Aug t l s i ,1997. ido Un iver i ion (Sec ion l IA)VOI I ty ofEducat t Joumalof Hokka s .48 . ,No. on the Generalized spencer c。homology of so・ne Graded Li e Al i gebrasI. ToMoA J K I YATSUI Depar i tmen tofM[ ikawa Campus athemat cs ,Asah , fE Hokka ido Un iver i d i ikawa070 sty o ucaton ,Asah. 階別リ ー 環の 一 般化されたスペンサーコホモロ ジーについて 1. 八ッ井智章 北海道教育大学旭川校数学教室. ider maxi icsubalgebrasPoff ini ABsTRACT‐ VVeCons ionalc lass icals tedi i lnaIParabol ・nens lnP1e irreduc ible graded Lie algebras 5 over C and give the descr iPt ion ofthe general ized sPencer co‐ , homology sPaCe ofthe graded subalgebra F of 5‐. ini ionals implegraded Liealgebra( te dimens lntroduct ion‐ Let5= ◎ がzも beaf SGLA)over C i i ive Part5-= $ 〆○ 5力is generatedby ち-. ) 5-,≠○ i i i )the negat ica1type such that i )5i ;( s ofC1ass ;( ‐ Furtherlet p be a Parabol icsubalgebra of 5 Containing ive Levisubalgebra)ofp‐ t a reduc. ◎. ep0 5p,andIt(resP‐i)the nilradical(resp‐. our main Concerni ibethecohomologysPaCeZ!* - P)= sto descr ,. * ledthe general ized sPencercohomologysPaCeofthegraded Liealgebra scal α 互 (5”,P)& whichi. ごロ 互ぎ - ti th cohomologysPaCe 且P 札 l (5-,P)i s knownthatthe刀‐ si somorphicto 金 髪。 互P )as ) ー , (れ ,p an lo ‐module ,where. ’ L =ln 5- andl。=l n 50‐ Thereforeby Kostant stheorem ([K0s61 ‐14]) ,Th‐5 ,. ibing the space Zr(均 our Probl em i sreducedto that ofdescr. ) p ‐. The PurPose ofthi ibethespaces 旦 れ p) and 互2 s notei sto descr (n, p)in case 5= $ 〆z5pi s , i ibleand pi icsubalgebra of5 l rreduc s a maximaIParabol l lbe publ i softhi s note wi shed ‐ The detai elesewhere.. SI. Let 5= の p z~ be a f ini ionalsGLA over C sat te dimens i lowing condi ions t sfying thefol :. (PI )rank 5≧2; ive Part ”: = e p0 も ofちi (P2 )5- s generated by 5”1 ; 1≠0 andthe negat. (P3 ) 5:E BP zも isirreducible,thatis,the 50‐module 5-,isirreducible; (P4 )5isofC1assicaltype‐ Then thesubalgebra p= e p≦。 ち of 5 i ic and l l s maximaIParabol t( resp 一 )i sthe ni radical( resp‐ a ive Levisuba1gebra)of p Where .= も reduct ,. △ therootsystem of(5, 粉. Letb bea ca【ansuba1gebra of5 Containedin 蔀 and. Fora 年stablesubspace a of5 we denoteby △ (a)thesetofa l ltheroots ,. in whichtheCorresPonding rootvectorsareContainedin 裟‐ Thenthereexi stasi立L ]n n= P1erootsyste {α, tuPies=(s iveintegerssuch ma ‐ t△(~);{α , , …,αJ (z=rank 5)of△ and an z ,”- ,&)ofnon‐negat. (1).

(3) . ℃oMoA紅 YATSU ー. β 2 息α f5isasimple Liealgebra oftype 為,thenthe sGLA 5= E △:βs(α)=P} )=2 たきぎ ‐ l - , where s(. epz 5pissaidto beof. l me Dynkin diagram asin [Bou 68] ‐ lows ) pe(為,s ‐ ln whatfol , welabe. ion(巧)〆zsuch i th a gradat Let y = $pEz 佑 be a graded n‐module( ‐eづ V isa vectorspace wi that5p・ 偽 (. 陀十一. (5, V)the space CP (n, V)= Hom (〈Pn, V)thep‐chainsofthe n‐moduleand 甘P. ine ionsof” and y def ) threspecttothecoboundary operator e thcohor エ ーology wi ofthe汐‐ ‐ Thegradat ioninthe space ofcochains : a gradat cp ={の E CP (n, V) :の n ( where CP , V). CP ( ”, の & , の =sの EZ. ion i 〈 … へち ) 仁 % +…+サs盃, …,も<0} sgradat . Th z f , p ,. ion ofthecoho ]mo10gy space: ib1e wi ththecoboundary operator a,and we obtain a gradat i scompat. HP Hp ( n (n , V) , V)=s6 EZ (れ, V)can beint roduced Furthermorei f y has a p‐modulestructure, 値en a p‐modulestructure on CP (n, sm,thespace 亙P inthenatural way‐ Since 値ecoboundary operator ai sa p‐module homomorphi. y)alsoacquiresa p‐modulestructure.. h 旦P (n, V) ln part icular (れ, V) i san l‐ submoduleof 且P - ,eac. ″P d (箕, V)into K r h ible5‐module ln case V i s ani rreduc ,accordingto ostan st eorem,Wecan ecompose ft コ hecohoロー it i b i h d icular ology i ad rectsum ofinr educible 1‐modules ‐ 1n part , wecano ta nt e escrp ono b ingthe spaces ion ofthespace 甘 n,P)(i=1 ipt l lgivethe descr ) space 甘 『n,5 ,2) y us ‐ lnS2, we wi l l l meanthat 肌 and N, 肌 三 刃 wi lows 旦f l l (n,5)and we ‐modules -knovm lo ‐ ln whatfol ,for ‐modules. 凡グ and. arei somorphicto each other ‐. ≠o and も =ofor h fd h S2 ,5-し ‐ Assumethat5= e がz5piso ept レ,t atis . Let ~,P and n beasin sl ive roots イ ン bet he VVey l group of 5 and △+ the set of posit p < - シー Let も - Now we introduce the fol lowing notat ions : zゅニ 勿△- (△+(勿 E w) , 仁 △( } 5十 ) wi )=ブ ( )={勿 E w: #(宅の s , , の. W 19={w. }, E W s) ) ( : 一 切β E △ P. ) 島 ;(茂ろ‐‐. , , 戊. s me highestroot of 5‐ Let where △-=△\△十 and βi. o → p も ち も 5序 一o be a short exact sequence, where. 小 is an embedding and 汐 is the natural homomorphism‐. This. ong exact sequence, sequence generates a l. ・ ー ( n )-≠も 互i … ÷→ 旦ゴ ( n )塁多 旦ブ (n , ,p ,5/p. 三も Hi )÷ → … (n ,5/p. ゴn 5 ゴP ) ) );妙 resp ( )( By Kostanゼstheorem,if w P )= wi s re sp . Since .lm 小李=○ ・ w( , )( ,thenlm 小;= 且 ( l i l h fl W1 ( )= WI守) s , we gett e o ow ng emma:. 1n 5 1 (れ ) ) 亙1 Lem ma l.( ; . ,≦5, ◎ 甘 ( ,) ,P Z ZS≠1; 2 ) …互 れ ( ) 甘1 (n ,5」 んγ α ,P (2).

(4) . onthe Genera l i r cohomo1 zed spence 0 e A1 三w ofsome Graded Li gebras工. 3 lm中雲 ( ) 旦 n,P) 主( ). E P. 互1 ,5/Pお lm 中音 ) ;工m 小者 〔 且 , 勿彰 〃 (. n,. 3. 浄. Next weinvest igatethespace 亙 n P) rstnotethat 5/Pi si somorphicto n* as a デーmodule , - Fi and. 甘 n,5/P) =o for s≦1‐. Further we see that W2 lowing condi f one ofthe fol ions ( )= W2守)i t s. holds :. 1 ( )rank 5≧3; 2 ( )(&,s )≠(A2一. ) ) 2 ‐ ,(q,e 2 2れ 5 ontheo値erhand i i ther(A2 )i =ofors≠3 )or( ,物) se . , f(&,s ,8 ,then W 像)=Band 旦 ( ‐ ,). Hence ,. by Lemmal( lowinglenlma: 3 ) , we have mefol 1 Lem ma 2.( ) 亙2 ( n ) ≦ 旦2撚,5) たγ s≦1‐ ,P 2 P 2n 5 1 2 ( ) グ ジ=1 (n, p) =0 たγ s≧3 ) 2α 旦2 2≧ 亙 ( 2 EB 互 ,5/P , 劫e” 旦 (れ 2 α7 ,) ,) ‐ 2態 P 1 5/p … 甘2 3 劫 互 5 ◎ ≧ ( ) ダ リ≧2 ( n 旦 」 2 ) e “ ) 尤γ s ‐ , , , , Wecons iderthe spaces 互1 (n,5 /円 . Accordingto Theorem 4.lin [LL 74, Th‐4.1], weobtain thefol lowing exactsequence. * n, S2 * ) )÷→ 甘 n ,n )÷→ 旦 n, C) ÷ → 0‐. o÷→ 旦 Hence. ( n ) )=ch ch ) ) ,(甘1 ,(互1 ,n* ,5/p =ch,(互0 (n, S2. * ) ) )+ch ) ,(H2 ,C) ‐. A1 i ly seethat so we can eas : 2 0 S n*) i ) ( ) H‐ ) ; 2= S 1 , . 2 2 i i ( )ch (甘 ( n )-chー )=ch (5i2 ) (〈 51. , , 2 ‐ ,C) Now we assu工ne ジ≧2 ‐ Let. o→ p / / / n→5 n→5 p→. o. be ashortexactsequence of(き(1)十”) 1 sthecenterof L -modules ,where3( )i. Thissequencegenerates. tsequence a long exac ・・・ ÷ → 互1 (n, p/. ÷→ 亙1 ,5/n」 ÷→ 甘 n,5/p) ÷→ 旦2 ( n ) ÷→ … ,p/”. 2 Sincethe( l -modu eF/=istrivial る”)十n) si somorphicto a directsun.ofdim F/距copies , ″ (=,F/”たi (れ,C)sasann‐module of 甘2 ( n ち/” [国ha90 p111 ) =ofors≧3( so 亙1 ] ) ‐ A1. ,. ,.. 2 ‐ Therefore,if 甘 懲,C) =. 0( ) s≧3 , 値en (互 n ) )=ch (甘2 ch (n ) , s≧3 i s ,P ‐ ,5」)( By Kostanどs meorem in orderthat 互2 (n,C) ≠oforsomes≧3 i i snecessarythat 値epa )be r(叢,s , , ti. i値er(G, 均一)or(鼠, &) e ‐ lnthis case, we have Le1mmーa 3. As s“伽8 比 鰭 ジ≧2‐. Z跨e%:. 0 2 * 膨れ 甘2 ( n ) ) ,C) =0 んγ s≧4 α“〆 互 (n, S 3=0 . 2 2 =(B乙 &) Z物 * 3 旦 C (n, ) =0 たγ s≧4 伽〆 互 n, S “ ) ) , ‐ 3主へ 5当‐. 1 ( )乙鍔 (盈,s )=(G, &- ) . ‐ 2 ( )Le (x乙 ,. By su11 l 1 lnarizing theresu ts of Lenl lnas l-3 lowing1 l r leore 1 efol 1 ain t ・n- , we get 廿. (3).

(5) . TOMO I A J 鑓 YATSU. 4. ) s”粥8 劫の 5=Eap Theorem 4. L8zち=EBP 諺p 彰 α の粥めZ % SG乙A qf 籾戊 (葛,s B . As 云わ“s り α“〆 物e co“〆〆. 併2 ノー 均 れメメ. 似BS勿 P= ① 〆。 ~ ”%ばl t= の p く 。も. 燐pZsqfdゆ放. Z棚% :. 1 ( ) 甘 ”,P) ≧ 旦1 ,5」 たγ 〆Zs≠1; 1 5 2 ) ( ) 甘1鯨,P ; , ◎ ち, ,≦ 甘 (n ,) 2 ZS≦1; 3 n ) 旦2 ( ) ( s≧甘 ,ちた たγαZ ,F 2n 5 B⑭85i,, w 脳 氾 4 n ) ( ) 且2 ( 2E 2…H ( ,) ,p. ◎85ま,ZS 鉱e. ー‐s”る粥o加 を げ ⑭25i ,(⑭8 ,sz物 劫αZch. 5ま. )-ch, i )=ch, (⑭25ま. ) ; 2 (n,F) =0 おγ s≧3 5 ( ) 加 c硲8 シ=1, 甘2 ;. 2 =(Cz Z甘2 ) &, &) ( れ ) 6 ( ) 加 c硲8シ≧2 鯛〆 鎚cゆ云尤γ 劫gc衡e w 庇“(X‘ z s≦ 甘 燃,5たたγ -・ , wage ,P ,e , s≧3 ; ‐. 2 BH2 甘2 (n,C) (n,P) (n,5」 尤γ s≧4 ) ≦ 甘2 7 Z(最,s ) )=(C ( )LB 3 ‐ 3E 3 ≦ 甘 (n,5) ,α”〆 乙 , . Z膨れ 甘 れ ,F ,&- 2 2 2 2 2 ⑭ の 〈 5 ≠ … 甘 ま 互 ) 5 ≧4 ば (n, ) (れ,P) T綾“ 甘 ,P)‘… H ,5お たγs ,αれ 8 i(差,s )=(&,&) ( )Le ・ ・‐ 3 ( 3 - 7. REFB I UNCES. 吻 Lれ. P 6 i如珍物搭 4 C ,5 努 6, Hermam, aris,19 8. 1990 h ik67( M 位 め ) L i hakimdzhanov ] Yu [醐ha90 2云卿 c o肋 粥〆媛ツ qfso伽e ”のo加川 eα怨 名硲, a .USSRSbor ,99‐ ‐B.K1 ,07 116 ‐ 1961 ) Z Z 物8 ‐WB [Kos6 0〆 e粥,APo of Ma魚‐74( ] B.Kostant, Lie αをeるm co肋伽oぁ卿 α”〆 物eggれgm滋gd Bo陀Z 1 ‐ ,329冊397 9 9 M 故 S 1 5 1 7 4 T A 1 n ( ) お 彰 ” i メ d ゐ c C わ fβ r a o 肋 M L k r n s e を f a e 衡 [LL74 ]G‐F‐Legerand E o メ 跳 c α 粥 〃 m o q q ‐ . 卿 . . , , . ‐ us , o 305-316 ‐. zα姿効〆搭 [Bou6 ] N‐Bourbaki 8 oのB se , G〆. (4).

(6)

参照

関連したドキュメント

られてきている力:,その距離としての性質につ

存在が軽視されてきたことについては、さまざまな理由が考えられる。何よりも『君主論』に彼の名は全く登場しない。もう一つ

強者と弱者として階級化されるジェンダーと民族問題について論じた。明治20年代の日本はアジア

算処理の効率化のliM点において従来よりも優れたモデリング手法について提案した.lMil9f

に関して言 えば, は つのリー群の組 によって等質空間として表すこと はできないが, つのリー群の組 を用いればクリフォード・クラ イン形

注:一般品についての機種型名は、その部品が最初に使用された機種型名を示します。

賞与は、一般に夏期一時金、年末一時金と言うように毎月

・5月上旬より、1~4号機周辺道路やタービン建屋東側の一部エリアについて 、当該エリア で働く作業員の身体的負荷軽減や作業性の向上を目的に、Yellow zone