곡률 부등식과 강직성: 일정 평균곡률 및 시공간 일정 평균곡률 표면

본 논문은 일정 평균곡률(CMC) 표면과 시공간 일정 평균곡률(STCMC) 표면에 대한 곡률 부등식과 강직성 정리를 통합적으로 연구한다. 첫 번째 파트에서는 3차원 리만 다양체 (M,g) 가 비음의 스칼라 곡률을 가질 때, CMC 표면 Σ에 대해 두 가지 약한 안정성 가정을 도입한다. (i) 상수 모드(α≡1)에 대한 두 번째 변분이 δ²ν|Σ|≥−½H²|Σ| 를 만족하는 경우, (ii) Σ가 위상적으로 구이며 전통적인 변분 안정성을 갖는 경우이다. 이 두 가정은 기존의 전체 변분 안정성보다 약하지만, Gauss‑Bonnet 정리와 가우스 방정식 Sc_Σ=Sc_M−2Ric_M(ν,ν)+½H²−|B̊|² 를 이용해 적분식 (12)를 도출하고, 결국 H²≤16π|Σ| 라는 Christodoulou‑Yau 부등식을 재현한다. 등식이 성립하면 Sc_M=0, |B̊|=0, Ric_M(ν,ν)=0 이 되어 Σ는 완전 평평하고 외곡이 없으며, 경계 영역 Ω는 Brown‑York 질량 강직성 정리에 의해 유클리드 볼과 등거리임을 보인다. 이 결과는 기존에 필요했던 대칭성(짝대칭)이나 근접 원형 가정 없이도 외곡 부호 조건만으로 강직성을 확보한다는 점에서 의미가 크다. 다음으로 스칼라 곡률 하한이 양(Λ≥0) 혹은 음(Λ≤0)인 경우를 각각 구형 및 쌍곡 모델에 대응시켜, 부등식에 보정항 −(4/3)Λ|Σ| 를 포함한 일반화된 형태 H²≤16π|Σ|−(4/3)Λ|Σ| 를 얻는다. 이때도 동일한 약한 안정성 가정과 Ricci(ν,ν) 부호 일정 조건을 사용한다. 등식이 성립하면 Σ는 구형이며, Ω는 각각 구형(구면) 혹은 쌍곡(하이퍼볼릭) 공간의 정구(geodesic ball)와 동형이다. 이러한 결과는 차원 n≥3까지 확장 가능하며, 고차원에서도 외곡 텐서와 Ricci 곡률 부호만으로 강직성을 증명한다. 두 번째 파트에서는 4차원 로렌츠 다양체 (M,g) 가 지배 에너지 조건을 만족한다고 가정하고, 스페이스‑라이크 2-표면 Σ에 대해 평균곡률 벡터 H⃗ 의 제곱 노름 |H⃗|²=−θ_ℓθ_k 로 정의한다. STCMC 표면은 |H⃗|가 상수인 경우이며, 저자들은 이를 위한 새로운 안정성 연산자를 도입한다. 상수 모드 안정성(δ²_H⃗|Σ|≥0) 혹은 위상 구와 변분 안정성을 가정하면, 부등식 −θ_ℓθ_k=|H⃗|²≤16π|Σ| 가 도출된다. 이는 Christodoulou‑Yau 부등식의 로렌츠 버전이며, 지배 에너지 조건 하에서 Hawking 에너지의 비음성을 보장한다. 등식이 성립하고 Rm_M(k,·,·,k)의 부호가 일정하면, Σ는 구형이며, Σ가 경계인 공간‑라이크 영역 Ω는 평탄하고, 그 최대 전역 인과발달은 Minkowski 시공간의 인과 다이아몬드와 동형이다. 이는 Liu‑Yau 정리와 Hawking 에너지 영점 강직성을 결합한 결과로, 물리적으로는 Hawking 질량이 0일 때 해당 영역이 완전 평탄함을 의미한다. 마지막으로, 기존에 알려진 STCMC 잎사귀들의 안정성을 검증한다. 비대칭 초기 데이터에 대한 Cederbaum‑Sakovich의 STCMC 잎사귀와 슈바르츠시델 영면에 대한 Kroncke‑Wolff의 STCMC 잎사귀는 모두 상수 모드 안정성과 전통적인 변분 안정성을 만족한다. 이는 실제 물리적 모델에서 제시된 STCMC 표면이 이론적 안정성 조건을 자연스럽게 만족한다는 중요한 확인이다. 전체적으로 논문은 Riemannian과 Lorentzian 두 영역을 통합하는 새로운 안정성 프레임워크를 제시하고, 곡률 하한과 부등식이 강직성 결과를 이끌어내는 핵심 메커니즘을 명확히 밝힌다.