[논문 리뷰] Dualities in equivariant Kasparov theory

Heath Emerson, Ralf Meyer|arXiv (Cornell University)|2007. 10. 31.

Advanced Operator Algebra Research참고 문헌 27인용 수 24

한 줄 요약

이 논문은 군oids 작용에 대한 C*-대수 번들의 이sovariant K-이론에서 두 개의 등변 이중성 동형사상(이sovariant duality isomorphisms)을 수립하며, 카스파로프의 푸앵카레 이중성(Poincaré duality)을 일반화한다. 카스파로프 곱을 통해 추상적 이중체를 도입하고, 매끄러운 다양체 및 단체 복합체의 번들을 위한 대칭 이중체를 구성함으로써, 등변 KK-이론의 기하학적 모델을 가능하게 하며, 디라크 연산자와 지표 사상에 의해 등변 레프셰츠 불변량과 오일러 특징수를 정의한다.

ABSTRACT

We study several duality isomorphisms between equivariant bivariant K-theory groups, generalising Kasparov's first and second Poincare duality isomorphisms. We use the first duality to define an equivariant generalisation of Lefschetz invariants of generalised self-maps. The second duality is related to the description of bivariant Kasparov theory for commutative C*-algebras by families of elliptic pseudodifferential operators. For many groupoids, both dualities apply to a universal proper G-space. This is a basic requirement for the dual Dirac method and allows us to describe the Baum-Connes assembly map via localisation of categories.

연구 동기 및 목표

• 비콤팩트 및 번들 유사 공간에 대한 군oids 작용에 대해 카스파로프의 첫 번째 및 두 번째 푸앵카레 이중성 동형사상(이soviant Poincaré duality isomorphisms)을 등변 이soviant K-이론으로 일반화하기.
• 첫 번째 이중성 동형사상과 이중체의 함의성(functoriality)을 이용해 등변 레프셰츠 불변량을 정의하기.
• 두 번째 이중성에 의해 등변 KK-이론의 기하학적 모델을 수립하고, 지지 조건을 갖는 K-이론으로 KK-군을 감소시키기.
• 대칭 카스파로프 이중체의 존재 하에, 디라크 방법과 바움–콘스 유도 사상 사이의 동치를 보여줌으로써 두 방법을 통합하기.
• 국소적으로 자명한 C*-대수 번들을 사용해 이중성의 비틀림(bivariant K-theory)으로 확장하고, 다양체, 경계가 있는 다양체, 단체 복합체에 대해 이중체를 검증하기.

제안 방법

• 카스파로프 곱을 통해 KKG_n(X; C0(Z), P)에 속하는 클래스 Θ를 사용하여, 적절한 G-C*-대수 번들의 추상적 이중체를 도입한다.
• 매끄러운 다양체의 번들을 위한 대칭 카스파로프 이중체를 수직 접선 번들 TX와 관련된 C*-대수 C0(TX)를 사용해 구성하며, 적절한 클래스 Θ를 사용한다.
• 클리포드 대수 번들 Cτ(X)를 대체 이중체로 사용하여, C0(TX)와 Cτ(X) 사이의 KKG⋉X-동치를 보이고, 이중성 동형사상을 유지함을 보인다.
• 두 번째 이중성을 적용하여 KK-군을 지지 조건을 갖는 K-이론으로 감소시키며, 특히 국소 유한 K-호모로지의 기하학적 사이클 기술을 가능하게 한다.
• 등변 오일러 특징수를 디라크 연산자 클래스 [DdR]가 지표 사상 µX: KKG_*(C0(X), C0(Z)) → K*(C*rG)에 의해 보낸 이미지로 정의한다.
• 콤팩트 경우에서 두 이중성 동형사상 간의 동치를 수립하고, γ-원소와 보편적 적절한 G-공간을 통해 바움–콘스 추측과 연결한다.

실험 결과

연구 질문

• RQ1 적절한 G-공간이 등변 이soviant K-이론에서 대칭 카스파로프 이중체를 갖는 조건은 무엇인가?
• RQ2 군oids 작용을 갖는 비콤팩트 및 번들 유사 공간에 대해 첫 번째 및 두 번째 푸앵카레 이중성 동형사상은 어떻게 일반화될 수 있는가?
• RQ3 보편적 적절한 G-공간은 디라크 방법과 바움–콘스 유도 사상 간의 동치를 실현하는 데 어떤 역할을 하는가?
• RQ4 이중성과 KK-이론의 함의성에 의해 등변 레프셰츠 불변량은 어떻게 정의되고 계산될 수 있는가?
• RQ5 국소적으로 자명한 C*-대수 번들의 비틀림 또는 계층적 위상다양체로의 확장 시 두 이중성 동형사상 간의 동치는 어느 정도 유지되는가?

주요 결과

• 첫 번째 이중성 동형사상은 대칭 카스파로프 이중체 (P, Θ)에 대해 KKG_*(P ⊗Z A, B) ≅ RKKG_*(X; A, B)의 동형사상을 수립하며, 카스파로프의 첫 번째 푸앵카레 이중성을 일반화한다.
• 적절한 G-작용을 갖는 매끄러운 다양체의 번들 X가 Z 위에 있을 때, X◦(경계에 열린 콜라주를 첨부한 X)에 대해 C0(TX◦)와 적절한 클래스 Θ는 추상적 이중체가 된다.
• 두 번째 이중성 동형사상은 KK-군을 지지 조건을 갖는 K-이론으로 감소시키며, 특히 국소 유한 K-호모로지에 대해 KG,lf_*(TX◦) ≅ K*_G(X)로 식별한다.
• 등변 오일러 특징수는 EulG = [DdR] ∈ KKG_*(C0(X), C0(Z))로 주어지며, 여기서 DdR은 앵커 사상 X → Z의 섬유를 沿해 작용하는 디라크 연산자이다.
• 사상 µX: KKG_*(C0(X), C0(Z)) → K*(C*rG)는 오일러 특징수를 리브로의 리듬 커버 위에서의 가족적 디라크 연산자의 등변 지표로 보낸다.
• 리브로의 L2-베티 수는 ∑i (−1)^i β^i_L2 = Λ ◦ µX([DdR])의 교호 합으로 복구되며, 이는 지표와 불변 횡단 측도를 짝지어 pairing한다.