Dimension of polynomial growth harmonic functions on locally conformally flat manifolds with nonnegative Ricci curvature

기술적 요약: 국소 컨포멀 플랫 다양체 상의 다항 성장 조화 함수의 차원

문제 정의
본 논문은 리치 곡률이 비음수인($\text{Ric} \ge 0$) 완비 리만 다양체 $(M, g)$ 위에서 최대 차수 $d$를 갖는 다항 성장을 하는 조화 함수들의 공간 $H_d(M)$에 대해 S.-T. Yau가 제기한 두 가지 근본적인 질문을 다룬다.

1. 유한 차원성: $\dim H_d(M) < \infty$인가? (Colding과 Minicozzi에 의해 확인됨).
2. 날카로운 유클리드 비교: $\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$인가?
   유한 차원성은 확립되었으나, 날카로운 유클리드 비교(질문 2)는 일반적인 비음수 곡률 다양체에 대해서는 여로 열려 있는 상태이다. Donnelly의 반례는 차원이 $n \ge 5$이고 $d \in (1, 2)$인 정수가 아닌 차수에서 이 부등식이 성립하지 않음을 보여준다. 본 논문은 $(M, g)$가 **국소 컨포멀 플랫(locally conformally flat, LCF)**이라는 특정한 기하학적 제약 조건 하에서, 정수 차수 $d$에 대해 이 부등식이 성립하는지 조사한다.

방법론
저자들은 기하학적 해석학, 퍼텐셜 이론, 그리고 컨포ermal 인자(conformal factor)의 점근적 해석의 조합을 활용한다. 방법론은 다음과 같이 구조화되어 있다:

1. 분류 및 축소:
   Zhu와 Carron–Herzlich의 분류 정리를 활용하여, 저자들은 연결된 완비 LCF 다양체($\text{Ric} \ge 0$)에 대한 문제를 네 가지 경우로 축소한다:

   • $\mathbb{R}^n$과 전역적으로 컨포멀 동치인 경우 (비평탄).
   • 구형 공간 형식(spherical space form)과 전역적으로 컨포멀 동치인 경우.
   • 라운드 실린더 $\mathbb{R} \times S^{n-1}$에 국소 등거리인 경우.
   • 평탄(flat)한 다양체인 경우.
     핵심적인 기술적 노력은 첫 번째 경우인 $(M, g) = (\mathbb{R}^n, e^{2f}g_0)$에 집중된다.

2. 컨포ermal 인자의 점근적 해석:
   분석은 컨포ermal 인자 $f$ (여기서 $g = e^{2f}g_0$)의 점근적 거동에 관한 Ma와 Qing의 연구에 크게 의존한다.

   • 저자들은 $m \in [0, 1]$인 점근적 지수(asymptotic exponent)의 존재를 활용한다: $\liminf_{x\to\infty} \frac{f(x)}{\ln|x|} = -m$.
   • 저자들은 고유 거리 $r(x)$와 유클리드 거리 $|x|$ 사이의 정교한 관계를 확립한다: $\lim_{x\to\infty} \frac{\ln r(x)}{\ln |x|} = 1 - m$.
   • 저자들은 점근적 부피 비율 $\beta$를 지수 $m$을 통해 $\beta = (1-m)^{n-1}$로 연결한다.

3. 거리 비교 및 성장 변환:
   저자들은 $(M, g)$ 상에서의 고유 다항 성장이 유클리드 계량에 대한 특정 성장률로 변환됨을 증명한다. 만약 $h \in H_d(M)$이면, 큰 $|x|$에 대하여 $|h(x)| \le C(1 + |x|)^{d(1-m+\epsilon)}$이다.

4. 가중 G-수렴(Weighted G-convergence) 및 블로우-다운(Blow-down):
   중심적인 기술적 도구는 가중 G-수렴 프레임워크의 개발이다.

   • 저자들은 컨포ermal 인자로부터 유도된 재스케일링된 계량과 가중치 $P_R, Q_R$을 정의한다.
   • 저자들은 재스케일링된 조화 함수들이 극한 계량 코뉴(metric cone) $(\mathbb{R}^n, |y|^{-2m}g_0)$ 상의 조화 함수들로 수렴한다는 컴팩트성 정리(Theorem 4.2)를 증명한다.
   • 이 극한 연산자는 특정 워핑 인자(warping factor)를 가진 코뉴 상의 라플라스-벨트라미 연산자이다.

5. 극한 코뉴 상의 스펙트럼 분석:
   저자들은 극한 코뉴 연산자의 스펙트럼을 분석한다. 그들은 코뉴 상의 조화 함수들의 동차 성장률 $\sigma_\ell$을 결정하며, 이는 매개변수 $a = 1-m$을 포함하는 이차 방정식을 만족한다.

   • 저자들은 코뉴 상의 가중 $L^2$ 질량의 로그-볼록성(log-convexity)을 사용하여 "균등 일보 전파(uniform one-step propagation)"(Proposition 5.4)를 확립한다.
   • 이 전파를 통해 저자들은 원래 다양체의 조화 함수 공간의 차원을 다음 스펙트럼 간격보다 엄격히 작은 성장을 갖는 코뉴 상의 조화 함수 공간의 차원으로 제한할 수 있다.

주요 결과

• 주 정리: 완비 비콤팩트 국소 컨포ermal 플랫 다양체 $(M^n, g)$ ($n \ge 3$)에 대하여, 임의의 고정된 정수 $d \ge 0$에 대해 다음이 성립한다:
  $$\dim H_d(M) \le \dim H_d(\mathbb{R}^n).$$
  또한, 어떤 정수 $d \ge 1$에 대해 등호가 성립하면, $(M, g)$는 유클리드 공간 $\mathbb{R}^n$과 등거이다.

• $\beta = 0$인 경우 (점근적 부피 비율이 0인 경우):
  만약 점근적 부피 비율 $\beta = 0$이면, 임의의 유한한 $d$에 대해 $H_d(M) = \mathbb{R}$ (상수 함수뿐임)이다. 이는 측지선 구(geodesic sphere)의 직경 성장과 방사형 모드(radial modes)의 ODE 분석을 사용하여 증명된다.

• $\beta > 0$인 경우 (유클리드 부피 성장):
  $\beta \in (0, 1)$인 경우, 저자들은 더 날카로운 상한을 증명한다:
  $$\dim H_d(M) \le \dim H_{d-1}(\mathbb{R}^n) < \dim H_d(\mathbb{R}^n).$$
  이 엄격한 부등식은 매개변수 $m > 0$으로 인해 극한 코뉴가 유클리드 공간보다 "더 느린" 성장 스펙트럼을 갖기 때문에 발생한다.

• 강직성(Rigidity):
  정수 $d \ge 1$에 대해 등호 $\dim H_d(M) = \dim H_d(\mathbb{R}^n)$가 성립하면 $m=0$을 강제하며, 이는 $\beta=1$임을 의미하고 다양체는 $\mathbb{R}^n$과 등거리이다.

• 정수가 아닌 차수 (Remark 6.3):
  본 논문은 정수가 아닌 $d$에 대해서도 날카로운 유클리드 상한이 성립함($\dim H_d(M) \le \dim H_d(\mathbb{R}^n)$)을 언급하지만, 강직성 진술은 실패한다. 저자들은 $\dim H_p(M) = \dim H_p(\mathbb{R}^n)$인 비평탄 LCF 다양체의 예시를 $p \in (1, 2)$인 정수가 아닌 $p$에 대해 구성한다.

의의 및 주장
본 논문은 비음수 리치 곡률을 갖는 국소 컨포ermal 플랫 다양체 클래스에 대해 Yau의 두 번째 질문(날카로운 유클리드 비교)에 긍정적인 답을 제공한다.

• Li-Tam의 확장: 이 연구는 유한 총 곡률을 갖는 곡면(surfaces)에 대한 Li와 Tam의 결과를 고차원 LCF 범주로 확장한 것으로 제시된다.
• 정수 케이스의 해결: 비음수 곡률이 존재하는 상황에서 정수 차수에 대해 유클리드 상한이 성립하는지에 대한 열린 문제를 해결한다. 이는 정수가 아닌 차수 $d$에 대해 일반적인 반례가 존재하는 경우이다.
• 방법론적 기여: 본 논문은 가중 G-수렴과 블로우-다운 분석을 갖춘, 비음수 리치 곡률을 갖는 컨포ermal 계량에 맞춤화된 견고한 프레임워크를 도입하며, 이를 통해 다양체의 점근적 기하학(컨포ermal 인자의 지수를 통해)을 조화 함수의 스펙트럼적 성질과 직접 연결한다.

저자들은 일반적인 비음수 리치 곡률을 갖는 다양체에 대한 문제를 해결한다고 주장하는 것이 아니라, LCF라는 강력한 구조적 가정을 통해 결과를 확립하며, 이 과정에서 사용 가능한 특정한 분류 및 점근적 성질을 활용한다.