Coskeletality and the higher Segal conditions
A simplicial set is $d$-Segal if and only if it is $(d{+}1)$-coskeletal and satisfies the $d$-Segal condition in the two lowest relevant simplicial dimensions.
math.AT↗
arXiv subjects
Philip Hackney
Publications and source records attributed to Philip Hackney.
On partial groups of small order
We explain a computer enumeration of all partial groups (in the sense of Chermak) of order at most 10. An accompanying dataset contains a full list, consisting of 123,650 partial groups of order at most 9 and 178,937,003 partial groups of order 10; the paper itself contains a complete list of indecomposable partial groups of order at most 5. Inspection of the data led us to conjecture and then prove two results: that indecomposable partial groups of dimension two less than their order are precisely skeleta of groups of that order, and partial groups of (higher Segal) degree at most 2 are 2-coskeletal.
math.GR↗
Binary partial groups
There are many examples of `binary' partial groups in the literature: sets equipped an identity and a partially-defined binary operation, such that each element admits an inverse. We show that many of these may be regarded as partial groups in the sense of Chermak, and single out the largest class of such objects.
math.GR↗
Embeddable partial groups
We record a folklore theorem that says a partial group embeds in a group if and only if each word has at most one possible multiplication, regardless of choice of parenthesization. We further investigate the partial groups which are exemplars of non-embeddability. Finally we show that a partial groupoid embeds in a groupoid if and only if its reduction embeds in a group.
math.GR↗
Higher Segal spaces and partial groups
The d-Segal conditions of Dyckerhoff and Kapranov are exactness properties for simplicial objects based on the geometry of cyclic polytopes in d-dimensional Euclidean space. 2-Segal spaces are also known as decomposition spaces, and most activity has focused on this case. We study the interplay of these conditions with the partial groups of Chermak, a class of symmetric simplicial sets. The d-Segal conditions simplify for symmetric simplicial objects, and take a particularly explicit form for partial groups. We show partial groups provide a rich class of d-Segal sets for d > 2, by undertaking a systematic study of the "degree" of a partial group X, namely the smallest nonnegative integer k such that X is 2k-Segal. We develop effective tools to explicitly compute the degree based on the discrete geometry of actions of partial groups, which we define and study. Applying these tools involves solving Helly-type problems for abstract closure spaces. We carry out degree computations in concrete settings, including for the punctured Weyl groups introduced here, where we find that the degree is closely related to the maximal dimension of an abelian subalgebra of the associated semisimple Lie algebra.
math.GR↗
Models for cyclic infinity operads
We construct model structures on cyclic dendroidal sets and cyclic dendroidal spaces for cyclic quasi-operads and complete cyclic dendroidal Segal spaces, respectively. We show these models are Quillen equivalent to the model structure for simplicial cyclic operads. This answers in the affirmative a question of the second author and Drummond-Cole concerning model structures for cyclic $\infty$-operads. We infer similar statements for planar cyclic $\infty$-operads, providing the model-categorical foundation needed to complete Walde's program on the relationship between cyclic 2-Segal spaces and planar cyclic $\infty$-operads.
math.AT↗
The decomposition space perspective
This paper provides an introduction to decomposition spaces and 2-Segal spaces, unifying the two perspectives. We begin by defining decomposition spaces using the active-inert factorization system on the simplicial category, and show their equivalence to 2-Segal spaces. Key results include the path space criterion, which characterizes decomposition spaces in terms of their upper and lower d\'ecalages, and the edgewise subdivision criterion. We also introduce free decomposition spaces arising from outer face complexes, providing a rich source of examples. Formal prerequisites are minimal -- readers should have a working knowledge of simplicial methods and basic category theory.
math.AT↗
Dimension and partial groups
A partial group with $n+1$ elements is, when regarded as a symmetric simplicial set, of dimension at most $n$. This dimension is $n$ if and only if the partial group is a group. As a consequence of the first statement, finite partial groups are genuinely finite, despite being seemingly specified by infinitely much data. In particular, finite partial groups have only finitely many im-partial subgroups. We also consider dimension of partial groupoids.
math.GR↗
Operadic categories and 2-Segal sets
If $X$ is a 2-Segal set, then the edgewise subdivision of $X$ admits a factorization system coming from upper and lower d\'ecalage. Using the correspondence between 2-Segal sets and unary operadic categories satisfying the blow-up axiom, the edgewise subdivision of $X$ is interpreted as an enlargement of the associated operadic category, where fiber inclusions have been adjoined.
math.CT↗
Partial groups as symmetric simplicial sets
We give a new characterization of partial groups as a subcategory of symmetric (simplicial) sets. This subcategory has an explicit reflection, which permits one to compute colimits in the category of partial groups. We also introduce the notion of a partial groupoid, which encompasses both groupoids and partial groups.
math.GR↗
Free decomposition spaces
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\"obius 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.
math.CT↗
Culf maps and edgewise subdivision
We show that, for any simplicial space $X$, the $\infty$-category of culf maps over $X$ is equivalent to the $\infty$-category of right fibrations over $\operatorname{sd}(X)$, the edgewise subdivision of $X$. (When $X$ is a Rezk complete Segal or 2-Segal space, $\operatorname{sd}(X)$ is the twisted arrow category of $X$.) We give two proofs of independent interest; one exploiting comprehensive factorization and the natural transformation from the edgewise subdivision to the nerve of the category of elements, and another exploiting a new factorization system of ambifinal and culf maps, together with the right adjoint to edgewise subdivision. Using this main theorem, we show that the $\infty$-category of decomposition spaces and culf maps is locally an $\infty$-topos.
math.AT↗
Segal conditions for generalized operads
This note is an introduction to several generalizations of the dendroidal sets of Moerdijk--Weiss. Dendroidal sets are presheaves on a category of rooted trees, and here we consider indexing categories whose objects are other kinds of graphs with loose ends. We examine the Segal condition for presheaves on these graph categories, which is one way to identify those presheaves that are a certain kind of generalized operad (for instance wheeled properad or modular operad). Several free / forgetful adjunctions between different kinds of generalized operads can be realized at the presheaf level using only the left Kan extension / restriction adjunction along a functor of graph categories. These considerations also have bearing on homotopy-coherent versions of generalized operads, and we include some questions along these lines.
math.CT↗
Labelled cospan categories and properads
We prove Steinebrunner's conjecture on the biequivalence between (colored) properads and labelled cospan categories. The main part of the work is to establish a 1-categorical, strict version of the conjecture, showing that the category of properads is equivalent to a category of strict labelled cospan categories via the symmetric monoidal envelope functor.
math.CT↗
Pushouts of Dwyer maps are $(\infty,1)$-categorical
The inclusion of 1-categories into $(\infty,1)$-categories fails to preserve colimits in general, and pushouts in particular. In this note, we observe that if one functor in a span of categories belongs to a certain previously-identified class of functors, then the 1-categorical pushout is preserved under this inclusion. Dwyer maps, a kind of neighborhood deformation retract of categories, were used by Thomason in the construction of his model structure on 1-categories. Thomason previously observed that the nerves of such pushouts have the correct weak homotopy type. We refine this result and show that the weak homotopical equivalence is a weak categorical equivalence. We also identify a more general class of functors along which 1-categorical pushouts are $(\infty,1)$-categorical.
math.AT↗
Categories of graphs for operadic structures
We recall several categories of graphs which are useful for describing homotopy-coherent versions of generalized operads (e.g. cyclic operads, modular operads, properads, and so on), and give new, uniform definitions for their morphisms. This allows for straightforward comparisons, and we use this to show that certain free-forgetful adjunctions between categories of generalized operads can be realized at the level of presheaves. This includes adjunctions between operads and cyclic operads, between dioperads and augmented cyclic operads, and betweeen wheeled properads and modular operads.
math.CT↗
An $(\infty,2)$-categorical pasting theorem
We show that any pasting diagram in any $(\infty,2)$-category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting scheme is the homotopy colimit of its cells as an $(\infty,2)$-category. We prove this explicitly in the simplicial categories model and then explain how to deduce the model-independent statement from that calculation.
math.AT↗
Induced model structures for higher categories
We give a new criterion guaranteeing existence of model structures left-induced along a functor admitting both adjoints. This works under the hypothesis that the functor induces idempotent adjunctions at the homotopy category level. As an application, we construct new model structures on cubical sets, prederivators, marked simplicial sets and simplicial spaces modeling $\infty$-categories and $\infty$-groupoids.
math.CT↗