완비 4차원 다양체에서 이차 곡률 함수의 임계계량과 그 완전 분류

초록

본 논문은 완비 4차원 리만 다양체에서 곡률 함수 (\mathcal A(g)=\int_M|R|^2,dv) 의 임계계량을 연구한다. 에너지 (\mathcal A(g)<\infty)와 트레이스‑프리 리치 텐서 (G)에 대한 두 번째 종류 곡률 연산자 부등식 (G_{ab}R_{aibj}G_{ij}\ge0) 를 가정하면, 해당 계량은 (i) 아인슈타인 계량이거나, (ii) 상수 가우시안 곡률 (c)와 (-c)((c\neq0))를 갖는 2차원 곡면들의 리만 곱으로 국소적으로 동형임을 보인다. 이는 기존의 콤팩트 경우 결과를 완비·유한 에너지 상황으로 확장한 것이다.

상세 분석

논문은 먼저 (\mathcal A(g))의 변분식에서 얻어지는 Euler‑Lagrange 방정식 (\nabla\mathcal A=0)을 정리하고, 차원 4에서의 특수한 트레이스 관계 (\Delta\tau=0) (여기서 (\tau)는 스칼라 곡률)와 보켄식 형태의 식 (2.4)를 도입한다. 핵심은 트레이스‑프리 리치 텐서 (G=\rho-\frac{\tau}{4}g)에 대한 두 번째 종류 곡률 연산자 (R)의 비음성성 가정이다. 이 가정은 식 (2.4)에서 나타나는 항 (8,G_{ab}R_{aibj}G_{ij})를 비음수로 만들며, 이후 적절한 절단 함수 (\eta_s)를 이용한 전역 적분 부분적분 기법을 적용할 수 있게 한다.

먼저 Lemma 3.1을 통해 (\mathcal A(g)<\infty)이면 (\int_M|\rho|^2)와 (\int_M\tau^2)도 유한함을 확인한다. 그런 다음 (\Delta\tau=0)에 (\eta_s^2\tau)를 곱해 적분하고, Cauchy‑Schwarz와 Young 부등식을 사용해 (\int_M\eta_s^2|\nabla\tau|^2)를 (\int_M\tau^2|\nabla\eta_s|^2)에 의해 억제한다. (|\nabla\eta_s|\le C/s)와 유한 에너지 가정을 이용하면 (s\to\infty)에서 오른쪽 항이 0으로 수렴하므로 (\nabla\tau\equiv0), 즉 스칼라 곡률이 상수임을 얻는다.

다음으로 식 (2.4)를 (\eta_s^2)와 함께 적분하면 (\int_M\eta_s^2|\nabla\rho|^2)와 (\int_M\eta_s^2 G_{ab}R_{aibj}G_{ij})가 등장한다. 앞서 얻은 (\tau)의 상수성 및 비음성성 가정으로 인해 두 번째 항은 비음수이며, 첫 번째 항은 양수이므로 전체 식이 0이 되려면 (\nabla\rho\equiv0)이어야 한다. 따라서 리치 텐서가 평행하고 (|\rho|^2)도 상수가 된다.

이제 기존 논문