[논문 리뷰] Analytic torsion, vortices and positive Ricci curvature

Robert J. Berman|arXiv (Cornell University)|2010. 06. 15.

Geometry and complex manifolds참고 문헌 50인용 수 19

한 줄 요약

이 논문은 켈러 다양체 위의 풍부한 선다발에 대한 양성 곡률 메트릭 위에서 비국소적 함수에 대한 일반적 변분 원리를 수립하여, 푸비니-스투디 메트릭이 전역 최대화자임을 증명한다. 이는 파노 다양체에 대한 해석적 토르션에 관한 추측, 토러스 위의 초전도체-하이그스 비틀림에 관한 추측, 모저-트루딩어 부등식에 대한 해결을 포함하며, 곡률과 스펙트럼 분석을 통한 켈러-아인슈타인 유일성과 마부치 에너지의 경계에 대한 새로운 증명을 제공한다.

ABSTRACT

We characterize the global maximizers of a certain non-local functional defined on the space of all positively curved metrics on an ample line bundle L over a Kahler manifold X. This functional is an adjoint version, introduced by Berndtsson, of Donaldson's L-functional and generalizes the Ding-Tian functional whose critical points are Kahler-Einstein metrics of positive Ricci curvature. Applications to (1) analytic torsions on Fano manifolds (2) Chern-Simons-Higgs vortices on tori and (3) Kahler geometry are given. In particular, proofs of conjectures of (1) Gillet-Soulé and Fang (concerning the regularized determinant of Dolbeault Laplacians on the two-sphere) (2) Tarantello and (3) Aubin (concerning Moser-Trudinger type inequalities) in these three settings are obtained. New proofs of some results in Kahler geometry are also obtained, including a lower bound on Mabuchi's K-energy and the uniqueness result for Kahler-Einstein metrics on Fano manifolds of Bando-Mabuchi. This paper is a substantially extended version of the preprint arXiv:0905.4263 which it supersedes.

연구 동기 및 목표

• 켈러 다양체 위의 풍부한 선다발에 대한 양성 곡률 메트릭 위에서 비국소적 함수의 전역 최대화자를 특성화하는 것.
• 두 차원 구 위에서 돌베올트 라플라스 연산자의 정규화된 행렬식에 관한 길레트-소울레 및 팡의 추측을 해결하는 것.
• 켈러 기하학의 맥락과 토러스 위의 비틀림 해에 있어서 새로운 날카운 모서-트루딩어 유형의 부등식을 증명하는 것.
• 파노 다양체 위에서 마부치의 K-에너지에 하한을 설정하고, 파노 다양체 위에서 켈러-아인슈타인 메트릭의 유일성을 새로운 방식으로 증명하는 것.

제안 방법

• 켈러 다양체 $$(X, \omega_0)$$ 위의 풍부한 선다발 $$L$$ 에 대한 양성 곡률 헤르미트 메트릭 위에서 정의된, 도널드슨의 $$L$$-함수의 수반 형태인 함수 $$\varphi_{\omega_0}$$ 를 사용한다.
• 지오데식 미적분학과 함수해석학을 적용하여 임계점을 도출하고, 곡률 및 $$L^2$$-추정을 통해 최대화자를 특성화한다.
• 호르마이더-코다이라 항등식과 $$\bar{\partial}$$-코homology 를 사용하여 타원적 정규성과 비균일 $$\bar{\partial}$$-방정식의 해의 유일성을 확립한다.
• 곡률 형식에 의해 정의된 가중치 $$L^2$$-공간에서 코시-슈바르츠 부등식을 적용하여 $$D^{1,0}f^{0,0}$$ 의 노름에 대한 날카운 추정을 도출한다.
• 곡률 형식 $$i\partial\bar{\partial}\psi$$ 를 통해 $$\Omega^{0,0}(X,L)$$ 과 $$\Omega^{1,1}(X,L)$$ 사이의 유니터리 사상 $$*$$ 를 도입하여 노름 비교를 가능하게 한다.
• 제타-정규화된 행렬식과 스펙트럼 이론을 적용하여 이 함수가 해석적 토르션과 $$S^2$$ 위의 행렬식 함수와 관련됨을 밝힌다.

실험 결과

연구 질문

• RQ1 켈러 다양체 위의 풍부한 선다발에 대한 양성 곡률 메트릭 위에서 비국소적 함수 $$\mathcal{F}_{\omega_0}$$ 의 전역 최대화자는 무엇인가?
• RQ2 팡의 추측이 맞는가? 즉, $$S^2$$ 위의 $$\mathcal{O}(m)$$ 에서 푸비니-스투디 메트릭이 돌베올트 라플라스 연산자의 행렬식을 최대화하는가?
• RQ3 모서-트루딩어-오노프리 부등식은 곡률 함수에 대한 변분 원리의 결과로 도출될 수 있는가?
• RQ4 파노 다양체 위에서의 해석적 토르션과 $$\bar{\partial}$$-코homology 맥락에서 기울기의 $$L^2$$-노름 사이의 관계는 무엇인가?
• RQ5 큰 텐서 곱 근처에서 메트릭의 곡률은 행렬식 함수의 극값에 어떻게 영향을 주는가?

주요 결과

• $$S^2$$ 위의 $$\mathcal{O}(m)$$ 에서의 푸비니-스투디 메트릭이 정규화된 돌베올트 라플라스 연산자 행렬식을 최대화하며, 팡의 추측을 확인한다.
• 로그 행렬식 비율에 대한 날카운 상한이 확립된다: $$\log(\det\Delta_{\bar{\partial}_u}/\det\Delta_{\bar{\partial}_0}) \leq -\frac{1}{2(m+2)}\int du \wedge d^c u \leq 0$$, 등호는 메트릭이 푸비니-스투디일 때에만 성립한다.
• 모서-트루딩어-오노프리 부등식은 주요 변분 부등식의 특수한 경우로 복원된다.
• 논문은 파노 다양체 위에서 마부치의 $$K$$-에너지에 하한을 증명하며, 반도-마부치의 결과를 확장한다.
• 함수의 엄격한 볼록성과 곡률 제약 조건을 통해 파노 다양체 위에서 켈러-아인슈타인 메트릭의 유일성을 새로운 방식으로 증명한다.
• 핵심 추정의 등호 조건이 특성화된다: 등호는 $$\bar{\partial}(\ast g) = 0$$ 이며, $$g^{1,1} = h^{1,0} \wedge \bar{\partial}(\partial_t \psi_t)$$ 일 때에만 성립하며, 이는 극값성과 곡률 변화의 해석적 성질 사이의 연결을 보여준다.