[论文解读] Description and triviality of the loop products and coproducts for rational Gorenstein spaces

Shun Wakatsuki|arXiv (Cornell University)|Dec 12, 2016

Algebraic structures and combinatorial models参考文献 4被引用 5

一句话总结

本文通过Sullivan模型，为Gorenstein空间的有理同伦论中的环路乘积与余乘积提供了显式的代数描述。通过引入半纯Sullivan代数的概念，并利用相对模型构造了上记号映射，证明了这些运算的新平凡性结果——推广了Tamanoi、Félix–Thomas和Naito的先前定理，建立了双对偶环路余乘积或乘积为零的充分条件。

ABSTRACT

Félix and Thomas extended the loop products and coproducts to simply-connected Gorenstein spaces. We explicitly describe these operations with rational coefficients in terms of Sullivan models. Moreover, by this description, we prove some results on triviality of these operations. They include a variant of the result of Tamanoi, and generalizations of that of Félix and Thomas and that of Naito.

研究动机与目标

• 将字符串运算（环路乘积与余乘积）的代数描述扩展至使用有理同伦论的有理Gorenstein空间。
• 推广特定情形下（如欧拉示性数为零的流形、紧致李群、纯Sullivan代数）环路余乘积与乘积的已知平凡性结果。
• 引入半纯Sullivan代数的概念，作为纯代数的推广，以扩大构造的适用范围。
• 通过相对Sullivan模型显式构造环路余乘积的上记号映射Δ_!，实现在有理设定下的计算。
• 基于奇数与偶数次生成元的维数，建立双对偶环路余乘积或乘积为零的充分条件。

提出的方法

• 本文使用特征零域上的有理同伦论与Sullivan模型，对环路乘积与余乘积进行代数描述。
• 引入半纯Sullivan代数，其定义条件为 d(V^even) ⊂ I_V，其中 I_V 是由 V^even 生成的理想，从而推广了纯代数。
• 通过相对Sullivan模型显式构造上记号映射 Δ_!，将Naito的方法扩展至非纯代数。
• 关键技术工具是定理1.6，其表明任意无1次生成元的有限型Sullivan代数在有理同伦等价下同构于一个半纯代数。
• 该构造依赖于极小模型定理以及差值 dim V^odd − dim V^even 的同伦不变性。
• 通过Sullivan模型上的对偶运算 Dlp 与 Dlcop 分析环路乘积与余乘积之间的对偶性。

实验结果

研究问题

• RQ1 在何种Sullivan代数条件下，双对偶环路余乘积为平凡？
• RQ2 如何通过Sullivan模型显式构造有理Gorenstein空间的上记号映射 Δ_!？
• RQ3 能否通过有理同伦论将Tamanoi、Félix–Thomas与Naito的平凡性结果推广至更广泛的拓扑空间类？
• RQ4 半纯性在Sullivan代数结构中对字符串运算起何种作用？
• RQ5 奇数与偶数次生成元维数之差如何影响环路余乘积的平凡性？

主要发现

• 对于任意半纯Sullivan代数 (¬V, d)，若其有直和分解 V = Kx ⊕ W，其中 |x| 为奇数，且 (¬V, d) 是相对于 (¬x, 0) 的相对Sullivan代数，则其双对偶环路余乘积为平凡。
• 对于任意半纯Sullivan代数，若 V = W ⊕ Kx，其中 |x| 为偶数，且 (¬V, d) 是相对于 (¬W, d) 的相对Sullivan代数，则其双对偶环路乘积为平凡。
• 若 dim V^odd > dim V^even，则双对偶环路余乘积为平凡，推广了Naito对纯代数的结果。
• 定理1.6表明，任意满足 V^1 = 0 的有限型Sullivan代数在有理同伦等价下同构于一个半纯代数，从而使得结果可应用于所有此类代数。
• 通过相对模型显式构造上记号映射 Δ_!，推广了Naito的方法至非纯代数。
• 差值 dim V^odd − dim V^even 是有限型Sullivan代数的有理同伦不变量，支持了平凡性条件的稳定性。