فضای متریک پایای پیمانه ای (Gauge-Invariant Metric Space)، در ریاضیات (Mathematics)

انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :

فضای متریک پایای پیمانه ای (Gauge-Invariant Metric Space) :

تعریف: در نظریه پیمانه ای (gauge theory) و فیزیک، یک متریک پایای پیمانه ای (gauge-invariant) متریکی است که تحت تبدیل های پیمانه ای (gauge transformations) ناوردا باشد. در هندسه دیفرانسیل، این مفهوم معمولا در مورد متریک های روی دسته های برداری (vector bundles) با اتصالات (connections) مطرح می شود. یک متریک روی یک دسته برداری پایای پیمانه ای است اگر با عمل گروه پیمانه ای (گروه اتومورفیسم های دسته) جابه جا شود.

برای یک اتصال

\[ A \]

، متریک

\[ g \]

پایای پیمانه ای است اگر

\[ g(A, A) \]

تحت تبدیل های پیمانه ای ناوردا باشد.

توضیح مفهومی: در نظریه میدان های پیمانه ای (مانند الکترودینامیک کوانتومی)، میدان ها تحت تبدیل های پیمانه ای تغییر می کنند، اما کمیت های فیزیکی (مانند فاصله) باید ناوردا باشند. متریک های پایای پیمانه ای نقش مهمی در کوانتش و مطالعه فضاهای مدولی (moduli spaces) دارند.

ویژگی های اصلی:

در نظریه یانگ-میلز، متریک روی فضای مدولی اتصالات (moduli space of connections) معمولا پایای پیمانه ای است.

متریک های پایای پیمانه ای در هندسه دیفرانسیل برای مطالعه عمل گروه های لی روی خمینه ها استفاده می شوند.

متریک های ناشی از ساختارهای هرمیتی روی دسته های برداری، معمولا پایای پیمانه ای هستند.

مثال های مهم:

متریک روی فضای مدولی انیستانتون ها (instantons) در نظریه یانگ-میلز.

متریک روی فضای مدولی اتصالات مسطح (flat connections).

متریک بور (Bures metric) روی ماتریس های چگالی که تحت تبدیل های یکانی ناورداست.

کاربردها: این متریک ها در نظریه میدان های کوانتومی (برای کوانتش)، هندسه دیفرانسیل (برای مطالعه فضاهای مدولی)، و فیزیک ریاضی کاربرد دارند.

ارتباط با هندسه ناجابجاپذیر: در هندسه ناجابجاپذیر، مفهوم پایایی پیمانه ای نقش مهمی در تعریف عملگرهای دیراک و متریک های کوانتومی دارد.

📌 مثال ساده:

در الکترومغناطیس، پتانسیل برداری

\[ A \]

تحت تبدیل

\[ A \mapsto A + d\lambda \]

تغییر می کند. متریک

\[ dA \cdot dA \]

(به صورت انتگرال روی فضا) پایای پیمانه ای نیست، اما

\[ F = dA \]

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

\[ F \]

.