ریاضیات

ویژگی دهم: وجود پوشش برای هر زیرگروه

یکی از بنیادی‌ترین نتایج نظریهٔ فضاهای پوششی این است که پوشش‌های همبندِ یک فضا، دقیقاً با زیرگروه‌های گروه بنیادی آن در تناظر هستند. به‌بیان دیگر، هر زیرگروه از گروه بنیادی را می‌توان به‌صورت هندسی، در قالب یک فضای پوششی مشاهده کرد.

صورت قضیه

فرض کنید X فضایی باشد که همبندِ مسیر‌ی، همبندِ مسیر‌یِ موضعی، و نیمه‌موضعاً ساده‌همبند باشد. آنگاه برای هر زیرگروه

یک پوشش همبند

وجود دارد به‌طوری‌که برای نقطه‌ای مانند e₀ ∈ E با

داریم:

یعنی دقیقاً همان زیرگروه H به‌عنوان تصویر گروه بنیادی فضای پوششی ظاهر می‌شود.

معنای شهودی

گروه بنیادیِ X تمام الگوهای ممکنِ حلقه‌ها و پیچش‌های توپولوژیک فضای پایه را ثبت می‌کند. اگر زیرگروهی مانند H را انتخاب کنیم، در واقع تصمیم می‌گیریم کدام حلقه‌ها در فضای پوششی «بسته بمانند» و کدام‌ها هنگام بالا رفتن، ورقه را عوض کنند.

پس انتخاب یک زیرگروه، دقیقاً معادل انتخاب یک نوع خاص از بازشدگیِ توپولوژیک برای فضای X است.

جایگاه این قضیه در طبقه‌بندی پوشش‌ها

این قضیه یک‌طرفِ اصلیِ تناظر کلاسیک میان پوشش‌ها و زیرگروه‌هاست. به‌طور خلاصه:

• هر پوشش همبند، یک زیرگروه از π₁(X, x₀) تعیین می‌کند.
• و برعکس، هر زیرگروه از π₁(X, x₀) یک پوشش همبند تولید می‌کند.

بنابراین، هندسهٔ پوشش‌ها و جبرِ زیرگروه‌ها دو صورت از یک واقعیت واحد هستند.

صورت دقیق‌ترِ تناظر

در شرایط استانداردِ نظریهٔ پوشش‌ها، کلاس‌های هم‌ارزیِ پوشش‌های همبندِ X با کلاس‌های مزدوجِ زیرگروه‌های

در تناظرند.

اگر نقطهٔ پایه و نقطه‌ای از فیبر را نیز مشخص کنیم، این ابهامِ مزدوج‌بودن از میان می‌رود و خودِ زیرگروه H مستقیماً به یک پوشش معین نسبت داده می‌شود.

ساخت شهودی پوشش متناظر با H

برای ساخت چنین پوششی، معمولاً از مسیرهایی که از نقطهٔ پایه x₀ آغاز می‌شوند استفاده می‌شود. سپس دو مسیر را هم‌ارز می‌گیریم هرگاه انتهای یکسان داشته باشند و حلقهٔ حاصل از چسباندن یکی با وارون دیگری در زیرگروه H قرار گیرد.

به‌صورت نمادین، اگر α و β دو مسیر از x₀ به یک نقطهٔ مشترک باشند، می‌نویسیم:

هرگاه:

سپس فضای پوششیِ متناظر، از کلاس‌های هم‌ارزیِ این مسیرها ساخته می‌شود و نگاشت پوششی با گرفتن نقطهٔ انتهایی تعریف می‌شود.

دو حالت مهم

این قضیه، دو نمونهٔ بسیار مهم را به‌صورت طبیعی در خود دارد:

• اگر

  H = {1}

  باشد، پوشش حاصل همان پوشش جهانی است.

• اگر

  H = π₁(X, x₀)

  باشد، پوشش حاصل همان پوشش بدیهی است:

  id_X : X → X

پس پوشش جهانی و پوشش بدیهی، دو سرِ طیفِ تمام پوشش‌های ممکن‌اند.

رابطه با پوشش‌های منظم

اگر زیرگروه H در گروه بنیادی نرمال باشد:

آنگاه پوشش متناظر، یک پوشش منظم خواهد بود. در این صورت، گروه تبدیل‌های پوششی به‌صورت زیر به‌دست می‌آید:

بنابراین، شرط نرمال بودنِ زیرگروه مستقیماً با وجود تقارن‌های کامل در پوشش مرتبط است.

مثال: پوشش‌های دایره

برای

داریم:

زیرگروه‌های این گروه دقیقاً به‌شکل

هستند. هر زیرگروه nℤ متناظر با پوشش n-ورقه‌ای دایره است:

و زیرگروه بدیهی {1} متناظر با پوشش جهانیِ دایره است:

اهمیت قضیه

این نتیجه نشان می‌دهد که مسئلهٔ طبقه‌بندی پوشش‌ها، عملاً به مسئلهٔ طبقه‌بندی زیرگروه‌های گروه بنیادی فروکاسته می‌شود. در نتیجه، بسیاری از پرسش‌های هندسی را می‌توان به زبان جبر گروه‌ها ترجمه کرد، و برعکس.

این همان نقطه‌ای است که نظریهٔ فضاهای پوششی را به یکی از زیباترین پل‌های میان توپولوژی و جبر تبدیل می‌کند.

جمع‌بندی

• برای هر زیرگروه

  H ⊆ π₁(X, x₀)

  یک پوشش همبند متناظر وجود دارد.

• در این پوشش داریم:

  p_*(π₁(E, e₀)) = H

• اگر H = {1} باشد، پوشش جهانی به‌دست می‌آید.
• اگر H = π₁(X, x₀) باشد، پوشش بدیهی حاصل می‌شود.
• اگر H نرمال باشد، پوشش متناظر منظم است و

  Deck(p) ≅ π₁(X, x₀) / H

  برقرار می‌شود.