وبلاگ

مفهوم گروه‌وارها در هندسه دیفرانسیل در سال 1950 توسط اریزمن[1] مطرح شد که در واقع تعمیمی از گروه‌ها می‌باشد.یکی از نظریه‌هایی که بر مبنای گروه‌وارها می‌توان ساختارهای آن را مشخص کرد، نظریه‌ی فضاهای پوششی است. این نظریه یکی از مهم‌ترین نظریه‌ها در توپولوژی جبری است که با مطالعه‌ی رسته‌ها، گروه‌وارها و روابط بین آن‌ها در فضاهای پوششی، مفهوم پوشش بامعنا می‌شود که این روابط توسط براون[2]، هاردی[3]، آیسن[4] و موسوک[5] در مراجع [2,6,9,10,14,16]، مورد بررسی قرار گرفته است. در سال 1971، هایگنز نشان داد نظریه‌ی گروه­وارهای پوششی نقش مهمی را در عملکرد گروه‌وارها ایفا می‌کنند. در این نظریه دو نتیجه‌ی مهم و کلیدی وجود دارد که بررسی توپولوژیکی این دو نتیجه، در سال 1976 توسط براون و هاردی در مرجع [2]، بیان شده است. طی این بررسی براون در سال 2006 در مرجع [1]، هم‌ارزی رسته‌ی  از پوشش­های توپولوژیکی  و رسته‌ی از گروه‌وارهای پوششی گروه­وار بنیادی  را برای فضای توپولوژیکی  که دارای پوشش جهانی می‌باشد، نشان داد.

در سال 1998، در مرجع [14]، موسوک نظریه‌ی حلقه-گروه‌وار را تعریف کرد. علاوه بر آن ثابت کرد که برای حلقه‌ی توپولوژیکی ،  یک حلقه-گروه‌وار می‌شود. سپس هم‌ارزی رسته‌ی  از پوشش‌های حلقه‌ای توپولوژیکی  و رسته‌ی  از پوشش‌های حلقه-گروه‌واری  را نشان داد.

در فصل اول این پایان‌نامه، مفاهیمی از توپولوژی جبری مانند هموتوپی، هموتوپی‌راهی و اولین گروه بنیادی را بیان می‌کنیم. سپس تعاریفی

 از نگاشت‌های پوششی، بالابرها، رسته‌ها و تابع­گون‌ها می‌آوریم و در آخر به مفاهیمی از فضاهای توپولوژیکی، گروه‌ها وحلقه‌ها می‌پردازیم.

در فصل دوم، گروه‌وارها و گروه‌وارهای توپولوژیکی را معرفی می‌نماییم، سپس مفاهیمی از هموتوپی و اولین گروه بنیادی روی گروه‌وارها را مورد بررسی قرار می‌دهیم.

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

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

در فصل پنجم به معرفی رسته‌هایی در فضاهای پوششی و همچنین رسته‌هایی از پوشش‌های گروه‌واری می‌پردازیم و به کمک بالابرها هم‌ارزی بین ، که یک زیررسته‌ی کامل از  می‌باشد و  که یک زیررسته‌ی کامل از  می‌باشد، را نشان می‌دهیم. در نهایت نگاشت بالابرنده روی گروه‌وارهای پوششی را تعریف می‌کنیم.