گروه‌های لی و جبر لی: پیوند زرین هندسهٔ هموار و تقارن‌های جبری
در ریاضیات و فیزیک مدرن، تقارن‌ها صرفاً تبدیلات گسسته نیستند؛ بسیاری از دگرگونی‌ها (مانند دوران، انتقال مکانی و پیمانه‌های کوانتومی) ماهیتی **پیوسته و هموار** دارند. **گروه لی** همان ساختار شگرفی است که به طور هم‌زمان دو کسوت را بر تن دارد: از یک‌سو یک گروه جبری است و از سوی دیگر یک منیفلد دیفرانسیل‌پذیر.
۱. تعریف گروه لی (Lie Group)
تعریف دقیق: یک مجموعه G را گروه لی نامند، هرگاه:
- G یک منیفلد هموار (C∞) باشد.
- G یک گروه جبری با عنصر همانی e باشد.
- عمل ضرب گروهی و معکوس‌گیری، هر دو نگاشت‌هایی هموار بر روی منیفلد باشند:
μ: G × G → G , μ(g, h) = gh
ι: G → G , ι(g) = g-1
نمونه‌های برجسته:
- GL(n, ℜ): گروه عمومی ماتریس‌های معکوس‌پذیر n × n (زیرمجموعه باز از ℜn2).
- SO(n): گروه تعامدی خاص (چرخش‌های فضایی با دترمینان ۱)، پایه‌ای برای چرخش زاویه‌ای در فیزیک.
- U(1), SU(2), SU(3): گروه‌های تقارن بنیادین در مدل استاندارد فیزیک ذرات (الکترومغناطیس، برهم‌کنش ضعیف و رنگ‌دینامیک کوانتومی).
۲. انتقال چپ (Left Translation) و همگونی فضا
به ازای هر عضو g ∈ G، دیفئومورفیسم انتقال چپ به صورت زیر تعریف می‌شود:
Lg: G → G , Lg(h) = gh
این نگاشت به منیفلد خصلت همگونی کامل می‌بخشد؛ یعنی ساختار منیفلد در حوالی هر نقطه‌ای شبیه به حوالی نقطه همانی (e) است.
۳. جبر لی (Lie Algebra): خطی‌سازی تقارن در مبدأ
بررسی یک منیفلد غیرخطی و خمیده دشوار است، اما با متمرکز شدن بر فضای مماس در عنصر همانی یعنی 𝔤 = TeG، هندسه به جبر خطی تبدیل می‌شود!
یک میدان برداری X بر G را چپ‌وردا (Left-Invariant) گویند اگر:
(dLg)(Xh) = Xgh ∀ g, h ∈ G
قضیه بنیادی جبر لی: هر بردار مماس در مبدأ v ∈ TeG را می‌توان به یک میدان برداری چپ‌وردای یکتا گسترش داد. براکت لیِ دو میدان چپ‌وردا نیز مجدداً چپ‌ورداست. بنابراین فضای 𝔤 مجهز به براکت لی [ · , · ] یک جبر لی تشکیل می‌دهد:
- پادتقارنی: [X, Y] = -[Y, X]
- اتحاد ژاکوبی: [X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0
۴. نگاشت نمایی (Exponential Map): پُل عبور از جبر به گروه
چگونه از جبر خطی 𝔤 به دلِ خودِ گروه G سفر کنیم؟ با نگاشت نمایی!
exp : 𝔤 → G , exp(X) = γX(1)
که در آن γX(t) گروه تک‌پارامتری (یا ژئودزیک از مبدأ) با بردار اولیه X است. برای گروه‌های ماتریسی، این نگاشت دقیقاً همان بسط تیلورِ ماتریسی آشنا است:
exp(A) = eA = I + A + (A2 / 2!) + (A3 / 3!) + …
حکمت نهایی: نظریه لی به ما می‌آموزد که برای شناخت تمام پیچ‌وخم‌های یک حرکت مداوم، نیازی به رصد سراسر جهان نیست؛ کافی است رفتارِ نخستین گامِ جنبش در «لحظهٔ سکون و مبدأ» سنجیده شود. با اکسپوننشیال، آن ذرهٔ مماس، خودْ آفریننده و پیمانه‌گرِ تمامِ بیکرانگی منیفلد خواهد شد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.