[논문 리뷰] The Asymptotic of the Holomorphic Analytic Torsion Forms

Martin Puchol|arXiv (Cornell University)|2015. 11. 15.

Holomorphic and Operator Theory참고 문헌 31인용 수 6

한 줄 요약

이 논문은 두 가지 설정에서 해석적 토르션 형식의 渐近 공식을 수립한다: 첫째, 각각의 매끄러운 양의 선다발의 거듭제곱에 대해 증가하는 피브레이션에 대해이고, 둘째, 더 큰 다양체 위의 선다발 거듭제곱의 직접 이미지에 대해이다. 히트 커널 방법과 토플리츠 연산자 체계를 사용하여, 명시적인 오차 한계를 포함한 부드러운 수렴을 도출하며, Bismut과 Vasserot의 결과를 균일한 추정을 포함한 가족 설정으로 일반화한다. 이는 변화하는 피브리 차원에 걸쳐도 적용 가능한 것이다.

ABSTRACT

The purpose of this paper is first to give an asymptotic formula for the holomorphic analytic torsion forms of a fibration associated with increasing powers of a given line bundle. Secondly, we generalize this formula, thanks to the theory of Toeplitz operators, in the case where the powers of the line bundle is replaced by the direct image of powers of a line bundle on a bigger manifold. In both cases we have to make fiberwise positivity assumption on the line bundle. This results are the family versions of the results of Bimsut and Vasserot on the asymptotic of the holomorphic torsion.

연구 동기 및 목표

• Bismut과 Vasserot의 해석적 토르션에 대한 渐近 결과를 가족 설정, 즉 피브레이션 위의 해석적 토르션 형식으로 확장하기 위해.
• 선다발 거듭제곱이 더 큰 다양체 위의 직접 이미지로 대체되는 경우로의 渐近 공식 일반화를 위해.
• 기저 다양체를 따라의 도함수까지 포함한 명시적 오차 추정을 포함한 토르션 형식의 부드러운 수렴을 확립하기 위해.
• 성장하는 피브리 차원과 재스케일링된 연산자에서의 비유한성 구조로 인한 도전 과제를 토플리츠 연산자 기법을 사용하여 극복하기 위해.
• 기저가 점이 아니어도 적용 가능한 해석적 토르션의 가족 형태의 渐近 결과를 제공함으로써, 이전 연구를 초월한 새로운 결과를 도출하기 위해.

제안 방법

• Bismut의 슈퍼연산자 체계를 기반으로 한 히트 커널 접근법을 채택하여 수직 및 수평 미분형식을 모두 포함한다.
• Bismut 슈퍼연산자를 사용해 해석적 토르션 형식을 정의하며, 수평 형식에서 발생하는 영가역 부분을 고려한다.
• 성장하는 피브리 차원에서의 균일 추정을 다루기 위해 토플리츠 연산자 이론을 적용하여, 한계 연산자를 근사치로 대체한다.
• 히트 커널 전개의 계수의 균일 유계성을 보장하기 위해 행렬의 연산자 노름 추정을 사용한다.
• 기저 점 주변의 정규좌표에서 국소 계산을 수행하며, 스펙트럼 프로젝터와 재스케일링을 사용해 주요 항을 분석한다.
• 변하는 피브리 공간에서의 연산자 도함수를 통제함으로써, $\mathscr{C}^\ell$-노름에서의 수렴을 확립한다.

실험 결과

연구 질문

• RQ1 선다발이 수직적으로 양이며, 각각의 거듭제곱 $p$에 대해 피브레이션에 따라 증가할 때, 해석적 토르션 형식의 渐近적 행동은 어떻게 되는가?
• RQ2 선다발 거듭제곱이 더 큰 다양체 위의 직접 이미지로 대체되는 경우로의 渐近 공식은 어떻게 일반화할 수 있는가? 이 경우 $G$-_bundle의 구조를 가정하지 않는다.
• RQ3 기저 다양체를 따라의 도함수까지 포함한 토르션 형식의 수렴 속도는 무엇이며, 어떻게 제어할 수 있는가?
• RQ4 피브리 차원이 $p$에 따라 증가할 때, 특히 한계 연산자가 존재하지 않는 경우에도 균일 추정을 유지하는 방법은 무엇인가?
• RQ5 비유한 또는 성장하는 피브리 구조가 존재할 경우, 토플리츠 연산자 체계를 사용해 점별 수렴을 근사로 대체할 수 있는가?

주요 결과

• 해석적 토르션 형식의 渐近 공식은 $p \to \infty$일 때 $\mathscr{C}^\ell$-노름에서 부드럽게 수렴하며, 오차 한계는 $O(p^{-1/(2n_X+1)})$의 순서이다.
• 직접 이미지의 경우, 기저가 점이어도 이 방법은 Bismut과 Vasserot의 작업을 대칭 거듭제곱을 초월한 새로운 결과를 도출한다.
• 기저 다양체 전반에 걸쳐 수렴이 균일하며, $\mathscr{C}^\ell$-노름 추정을 통해 도함수 제어가 가능하다.
• 토플리츠 연산자의 사용은 성장하는 피브리 차원에도 불구하고 히트 커널 전개의 계수의 균일 유계성을 보장한다.
• 渐近 전개의 주요 항은 재스케일링된 Bismut 슈퍼연산자와 스펙트럼 프로젝터를 포함한 슈퍼트레이스로 표현된다.
• 오차 항은 연산자 노름 추정을 통해 제어되며, $p^{-1}$과 스펙트럼 갭의 역수에 의존하는 추정을 통해 부드러운 수렴이 보장된다.