Monoids related to self homotopy equivalences of fibred product
引入了一个与纤维指向空间的自同伦等价有关的么半群的嵌套序列，使得其极限是纤维指向空间的自等价的同伦类的群。我们探讨这个幺半群的产品在个别空间。进一步，我们研究了与这些幺半群相关的两个不变量：自贴近数和自长度。
2022-07-25 math.AT
Finite groups as homotopy self-equivalences of finite spaces
本文研究有限群作为有限空间同伦自等价类群的实现问题，利用无穷族两两非弱同伦的反对称空间，构造出同伦自等价类群同构于给定有限群$G$的有限空间。
2024-11-01 math.AT
Fibrations up to an equivalence, homotopy colimits and pullbacks
我们收集的条件一类H连续映射的拓扑空间，允许一个合理的理论纤维化的等价（从这个类的地图），我们称之为H-纤维化。弱同伦等价恢复拟纤维化，同调等价产生同调纤维化。我们研究当地的H-纤维，表现良好的同伦colimits与普遍的H-纤维，表现良好的回调。然后，我们继续分类H-纤维化的一个自然的概念等价。
2010-01-13 math.AT
Spaces which invert weak homotopy equivalences
如果$X$是CW-复形，则对每个弱同伦等价$f:A\to B$，在同伦类中导出的映射$f_*:[X,A]\to [X,B]$是双射.对于哪些空间$X$是$f^*:[B,X]\to [A,X]$对每个弱等价$f$的双射？Strom和T.好威利本文证明了非空空间弱等价可逆当且仅当它是可收缩的。
2017-09-25 math.AT
Realizability of the group of rational self-homotopy equivalences
对于1-连通CW-复形$X$，设$\mathcal{E}(X)$表示$X$的自同伦等价的同伦类群。本文的目的是证明，对于每个$n\in\Bbb N$，存在一个1-连通有理CW-复形$X_{n}$使得$\mathcal{E}(X_{n})\cong \underset{2^{n+1}\mathrm{. times}}{\underbrace{\Bbb Z_{2}\oplus... \Bbb \oplus \Bbb Z_{2}}}$ .
2010-10-07 math.AT
Rational Homotopy Equivalence
Masaryk University（马萨里克大学）
本文提出算法构建Sullivan极小模型，用于判断两个连通空间是否具有相同的有理同调类型。
2026-07-28 math.AT
Rational homotopy equivalences and singular chains
Bousfield和Kan的空间的$\mathbb{Q}$ -完备化和纤维式$\mathbb{Q}$ -完备化导致了非单连通空间的有理同伦理论的两种不同的方法。在第一种方法中，一个映射是弱等价的，如果它在有理同调上诱导同构。在第二种情况下，一个连通和指向空间的映射是弱等价的，如果它在基本群和高有理化同伦群之间产生同构;我们称这些映射为$π_1$ -有理同伦等价。在本文中，我们比较这两个概念，并表明$π_1$ -有理同伦等价对应的映射，诱导$Ω$ -拟同构的有理奇异链，即映射，诱导拟同构后，应用cobar函子的dg余结合余代数的有理奇异链。这意味着两个有理同伦等价的概念都可以从有理奇异链中通过使用弱等价的不同代数概念推导出来：拟同构和$Ω$ -拟同构。我们进一步表明，在第二种方法中，有没有dg余代数模型的链是严格的余交换和余结合。
2020-07-01 math.AT
Equivariant self-homotopy equivalences of product spaces
设G是有限群.研究了G-空间乘积的G-等变自同伦等价群。对于n-空间的乘积，在等变约化的假设下，我们把它表示为n-子群的乘积。此外，我们描述每个因素作为一个分裂短的确切序列。同时，我们得到了另一种分解，称为$LU$型分解，作为两个子群的乘积。
2022-06-02 math.AT
The evaluation subgroup of a fibre inclusion
给定单连通有限型CW复形的纤维化，研究了纤维包含作为纤维同伦型不变量的赋值子群。对于球面纤维化，我们证明了评价子群可以表示为纤维球的Gottlieb群的扩展，只要分类映射诱导同伦群上的平凡映射。我们推广了这个结果：我们证明了纤维包含的有理化赋值子群分解为纤维的有理化Gottlieb群和基的有理化同伦群的直和当且仅当分类映射诱导有理同伦群上的平凡映射。
2006-08-23 math.AT
The rational homotopy type of the space of self-equivalences of a fibration
设Aut（p）表示纤维化p的自纤维同伦等价的拓扑幺半群：E \to B.我们对这个幺半群作了一般性的研究，特别是在有理同伦理论中。当E和B是单连通CW复形，且E有限时，我们将Aut（p）的单位连通区的有理Samelson李代数证明为p的Koszul-Sullivan模型导子的DG李代数的同调，并得到了纤维映射空间的有理同伦群和Aut（p）的自然幂零子群的有理化的相关证明.
2010-09-04 math.AT
Rational visibility of a Lie group in the monoid of self-homotopy equivalences of a homogeneous space
设M是允许通过连通李群G左平移的齐性空间.作用的伴随映射产生一个从G到M的自同伦等价幺半群的映射.本文的目的是研究由有理同伦上的伴随映射诱导的同态的内射性.特别地，对于由Oniscik分类的单李群及其相关的秩为1的齐性空间的所有情况，都明确地确定了可见度。
2010-07-23 math.AT
The group of self-homotopy equivalences of $A_n^2$-polyhedra
设$X$是有限型$A_n^2$ -多面体，$n \geq 2$ .本文研究商群$\mathcal{E}(X)/\mathcal{E}_*(X)$，其中$\mathcal{E}(X)$是$X$的自同伦等价群，$\mathcal{E}_*(X)$是诱导$X$的同调群上的恒等式的自同伦等价子群.我们表明，不是每个组可以实现为$\mathcal{E}(X)$或$\mathcal{E}(X)/\mathcal{E}_*(X)$的$X$的$A_n^2$ -多面体，$n\ge 3$，并获得具体的结果为$n=2$。
2020-02-29 math.AT
Certain maps preserving self-homotopy equivalences
设$\mathcal{E}(X)$是连通CW复形$X$的自同伦等价的同伦类群.我们观察到两类映射：$\mathcal{E}$-映射和余$\mathcal{E}$-映射.它们被定义为分别诱导同态$\mathcal{E}(X)\to \mathcal{E}( Y)$和$\mathcal{E}(Y)\to \mathcal{E}(X)$的映射$X\to Y$。利用Sullivan模型给出了一些与球面、李群和齐性空间有关的有理化例子。此外，我们引入了一个$\mathcal{E}$-等价关系的有理化空间$X_{\mathbb{Q}}$和$Y_{\mathbb{Q}}$作为一个同构$\mathcal{E}(X_{\mathbb{Q}})\cong \mathcal{E}(Y_{\mathbb{Q}})$的几何实现。
2016-08-14 math.AT
Rational Homotopy Type of the Classifying Space for Fibrewise Self-Equivalences
设p是具有有限基B和纤维F的单连通CW复形的纤维化。设aut_1（p）表示p的所有纤维同伦自等价空间的单位连通区，Baut_1（p）表示该拓扑幺半群的分类空间。给出了Baut_1（p）的微分分次李代数模型.利用这个模型，我们给出了由Baut_1（p）表示的有理同伦类型的分类结果，并得到了么半群aut_1（p）有理化后是双环空间的条件。
2011-11-18 math.AT
Every group is the group of self homotopy equivalences of finite dimensional CW-complex
本研究证明任意群都可作为有限维CW复形的自同伦等价群，推广了Costoya和Viruel关于有限群可作为有理椭圆空间自同伦等价群的经典定理。
2025-02-22 math.AT
Rational self-homotopy equivalences and Whitehead exact sequence
对于单连通CW-复$X$，令$\mathcal{E}(X)$表示$X$的自同伦等价的同伦类的群，令$\mathcal{E}_{\sharp}(X)$表示它的诱导同伦群上的恒等式的同伦类的子群.正如我们所知，商群$\frac{\mathcal{E}(X)}{\mathcal{E}_{\sharp}(X)}$可以用$Aut(π_{*}(X))$的子群来标识。这项工作的目的是确定这个子群的合理空间。我们构造了与$X$的最小Sullivan模型相关联的Whitehead正合序列，它允许我们定义分次向量空间$\mathrm{Hom}(π_*(X),\Bbb Q)$的自相干自同构的子群$\mathrm{Coh.Aut}(\mathrm{Hom}\big(π_{*}(X),\Bbb Q)\big)$.因此，我们建立了$\mathcal{E}(X) / \mathcal{E}_{\sharp}(X) \cong \mathrm{Coh.Aut} (\mathrm{Hom}(π_*(X),\Bbb Q))$。此外，通过计算群$\mathrm{Coh.Aut}\big(\mathrm{Hom}(π_{*}(X),\Bbb Q)\big)$，我们给出了具有少量自同伦等价的有理空间的例子。
2009-05-09 math.AT
Homotopy equivalences of localized aspherical complexes
通过研究某些非球面复形的局部化（在素数$p$和/或零处）的自同伦等价群，我们证明了与所考虑的空间是幂零复形的情况相反，$\mathcal{E}_{\#}^m (X_{p})$一般不同于$\mathcal{E}_{\#}^m (X)_{p}$ .即使当$X=K(G,1)$是有限复数和/或$G$满足额外有限性或幂零性条件时，例如当$G$是有限的或几乎幂零的时，情况也是如此。
2007-03-26 math.AT
On the homotopy groups of the self equivalences of linear spheres
设$S(V)$是有限群$G$的复线性球面. %有限群$G$的复表示$V$中的单位向量空间。令$S(V)^{*n}$表示$S(V)$与其自身的$n$ -折叠并，令$\aut_G(S(V)^*)$表示$S(V)^{*n}$的$G$ -等变自同伦等价的空间.我们证明了对于任何$k \geq 1$都存在$M>0$，它只依赖于$V$，使得$|π_k \aut_G(S(V)^{*n})| \leq M$是所有$n \gg 0$的。
2013-01-11 math.AT
Monoidal uniqueness theorems for stable homotopy theory
我们证明了谱的稳定同伦范畴上的么半群积是唯一的。这加强了工作，这位作者与施韦德的唯一性模型的稳定同伦理论的频谱。作为一个应用程序，我们表明，与一个额外的假设基础模型结构马戈利斯公理唯一确定稳定的同伦范畴的谱monoidal等价。此外，这里构造的等价给出了已知的等价的各种对称幺半范畴的谱（S-模，\W -空间，正交谱，单纯函子）与对称谱的统一结构。并讨论了模、代数和交换代数在这些范畴中的等价性。
2000-12-04 math.AT
Constructing homotopy equivalences of chain complexes of free ZG-modules
本文描述了由非等变G-等变链同伦等价构造G-等变链同伦等价的一般算法。作为结果，我们得到了计算Eilenberg-MacLane空间K（pi，n）的等变（上）同调的一个算法，其中pi是n-生成的ZG-模.这一结果将用于在即将发表的论文中，以建设等变Postnikov塔的简单连接空间的自由行动的有限群G和进一步计算稳定的等变同伦类的映射之间的空间。本文的方法适用于任何非负分次微分分次代数上的模，其基础分次阿贝尔群是自由的，1是生成元之一。
2013-04-24 math.AT
On the group of self-homotopy equivalences of a 2-connected and 6-dimensional CW-complex
设$X$是\text{\rm{2}} -连通的和\text{\rm{6}} -维CW-复形$X$，使得$H_{3}(X)\otimes\Z_2=0$ .本文描述了由$X$模其正规子群$\E_{*}(X)$的自同伦等价构成的群$\E(X)$，其中正规子群是由诱导同调群上的单位元构成的.利用$X$的Whitehead正合列，记为WES $(X)$，定义了WES $(X)$的$Γ$ -自同构的群$Γ\mathcal{S}(X)$，并证明了$\E(X)/\E_*(X)\cong Γ\mathcal{S}(X).$
2022-10-19 math.AT
Weak equivalences of simplicial presheaves
定义单纯预层的弱等价的通常方法是要求在同伦群的所有层上同构。我们解开一些机械在这里，并给出一个更具体的描述，在本地同伦提升性能。这一刻画被用来证明单纯预层的局部同伦理论的一些基本事实。
2002-05-02 math.AT
The order of the group of self-homotopy equivalence of wedge spaces
本文研究楔和空间自同伦等价群的阶，在可约性条件下将一般有限楔和的等价群分解为子群乘积，并给出相应悬挂楔和的阶的计算公式。
2024-02-22 math.AT
On symmetric commutator subgroups, braids, links and homotopy groups
本文研究了换位子群在同伦群和几何群中的一些应用。特别地，我们证明了某些环群中某些典型子群的交子群模其对称换位子群同构于（高）同伦群。这给出了链路和同伦群之间的联系。编织物和表面组的结果相似。
2010-02-02 math.AT math.GR math.GT
Inessential directed maps and directed homotopy equivalences
本文定义非本质有向映射与有向同伦等价，证明其满足2-out-of-3性质，并保持有向拓扑复杂度及诱导配对分量范畴同构。
2020-07-30 math.AT
Double Homotopy (Co)Limits for Relative Categories
我们回答的问题，在何种程度上同伦（co）限制类弱等价允许一个Fubini型交换法。主要的障碍是，我们没有假设我们的范畴与弱等价来配备一个演算同伦（共）的限制，如导子。
2017-11-06 math.AT
On The Group Of Self-homotopy Equivalences Of An Elliptic Space
设$X$是形式维数为$n$的单连通有理椭圆空间，$\E(X)$表示$X$的自等价同伦类群.若$X^{[k]}$表示$X$的$k^{\text{th}}$ Postikov截面，$X^{k}$表示其$k^{\text{th}}$骨架，则利用Sullivan和Quillen的模型证明了$\E(X)\cong\E(X^{[n]})$，若$n>m=max\big\{k \,| \,π_{k}(X)\neq 0\big\}$和$\E(X)$是有限的，则有$\E(X)\cong\E(X^{m+1})$ .此外，在$X$是2-连通的情况下，我们证明了如果$π_{n}(X)\neq0$，则群$\E(X)$是无限的.
2019-10-16 math.AT
T-homotopy and refinement of observation (II) : Adding new T-homotopy equivalences
本文是关于流的T-同伦的一个新概念的系列论文的第二部分。证明了T-同伦等价的旧定义不允许用三维立方体来识别有向段。这与双同伦理论的范式相矛盾。根据观测值加细的直观性，给出了T-同伦等价的一个新定义。证明了在弱S-同伦下，一个旧的T-同伦等价是一个新的T-同伦等价。第二部分还建立了流的弱S-同伦模型范畴的左适当性。后一个事实在本系列的下一篇文章中多次使用。
2007-03-26 math.AT math.CT
The homotopy theory of equivalence relations
我们给出了一个详细的阐述同伦理论的等价关系，也许是最简单的非平凡的例子模型结构。
2009-09-06 math.AT math.CT
A relaxed evaluation subgroup
设$f:X\to Y$是连通CW-复形之间的点映射。作为评价子群$G_*(Y,X;f)$的推广，我们将在$Y$的同伦群$π_*(Y)$中定义{ \it松弛评价子群} ${\mathcal G}_*(Y,X;f)$，它与$\tilde{ev} (h,x)=h(x)$给出的评价映射$\tilde{ev} :map(X,Y;f)\times X\to Y$的${\rm Im} π_*(\tilde{ev})$相同。特别是对于有理化映射$f_{\Q}$，利用有理同伦理论中的Sullivan模型，我们看到如果映射$f$诱导有理同伦群的注入，则${\mathcal G}_*(Y_{\Q},X_{\Q};f_{\Q})=π_*(Y)\otimes \Q$.通过几个有理化的例子，我们还将它与更松弛的子群进行了比较。
2010-02-10 math.AT
Homotopy theory and generalized dimension subgroups
设$G$是一个群，$R,S,T$是它的正规子群。在三子群$\|R,S,T\|$的情形下，换位子群的概念有一个自然扩张，在整群环$\mathbb Z[G]$中，交换子子群的对称积$\|\bf r,\bf s,\bf t\|$对相应理想$\bf r,\bf s, \bf t$也有一个自然扩张.本文证明了广义维数子群$G\cap (1+\|\bf r,\bf s,\bf t\|)$模$\|R,S,T\|.$的指数为2。所考虑的指数为2的广义维数商被确定为一个子群的Hurewicz同态的核心的循环空间上的同伦colimit的分类空间。
2015-06-27 math.AT math.GR
Complex manifolds as families of homotopy algebras
证明了从具有形式全纯映射的形式复结构到具有同伦态射的单算子上的同伦代数的范畴的等价性。我们将这个等价推广到复流形。一个光滑流形上的复结构以这种方式对应于一个由流形上的点所索引的代数族。
2015-01-16 math.AT
Rationalized Evaluation Subgroups of a Map and the Rationalized G-Sequence
设f：X -> Y是单连通空间的基映射.对应的赋值映射w：map（X，Y;f）-> Y诱导出一个同伦群的同态，其在pi_n（Y）中的像称为f的第n个赋值子群。X的第n个戈特利布群是Y = X且f = 1_X的特殊情况。我们确定的同态诱导合理的同伦群的评价地图，在复杂的衍生物使用沙利文极小模型构造的地图。我们的鉴定允许的第n个评估小组的f的合理化的表征。它还允许识别几个长的正合序列的理性同伦群，包括长的正合序列诱导的理性同伦群的评价纤维化。因此，我们得到了所谓的G-序列的映射f的合理化的一个标识。这是一个群和同态的序列--一般不精确--包括X的戈特利布群和f的求值子群。我们使用这些结果来研究的G-序列的上下文中的有理同伦理论。我们给出了非正合G-序列的新例子，并揭示了有理G-序列的同调与有理上同调的负导子之间的关系。我们还涉及到分裂的合理的G-序列的纤维包含一个著名的猜想，在合理的同伦理论。
2003-09-26 math.AT
A discrete model of $S^1$-homotopy theory
本文构造了$S^1$ -空间同伦理论的一个离散模型。我们定义了一个类别$\sP$的对象组成的单纯集和循环集以及适当的兼容性数据。$\sP$从单纯集和循环集范畴上的模型结构继承了模型结构。然后，我们表明，有一个Quillen之间的$\sP$和模型范畴的$S^1$ -空间，其中弱等价和纤维化的地图诱导弱等价和纤维化的通道上的所有不动点集。
2004-11-09 math.AT
Homotopy equivalences between p-subgroup categories
设p为素数，G为可被p整除的有限群. Quillen证明了G的非恒等p-子群的Brown偏序集与它的非恒等初等交换子群的子集同伦等价.我们证明了G的非恒等p-子群的融合范畴也有类似的结论。G的p-子群的其他范畴也被考虑。
2014-06-18 math.AT math.CO math.GR
Rational torus-equivariant stable homotopy III: comparison of models
我们给出了有理环面等变同伦理论的模型的细节（a）所有子群，连通子群或子群的维数和（b）对或一般标志。我们提供了比较函子，并证明了模型是等价的。这被用于（A）有理环面等变谱的代数模型（与B.Shipley; 1101.2511的新版本），（B）任意紧李群的有理等变G-谱的扇形部分的代数模型（1501.03425）和（C）从代数几何数据构造环面等变谱。它还强调了本地化定理在这些模型中的作用。
2016-04-18 math.AT
Explicit Homotopy Equivalences Between Some Operads
在这项工作中，我们提出了一个明确的操作态射，这也是一个同伦等价的操作之间的实富尔顿麦克弗森紧化的配置空间和小$n$ -磁盘操作。特别地，该构造明确地给出了伴随多面体与小区间之间的运算同伦等价。它也可以推广到Kontsevich紧化和Voronov瑞士奶酪操作的情况。
2011-10-14 math.AT math.QA
Certain number on the groups of self homotopy equivalences
对于连通基空间$X$，设$[X,X]$是$X$的保基点自映射的所有基同伦类的集合，$\E(X)$是$X$的自同伦等价群.我们用$\A_{\sharp}^k(X)$表示$X$的自映射的同伦类的集合，这些同伦类诱导$i=0,1,\cdots,k$的$π_i(X)$的自同构。也就是说，$[f]\in \A_{\sharp}^k(X)$当且仅当$π_i(f):π_i(X)\toπ_i(X)$是$i=0,1,\cdots ,k$的同构。然后，对于非负整数$k$，求$\E(X)\subseteq\A_{\sharp}^k(X)\subseteq [X,X]$。此外，对于连通CW-复形$X$，我们有$\E(X)=\A_{\sharp}(X)$。本文研究了$\A_{\sharp}^k(X)$的性质，讨论了$\E(X)=\A_{\sharp}^k(X)$的条件和$k$的最小值。此外，我们确定的$k$的各种空间，包括领域，产品的空间，摩尔空间。
2014-08-21 math.AT
Categories and orbispaces
几十年来，从分类输入数据构造和操作同伦类型一直是代数拓扑学中的一个重要主题。每一个范畴都产生一个“分类空间”，这是神经的几何实现。直到弱同伦等价，每个空间都是一个小范畴的分类空间。更真实的是：拓扑空间和连续映射的整个同伦理论都可以用范畴和函子来建模。我们建立了范畴和空间的同伦理论的等价性的一个广泛的推广：小范畴表示轨道空间的精细同伦类型，其基础粗模空间是迄今为止考虑的传统同伦类型。全局等价是小范畴之间的函子，它对所有有限群$G$诱导$G$ -对象范畴的神经的弱等价。我们表明，全球等价的一部分模型结构的范畴上的小范畴，这是此外Quillen等价的同伦理论的轨道空间的意义上的Gepner和Henriques。在这个全局模型结构中，每一个凝聚范畴都与Haefliger意义下的群复合体相对。
2019-02-27 math.AT
Rationalized Evaluation Subgroups of a Map II: Quillen Models and Adjoint Maps
令w：Map（X，Y;f）-> Y表示一般的评估纤维化。利用微分分次李代数的有理同伦理论，确定了由w在有理同伦群上诱导的长正合序列在（广义）导子空间和伴随映射上的存在性.因此，我们在有理同伦群的水平上，根据Quillen模型和伴随的导子，得到了函数空间的有理同伦理论的统一描述。特别地，作为Tanre的一个结果的自然扩张，我们确定了在此设置下的映射f：X -> Y的求值子群的有理化。作为应用，我们考虑一个问题的Gottlieb的推广，在理性同伦理论的背景下。我们还确定了合理化的G-序列的f，并明确计算这个序列的同源性。在一个独立的结果中，我们给出了乘积AxX的一个显式Quillen极小模型，其中A是有理co-H-空间。
2004-01-15 math.AT
The homotopy types of the posets of p-subgroups of a finite group
研究了有限拓扑空间中有限群G的p-子群Sp（G）和Ap（G）的偏序集的同伦性质.我们回答了R. E提出的问题。Stong在1984年提出了有限空间Ap（G）的可压缩性与Sp（G）的可压缩性之间的关系，并利用群G的代数性质描述了Ap（G）的可压缩性。
2016-12-13 math.AT math.GR
A model structure via orbit spaces for equivariant homotopy
对于给定的群$G$和$G$的子群集合$\mathcal F$，我们证明了在右$G$ -单纯集范畴上存在左诱导模型结构，其中弱等价和上纤维化是诱导$\mathcal F$中所有$H$在$H$ -轨道上的弱等价和上纤维化的映射.这给出了一个模型分类准则的地图，诱导弱等价的$H$ -轨道是弱等价的$\mathcal F$ -模型结构。
2019-03-07 math.AT
A stratified Kan-Quillen equivalence
我们表现出奎伦等价两个模型类别编码同伦理论的分层空间：过滤单纯集的模型类别，过滤空间。此外，我们引入了一类新的过滤空间，即垂直过滤CW-复形，提供了一个很好的模型的同伦范畴的分层空间。
2021-02-09 math.AT
The homotopy relation in a category with weak equivalences
本文定义了一类具有弱等价的范畴的箭与箭之间的同伦关系，并给出了同伦关系的商为同伦范畴的条件。在一个模型范畴的纤维凝聚对象的情况下，这个条件成立，我们表明，我们的同伦概念与经典的一致。我们还表明，奎伦的建设同伦范畴的模型类别，其中的箭头是同伦类的一个单一的箭头之间的fibrant coordinant对象，可以以及弱等价类使用这种概念的同伦。我们从我们的工作中推导出饱和模型类别。这些结果的证明，只考虑弱等价，变得简单（因为它通常是这样）比那些涉及整个结构的模型范畴。
2018-04-11 math.AT math.CT
A Whitehead theorem for periodic homotopy groups
我们发现$v_n$ -周期同伦群检测简单连接的有限CW-复形之间的同伦等价。
2019-07-17 math.AT
Simplicial localization of homotopy algebras over a prop
证明了链复形中两个协色（有色）支之间的弱等价诱导了相应代数范畴的单纯局部化之间的Dwyer-Kan等价.这种在基变换下的同伦不变性意味着，在一个支撑P上的同伦代数的同伦范畴不依赖于P的一个相干分解的选择，并因此给出了在这种设置下代数直到同伦的概念的一致性。这一结果对于组合monoidal dg范畴中的代数更为普遍。
2014-05-02 math.AT
Homotopy Colimits of Algebras Over Cat-Operads and Iterated Loop Spaces
将置换范畴范畴中的同伦余极限构造推广到任意$\Cat$运算上的代数范畴，并分析了它的性质。然后，我们使用这个同伦上极限来证明分类空间函子在形式上反转某些弱等价类后，导出了$n$ -折叠幺半范畴与$\mathcal{C}_n$ -空间范畴之间的等价性，其中$\mathcal{C}_n$是小$n$ -立方体运算数。作为结果，我们得到了$n$ -fold幺半范畴与$n$ -fold闭路空间范畴和局部化后的回路映射范畴关于另一类弱等价的等价性.我们恢复了Mesquason关于无限闭路空间的相应结果，并得到了关于辫幺半范畴和2重闭路空间的相关结果.
2013-07-30 math.AT
The homotopy type of the loops on $(n-1)$-connected $(2n+1)$-manifolds
对于$n\geq 2$，我们计算了维数为$(2n+1)$的$(n-1)$连通闭流形的同伦群.在同调中，除了划分扭子群阶的有限素数集之外，$M$的$p$ -局部同伦群由同调的自由阿贝尔部分的秩确定。此外，我们证明了这些$p$ -局部同伦群可以表示为球面的$p$ -局部同伦群的直和.积分同伦型的循环空间也计算和示出仅依赖于自由阿贝尔部分和扭子群的秩。
2018-10-16 math.AT
Realizing congruence subgroups inside the diffeomorphism group of a product of homotopy spheres
设M是一个与S ^k的n重积同胚的光滑流形，其中k是奇数。存在从M的自同态群到H k（M; Z）的自同构群的诱导同态.证明了当n ≥ 3时，该同态的象包含SL_n（Z）的一个同余子群。
2015-12-25 math.AT math.KT
Every finite group is the group of self homotopy equivalences of an elliptic space
本文证明了每一个有限群$G$都可以实现为无穷多个椭圆空间$X$的自同伦等价群。此外，$X$可以被选择为不可弯曲的紧致单连通流形的有理化。
2013-06-14 math.AT math.GR
Homotopy equivalence of spaces of metrics with invertible Dirac operator
证明了对于$n\geq 3$维的共边闭自旋流形，可逆Dirac算子的度量空间是同伦等价的。这是Chernysh/Walsh关于正数量曲率的一个类似结果的旋量对应，推广了Ammann-Dahl-Humbert关于在手术下可逆Dirac算子的度量存在性的手术结果.我们还给出了这种同伦等价的一个相对陈述。
2022-08-18 math.AT math.DG
Adams-Hilton model and the group of self-homotopy equivalences of a simply connected cw-complex
设$R$是主理想整环（PID）.对于维数为$n$的单连通CW-复形$X$，令$Y$是通过将维数为$q$的胞元附着到$X$，$q>n$而获得的空间，并且令$A(Y)$表示$Y$的Adams-Hilton模型。若$\mathcal E(A(Y))$表示$A(Y)$的同伦自等价群，$\mathcal E_{*}(A(Y))$表示$H_{*}( Y,R)$上诱导恒等式的元素的子群，则构造了两个短正合序列：$$\underset{i}{\oplus}\,H_{q}(ΩX,R)\rightarrowtail \mathcal{E}(A(Y))\overset{}{ \twoheadrightarrow}Γ^{q}_{n}\,\,\,\,\,\,\,\,\,\,\,\,,\,\,\,\,\,\,\,\,\,\,\,\,\underset{i}{\oplus}\,H_{q}(ΩX,R) \rightarrowtail \E_{*}(A(Y))\overset{}{ \twoheadrightarrow}Π^{q}_{n} $$其中$i=\mathrm{rank} \,H_{q}(Y,X;R)$，$Γ^{q}_{n}$是$\aut(\mathrm{Hom}_{}(H_{q}( Y,X;R))\times \E(A(X))$的子群，$Π^{q}_{n}$是$\mathcal E_{*}(A(X))$的…
2019-09-08 math.AT
Data and homotopy types
本文提出了明确的假设存在交织同伦等价的Vietoris-Rips和Lesnick复包含的数据集。这些假设的后果进行了调查的空间水平上，并为相应的层次的集群和分支点的子偏序集。层次偏序集和分支点偏序集都有一个上确界演算，它用来证明与数据集包含相关联的分支点映射是受控的同伦等价。
2019-08-17 math.AT
Homotopy self-equivalences of 4-manifolds
我们建立了一个辫子的联锁确切序列包含一组同伦自等价的光滑或拓扑4-流形。辫子计算流形的基本群是有限的奇数阶。
2003-11-20 math.AT math.GT
