[논문 리뷰] Periodic cyclic homology of Hecke algebras and their Schwartz completions

Maarten Solleveld|ArXiv.org|2006. 05. 02.

Algebraic structures and combinatorial models참고 문헌 16인용 수 5

한 줄 요약

이 논문은 아핀 히드라 대수를 그 스웨츠 완비화에 포함시키는 것이 주기적 순환homology (HP)에 대해 동형사상을 유도함을 증명하며, 고전적인 대수적 De Rham 코homology와 해석적 De Rham 코homology 사이의 동형사상의 일반화이다. 스펙트럼의 분해, 스펙트럼에 대한 변형 수축, 그리고 순환homology에서의 제거법을 이용하여, 저자들은 HP가 이 완비화에 대해 불변임을 증명하며, 아핀 히드라 대수로의 일반화를 통해 가환 대수에서의 결과를 비가환 히드라 대수로 확장한다.

ABSTRACT

We show that the inclusion of an affine Hecke algebra in its Schwartz completion induces an isomorphism on periodic cyclic homology.

연구 동기 및 목표

• 주기적 순환homology와 De Rham 코homology 사이의 고전적 동형사상을 비가환 히드라 대수로 확장하기 위해.
• 아핀 히드라 대수를 그 스웨츠 완비화에 포함시키는 것이 주기적 순환homology를 유지하는지 조사하기 위해.
• Baum과 Nistor의 유한 유형 대수에 대한 결과를 아핀 히드라 대수의 비가환 설정으로 일반화하기 위해.
• 순환homology를 통한 p-진군의 바움-콘스 추측에 대한 호모로지적 기초를 제공하기 위해.

제안 방법

• 아핀 히드라 대수와 그 스웨츠 완비화의 스펙트럼에 대한 분해를 통한 스펙트럼의 분할을 이용한다.
• Baum과 Nistor의 정리인 유한 유형 대수의 HP는 그 스펙트럼과 잼슨 위상에만 의존한다는 것을 적용한다.
• 아핀 히드라 대수의 스펙트럼과 그 스웨츠 완비화의 스펙트럼 사이에 변형 수축을 구축한다.
• 복소계수를 가진 주기적 순환homology와 K-이론에서의 제거법을 사용하여 몫대수의 호모로지를 연결한다.
• 스웨츠 대수에서 매끄러운 함수의 밀도와 매끄러운 표현 이론에서 특정 정확수열의 적합성(adicity)을 이용한다.
• 위상적 변형 수축을 활용하여 상대코homology와 상대 Hochschild 호모로지 사이의 교환도형을 통해 동형사상을 수립한다.

실험 결과

연구 질문

• RQ1 아핀 히드라 대수를 그 스웨츠 완비화에 포함시키는 것은 주기적 순환homology에 대해 동형사상을 유도하는가?
• RQ2 스펙트럼 접근법이 비가환 히드라 대수로 확장될 수 있는가, 특히 비-하우스도르프 스펙트럼을 가진 경우에 대해?
• RQ3 Hochschild 호모로지가 완비화와 가환하지 않는다는 점을 감안할 때, 히드라 대수의 주기적 순환homology는 스웨츠 대수로의 완비화에 대해 불변인가?
• RQ4 히드라 대수와 그 스웨츠 완비화 사이의 스펙트럼에 대한 변형 수축이 호모로지 불변성에 얼마나 깊이 영향을 미치는가?
• RQ5 이 결과는 순환homology를 통해 p-진군의 바움-콘스 추측을 뒷받침하는 데 사용될 수 있는가?

주요 결과

• 아핀 히드라 대수를 그 스웨츠 완비화에 포함시키는 것은 주기적 순환homology에 대해 동형사상을 유도한다: $ HP_*(\mathcal{H}) \cong HP_*(\mathcal{S}) $.
• 아핀 히드라 대수의 스펙트럼과 그 스웨츠 완비화의 스펙트럼은 변형 수축을 갖는다. 이는 그들의 코homology를 위상적으로 비교할 수 있게 한다.
• 상대코hom로지 $ \check{H}^*(X_m, Y_m; \mathbb{C}) $ 는 필터링에서 몫대수의 주기적 순환homology를 계산하며, 이는 매끄러운 함수 대수로의 다리를 놓는다.
• 쌍 $ (X'_m, Y'_m) $ 가 $ (X_m, Y_m) $ 에 위상적으로 수축됨에 따라, 동형사상 $ HP_*(I_{i-1}/I_i) \to HP_*(C^\infty(U; \mathrm{End}\, V_i)^{\mathcal{W}_i}) $ 가 성립한다.
• 도형 (22)는 체인의 모든 호모로지 동형사상이 동형임을 확인하며, 주요 결과를 증명한다.
• 결과는 $ GL(n,F) $ 로까지 확장되며, $ HP_*(\mathcal{H}(GL(n,F))) \cong HP_*(\mathcal{S}(GL(n,F))) $ 를 만족하며, 버네스타인 성분에 대한 추측을 지지한다.