PU2 1에서 거의 푸시안 표현

초록

이 논문은 큰 차수의 디스크 번들을 기반으로, 토레도 불변량이 비최대이면서도 고유한 홀로모픽 최소곡면을 갖는 PU(2,1)의 볼록-콤팩트 표현을 구축한다. 특히 토레도 값이 2‑2g+ 2⁄3 d 형태이며 d가 3으로 나누어지지 않을 때, 해당 표현은 SU(2,1)로 상승하지 않음이 보인다.

상세 분석

논문은 먼저 PU(2,1)에 대한 표면군의 비최대 토레도 성분을 조사한다. 토레도는 2⁄3 ℤ에 속하고 Milnor‑Wood 부등식 2‑2g ≤ τ ≤ 2g‑2을 만족한다. 저자는 g가 충분히 클 때, 임의의 양의 정수 d에 대해 τ = 2‑2g + (2⁄3)d 형태의 토레도 값을 갖는 볼록‑콤팩트 표현을 구성한다. 핵심은 ‘거의 푸시안(Almost‑Fuchsian)’ 조건, 즉 두 번째 기본형 II_f의 ‖II_f‖가 일정 η < 1을 만족하도록 하는 것이다. 이를 위해 복소 초평면 H²_ℂ 안의 홀로모픽 침입을 기술하는 ‘홀로모픽 가우스‑코다치 방정식’과 연관된 히그스 번들(히그스 번들) 구조를 이용한다. 구체적으로 라인 번들 L의 차수를 deg(L)=d로 두고, u, v 두 실함수와 β∈H⁰(S,K³L⁻¹) 를 만족하는 비선형 PDE 시스템(Δu, Δv 방정식)을 풀어, 프로젝트ively 평탄한 PU(2,1) 번들을 만든다. 이 번들은 서명 (2,1)인 세미리니어 형식 B와 호환되어 개발 지도 f:S→H²_ℂ 를 정의하고, f가 홀로모픽이며 II_f의 (2,0) 성분이 β와 일치함을 보인다. 안정성 조건을 히그스 번들의 안정성(0 < deg(L) < 3g‑3)과 연결시켜, 충분히 큰 g에 대해 β를 충분히 작게 선택하면 II_f의 노름을 임의의 η로 제한할 수 있음을 증명한다. 결과적으로, 토레도 τ=2‑2g+2⁄3 d 를 갖는 거의 푸시안 표현이 존재하고, d가 3으로 나누어지지 않을 경우 해당 표현은 SU(2,1)로 상승하지 않는다. 또한, η를 작게 잡으면 II_f가 거의 영이면서도 완전히 지오데식이 아닌 홀로모픽 임베딩을 얻어, 경계의 퀘이시서클이 차원 1에 근접한 Hausdorff 차원을 갖는 예시를 제공한다. 논문은 SO(4,1) 경우와 비교하여, 차수 d 디스크 번들을 직접 다루는 새로운 합성적 방법을 제시하고, H⁴에서도 유사한 거의 푸시안 초극면을 구성할 수 있음을 부록에 기술한다. 전체적으로 복소 초평면 기하, 히그스 번들, 비선형 PDE 해석을 결합해 비최대 토레도 성분에서 새로운 볼록‑콤팩트, 거의 푸시안 표현을 체계적으로 구축한 점이 주요 공헌이다.