Уфуқи компактии Коши, дар нисбияти умумӣ навъи гиперсатҳи нулл, яъне нурмонанд аст, ки дар сохтори сабабии фазо-вақт пайдо мешавад. Ин таҳқиқоти Raymond A. Hounnonkpe ва Ettore Minguzzi ба таври умумтар исбот мекунад, ки ҳар гиперсатҳи нулли компакт, ҳамвор, пайваст ва комилан геодезӣ танҳо зери шарти энергияи нулл майдони вектории расандаи нурмонанди ҳамвор ва ба оянда равонашударо қабул мекунад, ки гравитатсияи сатҳии он дар тамоми гиперсатҳ доимӣ аст. Масъалаи кушодае, ки таҳқиқот махсус ҳал мекунад, ҳолати уфуқи дегенератсияшуда аст, ки дар он ҳадди ақал як генератор аз ҷиҳати аффинӣ пурра мебошад.

Натиҷаи нави асосии мақола дар ҳолати дегенератсияшуда боз ҳам қавитар аст: ҳангоми интихоби майдони мувофиқи генератори нулл, гравитатсияи сатҳиро на танҳо доимӣ, балки \(\kappa=0\) низ интихоб кардан мумкин аст. Ба ибораи дигар, дар уфуқи компактии дегенератсияшуда майдони расандаи нурмонанди ҳамвор ва ба оянда равонашудаи \(n\)-ро интихоб кардан мумкин аст ва ин майдон

\[ \nabla_n n=0 \]

баробариро қонеъ мекунад. Ин маъно дорад, ки \(n\) геодезӣ аст ва бо параметризатсияи мувофиқи аффинӣ ҳамоҳанг мебошад.

Механизми математикии таҳқиқот аз он истифода мебарад, ки гравитатсияи сатҳӣ ба майдони интихобшудаи генератор чӣ гуна вобаста аст. Дар гиперсатҳи нулли комилан геодезӣ

\[ \nabla_X n=\omega(X)n \]

як 1-формаи \(\omega\), ки ба ин шакл муайян мешавад, вуҷуд дорад ва гравитатсияи сатҳӣ

\[ \kappa=\omega(n) \]

муайян карда мешавад. Ҳангоми аз нав миқёс кардани майдони генератор ба шакли \(n'=e^{-f}n\), гравитатсияи сатҳӣ

\[ \kappa'=e^{-f}\bigl(\kappa-n(f)\bigr) \]

табдил меёбад. Аз ин рӯ,

\[ n(f)=\kappa \]

агар муодилаи когомологӣ ҳалли ҳамвор дошта бошад, дар майдони нав \(\kappa'=0\) ба даст меояд. Ҳамин тавр, масъалаи асосии исботи мақола масъалаи геометрии гравитатсияи сатҳиро ба масъалаи ҳалшавандагии як муодилаи муайяни когомологӣ табдил медиҳад.

Исбот бо як абзори ягонаи математикӣ анҷом дода намешавад. Муаллифон аз шарти энергияи нулл натиҷаи \(i_n d\omega=0\)-ро мебароранд; сохтори ҷараёни Риманро истифода мебаранд; бо ribbon argument миёнаҳои дарозмуддати генераторҳои гуногунро муқоиса мекунанд; бо теоремаи эргодикии Birkhoff ин миёнаҳоро ба шартҳои интегралии глобалӣ мепайванданд; дар ҳолати изометрӣ назарияи Hodge ва дар ҳолати умумӣ ҳамсоягиҳои Carrière ва basic когомологияро истифода мебаранд. Ғайр аз ин, дар ҳолати торуси дорои мадорҳои зич бо таҳлили Fourier натиҷаи қавитар, яъне \(d\omega=0\), ҳосил мешавад.

Тафсири таҳқиқот бояд эҳтиёткорона бошад. Натиҷа намегӯяд, ки ҳамаи уфуқҳои компакт барои ҳар \(n\)-и пешакӣ додашуда аллакай гравитатсияи сатҳии доимӣ доранд. \(\kappa\) ба нормализатсияи майдони генератори нулл вобаста аст. Теорема мавҷудияти майдони мувофиқи генератори ҳамворро исбот мекунад. Илова бар ин, гравитатсияи сатҳии доимӣ худ ба худ мавҷудияти симметрияи Killing дар фазо-вақт, фарзияи сензураи қавии кайҳонӣ ё ҳамаи хусусиятҳои термодинамикии сӯрохии сиёҳи физикиро исбот намекунад.

Уфуқи Компактии Коши Чист ва Теоремаи Асосӣ Чӣ Мегӯяд?

Теоремаи асосии таҳқиқот исбот мекунад, ки агар дар ҳар андозаи фазо-вақт шарти энергияи нулл иҷро шавад, дар ҳар гиперсатҳи нулли компакт, ҳамвор, пайваст ва комилан геодезӣ майдони вектории расандаи нурмонанди ҳамвор ва ба оянда равонашударо интихоб кардан мумкин аст, ки гравитатсияи сатҳиаш доимӣ бошад; дар ҳолати дегенератсияшуда бошад ин доимиро сифр интихоб кардан мумкин аст.

Гиперсатҳи нулл чист?

Дар нисбияти умумӣ фазо-вақт геометрияи дорои сигнатураи Лоренсӣ мебошад. Агар дар фазои расандаи гиперсатҳ самте мавҷуд бошад, ки нормааш сифр, вале худаш ғайрисифр аст, гиперсатҳро нулл ё нурмонанд номидан мумкин аст. Ин самтҳои махсус генераторҳои нурмонанди уфуқро ташкил медиҳанд.

Мақола истилоҳи “horizon”-ро махсусан ба чунин маъно истифода мебарад: гиперсатҳи нулли ҳамвор, пайваст ва комилан геодезӣ. Муаллифон дар ин таъриф шарти глобалии achronality-ро ҳатмӣ намешуморанд. Уфуқҳои компактии Коши ба ин синфи умумитар дохил мешаванд.

Комилан геодезӣ будан чӣ маъно дорад?

Ҳангоми комилан геодезӣ будани гиперсатҳ, геометрияи ҳаракати мувофиқи геодезие, ки расандаи ибтидоии он ба гиперсатҳ тааллуқ дорад, бо сохтори гиперсатҳ мувофиқ аст. Дар мақола ин хусусият барои майдони генератори нулл \(n\)

\[ \nabla_X n=\omega(X)n \qquad X\in TH \tag{1} \]

бо ин баробарӣ ифода мешавад.

Дар ин ҷо:

• \(H\): уфуқ ё гиперсатҳи нулли компакт,
• \(TH\): бандчаи расандаи \(H\),
• \(X\): ҳар майдони вектории ҳамворе, ки ба \(H\) расанда аст,
• \(n\): майдони генератори нулл ва ба оянда равонашуда,
• \(\nabla\): пайвастагии Levi-Civita,
• \(\omega\): 1-формаест, ки дар \(H\) муайян шудааст.

Ҷиҳати муҳими баробарӣ он аст, ки \(\nabla_Xn\) ба ҷойи эҷоди самти нави мустақили расанда боз ҳам дар самти \(n\) мемонад.

Чаро уфуқи Коши муҳим аст?

Уфуқҳои Коши бо сарҳадҳои минтақае алоқаманданд, ки дар он ояндаи фазо-вақт аз маълумоти ибтидоии додашуда ба таври ягона муайян мешавад. Аз ин рӯ, мақола масъаларо бо андешаи сензураи қавии кайҳонии Penrose ва барномаи симметрияи уфуқии Isenberg–Moncrief мепайвандад.

Аммо таҳқиқот фарзияи сензураи қавии кайҳониро исбот намекунад. Мавҷудияти гравитатсияи сатҳии доимӣ ҳамчун шарти муҳими пешакии геометрӣ барои усулҳои минбаъдаи васеъ кардани майдони Killing баррасӣ мешавад.

Чаро мисоли геодезии нулли пӯшида дар муқаддима истифода мешавад?

Муаллифон аввал ғояи асосиро тавассути геодезии нурмонанди пӯшидаи содатар шарҳ медиҳанд. Барои порчаи геодезӣ бо параметризатсияи аффинӣ

\[ \gamma:[0,\lambda]\rightarrow M, \qquad \gamma(\lambda)=\gamma(0), \qquad \dot{\gamma}(\lambda)=a\dot{\gamma}(0) \]

бигзор бошад.

Агар \(a>1\) бошад, дарозии умумии аффинии геодезие, ки ба самти оянда беохир давр мезанад, бо қатори геометрӣ

\[ \lambda \sum_{i=0}^{\infty} \left(\frac{1}{a}\right)^i = \lambda\frac{a}{a-1} \]

мешавад ва маҳдуд аст. Аз ин рӯ, геодезӣ ба самти оянда аз ҷиҳати аффинӣ пурра нест.

Дар ин ҳолат майдони интихобшуда дар манбаъ

\[ n(t)= \left[ 1-\frac{t}{\lambda} \left(1-\frac{1}{a}\right) \right]\dot{\gamma}(t) \]

ва гравитатсияи сатҳӣ

\[ \nabla_n n=\kappa n, \qquad \kappa= -\frac{1}{\lambda} \left(1-\frac{1}{a}\right) \]

ба ин шакл аст.

Ин мисол исботи теоремаи асосӣ нест. Дар гиперсатҳҳои умумии нулли компакт генераторҳо ҳатман пӯшида нестанд; баъзе мадорҳо метавонанд торусҳоро ба таври зич пур кунанд. Душвории математикии мақола дар он аст, ки ҳамин сохтори гравитатсияи сатҳии доимӣ дар чунин ҳолати динамикии мураккабтар низ сохта шавад.

Гравитатсияи Сатҳӣ Чист ва Чаро ба Майдони Генератор Вобаста Аст?

Дар ин таҳқиқот гравитатсияи сатҳӣ бо \(\kappa=\omega(n)\) муайян мешавад ва функсияест, ки ба параметризатсияи майдони интихобшудаи генератори нулли \(n\) вобаста аст; ҳадафи теорема нишон додани доимӣ будани \(\kappa\) барои ҳар \(n\)-и пешакӣ додашуда нест, балки исбот кардани он аст, ки \(\kappa\)-ро бо интихоби майдони ҳамвори мувофиқ доимӣ кардан мумкин аст.

Агар дар Eq. (1) \(X=n\) интихоб шавад

\[ \nabla_n n=\omega(n)n=\kappa n \]

ҳосил мешавад.

Ҳангоми \(\kappa=0\)

\[ \nabla_n n=0 \]

мешавад ва каҷҳои интегралии \(n\) зери ин параметризатсия геодезӣ мебошанд.

Агар генератор аз нав миқёс карда шавад, чӣ мешавад?

Табдили калидии мақола

\[ n'=e^{-f}n \]

аст. Дар ин ҷо \(f:H\rightarrow\mathbb{R}\) функсияи ҳамвор аст ва чун \(e^{-f}>0\), самти оянда нигоҳ дошта мешавад.

Дар зери ин табдил 1-форма:

\[ \omega'=\omega-df \tag{2} \]

ва гравитатсияи сатҳӣ:

\[ \kappa' = e^{-f}\bigl(\kappa-n(f)\bigr) \tag{3} \]

мешавад.

Чаро Eq. (3) дар маркази тамоми мақола қарор дорад?

Зеро агар барои \(f\)-и ҳамвор

\[ n(f)=\kappa \]

ёфт шавад:

\[ \kappa' = e^{-f}(\kappa-\kappa) = 0 \]

ҳосил мешавад.

Ҳамин тавр, масъалаи геометрӣ ба саволи математикии зерин табдил меёбад:

“Оё метавонем муодилаи \(n(f)=\omega(n)\)-ро дар тамоми уфуқи компакт ба таври ҳамвор ҳал кунем?”

Фарқи байни уфуқи дегенератсияшуда ва недегенератсияшуда

Навоварии мақола махсусан ҳал кардани масъалаи кушодаи сатри аввал аст. Илова бар ин, муаллифон нишон медиҳанд, ки шарти доминантии энергия, ки дар натиҷаҳои қаблии недегенератсияшуда истифода мешуд, метавонад то шарти энергияи нулл заиф карда шавад.

Чаро Шарти Энергияи Нулл Метавонад Шарти Қавитари Доминантии Энергияро Иваз Кунад?

Натиҷаи Proposition 1 ва Corollary 1-и мақола нишон медиҳад, ки дар гиперсатҳи нулли комилан геодезӣ шартҳои \(Ric(n,\cdot)|_{TH}=0\) ва дар натиҷа \(i_n d\omega=0\), ки исботҳои қаблӣ талаб мекарданд, метавонанд ба ҷойи шарти доминантии энергия аз шарти заифтари энергияи нулл низ ба даст оварда шаванд.

Айнияти Ricci

Барои гиперсатҳҳои нулли комилан геодезӣ манбаъ айнияти зеринро истифода мебарад:

\[ Ric(n,X)=d\omega(n,X), \qquad X\in TH \tag{4} \]

Дар ин ҷо \(Ric\) тензори Ricci ва \(d\omega\) ҳосилаи берунии \(\omega\) мебошад.

Нақши математикии шарти энергияи нулл

Дар Proposition 1 муаллифон барои формаи умумии симметрии ду-хаттии \(R\) натиҷаи алгебравии зеринро исбот мекунанд:

\[ R(v,v)\geq0 \]

агар барои ҳамаи векторҳои нулли \(v\) иҷро шавад ва барои нулли махсуси \(n\) бошад \(R(n,n)=0\),

\[ R(n,\cdot)=b\,g(n,\cdot) \]

он гоҳ \(b\in\mathbb{R}\)-е вуҷуд дорад, ки чунин шакл дорад.

Вақте ин натиҷа барои \(R=Ric\) татбиқ мешавад ва \(X\in TH\) аст, бо истифода аз хусусияти \(g(n,X)=0\):

\[ Ric(n,\cdot)|_{TH}=0 \]

ҳосил мешавад.

Аз сабаби Eq. (4) ин:

\[ i_n d\omega=0 \]

ба ин натиҷа эквивалент аст.

\(i_n d\omega=0\) чӣ маъно дорад?

\(i_n\) операторест, ки вектори \(n\)-ро ҳамчун аргументи аввал ба формаи дифференсиалӣ дохил мекунад ва interior product / зарби дохилӣ ном дорад. Аз ин рӯ:

\[ i_n d\omega=0 \]

ифодаи

\[ d\omega(n,X)=0 \]

нишон медиҳад, ки ин баробарӣ барои ҳамаи \(X\in TH\) дуруст аст.

Ин шарт дар бахшҳои баъдӣ вуруди муштараки далелҳои назарияи эргодикӣ, назарияи Hodge ва basic когомология мебошад.

Чаро ин натиҷа муҳим аст?

Таҳқиқоти қаблии уфуқҳои недегенератсияшуда барои ба даст овардани ҳамин шарти геометрӣ фарзияи қавитари dominant energy condition-ро истифода мекарданд. Theorem 1-и ин мақола нишон медиҳад, ки фарзияи энергия дар натиҷаҳои қаблии марбут метавонад то шарти энергияи нулл заиф карда шавад.

Чаро Муодилаи Когомологӣ Калиди Исбот Аст?

Муодилаи когомологӣ \(n(f)=\kappa=\omega(n)\) мавқеи калидӣ дорад, зеро функсияи азнавмиқёсгузории \(f\)-ро муайян мекунад, ки гравитатсияи сатҳиро ба сифр мебарад; ҳангоми ёфтани ҳалли ҳамвори глобалӣ, Eq. (3) барои майдони \(n'=e^{-f}n\) бевосита \(\kappa'=0\) медиҳад.

Пайванди ҷараёни Риман

Метрикаи трансверсалии \(g_T\), ки дар уфуқ индукс мешавад, дар самти нулл дегенератсия шудааст:

\[ g_T(n,\cdot)=0. \]

Аз хусусияти комилан геодезӣ:

\[ \mathcal{L}_n g_T=0 \tag{5} \]

ҳосил мешавад.

\(\mathcal{L}_n\) ҳосилаи Lie аз рӯи \(n\) мебошад. Eq. (5) нишон медиҳад, ки ҷараёни генератор метрикаи трансверсалиро нигоҳ медорад. Аз ин рӯ, ҳар уфуқ ба таври табиӣ сохтори ҷараёни Риман-ро муайян мекунад.

Баргбандӣ ва ҷараёни Риман чист?

Каҷҳои интегралии тақсимоти якченакаи \(D=\operatorname{span}(n)\) генераторҳои уфуқро ташкил медиҳанд. Сохторе, ки ин каҷҳои интегралӣ ташкил медиҳанд, баргбандӣ аст. Вақте баргҳо якченакаанд ва метрикаи трансверсалӣ аз ҷониби ҷараён нигоҳ дошта мешавад, сохторро метавон ҷараёни Риман баррасӣ кард.

Когомологияи foliated чӣ гуна муайян мешавад?

Ҳангоми интихоби 1-формае, ки \(\chi(n)=1\), манбаъ фазои формаро дар самти ҷараён чунин муайян мекунад:

\[ \Omega_F^r(H)= \begin{cases} C^\infty(H), & r=0,\\ C^\infty(H)\otimes\chi|_D, & r=1,\\ 0, & r\geq2 \end{cases} \tag{6} \]

.

Ҳосилаи берунии foliated дар функсияҳо:

\[ d_Ff=n(f)\chi|_D \]

мебошад, бинобар ин exact будани формаи \(\kappa\chi|_D\):

\[ n(f)=\kappa \tag{7} \]

ба ҳалшаванда будани ин муодила эквивалент аст.

Аз ин рӯ:

\[ H_F^1(H)= \Omega_F^1(H)/d_F\Omega_F^0(H) \]

тақрибан монеаҳои глобалии когомологиро рамзгузорӣ мекунад, ки ҳалли Eq. (7)-ро бозмедоранд.

Чаро \(\kappa\)-и доимӣ ва ғайрисифр дар ҳолати компакт exact буда наметавонад?

Агар дар \(H\)-и компакт

\[ n(f)=c,\qquad c\neq0 \]

мебуд, \(f\) дар тӯли генератор мебоист пайваста ба таври хаттӣ тағйир ёбад. Аммо дар фазои компакт мадорҳо нуқтаҳои ҷамъшавӣ доранд ва тағйири хаттии бемаънои \(f\)-и пайваста дар мадоре, ки дубора ба ҳамон минтақаҳо наздик мешавад, бо пайвастагӣ мувофиқ нест. Манбаъ бо ин мушоҳида қайд мекунад, ки \(H_F^1(H)\) ҳадди ақал монеаи якченака дорад.

“Basic form” чист?

Дар ҷараёни Риман агар \(k\)-формаи \(\alpha\) ду шарти зеринро қонеъ кунад, basic номида мешавад:

\[ i_n\alpha=0, \qquad i_nd\alpha=0. \]

Basic form маълумоти геометрии трансверсалиро ифода мекунад, ки дар самти ҷараён ҷузъ надорад ва дар самти ҷараён тағйир намеёбад.

Усул ва Натиҷаҳои Таҳқиқот

Исботи Асосӣ Кадом Абзорҳои Математикиро Якҷо Мекунад?

Исботи асосӣ аввал бо шарти энергияи нулл натиҷаи \(i_nd\omega=0\)-ро месозад, дар уфуқи дегенератсияшуда тавассути назарияи эргодикӣ ва ribbon argument миёнаи дарозмуддати \(\omega(n)\)-ро ба сифр мебарад, сипас дар ҳолати изометрӣ бо назарияи Hodge ва дар ҳолати умумӣ бо ҳамсоягиҳои Carrière ё basic когомология муодилаи \(n(f)=\omega(n)\)-ро ҳал мекунад; дар охир бо азнавмиқёсгузории \(n'=e^{-f}n\) натиҷаи \(\kappa'=0\) гирифта мешавад.

Қадами 1 — Аз шарти энергияи нулл ба маҳдудияти асосии дифференсиалӣ-форма

Марҳилаи аввалини муҳим:

\[ Ric(n,\cdot)|_{TH}=0 \]

ва дар натиҷа:

\[ i_nd\omega=0 \]

ҳосил мешавад.

Ин марҳила на танҳо барои масъалаи дегенератсияшуда, балки фарзияи шарти доминантии энергияро дар натиҷаҳои қаблии гравитатсияи сатҳии недегенератсияшуда низ заиф мекунад.

Қадами 2 — Назарияи эргодикӣ ва ribbon argument

Lemma 1 нишон медиҳад, ки агар миёнаи дарозмуддат дар тӯли як генератор сифр бошад, ин хусусият ба ҳамаи каҷҳои интегралӣ интиқол дода мешавад.

Миёнаи вақти пеш:

\[ \lim_{t\to\infty} \frac{1}{t} \int_0^t \omega(\dot{x})\,dt = 0 \tag{8} \]

чунин аст.

Ribbon argument интегралҳои \(\omega\)-и ду мадори наздикро муқоиса мекунад ва дар манбаъ:

\[ \left| \int_{x([0,t])}\omega - \int_{x'([0,t'])}\omega \right| \leq 2B \tag{9} \]

ҳадди боло ба даст меояд.

Нуқтаи муҳим ин аст, ки \(B\) ҳар қадар ribbon дароз бошад ҳам афзоиш намеёбад. Вақте фарқи интегралҳо бо адади доимӣ маҳдуд мемонад ва вақт \(t\) меафзояд, фарқи миёнаҳо ба сифр меравад.

Чор шарти эквивалентии Theorem 5

Мақола исбот мекунад, ки зери метрикаи трансверсалии мувофиқ чор шарти зерин эквивалентанд.

Миёнаи пеш:

\[ \lim_{t\to\infty} \frac{1}{t} \int_0^t \omega(\dot{x})\,dt=0 \tag{10} \]

Миёнаи пас:

\[ \lim_{t\to\infty} \frac{1}{t} \int_{-t}^{0} \omega(\dot{x})\,dt=0 \tag{11} \]

Миёна дар тамоми уфуқ:

\[ \int_H\omega(n)\,d\tilde{g}=0 \tag{12} \]

Барои ҳар зерманиволди компакт ва сершудаи \(N\), ки нисбат ба ҷараён invariant аст:

\[ \int_N\omega(n)\,d\bar{g}=0. \tag{13} \]

Чаро теоремаи эргодикии Birkhoff-ро татбиқ кардан мумкин аст?

1-формае интихоб мешавад, ки \(\alpha(n)=1\), ва

\[ \tilde{g}=g_T+\alpha\otimes\alpha \]

бо он метрикаи ҳақиқии Риман сохта мешавад.

Манбаъ ҳисобкунии зеринро анҷом медиҳад:

\[ 2\,\operatorname{div}_{\tilde g}n = \operatorname{Tr}_{\tilde g} (\mathcal{L}_n\tilde g) = 2(\mathcal{L}_n\alpha)(n) = 0. \tag{14} \]

Аз ин рӯ, ҷараёни \(n\) ченаки ҳаҷми \(\tilde g\)-ро нигоҳ медорад. Теоремаи эргодикии Birkhoff мавҷудияти миёнаҳои дарозмуддатро тақрибан дар ҳама ҷо дар ин ҷараёни ченакнигоҳдор таъмин мекунад.

Чаро миёна дар уфуқи дегенератсияшуда бояд сифр бошад?

Мантиқи Theorem 6 чунин аст: теоремаи Birkhoff мавҷудияти миёнаи дарозмуддатро ҳадди ақал дар баъзе генераторҳо таъмин мекунад. Агар миёна манфӣ мебуд, интеграли дахлдори \(\kappa\) ба самти оянда ба \(-\infty\) мерафт ва тибқи натиҷаҳои қаблии пуррагӣ ҳамаи генераторҳо дар оянда нопурра мешуданд. Агар миёна мусбат мебуд, ҳамин мушкил дар самти гузашта пайдо мешуд.

Азбаски дар уфуқи дегенератсияшуда ҳадди ақал як генератори пурра мавҷуд аст, ин ду имконият хориҷ мешаванд. Боқӣ мемонад:

\[ \lim \frac{1}{t} \int\omega(\dot{x})\,dt=0 \]

.

Мақола дар ин ҷо ошкоро аз робитаи пуррагӣ–интеграл дар таҳқиқоти қаблии уфуқҳои недегенератсияшуда истифода мебарад. Аз ин рӯ, исботи нави ҳолати дегенератсияшуда аз ҷиҳати таърихӣ аз натиҷаҳои қаблӣ комилан мустақил нест.

Қадами 3 — Назарияи Hodge: ҳолати ҷараёни изометрии Риман

Ҷараёни изометрии Риман маънои онро дорад, ки дар \(H\) метрикаи Риман \(h\) ва генератори \(n\) интихоб шаванд ва:

\[ \mathcal{L}_n h=0 \]

бошад.

Дар ин ҳолат \(n\), нисбат ба метрикаи \(h\) майдони Killing мебошад. Ин ифода маънои онро надорад, ки \(n\) ба таври автоматӣ дар тамоми фазо-вақт майдони Killing аст.

Амалиётҳои асосие, ки дар назарияи Hodge истифода мешаванд

Манбаъ барои алгебраи берунии \(k\)-формаҳо зарби wedge-ро:

\[ \alpha_1\wedge\cdots\wedge\alpha_k = \sum_{\sigma\in S_k} \operatorname{sgn}(\sigma) \alpha_{\sigma(1)} \otimes\cdots\otimes \alpha_{\sigma(k)} \tag{15} \]

муайян мекунад.

Зарби дохилии нуқтавӣ барои 1-формаҳо:

\[ \langle\alpha,\beta\rangle_h = h^{ij}\alpha_i\beta_j \tag{16} \]

ва барои \(k\)-формаҳои ҷудошаванда:

\[ \left\langle \alpha_1\wedge\cdots\wedge\alpha_k, \beta_1\wedge\cdots\wedge\beta_k \right\rangle_h = \det\bigl( \langle\alpha_i,\beta_j\rangle_h \bigr) \tag{17} \]

истифода мешавад.

Зарби дохилии глобалии \(L^2\):

\[ (\alpha,\eta) = \int_H \langle\alpha,\eta\rangle_h\,dh \tag{18} \]

чунин аст.

Ситораи Hodge

Оператори ситораи Hodge:

\[ \star:\Omega^k(H)\rightarrow\Omega^{n-k}(H) \]

бо робитаи зерин тавсиф мешавад:

\[ \alpha\wedge\star\eta = \langle\alpha,\eta\rangle_h\,dh. \tag{19} \]

Хусусиятҳои асосие, ки манбаъ истифода мебарад:

\[ \star1=dh, \qquad \star dh=1, \tag{20} \]

\[ \star\star = (-1)^{k(n-k)} \quad \text{\(k\)-formlar üzerinde} \tag{21} \]

ва

\[ \star v^\flat=i_vdh \tag{22} \]

чунинанд.

Кодифференсиал ва оператори Laplace–Beltrami

Кодифференсиал \(\delta\) adjoint-и формалии ҳосилаи берунии \(d\) мебошад:

\[ (d\alpha,\eta) = (\alpha,\delta\eta). \tag{23} \]

Бо ситораи Hodge:

\[ \delta = (-1)^{n(k+1)+1} \star d\star. \tag{24} \]

Оператори Laplace–Beltrami:

\[ \Delta=d\delta+\delta d. \tag{25} \]

Дар манифолди Римани компакт ва самтдор, гармоникӣ будани форма:

\[ \Delta\omega=0 \Longleftrightarrow d\omega=0 \ \text{ve}\ \delta\omega=0 \tag{26} \]

ба ин шарт эквивалент аст.

Таҷзияи Hodge

Теоремаи калидии сохтории манбаъ:

\[ \Omega^k(H) = d\Omega^{k-1}(H) \oplus \delta\Omega^{k+1}(H) \oplus \mathcal{H}^k(H) \tag{27} \]

чунин аст.

Яъне ҳар \(k\)-форма ба се қисми ортогоналӣ ҷудо мешавад:

• қисми exact,
• қисми co-exact,
• қисми гармоникӣ.

Ин таҷзия ба \(\omega\) чӣ гуна татбиқ мешавад?

Дар Theorem 9:

\[ \omega=\alpha+\beta+df \tag{28} \]

навишта мешавад.

Дар ин ҷо:

• \(\alpha\): 1-формаи гармоникӣ,
• \(\beta\): 1-формаи co-exact,
• \(df\): қисми exact.

Азбаски \(n\) Killing аст, формаи гармоникӣ зери ҷараён invariant мемонад ва:

\[ \alpha(n)=a=\text{constant} \]

ҳосил мешавад.

Ба ҳамин тарз, бо истифода аз \(i_nd\omega=0\) ва ортогоналии Hodge:

\[ \beta(n)=b=\text{constant} \]

ба ин натиҷа мерасанд.

Ҳамин тавр:

\[ \omega(n)=a+b+n(f) \]

ва:

\[ n(f)=\omega(n)-c, \qquad c=a+b \]

ҳосил мешавад.

Дар ҳолати дегенератсияшуда хусусияти интеграли сифр, ки аз бахши эргодикӣ меояд, \(c\)-ро маҷбур мекунад, ки сифр бошад. Натиҷа:

\[ n(f)=\omega(n) \]

ва аз ин рӯ \(\kappa'=0\) аст.

Уфуқҳои самтнопазир чӣ гуна баррасӣ мешаванд?

Proposition 3 нишон медиҳад, ки агар барои ҳолати самтпазир гравитатсияи сатҳии сифр исбот шуда бошад, натиҷаро бо истифода аз пӯшиши дуқабатаи самтпазир ба уфуқҳои самтнопазир низ коҳиш додан мумкин аст.

Аз ин рӯ, дар ифодаи ниҳоии теоремаи асосӣ фарзияи алоҳидаи orientability вуҷуд надорад.

Нақши таснифи уфуқи чорченака дар исбот

Мақола таснифи ҷараёнҳои чорченакаи Риманро аз кори қаблии муаллифон ёдовар мешавад.

Пас аз ҳал шудани ҳолати изометрӣ бо Theorem 10, сохторе, ки дар масъалаи чорченака аз ҷиҳати техникӣ махсус боқӣ мемонад, ҷараёни non-isometric-и \(T_A^3\) мебошад.

Торуси гиперболии \(T_A^3\) чӣ гуна ҳал мешавад?

Муаллифон дар ин ҷо ду далели мустақил медиҳанд.

Дар далели аввал \(T_A^3\) ҳамчун бандчаи дорои нахи \(T^2\) бар болои \(S^1\) баррасӣ мешавад. Ба таври локалӣ ҷараён:

\[ n=r(u)n' \]

навишта мешавад; \(n'\) вектори доимии Diophantine дар торус аст.

Барои матритсаи гиперболии мувофиқ \(A\in SL(2,\mathbb{Z})\):

\[ \lambda^2-\operatorname{tr}(A)\lambda+1=0 \]

муодилаи қимати хусусӣ истифода мешавад. Азбаски нисбати компонентҳои вектори хусусӣ алгебравии ирратсионалӣ аст, теоремаи Roth шарти Diophantine-ро таъмин мекунад.

Дар зери ин шарт теоремаи ҳалли муодилаи когомологӣ дар нахҳои торус татбиқ мешавад. Азбаски миёнаи \(\kappa\) дар нахҳо сифр аст:

\[ n'(f)=\kappa' \]

ҳал мешавад ва боз:

\[ n(f)=\kappa \]

ҳосил мешавад.

Далели дуюм натиҷаҳои Álvarez López ва Domínguez, формаи basic-и каҷии миёна ва basic когомологияро истифода мебарад. Ҳар ду роҳ ба як натиҷаи физикӣ/геометрӣ мерасанд: бо азнавмиқёсгузории мувофиқ \(\kappa'=0\).

Қадами 4 — Гузариш ба ҳар андоза бо ҳамсоягиҳои Carrière

Дар исботи андозаи умумӣ истифода мешавад, ки пӯшидаҳои мадори ҷараёни Риман торусҳо мебошанд.

Барои пӯшидаи мадори \(L\simeq T^{k+1}\), ҳамсоягии Carrière:

\[ V\simeq S^1\times T^k\times D^{\,n-k-1} \]

чунин аст.

Манбаъ ин ҳамсоягиро дар шакли suspension:

\[ [0,1]\times T^k\times D^{\,n-k-1}/\sim \]

ва айниятсозиро:

\[ (1,x,y) \sim (0,x+v,O(y)) \]

медиҳад.

Дар ин ҷо:

• \((1,v_1,\ldots,v_k)\): дорои компонентҳои аз ҷиҳати ратсионалӣ мустақил аст,
• \(O\): гардиш дар диски трансверсалӣ.

Ҳалли локалӣ чӣ гуна глобалӣ карда мешавад?

Уфуқ бо шумораи ниҳоии ҳамсоягиҳои Carrière пӯшонида мешавад. Барои ҳар ҳамсоягӣ функсияи partition-of-unity-и \(\phi_i\), ки дар тӯли мадорҳо доимӣ аст, интихоб мешавад.

Ба таври локалӣ:

\[ n(f_i)=\kappa \]

агар ҳалҳо вуҷуд дошта бошанд:

\[ f=\sum_i\phi_i f_i \]

муайян карда мешавад.

Азбаски \(n(\phi_i)=0\):

\[ n(f) = \sum_i\phi_i n(f_i) = \sum_i\phi_i\kappa = \kappa. \]

Ҳамин тавр, ҳалҳои локалии когомологиро метавон ба ҳалли глобалӣ часпонд.

Дар ҳамсоягии Carrière назарияи Hodge чӣ гуна дубора истифода мешавад?

Ҳамсоягии Carrière худ аз худ компакт нест. Муаллифон омили диски трансверсалиро ба кура компакт карда, suspension-и компакти калонтар месозанд. Дар ин фазои васеъшуда ҷараён изометрӣ мешавад ва Theorem 9 татбиқ мешавад.

Азбаски миёнаҳо сифранд, доимии \(c\) дар Theorem 9 боз сифр мебарояд. Ҳамин тавр, дар ҳар ҳамсоягии Carrière:

\[ n(f)=\omega(n) \]

ҳал мешавад ва бо partition of unity ба тамоми \(H\) интиқол дода мешавад.

Қадами 5 — Исботи дуюм ва комилан когомологӣ дар андозаи умумӣ

Мақола ҳамон натиҷаи асосиро бори дуюм бо истифода аз basic когомологияи баргбандиҳои Риман ва пайдарпаии Gysin исбот мекунад.

Дар ҷараёнҳои non-isometric-и Риман натиҷаҳои марбут:

\[ H_b^{n-1}(H)=0 \]

ва изоморфизми мувофиқи дараҷаи якум:

\[ H^1_{dR}(H)\simeq H_b^1(H) \]

таъмин мекунанд.

Азбаски \(d\omega\) ҳам ба маънои basic ва ҳам ба маънои оддии de Rham exact аст, дар basic когомология низ trivial мегардад. Аз ин рӯ, барои basic \(\beta\):

\[ d\omega=d\beta \]

ёфтан мумкин аст.

Ҳамин тавр:

\[ d(\omega-\beta)=0. \]

Ҳангоми интихоби намояндаи basic-и \(\alpha\) аз синфи якуми de Rham:

\[ \omega-\beta=\alpha+df. \]

азбаски \(\alpha\) ва \(\beta\) basic мебошанд:

\[ \alpha(n)=0, \qquad \beta(n)=0. \]

Аз ин рӯ:

\[ \omega(n)=n(f). \]

Eq. (3) боз:

\[ \kappa'=0 \]

натиҷа медиҳад.

Theorem 4 — ҳалли ҳолати кушодаи дегенератсияшуда

Теоремаи асосии нави мақола:

• фазо-вақт ҳамвор аст,
• андоза ихтиёрӣ аст,
• шарти энергияи нулл иҷро мешавад,
• \(H\) уфуқи компактии дегенератсияшуда аст.

Дар ин шароит майдони нурмонанди \(n\)-и ҳамвор ва ба оянда равонашуда мавҷуд аст ва:

\[ \nabla_n n=0. \]

Яъне барои уфуқи дегенератсияшуда дар нормализатсияи мувофиқ:

\[ \kappa=0. \]

Corollary 2 — ҳамаи уфуқҳои компакт

Вақте натиҷаи нави ҳолати дегенератсияшуда бо натиҷаҳои қаблии недегенератсияшуда муттаҳид мешавад:

\[ \nabla_n n=\kappa n, \qquad \kappa=\text{constant} \]

чунин натиҷа гирифта мешавад, ки барои ҳар уфуқи компакт майдони нурмонанди \(n\)-и ҳамвор ва ба оянда равонашуда бо ин хусусият мавҷуд аст.

Ин натиҷа на танҳо ба фазо-вақти физикии чорченака, балки зери фарзияҳои мақола ба ҳар андозаи фазо-вақт татбиқ мешавад.

Натиҷаи қавитар дар ҳолати торус бо мадорҳои зич

Дар Section 7, агар \(H=T^s\) ва ҷараён дар тамоми торус мадорҳои хаттии зич дошта бошад, муаллифон натиҷаи қавитарро исбот мекунанд.

\(\omega\) дар торус:

\[ \omega=\omega_p(x)\,dx^p \]

навишта шуда, компонентҳо ба қатори Fourier ҷудо мешаванд:

\[ \omega_p(x) = \sum_{k\in\mathbb{Z}^s} \widehat{\omega}_p(k) e^{2\pi i k\cdot x}. \]

Компонентҳои ҳосилаи берунӣ:

\[ \Omega_{pq} = \partial_{x_p}\omega_q - \partial_{x_q}\omega_p \]

муайян мешаванд.

\[ i_nd\omega=0 \]

шарт:

\[ n^p\Omega_{pq}=0 \tag{29} \]

ва барои ҳар модули Fourier:

\[ n^p\widehat{\Omega}_{pq}(k)=0 \tag{30} \]

баробариро медиҳад.

Коэффисиентҳои Fourier:

\[ \widehat{\Omega}_{pq}(k) = 2\pi i \left( k_p\widehat{\omega}_q(k) - k_q\widehat{\omega}_p(k) \right) \]

чунинанд.

Азбаски ҷараёни хаттӣ зич аст, компонентҳои \(n\) аз ҷиҳати ратсионалӣ мустақиланд. Аз ин рӯ:

\[ k\cdot n=0 \]

танҳо:

\[ k=0 \]

имконпазир аст.

Дар ҳар модули ғайрисифри Fourier ин ҳолат \(\widehat{\omega}(k)\)-ро маҷбур мекунад, ки модули gradient дошта бошад ва дар натиҷа:

\[ \omega=\eta+df \]

ҳосил мешавад; \(\eta\) 1-формаи доимӣ аст.

Аз ин рӯ:

\[ d\omega=0. \]

Theorem 15 — натиҷаи қавӣ дар ҳолати торус

Агар уфуқи компактии дегенератсияшуда ба \(T^s\) диффеоморфӣ бошад ва ҷараёни Риман аз ҷиҳати orbital ба ҷараёни хаттии торус бо мадорҳои зич эквивалент бошад:

\[ \kappa=0 \]

на танҳо \(n\)-и геодезии ҳамворро бо ин хусусият интихоб кардан мумкин аст, балки 1-формаи вобаста низ:

\[ d\omega=0 \]

шартро қонеъ мекунад.

Ҳамин тавр, \(\omega\) дар гурӯҳи якуми basic когомология синф муайян мекунад:

\[ \omega\in H_b^1(H). \]

Оё фарзияи мадорҳои зич воқеан зарур аст?

Манбаъ бо мисоли муқобили равшан нишон медиҳад, ки инро ба ҳар бандчаи торус умумӣ кардан мумкин нест. Дар \(H=T^2\times S^1\):

\[ n= \frac{\partial}{\partial x} + \sqrt{2} \frac{\partial}{\partial y} \]

ва:

\[ \omega = \sin(2\pi t) \left( -\sqrt{2}\,dx+dy \right) \]

интихоб карда шавад:

\[ i_n\omega=0, \qquad i_nd\omega=0, \]

бо вуҷуди ин:

\[ d\omega\neq0. \]

Аз ин рӯ, танҳо донистани \(i_nd\omega=0\) барои исботи пӯшида будани \(\omega\) дар бандчаи умумии торус кофӣ нест. Сохтори мадорҳои зич дар натиҷаи қавитари Theorem 14 фарзияи воқеӣ мебошад.

Натиҷаҳое, ки таҳқиқот дастгирӣ мекунад

• Зери шарти энергияи нулл ҳар гиперсатҳи нулли компакт, ҳамвор, пайваст ва комилан геодезӣ майдони расандаи нулли ҳамвор бо гравитатсияи сатҳии доимиро қабул мекунад.
• Уфуқҳои компактии Коши ҳолати махсуси ин натиҷа мебошанд.
• Дар ҳолати дегенератсияшуда барои майдони мувофиқи генератор гравитатсияи сатҳиро сифр интихоб кардан мумкин аст.
• Дар ҳолати дегенератсияшуда майдони мувофиқ геодезӣ аст: \(\nabla_n n=0\).
• Шарти доминантии энергия, ки дар натиҷаҳои қаблии недегенератсияшуда истифода мешуд, дар қадамҳои марбут метавонад то шарти энергияи нулл заиф карда шавад.
• Геометрияи уфуқ ба таври табиӣ сохтори ҷараёни Риманро ташкил медиҳад.
• Дар ҳолати дегенератсияшуда шарти зарурии миёнаи дарозмуддат бо назарияи эргодикӣ ва ribbon argument ба даст меояд.
• Дар ҷараёнҳои изометрӣ таҷзияи Hodge ба ҳалли муодилаи когомологӣ мебарад.
• Дар андозаи умумӣ бо истифода аз ҳамсоягиҳои Carrière ё basic когомология ҳамон натиҷа гирифта мешавад.
• Дар ҳолати торус бо мадорҳои зич, пӯшида будани \(\omega\) ба таври қавитар исбот мешавад.

Натиҷаҳое, ки таҳқиқот бевосита дастгирӣ намекунад

• Гравитатсияи сатҳии ҳар майдони генератори нулли пешакӣ интихобшуда доимӣ нест.
• Дар ин замина гравитатсияи сатҳӣ скаляри ягонаи аз нормализатсия мустақил нест.
• Мавҷудияти гравитатсияи сатҳии доимӣ худ ба худ исбот намекунад, ки уфуқ ё тамоми фазо-вақт уфуқи Killing аст.
• Таҳқиқот дар ҳолати дегенератсияшуда васеъшавии майдони Killing-ро ба фазо-вақт исбот намекунад.
• Таҳқиқот фарзияи сензураи қавии кайҳониро исбот намекунад.
• Таҳқиқот мушоҳидаи таҷрибавии сӯрохии сиёҳ нест.
• Таҳқиқот симулятсияи ададии нисбият нест.
• Маҷмӯи нави маълумоти мушоҳидавӣ ё таҷрибавӣ истифода нашудааст.
• Натиҷаи \(\kappa=0\) барои ҳамаи уфуқҳои компакт дуруст нест; натиҷаи сифр ба ҳолати дегенератсияшуда тааллуқ дорад.
• Натиҷаи \(d\omega=0\), ки барои мадорҳои зичи торус ба даст омадааст, ба ҳамаи ҷараёнҳои Риман ба таври автоматӣ умумӣ намешавад.

Маҳдудиятҳои методологии таҳқиқот

Ҳамворӣ: Мақола дар категорияи smooth кор мекунад. Муаллифон қайд мекунанд, ки ба андешаи онҳо натиҷаи асосӣ дар regularity-и пасттар низ метавонад дуруст бошад; аммо инро дар ин мақола исбот намекунанд.

Шарти энергия: Натиҷаи асосӣ ба шарти энергияи нулл вобаста аст. Мақола нишон намедиҳад, ки ҳангоми комилан бардоштани шарти энергия ҳамон теорема дуруст мемонад.

Фарзияи комилан геодезӣ: Теоремаи умумӣ барои гиперсатҳҳои нулли компакт ва комилан геодезӣ аст. Дар уфуқҳои компактии Коши ин хусусият бо натиҷаҳои марбут ба smoothness/energy алоқаманд аст; ба гиперсатҳҳои нулли ихтиёрӣ набояд ба таври автоматӣ умумӣ карда шавад.

Вобастагӣ ба натиҷаҳои қаблӣ: Ба сифр овардани миёнаи эргодикӣ дар ҳолати дегенератсияшуда аз робитаҳои пуррагӣ ва интеграл, ки дар таҳқиқоти қаблии уфуқҳои недегенератсияшуда таҳия шудаанд, истифода мебарад.

Масъалаи Killing: Гравитатсияи сатҳии доимӣ қадами муҳим дар барномаи сохтани майдони Killing аст, аммо ин таҳқиқот масъалаи пурраи васеъ кардани Killing-ро барои уфуқҳои дегенератсияшуда ҳал накардааст.

Ёддошт оид ба Манбаъ ва Усул

Таҳқиқоти аслӣ: Compact Cauchy horizons admit constant surface gravity

Муаллифон: Raymond A. Hounnonkpe; Ettore Minguzzi.

Муаллифи масъул дар версияи нашршуда: Ettore Minguzzi.

Муассисаҳои R. A. Hounnonkpe: Université d’Abomey-Calavi, Abomey-Calavi, Bénin; Institut de Mathématiques et de Sciences Physiques (IMSP), Porto-Novo, Bénin.

Муассисаи E. Minguzzi: Dipartimento di Matematica, Università degli Studi di Pisa, Largo B. Pontecorvo 5, 56127 Pisa, Italy.

R. A. Hounnonkpe ORCID: 0000-0002-5013-8329.

E. Minguzzi ORCID: 0000-0002-8293-3802.

Версияи манбаи боршуда: arXiv:2506.20004v3 [gr-qc], санаи версия дар PDF 8 июни 2026.

Аввалин ирсол ба arXiv: Июни 2025.

Версияи нашршудаи баррасишуда аз ҷониби ҳамсолон: Communications in Mathematical Physics.

Ҷилд: 407.

Рақами мақола: 185.

Соли нашр: 2026.

Санаи нашри Version of Record: 1 августи 2026.

Санаи қабул: 3 июли 2025.

Санаи пазируфтан: 29 майи 2026.

DOI: 10.1007/s00220-026-05714-1.

Ношир: Springer Nature / Springer-Verlag GmbH Germany.

Навъи манбаъ: Мақолаи таҳқиқотии риёзии баррасишуда аз ҷониби ҳамсолон дар нисбияти умумӣ ва геометрияи дифференсиалӣ; кори theorem/proof.

Preprint: arXiv:2506.20004.

Ёддошт оид ба версияи манбаъ: Шарҳи илмии Verianla ба мазмуни PDF-и боршудаи arXiv v3 асос ёфтааст. Springer Version of Record танҳо барои ҳувияти библиографӣ, санаҳои нашр, муассисаҳо, ҳуқуқҳо ва изҳорот тасдиқ шудааст.

Литсензия / ҳолати ҳуқуқ: Саҳифаи Springer Version of Record литсензияи Creative Commons-ро нишон намедиҳад ва мегӯяд, ки Springer Nature ё иҷозатномадиҳанда бар мақола ҳуқуқҳои истисноӣ дорад. Аз ин рӯ, версияи нашршуда ҳамчун манбаи дорои литсензияи кушода қабул нашудааст.

Соҳаи илмӣ: Нисбияти умумӣ; геометрияи Лоренсӣ; геометрияи дифференсиалӣ; баргбандиҳои Риман ва когомология.

Масъалаи асосӣ: Исботи мавҷудияти майдони расандаи нулли ҳамвор бо гравитатсияи сатҳии доимӣ дар уфуқҳои компактии дегенератсияшуда ва комилан геодезӣ.

Натиҷаи асосии нав: Зери шарти энергияи нулл, уфуқи компактии дегенератсияшуда дар ҳар андозаи фазо-вақт майдони расандаи нулли ҳамвор, ба оянда равонашуда ва дорои гравитатсияи сатҳии сифрро қабул мекунад.

Натиҷаи умумӣ: Вақте натиҷаи нави дегенератсияшуда бо натиҷаҳои қаблии недегенератсияшуда якҷоя мешавад, барои ҳар уфуқи компакт майдони расандаи нулли мувофиқ бо гравитатсияи сатҳии доимӣ мавҷуд аст.

Муодилаи марказии геометрӣ: \(\nabla_Xn=\omega(X)n\).

Гравитатсияи сатҳӣ: \(\kappa=\omega(n)\).

Азнавмиқёсгузорӣ: \(n'=e^{-f}n\).

Табдили 1-форма: \(\omega'=\omega-df\).

Табдили гравитатсияи сатҳӣ: \(\kappa'=e^{-f}(\kappa-n(f))\).

Муодилаи асосии когомологӣ: \(n(f)=\omega(n)\).

Маҳдудияти асосие, ки аз шарти энергия бармеояд: \(Ric(n,\cdot)|_{TH}=0\) ва \(i_nd\omega=0\).

Абзорҳои асосии математикӣ: Ҷараёнҳои Риман; foliated/basic когомология; ribbon argument; теоремаи эргодикии Birkhoff; назарияи Hodge; таҷзияи Hodge; ҳамсоягиҳои Carrière; partition of unity; пайдарпаии Gysin; ҷараёнҳои торусии Diophantine; таҳлили Fourier.

Натиҷаи ҷараёни изометрӣ: Назарияи Hodge муодилаи \(n(f)=\omega(n)-c\)-ро медиҳад; хусусияти миёнаи сифр дар уфуқи дегенератсияшуда \(c=0\)-ро маҷбур мекунад.

Натиҷаи умумии андозаи non-isometric: Бо истифода аз ҳамсоягиҳои Carrière ва ҳамчунин далели мустақили basic-когомология/Gysin, \(n(f)=\omega(n)\) ба таври глобалӣ ҳал мешавад.

Натиҷаи махсуси торус: Дар ҳолати торус бо мадорҳои хаттии зич, таҳлили Fourier натиҷаи \(\omega=\eta+df\) ва аз ин рӯ \(d\omega=0\)-ро медиҳад.

Андоза: Теоремаи асосӣ барои ҳар андозаи фазо-вақт ифода шудааст.

Таҷриба: Нест.

Симулятсияи ададӣ: Нест.

Маълумоти мушоҳидавӣ: Нест.

Дастрасии маълумот: Мубодилаи маълумот татбиқ намешавад; дар доираи таҳқиқот маҷмӯи нави маълумот тавлид ё таҳлил нашудааст.

Маблағгузорӣ: Дар доираи European Union – NextGenerationEU, PRIN Project “Contemporary perspectives on geometry and gravity”, код 2022JJ8KER – CUP B53D23009340006.

Бархӯрди манфиатҳо: Муаллифон ҳеҷ бархӯрди молиявӣ ё ғайримолиявии манфиатҳои марбутро гузориш намедиҳанд.

Саҳми муаллифон: Дар PDF-и боршуда ва сабти расмии Springer бахши алоҳидаи CRediT/саҳми муаллифон вуҷуд надорад.

Саҳми баробар: Изҳороти саҳми баробар/ҳаммуаллифи аввал дида намешавад.

Маълумоти таҳрирӣ: Версияи нашршуда аз ҷониби P. Chrusciel communicated шудааст.

Ҳадди асосии тафсир: Теорема мавҷудияти майдони мувофиқи генератори нуллро исбот мекунад; иддао намекунад, ки дар ҳар нормализатсияи пешакӣ додашуда гравитатсияи сатҳӣ ҳамон як доимӣ аст.

Ҳадди симметрияи Killing: Гравитатсияи сатҳии доимӣ қадами муҳим барои васеъ кардани майдони Killing аст; таҳқиқот дар уфуқҳои компактии дегенератсияшуда симметрияи пурраи Killing-и фазо-вақтро исбот намекунад.

Ҳадди сензураи кайҳонӣ: Сензураи қавии кайҳонӣ ва барномаи Isenberg–Moncrief аз ангезаҳои таҳқиқотанд; ин мақола фарзияи сензураи қавии кайҳониро мустақим ҳал намекунад.