Paul Fabel
We exhibit a map f between aspherical spaces X and Y such that f induces an isomorphism on homotopy groups but, with natural topologies, X and Y fail to have homeomorphic fundamental groups. Thus the topological fundamental group has the capacity to distinguish homotopy type when the Whitehead theorem fails.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We study the relationship between metric thickenings and simplicial complexes associated to coverings of metric spaces. Let $\mathcal{U}$ be a cover of a separable metric space $X$ by open sets with a uniform diameter bound. The Vietoris complex contains all simplices with vertex set contained in some $U \in \mathcal{U}$, and the Vietoris metric thickening is the space of probability measures with support in some $U \in \mathcal{U}$, equipped with an optimal transport metric. We show that the Vietoris metric thickening and the Vietoris complex have isomorphic homotopy groups in all dimensions.…
Algebraic groups of homotopy classes of automorphisms and operadic Koszul duality
本文利用操作子Koszul对偶理论证明了单连通空间有理化同伦自同构类所对应的两个先验不同的代数群同构，并由此得到若干映射同伦类集合的Eckmann-Hilton对偶同构。
Homotopy rigidity for quasitoric manifolds over a product of simplices
本文研究上同调刚性问题的变体，证明当两个拟环流流形的上同调环同构且其中一个的多胞体为单纯形乘积时，它们在局部化掉显式素数列表后同伦等价。
Finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as E-infinity algebras. The cochain functor from the homotopy category of finite type nilpotent spaces to the homotopy category of E-infinity algebras is faithful but not full.
Gerbes are locally connected presheaves of groupoids. They are classified up to local weak equivalence by path components in a 2-cocycle category taking values in all sheaves of groups, their isomorphisms and homotopies. If F is a full presheaf of sheaves of groups, isomorphisms and homotopies, then [*,BF] is isomorphic to equivalence classes of gerbes locally equivalent to groups appearing in F. Giraud's non-abelian cohomology object of equivalence classes of gerbes with band L is isomorphic to morphisms in the homotopy category from the point * to the homotopy fibre over L for a map defined …
Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the natural map between the group of homeomorphisms of $X_f$ and the group of homotopy classes of self-homotopy equivalences of $X_f$ is precisely $f$. In addition, realization problems involving homology, homotopy groups and groups of automorphisms are considered.
We prove that the homotopy type of a map from a Peano continuum into a planar or one-dimensional space is determined by the induced homomorphism of fundamental groups. This provides a new proof that planar sets are aspherical and is used to prove that two planar or one-dimensional Peano continua are homotopy equivalent if and only if they have isomorphic fundamental groups.
In this paper we show that the nth quasitopological homotopy group of a topological space is isomorphic to (n-1)th quasitopological homotopy group of its loop space and by this fact we obtain some results about quasitopological homotopy groups. Finally, using the long exact sequence of a based pair and a fibration in qTop introduced by Brazas in 2013, we obtain some results in this field.
We carefully present an elementary proof of the well known theorem that each homotopy group (or, in degree zero, pointed set) of the inverse limit of a tower of fibrations maps naturally onto the inverse limit of the homotopy groups (or, in degree zero, pointed sets) of the spaces in the tower, with kernel naturally isomorphic to $\lim^{1}$ of the tower of homotopy groups of one dimension higher.
Anick proved that every q-mild Hopf algebra up to homotopy is isomorphic to a primitively-generated chain Hopf algebra. We provide a new proof, that involves extensive use of the Bockstein spectral sequence.
In the paper we prove that the primitive part of the Sinha homology spectral sequence E^2-term for the space of long knots is rationally isomorphic to the homotopy E^2-term. We also define natural graph-complexes computing the rational homotopy of configuration and of knot spaces.
Eilenberg-MacLane spaces in A-homotopy theory
本文在A-同伦理论中构造了具有任意指定同伦群的图，证明了相对A-同伦群与经典相对同伦群的等同，并建立了离散Blakers-Massey定理及Postnikov系统和Whitehead塔。
Let $G$ be a compact connected Lie group and let $ξ,ν$ be complex vector bundles over the classifying space $BG$. The problem we consider is whether $ξ$ contains a subbundle which is isomorphic to $ν$. The necessary condition is that for every prime $p$ the restriction $ξ|_{BN_p^G}$, where $N_p^G$ is a maximal $p$-toral subgroup of $G$, contains a subbundle isomorphic to $ν|_{BN_p^G}$. We provide a criterion when this condition is sufficient, expressed in terms of $Λ^*$-functors of Jackowski, McClure \& Oliver and we prove that this criterion applies if $ν$ is a universal bundle over $BU(n)$. …
Finite groups as homotopy self-equivalences of finite spaces
本文研究有限群作为有限空间同伦自等价类群的实现问题，利用无穷族两两非弱同伦的反对称空间，构造出同伦自等价类群同构于给定有限群$G$的有限空间。
We prove that homotopy invariants of finite degree distinguish homotopy classes of maps of a connected compact CW-complex to a nilpotent connected CW-complex with finitely generated homotopy groups.
Lie, associative and commutative quasi-isomorphism
本文证明特征零下交换 dg 代数的交换与结合拟同构等价，并给出同伦完备 dg 李代数的 Koszul 对偶结果，从而确定有理同伦型并推出幂零李代数由泛包络代数识别。
In this paper, we investigate some applications of commutator subgroups to homotopy groups and geometric groups. In particular, we show that the intersection subgroups of some canonical subgroups in certain link groups modulo their symmetric commutator subgroups are isomorphic to the (higher) homotopy groups. This gives a connection between links and homotopy groups. Similar results hold for braid and surface groups.
A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. As a homotopy invariant, the homotopy set of self-homotopy equivalences on a quasi-schemoid is introduced. The main theorem enables us to deduce that the homotopy invariant for the quasi-schemoid induced by a finite group is isomorphic to the automorphism group of the given group.
We consider genera of polyhedra (finite cell complexes) in the stable homotopy category. Namely, the genus of a polyhedron X is the class of polyhedra Y such that all localizations of Y are stably isomorphic to the corresponding localizations of X. We prove that Y is in the genus of X if and only if the wedge XvB is stably isomorphic to YvB, where B is the wedge of all spheres S^n such that the n-th stable homotopy group of X is not torsion. We also prove that if XvX and XvY are stably isomorphic, so are also X and Y. Several examples of calculations of genera are considered.
We show that the n-homotopy category of connected (n+1)-dimensional Menger manifolds is isomorphic to the homotopy category of connected Hilbert cube manifolds whose k-dimensional homotopy groups are trivial for each k > n.
We investigate the homotopy type of the Alexander dual of a simplicial complex. In general the homotopy type of K does not determine the homotopy type of its dual K*. Moreover, one can construct for each finitely presented group G, a simply connected simplicial complex K with fundamental group isomorphic to G. We study sufficient conditions on K for K* to have the homotopy type of a sphere. We also extend the simplicial Alexander duality to the context of reduced lattices.
In this paper, we prove an equivariant version of the classical Dold-Thom theorem. Associated to a finite group, a CW-complex on which this group acts and a covariant coefficient system in the sense of Bredon, we functorially construct a topological abelian group by the coend construction. Then we prove that the homotopy groups of this topological abelian group are naturally isomorphic to the Bredon equivariant homology of the CW-complex. At the end we present several examples of this result.
We characterize those planar Peano continua that are homotopy equivalent to 1-dimensional sets. While many planar Peano continua are not homotopically 1-dimensional, we prove that each has fundamental group that embeds in the fundamental group of a 1-dimensional planar Peano continuum. We leave open the following question: Is a planar Peano continuum homotopically 1- dimensional if its fundamental group is isomorphic with the fundamental group of a 1-dimensional planar Peano continuum?
Let Rat_k be the space of based holomorphic maps from S^2 to itself of degree k. Let beta_k denote the Artin's braid group on k strings and let Bbeta_k be the classifying space of beta_k. Let C_k denote the space of configurations of length less than or equal to k of distinct points in R^2 with labels in S^1. The three spaces Rat_k, Bbeta_{2k}, C_k are all stably homotopy equivalent to each other. For an odd prime p, the F_p-cohomology ring of the three spaces are isomorphic to each other. The F_2-cohomology ring of Bbeta_{2k} is isomorphic to that of C_k. We show that for all values of k exce…
Nonlocal loss of first homotopy in polyhedral approximations of Peano continua
研究揭示了佩亚诺连续体在多面体近似中第一同调的非局部丢失现象，指出其失败并非局部特性。
We will give a geometric description of the nth transversal homotopy monoid of k-dimensional complex projective space, where we stratify by lower dimensional complex projective spaces in the usual way. Transversal homotopy monoids are defined as classes of based transversal maps into Whitney stratified spaces up to equivalence through such maps. We will show the nth transversal homotopy monoid of k-dimensional complex projective space is isomorphic to isotopy classes of certain filtrations of the n-sphere. The required filtrations are by nested closed subspaces $X_0 \subset ... \subset X_k=S^n…
In this note we show that the second homotopy group of $B(2,G)$, the classifying space for commutativity for a compact Lie group $G$, contains a direct summand isomorphic to $π_1(G)\oplusπ_1([G,G])$, where $[G,G]$ is the commutator subgroup of $G$. It follows from a similar statement for $E(2,G)$, the homotopy fiber of the canonical inclusion $B(2,G)\hookrightarrow BG$. As a consequence of our main result we obtain that if $E(2,G)$ is 2-connected, then $[G,G]$ is simply-connected. This last result completes how the higher connectivity of $E(2,G)$ resembles the higher connectivity of $[G,G]$ fo…
Let $A_1$ be any spectrum in a class of finite spectra whose mod $2$ cohomology is isomorphic to a free module of rank one over the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra. Let $E_{C}$ be the second Morava-$E$ theory associated to a universal deformation of the formal completion of the supersingular elliptic curve $(C) : y^{2}+y = x^{3}$ defined over $\mathbb{F}_{4}$ and $G_{24}$ a maximal finite subgroup of automorphism group $\mathbb{S}_{C}$ of the formal completion of $C$. In this paper, we compute the homotopy groups of $E_{C}^{hG_{24}}\wedge A_1$ by means of the homotopy fixed…
Motivated by ideas from stable homotopy theory we study the space of strongly homotopy associative multiplications on a two-cell chain complex. In the simplest case this moduli space is isomorphic to the set of orbits of a group of invertible power series acting on a certain space. The Hochschild cohomology rings of resulting A-infinity algebras have an interpretation as totally ramified extensions of discrete valuation rings. All A-infinity algebras are supposed to be unital and we give a detailed analysis of unital structures which is of independent interest.
Failure of Ordinary TQFTs to Distinguish Homotopy Type
本文构造反例表明，普通TQFT无法区分某些具有无限π2的单连通闭6维流形，并推广到所有高维及非单连通5维流形，证明普通TQFT在区分同伦型上存在根本局限。
Bott-Chern and Aeppli homotopy
本文针对双单纯集的可纤维类引入 Bott-Chern 和 Aeppli 同伦集，建立其基本性质，并证明与 Bott-Chern 同调群的同构关系。
Homotopy cofinality for Non-Abelian homology of group diagrams
本文证明了同伦余终结函子诱导同伦余极限弱等价，据此确立群图非阿贝尔同调在同伦余终结函子原像及左 Kan 扩张下的不变性，并推广构建了单纯集与预层的非阿贝尔 Gabriel-Zisman 及 Baues-Wirsching 同调理论。
Given a link diagram L we construct spectra X^j(L) so that the Khovanov homology Kh^{i,j}(L) is isomorphic to the (reduced) singular cohomology H^i(X^j(L)). The construction of X^j(L) is combinatorial and explicit. We prove that the homotopy type of X^j(L) depends only on the isotopy class of the corresponding link.
The question of whether a given H-space X is, up to homotopy, a loop space has been studied from a variety of viewpoints. Here we address this question from the aspect of homotopy operations, in the classical sense of operations on homotopy groups. First, we show how an H-space structure on X can be used to define the action of the primary homotopy operations on the shifted homotopy groups π_{*-1} X (which are isomorphic to π_* Y, if X=Ω\Y. This action will behave properly with respect to composition of operations if X is homotopy-associative, and will lift to a topological action of the monoi…
Let $M$ be a subset of vector space or projective space. The authors define the \emph{generalized configuration space} of $M$ which is formed by $n$-tuples of elements of $M$ where any $k$ elements of each $n$-tuple are linearly independent. The \emph{generalized configuration space} gives a generalization of the classical configuration space defined by E.Fadell. Denote the \emph{generalized configuration space} of $M$ by $W_{k,n}(M)$. The authors are mainly interested in the calculation about the homotopy groups of generalized configuration space. This article gives the fundamental groups of …
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra π_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract Pi-algebra can be realized as the homotopy Pi-algebra of a space in the first place. The paper is written for a relatively general "resolution model category", so it also applies, for example, to rational homotopy types.
Let M be a closed, oriented, n-dimensional manifold. In this paper we describe a spectrum in the sense of homotopy theory, Z(T^*M), whose homology is naturally isomorphic to the Floer homology of the cotangent bundle, T^*M. This Floer homology is taken with respect to a Hamiltonian H: S^1 x T^*M --> R, which is quadratic near infinity. Z(T^*M) is constructed assuming a basic smooth gluing result of J-holomorphic cylinders. This spectrum will have a C.W decomposition with one cell for every periodic solution of the equation defined by the Hamiltonian vector field X_H. Its induced cellular chain…
Semi-coarse Spaces, Homotopy and Homology
本文研究半粗空间的代数拓扑，构造同伦等价下不变的同调群，并证明无向图诱导的半粗同调与 Vietoris-Rips 同调同构，导出同伦不变性定理。
In this paper we explore the isotropic stable motivic homotopy category constructed from the usual stable motivic homotopy category, following the work of Vishik on isotropic motives (see [29]), by killing anisotropic varieties. In particular, we focus on cohomology operations in the isotropic realm and study the structure of the isotropic Steenrod algebra. Then, we construct an isotropic version of the motivic Adams spectral sequence and apply it to find a complete description of the isotropic stable homotopy groups of the sphere spectrum, which happen to be isomorphic to the $Ext$-groups of …
Non-Abelian homology and homotopy colimit of classifying spaces for a diagram of groups
本文研究了群图的非阿贝尔同调群，证明了其与类ifying空间图的同调极限的同调群同构，并发展了寻找同调极限最小维数非零同调群的方法。
The equivariant cohomology of a space with a group action is not only a ring but also an algebra over the cohomology ring of the classifying space of the acting group. We prove that toric manifolds (i.e. compact smooth toric varieties) are isomorphic as varieties if and only if their equivariant cohomology algebras are weakly isomorphic. We also prove that quasitoric manifolds, which can be thought of as a topological counterpart to toric manifolds, are equivariantly homeomorphic if and only if their equivariant cohomology algebras are isomorphic.
For a complex projective space the inertia group, the homotopy inertia group and the concordance inertia group are isomorphic. In complex dimension 4n+1, these groups are related to computations in stable cohomotopy. Using stable homotopy theory, we make explicit computations to show that the inertia group is non-trivial in many cases. In complex dimension 9, we deduce some results on geometric structures on homotopy complex projective spaces and complex hyperbolic manifolds.
Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose of this work is to generalize this fact to higher homotopy. For this we introduce the (infinite) category of locally constant stacks on X, and we prove that the loop-space of endomorphisms of its fibre functor at x is naturally equivalent to the loop space of X based at x.
Shape theory works nice for (Hausdorff) paracompact spaces, but for spaces with no separation axioms, it seems to be quite poor. However, for finite and locally finite spaces their weak homotopy type is rather rich, and is equivalent to the weak homotopy type of finite and locally finite polynedra, respectively. In the paper there is proposed a variant of shape theory called quasi-shape, which suits both paracompact and locally finite spaces, i.e. the quas-shape is isomorphic to the weak homotopy type for locally finite spaces, and is \natural-equivalent to the ordinary shape in the case of pa…
We show that the categories PsTop and Lim of pseudotopological spaces and limit spaces, respectively, admit cofibration category structures, and that PsTop admits a model category structure, giving several ways to simultaneously study the homotopy theory of classical topological spaces, combinatorial spaces such as graphs and matroids, and metric spaces endowed with a privileged scale, in addition to spaces of maps between them. In the process, we give a sufficient condition for a topological construct which contains compactly generated Hausdorff spaces as a subcategory to admit an $I$-categor…
Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of which is isomorphic as a graded algebra to the homology of GF, the simplicial (Kan) loop group on F. To construct this model, we develop machinery for modeling the homotopy fiber of a morphism of chain Hopf algebras. Essential to our construction is a generalization of the operadic description of the category DCSH of chain coalgebras and of strongly homotopy c…
For a pointed topological space $X$, we use an inductive construction of a simplicial resolution of $X$ by wedges of spheres to construct a "higher homotopy structure" for $X$ (in terms of chain complexes of spaces). This structure is then used to define a collection of higher homotopy invariants which suffice to recover $X$ up to weak equivalence. It can also be used to distinguish between different maps $f$ from $X$ to $Y$ which induce the same morphism on homotopy groups $f_*$ from $π_* X$ to $π_* Y$.
We provide a cohomological interpretation of the zeroth stable $\mathbb{A}^1$-homotopy group of a smooth curve over an infinite perfect field. We show that this group is isomorphic to the first Nisnevich (or Zariski) cohomology group of a certain sheaf closely related to the first Milnor--Witt $\mathrm{K}$-theory sheaf. This cohomology group can be computed using an explicit Gersten-type complex. We show that if the base field is algebraically closed then the zeroth stable $\mathbb{A}^1$-homotopy group of a smooth curve coincides with the zeroth Suslin homology group that was identified by Sus…
In this paper, we prove that the group of homotopy automorphisms of the profinite completion of the operad of little $2$-disks is isomorphic to the profinite Grothendieck-Teichmüller group. In particular, the absolute Galois group of $\mathbb{Q}$ acts faithfully on the profinite completion of $E_2$ in the homotopy category of profinite weak operads.
We show that if the fundamental groups of the complements of two line arrangements in the complex projective plane are isomorphic to the same direct sum of free groups, then the complements of the arrangements are homotopy equivalent. For any such arrangement, we construct another arrangement that is complexified-real, the intersection lattices of the arrangements are isomorphic, and the complements of the arrangements are diffeomorphic.
Discrete homotopy groups of cubical sets
将图的离散同伦群推广到任意立方体集合，证明拟对称立方体集合的离散同伦群与其几何实现的同伦群自然同构，并给出遗忘函子左伴随的纯组合构造。
As a step towards establishing homotopy-theoretic foundations for topological data analysis (TDA), we introduce and study homotopy interleavings between filtered topological spaces. These are homotopy-invariant analogues of interleavings, objects commonly used in TDA to articulate stability and inference theorems. Intuitively, whereas a strict interleaving between filtered spaces $X$ and $Y$ certifies that $X$ and $Y$ are approximately isomorphic, a homotopy interleaving between $X$ and $Y$ certifies that $X$ and $Y$ are approximately weakly equivalent. The main results of this paper are that …
We show that the $C_2$-equivariant and $\mathbb{R}$-motivic stable homotopy groups are isomorphic in a range. This result supersedes previous work of Dugger and the third author.
The Face Group of a Simplicial Complex
本文为单纯复形定义了边群的对应物——面群，作为第二同伦群的组合版本，并证明该群是阿贝尔群且与空间实现的拓扑第二同伦群同构。
On homotopy elements represented by quotients of Lie groups
本文研究了由李群商表示的同伦元素，并将其添加到现有表格中。
Let $M$ be a covariant coefficient system for a finite group $G$. In this paper we analyze several topological abelian groups, some of them new, whose homotopy groups are isomorphic to the Bredon-Illman $G$-equivariant homology theory with coefficients in $M$. We call these groups equivariant Dold-Thom topological groups and we show that they are unique up to homotopy. We use one of the new groups to prove that the Bredon-Illman homology satisfies the infinite-wedge axiom and to make some calculations of the 0th equivariant homology.
We present a slight variation on a notion of weak \infty-groupoid introduced by Grothendieck in Pursuing Stacks and we study the homotopy theory of these \infty-groupoids. We prove that the obvious definition for homotopy groups of Grothendieck \infty-groupoids does not depend on any choice. This allows us to give equivalent characterizations of weak equivalences of Grothendieck \infty-groupoids, generalizing a well-known result for strict \infty-groupoids. On the other hand, given a model category M in which every object is fibrant, we construct, following Grothendieck, a fundamental \infty-g…
In this paper we show that most rank two groups act freely on a finite homotopy product of two spheres. This makes new progress on a conjecture by Benson and Carlson which states that a finite group G acts freely on a finite complex with the homotopy type of n spheres if the rank of G is less than or equal to n. Recalling that Qd(p) is the semidirect product of a rank two elementary abelian p-group with SL(2,p), we show that a rank two finite group acts freely on a finite CW-complex homotopic to the product of two spheres if, it does not contain any subquotient isomorphic to Qd(p) for any odd …
We show that the homotopy groups of a connective $E_k$-ring spectrum with an $E_k$-cell attached along a class $α$ in degree $n$ are isomorphic to the homotopy groups of the cofiber of the self-map associated to $α$ through degree $2n$. Using this, we prove that the $2n-1^{st}$ homotopy groups of Ravenel's $X(n)$ spectra are cyclic for all $n$. This further implies that, after localizing at a prime, $X(n+1)$ is homotopically unique as the $E_1$-$X(n)$-algebra with homotopy groups in degree $2n-1$ killed by an $E_1$-cell. Lastly, we prove analogous theorems for a sequence of $E_k$-ring Thom spe…
If a finite group $G$ is isomorphic to a subgroup of $SO(3)$, then $G$ has the D2-property. Let $X$ be a finite complex satisfying Wall's D2-conditions. If $π_1(X)=G$ is finite, and $χ(X) \geq 1-Def(G)$, then $X \vee S^2$ is simple homotopy equivalent to a finite $2$-complex, whose simple homotopy type depends only on $G$ and $χ(X)$.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。