تحلیل و حل سؤال: ارتباط هستهٔ پوشش با خودریختی‌های پوشش
در این پست، متن سؤالِ موجود در تصویر را بازخوانی و سپس حل می‌کنیم. بخشی از ادامهٔ جمله در سمت راست تصویر دیده نمی‌شود؛ بنابراین در بازسازی سؤال، از نتیجهٔ استاندارد مربوط به پوشش گروه‌های توپولوژیک استفاده می‌کنیم.
۱. بازخوانی سؤال
قسمت خوانای سؤال چنین است:
Let p : G̃ → G be a continuous homomorphism of topological groups such that (G̃,p) is a covering space of G.
ترجمهٔ این بخش چنین است:
فرض کنید
p : G̃ → G
یک همریختی پیوسته از گروه توپولوژیک G̃ به گروه توپولوژیک
G باشد، به‌طوری‌که زوج (G̃,p) یک فضای پوششی
برای G باشد.
در ادامهٔ تصویر، نمادهای K و
A(G̃,p) دیده می‌شوند. بنابراین صورت کامل سؤال، به احتمال زیاد، اثبات رابطهٔ زیر است:
K = ker(p) ≅ A(G̃,p)
در این رابطه، A(G̃,p) گروه خودریختی‌های پوشش است.
A(G̃,p) =
{ φ : G̃ → G̃ | φ یک خودریختی و p ∘ φ = p }
از آنجا که بخشی از تعریف نگاشت مربوط به K در تصویر بریده شده
است، در ادامه قرارداد مناسب را به‌صراحت انتخاب می‌کنیم.
۲. تعریف هستهٔ پوشش
فرض کنید e عضو خنثای گروه G باشد. هستهٔ
همریختی p برابر است با:
K = ker(p) = p−1(e)
پس برای هر k ∈ K داریم:
p(k) = e
هدف این است که هر عنصر k از هسته را به یک خودریختی پوشش
نسبت دهیم.
۳. تعریف نگاشت از هسته به گروه خودریختی‌ها
برای هر k ∈ K، نگاشت زیر را در نظر می‌گیریم:
φk : G̃ → G̃
φk(x̃) = kx̃
در اینجا از انتقال چپ استفاده کرده‌ایم. این انتخاب باعث می‌شود ترتیب ضرب در ترکیب
نگاشت‌ها حفظ شود.
اکنون نگاشت زیر را تعریف می‌کنیم:
Θ : K → A(G̃,p)
Θ(k) = φk
۴. اثبات اینکه φk یک خودریختی پوشش است
برای هر x̃ ∈ G̃، چون k ∈ K است، داریم:
p(φk(x̃))
= p(kx̃)
= p(k)p(x̃)
= ep(x̃)
= p(x̃)
بنابراین:
p ∘ φk = p
پس φk روی هر فیبر پوشش عمل می‌کند و یک تبدیل پوششی
است.
معکوس این نگاشت برابر است با:
φk−1(x̃) = k−1x̃
زیرا:
φk−1(φk(x̃))
= k−1kx̃
= x̃
φk(φk−1(x̃))
= kk−1x̃
= x̃
در نتیجه، φk یک خودریختی پوشش است و
Θ به‌خوبی تعریف می‌شود.
۵. اثبات همریختی بودن Θ
برای k,l ∈ K و هر x̃ ∈ G̃ داریم:
(φk ∘ φl)(x̃)
= φk(lx̃)
= k(lx̃)
= (kl)x̃
= φkl(x̃)
پس:
φk ∘ φl = φkl
بنابراین:
Θ(kl) = Θ(k)Θ(l)
پس Θ یک همریختی گروهی است.
۶. اثبات تزریق بودن Θ
فرض کنید:
Θ(k) = Θ(l)
در نتیجه:
φk = φl
این دو نگاشت را روی عضو خنثی ẽ از G̃
اعمال می‌کنیم:
φk(ẽ) = φl(ẽ)
kẽ = lẽ
k = l
پس Θ تزریقی است.
۷. اثبات پوشا بودن Θ
اکنون فرض کنید φ ∈ A(G̃,p) باشد. می‌خواهیم نشان دهیم که
عنصری k ∈ K وجود دارد به‌طوری‌که
φ = φk.
عنصر زیر را تعریف می‌کنیم:
k = φ(ẽ)
چون φ یک تبدیل پوششی است، داریم:
p(k)
= p(φ(ẽ))
= p(ẽ)
= e
بنابراین:
k ∈ ker(p) = K
از طرف دیگر، در پوشش گروه‌های توپولوژیک، هر تبدیل پوششی با مقدار آن روی عضو
خنثی تعیین می‌شود. بنابراین برای هر x̃ ∈ G̃ داریم:
φ(x̃) = kx̃ = φk(x̃)
پس:
φ = φk = Θ(k)
بنابراین Θ پوشاست.
۸. نتیجهٔ نهایی
نگاشت
Θ : K → A(G̃,p)
همریختی، تزریقی و پوشاست. در نتیجه، یک همریختی گروهی است و داریم:
ker(p) ≅ A(G̃,p)
به زبان ساده، هر عنصر هستهٔ پوشش یک خودریختی پوشش ایجاد می‌کند. این خودریختی
با انتقال عناصر G̃ به‌وسیلهٔ آن عنصر ساخته می‌شود. برعکس،
هر خودریختی پوشش نیز به‌وسیلهٔ تصویر عضو خنثی، به یک عنصر از هسته مربوط می‌شود.
۹. نکته دربارهٔ خوانش تصویر
در تصویر، تعریف دقیق φk به‌طور کامل خوانا نیست.
اگر در دست‌نوشته به‌جای
φk(x̃)=kx̃
رابطهٔ زیر نوشته شده باشد:
φk(x̃) = x̃k
آن‌گاه:
φk ∘ φl = φlk
یعنی نگاشت k ↦ φk در حالت کلی ترتیب ضرب را معکوس
می‌کند. برای داشتن یک همریختی معمولی، باید از انتقال چپ استفاده شود یا در تعریف
نگاشت از وارون عناصر استفاده کنیم.
عنوان پیشنهادی
اثبات رابطهٔ میان هستهٔ پوشش و گروه خودریختی‌های پوشش
عنوان کوتاه‌تر:
قضیهٔ ker(p) ≅ A(G̃,p) در پوشش گروه‌های توپولوژیک
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.