فضای متریک با انحنای اسکالر ثابت (Constant Scalar Curvature Metric Space)، در ریاضیات (Mathematics)

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

فضای متریک با انحنای اسکالر ثابت (Constant Scalar Curvature Metric Space) :

تعریف: یک خمینه ریمانی

\[ (M, g) \]

دارای انحنای اسکالر ثابت (Constant scalar curvature) است اگر تابع انحنای اسکالر

\[ R \]

(که از تانسور ریچی به دست می آید) روی خمینه مقدار ثابتی داشته باشد. این شرط ضعیف تر از اینشتین بودن است (در اینشتین، تانسور ریچی ثابت است، نه فقط اسکالر).

\[ R = \text{constant} \]

توضیح مفهومی: مسئله یافتن متریک هایی با انحنای اسکالر ثابت روی یک خمینه فشرده، یکی از مسائل مهم در هندسه دیفرانسیل است. این مسئله با حدس یامابه (Yamabe problem) مرتبط است که می گوید هر خمینه فشرده را می توان با یک متریک همدیس (conformal) به یک متریک با انحنای اسکالر ثابت تبدیل کرد. این مسئله توسط یامابه، تروبین، اوبن، و شوئن حل شد.

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

حدس یامابه (حل شده): روی هر خمینه ریمانی فشرده

\[ (M, g) \]

، یک متریک همدیس با انحنای اسکالر ثابت وجود دارد.

علامت انحنای اسکالر ثابت با نوع خمینه مرتبط است: برخی خمینه ها نمی توانند متریک با انحنای اسکالر مثبت داشته باشند (مثلا چنبره).

قضیه لیچنروویچ: اگر یک خمینه فشرده اسپین (spin) دارای انحنای اسکالر مثبت باشد، برخی از کلاس های مشخصه آن صفر هستند.

متریک های اینشتین حالت خاصی از انحنای اسکالر ثابت هستند (چون در اینشتین،

\[ R = n\lambda \]

).

مثال های مهم:

فضاهای با انحنای ثابت: انحنای اسکالر آنها ثابت است.

خمینه های اینشتین: انحنای اسکالر ثابت دارند.

چنبره

\[ T^n \]

: با متریک تخت، انحنای اسکالر صفر (ثابت) دارد.

کره

\[ S^n \]

: با متریک کروی، انحنای اسکالر مثبت ثابت دارد.

سطوح از جنس

\[ g \geq 2 \]

: با متریک هذلولوی، انحنای اسکالر منفی ثابت دارند.

قضایای مهم:

قضیه یامابه: هر کلاس همدیس روی یک خمینه فشرده شامل یک متریک با انحنای اسکالر ثابت است.

قضیه کازدان-وارنر: شرایط لازم و کافی برای اینکه یک تابع روی یک خمینه بتواند انحنای اسکالر یک متریک باشد.

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

📌 مثال ساده:

\[ S^2 \]

با متریک کروی:

\[ R = 2 \]

(ثابت).

\[ T^2 \]

با متریک تخت:

\[ R = 0 \]

.

یک سطح از جنس ۲ با متریک هذلولوی:

\[ R = -2 \]

.