REVIEW 3 major objections 5 minor 46 references
Representation stability in the (co)homology of vertical configuration spaces
T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read For each degree d, the (co)homology of vertical configuration spaces is representation stable as S_k ≀ S_n-representations, with stable range n ≥ ⌈4d/(q−1)⌉.
desk verdict Solid new proof of representation stability for vertical configuration spaces, with real quantitative improvements; the main gap is that the homotopy FI^♯-space structure (Theorem 7.22) is outsourced to a citation and needs to be written out before the paper is complete. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the category FI_{S_k}^♯, an enlargement of FI_{S_k} whose morphisms may also forget clusters by sending them to a basepoint; an FI_{S_k}^♯-module is a functor from this category to R-modules, packaging the whole family of S_k ≀ S_n-representations into one algebraic object. The paper builds a homotopy FI_{S_k}^♯-space structure on the vertical configuration spaces by combining the precomposition action (forgetting clusters) with stabilization maps that insert a new cluster far away; the condition q ≥ 2 guarantees that permuting labels inside the new cluster changes the map only up to homotopy. On the cohomology of a fixed degree d, this structure yields an FI_{S_k}^♯-module, and the Bianchi–Kranhold ray-partition basis shows its rank grows polynomially in n with degree at most floor(2d/(q−1)). The structure theorem for FI_G^♯-modules then forces the induced-representation decomposition and the character polynomial.
What would settle it
Compare the two composites $rV^{2}$_2($R^{{1,2}}$) → $rV^{2}$_3($R^{{1,2}}$) → $rV^{2}$_2($R^{{1,2}}$) given by forgetting the newly added cluster, versus adding another far-away cluster and then forgetting one of the far-away clusters. If these two maps are not homotopic, the compatibility required for the homotopy FI_{S_k}^♯-space structure, and hence for the main stability theorem, fails.
Extended reading notes
Core claim
For each p ≥ 0, q ≥ 2, k ≥ 1, and degree d, the sequences (H^d(rV^k_n($R^{{p,q}}$); R))_n and (H_d(rV^k_n($R^{{p,q}}$); R))_n are FI_{S_k}^♯-modules finitely generated in degree at most floor(2d/(q−1)). The structure theorem for such modules gives the explicit form H^d(...; R) ≅ ⊕_{i=0}^{⌊2d/(q−1)⌋} Ind_{S_k≀S_i × S_k≀S_{n−i}}^{S_k≀S_n}(U_i ⊗ R), so all degree-d classes come from configurations with at most floor(2d/(q−1)) clusters; over Q the irreducible constituents stabilize for n ≥ ceil(4d/(q−1)). Applying the transfer map to coinvariants, the paper deduces that the unordered vertical configuration spaces are rationally (co)homologically stable: the stabilization maps are always injective and are isomorphisms for n ≥ floor(2d/(q−1)).
Load-bearing premise
The load-bearing premise is that the maps that add a new far-away cluster and the maps that forget clusters can be made compatible up to homotopy in a single FI_{S_k}^♯-space structure; the paper cites an earlier argument for this compatibility rather than writing out the full proof, and if that compatibility failed the stability conclusions would not follow.
Editorial extensions
If this is right
- Every degree-d rational cohomology class of rV^k_n(R^{p,q}) is accounted for by configurations with at most floor(2d/(q−1)) clusters: the group is an induced representation built from U_i for i ≤ floor(2d/(q−1)).
- For n ≥ ceil(4d/(q−1)), the decomposition of H^d and H_d into irreducible S_k ≀ S_n-representations is independent of n, so computational results at finitely many n determine all n.
- The character of H^d (and H_d) over Q is expressed by a single polynomial in the coloured cycle-counting functions, uniform in n.
- The unordered spaces V^k_n(R^{p,q}) have rationally stable (co)homology: stabilization maps are injective in all degrees and isomorphisms for n ≥ floor(2d/(q−1)), improving the previous stable range when q ≥ 3.
Reading between the lines
- Inference: the explicit ray-partition basis should allow closed-form polynomial formulas for the Betti numbers of rV^k_n(R^{p,q}) in each degree, not merely the polynomial-growth bound used here.
- Inference: the stable range floor(2d/(q−1)) for the unordered spaces is likely not sharp in general; the sharper thresholds known for ordinary configuration spaces (the k=1, p=0 case) suggest room for improvement, especially for q odd.
- Inference: the same FI_G^♯-module route should prove representation stability for any family of spaces with a ray-partition-style cohomology basis and a homotopy-compatible stabilization map, including clusters with further internal structure.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies ordered vertical configuration spaces rV^k_n(R^{p,q}) of n clusters of k points sharing their first p coordinates, with free actions of wreath products S_k ≀ S_n. Using Bianchi-Kranhold's explicit cohomology basis by ray partitions, the authors prove that in each cohomological degree d the Betti numbers grow polynomially in n with degree at most floor(2d/(q-1)). They then claim that the family Ver^k_■(R^{p,q}) carries a homotopy FI_{S_k}^sharp-space structure, so that the homology and cohomology groups form FI_{S_k}^sharp-modules. From the structure theory of FI_G^sharp-modules they deduce finite generation in degree at most floor(2d/(q-1)), representation stability over Q with stable range n ≥ ceil(4d/(q-1)), induced-representation decompositions, character polynomial descriptions, and a new proof of rational homological stability for the unordered vertical configuration spaces with improved stable range for q ≥ 3.
Significance. If the FI_{S_k}^sharp structure is fully justified, the main theorem is a substantial and clean result: it gives explicit finite generation degree, strong structural constraints on the wreath-product representations, character polynomials, and an improved rational homological stability range. The rank estimate from ray partitions is transparent and is a genuine contribution independent of the FI^sharp machinery. The paper carefully assembles existing tools from Sam-Snowden, Gan-Li, Casto, Ramos, Gadish, and Bianchi-Kranhold, and it does not rely on the target theorem, so there is no circularity. The main weakness is that the categorical structure asserted in Theorem 7.22, on which the central stability results depend, is delegated to a citation rather than proved in the manuscript.
major comments (3)
- [Section 7.3, Theorem 7.22] Theorem 7.22 is the hinge of the paper: Corollary 7.23, Theorem 7.24, and all subsequent corollaries use the FI_{S_k}^sharp-module structure that it supplies. The proof is one sentence citing [CEF15, Proof of Proposition 6.4.2]. Proposition 7.21 only verifies the stabilizer condition for inclusions, which is the homotopy analogue of Lemma 3.14 and yields a homotopy FI_G-space, not a homotopy FI_G^sharp-space. For a general FI_G^sharp morphism (Z,f) with Z⊆A and f:Z→B an FI_G morphism, one must prove that deleting the clusters A\Z, applying f, and adding B\f(Z) far away is homotopic to the composite prescribed by the category, and that these homotopies compose coherently. The internal label permutations in f are precisely the part specific to wreath products, and they are not visibly covered by the cited CEF argument. Please expand the proof of Theorem 7.22 or provide a precise adaptation that addresses the FI_G twist data.
- [Section 7.3, Corollary 7.23] The claim that cohomology groups form FI_G^sharp-modules needs an additional stated argument. A covariant functor Ver^k_■ : FI_G^sharp → hTop induces a contravariant assignment on H^d, not a covariant one. To conclude that H^d is an FI_G^sharp-module, one must use the self-duality of FI_G^sharp, sending a partial G-map (Z,f) to the partial G-map (f(Z), f^{-1}); this identification is not stated or proved in the paper. Please add this observation or define homotopy FI_G^sharp-spaces so that the conversion from contravariant cohomology to a covariant FI_G^sharp-module is explicit.
- [Section 7.4, Theorem 7.24] The proof of the first bullet over an arbitrary commutative ring R is too terse. Corollary 7.14 bounds Q-Betti numbers, but finite generation of the FI_{S_k}^sharp-module over R is not a formal consequence of Q-polynomial growth unless one first applies Corollary 5.6(v) to the integral FI^sharp-module H^d(rV^k_n;Z), whose rank is polynomial by Theorem 7.13, and then tensors with R, or otherwise proves that H^d(rV^k_n;R) and H_d(rV^k_n;R) are free R-modules with polynomial rank. Please spell out this step so that the statement for arbitrary R follows from the displayed hypotheses.
minor comments (5)
- [Section 1.3] The phrase 'and and Bianchi–Kranhold' contains a duplicated 'and'; please correct this typo.
- [Definition 7.16] Definition 7.16 says 'A homotopy FI_G-space is a functor X from FI_G^sharp to hTop'; this should presumably read 'from FI_G', with homotopy FI_G^sharp-spaces defined separately from FI_G^sharp.
- [Definition 7.18] In the definition of Ver^k_B(R^{p,q}), the domain is written as T^k_S but should be T^k_B; please fix this notation.
- [Section 7.5.2] The displayed setup says the covers are equipped with maps \tilde φ_n : \tilde X_n → \tilde X_{n+1} and \tilde φ_n : \tilde X_{n+1} → \tilde X_n, using the same symbol for two different maps, and the following relations repeat the same formula. Please correct the notation and clarify the second map.
- [Section 7.1] The word 'compuation' should be 'computation' in the opening sentence of Section 7.1.
Circularity Check
No significant circularity: the main theorem follows from external cohomology computations and general FI_G theory, with the delegated FI^sharp construction being a proof gap rather than a circular step.
full rationale
The paper's central claim (Theorem 7.24) is derived from three independent inputs: (1) Bianchi–Kranhold's explicit integral cohomology basis (Theorem 7.6, [BK22, Theorem 3.7]), which yields the polynomial rank bound in Theorem 7.13; (2) the general FI_G and FI_G^sharp-module theory of Sam–Snowden, Gan–Li, Ramos, and Casto, especially the structure theorem for FI_G^sharp-modules (Theorem 5.4) and its consequence Corollary 5.6; and (3) the construction of a homotopy FI_{S_k}^sharp-space structure on Ver^k_*(R^{p,q}) (Theorem 7.22). None of these inputs is the target result, and none is authored by the present paper's authors. The rank bound is a bound on the size of an explicit ray-partition basis, not a disguised form of finite generation; finite generation in degree at most floor(2d/(q-1)) is obtained by feeding that rank bound through Corollary 5.6 after the FI^sharp-module structure has been established independently in Corollary 7.23. The adaptation of Church–Ellenberg–Farb's Proposition 6.4.2 in Theorem 7.22 is asserted rather than written out, and the compatibility of the co-FI_G action with stabilization maps for wreath-product twists is indeed the fragile hinge; however, this is a proof delegation or potential gap, not circularity, because the cited CEF argument is external and is not equivalent to the stability conclusion. The paper's citations to Wilson's earlier work appear only in literature-review and survey contexts and are not load-bearing. No equation in the paper reduces to its own inputs by construction, and no fitted parameter is renamed as a prediction. Accordingly, the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption The integral cohomology of vertical configuration spaces is freely generated by ray partitions, with the degree formula |u_Q| = p(r−a(Q)) + (q−1)(|K|−ℓ(Q)) (Bianchi-Kranhold, Theorem 7.6).
- domain assumption The structure theorem for FI_G^♯-modules: any FI^♯-module splits as a direct sum of induced modules M(T_d), and polynomial rank growth implies finite generation in the corresponding degree (Casto/CEF, Theorem 5.4 and Corollary 5.6).
- standard math A homotopy FI_G^♯-space structure on a family of topological spaces induces FI_G^♯-module structures on its singular homology and cohomology groups.
- domain assumption Gadish's theorem: for an induced FI_G-module generated in degree at most r, the coinvariant sequence is injective for all n and becomes isomorphisms for n ≥ r (Gadish, Proposition 7.33).
- ad hoc to paper The family Ver^k_■(R^{p,q}) admits the structure of a homotopy FI_{S_k}^♯-space with respect to the precomposition and stabilization maps (Theorem 7.22).
Cite this review
Pith. "Pith review of Representation stability in the (co)homology of vertical configuration spaces." pith.science (2026). https://pith.science/paper/PUSMGASU
@misc{pith2026241201128,
author = {Pith},
title = {Pith review of: Representation stability in the (co)homology of vertical configuration spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/PUSMGASU}},
note = {Machine review of arXiv:2412.01128}
}
abstract
In this paper, we study sequences of topological spaces called "vertical configuration spaces" of points in Euclidean space. We apply the theory of FI$_G$-modules, and results of Bianchi-Kranhold, to show that their (co)homology groups are "representation stable" with respect to natural actions of wreath products $S_k \wr S_n$. In particular, we show that in each (co)homological degree, the (co)homology groups (viewed as $S_k \wr S_n$-representations) can be expressed as induced representations of a specific form. Consequently, the characters of their rational (co)homology groups, and the patterns of irreducible $S_k \wr S_n$-representation constituents of these groups, stabilize in a strong sense. In addition, we give a new proof of rational (co)homological stability for unordered vertical configuration spaces, with an improved stable range.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[1]
Martin Aigner, A course in enumeration, Springer, 2007
work page 2007
-
[2]
V. I. Arnold, Certain topological invariants of algebraic functions, Trudy Moskov. Mat. Ob s c. 21 (1970), 27--46. 274462
work page 1970
-
[3]
Vladimir Igorevich Arnol'd, Certain topological invariants of algebraic functions, Trudy Moskovskogo Matematicheskogo Obshchestva 21 (1970), 27--46
work page 1970
-
[4]
Andrea Bianchi and Florian Kranhold, Vertical configuration spaces and their homology, Q. J. Math. 73 (2022), no. 4, 1279--1306. 4520220
work page 2022
-
[5]
Kevin Casto, FI_G -modules, orbit configuration spaces, and complex reflection groups , 2016
work page 2016
-
[6]
Thomas Church and Jordan S Ellenberg, Representation stability references, arXiv preprint arXiv:1506.01022 (2015)
work page Pith review arXiv 2015
-
[7]
Thomas Church and Jordan Ellenberg, Homology of FI -modules , Geometry & Topology 21 (2017), no. 4, 2373--2418
work page 2017
-
[8]
Thomas Church, Jordan S. Ellenberg, and Benson Farb, FI -modules and stability for representations of symmetric groups , Duke Math. J. 164 (2015), no. 9, 1833--1910. 3357185
work page 2015
Show all 46 references
-
[9]
5, 2951--2984
Thomas Church, Jordan S Ellenberg, Benson Farb, and Rohit Nagpal, FI -modules over N oetherian rings , Geometry & Topology 18 (2014), no. 5, 2951--2984
2014
-
[10]
Thomas Church and Benson Farb, Representation theory and homological stability, Adv. Math. 245 (2013), 250--314. 3084430
2013
-
[11]
2, 465--504
Thomas Church, Homological stability for configuration spaces of manifolds, Inventiones mathematicae 188 (2012), no. 2, 465--504
2012
-
[12]
2, 89--90
Alfred H Clifford, Representations induced in an invariant subgroup, Proceedings of the National Academy of Sciences 23 (1937), no. 2, 89--90
1937
-
[13]
Benson Farb, Representation stability, arXiv preprint arXiv:1404.4065 (2014)
2014 arXiv
-
[14]
129, Springer Science & Business Media, 2013
William Fulton and Joe Harris, Representation theory: a first course, vol. 129, Springer Science & Business Media, 2013
2013
-
[15]
Nir Gadish, Categories of FI type: a unified approach to generalizing representation stability and character polynomials , Journal of Algebra 480 (2017), 450--486
2017
-
[16]
, Representation stability for families of linear subspace arrangements, Advances in Mathematics 322 (2017), 341--377
2017
-
[17]
Wee Liang Gan and Liping Li, Coinduction functor in representation stability theory, J. Lond. Math. Soc. (2) 92 (2015), no. 3, 689--711. 3431657
2015
-
[18]
(N.S.) 25 (2019), no
, Linear stable range for homology of congruence subgroups via FI -modules , Selecta Math. (N.S.) 25 (2019), no. 4, Paper No. 55, 11. 3997138
2019
-
[19]
Allen Hatcher, Algebraic topology, Cambridge University Press, 2002
2002
-
[20]
Sarah Herberz, Vertikale konfigurationsraume-homotopie-gruppen fur partitionen der lange zwei, Bachelor's thesis, Rheinische Friedrich-Wilhelms-Universitat Bonn, 2014
2014
-
[21]
Patricia Hersh and Victor Reiner, Representation stability for cohomology of configuration spaces in R ^d , Int. Math. Res. Not. IMRN (2017), no. 5, 1433--1486, With an appendix written jointly with Steven Sam. 3658170
2017
-
[22]
Frank Ingram, Naihuan Jing, and Ernie Stitzinger, Wreath product symmetric functions, arXiv preprint arXiv:0809.2439 (2008)
2008 arXiv
-
[23]
16, Addison-Wesley Publishing Co., Reading, MA, 1981, With a foreword by P
Gordon James and Adalbert Kerber, The representation theory of the symmetric group, Encyclopedia of Mathematics and its Applications, vol. 16, Addison-Wesley Publishing Co., Reading, MA, 1981, With a foreword by P. M. Cohn, With an introduction by Gilbert de B. Robinson. 644144
1981
-
[24]
Rita Jim\'enez Rolland and Jennifer C. H. Wilson, Stability properties of moduli spaces, Notices Amer. Math. Soc. 69 (2022), no. 4, 522--533. 4398059
2022
-
[25]
Florian Kranhold, Configuration spaces of clusters as E_d -algebras , arXiv preprint arXiv:2104.02729 (2021)
2021 arXiv
-
[26]
Genta Latifi, Vertical configuration spaces and homological stability, Master's thesis, Rheinische Friedrich-Wilhelms-Universität Bonn, 2017
2017
-
[27]
Dusa McDuff, Configuration spaces of positive and negative particles, Topology 14 (1975), 91--107. 358766
1975
-
[28]
3, 1371--1444
Martin Palmer, Homological stability for moduli spaces of disconnected submanifolds, i, Algebraic & Geometric Topology 21 (2021), no. 3, 1371--1444
2021
-
[29]
13, 2521 -- 2598
Andrew Putman and Steven V Sam, Representation stability and finite linear groups , Duke Mathematical Journal 166 (2017), no. 13, 2521 -- 2598
2017
-
[30]
Andrew Putman, Stability in the homology of congruence subgroups, Inventiones mathematicae 202 (2015), 987--1027
2015
-
[31]
Eric Ramos, Homological invariants of FI -modules and FI _ G -modules , Journal of Algebra 502 (2018), 163--195
2018
-
[32]
Christian Martin Wilhelm Rosner, Vertikale konfigurationsraume-fadell-neuwirth fasserung und eilenberg-maclane, Bachelor's thesis, Rheinische Friedrich-Wilhelms-Universitat Bonn, 2014
2014
-
[33]
Steven V Sam, Notes for M ath 847: Representation S tability
-
[34]
1, 38--44
, Structures in representation stability, Notices of the American Mathematical Society 67 (2020), no. 1, 38--44
2020
-
[35]
143 (1979), no
Graeme Segal, The topology of spaces of rational functions, Acta Math. 143 (1979), no. 1-2, 39--72. 533892
1979
-
[36]
Andrew Snowden, Syzygies of S egre embeddings and -modules , Duke Math. J. 162 (2013), no. 2, 225--277. 3018955
2013
-
[37]
, Algebraic structures in representation stability, 2019
2019
-
[38]
Steven V Sam and Andrew Snowden, Introduction to twisted commutative algebras, arXiv preprint arXiv:1209.5122 (2012)
2012 arXiv
-
[39]
3, Cambridge University Press, 2015, p
, Stability patterns in representation theory, Forum of Mathematics, Sigma, vol. 3, Cambridge University Press, 2015, p. e11
2015
-
[40]
Sam and Andrew Snowden, Gr\"obner methods for representations of combinatorial categories, J
Steven V. Sam and Andrew Snowden, Gr\"obner methods for representations of combinatorial categories, J. Amer. Math. Soc. 30 (2017), no. 1, 159--203. 3556290
2017
-
[41]
Reine Angew
, Representations of categories of G -maps , J. Reine Angew. Math. 750 (2019), 197--226. 3943321
2019
-
[42]
5, 2105--2126
Itamar Stein, The L ittlewood-- R ichardson rule for wreath products with symmetric groups and the quiver of the category F FI_n , Communications in Algebra 45 (2017), no. 5, 2105--2126
2017
-
[43]
2, 909--931
Jennifer Wilson, Representation stability for the cohomology of the pure string motion groups, Algebraic & Geometric Topology 12 (2012), no. 2, 909--931
2012
-
[44]
Jennifer CH Wilson, FI_W -modules and stability criteria for representations of classical W eyl groups , Journal of Algebra 420 (2014), 269--332
2014
-
[45]
1, 1--42
, FI_W -modules and constraints on classical W eyl group characters , Mathematische Zeitschrift 281 (2015), no. 1, 1--42
2015
-
[46]
Jennifer C. H. Wilson, An introduction to FI -modules and their generalizations , http://www.math.lsa.umich.edu/ jchw/FILectures.pdf, 2018, Summer School Lecture Notes
2018
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.