[논문 리뷰] Hochschild-Pirashvili homology on suspensions and representations of $Out(F_n)$

Victor Turchin, Thomas Willwacher|arXiv (Cornell University)|2015. 07. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 10

한 줄 요약

이 논문은 스uspension 위에서의 Hochschild-Pirashvili 호모로지가 Hodge 유형의 분해를 갖는다는 것을 증명하며, 이는 스uspension 사상에서는 유지되지만 일반적으로는 필터링으로서만 유지됨을 보여준다. 원형의 위상합성의 호모로지로부터 기존의 GL(n,ℤ)를 통한 인자분해가 없는 새로운 Out(Fₙ) 표현을 구축하며, 이 표현은 자연스러운 필터링을 지니며, 그 잔여계수들은 GL(n,ℤ)를 통해 인자분해됨을 드러낸다.

ABSTRACT

We show that the Hochschild-Pirashvili homology on any suspension admits the so called Hodge splitting. For a map between suspensions $f\colon ΣY o ΣZ$, the induced map in the Hochschild-Pirashvili homology preserves this splitting if $f$ is a suspension. If $f$ is not a suspension, we show that the splitting is preserved only as a filtration. As a special case, we obtain that the Hochschild-Pirashvili homology on wedges of circles produces new representations of $Out(F_n)$ that do not factor in general through $GL(n,Z)$. The obtained representations are naturally filtered in such a way that the action on the graded quotients does factor through $GL(n,Z)$.

연구 동기 및 목표

• 스uspension 위에서의 Hochschild-Pirashvili 호모로지의 대수적 구조와 그 사상에 의한 행동을 이해하는 것.
• 고차 호모로지 호모로지에서 관찰된 Hodge 분해가 스uspension에 대해서도 유지되는지 여부와 그 조건을 조사하는 것.
• 원형의 위상합성의 호모로지로부터 GL(n,ℤ)를 통한 인자분해가 없는 Out(Fₙ)의 새로운 표현을 구축하는 것.
• 이 표현들의 필터링 구조를 분석하고, Out(Fₙ)의 작동이 잔여계수들로 어떻게 내림내림되는지 밝혀내는 것.
• 합성의 유리형 호모토피 이론이 스uspension이 아닌 사상일 경우 호모로지에 유도된 사상의 결정에 어떤 역할을 하는지 명확히 하는 것.

제안 방법

• conilpotent dg 코모노이드 대수의 범주에서의 호모토피 기저 변경을 통한 bar–cobar 수반관계를 이용하여, Hochschild-Pirashvili 호모로지를 완비된 Chevalley 복합체로 해석한다.
• dg 리 대수와 conilpotent cocommutative dg 코모노이드 대수 사이의 수반관계를 적용하여 호모로지 계산을 리 이론적 프레임워크로 변환한다.
• 스페이스의 리 대수와 대수의 증강 이상의 완비 텐서 tích 복합체로 Hochschild-Pirashvili 호모로지를 구성한다.
• Chevalley 복합체의 차수 필터링을 분석하고, 코작용과 리 괄호 구조를 통해 항들을 식별함으로써 Hodge 분해를 활용한다.
• 유리형 호모토피 이론을 사용하여 스uspension이 아닌 사상일 경우 호모로지에 유도된 사상이 어떻게 작용하는지 기술하며, 이는 필터링은 유지하지만 분해는 유지하지 않는다는 것을 보여준다.
• 원형의 위상합성의 경우를 연구하며, 그 호모로지를 n개 생성자를 가진 자유 리 대수와 동일시하고, 호모로지 복합체에 유도된 사상에 의해 유도되는 Out(Fₙ)-작용을 분석한다.

실험 결과

연구 질문

• RQ1 스uspension 위에서의 Hochschild-Pirashvili 호모로지가 Hodge 유형의 분해를 갖는가? 만약 그렇다면 어떤 조건에서인가?
• RQ2 스uspension 간의 사상이 스uspension일 경우와 아닐 경우에 대해, Hochschild-Pirashvili 호모로지에 유도된 사상의 Hodge 분해에 대한 행동은 어떻게 되는가?
• RQ3 n개의 원형의 위상합성의 호모로지를 사용하여 GL(n,ℤ)를 통한 인자분해가 없는 Out(Fₙ)-표현을 구성할 수 있는가?
• RQ4 이 표현들의 필터링 구조는 어떠한가? 그리고 Out(Fₙ)의 작동이 잔여계수들로 어떻게 내림내림되는가?
• RQ5 스uspension이 아닌 사상일 경우, 그 사상의 유리형 호모토피 유형이 Hochschild-Pirashvili 호모로지에 유도된 사상에 얼마나 영향을 미치는가?

주요 결과

• 어느 스uspension 위에서든 Hochschild-Pirashvili 호모로지가 Hodge 분해를 갖는다. 이 항들은 스uspension의 축소된 호모로지에 다항식적으로 의존한다.
• 스uspension 간의 사상이 스uspension이라면, 유도된 사상은 Hochschild-Pirashvili 호모로지에서 Hodge 분해를 유지하며, 이는 축소된 호모로지에 유도된 사상에 의해 결정된다.
• 사상이 스uspension이 아니라면, Hodge 분해는 필터링으로서만 유지되며, 계층 간의 유도된 사상은 사상의 유리형 호모토피 유형에 의해 결정된다.
• n개의 원형의 위상합성의 호모로지는 GL(n,ℤ)를 통한 인자분해가 없는 새로운 Out(Fₙ)-표현을 유도하며, 이는 알려진 바에서 가장 작은 크기의 그러한 표현이다.
• 이 표현은 자연스럽게 필터링을 지니며, 각 잔여계수에서의 작동은 GL(n,ℤ)를 통해 인자분해되므로 더 깊은 대수적 구조를 드러낸다.
• Hochschild-Pirashvili 호모로지 함자(함자)는 bar–cobar 수반관계를 따라 호모토피 기저 변경을 통해 대수적으로 해석되며, 이는 구성의 개념적이고 계산 가능한 프레임워크를 제공한다.