فصل دوازدهم: پوشش‌های ریمانی و سرشتِ جهانِ هذلولوی؛ از اطلاقِ فضا تا صورت‌های مقید
موضوع: ایزومتری‌های محلی و پوشش‌های ریمانی، دیسک پوانکاره، گروه فوشی (Fuchsian Groups) و سطوح ریمانی فشرده با انحنای منفی
جهانِ بی‌کران را چون به پیمانه فرو بستی،
پدید آمد ز کثرت، صورتِ پیچیدهِٔ هستی.
هزاران نقش در آیینهِٔ پوشش هویدا شد،
چو از بحرِ هذلولی گره زد دستِ سرمستی.
بخش نخست: نگاشت پوششیِ سازگار با متریک
در توپولوژی محض، یک نگاشت پوششی تنها به باز کردن گره‌ها و حلقه‌های فضا نظر دارد. اما هنگامی که «متریک ریمانی» وارد میدان می‌شود، پوشش باید علاوه بر اتصالات پیوسته، فواصل و زوایا را نیز بی‌کم‌وکاست در ابعاد موضعی حفظ کند.
فرض کنید (M̃, g̃) و (M, g) دو منیفلد ریمانی همبند باشند. نگاشت هموارِ پوششیِ π : M̃ → M را یک پوشش ریمانی (Riemannian Covering) می‌نامند اگر و تنها اگر یک «ایزومتری موضعی» (Local Isometry) باشد؛ به این معنا که عقب‌کشیِ متریکِ پایینی برابر با متریکِ بالایی باشد:
π*g = g̃
در این حالت، دیفرانسیل dπp : TpM̃ → Tπ(p)M در هر نقطه یک ایزومتری خطی میان فضاهای مماس است.
پیامد بنیادین: از آنجا که انحنای ریمان یک ناوردای موضعیِ برخاسته از مشتقاتِ متریک است، انحنای منیفلد پوششی با انحنای منیفلد مبنا در تمام نقاط متناظر یکسان است. اگر فضای پوششی دارای انحنای ثابت باشد، منیفلد پایینی نیز عیناً همان انحنای ثابت را داراست.
بخش دوم: فضای هذلولوی به مثابه مادرِ فضاها
فضای دو‌بعدی هذلولوی ℍ2 نمونهٔ کمال‌یافتهٔ فضاهای با انحنای مقطعی ثابت K = -1 است. در مدل نیم‌صفحه بالایی پوانکاره ℍ2 = {(x, y) ∈ ℝ2 | y > 0}، متریک ریمانی به این صورت تعریف می‌شود:
ds2 = (dx2 + dy2) / y2
عاملِ تقسیم بر y2 موجب می‌شود که هرچه به مرز افقی (y = 0) نزدیک شویم، فواصل بی‌نهایت منبسط شوند؛ گویی مرز فضا در بی‌نهایت محو شده است. ژئودزیک‌ها در این هندسه، نیم‌دایره‌ها و خطوط عمود بر محور افقی هستند.
بخش سوم: تولید سطوح با خارج‌قسمت‌گیری؛ جادوی گروه فوشی
طبق قضیه کارتان-هادامارد، فضای ℍ2 ساده‌همبند و منقبض‌پذیر است و هیچ حفره یا خمیدگی توپولوژیکِ بسته‌ای ندارد. اما چگونه می‌توان از دل این فضای نامتناهی، منیفلدها و سطوح فشرده با جنس‌های گوناگون (مانند چنبره دوسوراخه یا چندسوراخه با g ≥ 2) ساخت؟
پاسخ در کنش آزاد و کاملاً ناپیوستهٔ گروه ایزومتری‌ها نهفته است:
اگر Γ یک زیرگروه گسسته از گروه ایزومتری‌های حافظ جهتِ Isom+(ℍ2) ≅ PSL(2, ℝ) باشد که به صورت آزاد و کاملاً ناپیوسته (Free and Properly Discontinuous) بر ℍ2 عمل کند (گروه فوشی بدون پیچش)، آنگاه فضای خارج‌قسمت:
Σ = ℍ2 / Γ
یک منیفلد ریمانی هموار با انحنای مقطعی ثابت K = -1 است و نگاشت متعارف π : ℍ2 → Σ یک پوشش ریمانی جهان‌شمول (Universal Covering) خواهد بود.
در این ساختار شگرف:
- گروه بنیادی سطحِ حاصله مستقیماً با گروه گسسته ایزومتری متناظر است: π1(Σ) ≅ Γ.
- هر کلاسِ هم‌ارزی از خم‌های بسته در منیفلد، متناظر با یک انتقال هذلولوی (Hyperbolic Translation) در صفحه بالایی پوانکاره است که طولِ کمینهٔ آن برابر با طول یک ژئودزیک بستهٔ یکتاست.
- تقارن‌های شبکه در دامنه‌ی بنیادی (Fundamental Domain) مانند کاشی‌کاری‌های شگفت‌انگیز موریس اشر، بازتابی از خارج‌قسمت‌گیری همین فضای هذلولوی است.
بخش چهارم: فرجام حکمی؛ تنزل از کمالِ نامتعین به تعیناتِ صوری
«پوشش ریمانی، رازِ پیوند میان حقیقتِ لابشرط و صورت‌های به شرطِ شیء است.»
فضای هذلولوی ℍ2 چونان ساحتِ وجودِ منبسط است؛ نامتناهی، هموار، پاک از هرگونه قید و گرهِ توپولوژیک. اما هنگامی که خردِ ریاضی از طریق گروه تقارنی Γ بر آن تجلی می‌کند، نقاطِ متناظر به ریسمانِ اتحاد کشیده می‌شوند و کالبدِ فشردهٔ سطوح (Σ) به ظهور می‌رسد.
ناظرِ محصور در سطحِ بسته گمان می‌برد جهانش کرانمند و چندحلقه‌ای است؛ غافل از آنکه با هر بار گذر از گلوگاهِ حلقه‌ها، در حال پیمودن گام‌هایی بی‌نهایت بر گسترهٔ بی‌پایانِ فضای پوششی پوانکاره است. این همان رمزِ حکمت متعالیه در وحدت در عین کثرت و کثرت در عین وحدت است.
نتیجه و گام پسین
دیدیم که چگونه هندسه هذلولوی از طریق پوشش‌های ریمانی، بستری برای شکل‌گیری سطوح فشرده با جنس‌های بالاتر فراهم می‌کند. این پیوندِ ناگسستنی میان «مساحت هذلولویِ دامنه بنیادی» و «تعداد سوراخ‌های سطح (جنس g)»، مستقیماً ما را به درگاه «قضیه مشهور گاوس-بونه (Gauss-Bonnet)» می‌برد، جایی که انتگرال انحنا برابر با حاصل‌ضرب 2πχ(M) خواهد شد.
واژگان کلیدی:
پوشش ریمانی، ایزومتری موضعی، فضای هذلولوی پوانکاره، گروه فوشی (Fuchsian Group)، پوشش جهان‌شمول، دامنه بنیادی، قضیه یکنواخت‌سازی.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.