فضای متریک با گروه هولونومی مشخص (Metric Space with Specified Holonomy)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک با گروه هولونومی مشخص (Metric Space with Specified Holonomy) :
تعریف: در هندسه ریمانی، هولونومی (holonomy) یک مفهوم مهم است که میزان پیچ خوردگی (twist) فضا را هنگام انتقال موازی در طول حلقه ها اندازه می گیرد. گروه هولونومی در یک نقطه
\[ p \]، مجموعه همه نگاشت های خطی
\[ T_pM \to T_pM \]است که از انتقال موازی در طول حلقه های بسته بر مبنای
\[ p \]به دست می آیند. فضاهای با گروه هولونومی مشخص (مثلا
\[ SU(n) \]،
\[ Sp(n) \]،
\[ G_2 \]) دارای ساختارهای هندسی ویژه ای هستند.
\[ \operatorname{Hol}_p(M) \subset O(T_pM) \]توضیح مفهومی: طبقه بندی برگر (Berger) در سال ۱۹۵۵، همه گروه های هولونومی ممکن برای خمینه های ریمانی ساده همبند و غیرمحصولی را فهرست کرد. این طبقه بندی نقش اساسی در هندسه دیفرانسیل مدرن دارد و به کشف ساختارهای جدید مانند خمینه های کالابی-یائو (هولونومی
\[ SU(n) \])، خمینه های هایپرکیلر (هولونومی
\[ Sp(n) \])، و خمینه های با هولونومی
\[ G_2 \]و
\[ Spin(7) \](در بعد ۷ و ۸) انجامید.
گروه های هولونومی مهم:
\[ O(n) \]
: حالت عمومی (بدون ساختار اضافی).
\[ SO(n) \]
: خمینه های جهت پذیر.
\[ U(n) \]
: خمینه های کیلر (Kähler).
\[ SU(n) \]
: خمینه های کالابی-یائو (انحنای ریچی صفر).
\[ Sp(n) \]
: خمینه های هایپرکیلر (Hyperkähler).
\[ Sp(n)Sp(1) \]
: خمینه های کواترنیونی-کیلر (Quaternionic Kähler).
\[ G_2 \]
: خمینه های ۷-بعدی با هولونومی
\[ G_2 \].
\[ Spin(7) \]
: خمینه های ۸-بعدی با هولونومی
\[ Spin(7) \].
ویژگی های اصلی:
هر یک از این گروه ها با وجود یک ساختار هندسی خاص (مانند ساختار مختلط، ساختار سیمپلکتیک، فرم های کالبریشن) همراه است.
خمینه های با هولونومی
\[ SU(n) \](کالابی-یائو) در نظریه ریسمان اهمیت دارند.
خمینه های با هولونومی
\[ G_2 \]و
\[ Spin(7) \]در ابعاد ۷ و ۸، خمینه های با هولونومی ویژه (special holonomy) نامیده می شوند.
قضیه برگر: اگر
\[ M \]ساده همبند، غیرمحصولی و نه متقارن باشد، گروه هولونومی یکی از این موارد است.
کاربردها: فضاهای با هولونومی ویژه در نظریه ریسمان (برای فشرده سازی ابعاد اضافی)، هندسه دیفرانسیل، و فیزیک ریاضی (نظریه میدان های پیمانه ای) کاربرد دارند.
📌 مثال ساده:
کره
\[ S^n \]دارای هولونومی
\[ SO(n) \]است (چون جهت پذیر است).
یک خمینه کالابی-یائو مانند کوینت در
\[ \mathbb{C}P^4 \]دارای هولونومی
\[ SU(3) \]است.
