از ویکیپدیا، دانشنامه آزاد
در ریاضیات و به طور خاص در توپولوژی ، نظریه هموتوپی منطقی یک نسخه ساده شده از نظریه هموتوپی برای فضاهای توپولوژیکی است که در آن همه پیچ خوردگی در گروه های هموتوپی نادیده گرفته می شود. توسط دنیس سالیوان ( 1977 ) و دانیل کویلن ( 1969 ) تاسیس شد. این ساده سازی نظریه هموتوپی محاسبات را بسیار ساده تر می کند.
انواع همجنس منطقی فضاهای متصل به سادگی را می توان با (کلاسهای ایزومورفیسم) برخی از اجسام جبری به نام مدلهای حداقلی سالیوان ، که جبرهای درجه بندی متغیر مبادله ای بر اساس اعداد منطقی هستند و شرایط خاصی را برآورده می کنند ، شناسایی کرد.
یک کاربرد هندسی قضیه سالیوان و میشلین ویگو-پوآریر (1976) بود: هر منیفولد X بسته ریمانی که به سادگی متصل می شود و حلقه همسانی منطقی آن توسط یک عنصر ایجاد نمی شود دارای تعداد بیشماری ژئودزیک بسته از نظر هندسی است . [1] اثبات استفاده تئوری homotopy منطقی نشان می دهد که تعداد بتی از فضای حلقه رایگان از X بیکران است. سپس قضیه از نتیجه 1969 دتلف گرومول و ولفگانگ مایر ناشی می شود .
فهرست
- 1فضاهای منطقی
- 2حلقه کوهومولوژی و هموتوپی جبر دروغ
- 3جبر سالیوان
- 4حداقل مدل سالیوان از یک فضای توپولوژیکی
- 5فضاهای رسمی
- 6مثال ها
- 7فضاهای بیضوی و هذلولی
- 8همچنین ببینید
- 9یادداشت
- 10منابع
فضاهای منطقی [ ویرایش ]
نقشه مداوماز متصل به سادگی فضاهای توپولوژیک است که به نام هم ارزی هموتوپی منطقی اگر القا ریخت در گروه های homotopy tensored با اعداد گویا
به معادل: f معادل هموتوپی منطقی است اگر و تنها در صورتی که باعث ایجاد ایزومورفیسم در گروه های همولوژیک منحصر به فرد با ضرایب منطقی شود. [2] دسته هموتوپی منطقی (از فضاهای متصل به سادگی) تعریف می شود که محلی سازی از دسته از فضاهای متصل به سادگی با توجه به معادله هموتوپی منطقی. هدف نظریه هموتوپی منطقی درک این مقوله است. یعنی اگر همه معادلات هموتوپی منطقی را ایزومورفیسم اعلام کرد ، چقدر اطلاعات باقی می ماند؟
یک نتیجه اساسی این است که مقوله هموتوپی منطقی معادل یک زیرگروه کامل از رده هموتوپی فضاهای توپولوژیکی ، زیرمجموعه فضاهای منطقی است. با تعریف ، یک فضای منطقی یک مجموعه CW به سادگی متصل است که همه گروه های هموتوپی آن فضاهای بردار بر روی اعداد منطقی هستند. برای هر مجموعه CW که به سادگی متصل است، یک فضای منطقی وجود دارد
، منحصر به فرد تا معادل هموتوپی ، با نقشه
که باعث ایجاد ایزومورفیسم در گروه های هموتوپی با اعداد منطقی می شود. [3] فضا
به آن عقلانی شدن می گویند
به این یک مورد خاص از ساخت سالیوان برای محلی سازی یک فضا در مجموعه معینی از اعداد اول است .
یکی تعاریف معادل را با استفاده از همولوژی به جای گروه های هموتوپی دریافت می کند. یعنی یک مجموعه CW به سادگی متصل شده است اگر و فقط در صورتی گروه های همولوژی آن یک فضای منطقی باشد
فضاهای بردار منطقی برای همه هستند
به [4] عقلانیت یک مجموعه CW که به سادگی متصل شده است
فضای منطقی منحصر به فرد است
(تا معادل هموتوپی) با نقشه
که باعث ایجاد ایزومورفیسم در همولوژی منطقی می شود. بنابراین یکی دارد
و
برای همه به
این نتایج برای فضاهای متصل به سادگی با کمی تغییر در فضاهای بدون قدرت (فضاهایی که گروه بنیادی آنها نیرو ندارد و بر گروههای هموتوپی بالاتر به صورت ناخواسته عمل می کند) گسترش می یابد.
محاسبه گروههای هموتوپی کره یک مشکل باز مرکزی در نظریه هموتوپی است. با این حال ، گروههای همگن منطقی از حوزه ها توسط ژان پیر سر در 1951 محاسبه شد :
و
این امر امکان توصیف کل مقوله هموتوپی منطقی را به شیوه ای محاسبه کننده نشان می دهد. نظریه هموتوپی منطقی بیشتر این هدف را محقق کرده است.
در نظریه هموتوپی ، کره ها و فضاهای ایلنبرگ - مک لاین دو نوع متفاوت از فضاهای اساسی هستند که می توان همه فضاها را از آنها ساخت. در نظریه هموتوپی منطقی ، این دو نوع فضا بسیار به هم نزدیک می شوند. به طور خاص ، محاسبه Serre نشان می دهد که فضای ایلنبرگ - مک لین است
به به طور کلی، اجازه دهید X هر فضای که های cohomology منطقی حلقه یک رایگان است مدرج مبادلهای جبر (یک ضرب تانسوری یک حلقه چند جمله ای بر روی ژنراتور حتی درجه و جبر بیرونی در ژنراتور از درجه فرد). سپس عقلانیت
یک کالا از فضاهای Eilenberg را-MacLane. فرضیه حلقه کوهومولوژی برای هر گروه فشرده دروغ (یا به طور کلی ، هر فضای حلقه ) اعمال می شود. [5] به عنوان مثال ، برای گروه واحد SU ( n ) ،
حلقه کوهومولوژی و هموتوپی جبر دروغ [ ویرایش ]
دو تغییر ناپذیر اساسی از یک فضا X در دسته هموتوپی منطقی وجود دارد: حلقه کوهومولوژی منطقی و homotopy دروغ جبر
به هم شناسی منطقی یک جبر درجه بندی شده و مبادله ای است
، و گروههای هموتوپی از طریق محصول Whitehead جبر درجه بندی شده Lie را تشکیل می دهند . (دقیق تر ، نوشتن
برای فضای حلقه X ، ما آن را داریم
یک درجه جبر دروغ است
به با توجه به ایزومورفیسم
، این فقط به تغییر درجه بندی 1 می انجامد.) به عنوان مثال ، قضیه Serre در بالا چنین می گوید
است رایگان جبر دروغ مدرج در یک ژنراتور از درجه
به
راه دیگر برای از جبر هموتوپی دروغ فکر می کنم این است که همسانی از فضای حلقه از X است جبر پوشاند جهانی از جبر دروغ هموتوپی: [6]
برعکس ، می توان جبر دروغی هموتوپی منطقی را از همولوژی فضای حلقه به عنوان زیرفضای عناصر ابتدایی در جبر Hopf بازسازی کرد. به [7]
نتیجه مرکزی این نظریه این است که مقوله هموتوپی منطقی را می توان به صورت کاملاً جبری توصیف کرد. در واقع ، به دو روش مختلف جبری. ابتدا ، Quillen نشان داد که طبقه هموتوپی منطقی معادل دسته هموتوپی جبرهای درجه بندی دیفرانسیل متصل به هم است . (جبر دروغ درجه بندی مرتبطدروغ جبر هموتوپی.) دوم است، به Quillen نشان داد که دسته هموتوپی منطقی معادل دسته homotopy از 1 متصل دیفرانسیل مدرج cocommutative است coalgebras . [8] (coalgebra مربوط به همولوژیکی منطقی X به عنوان یک coalgebra است ؛ فضای بردار دوگانه حلقه cohomology منطقی است.) این معادلات از جمله اولین کاربردهای نظریه دسته های مدل Quillen بودند .
به طور خاص ، توصیف دوم حاکی از آن است که برای هر گونه درجه بندی-رفت و آمد-جبر A از فرم
با هر فضای بردار از بعد محدود ، یک فضای X به سادگی متصل وجود دارد که حلقه همسانی منطقی آن ایزومورفیک A است . (در مقابل، محدودیت های بسیاری، به طور کامل درک نشده است، در انتگرال و یا وزارت دفاع وجود دارد ص حلقه cohomology از فضاهای توپولوژیک، برای اعداد اول ص .) در همان روح، سالیوان نشان داد که هر درجه بندی مبادلهای
-جبر با
که ارضا پوانکاره دوگانگی حلقه cohomology از برخی به سادگی متصل است صاف منیفولد بسته، به جز در بعد 4 ؛ در این مورد ، فرد همچنین باید فرض کند که تقاطع در حال جفت شدن است
از شکل است
بر فراز
به [9]
ممکن است س askال شود که چگونه می توان بین دو توصیف جبری از طبقه بندی هموتوپی منطقی عبور کرد. به طور خلاصه ، یک جبر دروغ یک جبر درجه بندی شده و جابجایی را توسط گروه شناسی جبر Lie تعیین می کند ، و یک جبر تعویضی افزایش یافته ، جبر درجه بندی شده لی را با کاهش همنوازی آندره-کویلن تعیین می کند . به طور کلی ، نسخه هایی از این سازه ها برای جبرهای درجه بندی شده متفاوت وجود دارد. این دوگانگی بین جبرهای مبادله ای و جبرهای دروغ ، نسخه ای از دوگانگی کوزول است .
جبر سالیوان [ ویرایش ]
برای فضاهایی که همسانی منطقی آنها در هر درجه دارای ابعاد محدود است ، سالیوان همه انواع هموتوپی منطقی را بر اساس اشیاء جبری ساده تر ، جبر سالیوان طبقه بندی کرد. طبق تعریف ، جبر سالیوان جبری درجه بندی شده دیفرانسیل متغیر نسبت به معقولات است، که جبر اصلی آن جبر درجه بندی شده مبادله رایگان است
بر روی فضای بردار درجه بندی شده
رضایت در بر داشت زیر "شرایط nilpotence" در دیفرانسیل آن د : فضای V اتحادیه از یک مجموعه از زیرفضاهای درجه بندی است،، جایی که
بر
و
موجود است در
به در زمینه جبرهای درجه بندی دیفرانسیل A ، "جابجایی" به معنای درجه ای-تعویضی استفاده می شود. به این معنا که،
برای یک درو b در
به
اگر تصویر d در آن وجود داشته باشد ، جبر سالیوان حداقل نامیده می شود، جایی که
مجموع مستقیم زیر فضاهای درجه مثبت است
به
مدل سالیوان برای یک دیفرانسیل مبادلهای درجه بندی جبر جبر سالیوان است با همومورفیسم
که باعث ایجاد ایزومورفیسم در همولوژی می شود. اگر
، سپس A دارای حداقل مدل سالیوان است که تا ایزومورفیسم منحصر به فرد است. (هشدار: حداقل جبر سالیوان با همان جبر کوهومولوژی A نیازی به الگوی حداقلی سالیوان برای A نیست : همچنین لازم است که ایزومورفیسم همولوژی با همومورفیسم جبرهای درجه بندی شده متفاوت ایجاد شود. نمونه هایی از غیر ایزومورفیک وجود دارد حداقل مدلهای سالیوان با جبرهای کوهومولوژی ایزومورفیک.)
حداقل مدل سالیوان یک فضای توپولوژیکی [ ویرایش ]
برای هر مکان توپولوژیکی X ، سالیوان یک جبر درجه بندی شده دیفرانسیل تعویضی را تعریف کرد، جبر اشکال دیفرانسیل چند جمله ای روی X با ضرایب منطقی نامیده می شود . عنصری از این جبر شامل (تقریباً) یک شکل چند جمله ای در هر یک از ساده های ساده X است که با نقشه های صورت و انحطاط سازگار است. این جبر معمولاً بسیار بزرگ است (ابعاد غیر قابل شمارش) اما می توان آن را با جبر بسیار کوچکتر جایگزین کرد. به طور دقیق تر ، هر جبر درجه بندی دیفرانسیل با همان مدل حداقل سالیوان به عنوان
یک مدل برای فضای X نامیده می شود . وقتی X به سادگی متصل می شود ، چنین مدلی نوع هموتوپی منطقی X را تعیین می کند .
برای هرگونه پیچیدگی CW X که به سادگی با همه گروه های منطقی منطقی از بعد محدود ارتباط دارد ، حداقل مدل سالیوان وجود دارد برای
، که دارای ویژگی آن است
و همه
دارای ابعاد محدود هستند این است که به نام سالیوان مدل حداقل از X ؛ تا ایزومورفیسم منحصر به فرد است. [10] این یک معادله بین انواع هموتوپی منطقی چنین فضاهایی و چنین جبرهایی با ویژگی های زیر می دهد:
- هم شناسی منطقی فضا ، همشناسی مدل حداقلی سالیوان آن است.
- فضاهای تجزیه ناپذیر در V دوگانه گروه های همتای منطقی فضا X هستند .
- محصول وایتهد در هموتوپی منطقی دوگانه "قسمت درجه دوم" دیفرانسیل d است .
- دو فضا دارای یک نوع هموتوپی منطقی هستند اگر و فقط در صورتی که حداقل جبر سالیوان آنها ایزومورف باشد.
- یک فضای X به سادگی متصل شده است که مربوط به هر جبر سالیوان احتمالی است
و همه
از بعد محدود
هنگامی که X یک منیفولد صاف است ، جبر دیفرانسیل اشکال دیفرانسیل صاف در X (مجموعه de Rham ) تقریباً یک مدل برای X است . دقیق تر آن محصول تانسور یک مدل برای X با واقعی است و بنابراین نوع هموتوپی واقعی را تعیین می کند . در واقع می توان به بیشتر و تعریف ص نوع هموتوپی -completed از X برای یک عدد اول ص . "مربع حساب" سالیوان بسیاری از مشکلات در تئوری homotopy به ترکیبی از منطقی و کاهش می دهد ص -completed نظریه homotopy، برای کلیه اعداد اول ص . [11]
ساخت حداقل مدلهای سالیوان برای فضاهای متصل به سادگی به فضاهای بدون قدرت گسترش می یابد. برای گروه های بنیادی کلی تر ، همه چیز پیچیده تر می شود. به عنوان مثال ، گروههای هموتوپی منطقی یک مجموعه CW محدود (مانند گوه) می تواند فضاهای بردار نامحدود باشد.
فضاهای رسمی [ ویرایش ]
مبادلهای دیفرانسیل مدرج جبر ، دوباره با، اگر A دارای مدلی با دیفرانسیل ناپدید شود ، رسمی نامیده می شود . این مساوی است با الزام این که جبر کوه شناسی A (که به عنوان یک جبر افتراقی با دیفرانسیل بی اهمیت در نظر گرفته می شود) مدلی برای A باشد (گرچه لازم نیست حداقل مدل باشد). بنابراین نوع هموتوپی منطقی یک فضای رسمی به طور کامل توسط حلقه همسانی آن تعیین می شود.
نمونه هایی از فضاهای رسمی شامل کره، H-فضاهای ، فضاهای متقارن ، و جمع و جور منیفولدهای Kahler از . [12] رسمیت تحت محصولات و مبالغ گوه حفظ می شود . برای مانیفولدها ، رسمیت با مبالغ متصل حفظ می شود .
از طرف دیگر ، نیلمنفولدهای بسته تقریباً هرگز رسمی نیستند: اگر M یک نایلمنفولد رسمی است ، پس M باید یک توروس در برخی ابعاد باشد. [13] ساده ترین مثال یک نیلمانفولد غیررسمی ، منیفولد هایزنبرگ است ، ضریب گروه هایزنبرگ از ماتریس های مثلثی فوقانی 3 × 3 واقع با 1 در مورب توسط زیرگروه ماتریس های آن با ضرایب انتگرال. منیفولدهای بسته سمپلتیک لازم نیست رسمی باشند: ساده ترین مثال منیفولد Kodaira -Thurston (محصول منیفولد هایزنبرگ با یک دایره) است. همچنین نمونه هایی از منیفولدهای بسته سمپلتیک غیر رسمی و به سادگی متصل وجود دارد. [14]
غیر رسمی اغلب توسط محصولات Massey قابل تشخیص است . در واقع ، اگر جبر درجه بندی شده A رسمی باشد ، همه محصولات ماسسی (مرتبه بالاتر) باید ناپدید شوند. برعکس واقعیت ندارد: رسمیت به معنای خالص ، ناپدید شدن "یکنواخت" همه محصولات ماسسی است. مکمل حلقه های Borromean یک فضای غیر رسمی است: از یک محصول سه بعدی غیرعادی Massey پشتیبانی می کند.
مثالها [ ویرایش ]
- اگر X یک کره از بعد فرد باشد
، مدل سالیوان بسیار ناچیز آن دارای یک ژنراتور از درجه
با
، و اساس عناصر 1 ، الف .
- اگر X یک کره با ابعاد زوج باشد
، حداقل مدل سالیوان آن دارای دو ژنراتور a و b درجه است
و
، با
،
، و اساس عناصر
،
،
، جایی که پیکان عمل d را نشان می دهد .
- اگر X است فضا پیچیده تصویری
با
، حداقل مدل سالیوان آن دارای دو ژنراتور u و x درجه 2 و
، با
و
به این اساس عناصر را دارد
،
،
به
- فرض کنید V دارای 4 عنصر a ، b ، x ، y درجه 2 ، 3 ، 3 و 4 با دیفرانسیل باشد
،
،
،
به سپس این جبر حداقل جبر سالیوان است که رسمی نیست. جبر کوهومولوژی تنها در بعد 2 ، 3 ، 6 دارای اجزای غیرجذبی است که به ترتیب توسط a ، b و
به هر گونه همومورفیسم از V تا جبر کوه شناسی آن y را به 0 و x را به مضرب b نشان می دهد . بنابراین نقشه می دهد
تا 0. بنابراین V نمی تواند الگویی برای جبر کوه شناسی آن باشد. فضاهای توپولوژیکی مربوطه دو فضا با حلقه های همومولوژی منطقی ایزومورفیک اما انواع هموتوپی منطقی متفاوت هستند. توجه کنید که
در محصول Massey وجود دارد
به
فضاهای بیضوی و هذلولی [ ویرایش ]
نظریه هموتوپی منطقی یک دوگانگی غیرمنتظره را در بین مجتمع های CW محدود نشان داد: یا گروههای هموتوپی منطقی در درجات به اندازه کافی صفر هستند ، یا آنها به طور تصاعدی رشد می کنند . به عبارت دیگر ، بگذارید X یک فضای متصل به سادگی باشد یک بعد محدود است
فضای بردار (برای مثال ، یک مجموعه CW محدود دارای این ویژگی است). تعریف X به عقلانی بیضوی اگر
همچنین ابعاد متناهی است
فضای بردار ، و در غیر این صورت منطقی هذلولی است . سپس فلیکس و هالپرین نشان دادند: اگر X منطقی هذلولی باشد ، یک عدد واقعی وجود دارد
و یک عدد صحیح N به طوری که
برای همه به [15]
به عنوان مثال ، کره ها ، فضاهای پیچیده پیش بینی شده و فضاهای همگن برای گروه های فشرده دروغ بیضوی هستند. از سوی دیگر ، "بیشتر" مجموعه های محدود هذلولی هستند. مثلا:
- حلقه همسانی منطقی یک فضای بیضوی دوگانگی پوانکره را ارضا می کند. [16]
- اگر X یک فضای بیضوی باشد که بالاترین گروه همسانی منطقی غیر صفر آن در درجه n است ، پس هر عدد Betti}
حداکثر ضریب دو جمله ای است
(با برابری برای n -بعدی torus). [17]
- مشخصه اویلر از یک فضای بیضوی X نامنفی است. اگر ویژگی اویلر مثبت باشد ، پس همه اعداد بتی فرد
صفر هستند و حلقه منطقی همسانی X یک حلقه تقاطع کامل است . [18]
بسیاری دیگر از محدودیت ها در حلقه هم منطقی منطقی یک فضای بیضوی وجود دارد. [19]
حدس بات پیش بینی می کند که هر منیفولد بسته ریمانی بسته شده به سادگی با انحنای مقطعی غیر منفیباید منطقی بیضوی باشد. اطلاعات اندکی در مورد این حدس وجود دارد ، اگرچه در مورد همه نمونه های شناخته شده از چنین چند وجهی صدق می کند. [20]
حدس هالپرین ادعا می کند که توالی طیفی Serre منطقیاز یک دنباله فیبر از فضاهای متصل به سادگی با فیبر بیضوی منطقی با ویژگی اولر غیر صفر در صفحه دوم ناپدید می شود.
به سادگی وصل مجموعه محدود X عقلانی بیضوی است اگر و تنها اگر همسانی منطقی از فضای حلقهحداکثر چند جمله ای رشد می کند به طور کلی تر ، اگر مدلسازی p p از X نامیده شود بیضوی است
حداکثر برای چند عدد ، برای هر عدد اول p رشد می کند . همه منیفولدهای ریمانی شناخته شده با انحنای مقطعی غیر منفی در واقع بیضوی یکپارچه هستند. [21]
همچنین ببینید [ ویرایش ]
- قضیه مندل -آنالوگ نظریه هموتوپی منطقی در تنظیمات p-adic
- نظریه هموتوپی رنگی
منبع
https://en.wikipedia.org/wiki/Rational_homotopy_theory


در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.