[논문 리뷰] Sharp inequalities for determinants of Toeplitz operators and dbar-Laplacians on line bundles

Robert J. Berman|ArXiv.org|2009. 05. 26.

Geometry and complex manifolds참고 문헌 6인용 수 3

한 줄 요약

이 논문은 두 차원 구면 위의 선다발에 대한 토플리츠 연산자와 왜곡된 $\bar{\partial}$-라플라스 연산자의 행렬식에 대한 날카운 부등식을 수립하며, 모저-트루디너-오노프리 부등식을 일반화한다. 양의 곡률을 가진 헤르미트 계량 위에 정의된 비국소 함수를 사용하여, 저자들은 Fubini-Study 계량에서 유일하게 행렬식이 최대가 됨을 증명하며, Gillet-Soulé와 Fang의 $SU(2)$-불변 행렬식 점과정위에서의 상한에 대한 추측을 확인한다.

ABSTRACT

We prove sharp inequalities for determinants of Toeplitz operators and twisted Laplace operators on the two-sphere, generalizing the Moser-Trudinger-Onofri inequality. In particular a sharp version of conjectures of Gillet-Soule and Fang motivated by Arakelov geometry is obtained; applications to SU(2)-invariant determinantal random point processes on the two-sphere are also discussed. The inequalities are obtained as corollaries of a general theorem about the maximizers of a certain non-local functional defined on the space of all positively curved Hermitian metrics on an ample line bundle over a compact complex manifold. 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. In particular, 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.

연구 동기 및 목표

• 두 차원 구면 위의 토플리츠 연산자와 왜곡된 $\bar{\nabla}$-라플라스 연산자의 행렬식에 대한 날카운 부등식을 수립하기.
• Gillet-Soulé와 Fang이 $S^2$ 위의 선다발에 대한 $\bar{\nabla}$-라플라스 연산자 행렬식에 대해 제기한 상한에 관한 추측을 해결하기.
• 모저-트루디너-오노프리 부등식을 분할선다발 위의 헤르미트 계량의 설정으로 일반화하기.
• 카일러 기하학의 고전적 결과들에 대한 새로운 증명 제공, 특히 Mabuchi의 $K$-에너지에 대한 하한과 카일러-아인슈타인 계량의 유일성 포함.

제안 방법

• 저자들은 분할선다발 위의 양의 곡률을 가진 헤르미트 계량의 공간 위에 비국소 함수를 정의하며, 이는 Berndtsson의 Donaldson의 $L$-함수의 동반자에서 영감을 받았다.
• 저자들은 $\bar{\nabla}$-방정식에 대한 Hörmander-Kodaira $L^2$-추정을 사용하여, 계량 공간의 지오데식을 따라 이 함수가 볼록함을 증명한다.
• 이 증명은 함수의 도함수의 베르그만 커널 표현에 기반하며, 추적 항등식을 통해 토플리츠 연산자와 연결된다.
• 함수의 볼록성은 최대화자들이 임계점과 일치함을 시사하며, 이는 $SU(2)$-불변 케이스에서 Fubini-Study 계량임을 보여준다.
• 이 방법은 Bochner-Kodaira-Nakano 항등식을 사용하며, $L^2$-추정에서 등호가 성립할 경우 헬름홀트르 벡터장이 존재함을 의미하며, 이는 자동형 변환 불변성으로 이어진다.
• 핵심 기술적 단계는 함수의 이阶도함수를 토플리츠 연산자 차이의 추적으로 표현하는 것으로, $\operatorname{Tr}(T[\partial_t\partial_{\bar t}u_t] + (T[\partial_t u_t])^2 - T[(\partial_t u_t)^2])$ 로 기술된다.

실험 결과

연구 질문

• RQ1 복소 프로젝티브 직선 $\mathbb{P}^1$ 위의 $\mathcal{O}(m)$ 선다발에 대한 왜곡된 $\bar{\nabla}$-라플라스 연산자의 행렬식은 모든 매끄러운 함수 $u$ 에 대해 날카운 상한을 갖는가?
• RQ2 Fang의 추측에 따르면, $u$ 가 상수일 때만 행렬식의 상한이 달성되는가?
• RQ3 모저-트루디너-오노프리 부등식은 분할선다발 위의 헤르미트 계량 설정으로 일반화될 수 있는가?
• RQ4 양의 곡률 계량 공간 위의 비국소 함수의 최대화자들의 기하학적 및 해석적 특성은 무엇인가?
• RQ5 함수의 볼록성은 카일러-아인슈타인 계량의 유일성과 $K$-에너지 함수와 어떻게 관련되는가?

주요 결과

• $\mathbb{P}^1$ 위의 $\mathcal{O}(m)$ 선다발에 대한 $\bar{\nabla}$-라플라스 연산자의 행렬식은 상한이 존재하며, 이는 정확히 Fubini-Study 계량일 때 최대가 된다.
• Fang의 추측이 확인되었다: $SU(2)$-불변 조건 하에서, 행렬식의 최대값은 $u$ 가 상수일 때에만 달성된다.
• 모저-트루디너-오노프리 부등식은 분할선다발 위의 양의 곡률 헤르미트 계량 공간에 대한 함수로 일반화되었으며, 등호는 Fubini-Study 계량에서 성립한다.
• 함수 $\mathcal{L}_{\omega_0}(u_t)$ 의 이阶도함수가 비음성임을 보여, 볼록성이 증명되었으며, 등호는 해당 벡터장이 헬름홀트르일 때에만 성립한다.
• 이 증명은 Fano 다양체 위의 카일러-아인슈타인 계량의 유일성에 대한 새로운 증명과 함께 Mabuchi의 $K$-에너지에 대한 하한을 제공한다.
• 함수의 최대화자는 일반화된 Ding-Tian 함수의 임계점과 일치하며, 이는 카일러-아인슈타인 기하학과 연결된다.