We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological space determines the homotopy type rationally and one prime at a time, without imposing any restriction on the fundamental group. In particular, the fundamental group and the homology groups with coefficients in arbitrary local systems of vector spaces are completely determined by the natural algebraic structure of the chains. The algebraic structure is presented as the class of the simplicial cocommutative coalgebra of chains under a notion of weak equivalence induced by a functor from coalgebras to algebras coined by Adams as the cobar construction. The fundamental group is determined by a quadratic equation on the zeroth homology of the cobar construction of the normalized chains which involves Steenrod's chain homotopies for cocommutativity of the coproduct. The homology groups with local coefficients are modeled by an algebraic analog of the universal cover which is invariant under our notion of weak equivalence. We conjecture that the integral homotopy type is also determined by the simplicial coalgebra of integral chains, which we prove when the universal cover is of finite type.
{"title":"The simplicial coalgebra of chains determines homotopy types rationally and one prime at a time","authors":"M. Rivera, Felix Wierstra, M. Zeinalian","doi":"10.1090/tran/8579","DOIUrl":"https://doi.org/10.1090/tran/8579","url":null,"abstract":"We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological space determines the homotopy type rationally and one prime at a time, without imposing any restriction on the fundamental group. In particular, the fundamental group and the homology groups with coefficients in arbitrary local systems of vector spaces are completely determined by the natural algebraic structure of the chains. The algebraic structure is presented as the class of the simplicial cocommutative coalgebra of chains under a notion of weak equivalence induced by a functor from coalgebras to algebras coined by Adams as the cobar construction. The fundamental group is determined by a quadratic equation on the zeroth homology of the cobar construction of the normalized chains which involves Steenrod's chain homotopies for cocommutativity of the coproduct. The homology groups with local coefficients are modeled by an algebraic analog of the universal cover which is invariant under our notion of weak equivalence. We conjecture that the integral homotopy type is also determined by the simplicial coalgebra of integral chains, which we prove when the universal cover is of finite type.","PeriodicalId":8433,"journal":{"name":"arXiv: Algebraic Topology","volume":"79 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79733016","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The present note surveys my research related to generalizing notions of abelian group theory to non-commutative case and applying them particularly to investigate fundamental groups.
本笔记概述了我的研究,将阿贝尔群论的概念推广到非交换情况,并将它们特别应用于研究基本群。
{"title":"From uncountable abelian groups to uncountable nonabelian groups","authors":"K. Eda","doi":"10.4171/rsmup/59","DOIUrl":"https://doi.org/10.4171/rsmup/59","url":null,"abstract":"The present note surveys my research related to generalizing notions of abelian group theory to non-commutative case and applying them particularly to investigate fundamental groups.","PeriodicalId":8433,"journal":{"name":"arXiv: Algebraic Topology","volume":"457 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77404244","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper we study manifolds $M_{Sigma}$ with fibered singularities, more specifically, a relevant space $Riem^{psc}(X_{Sigma})$ of Riemannian metrics with positive scalar curvature. Our main goal is to prove that the space $Riem^{psc}(X_{Sigma})$ is homotopy invariant under certain surgeries on $M_{Sigma}$.
{"title":"Homotopy Invariance of the Space of Metrics with Positive Scalar Curvature on Manifolds with Singularities","authors":"B. Botvinnik, M. Walsh","doi":"10.3842/SIGMA.2021.034","DOIUrl":"https://doi.org/10.3842/SIGMA.2021.034","url":null,"abstract":"In this paper we study manifolds $M_{Sigma}$ with fibered singularities, more specifically, a relevant space $Riem^{psc}(X_{Sigma})$ of Riemannian metrics with positive scalar curvature. Our main goal is to prove that the space $Riem^{psc}(X_{Sigma})$ is homotopy invariant under certain surgeries on $M_{Sigma}$.","PeriodicalId":8433,"journal":{"name":"arXiv: Algebraic Topology","volume":"53 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81213974","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Banagl's method of intersection spaces allows to modify certain types of stratified pseudomanifolds near the singular set in such a way that the rational Betti numbers of the modified spaces satisfy generalized Poincare duality in analogy with Goresky-MacPherson's intersection homology. In the case of one isolated singularity, we show that the duality isomorphism comes from a nondegenerate intersection pairing which depends on the choice of a chain representative of the fundamental class of the regular stratum. On the technical side, we use piecewise linear polynomial differential forms due to Sullivan to define a suitable commutative cochain algebra model for intersection spaces. Our construction parallels Banagl's commutative cochain algebra of smooth differential forms modeling intersection space cohomology, and we show that both algebras are weakly equivalent.
{"title":"On the rational homotopy type of intersection spaces","authors":"Dominik J. Wrazidlo","doi":"10.5427/jsing.2020.20k","DOIUrl":"https://doi.org/10.5427/jsing.2020.20k","url":null,"abstract":"Banagl's method of intersection spaces allows to modify certain types of stratified pseudomanifolds near the singular set in such a way that the rational Betti numbers of the modified spaces satisfy generalized Poincare duality in analogy with Goresky-MacPherson's intersection homology. In the case of one isolated singularity, we show that the duality isomorphism comes from a nondegenerate intersection pairing which depends on the choice of a chain representative of the fundamental class of the regular stratum. On the technical side, we use piecewise linear polynomial differential forms due to Sullivan to define a suitable commutative cochain algebra model for intersection spaces. Our construction parallels Banagl's commutative cochain algebra of smooth differential forms modeling intersection space cohomology, and we show that both algebras are weakly equivalent.","PeriodicalId":8433,"journal":{"name":"arXiv: Algebraic Topology","volume":"54 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77626385","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper is a survey of persistent homology, primarily as it is used in topological data analysis. It includes the theory of persistence modules, as well as stability theorems for persistence barcodes, generalized persistence, vectorization of persistence barcodes, as well as some applications.
{"title":"Persistent homology and applied homotopy theory","authors":"G. Carlsson","doi":"10.1201/9781351251624-8","DOIUrl":"https://doi.org/10.1201/9781351251624-8","url":null,"abstract":"This paper is a survey of persistent homology, primarily as it is used in topological data analysis. It includes the theory of persistence modules, as well as stability theorems for persistence barcodes, generalized persistence, vectorization of persistence barcodes, as well as some applications.","PeriodicalId":8433,"journal":{"name":"arXiv: Algebraic Topology","volume":"10 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79514221","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Estimate of number of simplices of triangulations of Lie groups.","authors":"H. Duan, W. Marzantowicz, Xuan Zhao","doi":"10.1016/2020.107559","DOIUrl":"https://doi.org/10.1016/2020.107559","url":null,"abstract":"","PeriodicalId":8433,"journal":{"name":"arXiv: Algebraic Topology","volume":"13 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75146970","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We show that the Connes-Consani semi-norm on singular homology with real coefficients, defined via s-modules, coincides with the ordinary $ell^1$-semi-norm on singular homology in all dimensions.
{"title":"Simplicial volume via normalised cycles","authors":"C. Loeh, M. Moraschini","doi":"10.1090/proc/15201","DOIUrl":"https://doi.org/10.1090/proc/15201","url":null,"abstract":"We show that the Connes-Consani semi-norm on singular homology with real coefficients, defined via s-modules, coincides with the ordinary $ell^1$-semi-norm on singular homology in all dimensions.","PeriodicalId":8433,"journal":{"name":"arXiv: Algebraic Topology","volume":"9 2 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82583371","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian closed category of locally stratified spaces that admits an adjunction with the category of simplicial sets. Moreover, we show that the full subcategory spanned by locally stratified spaces whose associated simplicial set is an ∞-category has the structure of a category with fibrant objects. We define the fundamental category of a locally stratified space and show that the canonical functor θ_A from the fundamental category of a simplicial set A to the fundamental category of its realisation is essentially surjective. We show that the functor θ_A sends split monomorphisms to isomorphisms, in particular we show that θ_A is not necessarily an equivalence of categories. On the other hand, we show that the fundamental category of the realisation of the simplicial circle is equivalent to the monoid of the natural numbers. To conclude, we define left covers of locally stratified spaces and we show that, under suitable assumptions, the category of representations of the fundamental category of a simplicial set is equivalent to the category of left covers over its realisation.
{"title":"A convenient category of locally stratified spaces","authors":"S. Nicotra","doi":"10.17638/03078614","DOIUrl":"https://doi.org/10.17638/03078614","url":null,"abstract":"In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian closed category of locally stratified spaces that admits an adjunction with the category of simplicial sets. Moreover, we show that the full subcategory spanned by locally stratified spaces whose associated simplicial set is an ∞-category has the structure of a category with fibrant objects. We define the fundamental category of a locally stratified space and show that the canonical functor θ_A from the fundamental category of a simplicial set A to the fundamental category of its realisation is essentially surjective. We show that the functor θ_A sends split monomorphisms to isomorphisms, in particular we show that θ_A is not necessarily an equivalence of categories. On the other hand, we show that the fundamental category of the realisation of the simplicial circle is equivalent to the monoid of the natural numbers. To conclude, we define left covers of locally stratified spaces and we show that, under suitable assumptions, the category of representations of the fundamental category of a simplicial set is equivalent to the category of left covers over its realisation.","PeriodicalId":8433,"journal":{"name":"arXiv: Algebraic Topology","volume":"47 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72833849","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-02-02DOI: 10.1016/J.JPAA.2021.106865
L. Maxim, J. Rodriguez, Botong Wang
{"title":"A Morse theoretic approach to non-isolated singularities and applications to optimization","authors":"L. Maxim, J. Rodriguez, Botong Wang","doi":"10.1016/J.JPAA.2021.106865","DOIUrl":"https://doi.org/10.1016/J.JPAA.2021.106865","url":null,"abstract":"","PeriodicalId":8433,"journal":{"name":"arXiv: Algebraic Topology","volume":"64 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85276573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-01-23DOI: 10.4310/cntp.2020.v14.n1.a2
Imma G'alvez-Carrillo, R. Kaufmann, A. Tonks
We consider three a priori totally different setups for Hopf algebras from number theory, mathematical physics and algebraic topology. These are the Hopf algebra of Goncharov for multiple zeta values, that of Connes-Kreimer for renormalization, and a Hopf algebra constructed by Baues to study double loop spaces. We show that these examples can be successively unified by considering simplicial objects, co-operads with multiplication and Feynman categories at the ultimate level. These considerations open the door to new constructions and reinterpretations of known constructions in a large common framework which is presented step-by-step with examples throughout. In this second part of two papers, we give the general categorical formulation.
{"title":"Three Hopf algebras from number theory, physics & topology, and their common background II: general categorical formulation","authors":"Imma G'alvez-Carrillo, R. Kaufmann, A. Tonks","doi":"10.4310/cntp.2020.v14.n1.a2","DOIUrl":"https://doi.org/10.4310/cntp.2020.v14.n1.a2","url":null,"abstract":"We consider three a priori totally different setups for Hopf algebras from number theory, mathematical physics and algebraic topology. These are the Hopf algebra of Goncharov for multiple zeta values, that of Connes-Kreimer for renormalization, and a Hopf algebra constructed by Baues to study double loop spaces. We show that these examples can be successively unified by considering simplicial objects, co-operads with multiplication and Feynman categories at the ultimate level. These considerations open the door to new constructions and reinterpretations of known constructions in a large common framework which is presented step-by-step with examples throughout. In this second part of two papers, we give the general categorical formulation.","PeriodicalId":8433,"journal":{"name":"arXiv: Algebraic Topology","volume":"11 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81985586","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}