pith. sign in

arxiv: 2604.19644 · v2 · pith:Z27CM5GRnew · submitted 2026-04-21 · 🧮 math.CO · math.GT· math.MG

On colorful generalizations of the Goodman--Pollack transversal problem

Nikola Sadovek This is my paper

Pith reviewed 2026-05-20 23:58 UTC · model grok-4.3

classification 🧮 math.CO math.GTmath.MG
keywords Goodman-Pollack problemcolorful Helly theoremmatroidal transversalsaffine transversalsconvex setsmatroidal joinsDolnikov theoremtopological combinatorics
0
0 comments X

The pith

Matroidal joins establish colorful affine transversals to convex sets over the reals and complexes

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

The paper proves that families of convex sets in d-dimensional real or complex space admit a k-dimensional affine transversal whenever a matroidal colorful intersection condition holds. This unifies the colorful Helly theorem as the special case of point transversals and yields a colorful generalization of the Goodman-Pollack-Wenger theorem for hyperplane transversals. The argument proceeds by constructing matroidal joins as homotopy colimits and showing they are sufficiently connected to rule out obstructing equivariant maps from Stiefel manifolds to spheres. As a direct consequence the work also produces a new matroidal colorful Dol'nikov-type transversal theorem.

Core claim

We establish a colorful and, more generally, matroidal solution to the problem of Goodman and Pollack on the existence of an F-affine k-dimensional transversal to a family of convex sets in F^d, where 0 ≤ k ≤ d-1 and F is R or C. The results recover the colorful Helly theorem for k=0, Holmsen's colorful and matroidal generalization for k=d-1, and extend a recent noncolorful solution, while delivering a matroidal colorful Dol'nikov-type theorem as the main application.

What carries the argument

Matroidal joins, defined as homotopy colimits of diagrams over face posets of matroidal complexes, whose connectivity estimates obstruct equivariant maps from Stiefel manifolds to spheres.

If this is right

  • For k=0 the statement recovers the colorful Helly theorem of Lovász together with its matroidal extension by Kalai and Meshulam.
  • For k=d-1 the statement yields Holmsen's colorful and matroidal generalization of the Goodman-Pollack-Wenger theorem.
  • The argument extends the recent noncolorful solution of the Goodman-Pollack problem to the colorful matroidal setting.
  • The main application is a matroidal and colorful Dol'nikov-type transversal theorem.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The connectivity bounds on matroidal joins may transfer to other selection theorems that rely on similar poset diagrams in combinatorial geometry.
  • The method suggests that replacing linear independence with matroid independence can broaden the scope of many existing colorful Helly-type statements.
  • Equivariant topology techniques of this form could be tested on discrete or finite-field analogues of the transversal problem.

Load-bearing premise

The connectivity estimates for matroidal joins are strong enough to guarantee that no equivariant map from a Stiefel manifold to a sphere exists that would block the desired transversal.

What would settle it

A concrete family of convex sets obeying the matroidal colorful intersection condition yet possessing no common affine k-transversal, or a matroidal join whose actual connectivity falls below the claimed bound and permits an obstructing equivariant map.

read the original abstract

We establish a colorful and, more generally, matroidal solution to the problem of Goodman and Pollack on the existence of an $\mathbb{F}$-affine $k$-dimensional transversal to a family of convex sets in $\mathbb{F}^d$, where $0 \le k \le d - 1$ is an integer and $\mathbb{F} \in \{\mathbb{R}, \mathbb{C}\}$ is a field. Our results unify several classical and recent theorems. In the case $k=0$, we recover the colorful Helly theorem of Lov\'asz, together with a matroidal extension due to Kalai and Meshulam. In the opposite extremal case $k=d-1$, we obtain Holmsen's colorful and matroidal generalization of the Goodman-Pollack-Wenger theorem. Additionally, we extend the recent noncolorful solution of the Goodman-Pollack problem by McGinnis and the author. As the main application, we obtain a matroidal and colorful Dol'nikov-type transversal theorem. Our methods are topological. We introduce matroidal joins, defined as homotopy colimits of diagrams over face posets of matroidal complexes, and derive estimates on their connectivity. The proof additionally relies on adaptations of nonexistence results for equivariant maps from Stiefel manifolds to spheres.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims a colorful and more generally matroidal solution to the Goodman-Pollack problem on the existence of an F-affine k-dimensional transversal to a family of convex sets in F^d (F = R or C). It unifies the colorful Helly theorem (k=0 case, recovering Lovász and the Kalai-Meshulam matroidal extension), Holmsen's colorful/matroidal generalization of the Goodman-Pollack-Wenger theorem (k=d-1 case), and extends the recent noncolorful solution of McGinnis and the author. The main application is a matroidal and colorful Dol'nikov-type transversal theorem. Methods are topological: matroidal joins are introduced as homotopy colimits of diagrams over face posets of matroidal complexes, with derived connectivity estimates, together with adaptations of nonexistence results for equivariant maps from Stiefel manifolds to spheres.

Significance. If the connectivity estimates hold for arbitrary matroids, the work would constitute a significant unification of classical and recent results in combinatorial convexity and topological combinatorics, extending from the k=0 colorful Helly regime through the full range of k up to d-1 and yielding new Dol'nikov-type applications. The introduction of matroidal joins as a general construction is a conceptual strength that could see wider use; the topological approach is independent of fitted parameters and provides a uniform framework.

major comments (2)
  1. [§4] §4 (Connectivity estimates for matroidal joins): The claim that the homotopy colimit construction over the face poset yields sufficient connectivity to obstruct all relevant G-equivariant maps Stiefel(V) → S(W) is load-bearing for the transversal existence. For general matroids (beyond the partition case recovering Lovász), the estimate appears to deliver only (r-2)-connectivity rather than the (r-1)-connectivity required in the Goodman-Pollack regime; this would leave an obstruction and prevent the existence conclusion from following.
  2. [§5] §5 (Adaptations of nonexistence results): The adaptations of nonexistence theorems for equivariant maps from Stiefel manifolds to spheres are invoked to complete the proof, but the text does not explicitly verify that the group actions, dimensions, and fixed-point conditions continue to hold uniformly when the underlying matroid is not a partition matroid; this verification is necessary for the central claim.
minor comments (2)
  1. [Introduction] The introduction would benefit from a short table or enumerated list explicitly mapping which classical theorems are recovered in which parameter regimes (k=0, k=d-1, etc.).
  2. [§2] Notation for the matroidal complex and its face poset could be illustrated with a small concrete example (e.g., a uniform matroid of rank 2) to aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive assessment of its potential significance. We address the two major comments point by point below, offering clarifications on the connectivity estimates and the verification of the nonexistence results. Where appropriate, we indicate revisions that will be incorporated into the next version.

read point-by-point responses

  1. Referee: [§4] §4 (Connectivity estimates for matroidal joins): The claim that the homotopy colimit construction over the face poset yields sufficient connectivity to obstruct all relevant G-equivariant maps Stiefel(V) → S(W) is load-bearing for the transversal existence. For general matroids (beyond the partition case recovering Lovász), the estimate appears to deliver only (r-2)-connectivity rather than the (r-1)-connectivity required in the Goodman-Pollack regime; this would leave an obstruction and prevent the existence conclusion from following.

    Authors: We maintain that the matroidal join construction, as the homotopy colimit of the diagram indexed by the face poset of the matroidal complex, yields (r-1)-connectivity even for general matroids. This follows from the shellability properties of matroidal complexes and the additional suspension-like effect in the homotopy colimit, which increases the connectivity by one dimension beyond the naive estimate. The partition-matroid case recovers the known (r-1) bound, and the general case proceeds analogously via the same spectral sequence or Mayer-Vietoris arguments. To eliminate any ambiguity, we will revise Section 4 to include an explicit computation of the connectivity degree using the face-poset filtration. revision: yes

  2. Referee: [§5] §5 (Adaptations of nonexistence results): The adaptations of nonexistence theorems for equivariant maps from Stiefel manifolds to spheres are invoked to complete the proof, but the text does not explicitly verify that the group actions, dimensions, and fixed-point conditions continue to hold uniformly when the underlying matroid is not a partition matroid; this verification is necessary for the central claim.

    Authors: The group actions on the Stiefel manifold and target sphere are induced from the linear representation of the matroid over F, which is defined uniformly for any matroid (not just partition matroids). The fixed-point-free condition on the relevant spheres follows from the same dimension count and the absence of fixed vectors in the orthogonal complement, independent of the matroid being a partition. We agree that an explicit uniform verification would improve readability. We will add a short lemma or paragraph in Section 5 that confirms the group actions, dimensions, and fixed-point conditions hold for arbitrary matroids represented over F. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior noncolorful result; topological derivation of matroidal joins remains independent

full rationale

The paper introduces matroidal joins as homotopy colimits of diagrams over face posets of matroidal complexes and derives connectivity estimates to guarantee nonexistence of certain equivariant maps from Stiefel manifolds to spheres. This topological construction and the resulting obstruction arguments form a self-contained derivation that does not reduce to fitted parameters, self-definitions, or load-bearing self-citations. The reference to the author's prior noncolorful work with McGinnis is used only for extension and unification of classical results such as colorful Helly and Goodman-Pollack-Wenger, without the central matroidal colorful transversal theorems depending on unverified prior claims by construction. No equations or steps exhibit the patterns of self-definitional reduction or renaming known results as new predictions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only; no explicit free parameters, axioms, or invented entities are listed. The work relies on standard topological background (homotopy colimits, Stiefel manifolds) and matroid theory, which are treated as given.

pith-pipeline@v0.9.0 · 5766 in / 1098 out tokens · 22123 ms · 2026-05-20T23:58:01.595387+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    Math.119(1996), no

    Laura Anderson and Rephael Wenger,Oriented matroids and hyperplane transversals, Adv. Math.119(1996), no. 1, 117–125

    work page 1996

  2. [2]

    J. L. Arocha, J. Bracho, L. Montejano, D. Oliveros, and R. Strausz,Separoids, their categories and a Hadwiger-type theorem for transversals, Discrete Comput. Geom.27(2002), no. 3, 377–385

    work page 2002

  3. [3]

    Arocha, Javier Bracho, and Luis Montejano,A colorful theorem on transversal lines to plane convex sets, Combinatorica28(2008), no

    Jorge L. Arocha, Javier Bracho, and Luis Montejano,A colorful theorem on transversal lines to plane convex sets, Combinatorica28(2008), no. 4, 379–384

    work page 2008

  4. [4]

    2-3, 141–152

    Imre Bárány,A generalization of Carathéodory’s theorem, Discrete Math.40(1982), no. 2-3, 141–152

    work page 1982

  5. [5]

    Böröczky (eds.)Intuitive geometry, 1995, pp

    Imre Bárány and Shmuel Onn,Carathéodory’s theorem, colourful and applicable, in Imre Bárány and Károly J. Böröczky (eds.)Intuitive geometry, 1995, pp. 11–21

    work page 1995

  6. [6]

    Anders Björner,Shellable and Cohen-Macaulay partially ordered sets, Trans. Amer. Math. Soc.260(1980), no. 1, 159– 183

    work page 1980

  7. [7]

    ,The homology and shellability of matroids and geometric lattices, in White, Neil (ed.)Matroid Applications, 1992, pp. 226–283

    work page 1992

  8. [8]

    Blakers and William Schumacher Massey,The homotopy groups of a triad I, Ann

    Albert L. Blakers and William Schumacher Massey,The homotopy groups of a triad I, Ann. of Math.53(1951), no. 1, 161–205

    work page 1951

  9. [9]

    304, Springer Science & Business Media, 1972

    Aldridge Knight Bousfield and Daniel Marinus Kan,Homotopy limits, completions and localizations, V ol. 304, Springer Science & Business Media, 1972

    work page 1972

  10. [10]

    Tristan Hull,Borsuk-Ulam theorems for products of spheres and Stiefel manifolds revisited, Topol

    Yu Hin Chan, Shujian Chen, Florian Frick, and J. Tristan Hull,Borsuk-Ulam theorems for products of spheres and Stiefel manifolds revisited, Topol. Methods Nonlinear Anal.55(2020), no. 2, 553–564

    work page 2020

  11. [11]

    Holmsen,Some new results on geometric transversals, Discrete Comput

    Otfried Cheong, Xavier Goaoc, and Andreas F. Holmsen,Some new results on geometric transversals, Discrete Comput. Geom.72(2024), no. 2, 674–703

    work page 2024

  12. [12]

    Daniel Dugger,A primer on homotopy colimits, preprint (2008)

    work page 2008

  13. [13]

    Systems8(1988), no

    Edward Fadell and Sufian Husseini,An ideal-valued cohomological index theory with applications to Borsuk-Ulam and Bourgin-Yang theorems, Ergodic Theory Dynam. Systems8(1988), no. Charles Conley Memorial Issue, 73–85

    work page 1988

  14. [14]

    Jon Folkman,The homology groups of a lattice, J. Math. Mech. (1966), 631–636

    work page 1966

  15. [15]

    Goodman and Richard Pollack,Hadwiger’s transversal theorem in higher dimensions, J

    Jacob E. Goodman and Richard Pollack,Hadwiger’s transversal theorem in higher dimensions, J. Amer. Math. Soc. (1988), 301–309

    work page 1988

  16. [16]

    Goodman, Richard Pollack, and Rephael Wenger,Geometric transversal theory, New trends in discrete and computational geometry, 1993, pp

    Jacob E. Goodman, Richard Pollack, and Rephael Wenger,Geometric transversal theory, New trends in discrete and computational geometry, 1993, pp. 163–198

    work page 1993

  17. [17]

    Hugo Hadwiger,Über Eibereiche mit gemeinsamer Treffgeraden, Portugaliae Math.16(1957), 23–29

    work page 1957

  18. [18]

    Allen Hatcher,Algebraic Topology, Cambridge University Press, 2002

    work page 2002

  19. [19]

    Eduard Helly,Über Mengen konvexer Körper mit gemeinschaftlichen Punkte, Jahresber. Dtsch. Math.-Ver.32(1923), 175–176

    work page 1923

  20. [20]

    Holmsen,On a transversal theorem of Montejano and Karasev, arXiv preprint arXiv:2112.07907 (2021)

    Andreas F. Holmsen,On a transversal theorem of Montejano and Karasev, arXiv preprint arXiv:2112.07907 (2021)

    work page arXiv 2021

  21. [21]

    ,A colorful Goodman-Pollack-Wenger theorem, arXiv preprint arXiv:2205.04077 (2022)

    work page arXiv 2022

  22. [22]

    Holmsen and Edgardo Roldán-Pensado,The colored Hadwiger transversal theorem inR d, Combinatorica 36(2016), no

    Andreas F. Holmsen and Edgardo Roldán-Pensado,The colored Hadwiger transversal theorem inR d, Combinatorica 36(2016), no. 4, 417–429

    work page 2016

  23. [23]

    Holmsen and Rephael Wenger,Helly-type theorems and geometric transversals, in Jacob E

    Andreas F. Holmsen and Rephael Wenger,Helly-type theorems and geometric transversals, in Jacob E. Goodman, Joseph O’Rourke, and Csaba D. Tóth (eds.)Handbook of Discrete and Computational Geometry, 2017, pp. 91–123

    work page 2017

  24. [24]

    Ann.233(1978), no

    Sören Illman,Smooth equivariant triangulations of G-manifolds for G a finite group, Math. Ann.233(1978), no. 3, 199–220

    work page 1978

  25. [25]

    Math.191(2005), no

    Gil Kalai and Roy Meshulam,A topological colorful Helly theorem, Adv. Math.191(2005), no. 2, 305–311

    work page 2005

  26. [26]

    Daniel McGinnis,A complex analogue of the Goodman-Pollack-Wenger theorem, arXiv preprint arXiv:2303.16467 (2023)

    work page arXiv 2023

  27. [27]

    6, 1103– 1109

    ,A necessary and sufficient condition for(2d−2)-transversals inR 2d, Combinatorica43(2023), no. 6, 1103– 1109

    work page 2023

  28. [28]

    Math.490(2026)

    Daniel McGinnis and Nikola Sadovek,A necessary and sufficient condition for k-transversals, Adv. Math.490(2026). ON COLORFUL GENERALIZATIONS OF THE GOODMAN–POLLACK TRANSVERSAL PROBLEM 15

    work page 2026

  29. [29]

    Karasev,Topological transversals to a family of convex sets, Discrete Comput

    Luis Montejano and Roman N. Karasev,Topological transversals to a family of convex sets, Discrete Comput. Geom. 46(2011), no. 2, 283–300

    work page 2011

  30. [30]

    3, Oxford University Press, 2006

    James Oxley,Matroid theory, V ol. 3, Oxford University Press, 2006

    work page 2006

  31. [31]

    3, 307–311

    Richard Pollack and Rephael Wenger,Necessary and sufficient conditions for hyperplane transversals, Combinatorica 10(1990), no. 3, 307–311

    work page 1990

  32. [32]

    Nikola Sadovek,Obstructions across geometry and topology, PhD thesis, Freie Universität Berlin (2025)

    work page 2025

  33. [33]

    Nikola Sadovek and Pablo Soberón,Complex analogues of the Tverberg–Vre´ cica conjecture and central transversal theorems, Trans. Amer. Math. Soc.379(2026), 3665–3691

    work page 2026

  34. [34]

    Sarkaria,Tverberg’s theorem via number fields, Israel J

    Karanbir S. Sarkaria,Tverberg’s theorem via number fields, Israel J. Math.79(1992), no. 2, 317–320

    work page 1992

  35. [35]

    8, Walter de Gruyter & Co., Berlin, 1987

    Tammo tom Dieck,Transformation groups, De Gruyter Studies in Mathematics, vol. 8, Walter de Gruyter & Co., Berlin, 1987

    work page 1987

  36. [36]

    Geom.5 (1990), no

    Rephael Wenger,A generalization of Hadwiger’s transversal theorem to intersecting sets, Discrete Comput. Geom.5 (1990), no. 4, 383–388

    work page 1990

  37. [37]

    George W Whitehead,Homotopy groups of joins and unions, Trans. Amer. Math. Soc.83(1956), no. 1, 55–69

    work page 1956

  38. [38]

    John H. C. Whitehead,Combinatorial homotopy I, Bull. Amer. Math. Soc55(1949), no. 3, 213–245. Center forSystemsBiologyDresden, Dresden, Germany Faculty ofMathematics, TechnischeUniversit ¨atDresden, Dresden, Germany MaxPlanckInstitute ofMolecularCellBiology andGenetics, Dresden, Germany Email address:sadovek@mpi-cbg.de

    work page 1949