[논문 리뷰] Volterra calculus, local equivariant family index theorem and equivariant eta forms

Yong Wang|arXiv (Cornell University)|2013. 04. 27.

Advanced Operator Algebra Research참고 문헌 28인용 수 6

한 줄 요약

이 논문은 그리너의 열핵 점근적 해석과 볼테라 적분연산법을 이용하여 국소 등변 가족 지수 정리와 등변 에타 형식의 정칙성을 위한 새로운 증명을 제공한다. 등변 가족 JLO 특성수를 계산하고, 추적 추정과 연산자 코남화 기법을 통해 등변 에타 형식의 잘 정의됨과 정칙성을 확립한다.

ABSTRACT

In this paper, we give proofs of the family index formula and the equivariant family index formula by the Greiner's approach to heat kernel asymptotics. We compute equivariant family JLO characters. We also define the equivariant eta form and give a proof of its regularity.

연구 동기 및 목표

• 퐁게의 방법과 그리너의 열핵 점근적 해석을 이용하여 디라크 연산자 가족에 대한 국소 지수 정리를 새로운 방식으로 증명하는 것.
• 그리너의 열핵 점근적 해석 접근법을 통해 국소 등변 가족 지수 정리를 새로운 방식으로 증명하는 것.
• 우의 방법과 슈퍼연산자 형식론을 이용하여 등변 가족 JLO 특성수를 명시적으로 계산하는 것.
• 등변 에타 형식을 정의하고, 추적 추정 및 그라스만 변수를 이용한 연산자 코남화 기법을 통해 그 정칙성을 증명하는 것.
• 아티야-패놀리-식링과 비스미의 결과를 등변 가족 설정으로 일반화하여, 군 작용이 있는 섬유다발에 대한 지수 이론을 확장하는 것.

제안 방법

• 열핵 점근적 해석의 그리너 접근법을 활용하여 열방정식 해에 의존하지 않고 국소 지수 정리를 도출한다.
• 볼테라 임의의 미분연산법을 적용하여 열핵 전개를 계산하고, 복잡한 좌표 변환을 피한다.
• 스케일링 연산자 $ h = 1 + \frac{1}{2}dt\sum x_i e_i $ 와의 코남화 기법을 사용하여 에타 형식의 점근적 행동을 분석한다.
• 두마르의 원리를 적용하여 $ \widetilde{\phi}(D + \frac{c(T)}{4})e^{-tF} $ 의 추적을 왜곡된 연산자와 연결함으로써 점근적 제어를 가능하게 한다.
• 홀수 차수 형식을 제거하기 위해 추적 $ {\rm Tr}^{\rm even} $ 을 적용하여 에타 형식의 짝수 차원 기여에 집중한다.
• 비스미의 슈퍼연산자 형식론과 시몬의 표준 순서 계산법을 조합하여 가족 JLO 특성수를 채르 뿌리와 기저 미분형식의 언어로 표현한다.

실험 결과

연구 질문

• RQ1 그리너의 열핵 점근적 해석을 이용하여 확률적 또는 유한 전파 속도 방법에 의존하지 않고 국소 등변 가족 지수 정리를 증명할 수 있는가?
• RQ2 섬유다발 위에 군 작용이 존재할 경우 등변 가족 JLO 특성수는 어떻게 명시적으로 계산할 수 있는가?
• RQ3 등변 에타 형식의 점근적 행동은 $ t \to 0^+ $ 와 $ t \to \infty $ 일 때 어떻게 되며, 스무스한 미분형식으로 수렴하는가?
• RQ4 경계가 있는 다양체 위에서 군 작용이 있을 경우 등변 에타 형식은 정칙(스무스하고 잘 정의됨)한가?
• RQ5 좌표 변환 기법을 피하면서 볼테라 적분연산법과 연산자 코남화를 통해 등변 에타 형식의 정칙성을 확립할 수 있는가?

주요 결과

• 등변 에타 형식 $ \widehat{\eta}(\phi) $ 는 점근적 감쇠 $ O(t^{-3/2}) $ ($ t \to \infty $ 일 때) 와 $ O(t^{1/2}) $ ($ t \to 0^+ $ 일 때) 를 통해 잘 정의되고 정칙하다고 증명된다.
• 등변 가족 JLO 특성수는 우의 이중특성수 형식론과 슈퍼연산자를 이용하여 명시적으로 계산되었으며, 기저 미분형식과 채르 뿌리의 언어로 표현된 공식을 도출하였다.
• 등변 에타 형식의 정칙성은 $ h $ 와의 코남화를 통해 증명되었으며, 이는 연산자 $ F + dt(D + \frac{c(T)}{4}) $ 를 $ F + dt u $ 로 변환하여 $ O_G(u) \leq 0 $ 를 만족시키며 추적 제어를 가능하게 한다.
• 기존의 방법과 비교해 정규좌표와 관통좌표 간의 변환을 피함으로써 분석을 단순화한다.
• 추적 $ {\rm Tr}^{\rm even} $ 는 홀수 차수 형식을 제거하여 에타 형식이 가족 매개변수에서 닫혀 있고 스무스하다는 것을 보장한다.
• 결과적으로 아티야-패놀리-식링 지수 정리가 등변 가족 케이스로 일반화되었으며, 등변 에타 형식은 비가환 기하학에서 위상적 불변량으로 기능한다.