تانسور انحنای ریمان

در شاخه هندسه دیفرانسیلِ ریاضیات، تانسور انحنای ریمان (Riemann curvature tensor) یا تانسور ریمان-کریستوفل (Riemann–Christoffel tensor) (براساس نام‌های برنهارت ریمان و الوین برونو کریستوفل)، رایج‌ترین روشی است که برای بیان انحنای منیفلدهای ریمانی مورد استفاده واقع می‌شود. در این روش تانسوری به هر نقطه از یک منیفلد ریمانی اختصاص داده می‌شود (یعنی میدان تانسوری است). این میدان تانسوری ناوردایی از متریک ریمانی است که شکست مشتق هموردای دوم در جابجا شدن را می‌سنجد. یک منیفلد ریمانی دارای انحنای صفر است اگر و تنها اگر تخت باشد، یعنی به‌طور موضعی با فضای اقلیدسی ایزومتر باشد.^[۱] همچنین تانسور انحنا را می‌توان برای هر منیفلد شبه-ریمانی یا حتی برای هر منیفلد مجهز با التصاق آفین تعریف گردد.

این تانسور ابزاری مرکزی در نظریه نسبیت عام است. در این نظریه (نسبیت عام) که نظریهٔ مدرن گرانش است، انحنای فضازمان اصولاً از طریق معادله انحراف ژئودزیک قابل رؤِیت است. تانسور انحنا نمایانگر نیروی کشندی است که توسط جسم صلبی که بر روی ژئودزیک حرکت می‌کند تجربه گشته و توسط معادلات ژاکوبی به صورت دقیق بیان می‌گردد.

تعریف ویرایش

فرض کنید $(M,g)$ یک منیفلد ریمانی یا شبه-ریمانی دلخواه بوده و ${\mathfrak {X}}(M)$ فضای تمام میدان‌های برداری روی $M$ باشد. در این مقاله «تانسور انحنای ریمانی» را به صورت نگاشت $R\colon {\mathfrak {X}}(M)\times {\mathfrak {X}}(M)\times {\mathfrak {X}}(M)\rightarrow {\mathfrak {X}}(M)$ تعریف می‌کنیم که توسط فرمول زیر^[۲] تعریف شده‌اند که در آن‌ها $\nabla$ یک التصاق آفینی است:

$R(X,Y)Z=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z$

یا به‌طور معادل:

$R(X,Y)=[\nabla _{X},\nabla _{Y}]-\nabla _{[X,Y]}$

که در آن $[X,Y]$ کروشه لی از میدان‌های برداری بوده و $[\nabla _{X},\nabla _{Y}]$ جابجاگر عملگرهای دیفرانسیلی است. برای هر جفت از بردارهای مماس $u,v$ ،‏ $R(u,v)$ تبدیلی خطی از فضای مماس آن منیفلد است. $R(u,v)$ برحسب $u$ و $u$ خطی بوده و لذا یک تنسور را تعریف می‌کند. گاهی این تنسور انحنا با علامت‌های متضادی تعریف می‌گردد.

اگر $X=\partial /\partial x^{i}$ و $Y=\partial /\partial x^{j}$ میدان‌های برداری باشند، آنگاه $[X,Y]=0$ بوده و لذا فرمول به صورت زیر ساده‌سازی می‌گردد:

$R(X,Y)Z=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z.$

این تانسور انحنا «میزان ناجابجا بودن مشتق هموردا» را سنجیده و لذا مانع انتگرال‌پذیری برای وجود یک ایزومتری با ساختار فضای اقلیدسی است (در این بستر به آن فضای تخت گفته می‌شود). به تبدیل خطی $w\mapsto R(u,v)w$ نیز تبدیل انحنا (curvature transformation) یا اندومورفیسم (یا درونریختی) گفته می‌شود.

همچنین فرمول انحنا را می‌توان برحسب مشتق هموردای دوم به این صورت تعریف کرد:^[۳]

$\nabla _{u,v}^{2}w=\nabla _{u}\nabla _{v}w-\nabla _{\nabla _{u}v}w$

که برحسب $u$ و $v$ خطی است. سپس:

$R(u,v)=\nabla _{u,v}^{2}-\nabla _{v,u}^{2}$

ازینرو در حالت کلی که از بردارهای غیر-مختصاتی $u$ و $v$ استفاده شود، تانسور انحنا میزان ناجابجایی بودن مشتق هموردای دوم را می‌سنجد.

تقارن‌ها و اتحادها ویرایش

تانسور انحنای ریمان دارای تقارن‌ها و اتحادهای زیر است:

تقارن اریب	$R(u,v)=-R(v,u)$	$R_{abcd}=-R_{abdc}\Leftrightarrow R_{ab(cd)}=0$
تقارن اریب	$\langle R(u,v)w,z\rangle =-\langle R(u,v)z,w\rangle$	$R_{abcd}=-R_{bacd}\Leftrightarrow R_{(ab)cd}=0$
اولین اتحاد بیانکی (جبری)	$R(u,v)w+R(v,w)u+R(w,u)v=0$	$R_{abcd}+R_{acdb}+R_{adbc}=0\Leftrightarrow R_{a[bcd]}=0$
تقارن تبادلی	$\langle R(u,v)w,z\rangle =\langle R(w,z)u,v\rangle$	$R_{abcd}=R_{cdab}$
دومین اتحاد بیانکی (دیفرانسیلی)	$\left(\nabla _{u}R\right)(v,w)+\left(\nabla _{v}R\right)(w,u)+\left(\nabla _{w}R\right)(u,v)=0$	$R_{abcd;e}+R_{abde;c}+R_{abec;d}=0\Leftrightarrow R_{ab[cd;e]}=0$