코넥터베이트 DGA의 Hochschild 공동동형을 위한 새로운 스펙트럴 시퀀스

초록

저자는 코넥터베이트(음이 아닌 차수만 갖는) dga에 대해 Hochschild 공동동형을 계산하는 스펙트럴 시퀀스를 구축하고, 이를 이용해 mod‑p 코체인 대수의 Hochschild 공동동형이 Noetherian이 되는 공간들을 규정한다. 결과적으로 해당 공간들의 루프 공간 체인 복합체의 파생 범주에 지원 다양체 이론을 적용할 수 있다.

상세 분석

이 논문은 코넥터베이트(dga가 0 이하 차수에서만 비자명한 경우) dga A 에 대해 Hochschild 공동동형 HH⁎(A) 를 계산하기 위한 새로운 스펙트럴 시퀀스를 제시한다. 기존에 Cohen‑Jones‑Yan이 닫힌 정향 다양체 M의 루프 동형학 H₍*₎(LM) 를 다루기 위해 만든 스펙트럴 시퀀스와 구조적으로 유사하지만, 여기서는 대수적 객체인 dga의 Hochschild 복합체 C⁎(A,A) 를 필터링함으로써 E₂‑페이지를 Tor‑형식인
E₂^{s,t}=Ext_{H⁎(A)⊗H⁎(A)^{op}}^{s}(H⁎(A),H⁎(A))^{t}
으로 표현한다. 필터링은 A의 코넥터베이트 구조를 이용해 “바깥 차수”에 따라 점차적으로 복합체를 축소하는 방식이며, 이는 Bousfield‑Kan 식별과 유사한 수렴성을 보장한다. 저자는 이 시퀀스가 강하게 수렴하여 HH⁎(A) 로 수렴함을 증명하고, 차수‑필터링이 사라지는 경우에는 E∞‑페이지가 실제 Hochschild 공동동형의 연산 구조를 그대로 반영함을 확인한다.

핵심적인 기술적 단계는 (1) A의 최소 모델을 선택해 A‑모듈 구조를 명시적으로 기술하고, (2) Hochschild 복합체를 두 개의 복합체(Bar 복합체와 CoBar 복합체)의 텐서 곱 형태로 재구성한 뒤, (3) 이 텐서 곱에 대한 ‘총 차수’ 필터링을 도입해 스펙트럴 시퀀스를 유도한다는 것이다. 특히, 코넥터베이트 조건 덕분에 Bar 복합체가 제한된 차수에서만 비자명해져, E₁‑페이지가 비교적 간단한 형태를 띤다. 저자는 또한 이 시퀀스가 Cohen‑Jones‑Yan 시퀀스와 동형 사상으로 연결될 수 있음을 보이며, 두 이론 사이의 교차 검증을 수행한다.

응용 측면에서는 A를 공간 X의 mod‑p 코체인 대수 C⁎(X;𝔽ₚ) 로 잡는다. 저자는 X가 ‘p‑정규’(예: 유한 CW 복합체, p‑완전화된 클래스ifying space, 혹은 p‑compact group)인 경우, H⁎(X;𝔽ₚ) 가 유한 차원 대수이며, 따라서 위의 E₂‑페이지가 Noetherian 𝔽ₚ‑대수임을 증명한다. 이로부터 HH⁎(C⁎(X;𝔽ₚ)) 가 Noetherian ring 이라는 결론을 얻는다. Noetherian 성질은 이후 파생 범주 D(C₍*₎(ΩX;𝔽ₚ)) 에서 지원 다양체(support varieties)를 정의할 수 있는 기반을 제공한다. 구체적으로, HH⁎(A) 가 중앙 대수 역할을 하여, D(A‑mod) 의 객체들에 대해 Spec HH⁎(A) 위의 폐쇄 부분집합을 할당하는 ‘지원’ 함수를 구축한다. 이는 기존에 그룹 대수의 지원 다양체 이론을 일반화한 형태이며, 루프 공간의 체인 복합체에 대한 모듈 이론에 새로운 도구를 제공한다.

마지막으로, 저자는 몇 가지 구체적인 예시(예: CP^∞, Bℤ/p, 그리고 특정 고차원 사슬 복합체) 를 통해 스펙트럴 시퀀스의 실제 계산 과정을 보여준다. 이 과정에서 차수‑필터링이 급격히 사라지는 경우와, 차수‑필터링이 남아 복잡한 차이 차원 전이(differentials) 가 발생하는 경우를 비교 분석한다. 전체적으로 이 논문은 코넥터베이트 dga 에 대한 Hochschild 공동동형 계산을 체계화하고, 이를 토대로 지원 다양체 이론을 확장하는 중요한 발판을 제공한다.