[논문 리뷰] Excision in Hochschild and cyclic homology without continuous linear sections

Ralf Meyer|arXiv (Cornell University)|2009. 12. 18.

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

한 줄 요약

이 논문은 연속 선형 절단이 없는 상황에서 연속 Hochschild 및 순환 호몰로지에 대한 잘라내기 정리를 수립하며, 이를 통해 매끄러운 다양체의 닫힌 부분집합 위의 웨이트니 함수 대수의 호몰로지를 계산한다. 정확한 대칭 모노이드 범주에서 순수성과 H-유니탈성을 일반화함으로써, 저자는 핵심 H-유니탈 프리셰트 대수에 대해 잘라내기를 증명하며, 매끄럽고 웨이트니 함수 대수의 주기적 순환 호몰로지를 계산할 수 있게 한다.

ABSTRACT

We prove that continuous Hochschild and cyclic homology satisfy excision for extensions of nuclear H-unital Frechet algebras and use this to compute them for the algebra of Whitney functions on an arbitrary closed subset of a smooth manifold. Using a similar excision result for periodic cyclic homology, we also compute the periodic cyclic homology of algebras of smooth functions and Whitney functions on closed subsets of smooth manifolds.

연구 동기 및 목표

• 연속 선형 절단이 필요하지 않은 일반적인 연속 Hochschild 호몰로지에 대한 잘라내기 정리를 수립하고 증명하는 것.
• 특히 매끄러운 다각체의 닫힌 부분집합 위의 웨이트니 함수 대수에 적용 가능한 잘라내기 정리의 적용 범위를 넓히는 것.
• 매끄럽고 웨이트니 함수 대수의 닫힌 부분집합 위에서의 연속 Hochschild, 순환, 주기적 순환 호몰로지를 계산하는 것.
• 브라세레 및 플라움의 이전 연구에서 요구한 부분집합의 특이성에 대한 제한적인 가정을 제거함으로써 기술적 한계를 극복하는 것.
• 대칭 모노이드 정확 범주에서 호몰로지적 도구와 카테고리 이론을 사용하여 워드지cki의 잘라내기 정리를 일반화하는 것.

제안 방법

• 추상적인 정확한 대칭 모노이드 범주에서 순수성과 H-유니탈성을 형식화하여, 고전적 설정을 초월한 잘라내기 정리의 일반화를 시도한다.
• 일반화된 잘라내기 정리를 핵심 몫과 H-유니탈 핵심을 가진 프리셰트 대수의 확장에 적용한다. 예를 들어, 닫힌 부분집합에서 무한차수로 0이 되는 함수의 아이디얼과 같은 경우.
• 프리셰트 공간 위의 완전 프로젝티브 위상 텐서곱을 사용하여, 핵심 몫이 순수한 확장을 유도함을 확인한다.
• 잘라내기 결과를 $ \mathcal{J}^\infty(X;Y) \rightarrowtail \mathrm{C}^\infty(X) \twoheadrightarrow \mathcal{E}^\infty(Y) $ 확장에 적용한다. 여기서 $ \mathcal{E}^\infty(Y) $ 는 닫힌 부분집합 $ Y \subset X $ 위의 웨이트니 함수 대수이다.
• Goodwillie의 프로-노르말 대수에 대한 정리를 적용하여, 핵심 $ N = \mathrm{C}^\infty_0(Y;X)/\mathcal{J}^\infty(X;Y) $ 가 주기적 순환 호몰로지가 수축 가능하다는 것을 보인다.
• ind-대수의 범주에서 ind-국소적으로 분리된 확장을 사용하여 주기적 순환 호몰로지에 대한 코프라이머리 시퀀스를 증명함으로써, 컴acts지지를 가진 매끄러운 함수 대수의 호몰로지 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 연속 선형 절단이 없는 프리셰트 대수의 확장에 대해 Hochschild 호몰로지에서 잘라내기가 성립할 수 있는가?
• RQ2 매끄러운 다각체의 닫힌 부분집합 위의 웨이트니 함수 대수의 주기적 순환 호몰로지가 프로젝티브 분해나 제한적인 기하학적 가정 없이 잘라내기를 만족하는가?
• RQ3 잘라내기 정리가 정확한 대칭 모노이드 범주로 일반화될 수 있는가? 이는 프리셰트 대수와 같은 위상 대수를 포함한다.
• RQ4 적절한 조건 하에서, 닫힌 부분집합 위의 웨이트니 함수 대수의 주기적 순환 호몰로지가 동일한 부분집합 위의 매끄러운 함수 대수의 주기적 순환 호몰로지와 동형일 수 있는가?
• RQ5 핵심 아이디얼의 주기적 순환 호몰로지가 수축 가능해지기 위한 조건은 무엇인가? 이는 주기적 순환 설정에서 잘라내기를 가능하게 한다.

주요 결과

• 닫힌 부분집합 $ Y \subset X $ 위의 웨이트니 함수 대수의 연속 Hochschild 호몰로지는 $ Y $ 위의 미분형식 공간과 동형이다. 이는 고전적 de Rham 동형사상의 일반화이다.
• 주기적 de Rham 코호몰로지와 동치인 $ \mathcal{E}^\infty(Y) $ 의 연속 주기적 순환 호몰로지, 즉 $ \operatorname{HP}_n(\mathcal{E}^\infty(Y)) \cong \bigoplus_{k\in\mathbb{Z}} \mathrm{H}_{\mathrm{dR}}^{n-2k}(Y) $ 는 $ Y $ 가 특이적일지라도 성립한다.
• 핵심 $ N = \mathrm{C}^\infty_0(Y;X)/\mathcal{J}^\infty(X;Y) $ 는 위상적으로 노르말리티를 가지므로, 주기적 순환 호몰로지는 수축 가능하다. 이는 장점 시퀀스에서 잘라내기를 가능하게 한다.
• 컴팩트 지지를 가진 닫힌 부분집합 $ Y $ 위의 매끄러운 함수 대수에 대해서는 ind-국소적으로 분리된 확장을 통해 잘라내기가 성립하며, 주기적 순환 호몰로지에 대해 코프라이머리 시퀀스를 얻을 수 있다.
• 잘라내기 정리는 모든 핵심 H-유니탈 프리셰트 대수에 적용 가능하며, 연속 선형 절단이 필요 없고, Brasselet 및 Pflaum의 이전 결과를 일반화한다.
• 해법은 명시적인 이중모듈러 분해를 피하고, 이전 접근법보다 더 짧고 일반적인 방식으로 웨이트니 함수의 호몰로지 계산을 증명한다.