LUCRARE DE DIZERTAIE - MASTER S.N.S.B.

TITLUL STUDENT PROFESOR

: Arbori simpliciali : Cimpoea Mircea : Popescu Dorin

Data susinerii : Rezu tat !"inut:

0.Prezentarea lucrrii. Aceast lucrare prezint rezultatele cele mai importante din teoria arborilor simpliciali. Materialele de baz ale acestei lucrri const n trei articole ale matematicienei canadiene Sara aridi.!"ezi biblio#ra$ia% &n primul capitol sunt prezentate no'iuni de baz despre comple(ele simpliciale: idealul $a'etelor) non$e'elor) localizarea unui comple( simplicial etc. &n al doilea capitol sunt prezentate propriet'ile $undamentale ale arborilor simpliciali !ce este o $runz* orice $runz are un "+r$ liber* de$ini'ia arborelui simplicial) orice arbore simplicial are cel pu'in , $runze* e(emple) #eneralizarea teoremei -oni# etc.% &n al treilea capitol enun' i demonstrez teorema de structur a arborilor nemi(ta'i. &n capitolul . de$inesc i e(empli$ic no'iunea de comple( simplicial altoit. Art c un comple( simplicial altoit este nemi(tat) i c altoirea se pstrez prin localizare. &n capitolul / art c un comple( altoit este Co0en-Macaula1. &n capitolul 2 e(empli$ic c+te"a dualizri ale unui comple( simplicial !comple(ul acoperirilor) comple(ul Stanle1-3eisner) comple(ul complementar) comple(ul Ale(ander% i le#turi ntre acestea pe care le "oi utiliza ulterior. &n capitolul 4 art c idealul $a'etelor unui arbore simplicial este sec"en'ial-Co0enMacaula1. Pentru aceasta) utilizez no'iunile de rezolu'ie liniar i c+turi liniare pentru un ideal5 &n capitolul 6 de$inesc no'iunea de c"asi-arbore !introdus de 70en#%) care constituie o #eneralizare a no'iunii de arbore. De asemenea) enun' c+te"a rezultate importante le#ate de aceasta. &n capitolul 8 demonstrez c realizarea #eometric a unui !c"asi%-arbore este un spa'iu topolo#ic contractibil. Prin aplica'iile ei at+t n domeniul cercetrii pure c+t i n cercetarea aplicat !de e( n teoria optimizrii re'elelor de calculatoare% teoria arborilor simpliciali reprezint un domeniu $oarte acti" n matematic. Din acest moti") mi-am ales ca subiect al lucrrii mele de dizerta'ie s $ac o introducere n aceast tematic at+t de actual5 Cu speran'a c am reuit s realizez un ec0ilibru ntre dorin'a de a prezenta c+t mai multe lucruri i cea
2

de a m $ace n'eles i de ctre nespecialiti) nc0ei aceast prezentare i trec la $apte: 9.Comple(e simpliciale. De$ini'ii preliminare. De#iniia $: Se numete comple( simplicial pe mul'imea de "+r$uri :;<"9)5"n=) o submul'ime P!:% care "eri$ic urmtoarele propriet'i: a% <"i= ) i;9)n. b% Dac i > ) atunci > . ?lementele se numesc $e'e ale comple(ului simplicial. Dimensiunea unei $e'e este dim! %;card! %-9. Prin con"en'ie) dim! %; -9. Dimensiunea comple(ului simplicial este prin de$ini'ie: dim! %;ma(<dim! %) = @ $a' ma(imal !n raport cu rela'ia de incluziune% se numete $a'et. ?ste uor de obser"at c un comple( simplicial este per$ect determinat de $a'etele sale 9)5 A moti" pentru care notm ;B 9)5 AC. Dn comple( simplicial cu o unic $a'et se numete simple(. Prin subcomple( simplicial) "om n'ele#e un comple( simplicial #enerat de o submul'ime de $a'ete ale lui . De#iniia %: ie un comple( simplicial i E un corp. Fui i asociem urmtoarele ideale: ! % ; B( i ( i 5( i G<" i " i 5" i = e $a'etC - idealul $a'etelor lui . H! % ; B( i ( i 5( i G<" i " i 5" i = C idealul Stanle1-3eisner al non-$e'elor lui .
9 , s 9 , s 9 , s 9 , s

E&e'( u $: Dac ;B(1z) 1zu) u"C) comple( simplicial care arat ast$el: 1 u I Atunci: z "

! %;!(1z) 1zu) u"% <EJ()1)z)u)"K i H! %;!u() "() "1) "z% <EJ()1)z)u)"K.

De#iniia ): @ submul'ime de "+r$uri A : se numete acoperire cu "+r$uri a lui ) dac $iecare $a'et din con'ine cel pu'in un "+r$ din A. @ acoperire cu "+r$uri se numete minimal dac nu pot e(tra#e din ea una mai mic.

E&e'( u %: &n e(emplul 9 a"em acoperirile urmtoare: <()u=) <1)u=) <z)u=) <1)"=) <z)"=.

minimale

De#iniia ): Dn comple( simplicial ;B 9)5 AC se numete cone() dac 9 iBL A) e(ist un ir de $a'ete i; i9) i,) 5 it; L ast$el c intersec'ia a dou $a'ete consecuti"e din ir este ne"id. De#iniia *: Dn comple( simplicial se numete pur dac toate $a'etele au aceiai dimensiune. Comple(ul simplicial din e(emplul 9 nu este pur deoarece are $a'ete de dimensiune , i de dimensiune 9. Dn comple( simplicial se numete nemi(tat dac toate acoperirile sale minimale au acelai numr de elemente. De#iniia +: Dat M;Bm9)5mAC <EJ(9)(,)5)(nK;3 ideal #enerat de o mul'ime de monoame libere de ptrate) n care apar toate "ariabilele (9)(,)5)(n) i putem asocia urmtoarele dou comple(e simpliciale: !M% ; B 9)5 AC) unde i;B" i " i 5" i C cu m9;( i ( i 5( i . H!M% ; B ;<" i " i 5" i =G ( i ( i 5( i MC. ?ste uor de obser"at c ! ! %%; i H!H! %%; N
9 , s 9 , s 9 , s 9 , s

Pr!(!ziia $: ie M;Bm9)5mAC ideal ca mai sus) atunci: !M% este nemi(tat H!M% este pur. Demonstraie: Dup cum se tie, orice ideal prim din Ass(R/I), pentru I <R monomial este generat de variabile. bservm c !"#$ i ,$ i ,%$ i & 'in(I) (v i ,v i ,%v i ) este acoperire minimal pentru *(I). Deci *(I) nemi$tat toate primele minimale ale lui I au acelai numr de generatori toate +aetele lui ,(I) au aceiai dimensiune " -t(!) pentru ! 'in(I) ,(I) este pur.
9 , s 9 , s

De#iniia ,: Dat un comple( simplicial i ! %)H! % cele dou ideale asociate din 3 ; EJ(9)5)(nK) putem s-i asociem urmtoarele dou inele: -J K;3OH! % inelul Stanle1-3eisner al lui . 3! %;3O ! %. He "or interesa condi'ii su$iciente pentru ca aceste inele s $ie Co0en-Macaula1.

De#iniia -: ie un comple( simplicial i M; ! %. Presupun M;Bm9)5mAC. ie P <3 ideal prim OM) #enerat de "ariabile P;!$ i ,$ i ,%$ i %. !de e(emplu P Ass!3OM%%. ie MP;!m9P)5mAP%. P; !MP% s.n. localizarea lui n P. Mai precis) miP este ob'inut din mi prin suprimarea "ariabilelor care nu apar n idealul P. Drmtorul e(emplu "a $i) sper) concludent:
9 , s

E&e'( u %: Dac este urmtorul comple( simplicial care arat ast$el: ( " 1 u

z M ; ! % ; B(1z) (z") z"uC. m9;(1z) m,;(z") mQ;z"u. a. Consider P ; !() z) "%. Atunci) m9P;(z) m,P;(z") mQP;zu deci MP ; !(z) zu%. b. Consider R ; !z) ") u%. Atunci) m9P;z) m,P;"z) mQP;"u i deci MR ; !z) "u%. Pr!(!ziia %: Dac este un comple( simplicial nemi(tat i M; ! %. Atunci pentru P :!M%) comple(ul localizat P rm+ne nemi(tat. &n plus) ! %;! P%) unde ! %;numrul minim de elemente pentru o acoperire cu "+r$uri a lui . Demonstraie: 'ai .nt/i observm c .n ! variabilele ce nu apar .n ! nu apar nici .n m01,%m21. De asemenea, unele monoame devin redundante. !utem deci presupune c idealul I!"(m01,%mt1), pentru un t 2. De asemenea, +aetele corespun3toare vor +i *i1"*i (v i ,v i ,%v i ). bservm c orice acoperire minimal cu v/r+uri pentru care este coninut .n mulimea (v i ,v i ,%v i ) rm/ne acoperire minimal i pentru !, deoarece: Dac am un ideal prim minimal 4 'in(I), 4 !, atunci 4! este prim minimal peste I!. nemi$tat toate primele minimale peste I au aceiai .nlime, deci, din argumentul anterior, re3ult c toate primele minimale peste I! au aceiai .nlime, deci ! este nemi$tat. 5vident, ( )"( !)6 7e poate da i urmtorul argument combinatoric pentru a arta c ! este nemi$tat: Dac 8 (v i ,v i ,%v i ) e o acoperire minimal pentru !, atunci 8 acoper +aetele *01,%*t1 dar i *t901,%*21, deci de +apt este o acoperire cu v/r+uri pentru . 5$trag 81
9 , s 9 , s 9 , s

o acoperire minimal cu v/r+uri pentru . 5vident 81 are ( ) elemente. Dar dac 81 acoper pe este evident c .l acoper i pe !. Dar de aici re3ult c 81"86 'orala este c: ( )"( !)6 ,.Arbori simpliciali. Propriet'i elementare. De#iniia $: ie un comple( simplicial i . Spunem c este $runz dac este sin#ura $a'et sau dac: ! %> o $a'et) ast$el c !% P $a'et) P ) rezult c P > . Alt$el spus) < P G P = are un unic element ma(imal. a'eta > se numete coad a $runzei . Mul'imea cozilor lui se noteaz D! * % i se numete mul'imea uni"ersal a lui . E&e'( u $:
9 , Q

i Q sunt $runze care au coada ,.

9

Pr!(!ziia $: Dac este o $runz) atunci are un "+r$ liber !adic un "+r$ care nu mai apar'ine nici unei alte $a'ete% Demonstraie: !resupunem *"(v i v i %v i ) i, prin reducere la absurd, presupunem c ( )*: cu v i *: pentru :"0,s. *ie ; <( =*) o coad pentru *. Atunci, din de+iniie, avem *: * ; *, :"0,s ()v i ;* *"(v i v i %v i ) ; *, ceea ce este evident absurd, din motive de dimensiune.
9 , s L L 9 , s

De#iniia %: Dn comple( simplicial cone( se numete arbore simplicial) dac orice subcomple( al su !inclusi" el nsui% are !cel pu'in% o $runz. Dac nu mai cerem ca s $ie cone() ob'inem no'iunea de pdure simplicial. O"ser.aie: Ho'iunea de arbore simplicial reprezint o #eneralizare a no'iunii de arbore din teoria #ra$urilor. &ntr-ade"r) dac este un arbore simplicial de dimensiune 9) el este) ca #ra$) arboreN Sotui) de$ini'ia din teoria #ra$urilor !Dn arbore este un #ra$ cone( $r cicluri% nu se poate #eneraliza) moti" pentru care) no'iunea de arbore simplicial a $ost introdus plec+nd de la #eneralizarea urmtoarei propriet'i a arborilor: Dn #ra$ > este arbore @rice sub#ra$ al su are cel pu'in un capt !corespondentul no'iunii de $runz5%
6

Aa cum n teoria #ra$urilor) a"em urmtoarea proprietate: Dac > este un arbore) atunci > are cel pu'in , capete) este $iresc s ne ateptm la ce"a analo# pentru arbori simpliciali. Asta ne spune propozi'ia urmtoare: Pr!(!ziia %: @rice arbore simplicial) cu cel pu'in , $a'ete) are cel pu'in dou $runze. Demonstraie: !resupun "#*0,%*2&, 2 > i +ac inducie dup 2. !entru 2"> a+irmaia este evident deoarece ambele +aete sunt .n acest ca3 +run3e6 !resupun 2 ?. Aleg *0 o +run3 pentru i ;0 <( =*0) o coad a ei. *ie subcomple$ul 1"#*>,%*2&. Din ipote3a de inducie, re3ult c 1 are > +run3e distincte, s 3icem *> i *?. 5vident, cel puin una dintre ele di+er de ;0. 7 3icem c aceasta ar +i *>. Art c *> este +run3 pentru : *ie ;> <( 1=*>). Atunci pentru i 0,> *i *> ;>*>. !entru a arta c *> este +run3 pentru tot ce mai avem de veri+icat este c: *0*> ;>*>. Dar asta e simplu: @um *0 este +run3 pentru *0 *> ;0 *0. An aceast inclu3iune, intersectm cu *>. binem: *0*> ;0*0*> ;0 *> ;>*> ,ultima inclu3iune av/nd loc pentru c ;0 *> i *> este +run3 .n 1. Pr!(!ziia ): Dac este un arbore simplicial. M; ! % i P ideal prim peste M #enerat de "ariabile atunci comple(ul localizat P este o pdure simplicial. Demonstraie: !resupun I " #m0,%m2& i ! " #$ i ,$ i ,%$ i &, atunci I! " #m01,%m21&, unde mi1 este obinut din mi prin suprimarea variabilelor care nu apar .n idealul !. *ie 01"#*01,%*t1& un subcomple$ .n !. Breau s art c 01 are o +run3. Dac t"0, este evident, deci pp.t&0. @onsider subcomple$ul corespun3tor 0"#*0,%*t& al lui . @um este arbore 0 are o +run3, s 3icem *0. Aleg o coad ; <( =*0). ,u .mi mai rm/ne dec/t s observ c *01 este +run3 .n 01, iar ;1 este coad.
9 , s

N!taii: Dat un comple( simplicial) notm: ! %;numrul minim de elemente al unei acoperiri minimale cu "+r$uri. ! %;numrul ma(im de $a'ete independente !care nu au nici un "+r$ n comun) dou c+te dou%
7

O"ser.aie: 3eamintesc teorema lui -oni#: Dac > este un #ra$ bipartit atunci !>%;!>%) unde !>%;numrul minim de elemente al unei acoperiri cu "+r$uri pentru > i !>% este numrul ma(im de muc0ii independente n >. Aceast teorem admite urmtoarea #eneralizare: Te!re'/: Dac e un arbore nemi(tat) atunci ! %;! %. !entru a demonstra teorema, vom utili3a urmtoarea: Le'a $: Dac este un comple( simplicial nemi(tat care are o $runz cu o codi' > atunci ! %;! T>%) unde prin T> n'ele# subcomple(ul lui #enerat de toate $a'etele lui mai pu'in >. Demonstraia lemei: ,ote3 r"( ). ,ote3 1" C;. Aleg A o acoperire minimal cu v/r+uri pentru 1. 5vident, A are cel mult r elemente. @um * este +aet .n 1, e$ist un element $ A ast+el c $ *. Dac $ este v/r+ liber al +run3ei *, .l putem .nlocui printrDun v/r+ legat $1 *, care .n mod necesar aparine lui ;, cci ; e coada lui *. bin ast+el o acoperire cu v/r+uri A11 a lui 1 care va conine o acoperire minimal A1. 5vident card(A1) r. ,umai c A1 este o acoperire minimal pentru tot , deci cum acesta este nemi$tat card(A1)"card(A)"r, ceea ce implic ( )"( C;)"r. Demonstraia teoremei: !resupun i +ac "#*0,%*2& inducie dup 2. !entru 2"0, a+irmaia este evident. !resupun 2 >. Aleg * o +run3 a lui i ; o coad a ei. @on+orm lemei, ( )"( C;)"r. Atunci, din ipote3a de inducie, .n C; e$ist r +aete independente, care, evident, rm/n independente i .n . Dar atunci este clar c ( ) ( ). Reciproca re3ult imediat din +aptul c dat o acoperire cu v/r+uri, ea trebuie s conin cel puin un v/r+ distinct pentru +iecare +aet independent. Deci ( ) ( )6 O"ser.aie: Mne#alitatea ! % ! % are loc ntotdeauna) oricare ar $i comple(ul simplicial . E&e'( u %:

@bser"a'ie: Acesta este un arbore simplicial nemi(tat cu ! %;! %;,. De#iniia ): Dn comple( simplicial pe o mul'ime de "+r$uri : se numete n-partit dac e(ist o parti'ie a mul'imii :) :;:9 :, 5 :n ast$el c: !%()1 :i ) atunci nu e(ist nici o $a'et cu ()1 . Pr!(!ziia *: Dn arbore simplicial de dimensiune cel mult n admite o nU9 parti'ie. Demonstraie: *acem inducie dup 2 " numrul de +aete al lui "#*0,%*2&. !entru 2"0 este evident. !resupun 2 >. !resupun c *2 este o +run3 i *2D0 este o coad a sa. ,ote3 1"#*0,%*2D0&. Din ipote3a de inducie, 1 este n90 partit, deci mulimea v/r+urilor lui 1 admite o scriere B1 " B0 %Bn90. Reatae3 pe *2 la 1 pentru a obine comple$ul iniial . Atunci, v/r+urile lui *2 sunt +ie .n *2D0 +ie sunt v/r+uri libere. B/r+urile care sunt .n *2D0 sunt de:a .n B1 iar cele libere le distribuim, c/te unul, .n acele BiDuri care nu conin v/r+uri din *2 *2D0. binem ast+el o n90 partiie pentru . E&e'( u ):

u (

Acesta este un comple( ce admite Q-parti'ia urmtoare: :;<()V= <u)z=<")1=. 1 V

z @bser"a'ie: este mi$tat cu ! %;, i ! %;9. nu este arbore6 E&e'( u *:

"

"

@bser"m c: este un arbore mi$tat cu ! %;! %;9. admite ? partiia: :;<z)1= <()"=<u=.
9

Q.Seorema de caracterizare a arborilor nemi(ta'i. Le'a $: ie un comple( simplicial nemi(tat. Presupunem c r;! %;! % i < 9)5 r=mul'ime de $a'ete independente. Atunci orice "+r$ din apar'ine unei $a'ete i. Alt$el spus: :! % ; :! 9%5 :! r%. Demonstraie: *ie $ un v/r+ al lui . !resupun c $ nu aparine nici unei +aete *i. Aleg A o acoperire minimal cu v/r+uri a lui cu $ A. ricum, A trebuie s conin cel puin un v/r+ din +iecare +aete independente *i. Dar atunci r " card(A)&r, ceea ce este evident absurd. E&e'( u $: Dac > este #ra$ul complet cu / "+r$uri notate ()1)z)u)" atunci > este nemi(tat cu !>%;. i !>%;,. De e(emplu <(1)u"= este o mul'ime independent ma(imal de $a'et iar z nu apar'ine "+r$urilor acestor $a'ete. Le'a %: Dac este un arbore nemi(tat cu r;! %;! % i < 9)5 r= sunt $a'ete independente) atunci toate $runzele lui sunt printre acestea. Demonstraie: *ie * o +run3. Atunci e$ist $ * un v/r+ liber. !resupun c * (*0,%*r). Atunci ar re3ulta c $ B(*0)% B(*r) " B( ), ceea ce e evident absurd6 Le'a ): ie este un arbore nemi(tat. Atunci orice mul'ime ma(imal de $a'ete independente cu ! % elemente nu con'ine nici o coad a unei $runze. &n particular) o coad ntr-un arbore nemi(tat nu poate $i $runz. Demonstraie: Dac ; este o coad pentru o +run3 *, atunci cum * este .n orice mulime independent de +aete din , cum * ; , re3ult c ; nu poate +ace parte6 Le'a *: Dac este un arbore nemi(tat i este o $runz care are o coad > atunci P; T> e arbore nemi(tat.

10

Demonstraie: !resupunem "#*0,%*2& i B"(v0,%vn) mulimea v/r+urilor lui . *acem inducie dup n. Dac n"0 este clar, deci presupun n&0. ,ote3 r"( ) i aleg A o acoperire minimal cu v/r+uri pentru 1. Din lema >.0 re3ult c ( 1)"r. Dac A conine un v/r+ din ; atunci A e acoperire i pentru deci are r elemente. !resupun c A ;" i card(A)&r. I. Art c $ BC(A ;). !resupun prin reducere la absurd c B"A ;. Atunci pentru E A, F 1 +aet ast+el c F A"(E) (alt+el ar re3ulta c AC(E) este de asemenea o acoperire cu v/r+uri, absurd6) Atunci cum B"A ; F"(; F)(E). !e de alt parte, pot presupune c (*0,%*r) este o mulime ma$imal de +aete independente. @um ; este coad, din lema ? ; (*0,%*r). @um card(A)&r re3ult c cel puin o +aet dintre *0,%*r conine > elemente distincte din A. 7 presupunem deci c A *r " (E0,%Es) pentru un s&0. Atunci e evident c *r " (*r ;) (E0,%Es). Alegem F0,%,Fs +aetele lui cu Fi " (Fi ;) (Ei). Gi considerm arborele #*r,;,F0,%,Fs& care are, dup cum tim, cel puin dou +run3e. ,umai c, din modul cum au +ost alese +aetele acestui arbore, numai ; ar putea avea un v/r+ liber, ceea ce este absurd6 II. *ie $ BC(A ;). ,ote3 ! " idealul prim generat de mulimea BC($). ,ote3 I"*( ) i I1"*( 1). !resupunem c, comple$ul locali3at !"#*01,%*t1& unde *i1"*iC($), t 2. Gtim din propo3iia >.? c ! este pdure. De asemenea, din propo3iia 0.> ! e nemi$tat cu ( !)"( )"r. ,e concentrm acum asupra lui !1. An a+ar de ;1 toate celelalte +aete ale lui !1 coincid cu cele ale lui !. Asta reiese din: Dac *i1 !1 atunci pentru : i avem *:1 *i1. !e de alt parte, dac ;1"; atunci ;1 *i1 de unde *i1 p. An consecin, dac *i1 ! atunci *:1 *i1 pentru : i i *: 1 cu at/t mai mult acest lucru este valabil pentru *: !1 i deci con+orm argumentului de mai sus, re3ult c *i1 !1. Avem dou posibiliti: a. Dac ;1 !1 !" !1 deci A este acoperire minimal pentru ! care este nemi$at cu ( !)"r. Absurd6

11

b. Dac ;1 !1 *1 !, deoarece: dac F1 *1 pentru un F F* i deci F * ; * F1 ;1 ceea ce e absurd. 'ai observ c *1 are cel puin > v/r+uri, cel puin un v/r+ liber care e .n A i cel pui un v/r+ ce e .n ;1";. 7imilar, observ c *1 e +run3 .n ! cu coada ;1. Din ipote3a de inducie !1" !C#;1& este un arbore nemi$tat. Dar atunci card(A)"r, absurd6 2.e.d. Te!re'a 0e 1ara1terizare a ar"!ri !r ne'i&tai. Dac este un arbore simplicial nemi(tat) atunci e(ist $a'etele 9)5) r) >9)5)>s ast$el c este #enerat de aceste $a'ete i) n plus: 9% 9)5) r sunt toate $runzele lui . ,% < 9)5) r=<>9)5)>s=; Q% a'etele 9)5) r sunt independente. .% Dac W <>9)5)>s=) atunci W nu are "+r$uri libere. Demonstraie: !resupunem c am demonstrat punctul 0). Atunci >),?) i H) reies imediat din lemele 0,>,?. Bom demonstra punctul 0) prin inducie dup 2 " numrul de +aete al arborelui simplicial . Dac 2"0, a+irmaia este evident. Dac 2">, a:ungem la o contradicie, +iindc un arbore cu > +aete este .n mod necesar mi$tat. !resupunem 2"?. *ie *0 i *> dou +run3e i ;0 cea deD a treia +aet a arborelui. @um este cone$ i nemi$tat atunci ;0 nu poate +i +run3 (pentru c +run3ele sunt +aete independente) deci ;0 este o coad at/t pentru *0 c/t i pentru *>. @red c urmtorul e$emplu va ilustra cel mai bine aceast situaie:

An ca3ul general (2&?) procedm ast+el. Alegem ; o coad pentru . @on+orm lemei ?, ; nu este +run3. Atunci, 1" C; este un arbore nemi$tat cu ( 1)"r, con+orm lemei H. Atunci, din ipote3a de inducie, avem c 1"#*0,%,*r,;0,%,;s& ast+el c sunt .ndeplinite condiiile 0)DH) din enunul teoremei. Din condiia H), re3ult imediat c dac * este +run3 pentru , atunci ea rm/ne +run3 pentru 1 deoarece are cel puin un v/r+ liber. !entru a demonstra teorema, este su+icient s art reciproca acestei a+irmaii, i anume c *0,%,*r sunt +run3ele arborelui 6 'ai .nt/i observ c "#*0,%,*r,;0,%,;s,;&. Avem > ca3uri:
12

I. !resupunem c ; este singura coad a lui . *r a pierde din generalitate, putem presupune c *0,%,*eD0 sunt +run3ele lui i *e,%,*r nu sunt +run3e. Anltur/nd *0,%,*eD0obinem pdurea 11"#*e,%,*r,;0,%,;s,;&. Atunci 11 are cel puin dou +run3e. Artm c ;0,%,;s nu pot +i +run3e, +iindc nu au v/r+uri libere: @lar, ;0,%,;s nu au v/r+uri libere .n . @a +aete .n 11 ele tot nu au v/r+uri libere, +iindc ; +iind singura coad din , avem ;i*: ;*: pentru i"0,%s i :"0,%eD0. @um ; este +aet .n 11,prin eliminarea *0,%,*eD0 nu se eliberea3 nici un v/r+ pentru ;0,%,;s. Dar de aici re3ult c cel puin una dintre +aetele *e,%,*r este +run3 pentru 11. 7 presupunem c *e e +run3. Atunci e$ist o +aet ;1 11 ast+el c avem: F *e ;1 *e pentru toate +aetele F 11C#*e&. @um *i *e " pentru i"0,%eD0 re3ult imediat c avem: F*e ;1*e pentru toate +aetele F C#*e&, adic *e este o +run3 .n , contradicie cu ipote3a +cut. Deci, .n conclu3ie, .n acest ca3, *0,%,*r sunt toate +run3e ale lui . II. !resupunem c are o alt coad ;1 distinct de ;. @onsiderm pre3entarea "#*0,%,*r,;0,%,;s,;&. @um (*0,%,*r) este o mulime ma$imal de +aete independente, re3ult c ;1 (*0,%,*r) deci ;1 (;0,%,;s). Bom arta .n cele ce urmea3 c *0 este +run3 .n . (Absolut analog se arat c i *>,%,*r sunt +run3e .n , re3ult/nd c.c.t.d.) @um *0 este +run3 .n 1 e$ist o coad, s 3icem ;0 i deci F*0 ;0 *0 pentru F ;, *0.(0) !e de alt parte 11" C#;1& este un arbore nemi$tat. Din +aptul c (*0,%,*r) este o mulime independent ma$imal de +aete pentru 11 re3ult din ipote3a de inducie c *0 este +run3 pentru 11. An consecin, e$ist o coad ;> 11cu: F*0 ;> *0 pentru F ;1,*0.(>) An particular ;1*0 ;0 *0 i ; *0 ;>*0. (?) Distingem .n cele ce urmea3, urmtoarele ? ca3uri: a. Dac ;0 ;1 ;0 11 i din (>) ;0*0 ;> *0. Atunci din (0)i(>) F*0 ;> *0 , F *0 i deci *0 este o +run3 .n cu coada ;>. b. Dac ;> ;, obinem .n mod similar c *0 este o +run3 .n cu coada ;0. c. !resupunem c ;0 " ;1 i ;> " ;. !rin reducere la absurd, vom presupune c *0 nu este o +run3 .n . Atunci avem relaiile urmtoare:
13

- ;*0 ;1*0 , datorit relaiilor (0) i (?). - ;1*0 ;*0 , datorit relaiilor (>) i (?).(H) - F*0 (;;1) *0 ,pt. F ;,;1,*0 din(0) i (?). Din relaiile (H), re3ult c e$ist un $ ;*0C;1 i e$ist un E ;1 *0C;. @utm o acoperire minimal pentru C#;,;1,*0& care nu conine nici unul din v/r+urile lui ;,;1 i *0. !entru a arta c acest lucru este posibil, din ceDa deDa treia condiie a relaiilor (H) este su+icient s artm c nu e$ist nici o +aet .n C#;,;1,*0& care s aib toate v/r+urile .n ; ;1. !resupunem prin absurd c F ar +i o asemenea +aet: Atunci avem F " (F ;)(F ;1). @onsiderm arborele 0"#;,;1,*0,F&. Atunci 0 are dou +run3e. 7 observm c F nu poate +i +run3, +iindc nu are v/r+uri libere (toate v/r+urile lui F sunt +ie .n ;, +ie .n ;1 din ipote3). Dac *0 ar +i +run3, atunci ea nu poate s le aib pe ; sau ;1 drept co3i, +iindc sDar contra3ice primele dou condiii din (H) i deci F trebuie s +ie coad at/t pentru ; c/t i pentru ;1. Dar atunci ar re3ulta c ; *0 F*0 deci $ F, ceea ce contra3ice iari relaiile (H). An conclu3ie, ; i ;1 sunt cele dou +run3e din 0. 7 considerm ;. Dac ;1 este coad pentru ;, re3ult c *0; ;1 ; ;1 ceea ce contra3ice (H). Dac F este coad pentru ;, atunci *0; F ;, deci $ F, ceea ce contra3ice iari relaiile (H). Absolut analog se arat c ; sau F nu pot +i co3i pentru ;1. 'orala: *0 e coad at/t pentru ;, c/t i pentru ;1. Dar atunci: F ; *0 ; i F;1 *0;1 deci F *0 ceea ce este evident absurd. Revenind, am reuit s artm c +iecare +aet a lui di+erit de ; i ;1 are cel puin un v/r+ care nu aparine lui ; i ;1 i (din (H)) cu at/t mai mult nu aparine lui *0. *ie A o acoperire minimal pentru C#;,;1,*0& care nu conine nici unul din v/r+urile lui ;,;1 i *0. @um arborele C#;,;1,*0& are rD0 +aete independente, re3ult c card(A) rD0. ,umai c atunci A ($,E) este o acoperire minimal cu cel puin r90 v/r+uri a lui , ceea ce contra3ice +aptul c este nemi$tat cu r"( )6

14

E&e'( u $: Drmtorul comple( simplicial este un arbore nemi(tat) ce "eri$ic propriet'ile !9%-!.% ale teoreme: >9
9

>,

..Altoirea comple(elor simpliciale. De#iniia $: Spunem c este o altoire a comple(ului simplicial P;B>9)5)>sC cu $a'etele < 9)5) r=) dac: 9% :! P% :! 9%5 :! r%. ,% < 9)5) r= <>9)5)>s=;. Q% a'etele 9)5) r sunt independente. .% 9)5) r sunt toate $runzele lui . /% Dac W <>9)5)>s= este o coad pentru o $runz a lui ) atunci comple(ul TW este altoit. O"ser.aie: Din condi'ia !/% rezult c dac este o $runz n atunci mul'imea <W GW = e total ordonat. Pr!(!ziia $: Dac P este un arbore simplicial) iar este o altoire a sa) atunci este arbore simplicial. Demonstraie: *ie 11 un subcomple$ .n . Breau s art c el conine cel puin o +run3. Dac 11 este subcomple$ .n 1, atunci .n mod evident el conine o +run3, +iindc 1 este arbore. !resupunem c 11 nu e inclus .n 1. Atunci i cu *i 11. Aplic/nd observaia anterioar, este evident c *i este +run36 E&e'( e: ie 1 >9 >,
1 este un arbore.

Prin altoire) putem ob'ine urmtorii arbori: $.

9

>9 >,
,

%.

9 Q

, .

15

>9

>,

Te!re'a $: Dac este un comple( simplicial ob'inut prin altoirea lui P cu $a'etele < 9)5) r= atunci este nemi(tat i ! %;r. Demonstraie: Dac (;0,%,;s)" a+irmaia este imediat. !resupunem deci s&I i +acem inducie dup 2 " numrul de +aete ale lui . !rimul ca3 este 2"?. !resupunem c "#;0,;>,*0& cu *0 unica +run3. ,umai c atunci, din prima condiie a de+iniiei unui comple$ altoit, ar re3ulta c ;0 *0 i ;> *0 ceea ce este evident absurd6 Deci "#;0,*0,*>& cu *0,*> +run3e i ;0 coad pentru ambele. Din condiia (0) ;0 *0 *> i din (H)*0*>" . Dar atunci e uor de observat c e nemi$tat cu ( )">. !resupunem 2&?. *ie *0 o +run3 cu coada ;0. Din condiia (J) 1" C#;0& este de asemenea un arbore altoit, deci, din ipote3a de inducie, re3ult c 1 este nemi$tat cu ( 1)"r. Brem s artm acelai lucru despre arborele . *ie A o acoperire minimal pentru . card(A) r deoarece conine r +aete independente, *0,%*r. !resupunem prin reducere la absurd c, card(A)&r. @um A este o acoperire cu v/r+uri pentru 1, pot e$trage din ea o subacoperire minimal A1, care are deci r elemente. @um A1 e inclus strict .n A re3ult c A1 nu conine nici un v/r+ din ;0 deci, .n mod necesar, conine un v/r+ liber al +run3ei *0. @um A e acoperire pentru , A conine un v/r+ E ;0. !resupunem E ;0 *> (evident, E*0 cci A este acoperire minimal6) deci avem de +apt A"A1 (E). !e de alt parte, i A1 conine un v/r+ 3 *>, deci +run3a *> contribuie cu dou v/r+uri la acoperirea A. 5ste clar c at/t E c/t i 3 nu sunt v/r+uri libere, alt+el unul din ele ar +i redundant. !resupunem c ;> este coad pentru *>. *ie 11" C#;>&. Kot din ipote3a de inducie, re3ult c 11 este nemi$tat cu ( 11)"r, deci A are o submulime A11 cu r elemente care e acoperire minimal pentru 11. ,umai c A are de:a
16

e$act un v/r+ .n +run3ele *0,*?,%,*r deci singurul mod de a obine A11 din A este sDl .nlturi pe E sau pe 3. Dar asta .nseamn c +ie A11"AC(E) +ie A11"A C(3). An ambele ca3uri .ns re3ult c A11 conine un v/r+ din ;> deci de +apt A11 este o acoperire cu v/r+uri pentru care are r elemente, ceea ce contra3ice ipote3a +cut. An conclu3ie, A are r elemente, deci ( )"r. 2.e.d. C!r! ar: Dac este un arbore simplicial) atunci este nemi(tat este altoit. Demonstraie: !resupunem c este arbore nemi$tat. Atunci, din teorema de structur a arborilor nemi$tai din paragra+ul anterior, se constat imediat c este altoit. Reciproca reiese automat din teorema precedent. Te!re'a %: Focalizarea unui comple( simplicial altoit) rm+ne comple( simplicial altoit. Demonstraie: !resupunem "#*0,%,*r,;0,%,;s&. Dac are doar o +aet, a+irmaia este evident, aa c presupun c are cel puin ? +aete (am v3ut c > nu se poate6). !resupun c !"($0,%$-) cu -#n, unde B"($0,%$n) este mulimea v/r+urilor comple$ului . Atunci, dup cum am artat, !"#*01,%,*t1,;01,%,;u1& pentru t r i u s, unde *i1 " *i ($0,%,$-) i ;:1 " ;: ($0,%,$-) iar *t901,%,*r1 i ;u901,%,;s1 sunt coninute .n cel puin una dintre +aetele *01,%,*t1,;01,%,;u1. Bom renumerota +aetele lui ! .n modul urmtor: !entru i"0,%t notm Fi " *i1. !entru i"t90,%r tim c *i1 conine cel puin una dintre +aetele *01,%,*t1, ;01, %,;u1. Dar cum, din de+iniie, *i*: " pentru i :, atunci e$ist un : u cu ;:1 *i1. !entru acest : particular, de+inim Fi " ;:1. Artm c alegerea lui : este bun: Dac e$ist + u, + : cu ;+1 *i1, atunci ar re3ulta, dintrDo observaie anterioar, c +ie ;:1 ;+1, +ie ;+1 ;:1 i cum ambele sunt +aete, ar re3ulta c ;+1";:1 ceea ce e evident absurd. ,otm 50,%5v toate celelalte +aete ale lui ! distincte de F0,%Fr. binem pre3entarea !"#F0,%,Fr,50,%,5v&. Brem s artm c ! este un comple$ simplicial obinut din altoirea lui #50,%,5v& cu (F0,%,Fr).
17

Art mai .nt/i c +aetele (F0,%,Fr) sunt dou c/te dou dis:uncte. AntrDadevr pentru i0,i> r, i0 i> e$ist :0,:> r, :0 :> ast+el c: Fi0 *:01 *:0 i Fi> *:>1 *:> i .n plus *:0 *:>" i Fi0 Fi>". An conclu3ie, condiia (H) din de+iniia altoirii este .ndeplinit. !e de alt parte, din teorema 0, este un comple$ nemi$tat i deci, con+orm propo3iiei 0.>, i ! este un comple$ nemi$tat cu ( )"( !). Aplic/nd acum lema J.0 deducem c B( !)"B(F0) %B(Fr). Dar atunci i condiia (0) de altoire este satis+cut. An particular, de aici re3ult c 50,%,5v nu pot avea v/r+uri libere, deci nu pot +i +run3e pentru !. @ondiia (?) re3ult din construcia lui !. Artm .n cele ce urmea3 c F0,%,Fr sunt toate +run3ele lui !. Dac !"#F0,%,Fr& atunci ! este altoit prin de+iniie. !resupunem c ! are o component cone$ 1 cu dou sau mai multe +aete. @um 1 este cone$, ea trebuie s conin cel puin un 5i i cum B( !) " B(F0) % B(Fr), 1 conine de asemenea nite F: Duri. !resupunem deci c 1"#F0,%,Fe& #50,%,5+&, e r i + v. Art, de e$emplu, c F0 este +run3 pentru 1. @onsiderm urmtoarele dou ca3uri: I. F0 " *i1 pentru un i t. @um 1 e cone$, e$ist nite +aete care se intersectea3 cu F0. 7 3icem c 5:0,%,5:l sunt toate +aetele care se intersectea3 cu F0. !utem presupune c 5:3 " ;m31. Deci: *i1;m31 i cu at/t mai mult avem: *i;m3 . Din prima observaie a acestui capitol, putem presupune c avem lanul de inclu3iuni: *i;m0 *i ;m> % *i ;ml, ceea ce prin intersecie cu ($0,%$-) devine: *i1;m01 *i1 ;m>1 % *i1;ml1, adic: F05:0 F0 5:> % F0 5:l. Re3ult imediat c F0 este +run3 pentru 1 i deci condiia (J) din de+iniia altoirii se veri+ic. II. F0 " ;:1 pentru un : u. An acest ca3, e$ist un i r ast+el c F0 " ;:1 *i1. 5$act ca .n ca3ul anterior, alegem 5:0,%,5:l +aetele din 1 care intersectea3 F0. La +el, presupunem 5:3 " ;m31. @um mulimea *i;m3 e nevid, urmrind acelai argument ca mai sus, deducem c avem: (M) *i1;m01 *i1 ;m>1 % *i1;ml1. @um ;:1 *i1, intersect/nd (M) cu ;:1, vom obine c: ;:1;m01 ;:1 ;m>1 % ;:1;ml1, ceea ce, prin traducere devine: F05:0 F0 5:> % F05:l.
18

Aadar F0 este +run3 pentru 1 i deci condiia (J) din de+iniia altoirii se veri+ic.

/.Comple(ele simpliciale altoite sunt Co0en-Macaula1. ie un comple( simplicial altoit) de prezentare ;B 9)5) r)>9)5)>sC) unde r;! % i sunt $runzele 9)5) r lui ie :;<(9)5(n= mul'imea "+r$urilor lui . . Considerm inelul 3! %;3O ! %) unde 3 ; EJ(9)5(nK. &n acest para#ra$ ne propunem s artm c 3! % este un inel Co0en-Macaula1. Le'a $: dim!3! %% n-r. Demonstraie: bservm c dac ! este prim minimal peste I"*( ) re3ult c ! e generat de variabile care +ormea3 o acoperire minimal a lui . De aici, cum este nemi$tat -t(!)"( ),deci dim(R( )) dim(R)D-t(I) " nD r. Le'a %: Pentru a arta c 3! % este Co0en-Macaula1) este su$icient s #sim un ir re#ulat cu n-r elemente omo#ene din ' ; !(9)5(n%. Demonstraie: Demonstraia are urmtorii doi pai. I. Dac gsim un ast+el de ir regulat cu nDr elemente dept-(R( )m) nDr i cum, lema 0 avem .n plus c dim(R( )m) nDr, re3ult c R( )m este inel localD@D'. !entru a arta c R( ) este @D' trebuie s locali3m i .n alte ideale ma$imale6 II. *ie I"*( ). Dac n <R este un alt ideal ma$imal, putem presupune c !"($0,%,$e) este idealul generat de toate variabilele $in. Atunci I! este idealul +aetelor comple$ului ! care, con+orm teoremei H.>, este la r/ndul su altoit. 7criem n " !94, unde 4 <NO$e90,%,$nP. Atunci R( )n " NO$0,%,$eP!/I! k NO$e90,%,$nP4.
19

Deci, pentru a arta c R( )n este @o-enD'acaulaE este su+icient s art c NO$0,%,$eP!/I! este @D', deoarece, .n mod evident NO$e90,%,$nP4 este @D'6 ,umai c, .n ca3ul inelului NO$0,%,$eP!/I! e vorba de locali3area .n idealul irelevant% ca3 re3olvat .n punctul I al demonstraiei. Pentru a putea aLun#e la demonstra'ia rezultatului central al acestui capitol) a"em ne"oie de urmtoarea lem) pri"ind polarizarea idealelor. Le'a 0e (! arizare: ie 3;EJ(9)5)(nK i M;!m9)5)mA%) unde m9)5)mA sunt monoame. Atunci e(ist o E-al#ebr de polinoame 3P;EJ(9)5)(n)(9P)5)(mPK i un ideal MP;!n9)5)nA% cu n9)5)nA monoame libere de ptrate i 0;09)50m un ir re#ulat de elemente omo#ene de #rad 9 pentru 3POMP ast$el c a"em: 3PO!MP)0% 3OM. MP se numete polarizatul idealului M. Demonstraie: !resupunem c variabila $0 apare .n m0 la o putere >. !resupun: m0"$0a0g0,% mr"$0argr cu a0 > i ai 0 i $0 nu divide gi i nici +: pentru :&r. *ie R1"RO$IP. @onsider idealul I1"#$I$0a0D0g0,%,$I$0arD0gr,+r90,%,+2& <R1. Aleg -"$ID$0. 5vident, R1/(-) R i R1/(I1,-) R/I. De asemenea, .n I1 apar, .ntrDun sens evident, mai puine variabile la puteri > deci printrDun procedeu inductiv a:ungem la re3ultatul dorit, odat ce demonstrm c - este element regulat .n R1/I1: !resupunem prin absurd c - nu ar +i regulat. Atunci

U '/ I ') P ( )!Ass(R1/I1) cu -!. -DivI(R1/I1)" PAss(R

@um ! este ideal monomial peste I1, tim c !"(I1:u), unde u este un monom cu uI1. @um -"$ID$0!, iar ! este ideal monomial $I,$0! i deci $Iu,$0uI1. $0uI1 $0u " $I$0aiD0giQ (uI1) u " $I$0aiD>giQ. $IuI1 $Iu " $I>$0aiD0giQ "
a j 1 x o x1 g j w ' , f j w ''

dar .n ambele

ca3uri obinem c $I este .n suportul lui Q1 sau Q11, deci .n conclu3ie, putem simpli+ica cu $I obin/nd ast+el c uI1 ceea ce este evident absurd6 E&e'( u: Dac M;!(9,)(,,)(Q%) 09;(0-(9) iar 0,;(-9-(,.
20

atunci

MP;!(0(9)(-9(,)(Q%

Te!re'/: Dac este un comple( simplicial altoit) atunci: 3! %;3O ! % este un inel Co0en-Macaula1. &nainte de demonstra'ie) enun' urmtorul corolar: C!r! ar: Dac este un arbore simplicial) atunci este nemi(tat 3! % este Co0en-Macaula1. Demonstraie: Am artat de:a c un arbore simplicial este nemi$tat este altoit. Kotodat, cum R( ) este @o-enD 'acaulaE este nemi$tat, avem i implicaia invers6 Demonstraia teoremei: !resupunem c +run3a *i are v/r+urile (Ei,$0i,%$uii), unde Ei este un v/r+ liber. Brem s artm c irul (M) E0D$00,%,E0D$u00,%,ErD$0r,%,ErD$urr este un ir e$act .n R( ) care are .n mod evident nDr elemente6 Atunci, din lema >,va re3ulta c R( ) este @D '. !entru a arta acest lucru, voi demonstra c irul de mai sus provine din polari3area inelului urmtor: 7"NOE0, %,ErP/(E0u090,%,Erur90,+0,%+s) unde +i este obinut din +aeta ;i prin .nlocuirea cu E: a +iecrui v/r+ din ;i*:. Intuitiv, a+irmaia de mai sus nu este greu de v3ut. 7ingura problem care poate aprea este ca, prin +actori3area cu irul e$act (M) s nu a:ungem cumva la o permutare a v/r+urilor lui . !entru a evita aceast problem, vom utili3a +aptul c pentru un comple$ altoit, avem o ordine total pe mulimea (; *iR; ). *ie F0i,%,Feii toate +aetele care intersectea3 *i, ast+el c: F0i *i % Feii *i. Atunci, irul (M) .l ordonm ast+el c dac $ei F+i $e90i F+i. <tili3m inducia dup numrul de +aete ale lui . Dac .nlturm o coad, i 3icem ;0 atunci 1" C#;0& este .n continuarea un comple$ altoit pe aceiai mulime de v/r+uri i cu ( 1)"( ). Atunci dac R( 1)"R/*( 1) avem c dim(R( 1))"dim(R( )). 'ai mult, 1 are aceleai +run3e ca i i anume *0,%,*r. Atunci, din ipote3a de inducie, irul (M) polari3ea3: 71"NOE0,%,ErP/(E0u090,%,Erur90,+>,%+s). Ipote3a de inducie neDa asigurat c dup aplicarea irului (M) toate +aetele lui 1 sunt re+cute .n po3iiile lor originale i cu ordonarea lor iniial. 'ai avem de artat c procesul de polari3are re+ace i pe ;0, pornind de la monomul +0.
21

Dar asta este destul de clar, devreme ce pentru +iecare i, ;0*i are locul su +i$at .n irul ordonat: F0i *i % Feii *i . Atunci, dac, card(;0*i)"-i, primele -i aplicri ale lui (M) re+ac ;0 *i +r a muta aceast +a .n +aete care au intersecie mai mare cu *i. @um ;0 are intersecii dis:uncte cu *0,%,*r, odat ce am +actori3at prin irul EiD$0i,%,EiD$uii constatm cu bucurie c ;0 a +ost re+cut la po3iia ei iniial.

2.Dualizarea comple(elor simpliciale. De#iniia $: ie un comple( simplicial. Se numete comple(ul simplicial asociat) al acoperirilor lui ) notat M) comple(ul al crui $a'ete sunt acoperirile minimale ale lui . O"ser.aie: este nemi(tat M este pur. Pr!(!ziia $: Dac este un comple( simplicial) atunci M este un dual al lui n sensul c: M M ; . Demonstraie: !resupunem c "#*0,%,*2& i '"#;0,%,;p&. ,otm 4i idealul prim generat de elementele lui ;i. Atunci este evident c I"*( )"40 %4p, deoarece 4i corespunde unei acoperiri minimale, I este ideal radical i orice prim minimal peste I este de +apt un 4i6 'ai .nt/i, artm c orice +aet a lui este o acoperire cu v/r+uri pentru '. @onsider +aeta *0. Kot cu *0 note3 i monomul corespun3tor din I. @um *04i,i, re3ult c *0 conine cel puin un v/r+ din +iecare ;i. Deci *0 este o acoperire cu v/r+uri pentru '. !resupunem c * este o acoperire minimal cu v/r+uri pentru '. @um * conine un v/r+ din +iecare ;i, atunci * , privit ca monom, aparine tuturor idealelor 4i i deci *I. Deci : cu *: divide *, alt+el spus *: *, dar cum *: este acoperire cu v/r+uri pentru ' iar * este presupus minimal *"*:. Dar asta ne arat c *0,%,*2 sunt toate acoperirile minimale pentru ', deci ' ' " .

22

De#iniia %: ie un comple( simplicial. Se numete comple(ul simplicial Stanle1-3eisner asociat lui ) comple(ul H ; H! ! %%;< G =. O"ser.aie: H H ; . !AntrDadevr: , " (*R * ) ,, "(*R * ,)"(*R* )" .) De#iniia comple(ul comple(ul "+r$urilor %: ie un comple( simplicial. Se numete simplicial complementar al lui ;B 9)5) AC) C unde ; :T i. :;mul'imea C;B 9C)5) ACC) i lui .

O"ser.aie: C C; . !e"ident% De#iniia ): Dac este un comple( simplicial pe mul'imea de "+r$uri :;<"9)5"n=) se numete dualul Ale(ander al lui ) comple(ul simplicial de$init prin: " ; <:T G =. O"ser.aie: ! " %" ; . !e"ident% Pr!(!ziia %: ie un comple( simplicial) atunci: !a% H ; MC. !b% H " ; MH ; C. Demonstraie: (a)Re3ult imediat din relaia urmtoare:

I,fae ! PF , ,( )" F

unde

!*

"

idealul

generat

de

variabilele

care apar .n complementara +aetei *. (b) Din punctul (a) ', " ''@ " @. ,u ne mai rm/ne dec/t s artm c , v " @. Dar , v " (BC*R* ,) iar @ "(BC*R* ), numai c * , * , deci propo3iia este demonstra6 Ho'iunile anterioare ar $i #reu de n'eles $r un e(emplu concret: 1 u " ie ; B(1z)1zu)u"C : ( z z Atunci: M ; B(u) 1u) 1") zu) z"C u " 1
23

 C ; Bu")(")(1zC

" z ( u

H ; MC ; B1"z) ("z) (zu) (1") (1uC : ; Bz1") z1u) (zu) (1uC

4.Sec"en'ialitatea Co0en-Macaula1 a arborilor. De#iniia $: ie E un corp i 3 o E-al#ebr #raduat. !&n particular) 3;EJ(9)5)(nK. ie M un 3-modul. Spunem c M este 3-modul sec"en'ial Co0en-Macaula1) dac e(ist o $iltrare a lui M cu submodule #raduate:0 ; M0 M9 5 Mr ; M ast$el nc+t a"em: a%MiOMi-9 este 3-modul Co0en-Macaula1. b%dim!MiOMi-9% B dim!MiU9OMi%) pentru i;9)r-9. Re3ultatul principal al acestui capitol const .n: Te!re'/:! aridi% Mdealul $a'etelor ! % al unui arbore simplicial este sec"en'ial Co0en-Macaula1. !entru a putea da o demonstaie a acestei teoreme, avem nevoie de c/teva de+iniii i re3ultate preliminare: De#iniia %: Dat M un ideal monomial #enerat de monoame libere de ptrate i ; !M%) de$inim idealul dual al lui M)notat M" ca $iind idealul $a'etelor comple(ului M. De#iniia ): Spunem c un ideal M <3 ; EJ(9)(,)5)(nK are o rezolu'ie liniar) dac 3OM are o rezolu'ie minimal liber ast$el c elementele nenule ale matricilor date de aplica'iile 3 L 3 L-9 sunt polinoame omo#ene de #rad 9. Te!re'/!?a#on-3einer%: ie M <3 ; EJ(9)(,)5)(nK un ideal monomial #enerat de monoame libere de ptrate. Atunci 3OM este Co0en-Macaula1 M" are o rezolu'ie liniar.

24

Demonstraie: ve3i articolul S5agonDReiner: Resolution o+ 7tanleEDReisner rings and Ale$ander dualitE, T.!ure Appl. Algebra 0?I (0UUV) no.?,>WJD>XJY Te!re'/!Du"al%: ie M <3 ; EJ(9)(,)5)(nK un ideal monomial #enerat de monoame libere de ptrate i H ; H!M% comple(ul Stanle1-3eisner asociat. Atunci 3OM este sec"en'ial-Co0en-Macaula1 pentru orice i;0)5dim! H%) dac H)i este subcomple(ul pur de dimensiune i) atunci 3OH! H)i%este un inel Co0en-Macaula1. Demonstraie: Be3i articolul SDuval A.'. Algebraic s-i+ting and se2uentiallE @o-enD'acaulaE simplicial comple$es, 5lectron.T.@ombin.?(0UUW) no.0Y E&e'( u: ( z 1 ie urmtorul comple( simplicial: u A"em ! %;B(1z) zuC A"em H ; B(1uC

Se constat uor c dac 3;EJ()1)z)uK) atunci 3OMi sunt inele Co0en-Macaula1 pentru i;0), deci con$orm teoremei Du"al 3OM este sec"en'ial-Co0en-Macaula1. De#iniia *: ie M un ideal monomial liber de ptrate ntr-un inel de polinoame 3;EJ(9)5)(nK. Pentru EC0) notm MJEK ; componenta omo#en liber de ptrate de #rad E n M) #enerat de toate monoamele libere de ptrate de #rad E din idealul M. Pr!(!ziie !Criteriu de sec"en'ialitate-Co0en-Macaula1%: ie M un ideal monomial liber de ptrate ntr-un inel de polinoame 3;EJ(9)5)(nK. Atunci M este sec"en'ial Co0enMacaula1 pentru orice E) M"JEK are o rezolu'ie liniar. Demonstraie: !resupunem " *(I) " #*0,%*2&. !resupunem c ' " #;0,%;p&. @um , " '@ (din propo3iia W.>(a)) re3ult c , " #;0@,%;p@&. *ie i(I,%dim( ,)) arbitrar +i$at. ,otm ,,i " #F0,%Fu&. Din Keorema 5agonDReiner, a

H)0 ; B()1)uC) deci M0 ; H! H)0% ; BzC. H)9 ; B(1)(u)1uC) deci M9 ; H! H)9% ; B(1z)(1u)zuC. H), ; B(1uC) deci M, ; H! H),% ; Bzu)z()z1)(1)(u)1uC.

25

arta c Ii " ,( ,,i) este un ideal @o-enD'acaulaE revine la a arta c Ivi are o re3oluie liniar. Din propo3iia W.>(a), observm c Ivi este idealul +aetelor lui ,,i@ deci ne interesea3 ce se .nt/mpl cu F@ unde F este o +aet .n ,,i. @um F aparine unui subcomple$ .n , re3ult c e$ist o +aet ;:@ , ast+el c F ;:@. Dar atunci ;: " ;:@@ F@ ceea ce se traduce prin +aptul c F@ conine o acoperire minimal cu v/r+uri a lui , deci este o acoperire cu nD(i90) v/r+uri a lui . An mod similar, dac ; este o acoperire cu v/r+uri pentru cu nD(i90) elemente putem constata c ;@ este o +aet .n ,,i. Discuia de mai sus ne arat c idealul IvN este generat de monoame corespun3toare acoperirilor cu nDiD0 elemente pentru . Deci Ivi " IvOnDiD0P. Atunci, con+orm teoremei 5agonDReiner, a arta c ,,i este @o-enD'acaulaE revine la a arta c IvOnDiD0P are re3oluie liniar. Keorema Duval .nc-eie demonstraia6 De#iniia +: ie M;!m9)5)mA% <3 un ideal monomial) minimal #enerat de monoamele m9)5)mA. Spunem c M are c+turi liniare) dac e(ist o ordine pe m9)5)mA pe mul'imea #eneratorilor minimali ast$el c !m9)5)mi-9%:mi este #enerat de o mul'ime de "ariabile. Le'a $: Dac M;!m9)5)mA% e un ideal monomial care are c+turi liniare i #eneratorii mi au acelai #rad) atunci M are o rezolu'ie liniar. Demonstraie: *acem inducie dup 2. !entru 2"0 este clar. !resupunem 2&0 i notm I1"(m0,%,m2D0). Atunci, din ipote3a de inducie I1 are o re3oluie liniar, i con+orm unui re3ultat de algebr comutativ (v.8runnsD Fer3og S@o-enD'acaulaE RingsY seciunea J.J) avem: Kori(N,R/I1)a " I , pentru a i9d, unde d"grad(mi). Kori(N,R/I1:I)a" I , pentru a i90. @onsider urmtorul ir e$act: # I R/I1 R/(I1:I)(Dd) R/I I !rin trecere la omologie, obinem irul lung e$act: % Kori(N,R/(I1:I)(Dd)) Kori(N,R/I) Kori(N,R/I1) KoriD0(N,R/(I1:I)(Dd)) % bservm de aici d dac Kori(N,R/I)a I, atunci re3ult c a " i9d, deci R/I are o re3oluie liniar.
"

26

Le'a %: Dac este un comple( simplicial pe mul'imea de "+r$uri :;<(9)5)(n=. Presupunem c (: ast$el c :T<(= este o acoperire cu "+r$uri pentru . ie P( idealul prim #enerat de "ariabilele din :T<(=. Atunci localizarea lui n idealul P( corespunde) prin dualitatea acoperirii) nlturrii tuturor $a'etelor lui M care con'in pe (. Alt$el spus) dac P; P( i A9)5)At sunt toate $a'etele lui M care con'in pe ( MP; MT<A9)5)At=. Demonstraie: 7 observm mai .nt/i c o +aet .n '1 este generat de mulimea variabilelor unui ideal prim minimal peste I"*( ) care nu conine pe $ i deci, .n particular, aparine lui '. Reciproc, dac A este o +aet din 'C(A0,%,At), atunci lui A .i corespunde un ideal prim minimal peste I care nu conine pe $, deci un ideal prim minimal peste I!$. Te!re'a $: ie un arbore !pdure% simplicial. ie M; ! %. ie ! % i n) atunci M"JiK are c+turi liniare. Demonstraie: *acem inducie dup n " numrul de v/r+uri ale lui . Dac n"0, atunci const .ntrDun singur v/r+, iar IvO0P "($0) are evident c/turi liniare. !resupunem aadar n&0. I. 'ai .nt/i, consider urmtorul ca3 special: este o pdure care conine +aetele ($0),%,($:) pentru :#n. Atunci putem considera I1"*( ) ca ideal .n NO$0,%,$nD:P (I,I1 au aceiai mulime de generatori, doar c aceti triesc .n inele di+erite). Aplic/nd ipote3a de inducie, re3ult c pentru +iecare i, I1vOiP are c/turi liniare. 7e veri+ic uor c avem: IvOiP " I1vOiP 9 $nI1vOiD0P. !resupunem c: I1vOiP "(A0,%Aa) i I1vOiD0P"(80,%8b), unde generatorii sunt trecui .n ordinea corect pentru c/turi liniare. !entru a arta c IvOiP "(A0,%Aa) 9 $n(80,%8b) are c/turi liniare, vom considera ca3ul c/nd e$ist un monom mNO$0,$>,%,$nP ast+el c m$n8:(A0,%,Aa,$n80,%,$n8:D0). @um I1vOiD0P are c/turi liniare, re3ult c pentru o variabil 3 care divide pe m, avem 3$n8:($n80,%,$n8:D0). Dac m$n8:(A0,%,Aa) atunci cum 8: este de:a o acoperire cu v/r+uri pentru cu i elemente 38:(A0,%,Aa). @u at/t mai mult, pentru orice 3 care divide m, putem conclude c

27

3$n8:(A0,%,Aa)6 Acest argument re3olv ca3ul c/nd "#$0, %,$:& i :#n. II. Dac "#$0,%,$n& atunci singurul ideal ce poate +i considerat este IvOnP"($0%$n) care prin de+iniie are c/t liniar .n mod evident6 III. Acum putem trece la ca3ul general, presupun/nd .n plus c conine o +aet cu mai mult de un v/r+. 'ai mult, putem presupune c are o +run3 * cu dim(*)&I i cu un v/r+ liber $ " $0. !utem scrie atunci pentru ', c: ',OiP " *(IvOiP) " #A0,%,At& #$80,%,$8s& unde A0,%,At sunt acoperirile cu v/r+uri pentru cu i elemente care nu conin pe $, iar $80,%,$8s sunt celelalte acoperiri cu v/r+uri pentru (cele care conin pe $). bservaie: Am utili3at convenia $8"($) 86 *ie 1" !$ i 11" C#*&. At/t 1 c/t i 11 sunt pduri care au ca mulime de v/r+uri ($>,%,$n). De asemenea, observm c 1 este un comple$ simplicial nevid. *olosind notaiile din lema precedent, avem c: 1',OiP"#A0,%,At& i 11',OiP"#80,%,8s&. !entru a veri+ica ultima identitate, observm c pentru :"0,%s atunci din +aptul c $8: este o acoperire pentru , re3ult c 8: este o acoperire pentru 11(cci $ este v/r+ liber .n *, deci $ acoper doar pe *). !e de alt parte, dac A este o acoperire pentru 11 cu iD0 elemente atunci $A este .n ',OiP deci $A($80,%,$8s). Aplic/nd ipote3a de inducie pentru pdurile 1i 11 re3ult c idealele: Iv1OiP"#A0,%,At& i Iv11OiD0P"#80,%,8s& din NO$>,%,$nP admit ambele c/turi liniare. !utem presupune c ordinea A0,%,At (respectiv 80,%,8s) este ordinea din de+iniia c/turilor liniare. Brem s artm c idealul IvOiP"(A0,%,At)9$(80,%,8s) admite c/turi liniare. Aplicm inducie descendent dup i. 5vident, avem v I OnP"($0%$n) care admite c/turi liniare. De asemenea, putem presupune i&0, cci IvO0P este generat de o mulime de variabile, dac nu este cumva 3ero. a. !rimul ca3 interesant este cel al idealului (A0, %,At):$80. Dar 80 este o acoperire cu variabile pentru 11" C#*& deci E80IvOiP pentru orice v/r+ E al lui * care nu se a+l .n 80. Deci, dac m este un monom ast+el c m$80I1vOiP atunci e$ist un monom n i un indice : ast+el .nc/t s avem m$80"nA: (con+orm unei discuii precedente). Dac 80 de:a conine un v/r+ al lui *, atunci 80 este o acoperire cu iD0 elemente pentru 1 i deci pentru orice E care divide m E80(A0,%,At). Alt+el, cum e$ist
28

un v/r+ E al lui * .n A:, dac E divide pe m, iari re3ult c E$80(A0,%,At)6 b. An ca3ul general al idealului (A0,%,At,$80,%,$8:D0):$8: dac pentru un monom m, m$8:($80,%,$8:D0) atunci din ipote3a de inducie pentru Iv11OiD0P e$ist o variabil E care divide m a... E$ 8:($80,%,$8:D0). Dac m$8:(A0,%,At) atunci dintrDun argument analog cu cel de la pasul a, gsim o variabil E care divide pe m cu E$8:(A0,%,At). Te!re'/:! aridi% Mdealul $a'etelor ! % al unui arbore simplicial este sec"en'ial Co0en-Macaula1. Demonstraie: *ie I"*( ) Din teorema 0 i lema 0 idealul IvOiP are o re3oluie liniar, pentru ( ) i n. Dar atunci, din criteriu de secvenialitateD@D' 2.e.d. C!r! ar: Dac este un arbore nemi(tat% atunci H este elabil. simplicial C-M !deci

6.@ #eneralizare a no'iunii de arbore simplicial. De#iniia $: !70en#% Dn comple( simplicial cone( se numete c"asi-arbore dac $a'etele lui pot $i ordonate 9) ,)5) m ast$el c i e $runz pentru B 9)5) i-9C)i;,)5m. Dac nu mai cerem cone(itate) ob'inem no'iunea de c"asi-pdure. O"ser.aie: Dac este arbore!pdure% atunci este c"asi-arbore !c"asi-pdure%. 3eciproca) n #eneral) nu mai este ade"rat. E&e'( u: Acest comple( este c"asi-arbore) dar nu este arbore) $iindc) dac nlturm $a'eta din miLloc) ceea ce ob'inem nu mai are nici o $runzN

Pr!(!ziie: Dac este o c"asi-pdure) atunci H! % e #enerat de monoame de #radul ,. Demonstraie: *ie *0,*>,%,*m o ordine bun pe mulimea +run3elor. Aplicm inducie dup m. !entru m"0 este clar. @um 1"#*0,*>,%,*mD0& e tot cvasiDpdure, 1 veri+ic
29

ipote3a de inducie. *ie *N o coad pentru *m (N#m). Atunci ; 1 ;(*mC*N)" . !resupunem c e$ist F o nonD+a minimal cu cel puin ? elemente. @um F e non +a, ( )pF cu p*m. Dac 2*m (p,2) , deci ( ):#m cu (p,2) *:. Deci 2*: *m 2*N, deci F(*mC*N)" , ceea ce arat c F este o nonD +a minimal .n 1 cu cel puin ? elemente. Absurd6 De#iniie: Dac este un comple( simplicial pe mul'imea de "+r$uri :;<"9)5"n=) se numete dualul Ale(ander al lui ) comple(ul simplicial de$init prin " ; <:T G =. ?"ident) ! " %" ; . Te!re'/:!Caracterizare al#ebric a c"asi-pdurilor% ie un comple( simplicial. Atunci este c"asipdure pd!H! " %%;9 Te!re'/:!Dirac% ie > un #ra$. Atunci DAS?: !9%> este cordal.!orice ciclu cu lun#ime Q are o coard% !,%> este 9-sc0eletul unei c"asi-pduri. 8.Caracterizarea topolo#ic a arborilor simpliciali. De#iniie: Dn spa'iu topolo#ic I se numete contractibil) dac este omotop cu un spa'iu topolo#ic $ormat dintr-un sin#ur punct (0I. Adic: ?(ist : IXJ0)9K I continu ast$el c !()0%;(0 )(I i !()9%;( )(I. !Alt$el spus) aplica'iile 9I i (0 sunt omotope% &n #eneral) dou spa'ii topolo#ice I i Y se numesc omotope) dac e(ist $: I Y i #: Y I continue ast$el c $o# ; 9Y i #o$ ; 9I. E&e'( u: n este contractibil. &ntr-ade"r) ale# omotopia : nXJ0)9K n ) !()t%;t() ( n i tJ0)9K. Analo#) o submul'ime stelat n n e contractibil. De#iniie: Dat un comple( simplicial abstract) putem s i asociem realizarea sa #eometric ntr-un spa'iu n) ast$el: Dnei $a'ete de dimensiune A i asociem un Asimple( standard !;acoperirea con"e( a AU9 puncte a$in independente%. Fipim apoi !topolo#ic% aceste simple(e) dup cum ne spune intersec'ia $a'etelor5

30

Pr!(!ziie: ie > un #ra$) atunci > este 3ealizarea sa #eometric este un spa'iu contractibil. Demonstraie: <n arbore este ;eometric, aa ceva este un Reciproc, dac ; nu este arbore, de 2&I ciclii, ceea ce topologic de 2 cercuri (spaiu care evident un

arbore topolo#ic

gra+ +r ciclii. spaiu contractibil6 atunci conine un numr revine la o sum cone$ nu mai e contractibil6)

Problema care se pune este dac ne putem atepta la o #eneralizare a acestei propozi'ii pentru arbori simpliciali arbitrari !sau c"asi-arbori) de ce nuZ%. &n primul r+nd) s obser"m c nu mai puteam a"ea o caracterizare cu [dac i numai dac\) ceea ce reiese imediat din e(emplul urmtor: E&e'( u: ?ste un spa'iu contractibil) dar nu este arbore !nici c"asi-arboreN%N

Te!re'/: Dac este un arbore) topolo#ic contractibil.

atunci

este

un

spa'iu

@-eia demonstraiei const .n urmtoarea lem: Le'/: Dac este un comple( simplicial care are o $runz ) atunci este omotop cu TB C. Demonstraie: *ie ; o coad pentru *. Atunci v/r+urile lui * +ie sunt libere, +ie sunt .n * ;. ,umai c *; este o +a .n , deci geometric vorbind este un iD simple$. 7e observ atunci imediat c * se retract la * ;, deci de +apt se retract la C#*&. Demonstraia teoremei: Aleg *0,*>,%,*m o ordine bun pe mulimea +run3elor. Aplic/nd succesiv lema anterioar, constat c: "#*0,%,*m& ; #*0,%,*mD0& ; % ; #*0& care este un spaiu topologic contractibil6 C!nse1ine: $.Dac este contractibil. un arbore simplicial)
31

atunci

este

%.Dac este o c"asi-pdure !sau o pdure% atunci e omotop cu o mul'ime discret de m puncte) unde m; numrul de componente cone(e ale lui . ] ] ]

Bi" i!2ra#ie:
9.^inn$red _runns) `ur#en Werzo# [Co0en Macaula1 3in#s\) Cambrid#e studies in ad"anced mat0ematics) 9886. ,.Sara aridi [Simplicial trees are seAuentiall1 Co0enMacaula1\) ,4.au#ust ,00Q. Q.Sara aridi [S0e $acet ideal o$ a simplicial comple(\) Manuscripta Mat0ematica!908%),00,. ..Sara aridi [Co0en-Macaula1 properties o$ sAuare-$ree monomial ideals\) ,00,. /.3.:illareal [Monomial al#ebras\ 2.`.Werzo# [^orEs0op on monomial al#ebras a ?$orie ,00Q\) M.M.A.3. Seminaries series no. QO,00Q

Cu(rins:
Ca(it! Denu'ire Pa2in/ 0.Prezentarea lucrrii . . . . . . . . . . . . . . . . , 9.Comple(e simpliciale. De$ini'ii preliminare. . . . . Q ,.Arbori simpliciali. Propriet'i elementare . . . . . 2 Q.Seorema de caracterizare a arborilor nemi(ta'i . . .90 ..Altoirea comple(elor simpliciale . . . . . . . . . .9/ /.Comple(ele simpliciale altoite sunt Co0en-Macaula1 .98 2.Dualizarea comple(elor simpliciale . . . . . . . . .,, 4.Sec"en'ialitatea Co0en-Macaula1 a arborilor. . . . .,. 6.@ #eneralizare a no'iunii de arbore simplicial . . .,8 8.Caracterizarea topolo#ic a !c"asi%-arborilor. . . .Q0 Bi" i!2ra#ie. . . . . . . . . . . . . . . . . . . . . .Q9 Cu(rins . . . . . . . . . . . . . . . . . . . . . . . .Q,

32