Posets arising from decompositions of objects in a monoidal category

Piterman, Kevin Ivan  ; Welker, Volkmar

Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e123

Résumé

Given a symmetric monoidal category ${\mathcal C}$ with product $\sqcup $, where the neutral element for the product is an initial object, we consider the poset of $\sqcup $-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 $\sqcup $, 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 $\sqcup $-complemented subobjects specializes to the poset of free factors of a free group, the subspace poset of a vector space, the poset of nondegenerate subspaces of a vector space with a nondegenerate 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.

Détail

DOI : 10.1017/fms.2025.10060

Bibliographie

[Ba] Bacher, R., ‘Counting packings of generic subsets in finite groups’, Electron. J. Combin. 19 (2012), Paper 7, 28 pp. doi: 10.37236/2522 Google Scholar | DOI

[BM] Barmak, J. A. and Minian, E. G., ‘Simple homotopy types and finite spaces’, Adv. Math. 218 (2008), 87–104. doi: 10.1016/j.aim.2007.11.019 Google Scholar | DOI

[BS96] Billera, L. J. and Sarangarajan, A., ‘The combinatorics of permutation polytopes’, in Formal Power Series and Algebraic Combinatorics (New Brunswick, NJ, 1994) (DIMACS Ser. Discrete Math. Theoret. Comput. Sci.) vol. 24 (Amer. Math. Soc., Providence, RI, 1996), 1–23. doi: 10.1090/dimacs/024 Google Scholar

[Bj84] Björner, A., ‘Posets, regular CW complexes and Bruhat order’, European J. Combin. 5 (1984), 7–16. doi: 10.1016/S0195-6698(84)80012-8 Google Scholar | DOI

[Bj92] Björner, A., ‘The homology and shellability of matroids and geometric lattices’, in Matroid Applications (Encyclopedia Math. Appl.) vol. 40 (Cambridge University Press, Cambridge, 1992), 226–283. doi: 10.1017/CBO9780511662041.008 Google Scholar | DOI

[BW] Björner, A. and Wachs, M., ‘On lexicographically shellable posets. Trans. Amer. Math. Soc. 277 (1983), 323–341. doi: 10.2307/1999359 Google Scholar | DOI

[BWW] Björner, A., Wachs, M. and Welker, V., Poset fiber theorems’, Trans. Amer. Math. Soc. 357 (2004), 1877–1899. doi: 10.1090/S0002-9947-04-03496-8 Google Scholar | DOI

[BS73] Borel, A. and Serre, J. P., ‘Corners and arithmetic groups’, Comment. Math. Helv. 48 (1973), 436–491. doi: 10.1007/BF02566134 Google Scholar | DOI

[BHMPW] Braden, T., Huh, J., Matherne, J. P., Proudfoot, N. and Wang, B., ‘Singular Hodge theory for combinatorial geometries’, Preprint, 2020, . Google Scholar | arXiv

[BPW] Brück, B., Piterman, K. I. and Welker, V., ‘The common basis complex and the partial decomposition poset’, Int. Math. Res. Not. IMRN, 2024(18), 12746–12760. doi: 10.1093/imrn/rnae177 Google Scholar | DOI

[BKR] Bullock, E., Kelley, A., Reiner, V., Ren, K., Shemy, G., Shen, D., Sun, B. and Zhang, Z. J., ‘Topology of augmented Bergman complexes’, Electron. J. Combin. 29 (2022), Paper No. 1.31, 19 pp. doi: 10.37236/10739 Google Scholar | DOI

[C] Charney, R. M., ‘Homology stability for of a Dedekind domain’, Invent. Math. 56 (1980), 1–17. doi: 10.1007/BF01403153 Google Scholar | DOI

[CP] Church, T. and Putman, A., ‘The codimension-one cohomology of ’, Geom. Topol. 21 (2017), 999–1032. doi: 10.2140/gt.2017.21.99 Google Scholar | DOI

[CFP] Church, T., Farb, B. and Putman, A., ‘Integrality in the Steinberg module and the top-dimensional cohomology of ’, Amer. J. Math. 141 (2019), 1375–1419. doi: 10.1353/ajm.2019.0036 Google Scholar | DOI

[D] Das, K. M., ‘Some results about the Quillen complex of ’, J. Algebra 209 (1998), 427–445. doi: 10.1006/jabr.1998.7545 Google Scholar | DOI

[DGM] Devillers, A., Gramlich, R. and Mühlherr, B., ‘The sphericity of the complex of non-degenerate subspaces’, J. London Math. Soc. (2) 79 (2009), 684–700. doi: 10.1112/jlms/jdn088 Google Scholar | DOI

[GKRW] Galatius, S., Kupers, A. and Randal-Williams, O., ‘Cellular -algebras’, Astérisque, to appear, . Google Scholar | arXiv

[G] Gottstein, M. J., ‘Homology of partial partitions ordered by inclusion’, Preprint, 2023, . Google Scholar | arXiv

[HHS] Hanlon, P., Hersh, P. and Shareshian, J., ‘A analogue of the partition lattice’, https://pages.uoregon.edu/plhersh/hhs09.pdf, Unpublished. Google Scholar

[HV98a] Hatcher, A. and Vogtmann, K., ‘The complex of free factors of a free group’, Quart. J. Math. Oxford Ser. (2) 49 (1998), 459–468. doi: 10.1093/qmathj/49.4.459 Google Scholar | DOI

[HV98b] Hatcher, A. and Vogtmann, K., ‘Cerf theory for graphs’, J. London Math. Soc. (2) 58 (1998), 633–655. doi: 10.1112/S0024610798006644 Google Scholar | DOI

[HV22] Hatcher, A. and Vogtmann, K., ‘The complex of free factors of a free group’, Preprint, 2022, . Google Scholar | arXiv

[HP] Heunen, C. and Patta, V., ‘The category of matroids’, Appl. Categ. Structures 26 (2018), 205–237. doi: 10.1007/s10485-017-9490-2 Google Scholar | DOI

[HMNP] Himes, Z., Miller, J., Nariman, S. and Putman, A., ‘The Free Factor complex and the dualizing module for the automorphism group of a free group’, Int. Math. Res. Not. IMRN 2023(22), 19020–19068. doi: 10.1093/imrn/rnac330 Google Scholar | DOI

[HGJ] Houston, R., Goucher, A. P. and Johnston, N., ‘A new formula for the determinant and bounds on its tensor and Waring ranks’, Combin. Probab. Comput. 33 (2024), 769–794. doi: 10.1017/S0963548324000233 Google Scholar | DOI

[JW] Jonsson, J. and Welker, V., ‘Complexes of injective words and their commutation classes’, Pacific J. Math. 243 (2009), 313–329. doi: 10.2140/pjm.2009.243.313 Google Scholar | DOI

[LR] Lehrer, G. I. and Rylands, L. J., ‘The split building of a reductive group’, Math. Ann. 296 (1993) 607–624. doi: 10.1007/BF01445124 Google Scholar | DOI

[McCM] Mccammond, J. and Meier, J., ‘The hypertree poset and the -Betti numbers of the motion group of the trivial link’, Math. Ann. 328 (2004) 633–652. doi: 10.1007/s00208-003-0499-5 Google Scholar | DOI

[MPW] Miller, J., Patzt, P. and Wilson, J. C. H., ‘On rank filtrations of algebraic K-theory and Steinberg modules’, J. Europ. Math. Soc., Online First (2025). doi: 10.4171/JEMS/1628, Google Scholar | DOI

[P] Piterman, K. I., ‘On the frame complex of symplectic spaces’, J. Algebra 642 (2024), 65–94. doi: 10.1016/j.jalgebra.2023.12.013 Google Scholar | DOI

[PSW] Piterman, K. I., Shareshian, J. and Welker, V., in preparation (2025). Google Scholar

[PW24] Piterman, K. I. and Welker, V., ‘Homotopy properties of the complex of frames of a unitary space’, J. Lond. Math. Soc. (2) 110 (2024), Paper No. e12978, 53 pp. doi: 10.1112/jlms.12978 Google Scholar | DOI

[PW25] Piterman, K. I. and Welker, V., in preparation (2025). Google Scholar

[Q] Quillen, D., ‘Homotopy properties of the poset of nontrivial -subgroups of a group’, Adv. Math. 28 (1978), 101–128. doi: 10.1016/0001-8708(78)90058-0 Google Scholar | DOI

[RW] Randal-Williams, O., ‘Classical homological stability from the point of view of cells’, Algebr. Geom. Topol. 24 (2024), 1691–1712. doi: 10.2140/agt.2024.24.1691 Google Scholar | DOI

[RWW] Randal-Williams, O. and Wahl, N., ‘Homological stability for automorphism groups’, Adv. Math. 318(2017), 534–626. doi: 10.1016/j.aim.2017.07.022 Google Scholar | DOI

[ReW] Reiner, V. and Webb, P. J., ‘The combinatorics of the bar resolution in group cohomology’, J. Pure Appl. Algebra 190 (2004), 291–327. doi: 10.1016/j.jpaa.2003.12.006 Google Scholar | DOI

[SC] Sadofschi Costa, I., ‘The complex of partial bases of a free group’, Bull. London Math. Soc. 52 (2020), 109–120. doi: 10.1112/blms.12311 Google Scholar | DOI

[Se] Segal, G., ‘Classifying spaces and spectral sequences’, Inst. Hautes Études Sci. Publ. Math. 34 (1968), 105–112. doi: 10.1007/BF02684591 Google Scholar | DOI

[So69] Solomon, L., ‘The Steinberg character of a finite group with a BN-pair’, in Theory of Finite Groups: A Symposium (Brauer, R. and Sah, C. H., eds.) (W.A. Benjamin. New York – Amsterdam. 1969), 213–221. Google Scholar

[So66] Solomon, L., ‘The orders of the finite Chevalley groups’, J. Algebra 3 (1966), 376–393. doi: 10.1016/0021-8693(66)90007-X Google Scholar | DOI

[St78] Stanley, R. P., ‘Exponential structures’, Stud. Appl. Math. 59 (1978), 73–82. doi: 10.1002/sapm197859173 Google Scholar | DOI

[St12] Stanley, R. P., Enumerative Combinatorics. Volume 1 (Cambridge Stud. Adv. Math.) vol. 49, second edn. (Cambridge University Press, Cambridge, 2012). doi: 10.1017/CBO9781139058520 Google Scholar

[vdK] Van Der Kallen, W., ‘Homology stability for linear groups’, Invent. Math. 60 (1980), 269–295. doi: 10.1007/BF01390018 Google Scholar | DOI

[V] Vogtmann, K., ‘A Stiefel complex for the orthogonal group of a field’, Comment. Math. Helv. 57 (1982), 11–21. doi: 10.1007/BF02565843 Google Scholar | DOI

[Wac] Wachs, M. L., ‘Poset topology: tools and applications’, in Geometric Combinatorics. (IAS/Park City Math. Ser.) vol. 13 (American Mathematical Society, Providence, RI, 2007), 497–615. doi: 10.1090/pcms/013 Google Scholar | DOI

[Wal81] Walker, J. W., ‘Homotopy type and Euler characteristic of partially ordered sets’, European J. Combin. 2 (1981), 373–384. doi: 10.1016/S0195-6698(81)80045-5 Google Scholar | DOI

[Wal88] Walker, J. W., ‘Canonical homeomorphisms of posets’, European J. Combin. 9 (1988), 97–107. doi: 10.1016/S0195-6698(88)80033-7 Google Scholar | DOI

[Wel] Welker, V., ‘Direct sum decompositions of matroids and exponential structures’, J. Combin. Theory Ser. B (2) 63 (1995), 222–244. doi: 10.1006/jctb.1995.1017 Google Scholar | DOI

[WZZ] Welker, V., Ziegler, G. M. and Živaljević, R. T., ‘Homotopy colimits – comparison lemmas for combinatorial applications’, J. Reine Angew. Math. 509 (1999), 117–149. doi: 10.1515/crll.1999.509.117 Google Scholar