On loop spaces with marking

Ryo Horiuchi

DOI: https://doi.org/10.48550/arXiv.2104.11860

2021-04-24

Algebraic Topology

Abstract:An analogous construction of simplicial homotopy group for Kan complex can be applied to saturated complicial sets to give monoids. In this paper, we investigate how the construction of loop spaces of Kan complexes lifts to the complicial setting and relates to such monoids.

What problem does this paper attempt to address?

Group completions and the homotopical monadicity theorem

Hana Jia Kong,J. Peter May,Foling Zou

2024-02-06

Abstract:We abstract and generalize homotopical monadicity statements, placing in a single conceptual framework a range of old and recent recognition and characterization principles in iterated loop space theory in classical, equivariant, and multiplicative frameworks. Some of the examples are new and some are old, but all are illuminated by the coherent framework, which we feel certain will encompass examples not yet thought of.

Algebraic Topology,Category Theory
Loop spaces of polyhedral products associated with the polyhedral join product

Briony Eldridge

2024-10-26

Abstract:We give a homotopy equivalence for the loop space of the moment-angle complex associated with a simplicial complex formed by the polyhedral join operation, and give necessary conditions for this loop space to be a finite type product of spheres and loops on spheres.

Algebraic Topology
Loop space and holomorphic disc -summary

Kenji Fukaya

2007-01-01

Abstract:We explain an application ofL ∞ structure on the homology of free loop space and of the moduli space of pseudo-holomorphic disc, to symplectic topology of Lagrangian submanifold. Our result was anounced in (5) before. We present some more detail on the following two points : (1). The way to use homotopy theory ofL ∞ algebra : (2). The construction ofL ∞ structure on the homology of free loop space. (2) uses "correspondence parametrized by an operad" which was
Infinite loop spaces associated to affine Kac-Moody groups

Lin Xianzu

DOI: https://doi.org/10.48550/arXiv.1012.5331

2011-04-13

Abstract:It is well known that to each infinite class of classical groups over a commutative ring $R$, we can associate an infinite loop space by Quillen's plus construction. In this paper we generalize this fact to the case of affine Kac-Moody groups.

Algebraic Topology
The geometric realization of regular path complexes via (co-)homology

Fang Li,Bin Yu

2018-01-01

Abstract:The aim of this paper is to give the geometric realization of regular path complexes via (co)homology groups with coefficients in a ring R. Concretely, for each regular path complex P, we associate it with a singular Δ-complex S(P) and show that the (co)homology groups of P are isomorphic to those of S(P) with coefficients in R. As a direct result we recognize path (co)homology as Hochschild (co)homology in case that R is commutative and P regular finite. Analogues of the Eilenberg-Zilber theorem and Künneth formula are also showed for the Cartesian product and the join of two regular path complexes. In fact, we meanwhile improve some previous results which are covered by these conclusions in this paper.
On the relation between continuous and combinatorial

F. Marmolejo,M. Menni

DOI: https://doi.org/10.48550/arXiv.1602.02826

2016-02-09

Abstract:Axiomatic Cohesion proposes that the contrast between cohesion and non-cohesion may be expressed by means of a geometric morphism $p :\mathcal{E} \to \mathcal {S}$ (between toposes) with certain special properties that allow to effectively use the intuition that the objects of $\mathcal{E}$ are `spaces' and those of $\mathcal{S}$ are `sets'. Such geometric morphisms are called (pre-)cohesive. We may also say that $\mathcal{E}$ is pre-cohesive (over $\mathcal{S}$). In this case, the topos $\mathcal{E}$ determines an $\mathcal{S}$-enriched `homotopy' category. The purpose of the present paper is to study certain aspects of this homotopy theory. We introduce weakly Kan objects in a pre-cohesive topos, which are analogous to Kan complexes in the topos of simplicial sets. Also, given a geometric morphism $g:\mathcal{F} \to\mathcal{E}$ between pre-cohesive toposes $\mathcal{F}$ and $\mathcal{E}$ (over the same base), we define what it means for $g$ to preserve pieces. We prove that if $g$ preserves pieces then it induces an adjunction between the homotopy categories determined by $\mathcal{F}$ and $\mathcal{E}$, and that the direct image $g_*:\mathcal{F}\to \mathcal{E}$ preserves weakly Kan objects. These and other results support the intuition that the inverse image of $g$ is `geometric realization'. In particular, since Kan complexes are weakly Kan in the pre-cohesive topos of simplicial sets, the result relating $g$ and weakly Kan objects is analogous to the fact that the singular complex of a space is a Kan complex.

Category Theory
Homotopy Limits and Homotopy Colimits of Chain Complexes

Kensuke Arakawa

2023-09-30

Abstract:We prove that the homotopy limits and homotopy colimits of chain complexes can be computed by the cobar and bar constructions. We also show that the totalizations of double complexes compute the homotopy limits and homotopy colimits of simplicial and cosimplicial chain complexes.

Algebraic Topology,Category Theory
On the graph products of simplicial groups and connected Hopf algebras

Li Cai

DOI: https://doi.org/10.1016/j.jalgebra.2024.02.019

IF: 0.908

2024-02-01

Journal of Algebra

Abstract:In this paper we study the classifying spaces of graph products of simplicial groups and connected Hopf algebras over a field, and show that they can be uniformly treated under the framework of polyhedral products. It turns out that these graph products are models of the loop spaces of polyhedral products over a flag complex and their homology, respectively. Certain morphisms between graph products are also considered. In the end we prove the structure theorems of such graph products in the form we need.

mathematics
Cyclic homology of categorical coalgebras and the free loop space

Manuel Rivera,Daniel Tolosa

2024-03-16

Abstract:We prove that the cyclic chain complex of the categorical coalgebra of singular chains on an arbitrary topological space $X$ is naturally quasi-isomorphic to the $S^1$-equivariant chains of the free loop space of $X$. This statement does not require any hypotheses on $X$ or on the commutative ring of coefficients. Along the way, we introduce a family of polytopes, coined as Goodwillie polytopes, that controls the combinatorics behind the relationship of the coHochschild complex of a categorical coalgebra and the Hochschild complex of its associated differential graded category.

Algebraic Topology,Quantum Algebra
Denotational semantics driven simplicial homology?

Davide Barbarossa

2024-09-18

Abstract:We look at the proofs of a fragment of Linear Logic as a whole: in fact, Linear Logic's coherent semantics interprets the proofs of a given formula $A$ as faces of an abstract simplicial complex, thus allowing us to see the set of the (interpretations of the) proofs of $A$ as a geometrical space, not just a set. This point of view has never been really investigated. For a ``webbed'' denotational semantics -- say the relational one --, it suffices to down-close the set of (the interpretations of the) proofs of $A$ in order to give rise to an abstract simplicial complex whose faces do correspond to proofs of $A$. Since this space comes triangulated by construction, a natural geometrical property to consider is its homology. However, we immediately stumble on a problem: if we want the homology to be invariant w.r.t. to some notion of type-isomorphism, we are naturally led to consider the homology functor acting, at the level of morphisms, on ``simplicial relations'' rather than simplicial maps as one does in topology. The task of defining the homology functor on this modified category can be achieved by considering a very simple monad, which is almost the same as the power-set monad; but, doing so, we end up considering not anymore the homology of the original space, but rather of its transformation under the action of the monad. Does this transformation keep the homology invariant ? Is this transformation meaningful from a geometrical or logical/computational point of view ?

Logic in Computer Science,Logic
Hochschild and cyclic Homologies with bounded poles

Masaya Sato

2024-01-05

Abstract:We show that the classical Hochschild homology and (periodic and negative) cyclic homology groups are representable in the category of motives with modulus. We do this by constructing Hochschild homology and (periodic and negative) cyclic homologies for modulus pairs. We show a modulus version of HKR theorem, that is, there exists an isomorphism between modulus Hochschild homology and modulus Kähler differentials for affine normal crossing modulus pairs. By using the representability of modulus Hodge sheaves in the category of motives with modulus, we construct an object of the category of motives with modulus which represents modulus Hochschild homology. Similarly, We compare modulus de Rham cohomology and modulus cyclic homologies and obtain a representability of modulus cyclic homologies.

Algebraic Geometry,K-Theory and Homology
On the local Kan structure and differentiation of simplicial manifolds

Florian Dorsch

2024-11-11

Abstract:We prove that arbitrary simplicial manifolds satisfy Kan conditions in a suitable local sense. This allows us to expand a technique for differentiating higher Lie groupoids worked out in current research to the setting of general simplicial manifolds. Consequently, we derive a method to differentiate simplicial manifolds into higher Lie algebroids.

Differential Geometry
Sheaves of Higher Categories on Generalised Spaces

Severin Bunk

2023-10-13

Abstract:We study the homotopy right Kan extension of homotopy sheaves on a category to its free cocompletion, i.e. to its category of presheaves. Any pretopology on the original category induces a canonical pretopology of generalised coverings on the free cocompletion. We show that with respect to these pretopologies the homotopy right Kan extension along the Yoneda embedding preserves homotopy sheaves valued in (sufficiently nice) simplicial model categories. Moreover, we show that this induces an equivalence between sheaves of spaces on the original category and colimit-preserving sheaves of spaces on its free cocompletion. We present three applications in geometry and topology: first, we prove that diffeological vector bundles descend along subductions of diffeological spaces. Second, we deduce that various flavours of bundle gerbes with connection satisfy $(\infty,2)$-categorical descent. Finally, we investigate smooth diffeomorphism actions in smooth bordism-type field theories on a manifold. We show how these smooth actions allow us to extract the values of a field theory on any object coherently from its values on generating objects of the bordism category.

Algebraic Topology,Mathematical Physics,Algebraic Geometry,Differential Geometry
The Homotopy Category and Derived Category of N-complexes

Xiaoyan Yang,Nanqing Ding

DOI: https://doi.org/10.1016/j.jalgebra.2014.10.053

IF: 0.908

2015-01-01

Journal of Algebra

Abstract:In this paper complexes with N -nilpotent differentials are considered. We describe the loop functor Ω and the suspension functor Σ in the category C N ( A ) of N -complexes on an abelian category A to provide an effective construction of left and right triangles in the homotopy category K N ( A ) of N -complexes, and prove that K N ( A ) together with the functors Ω , Σ and the classes of left and right triangles mentioned above is a pretriangulated category. We also investigate different homologies and get another example of pretriangulated categories, i.e., the derived category D N ( A ) of N -complexes. Some basic properties are given.
Finite group actions on Kan complexes

Goutam Mukherjee,Swagata Sarkar,Debasis Sen

DOI: https://doi.org/10.48550/arXiv.1308.3092

2013-08-14

Algebraic Topology

Abstract:We study simplicial action of groups on one vertex Kan complexes. We show that every semi-direct product of the fundamental group of an one vertex Kan complex with a finite group can be simplicially realized. We also calculate the cohomology of the fixed point set of a finite $p-$group action on an one vertex aspherical Kan complex.
Moment-angle Complexes from Simplicial Posets

Zhi Lü,Taras Panov

DOI: https://doi.org/10.2478/s11533-011-0041-z

2011-01-01

Open Mathematics

Abstract:We extend the construction of moment-angle complexes to simplicial posets by associating a certain Tm-space ZS to an arbitrary simplicial poset S on m vertices. Face rings ℤ[S] of simplicial posets generalise those of simplicial complexes, and give rise to new classes of Gorenstein and Cohen-Macaulay rings. Our primary motivation is to study the face rings ℤ[S] by topological methods. The space ZS has many important topological properties of the original moment-angle complex ZK associated to a simplicial complex K. In particular, we prove that the integral cohomology algebra of ZS is isomorphic to the Tor-algebra of the face ring ℤ[S]. This leads directly to a generalisation of Hochster’s theorem, expressing the algebraic Betti numbers of the ring ℤ[S] in terms of the homology of full subposets in S. Finally, we estimate the total amount of homology of ZS from below by proving the toral rank conjecture for the moment-angle complexes ZS.
Classifying Space via Homotopy Coherent Nerve

Kensuke Arakawa

DOI: https://doi.org/10.4310/HHA.2023.v25.n2.a16

2023-12-01

Abstract:We prove that the classifying space of a simplicial group is modeled by its homotopy coherent nerve.

Algebraic Topology
Loop space decompositions of moment-angle complexes associated to two dimensional simplicial complexes

Lewis Stanton

2024-07-15

Abstract:We show that the loop space of a moment-angle complex associated to a $2$-dimensional simplicial complex decomposes as a finite type product of spheres, loops on spheres, and certain indecomposable spaces which appear in the loop space decomposition of Moore spaces. We also give conditions on certain subcomplexes under which, localised away from sufficiently many primes, the loop space of a moment-angle complex decomposes as a finite type product of spheres and loops on spheres.

Algebraic Topology
Homology of loops on a splitting-rank symmetric space via the Geometric Satake for real groups

John O'Brien

2024-09-06

Abstract:Using Nadler's Geometric Satake Equivalence for real reductive groups, we obtain a description of the equivariant homology of the loop space of splitting-rank symmetric spaces in terms of the relative dual group of the space. The description is in line with Yun and Zhu's calculation for the loop space of a compact Lie group. The formula hints at a relative duality for these spaces.

Representation Theory,Algebraic Geometry,Number Theory
Kan Extensions are Partial Colimits

Paolo Perrone,Walter Tholen

DOI: https://doi.org/10.1007/s10485-021-09671-9

2022-01-31

Applied Categorical Structures

Abstract:Abstract One way of interpreting a left Kan extension is as taking a kind of “partial colimit”, whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the partial evaluations sitting in the so-called bar construction of monads. The (pseudo)monads of interest for forming colimits are the monad of diagrams and the monad of small presheaves, both on the (huge) category CAT of locally small categories. Throughout, particular care is taken to handle size issues, which are notoriously delicate in the context of free cocompletion. We spell out, with all 2-dimensional details, the structure maps of these pseudomonads. Then, based on a detailed general proof of how the restriction-of-scalars construction of monads extends to the case of pseudoalgebras over pseudomonads, we consider a morphism of monads between them, which we call image . This morphism allows in particular to generalize the idea of confinal functors , i.e. of functors which leave colimits invariant in an absolute way. This generalization includes the concept of absolute colimit as a special case. The main result of this paper spells out how a pointwise left Kan extension of a diagram corresponds precisely to a partial evaluation of its colimit. This categorical result is analogous to what happens in the case of probability monads, where a conditional expectation of a random variable corresponds to a partial evaluation of its center of mass.

mathematics

On loop spaces with marking

Group completions and the homotopical monadicity theorem

Loop spaces of polyhedral products associated with the polyhedral join product

Loop space and holomorphic disc -summary

Infinite loop spaces associated to affine Kac-Moody groups

The geometric realization of regular path complexes via (co-)homology

On the relation between continuous and combinatorial

Homotopy Limits and Homotopy Colimits of Chain Complexes

On the graph products of simplicial groups and connected Hopf algebras

Cyclic homology of categorical coalgebras and the free loop space

Denotational semantics driven simplicial homology?

Hochschild and cyclic Homologies with bounded poles

On the local Kan structure and differentiation of simplicial manifolds

Sheaves of Higher Categories on Generalised Spaces

The Homotopy Category and Derived Category of N-complexes

Finite group actions on Kan complexes

Moment-angle Complexes from Simplicial Posets

Classifying Space via Homotopy Coherent Nerve

Loop space decompositions of moment-angle complexes associated to two dimensional simplicial complexes

Homology of loops on a splitting-rank symmetric space via the Geometric Satake for real groups

Kan Extensions are Partial Colimits