[논문 리뷰] Equivariant relative Thom forms and Chern characters

Paul-Émile Paradan, Michèle Vergne|ArXiv.org|2007. 11. 25.

Advanced Operator Algebra Research참고 문헌 12인용 수 11

한 줄 요약

이 논문은 수학적-퀴렌 초연결 프레임워크를 사용하여 등변(relative) 톰 형식과 체르니 캐릭터의 명시적이고 계산 가능한 공식을 제공한다. 등변 코homology에서 상대 체르니 캐릭터와 상대 톰 클래스 사이의 리만-뢰흐 공식을 수립하며, 연결과 복소構조를 갖춘 벡터 번들의 미분형식을 통해 핵심 결과를 표현한다.

ABSTRACT

These notes are the first chapter of a monograph, dedicated to a detailed proof of the equivariant index theorem for transversally elliptic operators. In this preliminary chapter, we prove a certain number of natural relations in equivariant cohomology. These relations include the Thom isomorphism in equivariant cohomology, the multiplicativity of the relative Chern characters, and the Riemann-Roch relation between the relative Chern character of the Bott symbol and of the relative Thom class.

연구 동기 및 목표

• 교차 타입 타원형 연산자 맥락에서 상대 등변 코homology 클래스, 특히 톰 클래스와 체르니 캐릭터의 명시적 대표를 개발하는 것.
• 퀴렌의 초연결 구성법을 상대 코homology로 확장하여, 지지 집합과 부분다양체 근처의 국소화를 정밀하게 제어할 수 있도록 하는 것.
• 등변 코hom로에서 상대 체르니 캐릭터와 상대 톰 클래스 사이의 리만-뢰흐 공식을 수립하는 것.
• 가우시안 유사 행동을 보이는 미분형식을 사용하여 등변 지수 이론 불변량을 체계적으로 계산하는 프레임워크를 제공하는 것.
• 상대 체르니 캐릭터와 톰 클래스가 연결과 베레진 적분을 이용해 제어 가능한 지지 집합을 갖는 닫힌 형식으로 표현될 수 있음을 보여주는 것.

제안 방법

• 영역의 영점 섹션 왖에서 p*Eul(V) = dβ를 만족하는 연결에 의존하는 형식 β를 사용하여, 오일러 형식의 당김을 통해 상대 톰 형식을 명시적으로 구성한다.
• 복소 벡터 번들의 V에서의 보트 변형 σ_b: ∧⁺V → ∧⁻V에 대해, 퀴렌의 초연결 및 초트레이스 구성법을 통해 상대 체르니 캐릭터 Ch_rel(σ_b)를 정의한다.
• 볼테라 전개와 베레진 적분을 사용하여 R(x), S(x), T(t,x)를 포함하는 지수형식에 작용하는 미분연산자의 추정치를 유도한다.
• 클래스가 M 위에서 닫힌 형식 α와 M∖F에서 dβ = α를 만족하는 쌍 (α, β)로 표현되는 상대 코homology 모델을 도입하여, 컷오프 함수를 통한 지지 집합 제어를 가능하게 한다.
• 지정된 특이점 집합 F 근처에서 코homology 클래스의 컴팩트 지지 대표를 생성하기 위해 p(a) = χα + dχβ 형태의 사상 적용.
• 색인 집합의 분할에 대한 조합적 추정을 통해 지수형식의 도함수에 대한 균일한 경계를 확립하며, 다항식 및 지수 감쇠 제어를 이룬다.

실험 결과

연구 질문

• RQ1 유클리드 또는 복소 구조를 갖춘 벡터 번들의 등변 상대 톰 클래스에 대해 명시적이고 계산 가능한 대표를 어떻게 구성할 수 있는가?
• RQ2 등변 코homology에서 보트 변형의 상대 체르니 캐릭터와 상대 톰 클래스 사이의 정확한 관계는 무엇인가?
• RQ3 퀴렌의 초연결 형식은 상대 코homology 클래스와 어떻게 관련되어 있으며, 컴팩트 지지 대표를 정의하는 데 사용될 수 있는가?
• RQ4 등변 코hom로 맥락에서 곡률 및 연결 항을 포함하는 지수형식의 도함수에 대한 균일한 추정치는 무엇인가?
• RQ5 리만-뢰흐 공식은 초연결 및 상대 코homology 구성에서 명시적으로 유도될 수 있는가?

주요 결과

• 상대 톰 형식은 Th_rel(V) = [p*Eul(V), β_V]로 명시적으로 주어지며, 여기서 β_V는 V∖M 위에서 정의된 형식이며 p*Eul(V) = dβ_V를 만족한다.
• 보트 변형의 상대 체르니 캐릭터는 리만-뢰흐 공식을 만족한다: p*(Todd(V)) · Ch_rel(σ_b) = Th_rel(V) 상대 코homology에서.
• 퀴렌의 체르니 캐릭터 Ch_Q(σ_b)는 섬유에서 '가우시안 같은 외형'을 띠며, 지지 집합 제어를 통해 상대 클래스와 자연스럽게 연결되어 있다.
• 기저 W에서 차수 r_W인 임의의 미분연산자 D에 대해, 지수형식의 도함수는 컴팩트 집합에서 균일하게 cst · (1+t)^{2r_W + q} · e^{-t² m(R(y))}로 유계이다.
• 도함수 추정치의 상수는 곡률 및 연결 항의 노름에 다항식적으로 의존하며, t²에 대해 지수 감쇠를 보인다.
• 이 구성은 사상 p(a) = χα + dχβ를 통해 잘 정의되고 계산 가능하며, 지지 집합이 제어된 체르니 캐릭터의 대표를 제공한다.