ویژگی هشتم: پوششهای منظم (Normal Coverings) (همراه با شهود هندسی)
در ویژگی هفتم با گروه تبدیلهای پوششی (تقارنهای پوشش) آشنا شدیم. اکنون به سراغ نوع خاص و بسیار متقارنی از فضاهای پوششی میرویم که به آنها پوششهای منظم (Normal Coverings) یا پوششهای گالوا (Galois Coverings) گفته میشود. در این پوششها، تقارن به بیشترین حد خود میرسد.
ایدهٔ مرکزی
یک پوشش را منظم مینامیم اگر بتوان هر نقطه از یک فیبر را با استفاده از یک تقارن (تبدیل پوششی) به هر نقطهٔ دیگری در همان فیبر انتقال داد. به زبان شهودی، در یک پوشش منظم، تمام ورقهها دقیقاً شبیه به هم به نظر میرسند و هیچ ورقه یا نقطهٔ متمایزی در بالای یک نقطهٔ پایه وجود ندارد؛ فضا از دید تمامی ورقهها کاملاً همگن و متقارن است.
تعریف ریاضی
فرض کنید
p : E → X
یک نگاشت پوششی همبندِ مسیری باشد. این پوشش را منظم (Normal) مینامند اگر برای هر نقطهٔ
x ∈ X
و هر دو نقطهٔ دلخواه در فیبرِ آن نقطه یعنی
e1, e2 ∈ p−1(x)
یک تبدیل پوششی مانند
φ ∈ Deck(p)
وجود داشته باشد بهطوری که:
φ(e1) = e2
به زبان نظریهٔ گروهها، یک پوشش منظم است اگر و تنها اگر عمل گروه تبدیلهای پوششی
Deck(p)
روی هر فیبر، گذرا (Transitive) باشد.
معادل جبری در گروه بنیادی
منظم بودن پوشش را میتوان بهطور کامل با استفاده از گروههای بنیادی توصیف کرد. پوشش
p : E → X
منظم است اگر و تنها اگر زیرگروه تصویر شدهٔ گروه بنیادیِ فضای بالا، یعنی
H = p*(π1(E, e0))
یک زیرگروه نرمال (نرمالیزه) در گروه بنیادی فضای پایه باشد:
p*(π1(E, e0)) ⊲ π1(X, x0)
این معادلسازی جبری، پیوند عمیقی میان نظریهٔ پوششها و نظریهٔ گالوا در جبر مدرن ایجاد میکند.
شهود هندسی اول: پوششهای دایره
تمام پوششهای همبندِ دایره منظم هستند. برای نمونه، پوشش n-ورقهای دایره روی دایره را در نظر بگیرید:
p : S1 → S1
p(z) = zn
در این پوشش، فیبرِ هر نقطه شامل n نقطه روی دایرهٔ بالا است که به فاصلهٔ زاویهای یکسان از هم قرار دارند.
- شما میتوانید با دورانهای به اندازهٔ مضارب
2π / n،
هر نقطه از فیبر را به هر نقطهٔ دیگری در همان فیبر بفرستید.
- چون این دورانها همگی تبدیلهای پوششی معتبر هستند، پس پوشش منظم است.
- از نظر جبری نیز چون گروه بنیادی دایره
π1(S1) ≅ ℤ
ابلی (تعویضپذیر) است، هر زیرگروه آن (مانند nℤ) بهطور خودکار نرمال است.
شهود هندسی دوم: یک مثال غیرمنظم (پوشش نامتقارن)
برای درک بهتر، به یک مثال غیرمنظم نیاز داریم. فضای پایه X را به شکل رقم «8» انگلیسی (اتصال دو دایره در یک نقطه) در نظر بگیرید که گروه بنیادی آن آزاد با دو مولد a و b است.
فضای پوشانندهٔ E را به صورت یک خط حلقهویِ ۳-ورقهای تصور کنید که در آن مسیرهای بالا برده شده با مولدهای a و b به شکلی نامتقارن به هم متصل شدهاند؛ بهطوری که:
- یکی از ورقهها تحت مسیر a به خودش برمیگردد (یک حلقهٔ یکتا در بالا تشکیل میدهد).
- دو ورقهٔ دیگر برای بستهشدنِ مسیر a باید به یکدیگر متصل شوند.
در این حالت، ورقهٔ اول رفتاری کاملاً متفاوت با دو ورقهٔ دیگر دارد. هیچ هومئومورفیسمِ تقارنی (تبدیل پوششی) وجود ندارد که بتواند ورقهٔ اول متمایز را به ورقههای دیگر انتقال دهد بدون اینکه ساختار نگاشت خراب شود. بنابراین، این پوشش غیرمنظم است. از نظر جبری، زیرگروه متناظر با این پوشش در
π1(X)
نرمال نیست.
رابطهٔ پوشش جهانی با پوشش منظم
پوشش جهانی
p : X̃ → X
همواره یک پوشش منظم است. دلیل آن ساده است: گروه بنیادی فضای بالا
π1(X̃) ≅ {e}
بدیهی است و تصویر آن یعنی زیرگروه بدیهی
{e} ⊲ π1(X)
همواره در هر گروهی نرمال است. این یعنی پوشش جهانی متقارنترین پوشش ممکن برای هر فضا به شمار میرود.
جمعبندی
- پوشش منظم پوششی است که در آن گروه تبدیلهای پوششی بهطور گذرا روی فیبر هر نقطه عمل کند.
- در پوشش منظم، تمام ورقهها از نظر توپولوژیکی و هندسی نسبت به هم همارز و متقارن هستند.
- شرط جبری منظم بودن این است که زیرگروه
p*(π1(E))
در
π1(X)
نرمال باشد.
- پوشش جهانیِ هر فضا همواره یک پوشش منظم است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.