Kan subdivision and products of simplicial sets

Vegard Fjellbo,John Rognes

DOI: https://doi.org/10.1090/s0002-9947-2014-06500-8

IF: 1.3529

2014-12-11

Transactions of the American Mathematical Society

Abstract:The canonical map from the Kan subdivision of a product of finite simplicial sets to the product of the Kan subdivisions is a simple map, in the sense that its geometric realization has contractible point inverses.

mathematics

What problem does this paper attempt to address?

A constructive account of the Kan-Quillen model structure and of Kan's Ex$^{\infty}$ functor

Simon Henry

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

2019-05-15

Category Theory

Abstract:We give a fully constructive proof that there is a proper cartesian $\omega$-combinatorial model structure on the category of simplicial sets, whose generating cofibrations and trivial cofibrations are the usual boundary inclusion and horn inclusion. The main difference with classical mathematics is that constructively not all monomorphisms are cofibrations (only those satisfying some decidability conditions) and not every object is cofibrant. The proof relies on three main ingredients: First, our construction of a weak model categories on simplicial sets, then the interplay with the semi-simplicial versions of this weak model structure and finally, the use of Kan Ex$^{\infty}$-functor, and more precisely of S.Moss' direct proof that the natural map $X \rightarrow $ Ex$^{\infty} X$ is an anodyne morphism, which we show is constructive when $X$ is cofibrant.
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.
Nonabelian Dold-Kan Decompositions for Simplicial and Symmetric-Simplicial Groups

Eric R. Antokoletz

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

2010-12-06

Algebraic Topology

Abstract:We extend the nonabelian Dold-Kan decomposition for simplicial groups of Carrasco and Cegarra in two ways. First, we show that the total order of the subgroups in their decomposition belongs to a family of total orders all giving rise to Dold-Kan decompositions. We exhibit a particular partial order such that the family is characterized as consisting of all total orders extending the partial order. Second, we consider symmetric-simplicial groups and show that, by using a specially chosen presentation of the category of symmetric-simplicial operators, new Dold-Kan decompositions exist which are algebraically much simpler than those of Carrasco and Cegarra in the sense that the commutator of two component subgroups lies in a single component subgroup.
Kan Replacement of Simplicial Manifolds

Chenchang Zhu

DOI: https://doi.org/10.1007/s11005-009-0353-0

2009-09-26

Letters in Mathematical Physics

Abstract:We establish a functor Kan from local Kan simplicial manifolds to weak Kan simplicial manifolds. It gives a solution to the problem of extending local Lie groupoids to Lie 2-groupoids.

physics, mathematical
Effective Kan fibrations in simplicial sets

Benno van den Berg,Eric Faber

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

2020-09-26

Category Theory

Abstract:We introduce the notion of an effective Kan fibration, a new mathematical structure that can be used to study simplicial homotopy theory. Our main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective Kan fibrations are maps of simplicial sets equipped with a structured collection of chosen lifts that satisfy certain non-trivial properties. This contrasts with the ordinary, unstructured notion of a Kan fibration. We show that fundamental properties of Kan fibrations can be extended to explicit constructions on effective Kan fibrations. In particular, we give a constructive (explicit) proof showing that effective Kan fibrations are stable under push forward, or fibred exponentials. This is known to be impossible for ordinary Kan fibrations. We further show that effective Kan fibrations are local, or completely determined by their fibres above representables. We also give an (ineffective) proof saying that the maps which can be equipped with the structure of an effective Kan fibration are precisely the ordinary Kan fibrations. Hence implicitly, both notions still describe the same homotopy theory. By showing that the effective Kan fibrations combine all these properties, we solve an open problem in homotopy type theory. In this way our work provides a first step in giving a constructive account of Voevodsky's model of univalent type theory in simplicial sets.
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.
On Simplicial Principal Bundles in Descent Categories

Jesse Wolfson

2024-08-19

Abstract:Simplicial objects $\mathsf{sC}$ in descent categories $\mathsf{C}$, as introduced by Behrend and Getzler, provide a context in which to study higher stacks. In this note, we extend the construction of the canonical cocycle of a smooth principal $G$-bundle to the context of principal $G$-bundles in $\mathsf{sC}_{/X}$. As an application, we show how this specializes to $\mathsf{C}=\mathsf{Sets}$ to give a streamlined construction of $k$-invariants of reduced Kan complexes. We adapt this to give a similarly streamlined construction of minimal Kan complexes, with the goal of clarifying the role of the axiom of choice; Postnikov towers of minimal Kan complexes provide examples of towers of simplicial principal bundles of the type we consider.

Algebraic Topology
Univalent completion

Benno van den Berg,Ieke Moerdijk

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

2015-08-17

Abstract:We review the concept of a univalent fibration and show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration.

Category Theory,Algebraic Topology,Logic
Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence

Hossein Faridian

2024-05-03

Abstract:This expository article sets forth a self-contained and purely algebraic proof of a deep result of Quillen stating that the category of simplicial commutative algebras over a commutative ring is a model category. This is accomplished by starting from the model structure on the category of connective chain complexes, transferring it to the category of simplicial modules via Dold-Kan Correspondence, and further transferring it to the category of simplicial commutative algebras through Quillen-Kan Transfer Machine. The subtlety of overcoming the acyclicity condition is addressed by introducing and studying the shuffle product of connective chain complexes, establishing a variant of Eilenberg-Zilber Theorem, and carefully scrutinizing the subtle structures under study.

Category Theory
Free decomposition spaces

Philip Hackney,Joachim Kock

2024-05-26

Abstract:We introduce the notion of free decomposition spaces: they are simplicial spaces freely generated by their inert maps. We show that left Kan extension along the inclusion $j \colon \Delta_{\operatorname{inert}} \to \Delta$ takes general objects to Möbius decomposition spaces and general maps to CULF maps. We establish an equivalence of $\infty$-categories $\mathbf{PrSh}(\Delta_{\operatorname{inert}}) \simeq \mathbf{Decomp}_{/B\mathbb{N}}$. Although free decomposition spaces are rather simple objects, they abound in combinatorics: it seems that all comultiplications of deconcatenation type arise from free decomposition spaces. We give an extensive list of examples, including quasi-symmetric functions.

Category Theory,Algebraic Topology,Combinatorics
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
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
A categorified Dold-Kan correspondence

Tobias Dyckerhoff

DOI: https://doi.org/10.1007/s00029-021-00618-5

2021-03-03

Selecta Mathematica

Abstract:Abstract In this work, we establish a categorification of the classical Dold-Kan correspondence in the form of an equivalence between suitably defined $$\infty $$ ∞ -categories of simplicial stable $$\infty $$ ∞ -categories and connective chain complexes of stable $$\infty $$ ∞ -categories. The result may be regarded as a contribution to the foundations of an emerging subject that could be termed categorified homological algebra.

mathematics, applied
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
André-Quillen Cohomology and $k$-invariants of simplicial categories

David Blanc,Nicholas Meadows

2024-05-01

Abstract:Using the Harpaz-Nuiten-Prasma interpretation of the Dwyer-Kan-Smith cohomology of a simplicial category $\mathcal{X}$, we obtain a cochain complex for the André-Quillen cohomology groups in which the $k$-invariants for $\mathcal{X}$ take value. Given a map of simplicial categories $\phi:\mathcal{Y}\rightarrow P^{(n-1)} \mathcal{X}$ into a Postnikov section of $\mathcal{X}$, we use a homotopy colimit decomposition of $\mathcal{Y}$ to study the obstruction to lifting $\phi$ to $P^{(n)}\mathcal{X}$. In particular, an explicit description of this obstruction for the boundary of a cube can be used to recover various higher homotopy invariants of $\mathcal{X}$.

Algebraic Topology,Category Theory
Polyhedral products over finite posets

Daisuke Kishimoto,Ran Levi

DOI: https://doi.org/10.1215/21562261-2022-0020

2024-06-29

Abstract:Polyhedral products were defined by Bahri, Bendersky, Cohen and Gitler, to be spaces obtained as unions of certain product spaces indexed by the simplices of an abstract simplicial complex. In this paper we give a very general homotopy theoretic construction of polyhedral products over arbitrary pointed posets. We show that under certain restrictions on the poset $\calp$, that include all known cases, the cohomology of the resulting spaces can be computed as an inverse limit over $\calp$ of the cohomology of the building blocks. This motivates the definition of an analogous algebraic construction - the polyhedral tensor product. We show that for a large family of posets, the cohomology of the polyhedral product is given by the polyhedral tensor product. We then restrict attention to polyhedral posets, a family of posets that include face posets of simplicial complexes, and simplicial posets, as well as many others. We define the Stanley-Reisner ring of a polyhedral poset and show that, like in the classical cases, these rings occur as the cohomology of certain polyhedral products over the poset in question. For any pointed poset $\calp$ we construct a simplicial poset $s(\calp)$, and show that if $\calp$ is a polyhedral poset then polyhedral products over $\calp$ coincide up to homotopy with the corresponding polyhedral products over $s(\calp)$.

Algebraic Topology
The club of simplicial sets

Dennis Borisov

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

2010-01-13

Category Theory

Abstract:A club structure is defined on the category of simplicial sets. This club generalizes the operad of associative rings by adding "amalgamated" products.
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
Analytic subdivision invariants

Jer-Chin Chuang

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

2008-07-26

Geometric Topology

Abstract:This paper introduces an inner product on chain complexes of finite simplicial complexes that is well-adapted to the harmonic study of subdivisions. Its definition utilizes a decomposition of the chain spaces that suggests a sequence of subdivision invariants which we show do not all vanish for non-trivial subdivisions. We exhibit a combinatorial lower bound for these invariants and provide an effective algorithm for their computation. Unfortunately, these invariants cannot distinguish every subdivision nor do they necessarily increase over successive subdivisions.

Kan subdivision and products of simplicial sets

A constructive account of the Kan-Quillen model structure and of Kan's Ex$^{\infty}$ functor

Finite group actions on Kan complexes

Nonabelian Dold-Kan Decompositions for Simplicial and Symmetric-Simplicial Groups

Kan Replacement of Simplicial Manifolds

Effective Kan fibrations in simplicial sets

On loop spaces with marking

On Simplicial Principal Bundles in Descent Categories

Univalent completion

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence

Free decomposition spaces

On the local Kan structure and differentiation of simplicial manifolds

On the relation between continuous and combinatorial

A categorified Dold-Kan correspondence

Sheaves of Higher Categories on Generalised Spaces

André-Quillen Cohomology and $k$-invariants of simplicial categories

Polyhedral products over finite posets

The club of simplicial sets

Kan Extensions are Partial Colimits

Analytic subdivision invariants