[论文解读] Hochschild-Pirashvili homology on suspensions and representations of $Out(F_n)$

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

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 10

一句话总结

该论文证明了悬垂空间上的Hochschild-Pirashvili同调具有Hodge型分裂，该分裂在悬垂映射下保持不变，但仅作为过滤结构。通过圆的楔积的同调构造了新的、不通过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)$.

研究动机与目标

• 理解悬垂空间上Hochschild-Pirashvili同调的代数结构及其在映射下的行为。
• 研究在更高阶Hochschild同调中观察到的Hodge分裂是否在悬垂空间上持续存在，以及在何种条件下成立。
• 通过圆的楔积的同调构造Out(Fₙ)的新表示，特别是那些不通过GL(n,ℤ)的表示。
• 分析这些表示的过滤结构，以及Out(Fₙ)作用如何下降到分次商群。
• 阐明有理同伦论在确定当源映射不是悬垂映射时，同调中诱导映射的作用。

提出的方法

• 使用bar–cobar伴随关系，通过在连通余幂微分分次余代数范畴中的同伦基变换，将Hochschild-Pirashvili同调解释为完成的Chevalley复形。
• 应用微分分次李代数与连通余幂余交换微分分次余代数之间的伴随关系，将同调计算转化为李理论框架。
• 通过空间的李代数与代数的增广理想构造Hochschild-Pirashvili同调为完成的张量积复形。
• 通过分析Chevalley复形上的次数过滤并利用余作用与李括号结构，识别各项的Hodge分解。
• 利用有理同伦论描述当映射不是悬垂映射时，同调上诱导映射的行为，表明其保持过滤但不保持分裂。
• 通过将楔积的同调识别为n个生成元的自由李代数，研究圆的楔积的情形，并通过同调复形上的诱导映射分析由此产生的Out(Fₙ)-作用。

实验结果

研究问题

• RQ1 悬垂空间上的Hochschild-Pirashvili同调是否具有Hodge型分裂？若存在，其条件是什么？
• RQ2 当悬垂空间之间的映射是悬垂映射时，其在Hochschild-Pirashvili同调上的诱导映射如何作用于Hodge分裂？当映射不是悬垂映射时又如何？
• RQ3 能否利用n个圆的楔积的同调构造不通过GL(n,ℤ)的Out(Fₙ)-表示？
• RQ4 这些表示的过滤结构是怎样的？Out(Fₙ)的作用如何下降到分次商群？
• RQ5 当映射不是悬垂映射时，其有理同伦型在多大程度上决定了Hochschild-Pirashvili同调上的诱导映射？

主要发现

• 任意悬垂空间上的Hochschild-Pirashvili同调均具有Hodge分裂，其各项依赖于悬垂空间的约化同调的多项式函数。
• 若悬垂空间之间的映射是悬垂映射，则其在Hochschild-Pirashvili同调上的诱导映射保持Hodge分裂，且由其在约化同调上的诱导映射唯一确定。
• 若映射不是悬垂映射，则Hodge分裂仅作为过滤被保持，且各层之间的诱导映射由该映射的有理同伦型决定。
• n个圆的楔积的同调产生了一个新的不通过GL(n,ℤ)的Out(Fₙ)-表示，这是目前已知最小的此类表示。
• 该表示具有自然的过滤结构，使得其在每个分次商群上的作用均通过GL(n,ℤ)实现，揭示了更深层次的代数结构。
• Hochschild-Pirashvili同调函子被代数地解释为沿bar–cobar伴随关系的同伦基变换，为构造提供了概念性与计算性的框架。