Critical-point-free energy for fractional-Toledo representations

기술 요약: 분수-톨레도 표현을 위한 임계점 부재 에너지

문제 정의
본 논문은 폐곡선 방향(closed oriented surface) $S_g$ (genus $g \ge 2$)의 환축적 표현(reductive representation) $\rho: \pi_1(S_g) \to PU(2, 1)$에 연관된 테이흐묄러 공간 $\mathcal{T}(S_g)$ 상의 에너지 함수 $E_\rho$를 조사한다. 에너지 함수는 복소 쌍곡 공간 $\mathbb{CH}^2$로의 등변 하모닉 맵(equivariant harmonic map) $f_{\rho, J}: (\tilde{S}_g, J) \to \mathbb{CH}^2$를 통해 정의된다. $E_\rho$의 임계점은 홉프 미분(Hopf differential)이 소멸하는 복소 구조 $J$에 대응하며, 이는 하모닉 맵이 (아마도 분기점이 있는) 최소 침윤(minimal immersion)임을 의미한다.

핵심 질문은 에너지 함수 $E_\rho$가 항상 임계점을 갖는지 여부이며, 특히 비정수 톨레도 불변량(non-integral Toledo invariants)으로 색인되는 $PU(2, 1)$ 캐릭터 다양체의 연결 성분 내에서의 여부이다. 이전 연구(Goldman–Wentworth)는 볼록-컴팩트(convex-cocompact) 표현 $\sigma$에 대해 $E_\sigma$가 적절한 함수(proper function, 따라서 최솟값을 가짐)임을 입증했으나, 비자명한 커널을 갖거나 특정 기하학적 제약을 가진 표현들의 경우 $E_\rho$의 거동은 미해결 상태로 남아 있었다. 구체적으로 저자들은 등변 분기 최소 곡면(equivariant branched minimal surfaces)의 모듈라이 공간으로부터 캐릭터 다양체로의 망각 사상(forgetful map)이 이러한 성분들에서 전사(surjective)인지 여부를 다룬다.

방법론
저자들은 특정한 가약적(irreducible) 환축적 표현 $\rho_{g,h,d}$의 가족을 구성하고, 이와 연관된 에너지 함수가 임계점을 갖지 않음을 입증한다. 방법론은 다음 세 가지 주요 단계로 진행된다:

1. 표현의 구성:
   구성 과정은 genus $h$인 곡면의 브론스타인(Bronstein)의 거의-푸크스(almost-Fuchsian) 표현 $\rho_0: \pi_1(S_h) \to PU(2, 1)$로부터 시작된다. 이 표현들은 $\rho_0$-등변 홀로모픽 임베딩 $F: \tilde{S}_h \to \mathbb{CH}^2$를 허용하며, 그 상(image) $Y$는 작은 제2 기본 형식($\|II_F\|_{op} \le \eta < 1/2$)을 갖는 완전한 최소 곡면(complete, minimal surface)이다. 대상 표현 $\rho$는 방향 보존 차수 1인 핀치 맵(pinch map) $P: S_g \to S_h$ (이는 $g-h$개의 핸들을 붕괴시킨다)에 의해 유도된 준동형 사상 $P_*: \pi_1(S_g) \to \pi_1(S_h)$를 통해 $\rho_0$에 전치(precompose)함으로써 정의된다. 즉, $\rho = \rho_0 \circ P_*$이다. 이 표현은 가약적이고 환축적이지만(동일한 상 $\rho_0$를 공유함), 자명하지 않은 커널을 갖는 비단사(not faithful) 표현이다.

2. 정량적 기하학적 트래핑(Quantitative Geometric Trapping):
   저자들은 "분기 트래핑(branched trapping)" 보조정리를 확립한다. 저자들은 브론스타인의 법선-지수 정리(normal-exponential theorem)를 사용하여 $\mathbb{CH}^2$ 상의 제곱 거리 함수 $\Psi(x) = d(x, Y)^2$를 정의한다. 저자들은 $\mathbb{CH}^2$의 접공간 내 임의의 2-평면(two-plane)에 대한 $\Psi$의 헤시안(Hessian)의 트레이스에 대해 균등한 점별 부등식을 증명한다.
   구체적으로, 폐 리만 곡면 $M$으로부터 $\mathbb{CH}^2$로의 약하게 컨포멀한(weakly conformal) 하모닉 맵 $f$에 대하여, 만약 기본군(fundamental group)의 상이 $Y$를 보존한다면, 합성 함수 $u = \Psi \circ f$는 미분 부등식 $\Delta_M u \ge c u$ ($c > 0$는 $Y$까지의 거리에 의존)를 만족한다. 최대 원리(maximum principle)에 의해, $u$가 비음수이고 컴팩트 곡면 위에 정의되어 있다면 $u$는 상수여야 한다. 만약 맵이 비상수라면, 이는 $u \equiv 0$을 강제하며, 결과적으로 $f$의 상이 전적으로 최소 곡면 $Y$ 내에 존재함을 의미한다.

3. 위상적 모순:
   $E_\rho$의 임계점 $J$가 존재한다고 가정하면, 연관된 하모닉 맵 $f$는 약하게 컨포멀해야 한다. 트래핑 보조정리에 의해, $f$는 $Y$로 사상된다. $F: \tilde{S}_h \to Y$가 임베딩이므로, $f$는 $H: \tilde{S}_g \to \tilde{S}_h$로 리프트(lift)된다. $f$와 $F$의 등변성(equivariance)은 $H$가 $P_*$에 대해 등변임을 의미한다.
   맵 $H$는 리만 곡면 사이의 비상수, 약하게 컨포멀한 하모닉 맵으로 나타나며, 이는 $H$가 홀로모픽 또는 안티-홀로모픽임을 의미한다. 핀치 맵 $P$의 차수가 1이므로, $H$의 차수 또한 1이다. 컴팩트 리만 곡면 사이의 차수가 1인 비상수 홀로모픽 맵은 비홀로모픽(biholomorphism)이며, 이는 도메인의 genus($g$)가 타겟의 genus($h$)와 같아야 함을 의미한다. 이는 $g > h$라는 구성 가정에 모순된다.

주요 기여 및 결과
주요 결과는 정리 1.1이며, 다음과 같이 기술한다:
모든 정수 $d$ ($3 \nmid d$인 경우)에 대하여, $h \ge h_0(d)$이고 $g > h$인 모든 $h$에 대해, 톨레도 불변량이 다음과 같은 가약적 환축적 표현 $\rho_{g,h,d}: \pi_1(S_g) \to PU(2, 1)$가 존재한다:
$$\tau(\rho_{g,h,d}) = \frac{2h - 2 - 2d}{3} \notin \mathbb{Z}$$
이때 에너지 함수의 임계점 집합은 공집합이다:
$$\text{Crit}(E_{\rho_{g,h,d}}) = \emptyset$$

의의 및 주장
본 논문은 다음과 같은 구체적인 이론적 함의를 주장한다:

• 적절성(Properness)의 실패: 이 결과는 도메인 그룹에 대한 표현으로서 볼록-컴pact하지 않은 표현들에 대해 에너지 함수 $E_\rho$가 적절하지 않음을 보여준다(비록 그 상의 부분군은 볼록-컴팩트일지라도). 충실성(faithfulness)의 상실(비자명한 커널)은 에너지 함수가 하한(infimum)에 도달하는 데 있어 극적인 실패를 초래한다.
• 망각 사상의 비전사성: 이 구성은 등변 분기 최소 곡면의 모듈라이 공간으로부터의 망각 사상의 상 밖에 존재하는 $PU(2, 1)$ 캐릭터 다양점(특히 비정수 톨레도 성분 내의 점들)을 명시적으로 제공한다. 이는 선행 문헌 [LM19]에서 제기된 이미지 문제를 해결한다.
• 비정수성의 역할: 저자들은 톨레도 불변량의 비정수성 자체가 최소 곡면의 존재를 배제하는 것은 아님을 명확히 한다(그러한 곡면들이 다른 분수-톨레도 성분에서는 알려져 있으므로). 여기서의 장애물은 구체적으로 거의-푸크스 곡면에 의해 제공되는 기하학적 장벽과 차수 1인 핀치 맵의 결합에서 발생한다.
• 기술적 혁신: 본 논문은 제곱 거리 장벽(squared-distance barrier)에 대한 "균등한 2-평면 트레이스 부등식"을 정식화하며, 이는 특이점에서의 극한 논법을 피하면서 분기점(branch points)에서도 약하게 컨포멀한 하모닉 맵에 적용될 수 있다.

요약하자면, 본 논문은 도메인 그룹의 위상적 제약과 상(image) 부분군의 기하학적 제약이 에너지 함수의 임계점 존재와 양립할 수 없음을 보여줌으로써, 특정 비정수 성분에서 망각 사상의 비전사성을 증명하기 위해 하나의 클래스의 표현을 구축한다.