[논문 리뷰] Perelman's $W$-functional on manifolds with conical singularities

Xianzhe Dai, Changliang Wang|arXiv (Cornell University)|2017. 11. 22.

Geometric Analysis and Curvature Flows참고 문헌 21인용 수 5

한 줄 요약

이 논문은 고립된 콘형 특이점을 가진 컴팩트 리만다이언 군면에서 페렐만의 $W$-함수의 하한의 유한성과 최소화자 존재성을 증명한다. 이는 횡단면의 스칼라 곡률이 $n-2$를 초과할 조건 하에 성립한다. 가중 침습 공간과 가중 타원형 추정을 사용하여, 최소화자가 특이점 근처에서 $r^{-\alpha}$ 보다 더 빠르게 감쇠함을 증명하며, 부드러운 컴팩트 경우 이론을 특이한 설정으로 확장한다.

ABSTRACT

In this paper, we develop the theory of Perelman's $W$-functional on manifolds with isolated conical singularities. In particular, we show that the infimum of $W$-functional over a certain weighted Sobolev space on manifolds with isolated conical singularities is finite, and the minimizer exists, if the scalar curvature satisfies certain condition near the singularities. We also obtain an asymptotic order for the minimizer near the singularities.

연구 동기 및 목표

• 고립된 콘형 특이점을 가진 컴팩트 리만다이언 군면으로 페렐만의 $W$-함수 이론을 확장한다.
• 가중 침습 공간 프레임워크 내에서 $W$-함수의 하한의 유한성을 확립한다.
• 횡단면의 곡률 조건 하에서 $W$-함수의 최소화자 존재성을 증명한다.
• 콘형 특이점 근처에서 최소화자의 정밀한 점근적 감쇠 추정을 유도한다.

제안 방법

• 분석은 특이점 근처에서 가중 함수 $\chi$를 사용해 정의된 콘형 특이점에 적합한 가중 침습 공간 $H^1(M)$을 사용한다.
• 최소화자의 존재성은 변분법의 직접 방법을 통해 증명되며, 이는 가중 침습 임베딩의 컴팩턴스에 의존한다.
• 로그-소볼레프 및 $L^2$ 소볼레프 부등식은 $W$-함수의 로그 항을 제어하기 위해 사용된다.
• 가중 타원형 추정과 가중 침습 임베딩은 최소화자의 정규성 및 감쇠 추정을 도출하는 데 적용된다.
• 점근적 행동은 가중 $L^p$ 추정을 반복 적용하고 $W$-함수의 오일러-라그랑주 방정식의 구조를 이용하여 분석된다.
• 증명은 메트릭의 점근적 콘형 구조와 횡단면 $N$에서의 스칼라 곡률 조건 $R_{h_0} > n-2$를 활용한다.

실험 결과

연구 질문

• RQ1 콘형 특이점을 가진 다양체에서 페렐만의 $W$-함수의 하한이 언제 유한한가?
• RQ2 이러한 특이 다각형에서 가중 침습 공간 내에서 $W$-함수의 최소화자가 존재하는가?
• RQ3 콘형 특이점 근처에서 최소화자의 정밀한 점근적 감쇠 속도는 무엇인가?
• RQ4 가중 침습 및 타원형 추정은 특이 공간에서 $W$-함수 분석을 어떻게 지원하는가?
• RQ5 부드러운 다양체에서 $W$-함수 이론은 제어 가능한 곡률 성장 조건이 있는 특이 설정으로 확장될 수 있는가?

주요 결과

• 횡단면의 스칼라 곡률이 $R_{h_0} > n-2$를 만족할 경우, 모든 $\tau > 0$에 대해 $W$-함수의 하한은 유한하다.
• 최소화자 $u_0$는 $C^\infty(M \setminus S)$에 존재하며, 가중 $L^2$ 정규화된 $W$-함수에서 하한을 실현한다.
• 각 콘형 특이점 근처에서, 최소화자는 $r \to 0$일 때 임의의 $\alpha > \frac{n}{2} - 1$에 대해 $u_0 = o(r^{-\alpha})$를 만족한다.
• 감쇠 추정은 가중 $L^p$ 추정의 반복적 적용과 콘형 모델에서의 타원형 정규성에 의해 확립된다.
• 결과는 고전적인 가중 부등식에서 유도된 모델 콘에서의 가중 $L^2$ 소볼레프 부등식과 하드이 유형의 부등식에 의존한다.
• 분석은 표준 소볼레프 임베딩을 특이 행동을 다루기 위해 가중 버전으로 대체함으로써, 부드러운 컴팩트 경우 이론을 확장한다.