Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Higher Segal spaces and partial groups

T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that the degree of a partial groupoid—its smallest higher-Segal associativity level—equals the Helly number of the closure space of a characteristic action, and computes this degree for punctured Weyl groups.

desk verdict A genuinely new degree invariant for partial groups, proved to equal a Helly number, with punctured Weyl group examples that are valuable but have a reproducibility gap in the exceptional rows. read the letter →

arxiv 2507.05437 v2 pith:RIRFVV4V submitted 2025-07-07 math.GR math.ATmath.CT

Philip Hackney , Justin Lynd This is my paper · ORCID
classification math.GRmath.ATmath.CT MSC 18N5020N9920M3052A0152A3520F55
keywords partialgroupshigherSegalspacessymmetricsetsgroupoidsdegreeHellynumberclosurepuncturedWeyl
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper establishes that the 'degree' of a partial groupoid—the smallest k for which it is lower (2k−1)-Segal—is governed by the discrete geometry of its actions. The main theorem states that for any characteristic action ρ:E→L with L not a groupoid, deg(L) equals the Helly number h(ρ) of the closure space on E0, provided the closed subsets satisfy the descending chain condition; the paper does not know whether that condition is needed for the reverse inequality. The result turns a homotopy-theoretic exactness question into a Helly-type intersection problem, and the authors use it to compute the degree of punctured Weyl groups, obtaining values such as 36 for E8. A separate dimension bound says every nonempty finite-dimensional partial groupoid has degree at most dim(L)+1.

What carries the argument

The argument runs through three linked objects. First, the degree of a symmetric set: for symmetric objects the lower (2k−1)-Segal, lower 2k-Segal, upper 2k-Segal, and upper (2k+1)-Segal conditions all coincide, so a single integer k, the degree, captures the whole hierarchy. Second, a characteristic action ρ:E→L, a surjective map from the nerve of a groupoid to a partial groupoid that is injective on stars; the objects of E are the points on which words of L act, and L consists exactly of those words that act on some point. Third, the induced closure operator cl(A)=∩_{A⊆D(f)}D(f), where D(f)⊆E0 is the set of objects on which a simplex f acts; the Helly number h(ρ) of this closure space is the maximal size of a Helly-independent family. Theorem 4.4 reduces Segality to a statement about which words have specified faces in X_{n−1}, and Theorem 8.1 shows that the failures of those statements correspond exactly to Helly-critical families, under the descending chain condition.

What would settle it

Run an independent exhaustive search over the positive roots of E8 for a really abelian (convexly free) set of size 37; a positive result would refute the computed degree 36, while its absence would confirm Table 3. Separately, a characteristic action whose closed subsets have an infinite descending chain would test whether h(ρ)=deg(L) holds beyond the proved hypothesis.

Watch

Extended reading notes

Core claim

On its own terms, the paper proves Theorem 8.1: if ρ:E→L is a characteristic action of a partial groupoid that is not a groupoid, then deg(L)≤h(ρ), and if the closed subsets of E0 satisfy the descending chain condition, h(ρ)≤deg(L) as well. Since every partial groupoid admits a characteristic action (built from classifying maps of nondegenerate simplices), this identifies higher-Segal associativity with a Helly number in a closure space. For the punctured Weyl groups L=L_{Φ+}(W), the closure operator on Φ+ is convex cone closure, so the Helly number is the maximal size of a really abelian set of positive roots; for the crystallographic cases this matches the classical maximal abelian set of roots, hence the maximal dimension of an abelian subalgebra of the associated complex Lie algebra. The computed table includes deg(L_{Φ+}(E8))=36, so that partial group is lower 71-Segal but not lower 69-Segal.

Load-bearing premise

The load-bearing premise is that the closed subsets of E0 have no infinite strictly descending chains; with that assumption the Helly number equals the degree, while without it the paper proves only deg(L)≤h(ρ) and does not know whether equality survives.

Editorial extensions

If this is right

  • Every finite partial group has finite degree, and a general nonempty partial groupoid satisfies deg(L)≤dim(L)+1 (Theorem 9.6).
  • A partial group that is 2-Segal must already be a group; the interesting higher-Segal behavior starts at degree 2 and up, so nontrivial partial groups supply concrete examples of d-Segal sets for d>2.
  • Reduction does not change the degree of a finite-dimensional partial groupoid that is not a groupoid (Theorem 9.10), so passing to the reduced partial group preserves the higher associativity invariant.
  • For punctured Weyl groups the degree is additive over orthogonal unions of root systems, and the table gives explicit values; for instance the E8 punctured Weyl group is lower 71-Segal but not lower 69-Segal.
  • For localities in finite group theory, the same theorem recasts the degree as a Helly number for intersections of Sylow-type subgroups, with an upper bound by the p-rank of a Sylow subgroup.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One could implement a direct algorithm for the degree of a finite partial group L: build a characteristic action, compute domains of 1-simplices as closed subsets, and find the maximum size of a Helly-independent family; Proposition 8.5 suggests the search can be restricted to domains of edges.
  • The E8 value 36 ties the degree to the dimension of a maximal abelian Lie subalgebra; this suggests a broader pattern in which higher-Segal exactness of reflection-group partial groups measures the largest flat subspaces of the associated invariant cone, worth testing on other Coxeter-type examples.
  • The open question about the descending chain condition invites a deliberate search: an infinite characteristic action whose closed subsets admit an infinite descending chain may separate h(ρ) from deg(L), which would show exactly where the equality stops.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper develops a theory of actions of partial groupoids, associates a closure space to each characteristic action, and proves that for a partial groupoid L with a characteristic action satisfying a descending chain condition, the degree deg(L)---the least k for which L is lower (2k-1)-Segal---equals the Helly number h(rho) of the associated closure space (Theorem 8.1). The authors apply this machinery to punctured Weyl groups, where the closure operator is conical closure, and compute the degree in terms of maximal really abelian sets of positive roots. The resulting Table 1/3 gives concrete values such as deg(L_{Phi+}(E8)) = 36 and deg(L_{Phi+}(H4)) = 8.

Significance. If the main theorem and the computations hold, this is a significant contribution: it produces a large family of d-Segal sets for d > 2, introduces a new numerical invariant of partial groups, and connects higher Segal conditions to classical Helly-type geometry and to Malcev's theorem on abelian subalgebras. The structural parts of the paper are coherent and detailed: Theorem 4.4 and Proposition 4.10 give clean reformulations of the higher Segal conditions, Theorem 8.7 is a solid bridge between degree and Helly numbers, and Theorem 9.6 gives a useful finite-dimensional bound. The paper is also honest about the status of the descending chain condition in Theorem 8.1. The main weakness is that the exceptional-type entries of Table 3 rest on unprovided Magma and Python computations, so the paper's most concrete numerical claims are not independently verifiable from the submitted manuscript.

major comments (2)
  1. [§10.4, Theorem 10.15, Table 3] The E6, E7, and E8 rows are justified only by the sentence that 'A computation using Magma ... shows that each of these is really abelian', and the H3 and H4 rows by 'computed with Python code written explicitly for this purpose'. No code, scripts, input data, or certificates are included in the manuscript or appendices. These rows are load-bearing: they feed directly into Theorem 10.2 and Table 1, including the headline values deg(L_{Phi+}(E8)) = 36 and deg(L_{Phi+}(H4)) = 8, and the hand-written arguments cover only types A, B_n/C_n (except B3), D_n, F4, G2, I2, and rank 2. I request that the authors supply the computational artifacts, or independent certificates that can be checked without rerunning the original code, or that the affected claims be explicitly downgraded to computational results whose reproducibility is still pending.
  2. [§8, Theorem 8.1 and Proposition 8.5] The equality deg(L) = h(rho) is proved only under the descending chain condition on closed subsets of E0, and the authors explicitly state that they do not know whether this condition is necessary for the reverse inequality. This is an honest and clearly flagged limitation, and it does not affect the finite root-system applications. Still, since Theorem 1.3 presents the equality as the main theorem, I ask the authors to add a short remark separating the unconditional inequality deg(L) <= h(rho) from the conditional equality, and to state explicitly whether any example is known where DCC fails and equality fails. If no such example is known, that should be said as well.
minor comments (5)
  1. [Abstract and Definition 3.18] The abstract says 'smallest nonnegative integer k', while Definition 3.18 and Definition 1.1 use 'least positive integer k'. Since degree 0 is not considered, please make the wording consistent.
  2. [Example 5.15] There is a typo: 'A importantclassof motivatingexamples' should read 'An important class of motivating examples'.
  3. [Section 7, references] The text refers to 'Diognon--Reay--Sierksma' but the bibliography lists 'Doignon'; please correct the spelling.
  4. [Table 3 and Table 1] The entry for Bn/Cn is easy to misread in the current rendering; please ensure the binomial coefficient is typeset unambiguously so that it cannot be confused with floor(n/2)+1.
  5. [Affiliation] The author affiliation contains the typo 'Laf ayette'; it should be 'Lafayette'.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: degree is characterized via an independent Helly number, with self-citations confined to background.

full rationale

The central result Theorem 8.1 compares deg(L) with h(ρ), where h(ρ) is the Helly number of a closure space built from domains of simplices of a characteristic action. This is a genuine theorem, proved in Theorem 8.7 via Proposition 4.10: failure of Segality produces a Helly-independent family of domains, and conversely a critical family of domains produces a non-multipliable starry word. Neither side is defined in terms of the other, so there is no self-definitional or fitted-input circularity. The punctured Weyl group application (Theorem 10.2) rests on Proposition 10.6 identifying the action closure operator with convex hull, on Theorem 10.7 identifying Helly numbers of convex geometries with maximal free sets, and on Table 3, which is computed partly by hand and partly by Magma/Python. The E6-E8 and H3-H4 rows depend on computer computations without supplied certificates, which is a reproducibility risk rather than circularity; the hand-written types A, B_n/C_n (n not 3), D_n, F4, G2, and I2 are independent. The self-citations to [HL25] and [HM] supply background equivalences, such as spiny symmetric sets being partial groupoids, and dimension bounds; they are not the target claims, and the main inequality does not reduce to them. The descending chain condition in Theorem 8.1 is explicitly flagged as possibly unnecessary, which is an honest limitation rather than a circular step.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The central theorem rests on standard facts about higher Segal spaces, partial groups, and Helly theory, plus two computational premises that are not fully documented. There are no fitted parameters. The new mathematical constructs, such as degree, punctured Weyl groups, and really abelian sets, are definitions with proofs rather than unexplained explanatory posits.

assumptions (7)
  • standard math Walde's equivalence: lower (2k-1)-Segal conditions are cartesianness conditions on intersection cubes for gapped subsets (Definition 3.5).
    Invoked as the definition of higher Segal conditions in Section 3.2, citing [Wal20, Remark 3.6]; the degree framework is built from these cubes.
  • standard math Poguntke's path space criterion and the monotonicity of d-Segal conditions (Propositions 3.13 and 3.14).
    Used to prove Proposition 3.15 and to justify that degree is well defined; accepted as prior results.
  • standard math Gonzalez/HL25 theorem: reduced spiny symmetric sets are exactly partial groups (Theorem 2.14).
    Identifies the objects of study; the paper relies on this to translate partial groups into symmetric sets.
  • standard math Classical Helly theory for closure spaces, including independence/critical duality and the Helly number of convex geometries (Theorem 7.13, Theorem 10.7).
    Foundational for Sections 7 through 10; accepted from [Vel93, JW81, Hof79].
  • standard math Malcev's theorem: maximal size of an abelian set of positive roots equals maximal dimension of an abelian subalgebra of the associated complex semisimple Lie algebra.
    Used as external benchmark for Z-closure Helly numbers in Corollary 10.10 and as orientation for the convex-closure results.
  • ad hoc to paper Magma and Python computations certify that the listed exceptional root-system subsets are really abelian (E6, E7, E8, F4, H3, H4).
    Stated in proof of Theorem 10.15, but no code, output, or certificates are included; these computations are load-bearing for the degree table.
  • domain assumption Descending chain condition on closed subsets of E0 in Theorem 8.1.
    The equality deg(L) = h(rho) is proved only under this condition; the paper does not know whether it is needed for the reverse inequality.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Higher Segal spaces and partial groups." pith.science (2026). https://pith.science/paper/RIRFVV4V

@misc{pith2026250705437,
  author       = {Pith},
  title        = {Pith review of: Higher Segal spaces and partial groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RIRFVV4V}},
  note         = {Machine review of arXiv:2507.05437}
}
read the original abstract

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.

Figures

Figures reproduced from arXiv: 2507.05437 by the authors.

Figure 1
Figure 1. A really abelian subset of size 4 in C3 Proof. A subset of two positive roots in a rank 2 root system is really abelian if and only if the two roots are adjacent. So this just comes from the fact that A ∩ spanR(α, β) is really abelian in Φ + ∩ spanR(α, β). □ Lemma 10.13. If A is a nonempty subset of Φ +, then some W-conjugate of A in Φ + contains a simple root. Proof. By induction on the minimal height ht(α) = P β∈Π… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Coskeletality and the higher Segal conditions

    math.AT 2026-07 conditional novelty 6.0 of 10

    A simplicial set is upper/lower d-Segal iff it is (d+1)-coskeletal and satisfies the d-Segal conditions in dimensions d+1 and d+2 (with the proved 'if' direction using (d+2)-coskeletality).

Reference graph

Works this paper leans on

56 extracted references · 51 canonical work pages · cited by 1 Pith paper

  1. [1]

    Fernando Abadie, Enveloping actions and T akai duality for partial actions , J. Funct. Anal. 197 (2003), no. 1, 14--67. 1957674

    work page 2003

  2. [2]

    Wieb Bosma, John Cannon, and Catherine Playoust, The M agma algebra system. I . T he user language , J. Symbolic Comput. 24 (1997), no. 3-4, 235--265, Computational algebra and number theory (London, 1993). 1484478

    work page 1997

  3. [3]

    Carles Broto and Alex Gonzalez, An extension theory for partial groups, arXiv:2105.03457 https://arxiv.org/abs/2105.03457 [math.AT]

    arXiv

  4. [4]

    Carles Broto, Ran Levi, and Bob Oliver, Discrete models for the p -local homotopy theory of compact L ie groups and p -compact groups , Geom. Topol. 11 (2007), 315--427. 2302494

    work page 2007

  5. [5]

    Bergner, Ang\' e lica M

    Julia E. Bergner, Ang\' e lica M. Osorno, Viktoriya Ozornova, Martina Rovelli, and Claudia I. Scheimbauer, 2- S egal sets and the W aldhausen construction , Topology Appl. 235 (2018), 445--484. 3760213

    work page 2018

  6. [6]

    C hapters 4--6 , Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 2002, Translated from the 1968 French original by Andrew Pressley

    Nicolas Bourbaki, Lie groups and L ie algebras. C hapters 4--6 , Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 2002, Translated from the 1968 French original by Andrew Pressley. 1890629

    2002

  7. [7]

    Discrete Math

    Michele Conforti and Marco Di Summa, Maximal S -free convex sets and the H elly number , SIAM J. Discrete Math. 30 (2016), no. 4, 2206--2216. 3576564

    work page 2016

  8. [8]

    Andrew Chermak and Alex Gonzales, Discrete localities I , arXiv:1702.02595 https://arxiv.org/abs/1702.02595 [math.GR]

    work page Pith review arXiv

Show all 56 references
  1. [9]

    Andrew Chermak and Ellen Henke, Fusion systems and localities---a dictionary, Adv. Math. 410 (2022), no. part A, Paper No. 108690, 92. 4487972

    2022

  2. [10]

    211 (2013), no

    Andrew Chermak, Fusion systems and localities, Acta Math. 211 (2013), no. 1, 47--139. 3118305

    2013

  3. [11]

    Sigma 10 (2022), Paper No

    , Finite localities I , Forum Math. Sigma 10 (2022), Paper No. e43, 31. 4439780

    2022

  4. [12]

    Tobias Dyckerhoff, Gustavo Jasso, and Tashi Walde, Simplicial structures in higher A uslander- R eiten theory , Adv. Math. 355 (2019), 106762, 73. 3994443

    2019

  5. [13]

    2244, Springer, Cham, 2019

    Tobias Dyckerhoff and Mikhail Kapranov, Higher S egal spaces , Lecture Notes in Mathematics, vol. 2244, Springer, Cham, 2019. 3970975

    2019

  6. [14]

    Reay, and Gerard Sierksma, A T verberg-type generalization of the H elly number of a convexity space , J

    Jean-Paul Doignon, John R. Reay, and Gerard Sierksma, A T verberg-type generalization of the H elly number of a convexity space , J. Geom. 16 (1981), no. 2, 117--125. 642260

    1981

  7. [15]

    Tobias Dyckerhoff, Cyclic polytopes, orientals, and correspondences: some aspects of higher S egal spaces , arXiv:2505.02051 https://arxiv.org/abs/2505.02051 [math.AT]

    arXiv

  8. [16]

    Edelman and Robert E

    Paul H. Edelman and Robert E. Jamison, The theory of convex geometries, Geom. Dedicata 19 (1985), no. 3, 247--270. 815204

    1985

  9. [17]

    Ruy Exel, Partial actions of groups and actions of inverse semigroups, Proc. Amer. Math. Soc. 126 (1998), no. 12, 3481--3494. 1469405

    1998

  10. [18]

    Imma G\' a lvez-Carrillo, Joachim Kock, and Andrew Tonks, Decomposition spaces, incidence algebras and M \" o bius inversion I : B asic theory , Adv. Math. 331 (2018), 952--1015. 3804694

    2018

  11. [19]

    Adam Gal and Elena Gal, Higher S egal spaces and lax A _ -algebras , arXiv:1905.03376 https://arxiv.org/abs/1905.03376 [math.AT]

    1905 arXiv

  12. [20]

    N umber 3

    Daniel Gorenstein, Richard Lyons, and Ronald Solomon, The classification of the finite simple groups. N umber 3. P art I . C hapter A , Mathematical Surveys and Monographs, vol. 40, American Mathematical Society, Providence, RI, 1998, Almost simple K -groups. 1490581 (98j:20011)

    1998

  13. [21]

    Alex Gonz\'alez, An extension theory for partial groups and localities, arXiv:1507.04392 https://arxiv.org/abs/1507.04392 [math.AT]

    arXiv

  14. [22]

    Goodwillie, Calculus

    Thomas G. Goodwillie, Calculus. II . A nalytic functors , K -Theory 5 (1991/92), no. 4, 295--332. 1162445

    1991

  15. [23]

    6, Soci\'et\'e math\'ematique de France, 1961, talk:212 (fr)

    Alexander Grothendieck, Techniques de construction et th\'eor\`emes d'existence en g\'eom\'etrie alg\'ebrique III : pr\'esch\'emas quotients , S\'eminaire Bourbaki : ann\'ees 1960/61, expos\'es 205-222, S\'eminaire Bourbaki, no. 6, Soci\'et\'e math\'ematique de France, 1961, t...

    1960

  16. [24]

    Reine Angew

    Moritz Groth and Jan S t ov \' c ek, Tilting theory via stable homotopy theory, J. Reine Angew. Math. 743 (2018), 29--90. 3859269

    2018

  17. [25]

    Philip Hackney, The decomposition space perspective, arXiv:2409.19061 https://arxiv.org/abs/2409.19061 [math.AT]

    arXiv

  18. [26]

    21, Oberwolfach Rep., no

    , Higher S egal spaces and partial groups , Homotopical algebra and higher structures (Michael Batanin, Andrey Lazarev, Muriel Livernet, and Martin Markl, eds.), vol. 21, Oberwolfach Rep., no. 3, 2024, pp. 2291--2294. 4865595

    2024

  19. [27]

    Takahiro Hayashi, Partial group symmetry in figures I : Semidirect products and the six coins , arXiv:2506.14304 https://arxiv.org/abs/2506.14304 [math.GR]

    arXiv

  20. [28]

    Ellen Henke, Commuting partial normal subgroups and regular localities, arXiv:2103.00955 https://arxiv.org/abs/2103.00955 [math.GR]

    arXiv

  21. [29]

    Pure Appl

    Philip Hackney and Justin Lynd, Partial groups as symmetric simplicial sets, J. Pure Appl. Algebra 229 (2025), no. 2, Paper No. 107864. 4850560

    2025

  22. [30]

    London Math

    Ellen Henke, Assaf Libman, and Justin Lynd, Punctured groups for exotic fusion systems, Trans. London Math. Soc. 10 (2023), no. 1, 21--99. 4640379

    2023

  23. [31]

    Philip Hackney and Rémi Molinier, Dimension and partial groups, arXiv:2406.19854 https://arxiv.org/abs/2406.19854 [math.GR], to appear in Proc.\ Amer.\ Math.\ Soc

  24. [32]

    A. J. Hoffman, Binding constraints and H elly numbers , Second I nternational C onference on C ombinatorial M athematics ( N ew Y ork, 1978), Ann. New York Acad. Sci., vol. 319, New York Acad. Sci., New York, 1979, pp. 284--288. 556036

    1978

  25. [33]

    Humphreys, Reflection groups and C oxeter groups , Cambridge Studies in Advanced Mathematics, vol

    James E. Humphreys, Reflection groups and C oxeter groups , Cambridge Studies in Advanced Mathematics, vol. 29, Cambridge University Press, Cambridge, 1990. 1066460

    1990

  26. [34]

    II , Lecture Notes in Mathematics, vol

    Luc Illusie, Complexe cotangent et d\'eformations. II , Lecture Notes in Mathematics, vol. Vol. 283, Springer-Verlag, Berlin-New York, 1972. 491681

    1972

  27. [35]

    Jamison-Waldner, Partition numbers for trees and ordered sets, Pacific J

    Robert E. Jamison-Waldner, Partition numbers for trees and ordered sets, Pacific J. Math. 96 (1981), no. 1, 115--140. 634767

    1981

  28. [36]

    Kellendonk and Mark V

    J. Kellendonk and Mark V. Lawson, Partial actions of groups, Internat. J. Algebra Comput. 14 (2004), no. 1, 87--114. 2041539

    2004

  29. [37]

    Jacob Lurie, Higher algebra, https://www.math.ias.edu/ lurie/papers/HA.pdf, 2017

    2017

  30. [38]

    Jacob Lurie, Kerodon, https://kerodon.net, 2025

    2025

  31. [39]

    22, 2025

    Justin Lynd, Partial groups and higher S egal conditions , Finite groups, fusion systems and applications (Inna Capdeboscq, Ellen Henke, and Martin Liebeck, eds.), Oberwolfach Rep., vol. 22, 2025

    2025

  32. [40]

    Malcev, Commutative subalgebras of semi-simple L ie algebras , Izv

    A. Malcev, Commutative subalgebras of semi-simple L ie algebras , Izv. Akad. Nauk SSSR, Ser. Mat. 9 (1945), 291--300 (Russian). 15053

    1945

  33. [41]

    A. I. Mal'cev, Commutative subalgebras of semisimple L ie algebras , Translations, S er. 1, V ol. 9: L ie groups, American Mathematical Society, Providence, RI, 1962, translated by George Klein, pp. 214--227

    1962

  34. [42]

    212, Springer-Verlag, New York, 2002

    Ji r \'i Matou s ek, Lectures on discrete geometry, Graduate Texts in Mathematics, vol. 212, Springer-Verlag, New York, 2002. 1899299

    2002

  35. [43]

    V\'ictor Mar\'in and H\'ector Pinedo, Partial groupoid actions on sets and topological spaces, S\ ao Paulo J. Math. Sci. 15 (2021), no. 2, 940--956. 4341138

    2021

  36. [44]

    Bob Oliver, Equivalences of classifying spaces completed at odd primes, Math. Proc. Cambridge Philos. Soc. 137 (2004), no. 2, 321--347. 2092063

    2004

  37. [45]

    , Equivalences of classifying spaces completed at the prime two, Mem. Amer. Math. Soc. 180 (2006), no. 848, vi+102. 2203209

    2006

  38. [46]

    thesis, University of Oxford, 2017

    Mark Penney, Categorical bialgebras arising from 2- S egal spaces , Ph.D. thesis, University of Oxford, 2017

    2017

  39. [47]

    Algebra 34 (2006), no

    Annette Pilkington, Convex geometries on root systems, Comm. Algebra 34 (2006), no. 9, 3183--3202. 2252665

    2006

  40. [48]

    Thomas Poguntke, Higher S egal structures in algebraic K -theory , arXiv:1709.06510 https://arxiv.org/abs/1709.06510 [math.AT]

    arXiv

  41. [49]

    24, Cambridge University Press, Cambridge, 2014

    Emily Riehl, Categorical homotopy theory, New Mathematical Monographs, vol. 24, Cambridge University Press, Cambridge, 2014. 3221774

    2014

  42. [50]

    Gerard Sierksma, Carath\'eodory and H elly-numbers of convex-product-structures , Pacific J. Math. 61 (1975), no. 1, 275--282. 397562

    1975

  43. [51]

    Stern, Perspectives on the 2- S egal conditons , draft available at www.walkerstern.com/publications https://www.walkerstern.com/publications/

    Walker H. Stern, Perspectives on the 2- S egal conditons , draft available at www.walkerstern.com/publications https://www.walkerstern.com/publications/

  44. [52]

    Homotopy Relat

    , 2- S egal objects and algebras in spans , J. Homotopy Relat. Struct. 16 (2021), no. 2, 297--361. 4266208

    2021

  45. [53]

    Ruedi Suter, Abelian ideals in a B orel subalgebra of a complex simple L ie algebra , Invent. Math. 156 (2004), no. 1, 175--221. 2047661

    2004

  46. [54]

    M. L. J. van de Vel, Theory of convex structures, North-Holland Mathematical Library, vol. 50, North-Holland Publishing Co., Amsterdam, 1993. 1234493

    1993

  47. [55]

    J ., 1983), Lecture Notes in Math., vol

    Friedhelm Waldhausen, Algebraic K -theory of spaces , Algebraic and geometric topology ( N ew B runswick, N . J ., 1983), Lecture Notes in Math., vol. 1126, Springer, Berlin, 1985, pp. 318--419. 802796

    1983

  48. [56]

    Tashi Walde, Higher S egal spaces via higher excision , Theory Appl. Categ. 35 (2020), Paper No. 28, 1048--1086. 4124491

    2020

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.