[논문 리뷰] Lefschetz numbers for C*-algebras

Heath Emerson|ArXiv.org|2007. 08. 31.

Advanced Operator Algebra Research인용 수 5

한 줄 요약

이 논문은 Poincaré 대칭성과 K"unneth 정리 조건을 만족하는 분리 가능하고 핵심적인 C*-대수의 자기형사에 대해 Lefschetz 유형의 공식을 제시한다. Kasparov의 KK이론을 사용하여 Lefschetz 수를 위상수학적 인덱스 쌍화로 표현한다. Cuntz-Krieger 대수 $O_A$의 경우, 관련 그래프의 경로에서의 순열의 역동성에 기반하여 Lefschetz 수에 대한 닫힌 다항식 공식을 유도하며, 그 결과는 관련 연산자의 프레드홀름 인덱스와 일치한다.

ABSTRACT

Using Poincare duality, we formulate a formula of Lefschetz type which computes the Lefschetz number of an endomorphism of a separable, nuclear C*-algebra satisfying Poincare duality and the Kunneth theorem. (The Lefschetz number of an endomorphism is the graded trace of the induced map on K-theory tensored with the complex numbers, as in the classical case.) We then consider endomorphisms of Cuntz-Krieger algebras O_A. An endomorphism has an invariant, which is a permutation of an infinite set, and the contracting and expanding behavior of this permutation describes the Lefschetz number of the endomorphism. Using this description we derive a closed polynomial formula for the Lefschetz number depending on the matrix A and the presentation of the endomorphism.

연구 동기 및 목표

• Poincaré 대칭성과 K"unneth 정리를 사용하여 고전적인 Lefschetz 고정점 정리의 비가환 C*-대수 설정으로의 일반화를 위해.
• 핵심 C*-대수에서 자기형사의 Lefschetz 수를 KK이론의 위상수학적 인덱스 쌍화로 표현하기 위해.
• 기저 그래프의 기하학적 및 조합적 자료를 사용하여 Cuntz-Krieger 대수 $O_A$의 자기형사의 Lefschetz 수를 명시적으로 계산하기 위해.
• 행렬 $A$와 자기형사가 경로에 작용하는 방식에 따라 Lefschetz 수의 닫힌 다항식 공식을 수립하기 위해.

제안 방법

• KK이론에서의 Poincaré 대칭성을 사용하여, $\mathrm{K}$-이론과 $\mathrm{K}$-호모로지 사이의 동형사상 유도하는 기본 클래스 $\Delta \in \mathrm{KK}^1(O_A \otimes O_{A^T}, \mathbb{C})$ 를 정의한다.
• 단방향 시프트 $\Sigma_A^+$ 상의 부분 호메오모르피즘의 $n$-성분으로 유도되는 경로 공간 $\mathbf{P}$ 상의 사상들을 통해 $O_A$의 자기형사 $\alpha_\Psi$ 를 표현한다.
• 생성자에 대한 $\alpha_\Psi$ 의 작용을 코딩하는 경로 집합 $\mathbf{P}$ 상의 부분 순열 $\dot{\Psi}$ 를 정의한다.
• 부분 순열 $\dot{\Psi}$ 와 관련된 $\ell^2(\mathbf{P})$ 상의 프레드홀름 연산자 $W_\Psi$ 를 구성하며, 그 분석적 인덱스가 Lefschetz 수를 계산한다.
• $\dot{\Psi}$ 에서 길이가 감소하는 경로의 수와 증가하는 경로의 수의 차이로 $W_\Psi$ 의 인덱스를 계산하여 다항식 표현을 도출한다.
• Kasparov의 곱을 통해 $\mathrm{Index}(\dot{\Psi}) = \mathbf{Ind}(\Delta, [\alpha_\Psi])$ 의 등식을 증명함으로써 Lefschetz 공식을 입증한다.

실험 결과

연구 질문

• RQ1 Poincaré 대칭성과 K-이론을 사용하여 고전적인 Lefschetz 고정점 정리를 비가환 C*-대수로 일반화할 수 있는가?
• RQ2 Poincaré 대칭성을 만족하는 핵심 C*-대수에서 자기형사의 Lefschetz 수를 계산하는 정확한 위상수학적 불변량은 무엇인가?
• RQ3 기저 행렬 $A$ 와 자기형사가 경로에 작용하는 방식에 따라 Cuntz-Krieger 대수 $O_A$ 의 자기형사의 Lefschetz 수는 어떻게 달라지는가?
• RQ4 경로 상의 부분 순열로 유도되는 $O_A$-자기형사의 경우, Lefschetz 수가 프레드홀름 인덱스로 계산될 수 있는가?

주요 결과

• Poincaré 대칭성을 만족하는 C*-대수에서 자기형사 $\alpha_\Psi$ 의 Lefschetz 수는 기본 클래스 $\Delta$ 를 포함한 인덱스 쌍화 $\mathbf{Ind}(\Delta, [\alpha_\Psi])$ 로 주어진다.
• Cuntz-Krieger 대수 $O_A$ 의 경우, Lefschetz 수는 경로 공간 $\mathbf{P}$ 상의 부분 순열 $\dot{\Psi}$ 에 의해 유도된 연산자 $W_\Psi$ 의 프레드홀름 인덱스와 같다.
• $W_\Psi$ 의 인덱스는 $\dot{\Psi}$ 에서 길이가 감소하는 경로의 수와 증가하는 경로의 수의 차이로 계산되며, 이는 다항식 공식을 이끈다.
• 다음과 같은 명시적 공식이 주어진다: $$ \mathrm{Trace}_s((\alpha_\Psi)_*) = \sum_{i=1}^n \sum_{j=1}^N \sum_{\substack{\mu \in W_i \\ |\psi_i(\mu)| \leq |\mu| - j + 1}} A^{m+j-k}_{t(\mu),i} - \sum_{i=1}^n \sum_{j=0}^{N-1} \sum_{\substack{\mu \in W_i \\ |\psi_i(\mu)| \geq |\mu| + j + 2}} A^{m-j-k}_{t(\mu),i}, $$ 이는 충분히 큰 $m$ 과 $N$ 에서 Lefschetz 수와 일치한다.
• 특정 예시($k=2$, $m=3$, $N=1$)에서 결과를 검증하였으며, $\mathrm{Index}(\dot{\Psi}) = 8 - 7 = 1$ 으로 도출되어 공식이 확인되었다.