Fibrations up to an equivalence, homotopy colimits and pullbacks
我们收集的条件一类H连续映射的拓扑空间,允许一个合理的理论纤维化的等价(从这个类的地图),我们称之为H-纤维化。弱同伦等价恢复拟纤维化,同调等价产生同调纤维化。我们研究当地的H-纤维,表现良好的同伦colimits与普遍的H-纤维,表现良好的回调。然后,我们继续分类H-纤维化的一个自然的概念等价。
2010-01-13 math.AT
Subgroups of the group of self-homotopy equivalences
用E(Y)表示有限维复形Y的自同伦等价的同伦类群。本文给出了E(Y)的某些子群的一些结果。我们建立了Y的Gottlieb群和E(Y)的子群之间的联系,E(Y)的子群由自同伦等价的同伦类组成,这些同伦等价通过Y的维数固定同伦群,记为E_#(Y)。利用Y的锥分解给出了E_#(Y)的可解类的一个上界。我们对偶后者的结果,以获得一个上界的可解类的子群E(Y)的自同伦等价,固定上同调群与各种系数的同伦类。我们还表明,与整数系数,后者组是幂零的。
2000-10-12 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 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
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
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
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
The homotopy theory of equivalence relations
我们给出了一个详细的阐述同伦理论的等价关系,也许是最简单的非平凡的例子模型结构。
2009-09-06 math.AT math.CT
Complex manifolds as families of homotopy algebras
证明了从具有形式全纯映射的形式复结构到具有同伦态射的单算子上的同伦代数的范畴的等价性。我们将这个等价推广到复流形。一个光滑流形上的复结构以这种方式对应于一个由流形上的点所索引的代数族。
2015-01-16 math.AT
Explicit Homotopy Equivalences Between Some Operads
在这项工作中,我们提出了一个明确的操作态射,这也是一个同伦等价的操作之间的实富尔顿麦克弗森紧化的配置空间和小$n$ -磁盘操作。特别地,该构造明确地给出了伴随多面体与小区间之间的运算同伦等价。它也可以推广到Kontsevich紧化和Voronov瑞士奶酪操作的情况。
2011-10-14 math.AT math.QA
A discrete model of $S^1$-homotopy theory
本文构造了$S^1$ -空间同伦理论的一个离散模型。我们定义了一个类别$\sP$的对象组成的单纯集和循环集以及适当的兼容性数据。$\sP$从单纯集和循环集范畴上的模型结构继承了模型结构。然后,我们表明,有一个Quillen之间的$\sP$和模型范畴的$S^1$ -空间,其中弱等价和纤维化的地图诱导弱等价和纤维化的通道上的所有不动点集。
2004-11-09 math.AT
Categories and orbispaces
几十年来,从分类输入数据构造和操作同伦类型一直是代数拓扑学中的一个重要主题。每一个范畴都产生一个“分类空间”,这是神经的几何实现。直到弱同伦等价,每个空间都是一个小范畴的分类空间。更真实的是:拓扑空间和连续映射的整个同伦理论都可以用范畴和函子来建模。我们建立了范畴和空间的同伦理论的等价性的一个广泛的推广:小范畴表示轨道空间的精细同伦类型,其基础粗模空间是迄今为止考虑的传统同伦类型。全局等价是小范畴之间的函子,它对所有有限群$G$诱导$G$ -对象范畴的神经的弱等价。我们表明,全球等价的一部分模型结构的范畴上的小范畴,这是此外Quillen等价的同伦理论的轨道空间的意义上的Gepner和Henriques。在这个全局模型结构中,每一个凝聚范畴都与Haefliger意义下的群复合体相对。
2019-02-27 math.AT
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
The homotopy relation in a category with weak equivalences
本文定义了一类具有弱等价的范畴的箭与箭之间的同伦关系,并给出了同伦关系的商为同伦范畴的条件。在一个模型范畴的纤维凝聚对象的情况下,这个条件成立,我们表明,我们的同伦概念与经典的一致。我们还表明,奎伦的建设同伦范畴的模型类别,其中的箭头是同伦类的一个单一的箭头之间的fibrant coordinant对象,可以以及弱等价类使用这种概念的同伦。我们从我们的工作中推导出饱和模型类别。这些结果的证明,只考虑弱等价,变得简单(因为它通常是这样)比那些涉及整个结构的模型范畴。
2018-04-11 math.AT math.CT
A stratified Kan-Quillen equivalence
我们表现出奎伦等价两个模型类别编码同伦理论的分层空间:过滤单纯集的模型类别,过滤空间。此外,我们引入了一类新的过滤空间,即垂直过滤CW-复形,提供了一个很好的模型的同伦范畴的分层空间。
2021-02-09 math.AT
A Whitehead theorem for periodic homotopy groups
我们发现$v_n$ -周期同伦群检测简单连接的有限CW-复形之间的同伦等价。
2019-07-17 math.AT
Every finite group is the group of self homotopy equivalences of an elliptic space
本文证明了每一个有限群$G$都可以实现为无穷多个椭圆空间$X$的自同伦等价群。此外,$X$可以被选择为不可弯曲的紧致单连通流形的有理化。
2013-06-14 math.AT math.GR
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
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
Homotopy self-equivalences of 4-manifolds
我们建立了一个辫子的联锁确切序列包含一组同伦自等价的光滑或拓扑4-流形。辫子计算流形的基本群是有限的奇数阶。
2003-11-20 math.AT math.GT
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
s-Cobordism classification of $4$-manifolds through the group of homotopy self-equivalences
利用同伦自等价群的标准不变量给出了拓扑$4$ -流形的$s$ -配边分类. Hambleton和Kreck构造了一个辫子来研究$4$ -流形的同伦自等价群。利用这个辫子和Kreck的修正的外科手术理论,我们给出了具有基本群$π$的$4$ -流形的$s$ -配边分类,使得cd $π\leq 2$ .
2019-09-26 math.AT math.GT
Comparing globular complex and flow
函子是从球状CW-复形范畴到流范畴构造的。它允许比较的S-同伦等价(分别。T-同伦等价)与S-同伦等价(分别为. T-同伦等价)。证明了该函子诱导出范畴的等价性,即从球状CW-复形范畴关于S-同伦等价的局部化到流范畴关于弱S-同伦等价的局部化.作为应用,我们构造了流的基本同伦类型。
2005-02-26 math.AT math.CT
Homotopy homomorphisms and the classifying space functor
我们证明了从拓扑幺半群范畴到基空间范畴的分类空间函子$B: Mon \to Top*$是左伴随于Moore闭路空间函子$Ω': Top*\to Mon$的,在我们已经定位了$Mon$关于所有的同态,其基础映射是同伦等价的和$Top*$关于所有的基映射是(不一定是)同伦等价之后。众所周知,$Top*$的这种局部化是存在的,我们证明了$Mon$的局部化是幺半群范畴和同伦同态的同伦类范畴.为了使这个陈述精确,我们必须修改同伦同态的经典定义,我们讨论必要的修改。这个附加是由良点幺半群和同伦同态范畴与良点空间范畴之间直到同伦的一个附加所诱导的。这个附加物被显示为提升到图表中。因此,同伦余极限和常图函子之间的著名的导出的附加也可以被看作是在取同伦类之前由直到同伦的附加所诱导的。作为应用,我们除其他事项外,推导出一个更代数版本的组完成定理,并表明分类空间函子保持同伦colimits自然同伦等价。
2014-06-25 math.AT
Equivariant Homotopy Theory via Simplicial Coalgebras
本文利用 Elmendorf 定理的推广,证明了 Raptis 和 Rivera 关于单纯余代数模型的 G-等变同伦理论类比,并进一步给出了在拟范畴等价线性化版本下 G-单纯集的建模结果。
2025-04-07 math.AT
On the equivalence of two approaches to multiplicative homotopy theories
Department of Mathematics, Kyoto University(京都大学数学系)
本文探讨了两种乘法同调理论框架的等价性,解决了Pavlov猜想并解答了Hovey第十问题的特殊情况,同时证明了多个主定理的变体。
2026-03-27 math.AT math.CT
Stabilization of the homotopy groups of the self equivalences of linear spheres
设$G$是有限群.设$U_1,U_2,\dots$是一个正交表示序列,其中$\oplus_{n \geq 1} U_n$的任何不可约表示都具有无穷重数。令$V_n=\oplus_{i=1}^n U_n$和$S(V_n)$表示单位向量的线性球。然后对于任何$i \geq 0$,群$\dots \rightarrow π_i \operatorname{map}^G(S(V_n),S(V_n)) \rightarrow π_i \operatorname{map}^G(S(V_{n+1}),S(V_{n+1})) \rightarrow \dots$的序列稳定于稳定群$\oplus_H ω_i(BW_GH)$,其中$H$贯穿$S(\oplus_n U_n)$的点的所有各向同性群的共轭类的代表。
2019-06-12 math.AT
From homotopy links to stratified homotopy theories
在以前的工作中,第一作者从单纯和拓扑的角度定义了分层空间的同伦理论。在这两个框架分层弱等价检测同伦链接适当的推广。这两个框架通过奇异单形的实现和函子之间的经典附加的分层版本连接。使用修改版本的这一附加,第一作者表明,在一个固定偏序集的阶层的两个同伦理论是等价的。在此基础上,我们现在表明,未修改的附加诱导层空间和层单纯集的全球同伦理论之间的等价性。我们这样做,通过深入研究同伦链接。作为结果,我们证明了经典的同伦理论的圆锥分层空间完全忠实地嵌入到同伦理论的所有分层空间。
2022-12-29 math.AT
Homotopy equivalence of isospectral graphs
本文研究了由Bisson和Tsemo在有向图Gph范畴中定义的Quillen模型结构。特别是,我们给出了一个精确的描述与此模型结构的同伦类图。我们赋予N-集和Z-集范畴相关的模型结构,并证明它们的同伦范畴与同伦范畴Ho(Gph)是Quillen等价的.这使我们能够证明Ho(Gph)等价于周期Z-集的范畴cZSet,并证明两个有限有向图几乎等谱当且仅当它们在我们的意义下同伦等价。
2009-06-25 math.AT math.CT
Taking quotient by a unipotent group induces a homotopy equivalence
设U是复数域C上的幂幺群,作用在复代数簇X上.设存在复代数簇f:X -> Y的满射,其纤维是U的轨道。证明了如果X和Y是光滑的,且U在X中的所有轨道维数相同,则C点X(C)--> Y(C)上的诱导映射是同伦等价.此外,如果U,X,Y和f定义在实数域R上,则R-点X(R)--> Y(R)上的诱导映射是满射的,并且在连通分支上诱导同伦等价。
2021-05-10 math.AG math.AT
Obstruction sequences to homotopy equivalences
Stockholm University(斯德哥尔摩大学)
研究完备微分分次李代数中规范等价存在性的阻碍理论,用于刻画特定微分分次代数间同伦等价,应用此理论在代数拓扑和几何中建立新结果,尤其关注高连通簇极小模型。
2026-07-29 math.AG math.AT math.QA
Inverting weak dihomotopy equivalence using homotopy continuous flow
一个流是同伦连续的,如果它是无限可分的S-同伦。凝聚同伦连续流的满子范畴具有良好的性质。它不仅大到足以包含所有的双同伦类型,而且它们之间的态射是弱双同伦等价的当且仅当它在双同伦下可逆。因此,范畴的凝聚同伦连续流提供了一个实施怀特海定理的充分dihomotopy关系,而不是只为S-同伦在以前的作品的作者。这一事实不是流范畴上模型结构存在的结果,因为已知流范畴上不存在任何模型结构,其弱等价恰好是弱双同伦等价。这个事实是一个模型范畴关于弱分解系统的局部化的一般结果的应用。
2006-01-19 math.AT math.CT
Resolution of coloured operads and rectification of homotopy algebras
我们提供了一般条件下,代数的有色操作在monoidal模型范畴进行Quillen模型结构,并证明了比较定理的效果,弱等价之间的适当的操作诱导Quillen等价类之间的代数。我们构造了一个显式的Boardman-Vogt风格的coordinant决议有色操作,从而给出了一个统一的方法,代数结构同伦有色操作。比较定理意味着这样的结构是可以纠正的。
2008-01-17 math.AT
Stable A^1-homotopy and R-equivalence
我们证明了k-有理点的存在性可以通过S^1-谱的稳定A^1-同伦范畴,甚至是这个范畴的“有理化”变体来检测。
2011-01-05 math.AG math.AT math.KT