[논문 리뷰] The Chern character for Lie algebroids

Helge Øystein Maakestad|arXiv (Cornell University)|2004. 08. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 2

한 줄 요약

이 논문은 리 대수다발의 K-이론에서 그의 리-린하르 코homology로 가는 체른 특성 사상(Chern character map)을 구축하며, 대수적 K-이론에서의 고전적 체른 특성(character)을 일반화한다. 임의의 특성 0인 k-대수 A 위의 (k, A)-리 대수다발 ℊ에 대해 ch: K₀(ℊ) → H∗(ℊ, A)를 수립함으로써, 고전적 드 라무 체른 특성을 특수한 경우로 회복하며, 일반화된 미분기하학에서 K-이론과 코homological 불변량을 통합한다.

ABSTRACT

Abstract. We construct a Chern character for the situation ch: K0(g)→H ∗ (g, A) where g is any (k, A)-Lie algebroid, A is any k-algebra of characteristic zero and H ∗ (g, A) is the Lie-Rinehart cohomology of g. As a corollary we prove existence of the classical Chern character ch: K0(A)→H ∗ DR (A), where K0(A) is the K-theory of A and H ∗ DR (A) is the algebraic deRham cohomology.

연구 동기 및 목표

• 대수적 K-이론에서의 고전적 체른 특성을 리 대수다발의 맥락으로 확장하기.
• 특성 0인 k-대수 A 위의 임의의 (k, A)-리 대수다발 ℊ에 대해 ch: K₀(ℊ) → H∗(ℊ, A)라는 체른 특성 사상 정의하기.
• 일반화된 미분기하학에서 K-이론 불변량과 리-린하르 코homology를 통합하기.
• 새로운 구성의 특수한 경우로 고전적 대수적 드 라무 체른 특성을 회복하기.

제안 방법

• 체른 특성의 타겟 코homology 이론으로 리-린하르 코homology H∗(ℊ, A)를 사용하기.
• 대수적 K-이론과 리 대수다발의 구조를 이용해 K₀(ℊ)에서 H∗(ℊ, A)로의 자연스러운 변환을 구성하기.
• 이 일반화된 맥락에서 체른 특성을 정의하기 위해 K-이론과 코homological 대수학의 표준 기법 적용하기.
• 표준 체른 클래스 구성과의 호환성을 확보하기 위해 A의 특성 0 조건을 활용하기.
• K₀의 보편 성질을 이용해 체른 특성을 벡터 다발에서 K-이론 클래스로 확장하기.
• 특수한 경우, 예를 들어 드 라무 코homology의 경우에 알려진 체른 특성과의 일致성 검증하기.

실험 결과

연구 질문

• RQ1 고전적 체른 특성은 어떻게 리 대수다발의 맥락으로 일반화될 수 있는가?
• RQ2 리 대수다발 맥락에서 체른 특성의 자연스러운 타겟 코homology 이론은 무엇인가?
• RQ3 리 대수다발에 대한 체른 특성의 구성은 고전적 대수적 드 라무 체른 특성을 특수한 경우로 회복하는가?
• RQ4 이러한 특성의 존재를 위해 리 대수다발과 그 기저 대수는 어떤 구조적 성질을 가져야 하는가?
• RQ5 차분 형식에 의존하지 않고 리-린하르 코homology를 이용해 체른 특성을 내재적으로 정의할 수 있는가?

주요 결과

• 특성 0인 k-대수 A 위의 임의의 (k, A)-리 대수다발 ℊ에 대해 잘 정의된 체른 특성 사상 ch: K₀(ℊ) → H∗(ℊ, A)가 구성된다.
• 이 구성은 K₀(A)에서 H∗_DR(A)로의 고전적 체른 특성을 일반화하며, 드 라무 체른 특성을 특수한 경우로 회복한다.
• 체른 특성 사상은 리 대수다발의 A 계수 리-린하르 코homology에 값이 있다.
• 사상은 리 대수다발의 준동형에 대해 자연스럽고 K-이론의 구조를 유지한다.
• A의 특성 0 조건은 표준 체른 클래스 이론과 일치하기 위해 필수적이다.
• 결과적으로 이는 일반화된 미분기하학에서 대수적 K-이론과 코homological 불변량 사이의 깊은 연결 고리를 확립한다.