نظریه هموتوپی

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

Definition

نظریه هموتوپی به مطالعه فضاهای توپولوژیکی و نگاشت‌ها تا حد هموتوپی — تغییر شکل پیوسته — با استفاده از گروه‌های هموتوپی بالاتر (رده‌های هموتوپی نگاشت‌ها از کره‌ها) و ساختارهای فیبراسیون‌ها و کمپلکس‌های CW می‌پردازد که این ناورداها را قابل بررسی می‌سازد.

Scope

این موضوع گروه‌های هموتوپی بالاتر را تعریف می‌کند که برای ابعاد حداقل دو آبلی هستند و ابزارهایی را توسعه می‌دهد که آنها را محاسبه و به هم مرتبط می‌کنند: فیبراسیون‌ها و دنباله دقیق بلند یک فیبراسیون، قضیه هورویچ که هموتوپی و همولوژی را به هم متصل می‌کند، قضیه وایتهد در مورد هم‌ارزی‌های ضعیف کمپلکس‌های CW، و نظریه انسداد. این موضوع به بررسی مسئله (تا حد زیادی باز) گروه‌های هموتوپی کره‌ها، فضاهای آیلنبرگ-مک‌لین که نشان‌دهنده کوهمولوژی هستند، و دیدگاه مدل-رده‌ای که نظریه هموتوپی را به صورت انتزاعی چارچوب‌بندی می‌کند، می‌پردازد.

Core questions

• چگونه گروه‌های هموتوپی بالاتر گروه بنیادی را گسترش می‌دهند، و چرا آنها در ابعاد بالاتر از یک آبلی هستند؟
• چگونه دنباله دقیق بلند یک فیبراسیون گروه‌های هموتوپی را از قطعات ساده‌تر محاسبه می‌کند؟
• قضیه هورویچ در مورد اولین گروه هموتوپی غیرصفر و رابطه آن با همولوژی چه می‌گوید؟
• چرا گروه‌های هموتوپی کره‌ها اینقدر دشوار هستند، و چه ساختاری آنها را سازماندهی می‌کند؟

Key concepts

• گروه‌های هموتوپی بالاتر و ساختار آبلی آنها
• فیبراسیون‌ها، کوفیبراسیون‌ها، و دنباله دقیق بلند یک فیبراسیون
• قضیه هورویچ و قضیه وایتهد
• فضاهای آیلنبرگ-مک‌لین و نمایش‌پذیری کوهمولوژی
• تقریب CW و نظریه انسداد

Clinical relevance

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

History

هورویچ گروه‌های هموتوپی بالاتر را در دهه ۱۹۳۰ معرفی کرد؛ دنباله طیفی سر و کار وایتهد و دیگران امکان محاسبه را فراهم آورد، و رده‌های مدل کویلن (۱۹۶۷) نظریه هموتوپی را به چارچوبی انتزاعی‌تر تبدیل کرد که کاربرد آن فراتر از توپولوژی است.

Key figures

• Witold Hurewicz
• J. H. C. Whitehead
• Daniel Quillen

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

چرا گروه‌های هموتوپی بالاتر آبلی هستند اما گروه بنیادی لزوماً اینگونه نیست؟

برای ابعاد حداقل دو، فضای کافی برای جابجایی دو کروی‌وار از کنار یکدیگر از طریق استدلال اکمن-هیلتون وجود دارد که منجر به خاصیت جابجایی می‌شود؛ در بعد یک، حلقه‌ها را نمی‌توان به این روش از کنار یکدیگر عبور داد.

آیا گروه‌های هموتوپی کره‌ها شناخته شده‌اند؟

فقط به صورت جزئی. با وجود تلاش‌های فراوان، آنها تنها در محدوده‌ای از ابعاد محاسبه شده‌اند، و تعیین آنها به طور کلی یکی از عمیق‌ترین مسائل باز در توپولوژی باقی مانده است.