[논문 리뷰] Index theory, eta forms, and Deligne cohomology

Ulrich Bunke|ArXiv.org|2002. 01. 14.

Advanced Operator Algebra Research참고 문헌 29인용 수 9

한 줄 요약

이 논문은 모서리가 있는 다양체 위의 딜라크 연산자 가중치에 대한 인덱스 이론을 개발하며, 델리뉴 코homology를 사용한 정교화된 차단 이론을 도입한다. 국소 인덱스 이론과 $\eta$-형식, 딜라크 연산자의 타밍을 조합하여, 인덱스의 $k$-번째 체르니클 클래스를 $k$-번째 정수 델리뉴 코homology로 올리며, $K$-이론의 2차 불변량에 대한 기하적 정교화를 제공하고, 고전적 인덱스 이론을 임의의 여부의 코드비미니던스를 가진 특이 공간으로 확장한다.

ABSTRACT

The Chern classes of a K-theory class which is represented by a vector bundle with connection admit refinements to Cheeger-Simons classes in Deligne cohomology. In the present paper we consider similar refinements in the case where the classes in K-theory are represented by geometric families of Dirac operators. In low dimensions these refinements correspond to the exponentiated eta-invariant, the determinant line bundle with Quillen metric and Bismut-Freed connection, and Lott's index gerbe with connection and curving. We give a unified treatement of these cases as well as their higher generalizations. Our main technical tool is a variant of local index theory for Dirac operators of families of manifolds with corners.

연구 동기 및 목표

• 표준 프레드홀름 이론이 경계 특이성으로 인해 실패하는, 임의의 코드비미니던스를 가진 모서리가 있는 다양체 위의 딜라크 연산자 가중치에 대한 인덱스 이론을 확장한다.
• 경계 면에서의 타밍(역행성 편향)을 내부로 확장하기 위한 체계적인 장애 이론을 개발한다. 이는 인덕티브 감소 과정을 기반으로 한다.
• $(i-1)$-차원에서 $i$-차원 하위복합체로의 타밍 확장을 방해하는 $k$-번째 정수 코hom로 거론되는 장애를, $i$-번째 델리뉴 코hom로의 클래스로 정교화하여, 코homology를 초월한 기하적 및 위상적 데이터를 포착한다.
• 국소 인덱스 형식과 $\eta$-형식을 조합하여 딜라크 연산자 가중치의 인덱스에 대한 미분기하학적 정교화를 구축하며, 경계 기여를 포함하는 드 라함 표현형을 얻는다.

제안 방법

• 논문은 딜라크 연산자를 스무딩 연산자로의 역행성 편향으로서 '타밍'의 개념을 도입하여, 모서리가 있는 다양체에서 프레드홀름 연산자 구조를 만들 수 있도록 한다.
• 경계 감소는 모서리가 있는 다양체에서의 인덱스 문제를 분석하기 위해 체계적으로 개발되며, 문제를 낮은 코드비미니던스 면으로 감소시킨다.
• 국소 인덱스 이론은 국소 인덱스 형식과 경계 면에서의 $\eta$-형식 기여를 합산함으로써, 모서리가 있는 다양체로 확장된다.
• 국소 인덱스 이론에서의 전이 형식은 인덱스가 0일 때 드 라함 표현형을 비틀어주는 데 사용되며, 이는 2차 불변량의 구축을 가능하게 한다.
• 장애 이론과 타밍의 기하학을 이용하여, 인덱스의 $k$-번째 체르니클 클래스를 델리뉴 코homology로의 캐논리컬 리프트를 구성한다.
• 이 이론은 낮은 차수에서 알려진 기하적 객체들과 호환됨을 검증한다: $k=1$일 때 $\eta$-불변량, $k=2$일 때 결정선다발, $k=3$일 때 인덱스 테이프.

실험 결과

연구 질문

• RQ1 표준 경계 조건이 실패하는, 임의의 코드비미니던스를 가진 모서리가 있는 다양체에서 딜라크 연산자의 인덱스 이론을 어떻게 확장할 수 있는가?
• RQ2 디렉 연산자의 타밍을 경계에서 내부로 확장하는 데 있어 장애는 무엇이며, 이를 어떻게 체계적으로 계산할 수 있는가?
• RQ3 타밍의 확장을 방해하는 $k$-번째 정수 코hom로 거론되는 장애를 $k$-번째 델리뉴 코hom으로 정교화할 수 있으며, 이러한 정교화는 어떤 기하적 데이터를 담고 있는가?
• RQ4 $\eta$-형식과 국소 인덱스 형식은 경계 면이 존재할 경우 인덱스의 체르니클 형식을 어떻게 표현하는가?
• RQ5 가중치 딜라크 연산자에 대한 델리뉴 코호몰로지에서의 정교화된 장애 클래스의 기하학적 해석은 무엇인가?

주요 결과

• 논문은 경계 감소에서 기인하는 장애를 동반한 인덕티브 타밍 절차를 통해 모서리가 있는 다양체 위에 프레드홀름 연산자 구조를 구축한다.
• 모서리가 있는 다양체 위의 딜라크 연산자 가중치의 인덱스의 체르니클 형식은 국소 인덱스 형식과 경계 면의 $\eta$-형식 기여를 포함하는 드 라함 형식으로 표현된다.
• 인덱스가 0일 경우, 국소 인덱스 이론에서의 전이 형식이 드 라함 표현형을 미분적으로 정교화하며, 이는 2차 불변량의 구축을 가능하게 한다.
• $i-1$-차원에서 $i$-차원 하위복합체로의 타밍 확장을 방해하는 장애 클래스는 $i$-번째 정수 델리뉴 코호몰로지의 클래스로 올리며, 고전적 코호몰로지 장애를 정교화한다.
• 이 구성은 인덱스의 $k$-번째 체르니클 클래스를 델리뉴 코호몰로지로의 캐논리컬 리프트를 제공하며, $k=1,2,3$일 때는 알려진 기하적 객체들을 회복한다: $\eta$-불변량, 결정선다발, 인덱스 테이프.
• 이 이론은 알려진 기하적 실현과 호환됨을 검증한다: $k=1$은 $\eta$-불변량에 해당하고, $k=2$는 접속이 있는 결정선다발에 해당하며, $k=3$은 기하학적 테이프에 해당하여, 기존의 인덱스 이론과의 일관성을 확인한다.