[논문 리뷰] Persistence approximation property and controlled operator K-theory

Hervé Oyono‐Oyono, Guoliang Yu|arXiv (Cornell University)|2014. 03. 28.

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

한 줄 요약

이 논문은 필터링된 C*-대수에 대한 양적 K-이론에서의 지속성 근사 성질(PAP)을 도입하며, 계수를 가진 Baum-Connes 추측을 만족하는 교차곱 C*-대수에 대해 PAP가 균일하게 성립함을 증명한다. 주요 기여는 PAP가 유한 생성된 군에 대해 균일하게 성립할 때, 기저 공간이 힐버트 공간에 계수적으로 통합될 수 있다면 노비코프 추측을 유도할 수 있음을 보여주는 것으로, 제어된 조립 사상들을 통해 문제를 유한 차원 선형 대수로 환원한다.

ABSTRACT

In this paper, we introduce and study the persistence approximation property for quantitative K-theory of filtered C*-algebras. In the case of crossed product C*-algebras, the persistence approximation property follows from the Baum–Connes conjecture with coefficients. We also discuss some applications of the quantitative K-theory to the Novikov conjecture.

연구 동기 및 목표

• 필터링된 C*-대수에 대한 양적 K-이론에서 지속성 근사 성질(PAP)을 정의하고 연구하기.
• 계수를 가진 Baum-Connes 추측을 만족하는 교차곱 C*-대수에 대해 PAP가 성립함을 증명하기.
• PAP를 계수 기하학과 기하학적 조립 사상들을 통해 노비코프 추측과 연결하기.
• 경계 기하학을 가진 군의 경우 노비코프 추측 문제를 유한 차원 선형 대수로 환원하기.

제안 방법

• 필터링된 C*-대수 A에 대해 K∗(A)의 근사로 Kε,r∗(A)를 정의함으로써 양적 K-이론 군을 도입한다.
• PAP를 균일 수렴으로 정의: 어떤 원소가 K∗(A)에서 0이 되는 것은 ε′ ≥ ε 및 r′ ≥ r를 만족하는 어떤 Kε′,r′∗(A)에서 0이 되는 것과 동치이다.
• 유한 차원이 아닌 이산 거리 공간 Σ에 대해, Kε,r∗(A⊗K(ℓ2(Σ)))에 값을 갖는 양적 국소 계수 조립 사상 νε,r,dΣ,A,∗를 구성한다.
• 기하학적 조립 사상 ν∞Σ,A,∗를 도입하며, 그 전단사성이 (GΣ, AC0(Σ))에 대한 Baum-Connes 추측과 동치임을 보인다.
• 군의 개념을 활용하여 ν∞Σ,A,∗의 대상이 교차곱의 K-이론과 관련됨을 밝힌다.
• Σ의 유한 부분집합들 위에서 양적 문장들이 균일하게 성립하면, 이는 계수 Baum-Connes 추측을 유도하며, 따라서 군에 대한 노비코프 추측을 유도한다.

실험 결과

연구 질문

• RQ1 군의 작용으로부터 유도된 필터링된 C*-대수에 대해 지속성 근사 성질이 균일하게 성립하는가?
• RQ2 지속성 근사 성질을 사용하여 유한 생성된 군에 대한 노비코프 추측을 유도할 수 있는가?
• RQ3 계수 기하학과 제어된 조립 사상은 PAP를 확립하는 데 어떤 역할을 하는가?
• RQ4 기하학적 조립 사상 ν∞Σ,A,∗는 군의 개념에 대한 Baum-Connes 추측과 어떻게 관련되는가?
• RQ5 예를 들어 힐버트 공간에 계수적으로 통합될 수 있는 기하학적 조건에서는 어떤 경우에 PAP가 성립하는가?

주요 결과

• Γ가 계수를 가진 Baum-Connes 추측을 만족하고, 적절한 행동에 대한 코어프랙트 유니버설 공간을 갖는다면, 축소된 교차곱 A ⋊r Γ에 대해 지속성 근사 성질이 성립한다.
• 유한 차원이 아닌 이산 거리 공간 Σ가 경계 기하학을 가진다면, A⊗K(ℓ2(Σ))에 대한 PAP는 기하학적 조립 사상 ν∞Σ,A,∗의 전단사성과 동치이다.
• Σ가 힐버트 공간에 계수적으로 통합될 수 있다면, [8, 섹션 6.2]의 양적 문장들이 유한 부분집합들 위에서 균일하게 성립하며, 이는 계수 Baum-Connes 추측을 유도한다.
• 유한 생성된 군 Γ에 대해, Σ가 힐버트 공간에 계수적으로 통합될 수 있다면, 유한 부분집합들 위에서 양적 문장들이 균일하게 성립할 경우, 노비코프 추측이 성립한다.
• 문제는 유한 차원 선형 대수로 환원된다: 기하학적 조립 사상과 K-이론 계산은 유한 차원 설정에서 다룰 수 있다.