Kompakt Koshi gorizonti, umumiy nisbiylikda fazo-vaqtning sababiy tuzilishida paydo boʻladigan null, yaʼni yorugʻliksimon gipersirt turidir. Raymond A. Hounnonkpe va Ettore Minguzzining ushbu tadqiqoti yanada umumiy tarzda har bir silliq, bogʻlangan, toʻliq geodezik kompakt null gipersirt faqat null energiya sharti ostida sirt gravitatsiyasi butun gipersirt boʻylab doimiy boʻlgan silliq va kelajak yoʻnalishidagi yorugʻliksimon urinma vektor maydonini qabul qilishini isbotlaydi. Tadqiqot alohida yechgan ochiq muammo kamida bitta generator affin jihatdan toʻliq boʻlgan degeneratsiyalangan gorizont holatidir.

Maqolaning asosiy yangi natijasi degeneratsiyalangan holatda yanada kuchli: mos null generator maydoni tanlanganda sirt gravitatsiyasi faqat doimiy boʻlib qolmay, \(\kappa=0\) qilib tanlanishi mumkin. Boshqacha aytganda, degeneratsiyalangan kompakt gorizontda silliq, kelajak yoʻnalishidagi yorugʻliksimon urinma maydon \(n\) tanlanishi mumkin va bu maydon

\[ \nabla_n n=0 \]

tenglikni qanoatlantiradi. Bu \(n\) geodezik ekanini va mos affin parametrizatsiya bilan uygʻunligini anglatadi.

Tadqiqotning matematik mexanizmi sirt gravitatsiyasining tanlangan generator maydoniga qanday bogʻliqligidan foydalanadi. Toʻliq geodezik null gipersirtda

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

koʻrinishda aniqlangan \(\omega\) 1-forma mavjud va sirt gravitatsiyasi

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

deb aniqlanadi. Generator maydoni \(n'=e^{-f}n\) koʻrinishda qayta masshtablanganda sirt gravitatsiyasi

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

koʻrinishda oʻzgaradi. Shuning uchun

\[ n(f)=\kappa \]

kohomologik tenglamasining silliq yechimi topilsa, yangi maydonda \(\kappa'=0\) hosil boʻladi. Shunday qilib, maqolaning asosiy isbot muammosi geometrik sirt gravitatsiyasi muammosini muayyan kohomologik tenglamaning yechiluvchanlik muammosiga aylantiradi.

Isbot bitta matematik vosita bilan bajarilmaydi. Mualliflar null energiya shartidan \(i_n d\omega=0\) natijasini chiqaradi; Riman oqimi tuzilmasidan foydalanadi; ribbon argument orqali turli generatorlarning uzoq vaqtli oʻrtachalarini taqqoslaydi; Birkhoff ergodik teoremasi bilan bu oʻrtachalarni global integral shartlariga bogʻlaydi; izometrik holatda Hodge nazariyasidan, umumiy holatda Carrière qoʻshnichiliklaridan va basic kohomologiyadan foydalanadi. Bundan tashqari, zich orbitli torus holatida Fourier tahlili orqali yanada kuchli \(d\omega=0\) natijasi olinadi.

Tadqiqotni ehtiyotkor talqin qilish kerak. Natija barcha kompakt gorizontlar oldindan berilgan istalgan \(n\) uchun allaqachon doimiy sirt gravitatsiyasiga ega degani emas. \(\kappa\) null generator maydonining normallashtirilishiga bogʻliq. Teorema mos silliq generator maydonining mavjudligini isbotlaydi. Bundan tashqari, doimiy sirt gravitatsiyasi oʻz-oʻzicha fazo-vaqtda Killing simmetriyasi mavjudligini, kuchli kosmik senzura gipotezasini yoki fizik qora tuynukning barcha termodinamik xususiyatlarini isbotlamaydi.

Kompakt Koshi Gorizonti Nima va Asosiy Teorema Nimani Aytadi?

Tadqiqotning asosiy teoremasi shuni isbotlaydiki, istalgan fazo-vaqt oʻlchamida null energiya sharti bajarilsa, har bir silliq, bogʻlangan, toʻliq geodezik kompakt null gipersirtda sirt gravitatsiyasi doimiy boʻlgan silliq, kelajak yoʻnalishidagi yorugʻliksimon urinma vektor maydonini tanlash mumkin; degeneratsiyalangan holatda esa bu doimiyni nol qilib tanlash mumkin.

Null gipersirt nima?

Umumiy nisbiylikda fazo-vaqt Lorens signaturali geometriyadir. Gipersirtning urinma fazosida normasi nol, oʻzi esa nol boʻlmagan yoʻnalish mavjud boʻlsa, gipersirt null yoki yorugʻliksimon deb atalishi mumkin. Bu maxsus yoʻnalishlar gorizontning yorugʻliksimon generatorlarini hosil qiladi.

Maqola “horizon” atamasini aynan quyidagicha qoʻllaydi: silliq, bogʻlangan va toʻliq geodezik null gipersirt. Mualliflar bu taʼrifda global achronality shartini majburiy deb hisoblamaydi. Kompakt Koshi gorizontlari shu umumiyroq sinfga kiradi.

Toʻliq geodezik boʻlish nimani anglatadi?

Gipersirt toʻliq geodezik boʻlganda, boshlangʻich urinmasi gipersirtga tegishli boʻlgan mos geodezik harakat geometriyasi gipersirt tuzilmasi bilan uygʻun boʻladi. Maqolada bu xususiyat null generator maydoni \(n\) uchun

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

tenglik bilan ifodalanadi.

Bu yerda:

• \(H\): gorizont yoki kompakt null gipersirt,
• \(TH\): \(H\)ning urinma toʻplami,
• \(X\): \(H\)ga urinma boʻlgan istalgan silliq vektor maydoni,
• \(n\): kelajak yoʻnalishidagi null generator maydoni,
• \(\nabla\): Levi-Civita bogʻlanishi,
• \(\omega\): \(H\) ustida aniqlangan 1-forma.

Tenglikning muhim tomoni shundaki, \(\nabla_Xn\) yangi mustaqil urinma yoʻnalish hosil qilish oʻrniga yana \(n\) yoʻnalishida qoladi.

Koshi gorizonti nega muhim?

Koshi gorizontlari berilgan boshlangʻich maʼlumotlardan fazo-vaqt kelajagi yagona tarzda aniqlanishi mumkin boʻlgan sohaning chegaralari bilan bogʻliq. Shu sababli maqola muammoni Penrosening kuchli kosmik senzura gʻoyasi va Isenberg–Moncrief gorizont simmetriyasi dasturi bilan bogʻlaydi.

Biroq tadqiqot kuchli kosmik senzura gipotezasini isbotlamaydi. Doimiy sirt gravitatsiyasining mavjudligi keyingi Killing maydonini kengaytirish usullari uchun muhim geometrik dastlabki shart sifatida qaraladi.

Yopiq null geodezik misoli nega kirishda ishlatiladi?

Mualliflar asosiy gʻoyani avval soddaroq yopiq yorugʻliksimon geodezik orqali tushuntiradi. Affin parametrli geodezik boʻlagi uchun

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

boʻlsin.

Agar \(a>1\) boʻlsa, kelajak tomon cheksiz koʻp marta aylanadigan geodezikning umumiy affin uzunligi geometrik qator orqali

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

boʻladi va chekli. Shuning uchun geodezik kelajak tomon affin jihatdan toʻliq emas.

Bu holatda manbada tanlangan maydon

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

va sirt gravitatsiyasi

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

koʻrinishidadir.

Bu misol asosiy teoremaning isboti emas. Umumiy kompakt null gipersirtlarda generatorlar yopiq boʻlishi shart emas; ayrim orbitalar toruslarni zich toʻldirishi mumkin. Maqolaning matematik qiyinligi aynan shu murakkabroq dinamik holatda bir xil doimiy-sirt-gravitatsiyasi tuzilmasini qurishdir.

Sirt Gravitatsiyasi Nima va Nega Generator Maydoniga Bogʻliq?

Ushbu tadqiqotda sirt gravitatsiyasi \(\kappa=\omega(n)\) bilan aniqlanadigan va tanlangan null generator maydonining parametrizatsiyasiga bogʻliq funksiya; teoremaning maqsadi oldindan berilgan har bir \(n\) uchun \(\kappa\) doimiy ekanini koʻrsatish emas, balki mos silliq \(n\) tanlash orqali \(\kappa\)ni doimiylashtirish mumkinligini isbotlashdir.

Eq. (1) da \(X=n\) tanlansa

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

hosil boʻladi.

\(\kappa=0\) boʻlganda

\[ \nabla_n n=0 \]

boʻladi va \(n\)ning integral egri chiziqlari bu parametrizatsiya ostida geodezikdir.

Generator qayta masshtablansa nima boʻladi?

Maqolaning muhim oʻzgartirishi

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

koʻrinishidadir. Bu yerda \(f:H\rightarrow\mathbb{R}\) silliq funksiya va \(e^{-f}>0\) boʻlgani uchun kelajak yoʻnalishi saqlanadi.

Bu oʻzgartirish ostida 1-forma:

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

va sirt gravitatsiyasi:

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

boʻladi.

Eq. (3) nega butun maqolaning markazida?

Chunki silliq \(f\) uchun

\[ n(f)=\kappa \]

topilsa:

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

hosil boʻladi.

Demak, geometrik muammo quyidagi matematik savolga aylantiriladi:

“\(n(f)=\omega(n)\) tenglamasini butun kompakt gorizontda silliq tarzda yecha olamizmi?”

Degeneratsiyalangan va degeneratsiyalanmagan gorizont oʻrtasidagi farq

Maqolaning yangiligi ayniqsa birinchi qatordagi ochiq muammoni hal qilganidadir. Bundan tashqari, mualliflar oldingi degeneratsiyalanmagan natijalarda qoʻllangan dominant energiya shartini ham null energiya shartigacha zaiflashtirish mumkinligini koʻrsatadi.

Null Energiya Sharti Nega Kuchliroq Dominant Energiya Sharti Oʻrnini Bosa Oladi?

Maqolaning Proposition 1 va Corollary 1 natijasi toʻliq geodezik null gipersirtda oldingi isbotlarga zarur boʻlgan \(Ric(n,\cdot)|_{TH}=0\) va shu sababli \(i_n d\omega=0\) shartlarini dominant energiya sharti oʻrniga zaifroq null energiya shartidan ham olish mumkinligini koʻrsatadi.

Ricci ayniyati

Toʻliq geodezik null gipersirtlar uchun manba quyidagi ayniyatdan foydalanadi:

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

Bu yerda \(Ric\) Ricci tenzori, \(d\omega\) esa \(\omega\)ning tashqi hosilasidir.

Null energiya shartining matematik roli

Proposition 1 da mualliflar umumiy simmetrik ikki-chiziqli forma \(R\) uchun quyidagi algebraik natijani isbotlaydi:

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

agar barcha null \(v\) vektorlari uchun bajarilsa va maxsus null \(n\) uchun \(R(n,n)=0\) boʻlsa,

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

koʻrinishida \(b\in\mathbb{R}\) mavjud.

Bu natija \(R=Ric\) uchun qoʻllanganda va \(X\in TH\) boʻlganda \(g(n,X)=0\) xususiyatidan foydalanib:

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

hosil boʻladi.

Eq. (4) sababli bu:

\[ i_n d\omega=0 \]

natijaga ekvivalent.

\(i_n d\omega=0\) nimani anglatadi?

\(i_n\) differensial formaga \(n\) vektorini birinchi argument sifatida kirituvchi interior product / ichki koʻpaytma operatoridir. Shuning uchun:

\[ i_n d\omega=0 \]

ifodasi:

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

tengligi barcha \(X\in TH\) uchun bajarilishini anglatadi.

Bu shart keyingi boʻlimlarda ergodik nazariya, Hodge nazariyasi va basic kohomologiya argumentlarining umumiy kirish shartidir.

Bu natija nega muhim?

Oldingi degeneratsiyalanmagan gorizont tadqiqotlari ayni geometrik shartni olish uchun kuchliroq dominant energy condition farazidan foydalangan. Ushbu maqolaning Theorem 1 natijasi tegishli oldingi natijalardagi energiya farazini null energiya shartigacha zaiflashtirish mumkinligini bildiradi.

Kohomologik Tenglama Nega Isbotning Kaliti?

Kohomologik tenglama \(n(f)=\kappa=\omega(n)\) sirt gravitatsiyasini nolga keltiruvchi qayta masshtablash funksiyasi \(f\)ni belgilagani uchun asosiy oʻrinda turadi; silliq global yechim topilganda \(n'=e^{-f}n\) maydoni uchun Eq. (3) bevosita \(\kappa'=0\) beradi.

Riman oqimi bilan bogʻlanish

Gorizontda induksiyalangan transversal metrika \(g_T\) null yoʻnalishda degeneratsiyalangan:

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

Toʻliq geodezik xususiyatdan:

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

hosil boʻladi.

\(\mathcal{L}_n\) — \(n\) boʻylab Lie hosilasi. Eq. (5) generator oqimi transversal metrikani saqlashini koʻrsatadi. Shu sababli har bir gorizont tabiiy ravishda Riman oqimi tuzilmasini belgilaydi.

Barglanish va Riman oqimi nima?

\(D=\operatorname{span}(n)\) bir oʻlchamli taqsimotining integral egri chiziqlari gorizont generatorlarini hosil qiladi. Ushbu integral egri chiziqlar hosil qilgan tuzilma barglanishdir. Barglar bir oʻlchamli boʻlib, transversal metrika oqim tomonidan saqlanganda tuzilma Riman oqimi sifatida qaralishi mumkin.

Foliated kohomologiya qanday aniqlanadi?

\(\chi(n)=1\) boʻlgan 1-forma tanlanganda manba oqim yoʻnalishidagi formalar fazosini:

\[ \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} \]

koʻrinishida aniqlaydi.

Funksiyalar ustidagi foliated tashqi hosila:

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

boʻlgani uchun \(\kappa\chi|_D\) formasining exact boʻlishi:

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

tenglamasining yechilishiga ekvivalent.

Shuning uchun:

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

taxminan Eq. (7) yechimiga toʻsqinlik qiluvchi global kohomologik toʻsiqlarni kodlaydi.

Nega doimiy va noldan farqli \(\kappa\) kompakt holatda exact boʻla olmaydi?

Agar kompakt \(H\) ustida

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

boʻlganida, generator boʻylab \(f\) uzluksiz tarzda chiziqli oʻzgarishi kerak boʻlar edi. Ammo kompakt fazoda orbitalarning toʻplanish nuqtalari bor va uzluksiz \(f\)ning ayni sohalarga qayta yaqinlashadigan orbitada cheksiz chiziqli oʻzgarishi uzluksizlik bilan mos kelmaydi. Manba bu kuzatuv bilan \(H_F^1(H)\) kamida bir oʻlchamli toʻsiqni oʻz ichiga olishini qayd etadi.

“Basic form” nima?

Riman oqimida \(k\)-forma \(\alpha\) quyidagi ikki shartni bajarsa basic deb ataladi:

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

Basic forma oqim yoʻnalishida komponentga ega boʻlmagan va oqim yoʻnalishida oʻzgarmaydigan transversal geometrik maʼlumotni ifodalaydi.

Tadqiqot Usuli va Natijalari

Asosiy Isbot Qaysi Matematik Vositalarni Birlashtiradi?

Asosiy isbot avval null energiya sharti bilan \(i_nd\omega=0\) natijasini quradi, degeneratsiyalangan gorizontda ergodik nazariya va ribbon argument orqali \(\omega(n)\)ning uzoq vaqtli oʻrtachasini nolga keltiradi, soʻng izometrik holatda Hodge nazariyasi bilan, umumiy holatda Carrière qoʻshnichiliklari yoki basic kohomologiya orqali \(n(f)=\omega(n)\) tenglamasini yechadi; nihoyat \(n'=e^{-f}n\) qayta masshtablash orqali \(\kappa'=0\) olinadi.

1-qadam — Null energiya shartidan asosiy differensial-forma chekloviga

Birinchi muhim bosqich:

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

va shuning uchun:

\[ i_nd\omega=0 \]

natijasidir.

Bu bosqich nafaqat degeneratsiyalangan muammo uchun, balki oldingi degeneratsiyalanmagan sirt gravitatsiyasi natijalaridagi dominant energiya sharti farazini ham zaiflashtiradi.

2-qadam — Ergodik nazariya va ribbon argument

Lemma 1 generator boʻylab uzoq vaqtli oʻrtacha nol boʻlsa, bu xususiyat barcha integral egri chiziqlarga oʻtkazilishi mumkinligini koʻrsatadi.

Oldinga vaqt oʻrtachasi:

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

koʻrinishidadir.

Ribbon argument ikkita yaqin orbitaning \(\omega\) integrallarini taqqoslaydi va manbada:

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

yuqori chegara olinadi.

Bu yerda muhim jihat shuki, ribbon qancha uzun boʻlmasin \(B\) oʻsmaydi. Integrallar farqi doimiy son bilan cheklangan holda vaqt \(t\) ortgani uchun oʻrtachalar orasidagi farq nolga boradi.

Theorem 5 ning toʻrtta ekvivalent sharti

Maqola mos transversal metrika ostida quyidagi toʻrtta shart ekvivalent ekanini isbotlaydi.

Oldinga oʻrtacha:

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

Orqaga oʻrtacha:

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

Butun gorizont boʻyicha oʻrtacha:

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

Oqim tomonidan invariant boʻlgan har bir kompakt toʻyingan submanifold \(N\) uchun:

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

Nega Birkhoff ergodik teoremasini qoʻllash mumkin?

\(\alpha(n)=1\) boʻladigan tarzda 1-forma tanlanib

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

orqali haqiqiy Riman metrikasi hosil qilinadi.

Manba quyidagi hisobni bajaradi:

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

Shuning uchun \(n\) oqimi \(\tilde g\)ning hajm oʻlchovini saqlaydi. Birkhoff ergodik teoremasi ushbu oʻlchovni saqlovchi oqimda uzoq vaqtli oʻrtachalarning deyarli hamma joyda mavjudligini taʼminlaydi.

Degeneratsiyalangan gorizontda oʻrtacha nega nol boʻlishi shart?

Theorem 6 ning mantiqi shunday: Birkhoff teoremasi hech boʻlmaganda ayrim generatorlarda uzoq vaqtli oʻrtacha mavjudligini taʼminlaydi. Agar oʻrtacha manfiy boʻlsa, tegishli \(\kappa\) integrali kelajak tomon \(-\infty\) ga ketar va oldingi toʻliqlik natijalariga koʻra barcha generatorlar kelajakda toʻliq boʻlmagan holga kelar edi. Oʻrtacha musbat boʻlsa, xuddi shu muammo oʻtmish yoʻnalishida paydo boʻlar edi.

Degeneratsiyalangan gorizontda kamida bitta toʻliq generator boʻlgani uchun bu ikki imkoniyat istisno qilinadi. Qoladi:

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

.

Maqola bu yerda oldingi degeneratsiyalanmagan gorizont tadqiqotlaridagi toʻliqlik–integral munosabatidan ochiq foydalanadi. Shuning uchun yangi degeneratsiyalangan isbot tarixiy jihatdan oldingi natijalardan butunlay mustaqil emas.

3-qadam — Hodge nazariyasi: izometrik Riman oqimi holati

Izometrik Riman oqimi — \(H\) ustida Riman metrikasi \(h\) va generator \(n\) tanlanishi hamda:

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

boʻlishidir.

Bu holatda \(n\), \(h\) metrikasiga nisbatan Killing maydonidir. Bu ifoda \(n\) avtomatik ravishda butun fazo-vaqtda Killing maydoni degani emas.

Hodge nazariyasida qoʻllanadigan asosiy amallar

Manba \(k\)-formalar tashqi algebrasi uchun wedge koʻpaytmani:

\[ \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} \]

koʻrinishida belgilaydi.

1-formalar uchun nuqtaviy ichki koʻpaytma:

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

va ajraluvchi \(k\)-formalar uchun:

\[ \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} \]

qoʻllanadi.

Global \(L^2\) ichki koʻpaytma:

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

koʻrinishidadir.

Hodge yulduzi

Hodge yulduz operatori:

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

quyidagi munosabat bilan tavsiflanadi:

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

Manba qoʻllaydigan asosiy xususiyatlar:

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

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

va

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

koʻrinishidadir.

Kodifferensial va Laplace–Beltrami operatori

Kodifferensial \(\delta\), tashqi hosila \(d\)ning formal adjointidir:

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

Hodge yulduzi orqali:

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

Laplace–Beltrami operatori:

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

Kompakt, orientatsiyalangan Riman manifoldida formaning garmonik boʻlishi:

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

shartiga ekvivalent.

Hodge ajralishi

Manbaning asosiy strukturaviy teoremasi:

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

koʻrinishidadir.

Yaʼni har bir \(k\)-forma uchta ortogonal qismga ajraladi:

• exact qism,
• co-exact qism,
• garmonik qism.

Bu ajralish \(\omega\)ga qanday qoʻllanadi?

Theorem 9 da:

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

deb yoziladi.

Bu yerda:

• \(\alpha\): garmonik 1-forma,
• \(\beta\): co-exact 1-forma,
• \(df\): exact qism.

\(n\) Killing boʻlgani uchun garmonik forma oqim ostida invariant qoladi va:

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

hosil boʻladi.

Xuddi shuningdek, \(i_nd\omega=0\) va Hodge ortogonalligidan foydalanib:

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

natijaga erishiladi.

Shunday qilib:

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

va:

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

hosil boʻladi.

Degeneratsiyalangan holatda ergodik boʻlimdan keluvchi nol-integral xususiyati \(c\)ning nol boʻlishini majbur qiladi. Natija:

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

va shuning uchun \(\kappa'=0\).

Orientatsiyalanmaydigan gorizontlar qanday koʻrib chiqiladi?

Proposition 3 orientatsiyalanadigan holat uchun nol sirt gravitatsiyasi isbotlangan boʻlsa, natijani ikki qavatli orientatsiyalanadigan qoplamadan foydalanib orientatsiyalanmaydigan gorizontlarga ham keltirish mumkinligini koʻrsatadi.

Shuning uchun asosiy teoremaning yakuniy ifodasida alohida orientability farazi mavjud emas.

Toʻrt oʻlchamli gorizont tasnifining isbotdagi roli

Maqola mualliflarning oldingi ishlaridan olingan toʻrt oʻlchamli Riman oqimi tasnifini eslatadi.

Izometrik holat Theorem 10 bilan yechilgach, toʻrt oʻlchamli muammoda texnik jihatdan maxsus boʻlib qoladigan tuzilma \(T_A^3\) non-isometric oqimidir.

Giperbolik torus \(T_A^3\) qanday yechiladi?

Mualliflar bu yerda ikkita mustaqil argument beradi.

Birinchi argumentda \(T_A^3\), \(T^2\) tolali \(S^1\) bogʻlami sifatida qaraladi. Lokal ravishda oqim:

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

koʻrinishda yoziladi; \(n'\) torus ustida doimiy Diophantine vektordir.

Tegishli giperbolik matritsa \(A\in SL(2,\mathbb{Z})\) uchun:

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

xos qiymat tenglamasi qoʻllanadi. Xos vektor komponentlari nisbati irratsional algebraik boʻlgani uchun Roth teoremasi Diophantine shartini taʼminlaydi.

Bu shart ostida torus tolalaridagi kohomologik tenglamani yechish teoremasi qoʻllanishi mumkin. Tolalar ustida \(\kappa\)ning oʻrtachasi nol boʻlgani uchun:

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

yechiladi va yana:

\[ n(f)=\kappa \]

hosil boʻladi.

Ikkinchi argument Álvarez López va Domínguez natijalaridan, basic oʻrtacha egrilik formasidan va basic kohomologiyadan foydalanadi. Har ikki yoʻl bir xil fizik/geometrik natijaga olib keladi: mos qayta masshtablash bilan \(\kappa'=0\).

4-qadam — Carrière qoʻshnichiliklari orqali istalgan oʻlchamga oʻtish

Umumiy oʻlchamli isbotda Riman oqimining orbita yopilishlari toruslar boʻlishidan foydalaniladi.

Orbita yopilishi \(L\simeq T^{k+1}\) uchun Carrière qoʻshnichiligi:

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

koʻrinishidadir.

Manba bu qoʻshnichilikni suspension koʻrinishida:

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

va aynanlashtirishni:

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

deb beradi.

Bu yerda:

• \((1,v_1,\ldots,v_k)\): ratsional jihatdan mustaqil komponentlarga ega,
• \(O\): transversal diskdagi aylanish.

Lokal yechim qanday globallashtiriladi?

Gorizont chekli sondagi Carrière qoʻshnichiliklari bilan qoplanadi. Har bir qoʻshnichilik uchun orbitalar boʻylab doimiy partition-of-unity funksiyasi \(\phi_i\) tanlanadi.

Lokal ravishda:

\[ n(f_i)=\kappa \]

yechimlari mavjud boʻlsa:

\[ f=\sum_i\phi_i f_i \]

deb aniqlanadi.

\(n(\phi_i)=0\) boʻlgani uchun:

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

Shunday qilib lokal kohomologik yechimlar global yechimga yopishtirilishi mumkin.

Carrière qoʻshnichiligida Hodge nazariyasidan qanday qayta foydalanish mumkin?

Carrière qoʻshnichiligining oʻzi kompakt emas. Mualliflar transversal disk omilini sferaga kompaktlashtirib, kattaroq kompakt suspension hosil qiladi. Ushbu kengaytirilgan fazoda oqim izometrik boʻladi va Theorem 9 qoʻllanishi mumkin.

Oʻrtachalar nol boʻlgani sababli Theorem 9 dagi doimiy \(c\) yana nol chiqadi. Shunday qilib har bir Carrière qoʻshnichiligida:

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

yechiladi va partition of unity yordamida butun \(H\) ga oʻtkaziladi.

5-qadam — Umumiy oʻlchamda ikkinchi, toʻliq kohomologik isbot

Maqola xuddi shu asosiy natijani ikkinchi marta Riman barglanishlarining basic kohomologiyasi va Gysin ketma-ketligidan foydalanib isbotlaydi.

Non-isometric Riman oqimlarida tegishli natijalar:

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

va birinchi darajada mos izomorfizm:

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

taʼminlaydi.

\(d\omega\) basic maʼnoda ham, oddiy de Rham maʼnosida ham exact boʻlgani uchun basic kohomologiyada ham trivial boʻladi. Shuning uchun basic \(\beta\) uchun:

\[ d\omega=d\beta \]

topish mumkin.

Shunday qilib:

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

Birinchi de Rham sinfining basic vakili \(\alpha\) tanlanganda:

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

\(\alpha\) va \(\beta\) basic boʻlgani uchun:

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

Shuning uchun:

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

Eq. (3) yana:

\[ \kappa'=0 \]

natijasini beradi.

Theorem 4 — ochiq degeneratsiyalangan holat yechimi

Maqolaning asosiy yangi teoremasi:

• fazo-vaqt silliq,
• oʻlcham ixtiyoriy,
• null energiya sharti bajariladi,
• \(H\) kompakt degeneratsiyalangan gorizont.

Bu shartlar ostida silliq, kelajak yoʻnalishidagi yorugʻliksimon \(n\) maydoni mavjud va:

\[ \nabla_n n=0. \]

Yaʼni degeneratsiyalangan gorizont uchun mos normallashtirishda:

\[ \kappa=0. \]

Corollary 2 — barcha kompakt gorizontlar

Degeneratsiyalangan holatning yangi natijasi oldingi degeneratsiyalanmagan natijalar bilan birlashtirilganda:

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

boʻladigan silliq, kelajak yoʻnalishidagi yorugʻliksimon \(n\) maydoni har bir kompakt gorizont uchun mavjud degan natija olinadi.

Bu natija faqat toʻrt oʻlchamli fizik fazo-vaqtga emas, maqola farazlari ostida har qanday fazo-vaqt oʻlchamiga tatbiq etiladi.

Zich orbitli torus holatida kuchliroq natija

Section 7 da \(H=T^s\) boʻlib, oqim butun torusda zich chiziqli orbitalarga ega boʻlsa, mualliflar kuchliroq natijani isbotlaydi.

\(\omega\) torus ustida:

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

deb yoziladi va komponentlar Fourier qatoriga ajratiladi:

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

Tashqi hosila komponentlari:

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

deb aniqlanadi.

\[ i_nd\omega=0 \]

sharti:

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

va har bir Fourier modi uchun:

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

tengligini beradi.

Fourier koeffitsiyentlari:

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

koʻrinishidadir.

Chiziqli oqim zich boʻlgani uchun \(n\)ning komponentlari ratsional jihatdan mustaqil. Shuning uchun:

\[ k\cdot n=0 \]

faqat:

\[ k=0 \]

uchun mumkin.

Noldan farqli har bir Fourier modida bu holat \(\widehat{\omega}(k)\) gradient modiga ega boʻlishini majbur qiladi va natijada:

\[ \omega=\eta+df \]

hosil boʻladi; \(\eta\) doimiy 1-forma.

Shuning uchun:

\[ d\omega=0. \]

Theorem 15 — torus holatidagi kuchli natija

Degeneratsiyalangan kompakt gorizont \(T^s\) ga diffeomorf boʻlsa va Riman oqimi zich orbitli chiziqli torus oqimiga orbital jihatdan ekvivalent boʻlsa:

\[ \kappa=0 \]

boʻladigan silliq geodezik \(n\) tanlanishi mumkin, shuningdek bogʻliq 1-forma:

\[ d\omega=0 \]

shartini bajaradi.

Shunday qilib \(\omega\) birinchi basic kohomologiya guruhida sinfni belgilaydi:

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

Zich orbita farazi haqiqatan kerakmi?

Manba buni har bir torus bogʻlamiga umumlashtirib boʻlmasligini aniq qarshi misol bilan koʻrsatadi. \(H=T^2\times S^1\) ustida:

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

va:

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

tanlanganda:

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

boʻlishiga qaramay:

\[ d\omega\neq0. \]

Shuning uchun faqat \(i_nd\omega=0\) ni bilish umumiy torus bogʻlamida \(\omega\) yopiq ekanini isbotlash uchun yetarli emas. Zich orbita tuzilishi Theorem 14 ning kuchliroq natijasida haqiqiy farazdir.

Tadqiqot qoʻllab-quvvatlaydigan natijalar

• Null energiya sharti ostida har bir silliq, bogʻlangan, toʻliq geodezik kompakt null gipersirt doimiy sirt gravitatsiyasiga ega silliq null urinma maydonni qabul qiladi.
• Kompakt Koshi gorizontlari ushbu natijaning maxsus holatidir.
• Degeneratsiyalangan holatda mos generator maydoni uchun sirt gravitatsiyasini nol qilib tanlash mumkin.
• Degeneratsiyalangan holatda mos maydon geodezikdir: \(\nabla_n n=0\).
• Oldingi degeneratsiyalanmagan natijalarda qoʻllangan dominant energiya sharti tegishli bosqichlarda null energiya shartigacha zaiflashtirilishi mumkin.
• Gorizont geometriyasi tabiiy ravishda Riman oqimi tuzilmasini hosil qiladi.
• Degeneratsiyalangan holatda zarur boʻlgan uzoq vaqtli oʻrtacha shart ergodik nazariya va ribbon argument bilan olinadi.
• Izometrik oqimlarda Hodge ajralishi kohomologik tenglama yechimiga olib keladi.
• Umumiy oʻlchamda Carrière qoʻshnichiliklari yoki basic kohomologiya qoʻllanib, ayni natija olinadi.
• Zich orbitli torus holatida \(\omega\) yopiq ekanligi kuchliroq tarzda isbotlanadi.

Tadqiqot bevosita qoʻllab-quvvatlamaydigan natijalar

• Oldindan tanlangan har bir null generator maydonining sirt gravitatsiyasi doimiy emas.
• Sirt gravitatsiyasi bu kontekstda normallashtirishdan mustaqil yagona skalyar emas.
• Doimiy sirt gravitatsiyasining mavjudligi oʻz-oʻzicha gorizont yoki butun fazo-vaqt Killing gorizonti ekanini isbotlamaydi.
• Tadqiqot degeneratsiyalangan holatda Killing maydonining fazo-vaqtga kengaytirilishini isbotlamaydi.
• Tadqiqot kuchli kosmik senzura gipotezasini isbotlamaydi.
• Tadqiqot eksperimental qora tuynuk kuzatuvi emas.
• Tadqiqot sonli nisbiylik simulyatsiyasi emas.
• Yangi kuzatuv yoki eksperimental maʼlumotlar toʻplami ishlatilmagan.
• \(\kappa=0\) natijasi barcha kompakt gorizontlar uchun amal qilmaydi; nol natija degeneratsiyalangan holatga tegishli.
• Zich torus orbitalari uchun olingan \(d\omega=0\) natijasi barcha Riman oqimlariga avtomatik tarzda umumlashtirilmaydi.

Tadqiqotning metodologik cheklovlari

Silliqlik: Maqola smooth kategoriya doirasida ishlaydi. Mualliflar asosiy natija pastroq regularity ostida ham amal qilishi mumkin deb hisoblashlarini bildiradi; biroq buni ushbu maqolada isbotlamaydi.

Energiya sharti: Asosiy natija null energiya shartiga bogʻliq. Maqola energiya sharti butunlay olib tashlanganda xuddi shu teorema amal qilishini koʻrsatmaydi.

Toʻliq geodezik faraz: Umumiy teorema toʻliq geodezik kompakt null gipersirtlar uchundir. Kompakt Koshi gorizontlarida bu xususiyat tegishli smoothness/energy natijalari bilan bogʻliq; ixtiyoriy null gipersirtlarga avtomatik umumlashtirish qilinmasligi kerak.

Oldingi natijalarga bogʻliqlik: Degeneratsiyalangan holatdagi ergodik oʻrtachani nolga keltirish oldingi degeneratsiyalanmagan gorizont tadqiqotlarida ishlab chiqilgan toʻliqlik va integral munosabatlaridan foydalanadi.

Killing muammosi: Doimiy sirt gravitatsiyasi Killing maydonini qurish dasturida muhim qadam, biroq ushbu tadqiqot degeneratsiyalangan gorizontlar uchun toʻliq Killing kengaytirish muammosini hal qilmagan.

Manba va Usul Haqida Izoh

Asl tadqiqot: Compact Cauchy horizons admit constant surface gravity

Mualliflar: Raymond A. Hounnonkpe; Ettore Minguzzi.

Nashr etilgan versiyadagi masʼul muallif: Ettore Minguzzi.

R. A. Hounnonkpe muassasalari: Université d’Abomey-Calavi, Abomey-Calavi, Bénin; Institut de Mathématiques et de Sciences Physiques (IMSP), Porto-Novo, Bénin.

E. Minguzzi muassasasi: 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.

Yuklangan manba versiyasi: arXiv:2506.20004v3 [gr-qc], PDFdagi versiya sanasi 8 iyun 2026.

Birinchi arXiv yuborilishi: Iyun 2025.

Ekspert baholangan nashr etilgan versiya: Communications in Mathematical Physics.

Jild: 407.

Maqola raqami: 185.

Nashr yili: 2026.

Version of Record nashr sanasi: 1 avgust 2026.

Qabul qilingan sana: 3 iyul 2025.

Qabul qilish sanasi: 29 may 2026.

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

Nashriyot: Springer Nature / Springer-Verlag GmbH Germany.

Manba turi: Ekspert baholangan matematik umumiy nisbiylik va differensial geometriya tadqiqot maqolasi; theorem/proof ishi.

Preprint: arXiv:2506.20004.

Manba versiyasi izohi: Verianla ilmiy tushuntirishi yuklangan arXiv v3 PDF mazmuniga asoslanadi. Springer Version of Record faqat bibliografik identifikatsiya, nashr sanalari, muassasalar, huquqlar va bayonotlar uchun tekshirilgan.

Litsenziya / huquq holati: Springer Version of Record sahifasi Creative Commons litsenziyasini ko'rsatmaydi va Springer Nature yoki litsenziya beruvchi maqola ustida eksklyuziv huquqlarga ega ekanini bildiradi. Shu sababli nashr etilgan versiya ochiq litsenziyali manba deb qabul qilinmagan.

Ilmiy soha: Umumiy nisbiylik; Lorens geometriyasi; differensial geometriya; Riman barglanishlari va kohomologiya.

Asosiy muammo: Degeneratsiyalangan kompakt, toʻliq geodezik null gorizontlarda doimiy sirt gravitatsiyasiga ega silliq null urinma maydon mavjudligini isbotlash.

Asosiy yangi natija: Null energiya sharti ostida istalgan fazo-vaqt oʻlchamidagi kompakt degeneratsiyalangan gorizont silliq, kelajak yoʻnalishidagi va nol sirt gravitatsiyasiga ega null urinma maydonni qabul qiladi.

Umumiy natija: Yangi degeneratsiyalangan natija oldingi degeneratsiyalanmagan natijalar bilan birlashtirilganda, har bir kompakt gorizont uchun doimiy sirt gravitatsiyasiga ega mos null urinma maydon mavjud.

Markaziy geometrik tenglama: \(\nabla_Xn=\omega(X)n\).

Sirt gravitatsiyasi: \(\kappa=\omega(n)\).

Qayta masshtablash: \(n'=e^{-f}n\).

1-forma oʻzgarishi: \(\omega'=\omega-df\).

Sirt gravitatsiyasi oʻzgarishi: \(\kappa'=e^{-f}(\kappa-n(f))\).

Asosiy kohomologik tenglama: \(n(f)=\omega(n)\).

Energiya shartidan kelib chiqadigan asosiy cheklov: \(Ric(n,\cdot)|_{TH}=0\) va \(i_nd\omega=0\).

Asosiy matematik vositalar: Riman oqimlari; foliated/basic kohomologiya; ribbon argument; Birkhoff ergodik teoremasi; Hodge nazariyasi; Hodge ajralishi; Carrière qoʻshnichiliklari; partition of unity; Gysin ketma-ketligi; Diophantine torus oqimlari; Fourier tahlili.

Izometrik oqim natijasi: Hodge nazariyasi \(n(f)=\omega(n)-c\) tenglamasini beradi; degeneratsiyalangan gorizontdagi nol oʻrtacha xususiyati \(c=0\) boʻlishini majbur qiladi.

Non-isometric umumiy oʻlcham natijasi: Carrière qoʻshnichiliklari va alohida mustaqil basic-kohomologiya/Gysin argumentidan foydalanib \(n(f)=\omega(n)\) global ravishda yechiladi.

Torus maxsus natijasi: Zich chiziqli orbitli torus holatida Fourier tahlili \(\omega=\eta+df\) va shuning uchun \(d\omega=0\) natijasini beradi.

Oʻlcham: Asosiy teorema istalgan fazo-vaqt oʻlchami uchun ifodalangan.

Tajriba: Yoʻq.

Sonli simulyatsiya: Yoʻq.

Kuzatuv maʼlumoti: Yoʻq.

Maʼlumotlar mavjudligi: Maʼlumotlarni ulashish tatbiq etilmaydi; tadqiqot doirasida yangi maʼlumotlar toʻplami yaratilmagan yoki tahlil qilinmagan.

Moliyalashtirish: European Union – NextGenerationEU doirasidagi PRIN Project “Contemporary perspectives on geometry and gravity”, kod 2022JJ8KER – CUP B53D23009340006.

Manfaatlar toʻqnashuvi: Mualliflar tegishli moliyaviy yoki moliyaviy boʻlmagan manfaatlar toʻqnashuvini bildirmaydi.

Muallif hissalari: Yuklangan PDF va rasmiy Springer qaydida alohida CRediT/muallif hissasi boʻlimi mavjud emas.

Teng hissa: Teng hissa/teng birinchi mualliflik bayonoti koʻrinmaydi.

Tahririy maʼlumot: Nashr etilgan versiya P. Chrusciel tomonidan communicated qilingan.

Asosiy talqin chegarasi: Teorema mos null generator maydonining mavjudligini isbotlaydi; oldindan berilgan har bir normallashtirishda sirt gravitatsiyasi bir xil doimiy ekanini daʼvo qilmaydi.

Killing simmetriyasi chegarasi: Doimiy sirt gravitatsiyasi Killing maydonini kengaytirish uchun muhim qadam; tadqiqot degeneratsiyalangan kompakt gorizontlarda toʻliq fazo-vaqt Killing simmetriyasini isbotlamaydi.

Kosmik senzura chegarasi: Kuchli kosmik senzura va Isenberg–Moncrief dasturi tadqiqot motivatsiyalari qatoriga kiradi; ushbu maqola kuchli kosmik senzura gipotezasini bevosita hal qilmaydi.