[논문 리뷰] Convex polytopes and the index of Wiener-Hopf operators

Alexander Alldridge|arXiv (Cornell University)|2011. 02. 18.

Advanced Operator Algebra Research참고 문헌 6인용 수 3

한 줄 요약

이 논문은 볼록 다면체 위의 원뿔에 관련된 위너-홉프 C*-대수의 K-이론과 다면체 자체의 세포 호모로지 사이에 깊은 연결 고리를 설정한다. 기호 사상에 의해 유도된 필터레이션을 구성하고, 아티야-히르체브루흐 스펙트럴 시퀀스의 결과로 나타나는 E¹ 항을 다면체 P의 세포 복합체로 식별함으로써, 저자들은 대수가 KK-수축 가능하고, 컴팩트 연산자에 대한 몫대수가 실수선 위에서 무한대에 가까이 갈 때 0이 되는 연속 함수의 대수와 KK-동치임을 증명한다.

ABSTRACT

We study the C$^*$-algebra of Wiener-Hopf operators $A_Ω$ on a cone $Ω$ with polyhedral base $P$. As is known, a sequence of symbol maps may be defined, and their kernels give a filtration by ideals of $A_Ω$, with liminary subquotients. One may define $K$-group valued 'index maps' between the subquotients. These form the $E^1$ term of the Atiyah-Hirzebruch type spectral sequence induced by the filtration. We show that this $E^1$ term may, as a complex, be identified with the cellular complex of $P$, considered as CW complex by taking convex faces as cells. It follows that $A_Ω$ is $KK$-contractible, and that $A_Ω/\mathbb K$ and $S$ are $KK$-equivalent. Moreover, the isomorphism class of $A_Ω$ is a complete invariant for the combinatorial type of $P$.

연구 동기 및 목표

• 볼록 다면체 위의 원뿔에 관련된 위너-홉프 C*-대수의 K-이론과 KK-분류를 이해하기 위해.
• 기호 사상에 의해 유도된 필터레이션과 그 부분몫대수를 통해 이러한 대수의 구조를 분석하기 위해.
• 대수의 동형류가 기저 다면체의 조합론적 유형을 완전히 분류하는가를 판단하기 위해.
• 컴팩트 연산자에 대한 몫대수가 C₀(ℝ)와 KK-동치임을 확립하기 위해.

제안 방법

• 기호 사상에 의해 필터레이션을 정의함으로써 위너-홉프 C*-대수 $A_{\text{Ω}}$를 정의하고, 그 핵이 아이디얼을 이루며, 부분몫대수가 리미너리임을 보임.
• 이 필터레이션과 관련된 아티야-히르체브루흐 스펙트럴 시퀀스의 E¹ 항을 다면체 $P$가 볼록 면을 세포로 갖는 CW 복합체로 간주할 때의 세포 복합체로 식별함.
• 다면체 $P$가 수축 가능하므로 그 세포 복합체가 정확함을 보이고, 이는 스펙트럴 시퀀스가 $E^2 = 0$에서 붕괴함을 의미함.
• 스펙트럴 시퀀스를 활용하여 K-이론을 계산함으로써 $K_*(A_{\text{Ω}}) = 0$ 및 $K_*(A_{\text{Ω}}/\text{K}) = K_*(\text{C}_0(\text{ℝ}))$를 도출함.
• 일반화된 계수 정리(UCT)와 부트스트랩 범주 소속성을 활용하여 KK-수축 가능성과 KK-동치를 결론함.
• f-벡터와 지수 사상에 의해 결정되는 $A_{\text{Ω}}$의 동형류가 다면체 $P$의 조합론적 유형에 대한 완전한 불변량임을 증명함.

실험 결과

연구 질문

• RQ1 기저가 다각형인 원뿔 위의 위너-홉프 대수 $A_{\text{Ω}}$의 K-이론은 다면체 $P$의 위상수학과 어떻게 관련이 있는가?
• RQ2 기호 필터레이션에 의해 유도된 스펙트럴 시퀀스의 $E^1$ 항은 다면체 $P$의 세포 복합체로 식별될 수 있는가?
• RQ3 대수 $A_{\text{Ω}}$는 KK-수축 가능한가, 그리고 이는 그 KK-류에 어떤 의미를 갖는다?
• RQ4 대수 $A_{\text{Ω}}$의 동형류는 다면체 $P$의 조합론적 유형을 완전히 분류하는가?
• RQ5 $A_{\text{Ω}}/\text{K}$의 KK-류는 무엇이며, $C_0(\text{ℝ})$와 어떻게 관련이 있는가?

주요 결과

• 다면체 $P$가 볼록 면을 세포로 갖는 CW 복합체로 간주될 때, 대수 $A_{\text{Ω}}$의 아티야-히르체브루흐 스펙트럴 시퀀스의 $E^1$ 항은 다면체 $P$의 세포 복합체와 동형이다.
• 스펙트럴 시퀀스는 $E^2 = 0$에서 붕괴하며, 이는 $K_*(A_{\text{Ω}}) = 0$ 및 $K_*(A_{\text{Ω}}/\text{K}) = K_*(\text{C}_0(\text{ℝ}))$를 의미한다.
• C*-대수 $A_{\text{Ω}}$는 KK-수축 가능하며, 이는 0 대수와 KK-동치임을 의미한다.
• 몫대수 $A_{\text{Ω}}/\text{K}$는 $S = \text{C}_0(\text{ℝ})$와 KK-동치이다.
• 대수 $A_{\text{Ω}}$의 동형류는 f-벡터와 지수 사상에 의해 결정되며, 다면체 $P$의 조합론적 유형에 대한 완전한 불변량이다.
• 지수 사상 $K_1(A_{\text{Ω}}/\text{K}) \to \text{Z}$는 동형사상이며, 프레드홀름 지수가 $K_1$-군을 완전히 분류함을 확인한다.