Компакт Коши горизонту, жалпы салыштырмалуулукта мейкиндик-убакыттын себептик түзүлүшүндө пайда болгон нөлдүк, башкача айтканда жарык сымал гипербеттин бир түрү. Raymond A. Hounnonkpe жана Ettore Minguzziнин бул изилдөөсү жалпы түрдө ар бир жылмакай, байланышкан, толугу менен геодезиялык компакт нөлдүк гипербет нөлдүк энергия шарты гана аткарылганда, беттик гравитациясы бүт гипербет боюнча туруктуу болгон жылмакай жана келечекке багытталган жарык сымал жанама вектордук талааны кабыл аларын далилдейт. Изилдөө атайын чечкен ачык маселе — жок дегенде бир генератор аффиндик түрдө толук болгон дегенерацияланган горизонт учуру.

Макаланын негизги жаңы жыйынтыгы дегенерацияланган учурда андан да күчтүү: ылайыктуу нөлдүк генератор талаасы тандалганда беттик гравитация туруктуу гана болбостон, \(\kappa=0\) кылып тандоого болот. Башкача айтканда, дегенерацияланган компакт горизонтто жылмакай, келечекке багытталган жарык сымал жанама талаа \(n\) тандалып, ал талаа

\[ \nabla_n n=0 \]

теңдемесин канааттандырат. Бул \(n\) геодезиялык экенин жана ылайыктуу аффиндик параметрлөө менен шайкеш экенин билдирет.

Изилдөөнүн математикалык механизми беттик гравитациянын тандалган генератор талаасына кандай көз каранды экенин пайдаланат. Толугу менен геодезиялык нөлдүк гипербетте

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

түрүндө аныкталган \(\omega\) 1-формасы бар жана беттик гравитация

\[ \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\): \(H\) үстүндө аныкталган 1-форма.

Теңдеменин маанилүү жагы — \(\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\)ти аныктагандыктан негизги орунда турат; жылмакай глобалдык чечим табылганда \(n'=e^{-f}n\) талаасы үчүн Eq. (3) түздөн-түз \(\kappa'=0\) берет.

Риман агымы менен байланыш

Горизонтто индукцияланган трансверсалдык метрика \(g_T\) нөлдүк багытта дегенерацияланган:

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

Толугу менен геодезиялык касиеттен:

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

алынат.

\(\mathcal{L}_n\) — \(n\) боюнча Lie туундусу. Eq. (5) генератор агымы трансверсалдык метриканы сактарын көрсөтөт. Ошондуктан ар бир горизонт табигый түрдө Риман агымы түзүлүшүн аныктайт.

Жалбыракталуу жана Риман агымы деген эмне?

\(D=\operatorname{span}(n)\) бир өлчөмдүү бөлүштүрүүнүн интегралдык ийри сызыктары горизонт генераторлорун түзөт. Бул интегралдык ийри сызыктар түзгөн түзүлүш жалбыракталуу болуп саналат. Жалбырактар бир өлчөмдүү болуп, трансверсалдык метрика агым тарабынан сакталганда түзүлүш Риман агымы катары каралышы мүмкүн.

Foliated когомология кандай аныкталат?

\(\chi(n)=1\) болгон 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 \]

болгондуктан \(\kappa\chi|_D\) формасынын exact болушу:

\[ 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 форма агым багытында компоненти жок жана агым багытында өзгөрбөгөн трансверсалдык геометриялык маалыматты билдирет.

Изилдөөнүн Ыкмасы жана Жыйынтыктары

Негизги Далил Кайсы Математикалык Куралдарды Бириктирет?

Негизги далил адегенде нөлдүк энергия шарты аркылуу \(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} \]

жогорку чек алынат.

Бул жерде маанилүү нерсе — ribbon канчалык узун болсо да \(B\) өспөйт. Интегралдардын айырмасы туруктуу сан менен чектелип турганда убакыт \(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} \]

Агым тарабынан invariant болгон ар бир компакт каныккан субманифолд \(N\) үчүн:

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

Эмне үчүн Birkhoff эргодикалык теоремасын колдонууга болот?

\(\alpha(n)=1\) боло тургандай 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\) — тышкы туунду \(d\)нин формалдык adjointи:

\[ (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\): co-exact 1-форма,
• \(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 менен чечилгенден кийин төрт өлчөмдүү маселеде техникалык жактан өзгөчө калган түзүлүш \(T_A^3\) non-isometric агымы.

Гиперболалык торус \(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 колдонулат.

Орточолор нөл болгондуктан Theorem 9 боюнча туруктуу \(c\) кайра нөл чыгат. Ошентип ар бир 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. \]

Биринчи de Rham классынын basic өкүлү \(\alpha\) тандалганда:

\[ \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)\) градиенттик модго ээ болушун талап кылат жана натыйжада:

\[ \omega=\eta+df \]

алынат; \(\eta\) туруктуу 1-форма.

Демек:

\[ d\omega=0. \]

Theorem 15 — торус учурундагы күчтүү жыйынтык

Дегенерацияланган компакт горизонт \(T^s\) ге диффеоморфтук болуп, Риман агымы тыгыз орбиталуу сызыктуу торус агымына орбиталдык жактан эквиваленттүү болсо:

\[ \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 илимий түшүндүрмөсү жүктөлгөн arXiv v3 PDFтин мазмунуна негизделет. 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 программасы изилдөөнүн мотивацияларынын арасында; бул макала күчтүү космостук цензура гипотезасын түздөн-түз чечпейт.