گروه بنیادی و فضاهای پوشاننده
گروه بنیادی چگونگی انقباضپذیری و عدم انقباضپذیری حلقهها در یک فضا را ثبت میکند، و نظریه فضای پوشاننده زیرگروههای آن را به یک فرهنگ لغت هندسی کامل از فضاهایی که فضای اصلی را احاطه میکنند، ترجمه میکند.
Definition
گروه بنیادی یک فضای نقطهدار، گروهی است که عناصر آن کلاسهای هموتوپی حلقههای مستقر در آن نقطه هستند، با عمل الحاق (concatenation)؛ یک فضای پوشاننده، نگاشتی است که به صورت محلی یک پشته (stack) بدیهی از کپیهای پایه است، و نظریه آن چنین نگاشتهایی را به زیرگروههای گروه بنیادی مرتبط میکند.
Scope
این موضوع به معرفی هموتوپی مسیرها، گروه بنیادی به عنوان گروه کلاسهای حلقه مستقر در یک نقطه، و محاسبه آن از طریق قضیه ون کامپن میپردازد. همچنین فضاهای پوشاننده، معیار بالابری (lifting criterion)، و تناظر گالوا-مانند بین زیرگروههای گروه بنیادی و پوششهای همبند، شامل پوشش جهانی و تبدیلهای دک (deck transformations) را توسعه میدهد. کاربردهایی مانند طبقهبندی پوششهای دایره و محاسبه گروههای بنیادی گرافها و سطوح نیز گنجانده شده است.
Core questions
- چگونه گروه بنیادی سوراخهایی را که مانع از انقباض حلقهها میشوند، تشخیص میدهد؟
- چگونه قضیه ون کامپن گروه بنیادی یک فضا را از گروههای بنیادی قطعات همپوشان آن میسازد؟
- تناظر دقیق بین فضاهای پوشاننده همبند و زیرگروههای گروه بنیادی چیست؟
- چه زمانی یک نگاشت از طریق یک پوشش بالا میرود (lifts)، و پوشش جهانی چه نقشی ایفا میکند؟
Key concepts
- هموتوپی مسیرها و الحاق حلقه
- گروه بنیادی و تابعیت آن تحت نگاشتهای حفظکننده نقطه پایه
- قضیه ون کامپن
- فضاهای پوشاننده، معیار بالابری و تبدیلهای دک
- پوشش جهانی و تناظر گالوا برای پوششها
Clinical relevance
گروه بنیادی اولین و قابل دسترسترین ناوردای جبری است که دایره را از دیسک متمایز میکند و زیربنای مونودرومی، نظریه سطوح ریمان، و طبقهبندی بستههای تخت (flat bundles) است؛ نظریه فضای پوشاننده مدل توپولوژیکی برای نظریه گالوا و برای خارجقسمتها (quotients) توسط کنشهای گروهی است.
History
پوآنکاره گروه بنیادی را در Analysis Situs (1895) معرفی کرد؛ قضیه سیفرت-ون کامپن در دهه 1930 آن را با چسباندن (gluing) قابل محاسبه ساخت، و تناظر سیستماتیک بین پوششها و زیرگروهها، که از طریق تبدیلهای دک رسمیت یافت، قیاس با نظریه گالوا را که اکنون در برنامه درسی استاندارد است، برقرار کرد.
Key figures
- Henri Poincaré
- Egbert van Kampen
- Allen Hatcher
Related topics
Seminal works
- hatcher2002
- bredon1993
Frequently asked questions
- چرا گروه بنیادی دایره اعداد صحیح است؟
- یک حلقه روی دایره تا هموتوپی بر اساس تعداد دفعاتی که به دور خود میپیچد، با علامت برای جهت، طبقهبندی میشود؛ این عدد پیچش (winding number) تحت الحاق جمعپذیر است و یک همریختی با اعداد صحیح ایجاد میکند.
- پوشش جهانی چیست؟
- این یک فضای پوشاننده همبند ساده (simply connected) یک فضای (مناسب) است؛ این پوشش با زیرگروه بدیهی در فرهنگ لغت فضای پوشاننده مطابقت دارد و گروه بنیادی را به عنوان گروه تبدیلهای دک خود حمل میکند.