BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM THÀNH PHỐ HỒ CHÍ MINH NGUYỄN CÔNG TRÍ KHÔNG GIAN PHÂN LÁ TẠO BỞI CÁC K – QUỸ ĐẠO CHIỀU CỰC ĐẠI CỦA MỘT VÀI MD5 – NHÓM LIÊN THÔNG ĐƠN LIÊN LUẬN VĂN THẠC SĨ KHOA HỌC TOÁN HỌC Thành phố Hồ Chí Minh – 2004 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM THÀNH PHỐ HỒ CHÍ MINH NGUYỄN CÔNG TRÍ KHÔNG GIAN PHÂN LÁ TẠO BỞI CÁC K – QUỸ ĐẠO CHIỀU CỰC ĐẠI CỦA MỘT VÀI MD5 – NHÓM LIÊN THÔNG ĐƠN LIÊN LUẬN VĂN THẠC SĨ KHOA HỌC TOÁN HỌC Chuyên ngành : Tôpô – Hình học Mã số : 1.05 NGƯỜI HƯỚNG DẪN KHOA HỌC: TS. LÊ ANH VŨ Thành phố Hồ Chí Minh – 2004 BAÛNG CHÆ DAÃN CAÙC THUAÄT NGÖÕ VAØ KYÙ HIEÄU Chöõ caùi ñaàu Thuaät ngöõ (kyù hieäu) Trang ñaàu tieân xuaát hieän A Aùnh xaï muõ exp 16 B Bieãu dieãn tuyeán tính cuûa ñaïi soá Lie 11 Bieãu dieãn chính quy ad 12 Bieãu dieãn phuï hôïp (K –bieåu dieãn, bieåu dieãn Kirollov) K 19 Bieãu dieãn khôùp 11 Bieãu dieãn phuï hôïp Ad 18 Ñ Ña taïp con hoaønh 50 Ñaïi soá Lie L, G 6 Ñaïi soá Lie con vaø Ideal 13 Ñaïi soá Lie cuûa nhoùm Lie 15 1 1 2 2 Ñaïi soá Lie daãn xuaát L , G , L , G ,… 13 Ñaïi soá Lie giaûi ñöôïc 14 Ñaïi soá Lie luõy linh 14 Ñoàng caáu ñaïi soá Lie 11 Ñoä ño hoaønh (ñoái vôùi phaân laù) 51 Ñoä ño X–baát bieán 52 K K–quyõ ñaïo (quyõ ñaïo Kirollov) 19 Khoâng gian laù V/F cuûa phaân laù 49 Kieåu toâpoâ phaân laù 49 M MD–nhoùm, MD – ñaïi soá 19 MD - nhoùm, MD - ñaïi soá 19 N Nhoùm Lie exponential 18 Nhoùm Lie G 6 Nhoùm Lie giaûi ñöôïc, luõy linh 16 P Phaân boá, phaân boá khaû tích F 45 Phaân laù (V, F) 46 Phaân laù cho bôûi phaân thôù p: VB 48 Phaân laù cho bôûi taùc ñoäng cuûa nhoùm Lie 48 Phaân laù cuøng kieåu toâpoâ 49 Phaân laù ño ñöôïc 50 Phuû ñôn lieân (phuû phoå duïng) cuûa nhoùm Lie G 8 T Taäp hoaønh Borel 51 Toâpoâ phaân laù 48 MÔÛ ÑAÀU Trong lyù thuyeát nhoùm Lie vaø ñaïi soá Lie thöïc, lôùp caùc nhoùm Lie vaø ñaïi soá Lie giaûi ñöôïc ñoùng moät vai troø quan troïng. Caáu truùc caùc nhoùm Lie vaø ñaïi soá Lie giaûi ñöôïc döôøng nhö laø ñôn giaûn, tuy nhieân vieäc phaân loaïi chuùng cho ñeán nay vaãn chöa ñöôïc giaûi quyeát trieät ñeå. Nhôø phöông phaùp quyõ ñaïo cuûa Kirillov (xem [Ki]), naêm 1980, Ñoã Ngoïc Dieäp (xem [Di]) ñaõ ñeà nghò xeùt moät lôùp con caùc nhoùm Lie vaø ñaïi soá Lie thöïc giaûi ñöôïc maø raát ñôn giaûn veà phöông dieän phaân taàng caùc K–quyõ ñaïo (quyõ ñaïo Kirillov).
Ñoù laø lôùp caùc MD– nhoùm vaø MD–ñaïi soá. Moät nhoùm Lie thöïc giaûi ñöôïc maø caùc K–quyõ ñaïo cuûa noù hoaëc khoâng chieàu hoaëc chieàu cöïc ñaïi ñöôïc goïi laø MD–nhoùm. Khi soá chieàu cöïc ñaïi ñuùng baèng soá chieàu cuûa nhoùm thì nhoùm coøn ñöôïc goïi laø MD –nhoùm. Ñaïi soá Lie cuûa moät MD–nhoùm (töông öùng, MD – nhoùm) ñöôïc goïi laø MD–ñaïi soá (töông öùng, MD – ñaïi soá).
Naêm 1982, Hoà Höõu Vieät (xem [So–Vi]) ñaõ phaân loaïi trieät ñeå lôùp caùc MD – ñaïi soá. Lôùp naøy chæ goàm caùc ñaïi soá Lie giao hoaùn n–chieàu n (n 1), ñaïi soá Lie 2–chieàu aff vaø ñaïi soá Lie 4–chieàu aff. Vieäc phaân loaïi lôùp caùc MD–ñaïi soá ñeán nay vaãn coøn laø moät baøi toaùn môû. Ñeå ñôn giaûn hôn, ta phaân nhoû lôùp caùc MD–nhoùm vaø MD–ñaïi soá theo soá chieàu.
Töùc laø xeùt caùc lôùp con MDn–nhoùm (vaø MDn–ñaïi soá) goàm caùc MD–nhoùm (vaø MD–ñaïi soá ) n–chieàu. Vì taát caû caùc ñaïi soá Lie döôùi 4–chieàu ñaõ ñöôïc lieät keâ heát töø laâu neân ta chæ xeùt caùc lôùp MDn– nhoùm vaø MDn–ñaïi soá vôùi n4. Naêm 1984, Ñaøo Vaên Traø (xem [Tra]) ñaõ lieät keâ toaøn boä lôùp caùc MD4–ñaïi soá. Ñeán naêm 1990, lôùp caùc MD4–ñaïi soá ñöôïc Leâ Anh Vuõ (xem [Vu2], Vu4], Vu5]) phaân loaïi trieät ñeå (chính xaùc ñeán ñaúng caáu ñaïi soá Lie).
Gaàn ñaây, naêm 2003, Leâ Anh Vuõ (xem[Vu6]) ñaõ giôùi thieäu ba ví duï ñaëc saéc veà caùc MD5–ñaïi soá. Hieän taïi, lôùp caùc MD5–ñaïi soá vaãn chöa ñöôïc lieät keâ vaø phaân loaïi ñaày ñuû. Veà phöông dieän hình hoïc, khoâng gian caùc K–quyõ ñaïo cuûa moãi MD–nhoùm khaù ñôn giaûn. Theo soá chieàu, moãi MD–nhoùm chæ goàm hai taàng caùc K–quyõ ñaïo: taàng caùc quyõ ñaïo 0–chieàu vaø taàng caùc quyõ ñaïo chieàu cöïc ñaïi.
Xeùt rieâng taàng caùc quyõ ñaïo chieàu cöïc ñaïi cuûa moät MD–nhoùm lieân thoâng, ta thaáy caùc quyõ ñaïo laø caùc ña taïp lieân thoâng, ñoâi moät rôøi nhau vaø coù cuøng soá chieàu. Ñieàu naøy gôïi cho ta nghó ñeán moät phaân laù. Caùc phaân laù ñaàu tieân xuaát hieän khi khaûo saùt lôøi giaûi cuûa moät heä khaû tích caùc phöông trình vi phaân thöôøng. Keå töø coâng trình cuûa Reeb (xem [Re]) naêm 1952, caùc phaân laù môùi thöïc söï trôû thaønh ñoái töôïng nghieân cöùu mang tính chaát hình hoïc vaø nhanh choùng phaùt trieån thaønh moät ngaønh maïnh cuûa hình hoïc vi phaân.
Ñoù laø lyù thuyeát toâpoâ phaân laù. Naêm 1982, Connes (xem [Co]) ñöa ra khaùi nieäm ñoä ño hoaønh ñaëc bieät thích hôïp ñoái vôùi vieäc nghieân cöùu caùc phaân laù, nhaát laø caùc phaân laù ñònh höôùng ñöôïc. Khi ñaõ ñöôïc trang bò moät ñoä ño hoaønh, phaân laù seõ ñöôïc goïi laø phaân laù ño ñöôïc. Baûn luaän vaên nhaèm muïc ñích keát hôïp vieäc nghieân cöùu caùc MD5–nhoùm vaø MD5–ñaïi soá vôùi toâpoâ cuûa caùc phaân laù ño ñöôïc.
Cuï theå, baøi toaùn cô baûn maø luaän vaên ñeà caäp bao goàm caùc böôùc sau ñaây. Böôùc 1: Lieät keâ ra moät soá MD5–ñaïi soá hoaøn toaøn môùi. Böôùc 2: Moâ taû böùc tranh hình hoïc caùc K–quyõ ñaïo cuûa moãi MD5–nhoùm lieân thoâng ñôn lieân öùng vôùi MD5–ñaïi soá ñaõ lieät keâ. Böôùc 3: Nghieân cöùu toâpoâ phaân laù cuûa caùc phaân laù ño ñöôïc lieân keát vôùi moã i MD5–nhoùm ñaõ xeùt.
Bôûi theá luaän vaên ñöôïc mang teân “khoâng gian phaân laù taïo bôûi caùc K–quyõ ñaïo chieàu cöïc ñaïi cuûa moät vaøi MD5–nhoùm lieân thoâng ñôn lieân”. Veà noäi dung, luaän vaên goàm phaàn môû ñaàu, ba chöông vaø phaàn keát luaän. Phaàn môû ñaàu neâu xuaát xöù vaán ñeà vaø ñaët baøi toaùn nghieân cöùu. Chöông I giôùi thieäu caùc khaùi nieäm cô baûn caàn thieát veà nhoùm Lie, ñaïi soá Lie vaø lôùp MD– nhoùm, MD–ñaïi soá.
Chöông II vaø chöông III laø phaàn chính cuûa luaän vaên trong ñoù trình baøy tyû mæ laàn löôït ba böôùc 1, 2, 3 vöøa keå treân cuøng caùc keát quaû môùi ñaït ñöôïc vôùi ñaày ñuû nhöõng chöùng minh chaët cheõ. Phaàn keát luaän sau cuøng laø nhaän xeùt veà nhöõng vaán ñeà môû gôïi leân caàn phaûi tieáp tuïc nghieân cöùu. Caùc keát quaû chính nhaän ñöôïc trong luaän vaên laø: 1. Lieät keâ ñöôïc boán MD5–ñaïi soá vaø moät hoï voâ haïn caùc MD5–ñaïi soá phuï thuoäc moät tham soá thöïc khaùc 0 vaø 1.
Taát caû caùc MD5–ñaïi soá naøy ñeàu khoâng ñaúng caáu (xem chöông II; §2, muïc 2.1 vaø heä quaû 2). Moâ taû böùc tranh hình hoïc caùc K–quyõ ñaïo cuûa taát caû caùc MD5–nhoùm lieân thoâng, ñôn lieân öùng vôùi caùc MD5–ñaïi soá ñaõ lieät keâ (xem chöông II, §2, muïc 2. Chöùng toû ñöôïc raèng, ñoái vôùi moãi MD5–nhoùm lieân thoâng ñôn lieân ñaõ xeùt, hoï caùc K–quyõ ñaïo chieàu cöïc ñaïi laäp thaønh moät phaân laù ño ñöôïc. Caùc phaân laù taïo thaønh ñöôïc goïi laø caùc MD5–phaân laù.
Ñoàng thôøi moâ taû chi tieát toâpoâ phaân laù cuûa caùc MD5–phaân laù ñoù (xem chöông III, §2, ñònh lyù 3, ñònh lyù 4 vaø muïc 2. Vieäc lieät keâ ra caùc MD5–ñaïi soá vaø moâ taû toâpoâ phaân laù cuûa caùc MD5–phaân laù laø nhöõng tính toaùn thuaàn tuùy ñaïi soá vaø giaûi tích döïa treân nhöõng döï caûm tröïc giaùc hình hoïc. Phöông phaùp moâ taû hình hoïc caùc K–quyõ ñaïo cuûa caùc MD5–nhoùm ñaõ xeùt laø phöông phaùp ñaõ ñöôïc giôùi thieäu ñaày ñuû trong taøi lieäu [Vu2]. Caùc keát quaû chính cuûa luaän vaên neâu trong ñònh lyù 1, ñònh lyù 3, ñònh lyù 4 vaø heä quaû 2 laø hoaøn toaøn môùi vaø seõ ñöôïc coâng boá treân moät taïp chí chuyeân ngaønh trong thôøi gian tôùi.
Caùc kyù hieäu ñöôïc duøng trong baûn luaän vaên hoaëc laø caùc kyù hieäu thoâng duïng, hoaëc seõ ñöôïc giaûi thích khi duøng laàn ñaàu (xem baûng chæ daãn thuaät ngöõ vaø kyù hieäu). Ñeå trích daãn moät keát quaû, chuùng toâi cuõng duøng nhöõng kyù hieäu quen thuoäc. Chaúng haïn xem [So–Vi, Theorem 4] coù nghóa laø xem ñònh lyù 4 cuûa taøi lieäu [So–Vi]. Luaän vaên ñöôïc hoaøn thaønh döôùi söï höôùng daãn nhieät tình, taän tuïy vaø nghieâm khaéc cuûa tieán syÕ Leâ Anh Vuõ.
Taùc giaû xin chaân thaønh bieát ôn thaày vì söï höôùng daãn nhieät tình, chæ daãn thaáu ñaùo moïi vaán ñeà maø taùc giaû chöa hieåu roõ hoaëc chöa bieát. Taùc giaû xin chaân thaønh caùm ôn tieán syÕ Nguyeãn Thaùi Sôn, tieán syõ Nguyeãn Haø Thanh, PGS tieán syÕ Buøi Töôøng Trí, PGS tieán syÕ Leâ Hoaøn Hoùa, PGS tieán syÕ Nguyeãn Bích Huy, tieán syÕ Traàn Huyeân, GS tieán syÕ Traàn Vaên Taán thuoäc Khoa Toaùn Tröôøng Ñaïi Hoïc Sö Phaïm Thaønh Phoá Hoà Chí Minh ñaõ giuùp ñôõ taùc giaû naâng cao kieán thöùc chuyeân moân. Taùc giaû xin chaân thaønh caùm ôn tieán syõ Buøi Phuùc Trung, chuû nhieäm Khoa Toaùn– Thoáng Keâ, thaïc syõ Hoaøng Ngoïc Nhaäm, toå tröôûng boä moân Toaùn Kinh Teá, anh Phaïm Xuaân Long, phoøng tö lieäu Khoa Toaùn–Thoáng Keâ thuoäc Tröôøng Ñaïi Hoïc Kinh Teá Thaønh Phoá Hoà Chí Minh ñaõ nhieät tình giuùp ñôõ taùc giaû trong sinh hoaït hoïc taäp, nghieân cöùu. Taùc giaû xin chaân thaønh caùm ôn tieán syõ Traàn Minh Thuyeát, thaïc syõ Huyønh Vaên Ñöùc cuøng caùc baïn ñoàng nghieäp thaân thieát ñaõ lieân tuïc ñoäng vieân, nhieät tình giuùp ñôõ taùc giaû veà phöông phaùp nghieân cöùu trong suoát quaù trình sinh hoaït, hoïc taäp.
Luaän vaên ñöôïc hoaøn thaønh coøn coù phaàn ñoùng goùp lôùn cuûa Ban Giaùm Hieäu, phoøng Toå Chöùc Haønh Chaùnh, phoøng Taøi Vuï cuûa Tröôøng Ñaïi Hoïc Kinh Teá Thaønh Phoá Hoà Chí Minh; cuûa Ban Giaùm Hieäu, Ban Chuû Nhieäm Khoa Toaùn – Tin Hoïc, phoøng Khoa Hoïc Coâng Ngheä Vaø Sau Ñaïi Hoïc, phoøng Taøi Vuï cuûa Tröôøng Ñaïi Hoïc Sö Phaïm Thaønh Phoá Hoà Chí Minh vaø caùc baïn ñoàng moân Leâ Minh Hoøa vaø Hoaøng Coâng Phuùc. Moät laàn nöõa, taùc giaû xin chaân thaønh caùm ôn taát caû moïi ngöôøi ñaõ ñoäng vieân, giuùp ñôõ, taïo ñieàu kieän thuaän lôïi cho taùc giaû hoaøn thaønh baûn luaän vaên naøy. CHÖÔNG I LÔÙP MD–NHOÙM LIE VAØ MD-ÑAÏI SOÁ LIE Chöông naøy giôùi thieäu lôùp MD-nhoùm vaø lôùp MD–ñaïi soá Lie maø chuùng ta seõ quan taâm nghieân cöùu caùc nhoùm Lie vaø ñaïi soá Lie 5–chieàu thuoäc caùc lôùp ñoù. Nhöng tröôùc heát, ta seõ nhaéc laïi caùc khaùi nieäm vaø tính chaát cô baûn nhaát veà nhoùm Lie vaø ñaïi soá Lie (thöïc).
Taát caû caùc meänh ñeà ñeàu ñöôïc phaùt bieåu khoâng chöùng minh.