Professional Documents
Culture Documents
Bevezetés Az Algebrai Kombinatorikába - BME Jegyzet
Bevezetés Az Algebrai Kombinatorikába - BME Jegyzet
BEVEZETS
AZ ALGEBRAI
KOMBINATORIKBA
2011
Ismertet
Tartalomjegyzk
Plyzati tmogats
Gondoz
Szakmai vezet
Lektor
Technikai szerkeszt
Copyright
tankonyvtar.ttk.bme.hu
Tmogats:
Kszlt a TMOP-4.1.2-08/2/A/KMR-2009-0028 szm, a Termszettudomnyos (matematika s fizika) kpzs a muszaki s informatikai felsooktatsban cmu projekt keretben.
Kszlt:
a BME TTK Matematika Intzet gondozsban
Szakmai felelos vezeto:
Ferenczi Mikls
Lektorlta:
Horvth Erzsbet
Az elektronikus kiadst eloksztette:
Cspny Gergely Lszl
Cmlap grafikai terve:
Cspny Gergely Lszl, Tth Norbert
ISBN: 978-963-279-460-0
CC
Copyright:
20112016, Kronya Alex, BME
CC
A
terminusai: A szerzo nevnek feltntetse mellett nem kereskedelmi cllal szabadon
msolhat, terjesztheto, megjelentetheto s eloadhat, de nem mdosthat.
Tartalomjegyzk
Tartalomjegyzk
1. A Young-tabl s kombinatorikja
1.1. Young-tablk s alapveto muveleteik . . . . .
1.2. A tablgyuru . . . . . . . . . . . . . . . . .
1.3. Tablk szavai . . . . . . . . . . . . . . . . .
1.4. Nvekvo rszsorozatok . . . . . . . . . . . .
1.5. A RobinsonSchenstedKnuth-megfeleltets
1.6. LittlewoodRichardson-egytthatk . . . . .
.
.
.
.
.
.
3
3
14
21
23
27
33
.
.
.
.
.
43
43
51
60
69
79
.
.
.
.
.
.
83
83
95
101
108
113
121
4. Schubert-kalkulus
4.1. Grassmann-varietsok . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Komplex sokasgok axiomatikus kohomolgiaelmlete . . . . . . . . . . . .
4.3. Schubert-osztlyok . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
131
131
140
143
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1A
jegyzet rsa sorn a szerzo az albbi forrsokbl kapott tmogatst: 61116, 77476, s 77604 szm
OTKA plyzatok, a Magyar Tudomnyos Akadmia Bolyai Jnos Kutatsi sztndja, DFG-Forschergruppe
790 Classification of Algebraic Surfaces and Compact Complex Manifolds, illetve a BME TTK Matematika
Intzetnek TMOP plyzata.
tankonyvtar.ttk.bme.hu
1. fejezet
A Young-tabl s kombinatorikja
Az elso fejezet tmja egy kombinatorikus eszkz, az n. tabl- vagy partcikalkulus. A
tablkalkulus egy nmagban is rdekes matematikai terlet, amely elemi eszkzkkel is
knnyen tanulmnyozhat, viszont igen nagy jelentosgre tett szert a reprezentcielmletben s az algebrai geometriban betlttt szerepe miatt. Az alkalmazsokrl a knyv ksobbi
fejezeteiben igen sok sz esik, most a Young-tabl elmletnek kombinatorikai oldalval
fogunk foglalkozni. A tma irny rdeklodo olvasnak ajnljuk tbbek kztt a [12], [22],
[29], s [40] knyveket, ahol rengeteg tovbbi informci tallhat.
3
4
5
7
4
5
6
7
4
6
1.1. YOUNG-TABLK S ALAPVETO MUVELETEIK
A Young-tablk rendkvl fontos szerepet jtszanak a szimmetrikus fggvnyek elmletben. A kapcsolat igen egyszeru: a tablk segtsgvel egy partcihoz minden m termszetes
szmra hozz fogunk rendelni egy m-vltozs polinomot, az s (x1 , . . . , xm ) n. Schurpolinomot.
1.1.7. D EFINCI Legyen az n szm egy partcija, D a neki megfelelo Young-diagram.
A D diagram egy tetszoleges, az 1, . . . , m szmokkal trtno Young-tablszeru T kitltshez
hozzrendeljk a
m
def
s (x1 , . . . , xm ) =
xT .
T tabl D-n
1.1.8. M EGJEGYZS A defincibl egyltaln nem vilgos, de ksobb, a szimmetrikus polinomokrl szl fejezetben be fogjuk bizonytani, hogy a Schur-polinomok szimmetrikusak,
azaz a vltozk tetszoleges permutcija vltozatlanul hagyja o ket.
1.1.9. P LDA Tekintsk eloszr a = (3) partcit, a neki megfelelo
tankonyvtar.ttk.bme.hu
1
2
4
1
3
4
2
3 .
4
gy
s(1,1,1) (x1 , x2 , x3 , x4 ) =x1 x2 x3 + x1 x2 x4 + x1 x3 x4
+x2 x3 x4 .
Vegyk szre, hogy s(1,1,1) (x1 , x2 ) = 0. ltalban is igaz, hogy ha sorainak szma nagyobb,
mint m, akkor
s (x1 , . . . , xm ) = 0 .
1.1.11. P LDA A fenti pldk ltalnostsaknt lthat, hogy ha = (p), p 1 egsz,
akkor
s(p) (x1 , . . . , xm ) = h p (x1 , . . . , xm )
ahol h p a p-edfok teljes szimmetrikus polinom. Hasonlkppen, amennyiben
= (1, . . . , 1) ,
| {z }
p-szer
akkor
(
e p (x1 , . . . , xm )
s(1,...,1) =
0
ha p m
ha p > m,
tankonyvtar.ttk.bme.hu
1.1. YOUNG-TABLK S ALAPVETO MUVELETEIK
1
2
3
1
4
5
3
4
2
5
T=
2
3
4
6
2
5
6
3
5
2
3
4
6
2
5
6
3
5
Az elso sorban van a beillesztendo 2-nl nagyobb elem, ezrt az algoritmus szerint kzlk
a legbaloldalibbat, a 3-ast kicserljk a 2-esre:
1
2
4
5
Kronya Alex, BME
2
3
4
6
2
5
6
2
5
tankonyvtar.ttk.bme.hu
majd a keznkben marad 3-ast beillesztjk a msodik sortl kezdve. Innentol a lpsek az
albbi mdon alakulnak:
1 2 2 2
2 3 3 5
5
4 4 6
5 6
1
2
4
5
2
3
4
6
1
2
4
5
2
3
5
2
3
4
6
2
5
2
3
5
6
2
5
2
3
4
6
2
6
7
3
6
7
1
2
5
8
1
6
7
1
6
8
1.1. YOUNG-TABLK S ALAPVETO MUVELETEIK
B IZONYTS Ha B az elso sor vgn van, akkor nem trtnt kits, x a B-ben lvo elem s
T a T 0 -bol a B-t tartalmaz doboz eltvoltsval nyert tabl.
Amennyiben B nem az elso sor vgn van, keressk meg a B-t tartalmaz sort meg elozo
sorban a legjobboldali, a B-beli elemnl kisebb z elemet. Tegyk B tartalmt z helyre majd
ismteljk meg ezt az eljrst mindaddig, amg az elso sorba nem rnk. Az onnan kieso
elem lesz x az eredmnyl kapott tabl pedig T .
2
Vizsgljuk meg, mi trtnik, ha kt sorbaillesztst hajtunk vgre egyms utn. Ksobbiekben hasznos lesz tudnunk az j dobozok egymshoz viszonytott helyzett. Ennek
lershoz szksgnk lesz az albbi fogalmakra.
1.1.22. D EFINCI Legyen T tetszoleges tabl, x egy elem, amit beszrunk T -be. Az x elem
kitsi tvonala a T x tabl j dobozbl ll, illetve a T x tabl azon dobozaibl,
amelyekbol kitttnk elemet. A kitsi tvonalakat tipikusan R, R0 -vel fogjuk jellni.
Legyenek R s R0 egy adott U tablbeli kitsi tvonalak. Azt mondjuk, hogy R
(szigoran) balra van R0 -tol, ha minden olyan sorban, ahol R0 -nek van doboza, R-nek is
van s az R0 azonos sorbeli dobozval vagy megegyezik, vagy attl balra van. A szigor
esetben nem egyezhetnek meg.
1.1.23. P LDA Az brn kt lehetsges kitsi tvonalat mutatunk. Az Ri tvonal szigoran
balra van az R0i kitsi tvonaltl.
R1
R2
R3
R01
R02
R03
R4
R5
R6
1.1.24. M EGJEGYZS Egy kitsi tvonal az elso sorban kezdodik s egyms utni sorokban van egy-egy cellja. Utols (legals) doboza egy klso sarok, az j doboz.
1.1.25. F ELADAT Legyen T egy -alak tabl. Adjunk meg szksges s elgsges felttelt
arra, hogy cellk egy rszhalmaza kitsi tvonal legyen.
1.1.26. L EMMA (S ORBAILLESZTSI LEMMA ) Legyen T tabl, x, x0 termszetes szmok,
amelyeket a
(T x) x0
sorrendben illesztnk be T -be. Jelljk a megfelelo kitsi tvonalakat s j dobozokat
R, B-vel, illetve R0 , B0 -vel. Ekkor
1. ha x x0 , akkor R szigoran balra van R0 -tol, B szigoran balra s (nem felttlenl
szigoran) lefel van B0 -tol;
2. ha x > x0 , akkor R0 balra van R-tol, B0 balra s szigoran lefel B-tol.
tankonyvtar.ttk.bme.hu
10
1.1. YOUNG-TABLK S ALAPVETO MUVELETEIK
11
sorbaillesztst, a vgn kieso elem legyen x p . Ezutn a maradk p 1 doboz kzl vegyk
a legjobboldalibbat, ismteljk meg az imnt muveletet s gy tovbb. A p-edik lps utni
eredmny lesz a T tabl s a sorbaillesztsi lemma miatt x1 x p . A sorokra vonatkoz
llts teljesen analg mdon igazolhat. Az egyrtelmusg mindkt esetben automatikus. 2
A sorbailleszts ismtelt alkalmazsval egy igen rdekes muveletet tudunk definilni a
tablk halmazn.
1.1.28. D EFINCI (TABLK SZORZATA ) Legyenek T,U tablk, x1 , . . . , xs az U tabl
elemei soronknt balrl jobbra felsorolva, az utols sorral kezdve, majd lentrol felfel
haladva. Ekkor a kt tabl szorzata
def
T U = (. . . (T x1 ) xs1 ) xs .
A tablk szorzata alapveto fontossg lesz a kvetkezokben. Amint azt hamarosan ltni
fogjuk, a tablszorzs nem kommutatv.
1.1.29. P LDA Legyen
1 2 2
T =
3 3
1
2
U =
2
3
1
2
1
3
2
3
1
= 2
3
1
3
1
= 2
3
1
3
3
2
s
T =
3
.
4
Ekkor
U T =
1
4
azonban
1
T U = 3
4
Kronya Alex, BME
2
,
tankonyvtar.ttk.bme.hu
12
vagyis U T 6= T U.
1.1.31. F ELADAT Szorozzuk ssze az imnti mdszerrel az albbi tablprokat:
1
3
5
3
4
5
1
3
7
5
6
8
1
2
1
5
illetve
1.1.32. T TEL A fenti szorzssal a tablk halmaza egy monoid lesz az res (nulla doboz)
tablval mint egysgelemmel.
B IZONYTS Lttuk, hogy a tablk halmaza zrt a szorzsra nzve, az is knnyen igazolhat,
hogy az res tabl a szorzsra nzve jobbegysgknt viselkedik (ha nem szrunk be semmit
egy tablba, akkor az vltozatlan marad. A szorzs defincijbl kvetkezik, hogy ha a fenti
sorrendben beszrjuk egy T tabl elemeit az res tablba, akkor visszakapjuk a T tablt, s
gy az res tabl jobbegysg is lesz.
Az egyetlen nehz krds a szorzs asszociativitsa. Ennek bizonytshoz tovbbi
eszkzkre lesz szksgnk, ezrt ksobbre halasztjuk.
2
Most megismerkednk egy ferde tablkon rtelmezett muvelettel, a Schtzenbergertol
szrmaz n. cssztatssal. Ezt is fel lehet hasznlni tablk szorzatnak definilsra.
Legyenek partcik, nem res. Egy / alak S ferde tablnak van egy vagy
tbb belso sarka, azaz olyan doboza, amely -ben van, de az alatta s tole jobbra lvo kockk
mr nincsenek -ben. Vegyk szre, hogy az S ferde tabl egy belso sarka nincs benne S-ben.
1.1.33. D EFINCI (C SSZTATS ) Legyen S mint fent egy ferde tabl, B a / ferde
tabl egy belso sarka, azaz olyan doboza -nek, hogy az alatta s tole jobbra lvo kockk
nincsenek -ben. Tekintsk B jobb oldali, illetve als szomszdjt. Tegyk t B-be a kt elem
kzl a kisebbet, egyenlosg esetn az alst. Az jonnan resen maradt mezore ismteljk
meg a fenti eljrst egszen addig, amg egy klso sarokhoz nem rnk. Ekkor az res dobozt
eltvoltjuk.
1.1.34. P LDA Tekintsk a
S =
2
5
2
3
5
4
6
ferde tablt s annak egyetlen belso sarkt (a klso diagram bal felso sarkt). Ezt fogjuk
tankonyvtar.ttk.bme.hu
1.1. YOUNG-TABLK S ALAPVETO MUVELETEIK
13
cssztatssal eltvoltani.
2
3
5
4
6
2
3
5
4
6
2
3
5
2
5
4
6
2
5
5
2
3
5
2
3
5
4
6
2
5
4
6
v
y
Kt eset van, aszerint, hogy lefel, vagy jobbra cssztatjuk el az res mezot. Ha x y, azaz
az res mezo lefel mozog, akkor az eredmny
a
u
b
x
v
y
b
y
x
A tabltulajdonsg meglthez annyit kell beltnunk, hogy b < y < x. Ebbol y < x mr adott,
az idzett tablrszlet tabl voltbl pedig b v < y kvetkezik.
2
1.1.36. M EGJEGYZS A Schtzenberger-fle cssztats is megfordthat, azaz ha ismerjk
az eltvoltott cella helyt, vissza tudjuk lltani a kiindulsi llapotot s a kezdetben
vlasztott belso sarkot.
A cssztatst megismtelve jabb s jabb belso sarkokra, vgeredmnyl egy tablt
kapunk. Ezt rviden gy lthatjuk be, hogy szrevesszk, hogy a belso tabl cellinak
a szma minden egyes lpsben eggyel cskken. Ezrt vges sok lps utn a belso
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
14
sarkok elfogynak. Egy olyan ferde tabl, amelynek nincsen belso sarka, sima tabl. Az
imnti mdszert az S ferde tabl kiegyenestsnek nevezzk, jellse Rect(S). Ez elvben
termszetesen fgg a belso sarkok vlasztstl, azonban be fogjuk ltni, hogy ez nem gy
van.
1.1.37. T TEL Egy adott S ferde tablbl kiindulva brmely belso sarok vlasztsokkal
ugyanazt a tablt kapjuk, azaz Rect(S) egyrtelmu.
B IZONYTS Ld. [12, Chapter 2].
A cssztat eljrst egy jabb szorzatkonstrukcira fogjuk felhasznlni.
Ekkor
def
T ?U = Rect(S) .
1.1.39. T TEL A kt szorzat megegyezik.
B IZONYTS Ld. [12, Chapter 2].
2
Az utols kt ttel mr kiadja a sorbaillesztssel definilt T U tablszorzs asszociativitst, hiszen a T ?U szorzat az 1.1.37. Ttel miatt lthatan asszociatv.
1.2. A tablgyur
u
A tablk szorzshoz vezeto kombinatorikai gondolatmeneteket kzvetlenl felhasznlhatjuk
szimmetrikus polinomokra vonatkoz ismeretek szerzsre. Ezt jl ttekintheto formban az
n. tablgyuru egy, a tablk segtsgvel definilt nemkommutatv gyuru segtsgvel
tehetjk meg.
1.2.1. D EFINCI Legyen R[m] a Tm (vagyis az [m]-beli elemekkel rendelkezo tablk) ltal
generlt flcsoportgyuru, azaz egy szabad Z-modulus a tablkkal mint bzissal, amelyben
a bziselemek kzti tablszorzst linerisan kiterjesztjk az egsz modulusra. Ha szksg
lenne arra, hogy egy T tablt a neki megfelelo tablgyurubeli elemtol megklnbztessk,
ez utbbit [T ]-vel fogjuk jellni.
1.2.2. M EGJEGYZS A definciban lert szorzs jldefinilt, ti. ha
T Tm
tankonyvtar.ttk.bme.hu
aT [T ] ,
bU [U]
UTm
U
1.2. A TABLGYUR
15
T Tm
aT [T ]
bU [U]
!
=
V Tm
Um
aT bU V ,
T U=V
tovbb, a fenti muveletekkel R[m] egy nemkommutatv gyuru. A tny, hogy R[m] -ben a
szorzs nem kommutatv, annak megfogalmazsa, hogy a tablkra vonatkoz szorzs nem
kommutatv, azaz kt T,U tabl esetn ltalban T U 6= U T .
1.2.3. F ELADAT Ellenorizzk a szksges muveleti azonossgokat R[m] -ben. rjuk le az R[1]
gyurut.
1.2.4. M EGJEGYZS Tetszoleges S egysgelemes1 flcsoport esetn definilni tudjuk a
hozz tartoz ZS n. flcsoportgyurut az albbi univerzlis tulajdonsg segtsgvel:
egy (ZS, ) prt (ahol ZS egy gyuru, : S , ZS pedig egy flcsoporthomomorfizmus
ZS multiplikatv csoportjba) az S-hez tartoz flcsoportgyurunek hvunk, ha minden R
gyuru s : S R flcsoporthomomorfizmus esetn ami R multiplikatv csoportjba vezet,
egyrtelmuen ltezik egy
: ZS R
gyuruhomomorfizmus, amelyre = . Rajzban ezt az albbi diagram kommutativitsa
fejezi ki.
S >>
>>
>
>>
/ ZS
}
}
}}
}} !
}
~}
ZS =
Z[s]
sS
S-beli egysgelemre azrt van szksgnk, hogy a kapott gyuru is egysgelemes legyen; konvencink
szerint minden gyuru egysgelemes.
tankonyvtar.ttk.bme.hu
16
R[m] Z[x1 , . . . , xm ]
T 7 xT ,
ahol amint azt korbban mr lttuk
def
xT =
xiai
i=1
S ,
ahol azokon a tablkon fut vgig, amelyeket gy kapunk, hogy egy -alak tablhoz
hozzadunk p dobozt, mind klnbzo oszlopban.
S S(1 p ) =
0 S 0 ,
U
1.2. A TABLGYUR
17
B IZONYTS Csak az elso egyenlosget fogjuk beltni, a msodik igazolsa teljesen analg
mdon trtnik. Az
S S(p) = S ,
formula mindkt oldaln olyan tablk sszege szerepel, amelyeknek | | + p doboza van.
Azt kell beltni, hogy mindkt oldalon ugyanazok a tablk szerepelnek s ugyanannyiszor
fordulnak elo (azaz mindegyik egyszer).
Vegynk eloszr egy tablt a baloldalrl. Ez T U alak, ahol U egy egysoros tabl. A
sorbaillesztsi lemma miatt az j kockk mind klnbzo oszlopba kerlnek, teht a T U
tabl szerepel a jobboldali sszegben is.
Tekintsnk egy V tablt a jobboldalrl. Beltjuk, hogy pontosan egyflekppen ll elo
V = T U alakban (T,U mint fent). Eloszr is, ha V alakja , akkor / egyrtelmuen
megadja a p darab j doboz helyt. Ebbol viszont a sorbaillesztsi lemma megfordtsa miatt
T s U egyrtelmuen visszallthat.
2
A partcikalkulussal val foglalkozs elso gymlcseknt a szimmetrikus polinomokra
vonatkoz nemtrivilis sszefggseket kapunk.
1.2.8. KVETKEZMNY (P IERI - FORMULK SZIMMETRIKUS
nek m,p,n pozitv egszek, az n szm egy partcija. Ekkor
s (x1 , . . . , xm )h p (x1 , . . . , xm ) =
POLINOMOKRA )
Legye-
s (x1, . . . , xm) ,
ahol azokon a tablkon fut vgig, amelyeket gy kapunk, hogy egy -alak tablhoz
hozzadunk p dobozt, mind klnbzo oszlopba; tovbb h p a p-edfok teljes szimmetrikus
polinom (ld. 1.1.11. Plda).
s (x1 , . . . , xm )e p (x1 . . . . , xm ) =
0 s 0 (x1, . . . , xm) ,
tankonyvtar.ttk.bme.hu
18
1
3
5
2
4
1
3
5
2
4
K s
tankonyvtar.ttk.bme.hu
U
1.2. A TABLGYUR
19
ahol ismt vgigfut az sszes partcin. Az imnt lttuk (1.2.12. llts), hogy K azon
(1) (2) (l) =
partcisorozatok szma, amelyekre a (i) / (i1) ferde tablknak i dobozuk van mind
klnbzo oszlopban. A Pieri-formulkat s a Sorbaillesztsi Lemma kvetkezmnyt
hasznlva azt kapjuk, hogy T K -flekppen rhat
T = U1 . . . Ul
alakba, ahol Ui egy (i )-alak tabl.
1.2.15. P LDA Legyen = (2, 1), m = 3. A fentiek szerint ekkor az R[3] gyuruben
S(2) S(1) =
K ,(2,1)S ,
ahol
1 + 1
S(2) = 1
2 ++ 3
s
S(1) = 1 + 2 + 3 .
Msrszt K ,(2,1) azon alak tablk szma, amelyekben kt darab 1-es van s 1 darab 2-es.
Ilyen tabl sszesen ketto van:
1
Eszerint
K ,(2,1)
1
2
(
1 ha = (3) vagy = (2, 1),
=
0 egybknt.
tankonyvtar.ttk.bme.hu
20
21
ll, s gy tovbb. Ily mdon a i darab i elem csakis az i-edik sorban szerepelhet, ott azonban
csak i < i doboz van, amikben nem frnek el. Azt kaptuk teht, hogy a > esetben nem
ltezik alak s tartalm tabl, vagyis K = 0, ahogy lltottuk.
Az imnti rvels azt is adja, hogy K = 1: minden 1 i m esetn az i elemek csak
az i-edik sorba kerlhetnek, ott viszont pontosan annyi, i , hely van, mint amennyi i szmot
szeretnnk elhelyezni.
2
1.2.22. LLTS (D OMINANCIA
; ebben az esetben K = 1.
B IZONYTS Ismt az az szrevtel a kiindulpontunk, hogy egy k pozitv egsz szm egy
T Young-tablnak csak az elso k sorban fordulhat elo. Tegyk fel, hogy 6 , s legyen i
egy olyan index, amelyre
1 + + i > 1 + + i .
Ekkor az 1, . . . , i szmokbl, amelyek csak az elso i sorba kerlhetnek, sszesen tbb van,
mint amennyi doboz az elso i sorban van. gy a partcinak nem ltezik tablszeru kitltse
a tartalommal, vagyis K = 0.
Ha , akkor sorfolytonosan kitltjk a alak Young-diagramot a 1 darab 1-essel,
2 darab 2-essel s gy tovbb. Mivel
1 + + i 1 + + i
2
1
2
7
3
4
7
5
6
S =
1
2
3
3
4
1
4
5
2
5
.
tankonyvtar.ttk.bme.hu
22
Az S tabl szava
w(S) = 3|2|5421|543|21 .
1.3.4. M EGJEGYZS Egy tablt egyrtelmuen vissza tudunk lltani a szavbl. Ti. felosztjuk nvekvo rszekre, az elso darab lesz az utols sor, a msodik az utols elotti, s gy
tovbb.
Ugyanakkor fontos szrevenni, hogy nem minden sz szrmazik tablbl. Pldul a w =
77712 sz nem lehet semmilyen tablnak a szava, mivel a most ismertetett visszalltsi
eljrs nem tablt ad.
1.3.5. M EGJEGYZS A Young-tablk esetvel ellenttben minden sz eloll mint egy ferde
tabl szava. Egy mdszer ennek megmutatsra: vgjuk a szt nvekvo darabokra, majd
rendezzk el o ket egy ferde tablban gy, hogy minden darab a megelozoekhez kpest jobbra
fel legyen (az elozo darab utols kockjtl a jelenlegi darab elso kockja legyen jobbra fel).
A ferde tablk hasznlatval viszont elvesztjk a tabl egyrtelmu visszallthatsgt, ti.
sok ferde tabl adja ugyanazt a szt.
1.3.6. F ELADAT Adjunk meg kt klnbzo ferde tablt, amelyeknek a szava 77712.
Elsoknt megvizsgljuk a sorbailleszts s a tablk szavainak viszonyt. Ez egy alapveto
fontossg krds, aminek igen sok alkalmazsa van. Legyen
w = x0 ,
ahol x0 , s kvessk nyomon az x < x0 elem beillesztst. Ezt a
folyamatot lebonthatjuk kisebb egysgekre, az egyes sorokba val kits/beilleszts prokra.
Vizsgljunk meg egy ilyet.
x0 b1 . . . bq1 bq x 7 x0 b1 . . . bq1 xbq
..
.
7 x0 b1 xb2 . . . bq
7 x0 xb1 . . . bq
ha x < bq1 bq
ha x < b1 b2
ha x < x0 b1
(K1)
ha a p x < x0
ha a2 a3 < x0
ha a1 a2 < x0
Kronya Alex, BME
23
(K2)
A (K1), (K2) transzformcis szablyokat s inverzeiket egyttesen elemi Knuth-transzformciknak nevezzk. Jl megjegyezhetok az albbi mdon:
y
z x =
x
y
z y =
x
z
tankonyvtar.ttk.bme.hu
24
rszsorozatokat) keresni. rdekes mdon ennek a feladatnak sok kze van a tablk szavai s
a Knuth-ekvivalencia tmakrben vgzett vizsglatainkhoz.
1.4.1. D EFINCI Ha w = x1 . . . xr egy [m]-beli sz, akkor jellje L(w, 1) a w sz leghosszabb nvekvo rszsorozatnak hosszt. ltalnos legyen L(w, k) az a legnagyobb termszetes szm, amely elollthat k darab diszjunkt w-beli nvekvo rszsorozat hossznak
sszegeknt.
1.4.2. P LDA Tekintsk a w = 154234123331 szt. Nmi gondolkods utn ltszik, hogy
L(w, 1) = 6, mivel a 154234123331 egy hatelemu nvekvo rszsorozat s hosszabb nvekvo
rszsorozat viszont nincs w-ben.
Valamelyest munkaignyes, de mg mindig belthat elemi ton, hogy L(w, 2) = 9 s
L(w, 3) = 12. Az L(w, 2) mennyisg pldul az albbi mdon realizlhat:
154234123331
s
154234123331 .
Ez egybol adja az egyik irny egyenlotlensget.
1.4.3. M EGJEGYZS Sok sorozatkszlet sszege elrheti a maximumot, ezek kztt lehetnek klnbzo hosszsg-sszetteluek. Egy L(w, k)-t megvalst kszlet nem mindig
bovtheto L(w, k + 1) egy realizcijv.
1.4.4. P LDA Legyen w0 = 344233112223. Megfigyelheto, hogy L(w0 , 1) = 6 = L(w, 1),
L(w0 , 2) = 9 = L(w, 2) s gy tovbb, L(w0 , k) = L(w, k) minden k-ra. Felmerl a krds, hogy
ez vajon vletlen-e. Ltni fogjuk, hogy nem. szreveheto, hogy w0 s w Knuth-ekvivalensek,
ez az oka a fenti jelensgnek.
1.4.5. LLTS Ha w w0 akkor L(w, k) = L(w0 , k) minden k 1 esetn.
B IZONYTS Elegendo annyit ellenorizni, hogy az llts igaz elemi Knuth-transzformcikra.
yxz yzx ha x < y z
| {z } | {z }
w
w0
w0
25
1 xz1
2 y2
7
2 yz1
1 x2
.
tankonyvtar.ttk.bme.hu
26
1.5. A ROBINSONSCHENSTEDKNUTH-MEGFELELTETS
27
Amennyiben a legnagyobb elem x,y s z kzl kerl ki, akkor z kell, hogy legyen, s a
kivtele utn kapott szavak Knuth-ekvivalensek maradnak. Ezzel a bizonytst befejeztk. 2
Az imnti lemma kvetkezmnyeknt be tudjuk ltni, hogy minden sz legfeljebb egy T
tabl szavval ekvivalens.
1.4.10. LLTS Ha w w(T ) w(T 0 ), akkor T = T 0 .
B IZONYTS A w sz hosszra vonatkoz teljes indukcit fogunk hasznlni. Az alapeset,
|w| = 1 lthatan igaz. Legyen |w| = d > 1. Az 1.4.7. kvetkezmny szerint T alakja
egyrtelmuen meghatrozott, mivel
k = L(w, k) L(w, k 1) .
Ha x a legnagyobb betu w-ben, akkor legyen w0 az a sz, amit gy kapunk, hogy trljk wbol x legjobboldalibb elofordulst. Legyen tovbb T0 az a tabl, amelyet x legjobboldalibb
T -beli elofordulsnak trlsvel kapunk. T0 valban tabl lesz, mert a trlt kocka klso
sarok kell, hogy legyen.
A tabl szavnak defincija alapjn
w(T0 ) = w(T )0 .
Az 1.4.9. Lemma miatt
w0 w(T0 ) .
Az indukcis feltevs szerint T0 az egyetlen tabl, amelyre
w(T0 ) w0 .
Mivel a T, T0 tablk alakjait ismerjk , az egyetlen lehetosg T -re, hogy a T0 tablhoz az
imnt trlt dobozban hozzadjuk az x elemet.
2
1.5. A RobinsonSchenstedKnuth-megfeleltets
Tovbb folytatva a Young-tablk kombinatorikjval val mlyebb ismerkedst, a jelen alfejezetben olyan bijektv megfeleltetseket tanulmnyozunk, amelyek adott hossz szavakat s
bizonyos feltteleknek eleget tevo azonos alak tablprokat ktnek ssze.
1.5.1. D EFINCI Tetszoleges w szra jellje P(w) azt az egyrtelmuen meghatrozott
P(w) tablt, amelyre
w w(P(w)) .
1.5.2. M EGJEGYZS Lttuk, hogy ha w = x1 . . . xr akkor
P(w) = . . . x1 x2 . . . xr .
1.5.3. M EGJEGYZS Mivel minden sz pontosan egy tabl szavval Knuth-ekvivalens
(1.3.10. Ttel), a definci rtelmes.
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
28
2
4
1
2
2
4
1
2
2
4
3
7
1
2
3
4
2
4
3
7
1
2
3
4
1
2
4
3
7
1
2
6
3
4
Mindjrt ltni fogjuk, hogy (P(w), Q(w)) ismeretben vissza tudjuk lltani w-t inverz
sorbaillesztssel.
1.5.5. T TEL (ROBINSON S CHENSTED - MEGFELELTETS ) Az [m]-beli elemekbol ll n
hossz szavak, illetve a (P, Q) azonos alak n dobozt tartalmaz [m]-beli elemeket tartalmaz tablprok, amennyiben azonos alakak s Q standard, egy-egyrtelmu megfeleltets
ltestheto.
B IZONYTS Egy w szhoz egyrtelmuen hozz tudjuk rendelni a P(w), Q(w) tablprt.
Most megkonstruljuk ennek a lekpezsnek az inverzt.
Adott (P, Q) esetn a kvetkezo a teendo: Vegyk a legnagyobb sorszm dobozt Qban, s alkalmazzunk inverz sorbaillesztst a neki megfelelo P-beli kockra. A sorbailleszts
vgn a tablbl kikerlo elem lesz a W (P, Q) sz utols betuje. Vgl trljk Q-bl a
legnagyobb elemet tartalmaz dobozt. Ezt az eljrst iterlva felptjk a (P, Q) tablprhoz
tartoz szt. Knnyen lthat, hogy a kt lekpezs egyms inverze.
2
1.5.6. M EGJEGYZS Egy standard tabl ekvivalens a dobozok egy olyan szmozsval,
hogy a k legnagyobb elemet trlve ismt tablt kapunk (ahol 1 k n, n a tabl dobozainak
a szma).
tankonyvtar.ttk.bme.hu
1.5. A ROBINSONSCHENSTEDKNUTH-MEGFELELTETS
29
3
4
1
2
3
4
1
2
3
4
3
7
1
2
3
4
3
4
3
7
1
2
3
4
1
3
4
3
7
1
2
6
3
4
tankonyvtar.ttk.bme.hu
30
1
2
2
3
2
4
1.5. A ROBINSONSCHENSTEDKNUTH-MEGFELELTETS
31
i
oszlop elofordulsainak szma.
i j = az
j
def
1 1 1 2 3 3
1 2 2 1 1 1
1 2
= 1 0
2 0
Rgtn lthat, hogy az tmbbol A egyrtelmuen visszallthat (felrjuk az ltal
meghatrozott prokat s lexikografikus sorrendbe rendezzk o ket).
1.5.17. T TEL (RSK MTRIX - ALAKJA ) A P [n], Q [m] azonos alak tablk rendezett
prjai, illetve az Mmn (Z) mtrixok kztt egy-egyrtelmu megfeleltets van.
1.5.18. M EGJEGYZS Mtrixokkal lerva az A tmb kt sornak cserje az tmb transzponlsnak felel meg. Ezen a nyelven a szimmetria-ttel gy hangzik, hogy ha (P, Q) az
tmbnek felel meg, akkor (Q, P) az T tmbnek.
1.5.19. M EGJEGYZS Az mtrix i-edik sorsszege megadja i elofordulsainak szmt
Q-ban. Hasonlan, a j-edik oszlopsszege a j elem elofordulsainak szma P-ben.
Az albbiakban az RSK-megfeleltets pr alkalmazsval ismerkednk meg. Elsoknt
tekintsk az albbi, mr Cauchy ltal is ismert azonossgot.
tankonyvtar.ttk.bme.hu
32
1 xiy j
i=1 j=1
1
1xi y j
1
= 1 + xi y j + (xi y j )2 + + (xi y j )k + . . . .
1 xi y j
Eszerint a kplet baloldala
n m
1
2
k
1 xiy j = 1 + xiy j + (xiy j ) + + (xiy j ) + . . .
i=1 j=1
i=1 j=1
n
=
=
x j yi
i j
x y
ahol a legbelso sszegzs az sszes olyan pron fut vgig, amelyekre (P, Q) azonos alak
tablk, P [n]-beli, Q [m]-beli elemekkel. Ha a (P, Q) tablprnak felel meg, akkor
x j yi i j = xP yQ .
1im, 1 jn
Msrszt
xP yQ =
s (x)s (y)
k=1 `n
= s (x1 , . . . , xn )s (y1 , . . . , ym ) .
1.5.21. D EFINCI
def
tankonyvtar.ttk.bme.hu
1.6. LITTLEWOODRICHARDSON-EGYTTHATK
33
illetve
mn =
d (m) f .
`n
| |=n
n!
(n 2k)! 2k k! .
k=0
1.6. LittlewoodRichardson-egytthatk
Mostanra jutottunk el oda, hogy sort kerthessnk a tablkalkulus kzponti eredmnyre, az
gynevezett LittlewoodRichardson-szablyra. A LittlewoodRichardson-szably komoly
szerepet jtszik a Young-tablk sok alkalmazsban, gy pldul a szimmetrikus s az ltalnos lineris csoportok reprezentciinak lersban (ClebschGordan-problma), s az n.
Schubert-kalkulusban, ami nem ms, mint a Grassmann-varietsok kohomolgiagyuruiben
val szmols.
Elsoknt egy j fogalom. Legyenek , , partcik, n, m, r a bennk lvo dobozok
szmai. Azt fogjuk vizsglni, hogy egy rgztett -alak V tabl hnyflekppen ll elo
V = T U
alakban, ahol T alakja , U alakja . Ltni fogjuk, hogy meglepo mdon ez a szm nem
V -tol, csupn az alakjtl fgg.
1.6.1. D EFINCI (L ITTLEWOOD R ICHARDSON - SZM ) Legyenek , , partcik, V
egy -alak tabl. Azt a szmot, ami megadja, hogy V hnyflekppen rhat
V = T U
alakba, ahol T -alak, U -alak tabl, a ,, partcihrmashoz tartoz Littlewood
Richardson-szmnak nevezzk; jellse c
1.6.2. M EGJEGYZS Termszetesen ahhoz, hogy az imnti definci rtelmes legyen, be
kell ltni, hogy c fggetlen a V tabl vlasztstl. Ez nem magtl rtetodo, az alfejezet
egy jkora rszben pontosan ezen fogunk dolgozni.
1.6.3. M EGJEGYZS Rgtn addik a defincibl, hogy
c = 0
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
34
s amelyekre V = Rect(S).
B IZONYTS A LittlewoodRichardson-szmok defincijbl s a ferde tablk kiegyenestsbol kvetkezik.
2
1.6.6. M EGJEGYZS A LittlewoodRichardson egytthatknak mg sok tovbbi alternatv
defincija van, pldaknt most megemltjk az albbit: ha U rgztett -alak tabl, akkor
c = azon / alak S ferde tablk szma, amelyekre Rect(S) = U.
Nzznk meg egy pr egyszeru pldt.
1.6.7. P LDA Legyen = (2, 1), = (1), = (3, 1), azaz hatrozzuk meg a
(3,1)
c(2,1),(1)
Littlewood-Richardson-egytthatt. Az elso defincink szerint ehhez azt kell kiszmtani,
hogy egy alak hnyflekppen ll elo mint egy alak s egy alak tabl szorzata.
Vlasszuk V -nek az
1 2 3
a b
=
d ,
4
c
ahol az a, b, c, d elemek az 1, 2, 3, 4 szmok megfelelo permutcii. Mivel a d elem
beillesztsnl nem trtnt kits (ez esetben az j kocka nem az elso sor, hanem a msodik
sor vgre kerlt volna), az j kocka a 3-ast tartalmaz, ms vltozs pedig a tablban
nem trtnt. Ezek szerint a V tabl fenti tpus szorzatelolltsa egyrtelmu, az egyetlen
lehetsges md
1 2 3
1 2
=
3 .
4
4
Ezrt
(3,1)
c(2,1),(1) = 1 .
tankonyvtar.ttk.bme.hu
1.6. LITTLEWOODRICHARDSON-EGYTTHATK
35
1.6.8. P LDA Vltoztassunk egy kicsit az elozo pldn, legyen most = (3), = (1), =
(3, 1). Referenciatablnak ismt vlasszuk a
1
4
V =
= a
c d
alakban. Mivel a d elem beillesztsnl az j kocka a msodik sor vgre kerl, d kisebb a (3)
alak tabl minden elemnl. Ezrt d = 1 s ms vltozs a (3) alak tablban nincs. Mivel
a < b < c a tabltulajdonsg s az elemek klnbzosge miatt, gy az egyetlen lehetsges
eset
1 2 3
= 1 2 4 3 .
4
1.6.9. P LDA A legkisebb olyan partci, amelyre c 6= 1,
= (3, 2, 1).
Egsz pontosan
(3,2,1)
c(2,1),(2,1) = 2 ,
mivel az
1
4
6
2
5
2
5
3
=
a
c
d
f
tankonyvtar.ttk.bme.hu
36
u1 u2 . . . um
v1 v2 . . . vm
u
v
=
1 1 2 2
2 2 1 1
s
T =
2
3
Ekkor
P=
1
2
1
2
s Q =
1
2
1
.
2
1
2
3
2
.
1.6. LITTLEWOODRICHARDSON-EGYTTHATK
37
Ennek megfeleloen
1
S=
1
2
2
s
Rect(S) =
1
2
1
= Q,
2
u1 . . . um
v1 . . . vm
(U,U0 )
tankonyvtar.ttk.bme.hu
38
B IZONYTS (1.6.13. Lemma) Vlasszunk egy tetszoleges T tablt, amely azonos alak
T -vel s minden eleme kisebb T minden elemnl (szksg esetn hasznlhatunk pldul
negatv szmokat). A RobinsonSchenstedKnuth-megfeleltetsben
s1 . . . sm
(T, T )
.
t1 . . . tm
Szintn az RSK-megfeleltetsben az
s1 . . . sm u1 . . . um
t1 . . . tm v1 . . . vm
tmb pedig egy (T P,V ) azonos alak tablprnak fele meg, ahol V egy, az
s1 , . . . , sm , u1 , . . . , um
elemeket tartalmaz tabl. lltsuk fejre ez utbbi tmbt, s tegyk az oszlopait lexikografikus sorrendbe. A Szimmetria-ttel miatt az eredmny a (V, T P) prnak felel meg, tovbb
ha a
ti
si
oszlopokat kivesszk, a maradk a (Q, P) prhoz tartozik az RSK-megfeleltetsben. Ezrt az
als sor Knuth-ekvivalens az w(V ) szval, az als sornak az si elemek eltvoltsa utn kapott
maradka pedig w(Q)-val. Lthat azonban, hogy w(V )-bol trlve az m legkisebb elemet,
w(S)-t kapjuk. Mivel az m legkisebb elem kivtele megorzi a Knuth-ekvivalencit,
w(S) w(Q)
ami egyenrtku azzal, hogy Rect(S) = Q.
tankonyvtar.ttk.bme.hu
1.6. LITTLEWOODRICHARDSON-EGYTTHATK
39
c(2,2),(3,2) = 0 .
(Kiindulsknt pldul vehetnk egy olyan (3, 3, 3)-alak V tablt, amelynek bal felso sarka
1
2
1
2
Tetszoleges
c = 1 cN
N ,N = 1 .
B IZONYTS Egy viszonylag kzrtheto bizonyts tallhat a [11] cikkben, ahol az eredeti
munkkra mutat referencikat is megtalljuk.
2
A kvetkezo gondolat reprezentcielmleti s matematikai fizikbl szrmaz (az
entrpival kapcsolatos) megfontolsokbl fakad. Az rdeklodo olvasnak ajnljuk a [33]
rst.
1.6.20. S EJTS (O KOUNKOV LOG - KONKAVITSI SEJTSE ) A fenti jellsekkel legyen
def
f (N) = cN
N ,N .
Ekkor
f (N)2 f (N 1) f (N + 1) .
A fejezet htralvo rszben az alkalmazsokban komoly szerepet jtsz Littlewood
Richardson-szablyt trgyaljuk. Ehhez eloszr is a LittlewoodRichardson-szmok egy alternatv jellemzsvel ismerkednk meg, amely tl elmleti jelentosgkn a kiszmtsukat
is megknnyti.
1.6.21. D EFINCI A w = x1 . . . xr szt fordtott rcssznak hvjuk, ha minden 1 s r
esetn xs , . . . , xr -ben legalbb annyi 1 van, mint 2, legalbb annyi 2 van, mint 3 s gy
tovbb.
1.6.22. P LDA A 2132121 sz fordtott rcssz, az 1232121 sz ellenben nem.
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
40
2
4
A kvetkezo azonos alak ferde tabl ellenben nem rendelkezik a Littlewood Richardson
tulajdonsggal:
1 2
2
2 3
3 4
mivel htulrl olvasva az elso hrom betu 122, azaz ebben a szeletben tbb 2-es van, mint
1-es.
1.6.26. T TEL Legyenek , , tetszoleges partcik. Ekkor
c = |{ / alak tartalm LR-fle ferde tablk }| .
1.6.27. P LDA Legyen = (3, 2, 1), = (3, 2, 2), = (5, 4, 3, 1). A / diagramnak ngy
tartalm ferde tabl kitltse van, ezek kzl hromra teljesl a LittlewoodRichardsontulajdonsg. gy
(5,4,3,1)
c(3,2,1),(3,2,2) = 3 .
1.6.28. P LDA A legkisebb eset, amikor c > 1: = = (2, 1), = (3, 2, 1). Amint arrl
knnyen meggyozodhetnk, egy (3, 2, 1)/(2, 1) alak diagramnak ktfle (2, 1) tartalm LRkitltse van:
1
1
1
2
2
1
Teht
(3,2,1)
c(2,1),(2,1) = 2 .
1.6.29. M EGJEGYZS Ha w, w0 Knuth-ekvivalens szavak, akkor w s w0 vagy mindketten fordtott rcsszavak, vagy egyik sem (ennek igazolsra ismt elg az elemi Knuthtranszformcikat ellenorizni).
tankonyvtar.ttk.bme.hu
1.6. LITTLEWOODRICHARDSON-EGYTTHATK
41
1.6.30. M EGJEGYZS Vegyk szre, hogy ha egy / alak, tartalm LR-ferde tablt
kiegyenestnk, akkor egy olyan alak tablt kapunk, amelynek az i-edik sorban csupa i
elem ll. Jellje ezt a tablt U().
Ezek utn beltjuk az imnti ttelt.
B IZONYTS (1.6.26. Ttel) Elg igazolni, hogy
Rect(S) = U()
pontosan akkor, ha S egy LR-ferde tabl tartalommal.
Tekintsk eloszr azt az esetet, amikor S mr tabl. Megmutatjuk, hogy ekkor S = U(),
azaz U() az egyetlen adott alak tartalm LR tabl. Ez gyorsan ltszik, hiszen a fordtott
rcssz tulajdonsg miatt az elso sor utols betuje 1-es, ezrt az elso sor sszes eleme 1 kell,
hogy legyen a tabl tulajdonsg miatt. Szintn a tabl tulajdonsg miatt 1-es mshol, mint az
elso sorban nem lehet, ezrt a tablnk msodik sornak utols eleme 2 lesz. Azonban emiatt
az egsz msodik sor csupa 2-esbol fog llni, s gy tovbb.
A ferde tablk kiegyenestse megorzi a Knuth-ekvivalencit. Mivel a Knuth-ekvivalencia
viszont megorzi a fordtott rcssz tulajdonsgot, az S ferde tabl pontosan akkor LR, ha
Rect(S) LR, azaz ha Rect(S) = U().
2
A LittlewoodRichardson-szmok fo jelentosge abban ll, hogy segtsgkkel le tudjuk
rni a tablgyurubeli S elemek szorzst. Ennek aztn szmtalan tovbbi alkalmazsa van.
1.6.31. T TEL (L ITTLEWOOD R ICHARDSON - SZABLY ) Az R[m] tablgyuruben
S S =
c S .
B IZONYTS Minden alak V tabl pontosan c mdon ll elo mint egy alak s egy
alak tabl szorzata.
2
1.6.32. M EGJEGYZS Korbban lttuk (ld. 1.6.17. Feladat), hogy c = c . Emiatt az S
elemek ltal R[m] -ben generlt rszgyuru kommutatv, noha maga az R[m] gyuru nem.
A tablgyurubeli LittlewoodRichardson-szablyra alkalmazva a
: R[m] Z[x1 , . . . , xm ]
homomorfizmust, egy ltalnos formult kapunk Schur-polinomok szorzsra.
1.6.33. KVETKEZMNY (L ITTLEWOOD R ICHARDSON - SZABLY
S CHUR POLINOMOKRA )
Legyenek , tetszoleges partcik, m pozitv egsz szm, s ,
illetve s a megfelelo partcikhoz tartoz m-vltozs Schur-polinomok. Ekkor
s (x1 , . . . , xm )s (x1 , . . . , xm ) =
c s (x1, . . . , xm) .
tankonyvtar.ttk.bme.hu
2. fejezet
Szimmetrikus polinomok s fggvnyek
Szimmetrikus polinomokkal igen hamar tallkozik az ember, taln elso elofordulsuk
kzpiskolban a polinomok gykei s egytthati kztti sszefggsek (Vite-formulk).
Az algebrban, szmelmletben, kombinatorikban igen sok helyen elofordulnak, ezrt a
szimmetrikus polinomok elmletnek alapjai nagyon hasznosak egy matematikus szmra.
43
44
SZIMMETRIKUS POLINOMOK )
def
en (x1 , . . . , xm ) =
xi1 xin .
1i1 <<in m
SZIMMETRIKUS POLINOMOK )
def
hn (x1 , . . . , xm ) =
xi1 xin .
1i1 in m
1
m
x(1)
. . . x(m)
.
Sm
s (x1 , . . . , xm ) =
xT .
T tabl D-n
Az elso fejezet sorn (1.1.11. Plda) lttuk, hogy a teljes, illetve elemi szimmetrikus
polinomok a Schur-polinomok specilis esetei a
= (n) ,
illetve
= (1, . . . , 1)
| {z }
n
tankonyvtar.ttk.bme.hu
45
x1(1) x2(2)
S2
= x12 x2 + x1 x22
tankonyvtar.ttk.bme.hu
46
prokat rgztett elemeknek, mg a tbbi i-t s i + 1-t szabadnak. Ha egy sor tartalmaz k
szabad i-t, amit l szabad i + 1 kvet, akkor helyettestsk ezeket l szabad i-vel, majd azt
kveto k szabad i + 1-gyel. Ily mdon az adott sorban felcserltk a szabad i-k s i + 1-k
szmt. A fenti muveletet minden sorra elvgezve kapjuk a T 0 Young-tablt, amit a keresett
involci T -hez rendel. Az eredmny valban Young-tabl lesz a szabad prok defincija
miatt.
Mivel a rgztett prok ugyanannyi i-t s i+1-t tartalmaznak, ezrt ez a lekpezs valban
felcserli az i-k s az i + 1-k szmt; a konstrukcibl az is rgtn ltszik, hogy T 0 -bol
kiindulva T -t kapjuk, vagyis az imnt definilt hozzrendels egy involci.
2
Az elozo fejezet vgn (1.6.33. Kvetkezmny) belttuk, hogy a tablkra vonatkoz LittlewoodRichardson szablybl addik a Schur-polinomok szorzsra vonatkoz
LittlewoodRichardson szably. Ismt csak a teljessg kedvrt lljon itt az emltett
eredmny.
2.1.13. KVETKEZMNY (L ITTLEWOOD R ICHARDSON - SZABLY
S CHUR POLINOMOKRA ) Legyenek , tetsz
oleges partcik, m pozitv egsz szm, s , illetve s a
megfelelo partcikhoz tartoz m-vltozs Schur-polinomok. Ekkor
s (x1 , . . . , xm )s (x1 , . . . , xm ) =
c s (x1, . . . , xm) .
A klnbzo nevezetes szimmetrikus polinomok viselkedsnek lersban fontos szerepet tltenek be a genertorfggvnyeik. Mint genertorfggvnyek esetn ltalban, igen
hasznos, ha ezeket a formlis hatvnysorknt adott kifejezseket gyakran zrt alakban is fel
tudjuk rni. Ennek komoly szerepe lesz abban, hogy a klnbzo nevezetes polinomrendszereket knnyen kit tudjuk egymsbl fejezni.
2.1.14. D EFINCI Az m-vltozs elemi szimmetrikus polinomok genertorfggvnye
def
e(t, x1 , . . . , xm ) = e(t, x) =
er (x)t r .
r=0
e(t, x) =
(1 + xit) .
i=1
h(t, x1 , . . . , xm ) = h(t, x) =
hr (x)t r .
r=0
tankonyvtar.ttk.bme.hu
47
h(t, x) =
(1 xit)1 .
i=1
(1 xi t)1 =
xikt k .
k=0
(1 xit)1 = ( xikt k ) .
i=1
i=1 k=0
(1 xit)1 = h(t, x) .
i=1
r=0
i=1
i=1
(1 xit) (1 xit)1 = 1 ,
h(t, x) e(t, x) =
hr (x)t r
r=0
n=0
r=0
(1)r er (x)t r
r=0
tn .
tankonyvtar.ttk.bme.hu
48
r=0
minden n 1 esetn.
Az eddig ismertetetteken tl a szimmetrikus polinomok egy fontos fajtja az n. Newtonfle ltalnostott hatvnysszeg. A fejezet sorn ltni fogjuk, hogy ezek abban klnbznek
az eddig megismert polinomcsaldoktl, hogy a szimmetrikus polinomoknak csak racionlis
egytthatkkal alkotjk bzist, egsz egytthatkkal nem.
2.1.19. D EFINCI (N EWTON - FLE LTALNOSTOTT HATVNYSSZEGEK ) Legyenek
r,m tetszoleges pozitv egszek, = (1 , . . . , k ) egy partci. Ekkor
def
r
pr (x) = x1r + . . . + xm
def
p(t, x) =
pr (x)t r1 .
r=1
nhn =
pr hnr .
r=1
xi
= xir t r1 .
1 xit r=1
p(t, x) =
xir )t r1
r=1 i=1
amibol
p(t, x) =
tankonyvtar.ttk.bme.hu
xi
1 xit =
i=1
xirt r1 ,
i=1 r=1
dt log 1 xit
i=1
49
r=1
= p(t, x) h(t, x)
r=1
r=0
= ( pr (x)t r1 ) ( hr (x)t r )
kvetkezik. Fejtsk ki az egyenlosglnc vgn lvo szorzatot, s hasonltsuk ssze t n
egytthatjt a baloldalon tallhatval. Azt ltjuk, hogy minden n 1 esetn
n
nhn =
pr hnr ,
r=1
z( ) = imi mi ! ,
i1
1
p (x) .
z( )
:| |=n
z( ) p (x)t | |
d
log h(t, x)
dt
tankonyvtar.ttk.bme.hu
50
relci miatt
log h(t, x) =
pr (x)t r /r ,
r=1
ily mdon
Az exp(pr
(x)t r /r)
r=1
ahonnan
(pr (x)t r )mr
mr
r=1 mr =0 r mr !
!
(p1t)m1
= m
...
1 m !
1
1
m1 =0
h(t, x) =
(pr t r )mr
mr
mr =0 r mr !
!
.
Fejtsk ki a jobboldalon lvo szorzatot; mivel t n egytthatja egy vges sszegbol jn,
sszehasonltva a kt oldalon kapott eredmnyt azt ltjuk, hogy valban
h(t, x) =
z( ) p (x)t | | .
1
z( ) p (x1 , . . . , xn )p (y1 , . . . , ym ).
m n
m
n m
1
1
def
p
X =
=
= h p (x)y j ) .
i=1 j=1 1 xi y j
j=1 i=1 1 xi y j
j=1 p=0
tankonyvtar.ttk.bme.hu
51
Erre az eredmnyre gy jutunk, hogy a ni=1 1x1 i y j kifejezst minden rgztett j-re hatvnysorba fejtjk, majd a tagokat y j hatvnyai szerint csoportostjuk. A lnc jobb vgn ll
szorzatot kifejtve azt kapjuk, hogy
X=
p1 =0 p2 =0
...
pm =0
k=0 i pi =k
h p1 (x) . . . h pm (x)
Sm
yp1(1) . . . ypm(m)
h (x)m (y)
k=0 | |=k
= h (x) m (y) ,
(t xi) = (1) j e jt n j .
i=1
j=0
tankonyvtar.ttk.bme.hu
52
S[ti | i I] S[H]
izomorfizmust generl. Ellenkezo esetben H algebrailag fggo S felett.
2.2.3. M EGJEGYZS Az algebrai fggetlensg fogalmval leggyakrabban taln abban a
specilis helyzetben tallkozhatunk, amikor R = K, Sn= Lotestek, azaz L/K egy testbovts.
t 7 2
homomorfizmus nem injektv, hiszen t 2 2 7 0.
ltalnossgban is knnyen lthat, hogy {} R pontosan akkor algebrailag fggetlen
Q felett, ha nem ltezik olyan racionlis egytthats f polinom, amelyre f () = 0, azaz a
szoksos rtelemben transzcendens.
2.2.4. M EGJEGYZS Legyen S T R rszgyuruk egy lnca,
T = S[{ti | i I}] , R = T [ r j | j J ] ,
ahol ti , r j R tetszoleges elemek. Ha r j | j J algebrailag
fggetlen T felett s {ti | i I}
algebrailag fggetlen S felett, akkor {ti | i I} r j | j J is algebrailag fggetlen S felett.
2.2.5. M EGJEGYZS Az An Nn elemeinek megfelelo x monomok az n.
monomok. Az n szm kis rtkeire kvetkezokppen alakulnak:
Artin-
n = 1 : A1 {1}
n = 2 : A2 {1, x2 }
n = 3 : A3 1, x3 , x32 , x2 , x2 x3 , x2 x32 .
A klnbzo An halmazok kztt gyorsan lehet rekurzv sszefggst tallni:
An = {(, i) | An1 , 0 i n 1} .
tankonyvtar.ttk.bme.hu
53
A kvetkezokben szksgnk lesz egy modulus szabad genertorrendszernek a fogalmra. Ugyan az alapveto algebrai fogalmakat az egsz knyv sorn ismertnek ttelezzk fel,
az olvas knyelme rdekben megadjuk a defincit.
2.2.6. D EFINCI Legyen M tetszoleges R-modulus, legyen tovbb N = {ni | i I} M
egy tetszoleges rszhalmaz. Azt mondjuk, hogy N bzisa mskppen szabad genertorrendszere M-nek, ha minden m M elemre pontosan egy olyan
m=
rimi(ri R) ,
iI
tankonyvtar.ttk.bme.hu
54
tankonyvtar.ttk.bme.hu
55
(t xi) =
i=1
(1) j e jt n j
j=0
n1
(t xi) = (t xi)
i=1
(t xn )
i=1
n1
(1) j e0j t n1 j
(t xn ) ,
j=1
ahonnan a
n
n1
j=0
j=1
e0 = e0 = 1 ,
e j = e0j + e0j1 xn ,
en = xn e0n1 .
Kronya Alex, BME
ha 1 j n 1 ,
tankonyvtar.ttk.bme.hu
56
Az imnt felrt relcikbl az is rgtn ltszik teljes indukcival, hogy e01 , . . . , e0n1 felrhatk,
mint az e1 , . . . , en1 polinomok R[xn ]-beli egytthats lineris kombincii (s megfordtva).
Ennek eredmnyekppen
R[e01 , . . . , e0n1 , xn ] = R[e1 , . . . , en1 , xn ] .
Az elokszletek utn nekiltunk a Ttel elso lltst bebizonytani. Legyen f
R[x1 , . . . , xn ] tetszoleges szimmetrikus polinom. Ekkor f minden homogn rsze szimmetrikus, gy az ltalnossg megsrtse nlkl feltehetjk, hogy f m-edfok (m > 0) homogn.
Mivel f szimmetrikus, ezrt szimmetrikus az elso (n 1) vltozjban is, vagyis mint
R[xn ][x1 , . . . , xn1 ]-beli polinom. Az indukcis feltevs szerint egyben
f R[xn ][e01 , . . . , e0n1 ]
= R[e01 , . . . , e0n1 , xn ]
= R[e1 , . . . , en1 , xn ]
= R[e1 , . . . , en1 ][xn ] .
rjuk most fel f -et mint ez utbbi egyvltozs polinomgyuru eleme:
m
f =
fixni ,
i=0
n1
.
r e11 . . . en1
gi =
n1
r e11 . . . en1
,
j j j =mi
ekkor
f =
gixni .
i=0
Mivel a 2.2.15. llts szerint {e1 , . . . , en1 , xn } algebrailag fggetlen R felett, az f = i fi xni
elollts egyrtelmu, gy fi = gi minden i-re. A gi polinomok (m i)-edfok homognek
voltak az x1 , . . . , xn vltozkban, ezrt az fi -k is.
Specilisan f0 R[e1 , . . . , en1 ] homogn m-edfok polinom az x1 , . . . , xn vltozkban.
Ha f = f0 , akkor kszen vagyunk. Amennyiben f 6= f0 , akkor tekintsk az f f0
tankonyvtar.ttk.bme.hu
57
(1) j e jt n j =
j=0
(t x j )
j=1
(1) j e j xnn j = 0 ,
j=0
talaktva
n1
(1)n+1 en =
j=0
tankonyvtar.ttk.bme.hu
58
bzisa R[e1 , . . . , en1 ]-nek mint R[e1 , . . . , en ]-modulusnak. Ekkor viszont a 2.2.14. Feladat
miatt
An = An1 A 0
2
2.2.16. L EMMA (ltalnostott maradkos oszts) Legyen R[x] egy egyvltozs polinomgyuru egy tetszoleges kommutatv egysgelemes gyuru felett,
def
ai j f j , ai j R
j0
alakba.
3. { f } algebrailag fggetlen R felett, s 1, x, x2 , . . . , xn1 egy szabad genertorrendszere R[x]-nek mint R[ f ]-modulusnak.
B IZONYTS Az f -fel val maradkos oszts mukdshez annyit kell szrevenni, hogy az
euklideszi algoritmus sorn egy dolgot hasznlunk fel f -rol, mgpedig hogy a foegytthatja
invertlhat.
Legyen g R[x] tetszoleges. Az f polinommal val ismtelt maradkos osztst alkalmazva kapjuk, hogy
g = g1 f + r0
g1 = g2 f + r1
..
.
ahol deg ri < deg f = n. Mivel a gi -k fokszma minden lpsben cskken, az algoritmus vges
sok lpsben vget r, s egy
g = ri f i
i
ri f i ,
i
tankonyvtar.ttk.bme.hu
59
g=
i=0
n1
ai j f j x i =
j
ai j x i
j
fj,
i=0
1. Vegyk az f1 (x1 , . . . , xn1 ) = f (x1 , . . . , xn1 , 0) polinomot, ez eggyel kevesebb vltozt tartalmaz, gy az algoritmust rekurzvan futtatva rajta fel tudjuk rni, mint az
e01 , . . . , e0n1 (n 1)-vltozs elemi szimmetrikus polinomok egy polinomja.
2. f1 fenti felrsban rjunk e0i helyre ei -t minden 1 i n 1 esetn. Ekkor
en | f f1 (e1 , . . . , en1 ) ,
ezrt az
def 1
f = ( f f1 (e1 , . . . , en1 ))
en
Az algoritmusunkat rekurzvan
tankonyvtar.ttk.bme.hu
60
teht
f = e21 2e2 .
2.2.19. F ELADAT rjuk fel az f (x1 , x2 , x3 ) = x13 + x23 + x33 polinomot az elemi szimmetrikus
polinomok egy polinomjaknt.
(xi x j )2 Z[x1 , . . . , xn ]
1i< jn
(xi x j )2
1i< jn
tankonyvtar.ttk.bme.hu
61
f = n (a1 , a2 , . . . , (1)n an ) ,
azaz n -nek a
Z[e1 , . . . , en ] R
ei 7 (1)i ai
homomorfizmusnl vett kpe.
2.3.3. M EGJEGYZS A polinomok egytthatinak ltalunk korbban megszokott szmozstl azrt trnk el, hogy esetnkben a1 felelhessen meg az e1 elemi szimmetrikus
polinomnak, s gy tovbb.
2.3.4. M EGJEGYZS A szimmetrikus polinomok alapttele szerint {e1 , . . . , en } algebrailag
fggetlen halmaz Z felett, gy Z[e1 , . . . , en ] izomorf egy Z feletti n-vltozs polinomgyuruvel.
2.3.5. M EGJEGYZS Ha n = 0, vagyis f egy konstans polinom, akkor f = 1, mivel egy
res szorzat rtke 1.
2.3.6. LLTS Legyen f = xn + a1 xn1 + + an R[x] normlt polinom, R S olyan
gyurubovts, amelyben f lineris faktorokra esik szt, azaz
n
f (x) =
(x i) , 1 i n
: i S .
i=1
Ekkor
f =
(i j )2 .
1i< jn
(t xi)
= f,
i=1
tankonyvtar.ttk.bme.hu
62
s gy
() = f
kvetkezik. Ez alapjn
f = (
(xi x j )2 ) =
1i< jn
(i j )2 .
1i< jn
2.3.7. M EGJEGYZS Legyen most R = K test, f K[x] mint fent. Ekkor f = 0 pontosan
akkor, ha f -nek van tbbszrs gyke K egy K algebrai lezrtjban. Ismert, hogy ez utbbi
ekvivalens azzal, hogy f -nek s f derivltjnak van kzs nullhelye.
2.3.8. P LDA (Msodfok polinomok diszkriminnsa) Legyen R tetszoleges gyuru, s
tekintsk az
f (x) = x2 + px + q R[x]
normlt polinomot. Ebben a pldban kiszmoljuk a f diszkriminnst a p,q egytthatk
fggvnyben. Vegynk egy R S gyurubovtst, amelyben f lineris faktorokra bomlik,
legyen
f (x) = (x 1 )(x 2 ) , 1 , 2 S .
Clunk
f = (1 2 )2 R
meghatrozsa. A szimmetrikus polinomok alapttele alapjn e1 = x1 + x2 s e2 = x1 x2
generljk a ktvltozs szimmetrikus polinomok gyurujt, specilisan minden ktvltozs
szimmetrikus polinom eloll mint e1 s e2 R-beli egytthat polinomja. A gykk s
egytthatk kzti sszefggsekbol
1 + 2 = p , 1 2 = q ,
ily mdon 1 s 2 minden szimmetrikus polinomja eloll mint p s q fggvnye, ily mdon
(1 2 )2 is. A megolds kulcsa az, hogy fel kell rnunk ez utbbi kifejezst 1 + 2 s
1 2 polinomjaknt:
(1 2 )2 = 12 21 2 + 22 = (1 + 2 )2 4(1 2 ) .
Ebbol rgtn kvetkezik, hogy
f = (1 2 )2 = (1 + 2 )2 4(1 2 ) = p2 4q .
2.3.9. F ELADAT (Harmadfok polinomok diszkriminnsa). Legyen R tetszoleges gyuru,
f (x) = x3 + px2 + qx + r R[x]
egy harmadfok polinom. Az elozo plda mdszervel igazoljuk, hogy
f = p2 q2 + 18pqr 4p3 r 4q3 27r2 .
tankonyvtar.ttk.bme.hu
63
n(n1)
2
. a0
. .
. b0
. .
a0
.
b0
A nem megnevezett elemek vagy pontok ltal jellt helyeken nullk llnak.
2.3.13. P LDA Legyenek x,y hatrozatlanok, s tekintsk az R[y] gyurut, tovbb az
f (x) = xy 2 R[y][x] s g(x) = x2 + y2 3 R[y][x]
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
64
polinomokat. Ekkor
y 2
0
2
resx ( f , g) = 0 y
1 0 y2 3
= y4 3y2 + 2y + 4 .
Amint azt sejteni lehet, ennek a pldnak sok kze van a geometrihoz, jelen esetben az
xy = 2 egyenletu hiperbola s az x2 + y2 = 3 egyenletu kr metszspontjaihoz. A geometriai
kapcsolatrl bovebben olvashatunk a [6] tanknyv 3. fejezetben.
2.3.14. F ELADAT A rezultnsok defincija segtsgvel igazoljuk, hogy ha f (x) = x3 +
px + q, akkor
res( f , f 0 ) = 4p3 27q2 .
2.3.15. F ELADAT Legyen f = x4 + px2 + qx + r. Ellenorizzk, hogy
res( f , f 0 ) = 144pq2 r 128p2 r2 4p3 q2 + 16p4 r 27q4 + 256r3 .
2.3.16. F ELADAT Igazoljuk az albbi azonossgot:
resx (a2 x2 + a1 x + a0 , b2 x2 + b1 x + b0 )
= (a2 b0 a0 b2 )2 + (a1 b0 a0 b1 )(a1 b2 a2 b0 ) .
A rezultnsok elemi tulajdonsgai determinnsokkal val egyszeru szmolsokon mlnak. Mivel ezek a determinnsokra vonatkoz szablyok hagyomnyosan testekre vannak
bebizonytva, az albbi lemma hathats technikai segtsget nyjt.
2.3.17. L EMMA A determinnsok manipullsra vonatkoz szablyok tetszoleges R gyuru felett rvnyben maradnak.
B IZONYTS Egy tetszoleges determinnsok kzti bizonytand R feletti azonossgban
legyen 1 , . . . , s az sszes elofordul egytthat. Tekintsk az s-vltozs Q(x1 , . . . , xs )
racionlis fggvnytestet, efltt a kvnt azonossg teljesl. Ekkor viszont szintn teljesl a
Z[x1 , . . . , xs ] Q(x1 , . . . , xs )
rszgyuruben is, amibol a
Z[x1 , . . . , xs ] R
xi 7 i
homomorfizmus segtsgvel kapjuk a bizonytand lltst R felett.
65
def
Ekkor a h = g1 s k = f1 vlasztssal
h f + gk = g1 f + ( f1 )g = g1 f1 l f1 g1 l = 0
miatt kszen vagyunk.
A msik irnyhoz tegyk fel, hogy a h, k K[x] polinomokra teljesl az llts hrom
kiktse. Az ltalnossg megsrtse nlkl felttelezhetjk, hogy h 6= 0. Ha f -nek s g-nek
nincsen kzs faktora, akkor ( f , g) = (1) = K[x], gy lteznek olyan a, b K[x] polinomok,
amelyekre
a f + bg = 1 .
Ekkor
h = 1 h = (a f + bg)h = ah f + bhg = a(kg) + bhg = (ak + bh)g ,
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
66
A most trgyalt elemi lps lnyege, hogy a kzs faktor ltezsnek krdst egy lineris
algebrai problmra vezeti vissza. Tekintsk tudniillik a
h f + kg = 0 K[x]
egyenlosget, s vizsgljuk meg, hogy mit jelent a szereplo polinomok egytthatira nzve.
Legyen
h(x) = 0 xm1 + 1 xm2 + + m1
s
k(x) = 0 xn1 + 1 xn2 + + n1 ,
ahol is a felmerlo n + m egytthatt tekintsk ismeretleneknek, mgpedig abban az (n +
m)-ismeretlenes egyenletrendszerben, amelyet a polinomok kzti h f + kg = 0 egyenlet ad
meg. Ahhoz, hogy az egyenletrendszert konkrtan lerjuk, a kvetkezokppen fogunk eljrni.
Legyen
f (x) = an xn + an1 xn1 + + a0
g(x) = bm xm + bm1 xm1 + + b0 ,
s deg f = n, deg g = m miatt an , bm 6= 0. Helyettestsk be az f , g, h, k-ra kapott formulkat
a h f + kg = 0 egyenletbe, s szmtsuk ki x potencilisan elofordul hatvnyainak az
egytthatit:
xn+m1 egytthatja: an 0 + bm 0 = 0
xn+m2 egytthatja: an1 0 + an 1 + bm1 0 + bm 0 = 0
.. ..
. .
1 egytthatja: a0 m1 + b0 n1 = 0 .
Az imnti rendszer m + n egyenletbol ll, l + m ismeretlent tartalmaz, gy pontosan akkor lesz
az azonosan nulltl klnbzo megoldsa, ha az egytthatkbl ll mtrix determinnsa
nulla. Az adott feladatban fellpo egytthatmtrix az f s g polinomok n. Sylvestermtrixa, ami lthatan megegyezik az f s g rezultnsnak a defincijban szereplo
mtrixszal. Ennek determinnsa res( f , g). Eljutottunk teht az albbi lltshoz.
2.3.20. LLTS Ha f , g K[x] nemkonstans polinomok, akkor f -nek s g-nek pontosan
akkor van kzs faktora, ha res( f , g) = 0.
A rezultnsok legfontosabb tulajdonsgai kzl mg prat trgyalunk alaposan az R = K
esetben.
2.3.21. T TEL Legyenek f , g K[x] nemkonstans polinomok. Ekkor
1. res( f , g) K az f s g polinomok egy egszegytthats polinomja;
tankonyvtar.ttk.bme.hu
67
2. lteznek h, k K[x] polinomok (amelyeknek az egytthati ismt csak f s g egytthatinak egszegytthats polinomjai), amelyekre
h f + kg = res( f , g) .
2.3.22. M EGJEGYZS A Ttel lltsa illetve a bizonyts nmi vltoztatssal mukdik
tetszoleges kommutatv gyuru esetn.
B IZONYTS Az elso llts a determinns defincijnak kzvetlen kvetkezmnye (arra a
defincira gondolunk, ahol a determinnst mint egy mtrix elemeinek a fggvnyt adjuk
meg).
A msodik llts bizonytsa hosszadalmasabb lesz, a mdszer a fentiekben alkalmazott
lineris algebrra trtno redukci lesz. Az mindenesetre azonnal ltszik, hogy az llts igaz
a res( f , g) = 0 esetben (legyen h = k = 0, gy az ltalnossg megsrtse nlkl feltehetjk,
hogy res( f , g) 6= 0 K[x]).
Az f s g nemkonstans polinomok felrhatk
f (x) = an xn + an1 xn1 + + a0
g(x) = bm xm + bm1 xm1 + + b0
alakban, ahol an , bm 6= 0. Legyen tovbb
h1 (x) = cm1 xm1 + cm2 xm2 + + c0 ,
k1 (x) = dn1 xn1 + dn2 xn2 + + d0 ,
ahol a ci ,d j egytthatkat K ismeretlen elemeinek tekintjk.
Helyettestsk be az imntieket a
h1 f + k1 g = 1 K[x]
egyenletbe. Ekkor az albbi K-lineris egyenletrendszert kapjuk (ahol ci ,d j az ismeretlenek
s ai , b j az egytthatk):
xn+m1 egytthatja:
an cm1 + bm dn1 =
xn+m2 egytthatja:
..
.
1 egytthatja:
0
..
.
1
Megllapthatjuk teht, hogy az egyenletrendszer mtrixa res( f , g), s res( f , g) 6= 0 ekvivalens a rendszer egyrtelmu K-beli megoldsnak ltezsvel.
Htravan mg annak igazolsa, hogy az lltsbeli h s k egytthati f s g egytthatinak
egszegytthats polinomjai. Ehhez az eddigi gondolatokat a Cramer-szabllyal fogjuk
tvzni. Eszerint (a konkrt formult mellozve) minden ci s d j eloll
f s g egytthatinak egszegytthats polinomja
resx ( f , g)
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
68
alakban, mskppen
h1 =
h
k
, k1 =
,
res( f , g)
res( f , g)
M = K[x]/( f )
hnyadosgyurut mint K-algebrt a
: K[x] M = K[x]/( f )
def
g 7 g = g + ( f )
termszetes homomorfizmus segtsgvel. Ekkor
1. az xn1 , xn2 , . . . , x, 1 elemek az M modulus egy K-bzist alkotjk.
2. Ha g K[x] egy legfeljebb m-edfok polinom, akkor az resx ( f , g) rezultnsra
resx ( f , g) = NormM/R (g) .
69
erre a C R-moduluson. Tekintsk az {1, i} bzist, ebben felrva az -val val szorzst mint
R-lineris transzformcit az
0
def
A=
0
mtrixhoz jutunk. Ebbol rgtn addik, hogy
NormC/R () = det A = 2 .
2.3.27. F ELADAT Legyen
Norm(Q[x]/( f ))/Q[x] (g)?
f (x) = x3 1 Q[x],
g(x) = x2 + 1.
Mennyi
B IZONYTS (2.3.23. Ttel) Egy rvid bizonytst tallhatunk a [3] knyv 4.4. fejezetben.
2
2.3.28. F ELADAT Legyenek f , g K[x] polinomok, K L egy testbovts, amelyben
mindkt polinom felbomlik lineris faktorokra. Tegyk fel, hogy
n
f (x) = a (x i ) , g(x) = b (x j ) ,
i=1
j=1
resx ( f , g) = am g(i ) = am bn (i j ) .
i=1
i=1 j=1
n(n1)
2
resx ( f , f 0 ) .
tankonyvtar.ttk.bme.hu
70
Emellett idonknt fontos, hogy a vltozk szma kelloen nagy legyen, pldul Schurpolinomok esetn ahol s = 0 ha a vltozk szma kisebb sorainak a szmnl. Ilyen
esetekben knyelmetlen, ha meg kell adni a vltozk szmat.
E problmk megoldst orvosolja a szimmetrikus fggvnyek fogalmnak bevezetse.
2.4.1. D EFINCI Egy f n-edfok szimmetrikus fggvny n-edfok szimmetrikus polinomok egy olyan
{ fm n [m]| m 1}
halmaza, amelyre tetszoleges l < m esetn
fm (x1 , . . . , xl , 0, . . . , 0) = fl (x1 , . . . , xl ) .
Az n-edfok homogn szimmetrikus fggvnyek Z-modulusnak jellse n (ld. 2.1.5. Definci). Ezek segtsgvel definilhatjuk a szimmetrikus fggvnyek fokszmozott gyurujt:
def M
n .
n0
f + g = { fm + gm | m 1}
s
def
f g = { fm gm | m 1} .
Mivel a specializci felcserlheto a polinomok krben vgzett muveletekkel, az imnt
bevezetett muveletek jldefiniltak.
2.4.3. F ELADAT Igazoljuk, hogy valban fokszmozott gyuru a most ismertetett muveletekre nzve.
2.4.4. M EGJEGYZS A szimmetrikus fggvnyek gyurujt mskppen az albbi mdon
rhatjuk le. Tetszoleges l m pozitv egsz szmok esetn legyen
ml : [m] [l]
az a gyuruhomomorfizmus, amit az utols m l vltoz kinullzsval kapunk. Gyorsan
ellenorizheto, hogy
{[m] | m 1} , {ml | m, l 1}
egy gynevezett inverz rendszer (ld. [26],[37]), ami a termszetes szmokkal van indexelve.
A szimmetrikus fggvnyek gyuruje ennek az inverz rendszernek az inverz limesze, vagyis
= lim
[m] .
m
tankonyvtar.ttk.bme.hu
71
K m .
E
K m (x1, . . . , xm) .
E
xT ,
T tabl D-n
ahol
x =
K x1 1 . . . xmem ,
e
em
= m ,
x1 1 . . . xm
e = 1 + 2 s
e 0 = 2 + 1 kt klnbzo
egy konkrt pldt: legyen n = | | = 3, m = 3. Ekkor
felbonts, azonban a hozzjuk tartoz partci megegyezik, mindkt esetben (2, 1).
2 Tekintsnk
tankonyvtar.ttk.bme.hu
72
gy
s (x1 , . . . , xm ) =
K m ,
ahol most az sszegzs az n szm sszes partcijn fut vgig. Tekintetbe vve, hogy
az 1.2.22. llts szerint
(
1 ha =
K =
0 ha 4 ,
rgtn addik, hogy
s (x1 , . . . , xm ) =
K m (x1, . . . , xm) ,
E
ahogy kvntuk.
2
Elkezdhetnk gyanakodni, hogy a Kostka-szmoknak alapveto szerepe van a szimmetrikus fggvnyek elmletben, hiszen lthatan bizonyos nevezetes fggvnyosztlyok kzti
tmenetmtrixok elemeiknt funkcionlnak. Hogy ez mennyire gy van, azt hamarosan ltni
fogjuk, tbbek kzt a kvetkezo eredmnyben.
2.4.7. LLTS Az eddigi jellsekkel
h =
K s .
E
a +...+an j
x j1 j
A j=1
ahol az sszegzs az sszes olyan A = (ai j ) Mnn (N) mtrixon fut vgig, amelyre
nk=1 alk = l minden 1 l m-re.
A Robinson-Schensted-Knuth megfeleltetst hasznlva addik, hogy
h (x) =
x
S
K S ;
73
Az alfejezet egyik fo mondanivalja az albbi eredmny, amely szmos Z-bzist szolgltat a rgztett fokszm szimmetrikus fggvnyek Z-modulusnak.
2.4.9. T TEL Legyen n tetszoleges pozitv egsz szm. Az albbi halmazok mind bzist
alkotjk az n-edfok homogn szimmetrikus fggvnyek Z-modulusnak, n -nek:
1. {m | | | = n}
2. {e | | | = n}
3. {h | | | = n}
4. {s | | | = n} .
Amennyiben racionlis szmokat is megengednk egytthatknt, akkor
{p : | | = n}
bzisa a Q-egytthats n-edfok szimmetrikus fggvnyek vektorternek.
2.4.10. M EGJEGYZS A fenti ttelt is gyakran hvjk a szimmetrikus fggvnyek alapttelnek.
B IZONYTS Az m monomilis szimmetrikus polinomok fggetlenek Z felett, hiszen
6= 0 esetn az m , illetve m0 polinomokban szereplo monomok halmaza diszjunkt.
Msrszt minden n-edfok homogn polinom n-edfok monomok lineris kombincija,
specilisan minden n-edfok homogn szimmetrikus polinom felrhat az m polinomk Zlineris kombincijaknt. Ezzel belttuk, hogy a
{m | | | = n}
halmaz valban n egy Z-bzisa.
Ugyan korbban a 2.2.1. Ttel rszeknt mr belttuk, hogy az elemi szimmetrikus polinomok a szimmetrikus polinomok egy bzist alkotjk, most adunk egy msik bizonytst,
ami az alfejezet sorn hasznlt eszkzket alkalmazza. rjuk fel az e n-edfok ltalnostott
elemi szimmetrikus fggvnyeket a {m | | | = n} bzisban; jellje
def
C = (c )
az egytthatmtrixot. Amennyiben sikerl beltni, hogy C a partcik egy alkalmas
rendezsre olyan hromszgmtrix, amelynek a fotljn csupa 1 ll, akkor a Cramerszably miatt C invertlhat, s gy
{e | | | = n}
szintn az n-edfok homogn szimmetrikus fggvnyek egy Z-bzisa lesz. Ekvivalens
mdon az is elegendo, ha a partcikat rendezzk a clnak megfeleloen. A 2.4.11. Lemma
megoldja ezt a feladatot, teht az adott fokszm ltalnostott elemi szimmetrikus polinomok is Z-bzist alkotnak.
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
74
halmazra. Mivel
|{h | | | = n}| = |{e | || = n}| ,
gy elg azt beltni, hogy a h -k genertumban benne vannak az e -k, s fordtva. Ehhez
elegendo megmutatni, hogy hogy minden en felrhat a hk -k egy polinomjaknt s fordtva.
Ez utbbi knnyen addik n-re vonatkoz teljes indukcival a
n
(1)r er hnr = 0
r=0
K m ,
E
K s ,
D
nhn =
pr hnr
r=1
75
mk
1 m2
e = em
1 e2 . . . ek ,
ahol
mi = mi ( ) = i i+1 ,
s mi ( ) a partci i-vel megegyezo elemeinek a szma. Ha kifejtjk a szorzatot, monomok
egy bizonyos sszegt kapjuk; ugyanezeket a monomokat a lexikografikus rendezsben
vizsgljuk, a kifejezs fotagja ppen
x1m1 (x1 x2 )m2 . . . (x1 . . . xk )mk = x11 . . . xkk = x
lesz.
Mivel e szimmetrikus polinom, ezrt ebbol mr kvetkezik, hogy az m 1 egytthatval
szerepel a monomilis szimmetrikus polinomok bzisban trtno kifejtsben, mg a tbbi ,
amire m mg szerepelhet, kisebbek -nl a lexikografikus rendezsre nzve.
2
2.4.12. M EGJEGYZS Fontos szben tartani a klnbsget x s a Schur-polinomok defincijban szereplo xT kifejezs kztt.
A szimmetrikus fggvnyek alapttelnek egyik fo kvetkezmnye, hogy brmely bzis
elemei kifejezhetok brmely msik bzis elemeinek egsz egytthats lineris kombincijaknt. A fentiekben (2.4.6. s 2.4.7. llts) mr konkrtan kiszmtottunk bizonyos bzistranszformcikat; nemsokra megadjuk a nevezetes bzisok kzti sszes transzformcit.
2.4.13. M EGJEGYZS A szimmetrikus fggvnyek alapttele szerint
' Z[h1 , h2 , . . . ] ' Z[e1 , e2 , . . . ]
mint gyuruk, azonban kt esetben a fokszmozs eltro.
A kvetkezokben megvizsgljuk a szimmetrikus polinomok Z-modulusnak, n -nek a
nevezetes bzisok kzti bzistranszformciit.
A tovbbiakban olyan mtrixokkal foglalkozunk, amelyek sorait s oszlopait egy n
pozitv egsz partciival indexeljk. Az n szm partciit a fordtott lexikografikus rendezs
szerinti sorrendben adjuk meg. J-vel jelljk az albbi mdon definilt n. transzpozcis
mtrixot, azaz
(
1 ha =
J , =
0 egybknt.
Legyenek (u ) s (v ) kt olyan Z-bzisa n -nek, melyeket n partciival indexelnk. Jellje
M(u, v) az
u = M , v
tankonyvtar.ttk.bme.hu
76
Id
K T J(K T )1
K T JK
KT J
K T J(K T )1
Id
KT K
KT
K 1 J(K T )1
K 1 (K T )1
Id
K 1
J(K T )1
(K T )1
Id
A fejezet htralevo rszben egy igen rdekes jelensget vizsglunk meg, egy, a
szimmetrikus fggvnyek tern definilt skalrszorzatot. Maga a definci igen egyszeru.
Mivel a Schur-polinomok a szimmetrikus fggvnyek egy Z-bzist alkotjk, az a
kikts, hogy ortonormlt bzist alkossanak, egy jldefinilt skalrszorzatot ad -n:
(
ha =
def 1
hs , s i =
0 egybknt.
Rgtn felmerl, hogy szeretnnk tudni a nevezetes fggvnyrendszerek elemei kzti
szorzatokat.
2.4.14. LLTS Legyenek , partcik. Az eddigi jellsekkel
hh , m i = ,
hp , p i = z( ) ,
ahol
def
z( ) = imi mi ! ,
i1
tankonyvtar.ttk.bme.hu
77
m (y) = b s (y) ,
Ekkor
h (x)m (y) =
a s (x) b s (y)
a b s (x)s (y)
,,
!
=
a b
s (x)s (y) .
= a b hs (x), s (y)i
= .
T , = hu , v i
sszefggssel definilt mtrixot. A kvetkezo tblzat u-adik sorban s v-edik oszlopban
a T (u, v) skalrszorzatmtrixot rtuk fel:
tankonyvtar.ttk.bme.hu
78
JKK T J
J T KK T
KT J
KK T J
KK T
KT
(K T )1 K
KT J
KT
K 1
K 1
Vgezetl tekintsk az
:
s 7 s
hozzrendels ltal meghatrozott lineris transzformcit, ami egy j, rdekes struktrt ad
meg a szimmetrikus fggvnyek gyurujn.
2.4.15. LLTS Az : homomorfizmus egy izometrikus gyuruhomomorfizmus a
h , i skalrszorzatra nzve, emellett
(p ) = (1)i (i 1) p .
(h ) = e , s
c (s ) ,
ezrt
(s s ) =
c s
c s .
79
tankonyvtar.ttk.bme.hu
80
K [ f ] ,
[ f ] s .
f =
[ s ] s .
s .
Ekkor
f = s
[ s ] s
,
!
=
tankonyvtar.ttk.bme.hu
[ s ]
s .
81
[ s ] s
[ f ] s .
[ f ] m .
[ f ] s .
!
= [ f ]
K m
!
=
K [ f ]
m .
z() [ p ] [ p ]
= .
tankonyvtar.ttk.bme.hu
3. fejezet
A szimmetrikus csoportok
reprezentcielmlete
A szimmetrikus csoportok a matematika legalapvetobb objektumai kz tartoznak, lnyegben a matematika minden terletn s az elmleti fizikban is fontos szerepet jtszanak.
Ily mdon az is vilgos, hogy fontos a szimmetrikus csoportokat jl megismerni, amibe
a reprezentcielmletk rtelemszeruen beletartozik. A fejezet sorn ezt a feladatot
vgezzk el; az eddig felhalmozott ismereteink segtsgvel lerjuk a szimmetrikus csoportok
irreducibilis reprezentciit a komplex szmtest felett, s Frobenius nyomn kiszmtjuk az
irreducibilis reprezentcikhoz tartoz karaktereket.
84
/
W
(g)
/
W
3. Tetszoleges (,V ) reprezentci esetn Id = IdV HomC (V,V ) egy (,V ) (,V )
lekpezst ad meg. Ha : (,V ) ( ,W ) egy lekpezs, akkor
Id = Id = .
85
kategrijt Rep(G)-vel jelljk. Ha (,V ),( ,W ) Rep(G) (vagy Rep (G), akkor
MorG ((,V ), ( ,W )) vagy egyszeruen csak MorG (, ) jelli a (,V )-bol ( ,W )-be meno
reprezentcik kzti lekpezsek halmazt.
A 3.1.3. Feladat lltst gy szoks fogalmazni, hogy a G csoport vges-dimenzis
reprezentcii Rep (G) egy teljes rszkategrijt alkotjk.
3.1.5. P LDA Egy kzismert reprezentci az albbi: legyen G = Matn (C) az n n-es
invertlhat komplex elemu mtrixok csoportja, V = Cn . Ekkor az
A 7 (v 7 A v) (A Matn (C) , v V )
hozzrendels a Matn (C) csoport egy reprezentcija.
3.1.6. P LDA Tetszoleges G csoport s tetszoleges V vektortr esetn ltezik a (1V ,V )
Rep(G) n. trivilis reprezentci, amelyre
def
1V (g) = IdV
minden g G-re.
3.1.7. P LDA Egy msik kzismert plda a permutcik paritsa. Ezt gyakran alternl
def
reprezentcinak is hvjk. Legyen G = Sn , g Sn az 1, 2, . . . , n szmok egy permutcija, V
tetszoleges. Ekkor tetszoleges V vektortr esetn
(
ha g pratlan permutci
def IdV
V (g) =
IdV
ha g pros permutci
az n-edfok szimmetrikus csoport V -n rtelmezett alternl reprezentcija.
A fenti kt pldban kzs, hogy nem sokat rulnak el az adott csoportrl, hiszen a
csoportelemek nagy rsze a reprezentci mint homomorfizmus magjba kerl.
3.1.8. D EFINCI Egy (,V ) Rep(G) reprezentci husges, ha ker = idV , azaz
injektv lineris lekpezs.
Fontos krds, hogy vajon egy adott csoportnak van-e husges reprezentcija. Az albbi
konstrukci ezt teljes ltalnossgban megoldja.
3.1.9. P LDA (C AYLEY- FLE REGULRIS REPREZENTCI ) Legyen G tetszoleges csoport,
def M
VG =
Chg
hG
tankonyvtar.ttk.bme.hu
86
eg eh = egh
hozzrendels egyrtelmu lineris kiterjesztse egy R-bilineris muveletet ad meg RG-n. Ez
lesz RG multiplikatv struktrja.
3.1.12. M EGJEGYZS Az RG csoportalgebra egy eleme gG rg eg alakba rhat, ahol rg R
minden g G-re. Amennyiben G nem vges csoport, akkor az rg egytthatk kzl legfeljebb
vges sok lehet nulltl klnbzo.
3.1.13. M EGJEGYZS Tetszoleges R kommutatv gyuru esetn egy M RG-modulus nem
ms, mint egy V R-modulus s egy rgztett
RG EndR (V )
R-algebrahomomorfizmus, amely megadja, hogy RG elemeivel hogyan szorzunk.
3.1.14. F ELADAT Igazoljuk, hogy RG az imnt definilt muveletekkel egy R-algebra.
Bizonytsuk be, hogy RG pontosan akkor kommutatv, ha G az.
A tovbbiakban a komplex test feletti csoportalgebrk fognak minket rdekelni. A CG
algebra feletti baloldali modulusok kategrijt CG Mod jelli.
tankonyvtar.ttk.bme.hu
87
3.1.15. LLTS Legyen G csoport. Ekkor minden (,V ) Rep (G) reprezentci
meghatroz egy M CG Mod bal-CG-modulust; tetszoleges M bal-CG-modulushoz
hozz tudjuk rendelni a G csoport egy (M , M) komplex reprezentcijt, amelyhez tartoz
vektortr maga M. A kt hozzrendels egyms inverze.
B IZONYTS Legyen (,V ) Rep (G); M egy olyan baloldali modulus lesz, amely
alapjul a V vektortr fog szolglni.
(g C),v V , akkor legyen
def
v = ( g eg ) v =
gG
g(g)(v) .
gG
v = ( rg eg ) v =
gG
rg(g)(v)
gG
tankonyvtar.ttk.bme.hu
88
s a
/
W
V
(g)
(g)
/
W
V
diagramok kommutativitsa miatt
( v) = ( rg (g)(v))
gG
rg((g)(v))
gG
rg (g)((v))
gG
= ( g Grg (g))((v))
= (v) ,
amint azt lltottuk; -t mint CG-modulushomomorfizmust E ()-vel jelljk.
Megfordtva, legyen HomCGMod (V,W ), s tekintsk -t mint C-lineris lekpezst,
jellje s a 3.1.15. lltsban V -hez, illetve W -hez hozzrendelt reprezentcikat.
Vlasszunk egy tetszoleges g G elemet. Ekkor
(g)(v) = g V v = eg V v ,
s
(g)(w) = g W w = eg W w ,
amibol
((g)) = (eg V v) = eg W (v) = (g)((v))
kvetkezik, hiszen egy CG-modulushomomorfizmus, gy a csoportalgebra elemeinek
hatsval felcserlheto. Ezzel belttuk, hogy megvalst egy reprezentcik kzti
lekpezst, ebben a minosgben R()-vel jelljk.
Mivel mind E , mind R egy morfizmust mint vektorterek kzti lineris lekpezst
vltozatlanul hagynak, rgtn addik, hogy
E (2 1 ) = E (2 ) E (1 ) , E (IdV ) = IdV ,
s
R(2 1 ) = E (2 ) E (1 ) , E (IdV ) = IdV ,
azaz E s R funktorok. A 3.1.15. llts szerint
R(E ((,V ))) ' (,V ) s E (R(M)) ' M ,
teht az E s R funktorok valban megadnak a Rep (G) s CG Mod kategrik kzt egy
ekvivalencit.
2
tankonyvtar.ttk.bme.hu
89
3.1.17. M EGJEGYZS Az imnti ttelnek van egy rendkvl fontos kvetkezmnye: tetszoleges, CG-modulusokra rtelmezett konstrukcit gondolkods nlkl tvihetnk a G csoport
reprezentciinak krbe. Innentol kezdve vilgos, hogy mit tekintnk kt reprezentci
direkt sszegnek, tenzorszorzatnak, dulisnak, stb. Ezt a gondolatmenetet a kvetkezo
fejezetben a gyakorlatba is tltetjk.
3.1.18. M EGJEGYZS Legyen G csoport, M1 , M2 baloldali CG-modulusok. Ekkor kpezhetjk M1 s M2 direkt sszegt, amelyet szoks szerint M1 M2 -vel jellnk. Mint vektortr
M1 M2 az M1 s M2 vektorterek direkt sszege, amin a CG csoportalgebra koordintnknt
hat: ha CG, m1 M1 , m2 M2 , akkor
(m1 , m2 ) = ( m1 , m2 ) .
A 3.1.16. Ttelnek megfeleloen rgtn addik a G csoport (1 ,V1 ),(2 ,V2 ) reprezentciinak
direkt sszege: g G, v1 V1 s v2 V2 esetn
(1 2 )(v1 , v2 ) = (1 (g)(v1 ), 2 (g)(v2 )) .
Alapveto jelentosgu krds, hogyan tudjuk egy adott csoport reprezentciit egyszerubb rszekbol sszerakni. Az albbi definci termszetesen tetszoleges gyuru feletti
modulusokra vltozatlanul rvnyben marad.
3.1.19. D EFINCI Egy M CG Mod modulust irreducibilisnek (vagy egyszerunek)
hvunk, ha nincsen valdi (azaz a 0-tl s nmagtl klnbzo) rszmodulusa. Azt
mondjuk, hogy M felbonthat, ha lteznek M1 , M2 6= 0 modulusok, amelyekre M ' M1 M2 .
Ha M nem felbonthat, akkor felbonthatatlannak nevezzk.
A 0 modulus gyakran nem szoktk irreducibilisnek tekinteni.
3.1.20. M EGJEGYZS A definci azonnali kvetkezmnye, hogy egy irreducibilis CG-modulus felbonthatatlan. Megfordtva viszont ltalban nem igaz: egy felbonthatatlan modulus
gyakran nem irreducibilis. A reprezentcielmlet egyik alapproblmja a felbonthatatlan s
irreducibilis modulusok kzti klnbsg vizsglata.
3.1.21. P LDA Egy jl ismert plda felbonthatatlan de nem irreducibilis modulusra: tekintsk az egsz szmok Z gyurujt mint nmaga feletti modulust; Z tvolrl sem irreducibilis,
dZ Z nemtrivilis rszmodulus minden d 6= 0, 1 egsz szm esetn, amely nem direkt
sszeadandja Z-nek.
Ez utbbit a kvetkezo mdon lehet egyszeruen beltni: mint 1-rang torzimentes Zmodulust Z-t nem tudjuk kt nemnulla Z-modulus direkt sszegeknt elolltani a vgesen
generlt abel-csoportok alapttele miatt.
3.1.22. F ELADAT Legyen V = Cn , s tekintsk az n n-es invertlhat felso hromszgmtrixok Bn Matn (C) csoportjt. A korbban ltottak alapjn V egy CBn -modulus a
mtrixszorzsra nzve. Igazoljuk, hogy V egy felbonthatatlan, de nem irreducibilis CBn modulus.
tankonyvtar.ttk.bme.hu
90
3.1.23. D EFINCI Legyen (,V ) Rep (G), W V egy altr. Azt mondjuk, hogy W
-invarins, ha minden g G esetn
(g)(W ) W .
Ha W V invarins altr, akkor (|W ,W )-t (,V ) egy rszreprezentcijnak vagy
megszortsnak hvjuk.
3.1.24. M EGJEGYZS Mivel (g) invertlhat lineris transzformci, a (g)(W ) W
felttelbol rgtn (g)(W ) = W is kvetkezik.
3.1.25. M EGJEGYZS Vegyk szre, hogy egy W V altr pontosan akkor invarins, ha
W V rsz CG-modulus a -bl szrmaztatott CG-modulusstruktrra nzve.
3.1.26. F ELADAT Legyen : (,V ) ( ,W ) egy G csoport kt reprezentcija kzti
homomorfizmus. Mutassuk meg, hogy ker V s im W egyarnt invarins alterek
az adott G-modulusstruktrkra nzve.
3.1.27. D EFINCI Legyen G tetszoleges csoport, (,V ) Rep (G). A reprezentcit
irreducibilisnek hvjuk, ha nincsen valdi rszreprezentcija, felbontathatnak, ha eloll
mint kt valdi rszreprezentci direkt sszege, s felbonthatatlannak, ha ez utbbi nem
fordul elo.
3.1.28. M EGJEGYZS Egy (,V ) reprezentci pontosan akkor irreducibilis, ha nincsen
valdi invarins altere.
3.1.29. M EGJEGYZS Trjnk vissza egy pillanatra a korbban definilt (3.1.6., illetve
3.1.7.) n. trivilis s alternl reprezentcikra. Ezek pontosan akkor voltak irreducibilisek,
ha az alapul szolgl vektortr egydimenzis volt. Emiatt ltalnos szoks, hogy trivilis,
illetve alternl reprezentci alatt az egydimenzis vektortren vett vltozatokat rtik.
A nemkommutatv gyuruk feletti modulusok vizsglatban kulcsfontossg szerep jut az
n. fligegyszeru modulusoknak.
3.1.30. D EFINCI Legyen R tetszoleges nem felttlenl kommutatv gyuru, M bal-Rmodulus. Azt mondjuk, hogy M fligegyszeru, ha egyszeru modulusok direkt sszege.
3.1.31. M EGJEGYZS Az imnti definci alapjn a 0 modulus fligegyszeru. Egy M Rmodulus pontosan akkor fligegyszeru, ha minden rszmodulusa direkt sszeadand.
ltalban is nagyon fontosak azok a gyuruk, amelyek felett minden bal-R-modulus
fligegyszeru.
3.1.32. D EFINCI Egy R gyurut fligegyszerunek hvunk, ha minden bal-R-modulus
fligegyszeru.
3.1.33. M EGJEGYZS A fligegyszeru gyuruk haszna tbbek kzt abbl fakad, hogy a
felettk vett modulusok tanulmnyozst rgtn visszavezethetjk az egyszeru modulusok
vizsglatra.
Specilisan fligegyszeru gyuruk felett egy modulus pontosan akkor irreducibilis, ha
felbonthatatlan.
tankonyvtar.ttk.bme.hu
91
A fligegyszeru gyuruknek igen sok ekvivalens jellemzse van (ld. [25, 1.2 Fejezet]),
ezek kzl szmunkra az albbi a legrdekesebb.
3.1.34. T TEL Egy R gyuru pontosan akkor fligegyszeru, ha R mint nmaga feletti bal-Rmodulus fligegyszeru.
2
tankonyvtar.ttk.bme.hu
92
A msodik llts igazolshoz fel fogjuk hasznlni, hogy C algebrailag zrt. Eszerint
ugyanis -nek van egy C sajtrtke V -n, azaz az emltett -ra
ker( IdV ) 6= 0 .
Ekkor az elso llts miatt IdV szksgkppen a 0 lekpezs, vagyis = IdV . 2
3.1.39. M EGJEGYZS A Schur-lemma egy ekvivalens megfogalmazsa az albbi: ha
(,V ),( ,W ) a G csoport komplex irreducibilis reprezentcii, akkor
(
0 ha (,V ) 6' ( ,W )
dim HomG ((,V ), ( ,W )) =
.
1 ha (,V ) ' ( ,W )
Amint azt az elkvetkezokben ltni fogjuk, a dim HomG ((,V ), ( ,W )) mennyisg a G
csoport reprezentciinak krben a skalrszorzathoz hasonl szerepet tlt be.
3.1.40. T TEL Legyen (,V ) a G vges csoport egy reprezentcija. Ekkor V -nek ltezik
egy
V = V1m1 Vrmr
felbontsa, ahol a Vi -k pronknt klnbzo irreducibilis rszreprezentcik. V egyrtelmuen meghatrozza az r szmot, az irreducibilis Vi reprezentcikat, illetve ezek mi
multiplicitsait.
B IZONYTS Ha U V tetszoleges -invarins altr, akkor U-t automatikusan a (|U ,U)
reprezentcinak tekintjk.
Tegyk fel, hogy
V = W1n1 Wsns
egy irreducibilis reprezentcikra trtno felbonts. Tekintsk a Vi V irreducibilis
rszreprezentcit, s tetszoleges 1 j s esetn a j -vel jellt
Vi , V1m1 Vrmr = V = W1n1 Wsns W j
kompozcit. Ez minden olyan esetben a nulla lekpezst adja, amikor W j 6' Vi . Mivel Vi , V
nem a nulla lekpezs, lesz pontosan egy 1 j s, amelyre Vi ' W j . Belttuk teht, hogy
minden 1 i r indexhez ltezik pontosan egy olyan 1 j s, amelyre Vi ' W j . A V -k
s W -k szerept felcserlve kapjuk, hogy s = r, s a kt felbontsban izomorfizmus erejig
pontosan ugyanazok az irreducibilis reprezentcik szerepelnek.
A ttel htralvo rsze a
dim HomG (Vi ,V ) = mi
formulbl kvetkezik. Ez utbbit az albbi mdon lthatjuk be: mivel V a Vi irreducibilis
reprezentcik megfelelo multiplicitssal vett direkt szorzata,
HomG (Vi ,V ) '
r
M
j
HomG (Vi , k=1
Vj)
j=1
i
' HomG (Vi , m
k=1Vi )
'
mi
M
k=1
tankonyvtar.ttk.bme.hu
93
gy a 3.1.39. Megjegyzs miatt a lnc kt vgnek dimenzijt vve valban a kvnt lltst
kapjuk.
2
3.1.41. M EGJEGYZS rdemes az elobbi bizonyts utols lpst kln is megemlteni:
eszerint, ha (,V ) a G csoport egy irreducibilis, ( ,W ) egy tetszoleges reprezentcija, akkor
dimC HomG ((,V ), ( ,W ))
a (,V )-nek a ( ,W ) irreducibilis reprezentcikra trtno felbontshoz tartoz multiplicitsa.
Vges csoportok reprezentciinak (illetve ltalnosabban csoportok vges-dimenzis
reprezentciinak) vizsglatnak az egyik legfontosabb eszkze a reprezentci karaktere.
3.1.42. D EFINCI Legyen G vges csoport, (,V ) Rep(G). Ekkor a
: G C
g 7 Tr((g))
hozzrendelst a reprezentci karakternek nevezzk.
Egy alapveto szrevtel, hogy egy adott reprezentci karakternek egy csoportelemen
felvett rtke csak a csoportelem konjugltosztlytl fgg, vagyis a karakterek osztlyfggvnyek2 : ha g, h G, a (,V ) reprezentci karaktere, akkor
(hgh1 ) = Tr (hgh1 ) = Tr (h)(g)(h)1 = Tr (g) = (g) .
A Schur-lemma, illetve a 3.1.39. Megjegyzs ortonormalitsi sszefggse a karakterek
krben egy valdi skalrszorzatot eredmnyez.
3.1.43. D EFINCI Jellje CC (G) a G-beli konjugltosztlyokon rtelmezett komplex rtku fggvnyek vektortert. Definilunk a CC (G) tren egy komplex bilineris fggvnyt.
Tetszoleges , CC (G) esetn legyen
def
h, i =
1
(g) (g) ,
|G| gG
G egy tetszoleges csoport, S egy halmaz, akkor egy f : G S fggvnyt osztlyfggvnynek hvunk,
ha f (g) = f (hgh1 ) minden h G esetn, vagyis f -nek a g helyen felvett rtkt g konjugltosztlya
meghatrozza.
tankonyvtar.ttk.bme.hu
94
3.1.46. F ELADAT Mutassuk meg, hogy egy (,V ) reprezentci pontosan akkor irreducibilis, ha h , i = 1. Tovbb, ha (,V ) tetszoleges reprezentci, ( ,W ) irreducibilis
reprezentci, akkor h , i egyenlo -nak a -beli multiplicitsval.
3.1.47. KVETKEZMNY A G csoport irreducibilis reprezentciinak szma megegyezik
a konjugltosztlyainak a szmval.
Az elso s egyik legfontosabb kvetkezmny, hogy egy reprezentcit a karaktere
izomorfizmus erejig meghatroz. Ezrt sokszor kzvetlenl a karakterekkel foglalkozunk
a reprezentcik helyett.
3.1.48. LLTS Legyen G vges csoport, (,V ),( ,W ) Rep(G). Ekkor =
pontosan akkor, ha (,V ) ' ( ,W ).
B IZONYTS Egyfelol ha (,V ) ' ( ,W ), akkor minden g G esetn (g) s (g) hasonl
lineris transzformcik (azaz mtrixaik hasonlak a bziscseretranszformcin keresztl), s
gy a nyomuk megegyezik. Ezzel az egyik irnyt belttuk.
A msik irny bebizonytshoz legyen V = V1m1 Vrmr a V reprezentcinak
a 3.1.40. Ttelben szereplo felbontsa irreducibilis reprezentcik direkt sszegre. Ekkor
a 3.1.45. Ttel miatt
V = m1 V1 + + mr Vr ,
ahol a jobboldalon egyrtelmuen meg van hatrozva V ltal. Ekkor viszont a ( ,W )-hez
tartoz irreducibilis reprezentcik s multiplicitsok megegyeznek a (,V )-hez tartozkkal,
amibol (,V ) ' ( ,W ) kvetkezik.
2
3.1.49. LLTS Legyenek (,V ) s ( ,W ) a G csoport reprezentcii. Ekkor
dimC Hom((,V ), ( ,W )) = h , i .
B IZONYTS Bontsuk fel mindkt reprezentcit irreducibilisek direkt sszegre. Mivel az
lltsban szereplo kplet mindkt vltozban additv a direkt sszeg kpzsre nzve, elg
abban az esetben igazolni, amikor (,V ) s ( ,W ) egyarnt irreducibilis reprezentcik.
Ez viszont rgtn kvetkezik az irreducibilis karakterek ortonormalitsbl s a 3.1.41.
Megjegyzsbol.
2
Vgl egy egyszeru de fontos mdszert mutatunk be lineris reprezentcik konstrukcijra.
tankonyvtar.ttk.bme.hu
95
3.1.50. P LDA Legyen G csoport, X egy halmaz, : G Aut(X) egy csoporthomomorfizmus (mskppen a G csoport egy hatsa X-en). Az csoporthats alapjn ksztnk
egy lineris reprezentcit, a hozztartoz n. permutcireprezentcit. Legyen VX egy
C-vektortr X elemeivel mint bzissal (azaz VX az X halmazhoz hozzrendelt szabad Cmodulus). Jellje ex az x X elemnek megfelelo bziselemet. A reprezentcit az albbi
mdon adjuk meg: tetszoleges g G esetn legyen
def
(g)( x ex ) =
xX
x e(g)(x) .
xX
tankonyvtar.ttk.bme.hu
96
>>
>
j >>>
>>
>
i/
) >>>>
(,V ) WWWW ( ,V W
OOO
WWWWW
O >>
WWWWW
WWWWW OOOOO >>>
WWWWW OO >
WWW+'
(,U)
def
( )(g)( v j w j ) =
j=1
((g))(v j ) ( (g))(w j ) .
j=1
Mivel egy V W -beli elem sokflekppen rhat fel elemi tenzorok lineris kombincijaknt, tartozunk mg annak a magyarzatval, hogy az imnti definci mirt rtelmes. Ezt
rviden a kvetkezokppen lthatjuk
V -nek, illetve W -nek egy {ei } illetve f j
be: vesszk
bzist, az ezek elemeibol kpzett ei f j tenzorok V W egy bzist adjk. Eme bzis
elemein a most definilt hats egyrtelmu s egyrtelmuen terjed ki linerisan az egsz V W
vektortrre. Gyorsan ellenorizheto, hogy az eredmny megegyezik a 3.2.2. alatt megadottal.
tankonyvtar.ttk.bme.hu
97
3.2.3. M EGJEGYZS Egy fontos specilis esetet szolgltatnak egy rgztett (,V ) reprezentci ( n ,V n ) tenzorhatvnyai. A 3.2.2. defincit ismtelten alkalmazva egy v1 vn
elemi tenzoron a G csoport hatsa
(g)(v1 vn ) = (g)(v1 ) (g)(vn ) .
Egy reprezentci tenzorhatvnyainak a defincijval a zsebnkben mr nem nehz a
szimmetrikus s alternl hatvnyoknak megfelelo reprezentcikat elolltani.
3.2.4. M EGJEGYZS A szimmetrikus s alternl hatvnyok az irodalomban tbb helyen
is az adott kitevoju tenzorhatvny altereiknt vannak definilva. Ez flrevezeto, s pozitv
karakterisztikban gyakran nem is igaz (ld. [5, 12. o.]).
Ez a lehetosg a Symn (V ) (Symn (V )) termszetes homomorfizmuson alapszik,
amely az n! 6= 0 esetben (ami ha az alaptest pozitv karakterisztikj knnyen srlhet)
izomorfizmus is egyben.
3.2.5. D EFINCI Legyenek (,V ) a G csoport reprezentcija. Ekkor (,V ) n-edik
(Symn , Symn V ) szimmetrikus, illetve (n , nV ) alternl hatvnyait az albbi mdon
definiljuk: tetszoleges v1 , . . . , vn V , s g G esetn legyen
def
( , v) 7 h , vi = (v)
kirtkels egy nemelfajul prostst hatroz meg.
Legyen (,V ) a G csoport egy reprezentcija. A dulis reprezentci alaptere V dulis
vektortere, azaz V = HomC (V, C). rtelemszeruen azt szeretnnk, hogyha a V -n mr
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
98
(g) = ((g)T )1
vlasztssal teljesl.
3.2.7. D EFINCI Legyen G csoport, (,V ) Rep(G) vges-dimenzis reprezentci. A
( ,V ) dulis reprezentcit a
def
V C W HomC (V,W )
kanonikus vektortrizomofizmussal.
3.2.11. M EGJEGYZS Amint azt mr korbban emltettk, a lineris algebrai azonossgok
tovbbra is rvnyben maradnak G-modulusokra. Ha (,V ) vges-dimenzis reprezentci,
akkor
!
n
tankonyvtar.ttk.bme.hu
n
^
(V ) '
n
^
99
B IZONYTS Azt a tnyt fogjuk felhasznlni, hogy egy endomorfizmus nyoma egyenlo
a sajtrtkeinek multiplicitssal vett sszegvel. Legyenek End(V ), End(W )
tetszoleges endomorfizmusok, jellje multiplicitssal vett sajtrtkeit i C (1 i
dimV ), sajtrtkeit pedig j C (1 j dimW ).
Ekkor s sajtrtkei V W -n illetve V W -n {i } j , illetve i j .
Ebbol azonnal addik a direkt sszeg s a tenzorszorzat nyomra vonatkoz eredmny.
2
3.2.13. LLTS Legyenek G egy csoport, (,V ), ( ,W ) Rep(G), szoks szerint jelljk
s a , illetve reprezentcik karaktereit. Ekkor
= + ,
= ,
= .
Tovbb minden g G esetn
1
(( (g))2 + (g2 )) ,
2
1
2 (g) = (( (g))2 (g2 )) .
2
Sym2 (g) =
tankonyvtar.ttk.bme.hu
100
Az alternl ngyzetre vonatkoz kplet a kvetkezokppen addik: a (2 )(g) endomorfizmus sajtrtkei a 2V vektortren
i j | 1 i < j dimV .
Vegyk szre, hogy ugyanakkor (g2 ) sajtrtkei V -n
2
i | 1 i dimV ,
gy a
i j =
1i< jdimW
1
(( i )2 i2 )
2 1idimV
1idimV
azonossgbl valban
2 (g) =
1
(( (g))2 (g2 ))
2
1 ki
z(i) (g j )i j
j=1
i
s
nV (g) =
i
(1) j i j 1
z(i)
ki
(g j )i j ,
j=1
ahol az sszegzs minden olyan i = (i1 , . . . , id ) sorozatra terjed ki, ahol j ji j = dimV ,
emellett
def
z(i) = i1 !1i1 id !d id ,
s ki az i sorozat hossza.
Ezen sszefggsek gyorsan belthatk a szimmetrikus fggvnyekrol ltottak ismeretben, ti. a fenti formulk nem msok, mint a teljes, illetve elemi szimmetrikus polinomok
kifejezsei a Newton-fle ltalnostott hatvnysszegek segtsgvel.
3.2.15. F ELADAT Legyen V vges-dimenzis vektortr. Ekkor minden k 1 esetn
n
o
vk | v V
a Symk V vektortr egy (lineris) genertorrendszere.
tankonyvtar.ttk.bme.hu
101
ResG
H () =
mint lineris lekpezs.
3.3.2. L EMMA A fenti jellsekkel ResG
H () valban a H csoport egy reprezentcija,
tovbb
G
G
ResG
H () : ResH () ResH ( )
reprezentcik kzti lekpezs.
3.3.3. LLTS Legyen G tetszoleges csoport, H G. Ekkor ResG
H : Rep(G) Rep(H)
egy funktor.
B IZONYTS Mivel ResG
H () = mint lineris lekpezsek, ezrt a funktorialits azonnal
kvetkezik a lineris lekpezsek tulajdonsgaibl.
2
3.3.4. F ELADAT Legyen G tetszoleges csoport, H K G rszcsoportok. Ekkor
G
G
ResK
H ResK = ResH
egybknt .
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
102
A (,W ) reprezentci nem terjed ki S4 -re, hiszen S4 -ben (12) s (34) konjuglt elemek, gy
S4 minden reprezentcijnak a karaktere azonos rtket kell, hogy felvegyen rajtuk.
3.3.7. M EGJEGYZS Vegyk szre azonban a kvetkezot: ha (,V ) a G csoport egy
reprezentcija, H G, W V |H -invarins altr, akkor tetszoleges g G, h H esetn
(gh)(W ) = (g)((h)(W )) = (g)(W ) ,
def
azaz a (g)(W ) V altr csak a Hg = gH mellkosztlytl fgg. Esly van teht arra, hogy
a H G rszcsoport egy ( ,W ) reprezentcijbl elksztsk G egy reprezentcijt a
def
V = Hg G/H WHg
vektortren, ahol Hg G a g elem H szerinti baloldali mellkosztlya, WHg pedig a W
vektortr egy pldnya. Amint a kvetkezo ttelben ltni fogjuk, ez teljes ltalnossgban
megteheto.
3.3.8. F ELADAT Mutassuk meg, hogy az elozo megjegyzs jellseivel
(g)(W ) V
Hg G/H
r
i=1 xi H
xi (W )
xi T
tankonyvtar.ttk.bme.hu
103
mint komplex vektortr, ahol Wxi ' W mint vektorterek minden xi T esetn. Mivel V a Wxi
alterek direkt sszege, minden v V egyrtelmuen rhat
v=
wxi
xi T
alakba.
Legyen most g G tetszoleges, ekkor minden x1 T -hez van olyan x2 T , amelyre
gx1 = x2 h
valamely h H esetn, tovbb
g(x1 wx1 ) = (ggx1 )wx1 = (x2 h)wx1 = x2 (hwx1 ) .
Definiljuk G hatst a V vektortren az albbi mdon: brmely g G, x1 T , wx1 W
esetn legyen
g(x1 wx1 ) = x2 (hwx1 )
ahol gx1 = x2 h. Ezzel megadtunk egy G-bol EndV -be meno fggvnyt, amelyrol azt kell
mg beltni, hogy csoportok kzti homomorfizmus. Mivel az egysgelem az identits lineris
transzformcira kpzodik, elg lesz megmutatni, hogy a fggvny szorzattart. Rgztsnk
tetszoleges g1 , g2 G elemeket. Az igazoland sszefggs
g1 (g2 (x1 wx1 )) = (g1 g2 )(x1 wx1 ) .
Az eddig elmondottak szerint
g1 x1 = x2 h1
s
g2 x2 = x3 h2
valamely (egyrtelmuen meghatrozott) h1 , h2 H elemekre. Azonban mivel G csoport,
(g2 g1 )x1 =
=
=
=
=
g2 (g1 x1 )
g2 (x2 h1 )
(g2 x2 )h1
(x3 h2 )h1
x3 (h2 h1 ) .
Ily mdon
g2 (g1 (x1 wx1 )) = g2 (x2 (h1 wx1 ))
= x3 ((h2 h1 )wx1 )
= (g2 g1 )(x1 wx1 ) .
Ezzel a ttelt belttuk.
3.3.12. M EGJEGYZS Az induklt reprezentci dimenzija
dim IndG
H () = |G : H| dim .
tankonyvtar.ttk.bme.hu
104
r n = (r) n .
N-et mint bal-R-modulust NR -rel jelljk.
Megfordtva valamelyest bonyolultabb a helyzet, de itt is megvalsthat, hogy M-bol egy
S-modulust ksztsnk, noha az alapjul szolgl abel csoport nem lesz ugyanaz:
def
MS = S R M .
A most ismertetett kt konstrukci specilis esetei a reprezentci megszortsa, illetve az
induklt reprezentci kpzse. Legyen ugyanis i : H , G a begyazs, jellje ugyancsak i
az ltala induklt injektv i : CH , CG gyuruhomomorfizmust. Ha M egy bal-CG-modulus,
amit G egy (,V ) lineris reprezentcijnak felel meg, akkor
ResG
H () = MCH ,
ha N egy bal-CH-modulus, ami H egy ( ,W ) reprezentcijnak felel meg, akkor
IndG
H ( ) = NCG .
Rviden, az induklt reprezentcit a
CG CH N
tankonyvtar.ttk.bme.hu
105
H ( ),W ) (,U)
G-modulushomomorfizmuss; tovbb az gy kapott
G
HomH (( ,W ), (ResG
H (),U)) HomG ((IndH ( ),W ), (,U))
V =
WH ,
H G/H
(gH )1
/W
/U
gH
/U
6
eW
|
H
tankonyvtar.ttk.bme.hu
106
]
Msrszt ha HomG ((IndG
H ( ),W ), (,U)), akkor = |WH , teht a hozzrendels
szrjektv is egyben. Ezzel az lltst belttuk.
2
3.3.19. F ELADAT Mutassuk meg, hogy adott H G esetn a
ResG
H : Rep(G) Rep(H)
s
IndG
H : Rep(H) Rep(G)
funktorok egyms adjungltjai.
3.3.20. F ELADAT A fenti jellsekkel igazoljuk, hogy
G
G
IndG
H ( ) ' IndH (ResH () ) .
1
(g) (g)
|G| gG
skalrszorzattal.
B IZONYTS A ttel a 3.3.18. llts karakterekre trtno lefordtsa a 3.1.49. llts
segtsgvel.
2
3.3.22. LLTS Az induklt reprezentci konstrukcijbl lthat, hogy az induklt
reprezentci kpzse felcserlheto direkt sszegekkel. Vagyis, ha H G vges csoportok,
(,V ) = iI (i ,Wi ) reprezentcik vges direkt sszege, akkor
IndG
H (,V ) =
IndG
H (i ,Wi ) .
iI
Ekkor
107
|Ci |
( ,W ) (Ci ) .
i=1 |C |
IndG ( ,W ) (C ) = |G : H|
H
( ,W ) (a1 ga) .
gH =H
gG
( f1 ? f2 )(g) =
f1 (g0 ) f2 ((g0 )1 g) .
g G
Igazoljuk, hogy
\
f1 ? f2 () = fb1 () fb2 () .
4. (Fourier-inverzi) Mutassuk meg, hogy
f (g) =
1
dimV Tr((g1 ) fb()) ,
|G| (,V )
gG
f1 (g1 ) f2 (g) =
1
dimV Tr( fb1 () fb2 ()) ,
|G| (,V
)
tankonyvtar.ttk.bme.hu
108
a =
e ,
sgn( )e
P
def
b =
109
c = a b CSn
a partcihoz tartoz Young-szimmetriztor; a CSn c CSn balidelt pedig jellje V .
3.4.5. M EGJEGYZS Az im c V n altr V n egy rsz-CSn -modulusa, azaz Sn egy
reprezentcija.
3.4.6. P LDA Nzzk meg az egyik legegyszerubb esetet: legyen = (n), az egy sorbl
ll partci. Ekkor
P = Sn , Q = 1 ,
ennek megfeleloen
a =
e , b = e1 , c = a =
Sn
e .
Sn
sgn ( ) e , c = b =
Sn
sgn ( ) e .
Sn
tankonyvtar.ttk.bme.hu
110
e = C
Sn
e .
Sn
e =
Sn
e ,
Sn
sgn( )e ,
Sn
gy
V = CSn c = C
sgn( )e .
Sn
sgn( )e = sgn()
Sn
sgn( )e ,
Sn
tankonyvtar.ttk.bme.hu
111
Mielott a lemmkat beltnnk, nzzk meg, hogy mikppen tudjuk segtsgkkel a 3.4.8. Ttelt bebizonytani.
B IZONYTS (3.4.8. Ttel) Rgztsk a partcit egyszer s mindenkorra, gy elhagyhatjuk
az indexekbol.
Eloszr is, vegyk szre, hogy ha egy permutci sorait s oszlopait is fixen hagyja,
akkor egyik elemet sem mozdtja meg, gy ez a permutci az identits kell, hogy legyen.
Azaz
PQ = 1 .
Emiatt |PQ| = |P||Q|, s minden Sn legfeljebb egyflekppen rhat = pq, p P, q Q
alakba; ezrt
c = e ,
=pq
tankonyvtar.ttk.bme.hu
112
Htra van mg annak bizonytsa, hogy c2 = n c ahol n pozitv egsz szm. Ennl egy
kicsit tbbet fogunk megmutatni, nevezetesen azt, hogy
n =
n!
.
dimC V
Legyen ugyanis EndC (CSn ) a c -val val jobbszorzs mint lineris endomorfizmus.
Ekkor
|V = n Id
s
|Ker(c ) = 0 ,
teht
Tr( ) = n dimV .
Azonban Tr( ) = n!, mivel eg egytthatja eg c -ban 1. Ezrt
n =
Tr( )
n!
=
dimV
dimV
113
ii = n .
i=1
Az sorozat azokat a permutcikat rja le, amelyekben 1 darab 1-ciklus, 2 darab 2-ciklus
van s gy tovbb. Az Sn csoport konjugltosztlyait a fenti tpus sorozatokkal fogjuk
indexelni; az ciklusszerkezetu permutcikbl ll osztly jele C .
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
114
p (x) = pi (x) s
i=1
(x) =
(xi x j ) ,
1i< jk
ahol x = (x1 , . . . , xk ).
3.5.1. M EGJEGYZS Emlkeztetol,
d
pd (x1 , . . . , xk ) = x1d + + xm
,
(x1 , . . . , xk ) = V (x1 , . . . , xk )
pedig a k-vltozs Vandermonde-determinns. A k = 1 specilis esetben (x1 ) = 1.
Amint az a szimmetrikus polinomokrl szl fejezetben szoks volt, tetszoleges f (x) R,
l = (l1 , . . . , lk ) Nk esetn
def
(C ) = (x) p j (x) j
j=1
(n) (C ) = 1 ((x1 ) j ) j
j=1
(n)
= [x1n ](n)
=1,
tankonyvtar.ttk.bme.hu
115
ahol a kzpso egyenlosgnl azt hasznltuk ki, hogy mj=1 ii = n. Az eredmny pontosan
az, amint vrtunk, mivel az (n) partcihoz a trivilis reprezentci tartozik, amelynek a
karaktere az azonosan 1 fggvny.
3.5.4. F ELADAT Tetszoleges n mellett szmtsuk ki a = (1, . . . , 1) partcihoz tartoz
karaktert a Frobenius-formula felhasznlsval.
3.5.5. P LDA Legyen n = 5, = (3, 2), = (0, 1, 1, 0, 0), k = 2. Azaz, a
(4,2)
(n,1)
= (x1 x2 )(x1 + x2 )1 . . . (x1n + x2n )n (n,1) .
Mivel ni=1 ii = n, x1n x2 monomot csak gy kaphatunk, hogy az elso zrjelbol x2 -t
vlasztunk, a tbbibol mind x1 -et, illetve ha az elso zrjelbol x1 -et vlasztunk, ekkor
azonban a msodik zrjelbol az x2 -ben lineris tagot kell vlasztani, mindenhol mshol
pedig az x1 megfelelo hatvnyt.
Az elso esetben az x1n x2 monom egytthatja 1, a msodik esetben pedig 1 lesz. Ezzel
a kvetkezmnyt belttuk.
2
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
116
p j (x1, . . . , xk ) j =
(C )s .
j=1
Mielott a 3.5.2. Ttelt igazoljuk, mutatunk egy tovbbi rdekes nem-trivilis alkalmazst:
kiszmoljuk segtsgvel a V irreducibilis reprezentcik dimenziit.
3.5.11. LLTS Legyen = (1 k az n szm egy partcija, ekkor
dimV =
d!
(i j ) .
1 ! . . . k ! 1i<
jk
Sk
(1)1
sgn( )xk
(k)1
x1
r1 ,...,rk ,ki=1 ri =n
n!
xr1 . . . xkrk .
r1 ! . . . rk ! 1
Sk
sgn( )
n
,
(1 (k) + 1)! . . . (k (1) + 1)!
xk
tankonyvtar.ttk.bme.hu
(k)1
. . . x1
x1r1 . . . xkrk
Kronya Alex, BME
117
mikor lesz egyenlo x1l1 . . . xklk -val. Ez pontosan akkor kvetkezik be, ha
r1 = 1 (k) + 1
..
.
rk = k (1) + 1
s ezek mind nemnegatvak.
Sk
sgn( )
n!
(1 (k) + 1)! . . . (k (1) + 1)!
k
n!
sgn( ) j ( j 1) . . . ( j (k j + 1) + 2)
1 ! . . . k ! Sk
j=1
1 k k (k 1) . . .
n!
.. ..
.
.
=
. .
.
1 ! . . . k !
1 1 1 (1 1) . . .
n!
=
(i j ) ,
1 ! . . . k ! 1i<
jk
S = S1 Sk , Sn .
Legyen U az baloldali CSn -modulus, amely az S Young-rszcsoport trivilis reprezentcijrl induklt reprezentcinak felel meg. Az elozo fejezet alapjn knnyen lthat,
hogy
U = CSn a ,
tovbb
V U
hiszen V = CSn a b ' CSn b a CSn a = U . Jellje az U reprezentci karaktert.
3.5.14. L EMMA Az eddigi jellsekkel
k
p!
1
n!
(C ) =
rp
,
r pn
1
|C | 1 ! . . . k !
p=1 1 r p1 ! . . . n r pn !
tankonyvtar.ttk.bme.hu
118
11 (
n!
.
1 )! n n (n )!
1
|Sn : S | |C S | .
|C |
Itt
|Sn : S | =
n!
,
1 ! . . . k !
|C S | =
n
o
| | S p -ben r pq darab q-ciklus van |
p r pq =q , q qr pq = p
k !
1 !
... r
r
r
1 11 r11 ! . . . n 1n r1n ! 1 k1 rk1 ! . . . nrkn rkn !
p r pq =q , q qr pq = p
r p1
p=1 1
p!
,
r p1 ! . . . nr pn r pn !
119
s
r p1 + 2r p2 + + nr pn = p
2
minden 1 q n s 1 p k esetn.
3.5.16. LLTS
(C ) = [p ] ,
azaz x egytthatja p -ban.
B IZONYTS Az elozo lemma szerint
(C ) =
k
p!
1
n!
rp
,
r pn
1
|C | 1 ! . . . k !
p=1 1 r p1 ! . . . n r pn !
az ott emltett indexhalmazra sszegezve. Ebbol kis egyszerustssel azt kapjuk, hogy
n
(C ) =
q !
r1q! . . . rkq! ,
q=1
q !
r1q! . . . rkq! .
q=1
K [ p ] .
Mivel
K
(
1
=
0
ha =
ha < ,
ezrt
(C ) = [p ] = [ p ] +
K [ p ] .
>
tankonyvtar.ttk.bme.hu
120
ms szval, hogy a
[ p ]
kifejezsek mint osztlyfggvnyek kielgtik ugyanazokat a merolegessgi relcikat, mint
az irreducibilis reprezentcik karakterei. Ebbol az irreducibilis karakterek tulajdonsgai
miatt kvetkezik, hogy a [ p ] osztlyfggvnyek az Sn csoport irreducibilis reprezentcihoz tartoz karakterei.
Vegyk szre, hogy a Ttel lltsnak egy rsz mg hinyzik: meg kell mutatnunk azt is,
hogy [ p ] a V -val jellt irreducibilis reprezentcihoz tartoz karakter.
Ehhez tekintsk a V U reprezentcikat. Lttuk, hogy V U ; ennl tbb is igaz,
hiszen mint minden vges csoportnak, Sn -nek is minden reprezentcija teljesen reducibilis,
ezrt minden rszreprezentci direkt sszeadand.
Ezrt
= r
K [ p ]
>
(v Z) .
K [ p ]
>
= [ p ] + K ,
4 Egy
tankonyvtar.ttk.bme.hu
3.6. SCHUR-FUNKTOROK
121
amibol
=
r 0 s r 1
kvetkezik.
3.6. Schur-funktorok
A szimmetrikus csoportok reprezentciirl szerzett ismereteinket most komplex vektorterek
GL(V ) ltalnos lineris csoportjai reprezentcielmletnek vizsglatra fogjuk felhasznlni. Mint ltalban, a fo feladat egy adott csoport irreducibilis reprezentciinak lersa, majd
ezek multiplicitsainak meghatrozsa tetszoleges reprezentciban. Fontos tudni, hogy
ltalban nem minden csoport teljesen reducibilis, azaz sokuknak van olyan reprezentcija,
amely nem ll elo irreducibilis reprezentcik direkt sszegeknt.
Igaz azonban az albbi.
3.6.1. T TEL Legyen V egy vges-dimenzik komplex vektortr. Ekkor GL(V ) minden
komplex lineris reprezentcija teljesen reducibilis, azaz a tnyezok sorrendjtol eltekintve
egyrtelmuen felbomlik irreducibilis reprezentcik direkt sszegre.
B IZONYTS Egy geometriai jellegu bizonyts tallhat a [23] II. fggelkben.
2
Legyen V egy d-dimenzis komplex vektortr. A GL(V ) csoportnak konstrukcijbl
addan van egy
: GL(V ) GL(V )
termszetes hatsa V -n: tetszoleges g GL(V ) s v V esetn
def
(g)(v) = gv .
Mskppen,
= IdGL(V ) .
Ez a csoporthats termszetes mdon kiterjed V sszes tenzorhatvnyra. Ha g GL(V ),
v1 , . . . , vn V , akkor a
def
tankonyvtar.ttk.bme.hu
122
3.6.2. F ELADAT Ellenorizzk, hogy n : GL(V ) GL(V n ) valban a GL(V ) csoport egy
reprezentcija.
Az Sn szimmetrikus csoport termszetes mdon hat a V n vektortren az indexek
permutcijval. Ezt a
n : Sn GL(V n )
hatst szoksunkkal s az imnt tekintett GL(V )-hatssal ellenttben jobboldali hatsknt
fogjuk fel; ha Sn s v1 , . . . , vn , akkor ismt csak az egyszerusg okn legtbbszr a
def
(v1 vn ). = n ( )(v1 vn )
jellst alkalmazzuk. Ily mdon n az albbi mdon adhat meg:
(v1 vn ). = v (1) v (n) .
Egy fontos elemi tny, hogy a n permutcireprezentci felcserlheto a n baloldali
GL(V )-hatssal.
3.6.3. L EMMA Tetszoleges g GL(V ), Sn s v1 , . . . , vn V esetn
g.((v1 vn ). ) = (g.(v1 vn )). .
B IZONYTS
g.((v1 vn ). ) = g.(v (1) v (n) )
= (gv (1) ) (gv (n) )
= ((gv1 ) (gvn )).
= (g.(v1 vn )). .
S V = im c |V n .
a GL(V ) csoport egy reprezentcija5 .
3.6.5. P LDA Elso pldaknt vegyk a = (n) partcit. Amint azt korbban lttuk,
c =
e ,
Sn
gy
S V = Symn V .
tankonyvtar.ttk.bme.hu
3.6. SCHUR-FUNKTOROK
123
(1) e
Sn
s
S V =
^n
V.
^3
V S(2,1) .
(g) = S V (g)
ennek az endomorfimusnak a nyoma.
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
124
elemek, ahol 1 i1 , . . . in d, Sym V egy bzist alkotjk. Vizsgljuk meg g hatst ennek
a bzisnak az elemein.
g.(vi1 . . . vin ) =
Sn
Sn
= i1 in
v (i1 ) v (in ) .
Sn
i1 . . . in = hn (1 , . . . , d ) .
1i1 ,...,in d
tankonyvtar.ttk.bme.hu
3.6. SCHUR-FUNKTOROK
125
i j + j i
.
j
i
1i< jd
(S V )d .
| |=n
r s (1, . . . , d ) .
tankonyvtar.ttk.bme.hu
126
a 3.6.16. Ttel). Ezrt nagy jelentosge van az albbi eredmnynek, amit mi nem fogunk
bebizonytani.
3.6.20. T TEL (L ITTLEWOOD R ICHARDSON - SZABLY ) A fenti jellsekkel
S V S V '
c S V ,
U CG CGc Uc
egy bal-B-modulus izomorfizmus.
2. Ha W = (CG)c irreducibilis bal-CG-modulus, akkor U CG W = Uc irreducibilis
bal-B-modulus.
def
3.6. SCHUR-FUNKTOROK
127
s az U = (CG)a vlasztssal
Sym1 V Symd V ' V n CG U .
Azonban U ' K V mint CG-modulusok, gy V n -nel tenzorszorozva azt kapjuk, hogy
Sym1 V Symd V ' K S V
mint GL(V )-modulusok. A g GL(V ) elem nyoma a baloldalon h (1 , . . . , d ) (az i
szmok a g lineris transzformci sajtrtkei). Ily mdon
h (1 , . . . , d ) =
K Tr(g|S V ) .
End(V n )Sn kifejezs az End(V n ) vektortrnek az adott Sn -hats szerinti fixpontjait jelenti.
tankonyvtar.ttk.bme.hu
128
Azonban az S V
i j + j i
.
ji
1i< jd
U CG CGc Uc
egy bal-B-modulus izomorfizmus. Vegyk az albbi kommutatv diagramot:
U CG CG
c /
U
CG (CG)c
/ Uc
/U
CG CG
/U
3.6. SCHUR-FUNKTOROK
129
A WedderburnArtin-ttel miatt
CG ' iI End(Ti ) = ri=1 Mmi (C)
teljes mtrixalgebrk direkt sszege, ezrt W az CG fligegyszeru algebra egy minimlis
balideljnak felel meg. Mtrixalgebrk direkt sszegnek egy minimlis balideljnak az
elemei
(M1 , . . . , Mr ) ,
alakak, ahol egy adott i0 index kivtelvel Mi = 0 minden 1 i r esetn, s Mi0 elemei
mind nullk egy oszlopot kivve.
Hasonlkppen, U az CG algebra egy minimlis jobbideljnak felel meg, amelyek
elemei
(M1 , . . . , Mr ) ,
alakak, ahol egy adott i0 index kivtelvel Mi = 0 minden 1 i r esetn, s Mi0 elemei
mind nullk egy sort kivve.
Ily mdon
U CG W = (0, . . . , CEi j , . . . , 0)
ha mindkt tnyezoben ugyanaz a nemnulla faktor, illetve 0 egybknt. Ezzel az irreducibilis
esetet belttuk.
Az ltalnos esetben U = iUini , ahol minden Ui irreducibilis jobb-CG-modulus. Ekkor
U CG W = i (Ui CG W )ni = Cnk
valamely k-ra; ekkor U CG W irreducibilis B = i Mni (C) felett.
Vgl igazoljuk, hogy ha Wi = CGci klnbzo irreducibilis bal-B-modulusok, mi =
dimWi , akkor
M
U = i (U CG Wi )mi '
(Uci )mi
i
tankonyvtar.ttk.bme.hu
4. fejezet
Schubert-kalkulus
Az utols fejezet mind szerepben, mind felptsben jelentosen eltr az eddigiektol. A
partcikalkulus algebrai geometriai alkalmazst mutatjuk be, az n. Schubert-kalkulust.
Preczen megfogalmazva, a Schubert-kalkulus a Grassmann-varietsok kohomolgiagyuruiben trtno szmtsokat takarja, a gyakorlatban ezzel egytt leginkbb leszmll
geometriai problmk metszselmleti eszkzkkel val megoldst rtjk alatta.
Leszmll geometriai feladat alatt itt azt a jellegu krdsfelvetst rtjk, hogy hatrozzuk meg egy projektv tr adott tulajdonsg altereinek a szmt. Egy konkrt plda:
rgztsnk ngy klnbzo egyenest a hrom-dimenzis projektv trben. Hny olyan
egyenes van P3 -ban, amely a ngy elore adott egyenes mindegyikt metszi?
Rszben mr a krdsek pontos megfogalmazshoz, de a felhasznlt mdszerekhez
mindenkppen szksg van egy-kt flvnyi algebrai geometriai s algebrai topolgiai
tanulmnyokra. Lthat teht, hogy az elvrt eloismeretek lnyegesen komolyabbak a
korbbi fejezetekhez szksgesnl. Terjedelmi okokbl kifolylag ksrletet sem tesznk
az ignyelt eloismeretek lersra, mr csak azrt sem, mert a nemzetkzi matematikai
irodalomban bosgesen fellelhetok bevezeto algebrai geometriai, illetve algebrai topolgiai
muvek. Az algebrai geometrival val ismerkedshez (a teljessg igny nlkl) a [6], [9],
[14], [18], [30], [39] knyveket ajnljuk, mg az algebrai topolgiai eloismereteket (sok egyb
forrs mellett) tartalmazzk a [4], illetve [19] muvek.
Tovbbi eltrs az eddigiektol, hogy erosebben tmaszkodunk a felttelezett eloismeretekre, s az esetek egy rszben a megszokottnl kevesebb rszletet adunk meg. Tovbbi
informcit pldul a [12] vagy a [24] rsokban tallhat az olvas.
4.1. Grassmann-varietsok
A magunk el tuztt feladat projektv terek adott tulajdonsg altereinek (egyeneseinek,
skjainak, stb.) szmnak meghatrozsa. Ahhoz, hogy ezt szisztematikusan kivitelezni
lehessen, szksges, hogy az imnti krdst preczen meg tudjuk fogalmazni. A tovbbiakban
(kevs, mde explicit mdon megemltett kivteltol eltekintve) a komplex szmtest felett
fogunk dolgozni.
TLET Paramterezzk az adott dimenzis L Pn alterek halmazt egy megfelelo algebrai
sokasg pontjaival, majd az gy kapott sokasgon rtelmezzk geometriailag a kvnt
131
132
4. FEJEZET. SCHUBERT-KALKULUS
2
feltteleket.
ponthalmaz egy projektv variets, amit PN -en rtelmezett homogn polinomok kzs
nullhelyeknt adhatunk meg. Az imnti konstrukcibl meg tudunk hatrozni egy homogn
polinomokbl ll egyenletrendszert, amelynek megoldsai pontosan a Grassmann-variets
(pontosabban im ) pontjai.
Rgztsnk y(0), . . . , y(n) homogn koordintkat Pn -en. Legyen L PN egy lineris
altr, amelyet egy BL M(n+1)(nd) mtrixszal adunk meg. Az L altr pontjai a
n
b j (y( j)) = 0
1 nd
j=0
egyenletrendszer megoldsai.
Mivel dim L = d, a BL mtrix rangja maximlis, azaz rk BL = n d. Ekkor van d + 1
darab L-beli pont, amelyek kifesztik L-t. Legyen p0 , . . . , pd egy ilyen ponthalmaz. A pi
pontok koordinti egy (d + 1) (n + 1)-es mtrixok alkotnak, ennek bizonyos maximlis
ngyzetes minorait fogjuk felhasznlni.
tankonyvtar.ttk.bme.hu
4.1. GRASSMANN-VARIETSOK
133
: G(n, 0) P(
)1 = Pn .
Msrszt a lekpezs szrjektv, hiszen az An+1 -beli egydimenzis lineris alterek halmaza
definci szerint nem ms, mint Pn . Ezrt
G(n, 0) = Pn .
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
134
4. FEJEZET. SCHUBERT-KALKULUS
l=0
4.1. GRASSMANN-VARIETSOK
135
Vegyk most az 1 < 2 < 3 sorozat helyett a 0 < 1 < 2 sorozatot. Ez esetben
2
l=0
Plcker-relcit msknt
..
..
.
.
d+1
l
(1) pi( j0) . . . pi( jd1) pi(kl )
..
..
..
l=0
.
.
.
. . . p0 (kl ) . . .
..
.
. . . pd (kl ) . . .
..
..
.
.
d+1
d
(
j
)
(
j
(1)d
+
i
i 0
i d1 )
.
..
i=0
..
.
Kronya Alex, BME
p0 (kl )
d+1
..
l
(1) pi (kl )
.
l=0
pd (kl )
tankonyvtar.ttk.bme.hu
136
4. FEJEZET. SCHUBERT-KALKULUS
= 0,
4.1. GRASSMANN-VARIETSOK
137
azaz L0 = L.
4.1.12. L EMMA Az
x(k0 , . . . , k l . . . , kd , j)
alak koordintk meghatrozzk az sszes tbbit.
B IZONYTS Teljes indukcit fogunk hasznlni az
def
m = d + 1 |{ j0 , . . . , jd } {k0 , . . . , kd }|
mennyisgre, azaz arra a szmra, amely megadja, hogy a kt indexhalmaz hny helyen
klnbzik egymstl. Az m = 1 eset magtl rtetodo. Tegyk fel, hogy az 1, . . . , m 1
szmokra mr tudjuk a lemma lltst.
Tekintsk a ( j0 , . . . , j , . . . jd ), (k0 , . . . , kd , j ) sorozatprnak megfelelo
d+1
l=0
Ha kl { j0 , . . . , jd }, akkor
p( j0 , . . . , j , . . . , jd , kl ) = 0 .
Amennyiben kl 6 { j0 , . . . , jd } akkor j0 , . . . j , . . . , jd , kl kzl pontosan m 1 nincs benne
{k0 , . . . , kd }-ben. Ebbol kvetkezik, hogy ki tudjuk fejezni a
p( j0 , . . . , j , . . . , jd , j ) p(k0 , . . . , kd )
szorzatot olyan p(i0 , . . . , id ) koordintkkal, ahol
{i0 , . . . , id } s {k0 , . . . , kd }
legfeljebb m 1 helyen klnbzik egymstl. Az indukcis feltevs szerint
p( j0 , . . . , jd )p(k0 , . . . , kd )m1
kifejezheto olyan koordintkkal, amelyek legfeljebb egy indexben trnek el (k0 , . . . , kd )-tol.
Mivel p(k0 , . . . , kd ) 6= 0, ez igaz lesz p( j0 , . . . , jd )-re is. Ezzel a lemmt igazoltuk.
2
Kronya Alex, BME
tankonyvtar.ttk.bme.hu
138
4. FEJEZET. SCHUBERT-KALKULUS
w11 . . . w1,n+1
..
..
MW =
.
.
vd+1,1 . . . vd+1,n+1
(d + 1) (n + 1)-es d + 1-rang mtrixot adnak meg. Tetszoleges ilyen mtrix lerja G(n, d)
egy elemt s kt fenti alak M,M 0 mtrix pontosan akkor reprezentlja ugyanazt az alteret,
ha ltezik C GL(W ) = GL(C, d + 1), amelyre M = CM 0 .
Vlasszunk egy I = {i1 , . . . , id+1 } {1, . . . , n + 1} k-elemu indexhalmazt; legyen
def
tankonyvtar.ttk.bme.hu
4.1. GRASSMANN-VARIETSOK
139
alakban. d+1V ilyen elemeit teljesen felbomlnak hvjuk. Ezek egy jellemzsnek a
segtsgvel G(n, d) egy jabb lerst kapjuk.
4.1.17. LLTS Az eddigi jellseink megtartsval d+1V pontosan akkor teljesen
felboml, ha a
: V d+1V
v 7 v
lineris lekpezs rangja n d.
B IZONYTS Vegyk szre, hogy egy d+1V elem pontosan akkor oszthat a v V
vektorral, ha v = 0. Emiatt pontosan akkor lesz teljesen felboml, ha az o t oszt
vektorok ternek dimenzija k + 1. Ez ekvivalens a bizonytand lltssal.
2
4.1.18. F ELADAT Legyen P P3 egy tetszoleges pont; jellje
P G(3, 1)
azon P3 -beli egyenesek halmazt, amelyek tmennek a P ponton. Mutassuk meg, hogy a
Plcker-begyazsban P egy ktdimenzis P5 -beli sknak felel meg.
tankonyvtar.ttk.bme.hu
140
4. FEJEZET. SCHUBERT-KALKULUS
141
tankonyvtar.ttk.bme.hu
142
4. FEJEZET. SCHUBERT-KALKULUS
4. T ULAJDONSG Tegyk fel, hogy ltezik X-nek zrt algebrai halmazokbl ll olyan
X Xn Xn1 . . . X0 = 0/
filtrcija, hogy minden Xi Xi1 klnbsghalmaz
Xi Xi1 = jUi j ,
diszjunkt uni alakba rhat, ahol
Ui j ' Cui j .
Ekkor az
[U i j ] H (X, C)
kohomolgiaosztlyok a H (X, C) kohomolgiagyuru egy Z-bzist alkotjk:
H (X, C) = i, j Z[Ui j ] .
4.2.3. M EGJEGYZS Az n-dimenzis projektv tr esetn egy tetszoleges
Pn Pn1 . . . P0 = 0/
teljes zszl egy megfelelo filtrcit szolgltat. Ekkor
Pi Pi1 = Ui ' Ai
s
H i (X, C) = C[Ui ] .
5. T ULAJDONSG Legyenek Y, Z X rszvarietsok, amelyekre
Y X = W1 Wt
rszvarietsok diszjunkt unija, oly mdon, hogy
codim(Wi ) = codim(Y ) + codim(Z) ,
s minden i-re Wi rintotere Y s Z rintotereinek metszete. Ekkor a megfelelo fundamentlis
osztlyokra az albbi egyenlosg teljesl a H (X, C) gyuruben:
[Y ] [Z] = [W1 ] + + [Wt ] .
Ami szmunkra rdekes lesz, az a Grassmann-varietsok kohomolgiagyuruje. Ltni
fogjuk, hogy a rajta rtelmezett algebrai struktrnak geometriai jelentosge is van.
tankonyvtar.ttk.bme.hu
4.3. SCHUBERT-OSZTLYOK
143
4.3. Schubert-osztlyok
Mostanra eljutottunk oda, hogy egyrszt pontosan rtelmezni tudunk leszmll geometriai
krdseket, msrszt a tabl-kalkulusrl szerzett ismereteink segtsgvel ezek kzl egyszerubbeket meg is tudunk oldani. Az a struktra, amelynek keretei kztt a megolds
zajlani fog, a Grassmann-varietsok kohomolgiagyuruje. A benne vgzett szmtsokat
sszefoglal nven gyakran Schubert-kalkulus nven emlegetik.
Az gynevezett Schubert-varietsok a Grassmann-varietsok bizonyos rszhalmazai,
amelyek fontos szerepet jtszanak a kombinatorikai s geometriai alkalmazsokban. Jelentosgk tbbek kztt abbl addik, hogy a Grassmann-varietsok kohomolgiagyuruinek egy,
az elozo fejezet sorn (4. Tulajdonsg) lert bzist alkotjk.
Legyen
F. = (F0 F1 . . . Fn ) = Pn
egy teljes zszl, azaz lineris alterek olyan egymsba gyazott sorozata, amelyekre dim Fi =
i. Vlasszunk tovbb egy
= n d 1 . . . d+1 0
Young-diagramot legfeljebb (d + 1)(n d) dobozzal.
4.3.1. D EFINCI Az (F., ) prhoz tartoz Schubert-variets
def
(F.) =
tankonyvtar.ttk.bme.hu
144
4. FEJEZET. SCHUBERT-KALKULUS
,||=| |+||
B IZONYTS A ttelt nem bizonytjuk be, noha ennek csupn technikai akadlya van:
lnyegben a tablkalkulus sorn beltott LittlewoodRichardson-szablyt kell lefordtani
az algebrai varietsok kohomolgijnak a nyelvre.
2
A Ttel egy jl ismert specilis esett kln kiemeljk.
4.3.6. LLTS (P IERI - FORMULA ) Legyen 1 h n d, tetszoleges partci. Ekkor
(h) =
ahol az sszegzs olyan partcikon fut vgig, amelyeket gy kapunk, hogy -hoz
hozzadunk h dobozt, mind klnbzo oszlopba.
tankonyvtar.ttk.bme.hu
4.3. SCHUBERT-OSZTLYOK
145
partci
geometriai lers
dimC
0/
= 0,
+
=
= 0,
=
= 2
Ms szval, ha rgztnk ngy ltalnos helyzetu egyenest P3 -ben, akkor pontosan kt olyan
egyenes van, amelyik mind a ngyet metszi.
Befejezsl bizonyts nlkl bemutatunk kt tovbbi sszefggst Schubert-osztlyok
kztt.
tankonyvtar.ttk.bme.hu
146
4. FEJEZET. SCHUBERT-KALKULUS
tankonyvtar.ttk.bme.hu
Irodalomjegyzk
[1] M. Artin: Algebra, Prentice Hall, Inc., Englewood Cliffs, NJ, 1991.
[2] R. Ash: Abstract Algebra: The basic graduate year,
http://www.math.uiuc.edu/r-ash/Algebra.html
[3] S. Bosch: Algebra, 7. kiads. Springer Verlag, Berlin, 2008.
[4] G. E. Bredon: Topology and geometry, Graduate Texts in Mathematics 139.,
Springer-Verlag, New York, 1997.
[5] B. Conrad: Tensor algebra and tensor pairings, jegyzet,
http://math.stanford.edu/conrad/diffgeomPage/
handouts.html.
[6] D. A. Cox, J. Little, D. OShea: Ideals, varieties, and algorithms: an introduction
to computational algebraic geometry and commutative algebra. Springer
Undergraduate Texts in Mathematics, Springer Verlag, Berlin, 1992.
[7] D. A. Cox, J. Little, D. OShea: Using algebraic geometry, 2. kiads. Springer
Graduate Texts in Mathematics 185, Springer Verlag, Berlin, 2004.
[8] C. W. Curtis, I. Reiner: Representation theory of finite groups and associative
algebras, Wiley& Sons, 1962, New York.
[9] I. Dolgachev: Introduction to algebraic geometry, jegyzet,
http://www.math.lsa.umich.edu/idolga/lecturenotes.html
[10] L. Dornhoff: Group Representation Theory, Marcel Dekker, New York, 1971.
[11] W. Fulton: Eigenvalues, invariant factors, highest weights, and Schubert calculus,
preprint, arXiv:math/9908012.
[12] W. Fulton: Young tableaux with applications to representation theory and
geometry. London Mathematical Society Student Texts, 35., Cambridge University
Press, Cambridge, 1997.
[13] W. Fulton, J. Harris: Representation theory, a first course, Graduate Texts in
Mathematics, 129., Springer-Verlag, New York, 1991.
147
148
IRODALOMJEGYZK
IRODALOMJEGYZK
149
tankonyvtar.ttk.bme.hu