arXiv 2105.047512021-05-12math.AT

simply connected CW配合物有理化的形式性

Formality on rationalizations of simply connected CW complexes

Jingwen Gao, Xiugui Liu

摘要：

本文证明了：对于具有有限维$H^{*}(Y;\mathbb{Q})$的单连通CW复$Y$，如果$H^{*}(Y;\mathbb{Q})$集中在度$\leq 3$上，则有理化$Y_\mathbb{Q}$是形式的.作为应用，我们证明了有理同调集中在度$\leq 3$上的单连通Sullivan代数的空间实现是形式化的.

英文摘要：

In this paper, we show that for a simply connected CW complex $Y$ with $H^{*}(Y;\mathbb{Q})$ of finite dimension, if $H^{*}(Y;\mathbb{Q})$ is concentrated in degrees $\leq 3$, then the rationalization $Y_\mathbb{Q}$ is formal. As an application, we show that the spatial realizations of simply connected Sullivan algebras with rational homology concentrated in degrees $\leq 3$ are formal.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

酒吧情结与拉回形式

Bar Complexes and Formality of Pull-backs

我们证明了一个关于纤维化拉回形式的结果。我们的方法是利用交换微分分次代数范畴中的棒复形。作为应用，推广了Baum和Smith的一个旧结果.

2002-01-30math.AT

某些CW复合物的形式

Formality of certain CW complexes

设$X$是一个单连通路连通的拓扑空间，它在有理同伦理论意义下是形式的.设$Y=X\cup_α\mathbb{D}^{n}$，其中$α:\mathbb{S}^{n-1}\to X$是非扭元。在此基础上，我们得到了$Y$形式化的一个关于$α$的条件.我们给出了几个说明性的例子，关于一个有限的CW复杂的形式只有偶数维细胞。这是较早版本的更正版本，其中包含一个严重的错误定理1.4。这个定理，现在这个版本的定理1.1，现在已经被纠正。第一个版本的定理1.1，1.2和1.3的证明是无效的，因为它们使用了错误的结果。事实上，我们在这里提供了定理1.1的断言的一个反例。(See下面的例子3.1。）我们不知道定理1.2的陈述是否有效，定理1.2断言了舒伯特簇在广义旗簇$G/B$中的形式。定理1.3是正确的，因为它已经证明了以前由帕诺夫和雷使用完全不同的技术。

2014-01-29math.AT

映射空间的有理形式

Rational formality of mapping spaces

设X和Y是有限个幂零CW复形，且X的维数小于Y的连通度.推广了Vigué-Poirrier和Yamaguchi的结果，证明了映射空间Map（X，Y）是有理形式的当且仅当Y具有奇数维球面有限积的有理同伦型.

2010-03-29math.AT

保持上纤序列和分裂悬置的幂等函子

Idempotent functors that preserve cofiber sequences and split suspensions

我们证明了$f$ -局部化函子$L_f$与$(N-1)$ -连通有限复形的上纤维序列交换的充要条件是它对$(N-1)$ -连通有限复形的集合的限制是对某些有单位元的子环$R\sseq\mathbb{Q}$的$R$ -局部化.这导致了有理化函子的同伦理论特征：$L_f$对单连通空间限制（不只是有限复形）是有理化的当且仅当$L_f(S^2)$是非平凡且单连通的，$L_f$保持单连通有限复形的上纤序列，并且对于每个单连通有限复形$K$，对于足够大的$k$和不同的$n$值，$\s^k L_f(K)$分裂为$L_f(S^n)$拷贝的楔形。

2012-07-23math.AT

编织物的图复形、形式和位形空间积分

Diagram complexes, formality, and configuration space integrals for braids

本文利用位形空间的有理形式和杆构式研究了四维及四维以上辫子空间的上同调。我们提供了一个图复杂的辫子和一个拟同构的de Rham上链空间的辫子。拟同构是由一个配置空间积分其次是陈的迭代积分。这将Kohno和Cohen和Gitler关于辫子空间的上同调的结果扩展到适合于集成的CDGA。我们表明，这种整合是兼容的Bott-Taubes配置空间积分的长链接，通过两个图复杂之间的映射。作为推论，我们得到了长链空间到辫子空间的上同调满射。我们还讨论了在何种程度上我们的结果适用于经典的辫子的情况下。

2020-01-20math.ATmath.GTmath.QA

关于Davis-Januszkiewicz同伦型Ⅰ：形式化与有理化

On Davis-Januszkiewicz homotopy types I; formality and rationalisation

对于任意的单纯复形K，Davis和Januszkiewicz定义了一族同伦等价CW-复形，其整上同调环同构于K的Stanley-Reisner代数.随后，Buchstaber和Panov给出了另一种构造（这里称为c（K）），他们证明了它是与Davis和Januszkiewicz的例子等价的同伦。因此，研究空间的同伦类型在多大程度上由这样一个上同调环决定是很自然的。我们从这里开始这项研究，在模型范畴论的背景下。特别地，我们扩展了Franz的工作，证明了c（K）的奇异上链代数是微分分次非交换代数。通过证明Sullivan的交换上链代数的相应结果，我们专门研究了有理数，并推导出c（K）的有理数对于一类特殊的复形K是唯一的.在续集中，我们将分别考虑c（K）在每个素数处的唯一性，并应用Sullivan的算术平方来产生这个族的全局结果。

2005-01-13math.AT

更多相关论文收起更多论文

双代数的变形理论、高阶Hochschild上同调与形式

Deformation theory of bialgebras, higher Hochschild cohomology and formality

本文的第一个目标是精确地联系双代数和$E_2$ -代数的同伦理论。为此，我们构造了一个保守的和完全忠实的$\infty$ -函子从点幂零同伦双代数到增广$E_2$ -代数，其中包括在一个适当的“cobar”建设。证明了双代数上同伦双代数结构的（导）形式模问题等价于该“cobar”结构上$E_2$ -代数结构的（导）形式模问题.因此，我们表明，$E_3$ -代数结构的高Hochschild复杂的cobar建设，解决方案，以更高的Deligne猜想，控制变形理论的双代数。这意味着在dg双代数的变形复形上存在$E_3$ -结构，解决了Gerstenhaber-Schack的一个长期猜想。在此基础上，通过证明对称双代数的变形复形的$E_3$ -形式，解决了Kontsevich的一个长期存在的猜想.这提供了一个新的证明作为推论的Etingof-Kazdhan变形量子化的李双代数推广到同伦dg李双代数，是独立于选择的一个结合子。一路上，我们建立了新的一般结果的独立利益的变形理论的代数结构，这揭示了一个新的光各种变形复合体和上同调理论的研究文献。

2016-06-05math.ATmath.QA

Toric复形与Artin核

Toric complexes and Artin kernels

n个顶点上的单纯复形L确定n-环面的子复形T_L，其基本群为直角Artin群G_L。给定满射χ \colon G_L \to \Z，设T_L^χ是相应的覆盖，其中基本群是Artin核N_x。我们计算了复曲面T_L的上同调跳跃轨迹，以及T_L^x的系数在域\k中的同调群，将其看作是群代数\k \Z上的模。给出了H_{\le r}（T_L^x; \k）具有平凡\Z作用的组合条件，从而可以计算截断上同调环H^{ \le r}（T_L^x; \k）.我们还确定了几个李代数相关的Artin内核，在一定的平凡性假设下的monodromy \Z -行动，并建立1-形式的这些（不一定是可表示的）集团。

2008-12-21math.ATmath.GR

矩角复形的上同调运算与Stanley-Reisner环的消解

Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings

本文通过研究矩角复形上标准环面作用诱导的上同调运算，将Stanley-Reisner环的极小自由消解赋予拓扑解释，并利用所得工具完全刻画了矩角复形上环面作用的等变形式性。

2023-05-26math.ACmath.AT

可伸缩空间

Scalable spaces

\emph{Scalable spaces}是单连通紧致流形或有限复形，其实上同调代数嵌入其（平坦）微分形式代数中。这是一个有理同伦不变量性质，所有的可伸缩空间都是形式的;事实上，可伸缩性可以被认为是形式的度量版本。从定量同伦理论的角度来看，它们也具有特别好的行为。在其他结果中，我们表明，空间是正式的，但不可扩展的提供反例格罗莫夫的长期猜想失真更高的同伦群。

2022-04-07math.ATmath.DGmath.GT

图式同伦类型与非阿贝尔Hodge理论

Schematic homotopy types and non-abelian Hodge theory

本文利用Hodge理论方法研究了具有任意基本群的复射影流形的同伦类型。我们使用的主要工具是\textit{schematization functor} $X \mapsto (X\otimes \mathbb{C})^{sch}$，介绍了第三作者作为替代的合理化函子同伦理论的情况下，非单连通空间。我们的主要结果是在$(X\otimes\mathbb{C})^{sch}$上构造了一个\textit{Hodge decomposition}。这种Hodge分解被编码在离散群$\mathbb{C}^{\times δ}$对对象$(X\otimes \mathbb{C})^{sch}$的作用中，并且被证明恢复了上同调上的通常Hodge分解、C.Simpson定义的前代数基本群上的Hodge过滤以及在单连通情况下J.Morgan和R.海恩这霍奇分解示出，以满足纯度属性相对于重量过滤，概括的事实，即高同伦群的一个简单连接的投影流形有自然的混合霍奇结构。作为第一个应用程序，我们构建了一个新的家庭的同伦类型的例子，这是不实现为复杂的射影流形。我们的第二个应用是一个形式定理的图式化的一个复杂的射影流形。最后，给出了复射影流形$X$上$π_{i}(X) \to H_{i}(X)$的Hurewitz态射的像是子Hodge结构的条件.

2005-06-16math.AGmath.AT

庞加莱对偶与模拓扑复杂度

Poincaré duality and module topological complexity

University of Ottawa（渥太华大学）

该论文研究庞加莱对偶空间上的模拓扑复杂度，证明其与有理拓扑复杂度相等，并推广到映射的截面不变量，给出精确不等式及几何应用。

2026-11-10math.AT