Posets arising from decompositions of objects in a monoidal category

Abstract

Given a symmetric monoidal category $C$ with product $\bigsqcup$, where the neutral element for the product is an initial object, we consider the poset of $\bigsqcup$-complemented subobjects of a given object $X$. When this poset has finite height, we define decompositions and partial decompositions of $X$ which are coherent with $\bigsqcup$, and order them by refinement. From these posets, we define complexes of frames and partial bases, augmented Bergman complexes and related ordered versions. We propose a unified approach to the study of their combinatorics and homotopy type, establishing various properties and relations between them. Via explicit homotopy formulas, we will be able to transfer structural properties, such as Cohen-Macaulayness. In well-studied scenarios, the poset of $\bigsqcup$-complemented subobjects specializes to the poset of free factors of a free group, the subspace poset of a vector space, the poset of non-degenerate subspaces of a vector space with a non-degenerate form, and the lattice of flats of a matroid. The decomposition and partial decomposition posets, the complex of frames and partial bases together with the ordered versions, either coincide with well-known structures, generalize them, or yield new interesting objects. In these particular cases, we provide new results along with open questions and conjectures.

arXiv commentAccepted for publication in Forum of Mathematics, Sigma; 57 pages

References in corpus (9)

• Integrality in the Steinberg module and the top-dimensional cohomology of SL_n(O_K)
• The codimension-one cohomology of SL_n Z
• The category of matroids
• The complex of partial bases of a free group
• A New Formula for the Determinant and Bounds on Its Tensor and Waring Ranks
• The free factor complex and the dualizing module for the automorphism group of a free group
• The Partial Partition Complex
• The common basis complex and the partial decomposition poset
• Classical homological stability from the point of view of cells

Cited by in corpus (1)

• Connectivity of partial basis complexes of freely decomposable groups