Yagona - Unipotent - Wikipedia

Ushbu maqola umumiy ro'yxatini o'z ichiga oladi ma'lumotnomalar, lekin bu asosan tasdiqlanmagan bo'lib qolmoqda, chunki unga mos keladigan etishmayapti satrda keltirilgan. Iltimos yordam bering yaxshilash tomonidan ushbu maqola tanishtirish aniqroq iqtiboslar. (2015 yil noyabr) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Yilda matematika, a bir kuchsiz element r a uzuk R shunday narsalardan biri r - 1 a nilpotent element; boshqa so'zlar bilan aytganda, (r − 1)ⁿ kimdir uchun nolga teng n.

Xususan, a kvadrat matritsa, M, a bir kuchsiz matritsa, va agar u bo'lsa xarakterli polinom, P(t), ning kuchidir t - 1. Shunday qilib, bitta kuchsiz matritsaning barcha o'ziga xos qiymatlari 1 ga teng.

Atama yarim-kuchsiz ba'zi bir kuch kuchsizligini anglatadi, masalan diagonalizatsiya qilinadigan matritsa bilan o'zgacha qiymatlar barchasi shu birlikning ildizlari.

A unipotent afine algebraik guruh, barcha elementlar kuchsizdir (quyidagi guruhga qarang, bunday guruhdagi kuchning kuchsizligi).

Ta'rif

Matritsalar bilan ta'rif

Guruhni ko'rib chiqing ${ displaystyle mathbb {U} _ {n}}$ yuqori uchburchak matritsalari bilan ${ displaystyle 1}$ diagonali bo'yicha, shuning uchun ular matritsalar guruhidir^[1]

${ displaystyle mathbb {U} _ {n} = left {A = { begin {bmatrix} 1 & * & cdots & * & * 0 & 1 & cdots & * & * vdots & vdots && vdots & vdots 0 & 0 & cdots & 1 & * 0 & 0 & cdots & 0 & 1 end {bmatrix}} | det (A) neq 0 right }}$

keyin, a bir kuchsiz guruh ba'zilarining kichik guruhi sifatida aniqlanishi mumkin ${ displaystyle mathbb {U} _ {n}}$. Foydalanish sxema nazariyasi guruh ${ displaystyle mathbb {U} _ {n}}$ guruh sxemasi sifatida aniqlanishi mumkin

${ displaystyle { text {Spec}} left ({ frac { mathbb {C} left [x_ {11}, x_ {12}, ldots, x_ {nn}, { frac {1} { text {det}}} right]} {(x_ {ii} = 1, x_ {i> j} = 0)}} o'ng)}$

va agar ushbu sxemaning yopiq guruh sxemasi bo'lsa, afin guruhi sxemasi kuchsizdir.

Ring nazariyasi bilan ta'rif

Element, x, affine algebraik guruh agar u bilan bog'liq bo'lgan o'ng tarjima operatori kuchsiz bo'lsa, r_x, ustida affin koordinata halqasi A[G] ning G ning lineer endomorfizmining halqasi elementi sifatida mahalliy darajada kuchsizdir A[G]. (Mahalliy darajada potentsial bo'lmagan degan ma'noni anglatadi, uning cheklangan o'lchovli barqaror subspace bilan cheklanishi A[G] odatdagi halq ma'nosida unipotentdir.)

Afine algebraik guruh deyiladi kuchsiz agar uning barcha elementlari kuchsiz bo'lsa. Har qanday kuchsiz algebraik guruh izomorfik diagonali yozuvlari 1 bo'lgan yuqori uchburchak matritsalar guruhining yopiq kichik guruhiga va aksincha har qanday bunday kichik guruh kuchsizdir. Xususan, har qanday kuchsiz guruh a nilpotent guruh, aksincha, bu noto'g'ri (qarama-qarshi misol: GL ning diagonali matritsalari)_n(k)).

Masalan, ning standart vakili ${ displaystyle mathbb {U} _ {n}}$ kuni ${ displaystyle k ^ {n}}$ standart asosda ${ displaystyle e_ {i}}$ sobit vektorga ega ${ displaystyle e_ {1}}$.

Vakillik nazariyasi bilan ta'rif

Agar bir kuchga ega bo'lmagan guruh afin turiga ta'sir qilsa, uning barcha orbitalari yopiq bo'ladi va agar u cheklangan o'lchovli vektor fazasiga chiziqli ta'sir qilsa, u holda u nolga teng bo'lmagan sobit vektorga ega bo'ladi. Aslida, oxirgi xususiyat unipotent guruhlarni tavsiflaydi.^[1] Xususan, bu hech qanday ahamiyatsiz narsa yo'qligini anglatadi yarim oddiy vakolatxonalar.

Misollar

U_n

Albatta, matritsalar guruhi ${ displaystyle mathbb {U} _ {n}}$ qobiliyatsiz. Dan foydalanish Quyi Markaziy seriya

${ displaystyle mathbb {U} _ {n} = mathbb {U} _ {n} ^ {(0)} supset mathbb {U} _ {n} ^ {(1)} supset mathbb { U} _ {n} ^ {(2)} supset cdots supset mathbb {U} _ {n} ^ {(m)} = e}$

qayerda

${ displaystyle mathbb {U} _ {n} ^ {(1)} = [ mathbb {U} _ {1}, mathbb {U} _ {1}]}$ va ${ displaystyle mathbb {U} _ {n} ^ {(2)} = [ mathbb {U} _ {1}, mathbb {U} _ {n} ^ {(1)}]}$

birlashtirilgan kuchsiz guruhlar mavjud. Masalan, ustida ${ displaystyle n = 4}$, markaziy qatorlar matritsa guruhlari

${ displaystyle mathbb {U} _ {4} = left {{ begin {bmatrix} 1 & * & * & * 0 & 1 & * & * 0 & 0 & 1 & * 0 & 0 & 0 & 1 end {bmatrix}} o'ng }}$, ${ displaystyle mathbb {U} _ {4} ^ {(1)} = left {{ begin {bmatrix} 1 & 0 & * & * 0 & 1 & 0 & * 0 & 0 & 1 & 0 & 0 0 & 0 & 0 & 0 & 1 end {bmatrix}} o'ngda}}$, ${ displaystyle mathbb {U} _ {4} ^ {(2)} = left {{ begin {bmatrix} 1 & 0 & 0 & * 0 & 1 & 0 & 0 0 & 0 & 1 & 0 & 0 0 & 0 & 0 & 1 & end bmatrix}} right } }$va ${ displaystyle mathbb {U} _ {4} ^ {(3)} = left {{ begin {bmatrix} 1 & 0 & 0 & 0 & 0 0 & 1 & 0 & 0 0 & 0 & 1 & 0 & 0 0 & 0 & 0 & 1 & end bmatrix}} right }}$

ikkilamchi guruhlarning ba'zi induktsiyalangan misollari keltirilgan.

G_aⁿ

Qo'shimchalar guruhi ${ displaystyle mathbb {G} _ {a}}$ ko'mish orqali bir kuchsiz guruh guruhidir

${ displaystyle a mapsto { begin {bmatrix} 1 & a 0 & 1 end {bmatrix}}}$

Matritsani ko'paytirishga e'tibor bering

${ displaystyle { begin {bmatrix} 1 & a 0 & 1 end {bmatrix}} cdot { begin {bmatrix} 1 & b 0 & 1 end {bmatrix}} = { begin {bmatrix} 1 & a + b 0 & 1 end {bmatrix}}}$

shuning uchun bu guruhni joylashtirishdir. Umuman olganda, ko'mish mavjud ${ displaystyle mathbb {G} _ {a} ^ {n} to mathbb {U} _ {n + 1}}$ xaritadan

${ displaystyle (a_ {1}, ldots, a_ {n}) mapsto { begin {bmatrix} 1 & a_ {1} & a_ {2} & cdots & a_ {n-1} & a_ {n} 0 & 1 & 0 & cdots & 0 & 0 vdots & vdots & vdots && vdots & vdots 0 & 0 & 0 & cdots & 1 & 0 0 & 0 & 0 & cdots & 0 & 1 end {bmatrix}}}$

Sxema nazariyasidan foydalanib, ${ displaystyle mathbb {G} _ {a}}$ funktsiya tomonidan berilgan

${ displaystyle { mathcal {O}}: { text {Sch}} ^ {op} to { text {Sets}}}$

qayerda

${ displaystyle (X, { mathcal {O}} _ {X}) mapsto { mathcal {O}} _ {X} (X)}$

Frobenius yadrosi

Funktsiyani ko'rib chiqing ${ displaystyle { mathcal {O}}}$ pastki toifada ${ displaystyle { text {Sch}} / mathbb {F} _ {p}}$, subfunktor mavjud ${ displaystyle alpha _ {p}}$ qayerda

${ displaystyle alpha _ {p} (X) = {x in { mathcal {O}} (X): x ^ {p} = 0 }}$

shuning uchun u yadrosi tomonidan berilgan Frobenius endomorfizmi.

Unipotent guruhlarning 0 xarakteristikasi bo'yicha tasnifi

Juda xarakterli ${ displaystyle 0}$ unipotent algebraik guruhlarga nisbatan yaxshi tasnif mavjud nilpotent algebralar. Nilpotent algebra ba'zi bir subalgebra ekanligini eslang ${ displaystyle { mathfrak {gl}} _ {n}}$ shuning uchun takrorlangan qo'shma harakat oxir-oqibat nol-xaritada tugaydi. Matritsalar nuqtai nazaridan bu subalgebra ekanligini anglatadi ${ displaystyle { mathfrak {g}}}$ ning ${ displaystyle { mathfrak {n}} _ {n}}$, bilan matritsalar ${ displaystyle a_ {ij} = 0}$ uchun ${ displaystyle i leq j}$.

So'ngra, cheklangan o'lchovli nilpotent Lie algebralari va bir kuchsiz algebraik guruhlar toifalarining ekvivalenti mavjud.^{[1]sahifa 261}. Buning yordamida qurish mumkin Beyker - Kempbell - Xausdorff seriyasi ${ displaystyle H (X, Y)}$, bu erda cheklangan o'lchovli nilpotent Lie algebra, xarita berilgan

${ displaystyle H: { mathfrak {g}} times { mathfrak {g}} to { mathfrak {g}} { text {where}} (X, Y) mapsto H (X, Y) }$

Unipotent algebraik guruh tuzilishini beradi ${ displaystyle { mathfrak {g}}}$.

Boshqa yo'nalishda eksponent xarita har qanday nilpotent kvadrat matritsani bitta kuchsiz matritsaga olib boradi. Bundan tashqari, agar U kommutativ unipotent guruh bo'lib, eksponent xarita Lie algebrasidan izomorfizmni keltirib chiqaradi U ga U o'zi.

Izohlar

Har qanday o'lchamdagi algebraik yopiq maydon bo'yicha yagona potentsial guruhlarni printsipial ravishda tasniflash mumkin, ammo amalda tasnifning murakkabligi o'lchov bilan juda tez o'sib boradi, shuning uchun odamlar^{[JSSV? ]} 6 o'lchov atrofida biron bir joyda voz kechishga moyil.

Yagona quvvatli radikal

The bir kuchsiz radikal ning algebraik guruh G tarkibidagi unotektsiyasiz elementlarning to'plamidir radikal ning G. Bu birlashtirilgan potentsial bo'lmagan oddiy kichik guruh G, va boshqa barcha kichik guruhlarni o'z ichiga oladi. Agar uning kuchsiz radikalasi ahamiyatsiz bo'lsa, guruhni reduktiv deb atashadi. Agar G reduktiv, keyin uning radikali torusdir.

Algebraik guruhlarning parchalanishi

Algebraik guruhlarni bir jinsli bo'lmagan guruhlarga, multiplikativ guruhlarga va abeliya navlariga ajratish mumkin, ammo ularning qanday parchalanishi haqidagi bayonot ularning asos maydonining xususiyatiga bog'liq.

Xarakterli 0

Juda xarakterli ${ displaystyle 0}$ algebraik guruhning yaxshi parchalanish teoremasi mavjud ${ displaystyle G}$ uning tuzilishini a tuzilishi bilan bog'lash chiziqli algebraik guruh va an Abeliya xilma-xilligi. Guruhlarning qisqa aniq ketma-ketligi mavjud^{[2]sahifa 8}

${ displaystyle 0 dan M marta U dan G dan A ga 0} gacha$

qayerda ${ displaystyle A}$ abeliya xilma-xilligi, ${ displaystyle M}$ multiplikativ tip, ma'no va ${ displaystyle U}$ bir kuchsiz guruh.

Xarakterli p

Qachon tayanch maydonining xarakteristikasi ${ displaystyle p}$ shunga o'xshash bayonot mavjud^[2] algebraik guruh uchun ${ displaystyle G}$: eng kichik kichik guruh mavjud ${ displaystyle H}$ shu kabi

1. ${ displaystyle G / H}$ bir kuchsiz guruh
2. ${ displaystyle H}$ abeliya navining kengayishi ${ displaystyle A}$ guruh tomonidan ${ displaystyle M}$ multiplikativ tip.
3. ${ displaystyle M}$ noyobdir Muvofiqlik yilda ${ displaystyle G}$ va ${ displaystyle A}$ gacha noyobdir Izogeniya.

Iordaniya parchalanishi

Har qanday element g a ustidan chiziqli algebraik guruhning mukammal maydon mahsulot sifatida noyob tarzda yozilishi mumkin g = g_sizg_s potentsialsiz harakatlanish va yarim oddiy elementlar g_siz va g_s. GL guruhi misolida_n(C), bu aslida har qanday qaytariladigan murakkab matritsa diagonali matritsa va yuqori uchburchak hosilasi bilan konjugat ekanligini aytadi, bu (ko'p yoki ozroq) multiplikativ versiyasi Iordaniya - Chevalley parchalanishi.

Shuningdek, Iordaniya dekompozitsiyasining guruhlar uchun versiyasi mavjud: a dan ortiq har qanday komutativ chiziqli algebraik guruh mukammal maydon bir kuchsiz guruh va yarim yarim guruh mahsulotidir.

Shuningdek qarang

• Reduktiv guruh
• Yagona vakolatli vakillik
• Deligne-Lushtig nazariyasi

Adabiyotlar

• A. Borel, Chiziqli algebraik guruhlar, ISBN  0-387-97370-2
• Borel, Armand (1956), "Groupes linéaires algébriques", Matematika yilnomalari, Ikkinchi seriya, Matematika yilnomalari, 64 (1): 20–82, doi:10.2307/1969949, JSTOR  1969949
• Popov, V.L. (2001) [1994], "bir kuchsiz element", Matematika entsiklopediyasi, EMS Press
• Popov, V.L. (2001) [1994], "bir kuchsiz guruh", Matematika entsiklopediyasi, EMS Press
• Suprunenko, D.A. (2001) [1994], "bir kuchsiz matritsa", Matematika entsiklopediyasi, EMS Press