연속 선형 절단 없이 Hochschild 사이클릭 호몰로지의 절삭 정리

논문은 연속 Hochschild 및 사이클릭 호몰로지의 절삭(excision) 문제를 다루며, 기존 문헌에서 연속 선형 섹션이 필요하다고 가정했던 부분을 제거한다. 이를 위해 저자는 먼저 대칭 모노이달 범주와 정확 범주의 기본 개념을 정리하고, ‘pure conflation’과 ‘H‑unital’이라는 두 핵심 개념을 일반화한다. 프레셋 공간(Frechet spaces)과 완전 투사 텐서 곱(complete projective tensor product)을 이용해 프레셋 대수의 정확 구조를 정의하고, 핵심적인 예인 핵심적인( nuclear) 프레셋 대수와 그 이상(ideal)이 순수하고 H‑unital임을 증명한다. 그 다음, Mariusz Wodzicki가 제시한 절삭 정리를 범주론적 관점에서 재구성한다. Wodzicki‑Guccione‑Guccione의 결과를 일반적인 대칭 모노이달 정확 범주에 적용함으로써, 연속 Hochschild 복합체와 사이클릭 복합체에 대한 장거리 정확 시퀀스를 얻는다. 핵심적인 가정은 확장의 커널이 H‑unital이고, 전체 확장이 순수(pure)하다는 점이다. 이 두 조건만으로 연속 선형 섹션이 없어도 절삭 정리가 성립한다는 것이 논문의 주요 정리이다. 이론적 결과를 실제 예제로 적용한다. X를 매끄러운 다양체, Y를 X의 임의의 폐집합이라 하자. J∞(X;Y)는 Y 위에서 모든 테일러 급수가 사라지는 C∞(X) 안의 이상이며, 이는 핵심적인 H‑unital 프레셋 대수이다. 따라서 확장 J∞(X;Y) ↪ C∞(X) → E∞(Y) 은 순수하고 H‑unital 커널을 갖는다. 절삭 정리를 적용하면, HHₙ(E∞(Y)) ≅ Ωⁿ(Y) (위튼니 n‑형식), HCₙ(E∞(Y)) ≅ Ωⁿ(Y) ⊕ ⨁_{k≥1} H_{dR}^{n-2k}(Y), HPₙ(E∞(Y)) ≅ ⨁_{k∈ℤ} H_{dR}^{n-2k}(Y) 가 된다. 이는 기존에 Brasselet와 Pflum이 복잡한 직접적인 해석을 통해 얻은 결과와 일치하지만, 훨씬 간결하고 일반적인 방법으로 도출된다. 특히, Y가 임의의 폐집합이므로, 이전 연구에서 요구했던 ‘정규성’ 가정이 사라진다. 또한, 저자는 Banach 시스템(Ind‑Ban, Pro‑Ban) 범주에서도 동일한 절삭 정리가 적용 가능함을 언급한다. 이는 컴팩트 지지 위튼니 함수, 비컴팩트 폐집합 위의 위튼니 함수 등 다양한 상황에 적용할 수 있음을 의미한다. 이러한 범주적 확장은 완전한 로컬 컨벡스 토폴로지컬 대수와 보르노 로지컬 대수에도 적용 가능하며, 변형 양자화 이론에서 중요한 역할을 하는 Hochschild‑cohomology HHⁿ(A,A)와 같은 모듈 구조를 계산하는 데도 활용될 수 있다. 마지막으로, 순수성만으로는 Hochschild 공동(co)호몰로지를 완전히 계산하기 어렵다는 점을 지적한다. 저자는 H‑unital성 외에 추가적인 구조적 가정이 필요할 수 있음을 제시하며, 향후 연구 과제로 이러한 가정을 명확히 규명하고, 보다 일반적인 대수에 대한 절삭 정리를 확장하는 방향을 제안한다. 전체적으로 논문은 연속 Hochschild·사이클릭 호몰로지 이론에 중요한 기술적 진보를 제공하며, 위튼니 함수 대수와 같은 실용적인 예제에 강력한 계산 도구를 제공한다.