Hilbert Series for Configuration Spaces of Punctured Surfaces

Eric Ramos; Yifeng Huang

Hilbert Series for Configuration Spaces of Punctured Surfaces

T0 review · 0 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 For every once-punctured Riemann surface, a single rational series records all mixed Hodge numbers of all unordered configuration spaces.

desk verdict A genuinely new computation of the Hilbert series for configuration spaces of once-punctured surfaces, built on a spectral-sequence argument that mostly holds together; the all-r statement leans on an external preprint, but the core case deserves peer review. read the letter →

arxiv 2507.09746 v1 pith:7YTMYP2T submitted 2025-07-13 math.AG math.ATmath.CO

Yifeng Huang , Eric Ramos This is my paper · ORCID

classification math.AGmath.ATmath.CO MSC 14C3055R80

keywords configurationspacesmixedHodgenumbersHilbertseriespuncturedsurfaceshomologicalstabilityTotarospectralsequencerationalgeneratingfunctions

topics The Hodge Conjecture

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

The paper claims a complete description, for every once-punctured Riemann surface $\Sigma_{g,1}$, of the mixed Hodge numbers appearing in the cohomology of its unordered configuration spaces: they are all coefficients of one four-variable rational function, whose numerator is built from binomial coefficients and whose denominator has two factors per genus. Since a theorem of Huang (cited as [11]) reduces the $r$-punctured case to the once-punctured case by multiplying the denominator by $(1+xyut)^{r-1}$, the same formula settles all $\Sigma_{g,r}$ with $r\ge 1$. The cases of genus at least two were previously unknown, so the paper upgrades known Betti-number computations to full mixed Hodge structure information and reads off stable behavior that earlier stability theorems had missed.

What carries the argument

The engine is the Totaro spectral sequence computing $H^*(\operatorname{PConf}_n(X))$, combined with exactness of taking $S_n$-invariants over $\mathbb{Q}$, which identifies $H^*(\operatorname{Conf}_n(X))$ with the $S_n$-invariants of the $E_3$-page. The authors construct a combinatorial complex $\mathbb{Q}\Gamma_{g,n}$ whose basis is indexed by tuples $(\rho,S,T,\vec u,\vec v)$, prove it is isomorphic to $E_2(X,n)^{S_n}$ preserving the quadruple grading, and show that its differential has the same structure constants as wedge product with the symplectic form $\omega=x_1\wedge y_1+\cdots+x_g\wedge y_g$. Lemma 3.5, which is the hard Lefschetz property for an abelian variety of dimension $g$, computes the rank of that operator in every degree, and the degree shift $\Phi_g$ in the final formula is exactly the algebraic shadow of this rank computation.

What would settle it

Extract from the formula the predicted coefficient of, say, $x^2 y^1 u^3 t^3$ in $f_X$ for $X=\Sigma_{2,1}$, and compute $h^{2,1;3}(\operatorname{Conf}_3(X))$ independently by implementing the $E_3$-page of the Totaro spectral sequence with $S_3$-invariants in a computer algebra system; any disagreement with the coefficient would disprove the theorem.

Watch

Extended reading notes

Core claim

The central discovery is Theorem A: for $X=\Sigma_{g,r}$ with $g\ge0$, $r\ge1$, the signed Hilbert series $f_X(x,y,u,t)=\sum_{p,q,i,n}(-1)^i h^{p,q;i}(\operatorname{Conf}_n(X))\,x^p y^q u^i t^n$ equals $$\frac{1}{(1+xyut)^{r-1}}\cdot\frac{\Phi_g\{(1-$xyz^{2}$)(1-xz)^g(1-yz)^g\}}{(1-t)(1-$x^{2}$$yu^{2}$$t^{2}$)^g(1-$xy^{2}$$u^{2}$$t^{2}$)^g},$$ where $\Phi_g$ is the $\mathbb{Z}[x,y]$-linear map sending $z^j$ to $u^j t^j$ for $0\le j\le g$ and to $u^{j-1}t^j$ for $g+2\le j\le 2g+2$; the $z^{g+1}$ coefficient automatically vanishes and need not be specified. Equality means the coefficient of $x^p y^q u^i t^n$ is exactly $(-1)^i h^{p,q;i}(\operatorname{Conf}_n(X))$, so the formula determines every mixed Hodge number. The genuinely new content is the full range $g\ge2$.

Load-bearing premise

The whole formula rests on the identification $H^*(\operatorname{Conf}_n(X))\cong E_3(X,n)^{S_n}$ preserving mixed Hodge numbers, which requires purity of $H^*(\Sigma_{g,1})$ and exactness of taking $S_n$-invariants over $\mathbb{Q}$; if the Totaro spectral sequence failed for these spaces, the closed form would not compute $f_X$.

Editorial extensions

If this is right

Corollary 1.5(a): every mixed Hodge number of $\operatorname{Conf}_n(\Sigma_{g,r})$ vanishes when $n<i$ and stabilizes exactly for $n\ge i+1$, improving sharply on the known representation-stable range $n=2i$.
After substituting $u\mapsto -u$, the numerator $\Phi_g\{(1-xyz^2)(1-xz)^g(1-yz)^g\}$ has nonnegative coefficients, so the formula is cancellation-free and directly enumerates Hodge numbers.
Setting $x=y=1$ recovers the Drummond-Cole-Knudsen Betti-number formula for surface configuration spaces, and setting $x=y=u=1$ recovers Gal's Euler-characteristic generating function in this case.
The rational formulas for the diagonal strands $i=n$ and $i=n+1$ combine with stability to give rational generating functions along every linear strand $(i,n)=(k_1m,k_2m)$, and hence in the limit $n\to\infty$ for stable mixed Hodge numbers.
The mixed Hodge structure of $H^i(\operatorname{Conf}_n(\Sigma_{g,r}))$ is not pure for most $g,r>1$, unlike the once-punctured elliptic curve analyzed in [4].

Reading between the lines

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

The same spectral-sequence strategy could plausibly be pushed to other varieties whose cohomology is pure and generated in odd degree, where an analogous symplectic wedge operator would replace $\omega\wedge\cdot$ and the resulting Hilbert series would again be rational with a Lefschetz-type shift.
Theorem A implies that a single five-variable generating function jointly recording $g$, $r$, and the configuration-space data is rational, since each additional puncture merely contributes a factor $(1+xyut)^{-1}$; this suggests an as-yet-unstated 'stability in punctures' statement.
The positivity of the numerator after the Hodge sign change hints that the mixed Hodge numbers support extra structure, such as an action of the mapping class group; tracking such an action would give an equivariant refinement of $f_X$ with a rationality property the authors leave open.

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.

Desk Editor's Note

read the letter

Here's my take. Theorem A is a real new result: for g >= 2 and once-punctured surfaces, the four-variable Hilbert series is computed by a clean rational formula with a cancellation-free numerator, and combining with Huang's earlier preprint gives all r >= 1. The paper is honest about what is new and what is not (g=1 was known from [4], g=0 effectively known). The main contribution is the proof: a distinguished basis of the S_n-invariant E_2 page of Totaro's spectral sequence, with the differential identified as a hard-Lefschetz operator, which explains the shift Phi_g. I checked the internal algebra around Lemma 3.7 and it holds. The computation passes sanity checks at genus 0 and 1, and the positivity/cancellation-free remark is substantiated.

Soft spots: (1) equation (2.12) and Corollary 3.4 import earlier spectral-sequence and purity results with proofs only sketched; for a self-contained paper that is a bit of a gap, but the purity of H^*(Sigma_{g,1}) is standard and the same argument from [4] applies, so I do not see a load-bearing flaw. (2) The r >= 2 statement relies on the first author's preprint [11]; that is acknowledged and not fitted, but it means the advertised all-r theorem is conditional on an external preprint that should be independently checked. (3) Some typos: 'coefficeint', 'aformentioned', 'Reimann', and in Definition 2.9 the variable rho is written as r in q(t); the bullet for v_j should likely say color y(j). None affect the math.

Overall: a serious, careful paper with a central claim that is well supported. The citation pattern is fine; self-citation to [4] and [11] is appropriate since those are the actual inputs. I would send this to a serious referee without hesitation.

Referee Report

0 major / 5 minor

Summary. The paper determines, for every g ≥ 0 and r ≥ 1, a four-variable rational generating function f_X(x,y,u,t) recording the signed mixed Hodge numbers h^{p,q;i}(Conf_n(Σ_{g,r})) of unordered configuration spaces of the r-punctured genus-g Riemann surface. The main theorem (Theorem A) gives an explicit formula involving a linear operator Φ_g acting on a polynomial in z, with a denominator (1-t)(1-x^2 y u^2 t^2)^g(1-x y^2 u^2 t^2)^g(1+xyut)^{r-1}. The proof uses the Totaro spectral sequence, passes to S_n-invariants to obtain a combinatorial complex QΓ_{g,n}, proves that its distinguished generators form a basis, and computes the resulting homology by relating the differential to the hard Lefschetz operator in an exterior algebra. The cases g ≥ 2, r = 1 are new; the r ≥ 2 extension is obtained by combining the r = 1 result with a theorem of the first author in [11]. The paper also derives applications to vanishing and stability of mixed Hodge numbers along the strands i = n and i = n+1, recovering and refining known Betti-number stability and Euler-characteristic results.

Significance. If Theorem A is correct, it provides a complete and explicit answer to a natural question: for all once- and multi-punctured Riemann surfaces, every mixed Hodge number of every unordered configuration space is obtained as the coefficient of a single rational series. This goes substantially beyond previous work, which treated only the genus-1 case (Cheong–Huang, [4]) and the closed-surface case (Pagaria, [19]). The paper is honest about its inputs: the r = 1, g ≥ 2 cases are proved here, while the r ≥ 2 reduction is cited from a first-author preprint [11]. The formula has strong internal consistency checks (it reproduces the genus-0 and genus-1 cases and the known Betti numbers of Drummond-Cole and Knudsen), and the construction gives a cancellation-free positive numerator after the substitution u ↦ -u. The proof is largely computational and self-contained for the new cases, and the hard-Lefschetz explanation of the shift operator Φ_g is a nice conceptual addition. The applications to homological and secondary stability, in particular the sharp range n ≥ i+1 for stability of mixed Hodge numbers, are interesting and directly follow from the explicit series.

minor comments (5)

[§2.2, Eq. (2.12)] The isomorphism H^*(Conf_n(X)) ≅ E_3(X,n)^{S_n} preserving mixed Hodge numbers is stated with the justification 'the same argument of [4, §3]'. Since [4] is specifically about the genus-1 once-punctured elliptic curve and this isomorphism is load-bearing, please either spell out the degeneration/purity argument for a general once-punctured surface or cite a general statement that covers all g.
[§2.2 and Corollary 3.4] The differential on the combinatorial model QΓ_{g,n} is defined in (2.23), and Corollary 3.4 asserts an isomorphism of differential graded objects (QΓ_{g,n}, d) ≅ (E_2(X,n)^{S_n}, d). The linear-independence part is proved in Proposition 3.3, but the identification of the differentials is not shown. Please add a few sentences explaining how (2.23) follows from d g_{ij} = [∆], Lemma 2.10, and the symmetrization e_n, including the factor 2 and the sign (-1)^{|S|+|T_{<a}|}.
[Definition 2.9 and Lemma 2.10] The letter r is used both for the first component ρ of a tuple t ∈ Γ_g and for the number of punctures of Σ_{g,r}. This overloading is confusing; for example q(t) = r + |u| + |v| uses r without defining it in Definition 2.9. I suggest using ρ consistently in Definitions 2.9, Lemma 2.10, and equation (2.23).
[Proposition 3.3] The proof that f_t ≠ 0 is convincing, but the final sentence about linear independence would be clearer if it explicitly noted that the subspaces ⊕_{(π,c)∈CP_t} E^{π,c}_2 are direct summands of E_2 with disjoint index sets CP_t, so a nontrivial linear combination of the f_t cannot cancel across different types t.
[Throughout] There are several typographical and notational slips: 'coefficeint' (Remark 1.2), 'aformentioned' (Introduction), 'Reimann' (Corollary 1.5), and the notation T_{<a} in (2.23) is not defined (presumably T_{<a} = {b ∈ T : b < a}). These should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the r=1 Hilbert series is derived from an internal spectral-sequence computation, and the only self-citations are explicit prior results, not fitted inputs.

full rationale

The paper's new content is the r=1 case of Theorem A, and that derivation is self-contained. The proof constructs the S_n-invariant part of the Totaro E_2-page, identifies it with the combinatorial complex QΓ_{g,n} via a basis argument (Proposition 3.3 and Corollary 3.4), computes the Hilbert series of that complex (Proposition 3.6), and then verifies the resulting closed form by an explicit algebraic identity (Lemma 3.7). The Φ_g map is not an ansatz fitted to the final formula: its structure constants are shown to coincide with the hard Lefschetz operator ι on an exterior algebra, and the dimensions of the kernels and cokernels are computed from that identification (Lemma 3.5 and equations (3.10)-(3.11)). Thus the claimed formula is derived rather than assumed. The paper does cite earlier work by the same authors, notably [4] for the mixed-Hodge comparison in (2.12) and for combinatorial lemmas, and [11] for the reduction from r to r=1. These are prior results with stated assumptions, not fitted parameters or restatements of the theorem being proved. The r≥2 part of Theorem A does depend on [11], but that dependence is explicit and acknowledged in Remark 1.3 and in the proof of Theorem A, and it is an external theorem rather than a circular reuse of the present conclusion. No step in the derivation chain equates the output to an input by definition, and no fitted quantity is renamed as a prediction. The self-citations are real independent support and do not make the derivation circular.

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

No constants are fitted to data. The theorem's variables g and r are inputs, and the shift operator Phi_g is defined rather than tuned. The proof relies on standard spectral sequence and Hodge theory, plus the external r-reduction theorem in [11], a first-author preprint. That external input is an axiom of the proof rather than a fitted parameter.

assumptions (6)

standard math Totaro spectral sequence E_2(X,n) computes H^*(PConf_n(X)), and its S_n-invariants compute H^*(Conf_n(X)) preserving mixed Hodge numbers.
Invoked in Section 2.2, equation (2.12), citing Totaro [26] and Cheong-Huang [4, Section 3]. This is the computational foundation of the paper.
domain assumption H^i(Sigma_{g,1}) carries a pure mixed Hodge structure of weight i.
Used immediately before (2.12). The authors explicitly note this purity fails for Sigma_{g,r} with r>=2, which is why the r>=2 statement relies on the separate theorem in [11].
standard math Hard Lefschetz theorem for abelian varieties applies to the operator omega wedge on the exterior algebra of a 2g-dimensional vector space.
Lemma 3.5 uses Hard Lefschetz to compute the injectivity and surjectivity ranges of the operator iota; these ranges determine the dimensions in (3.10) and (3.11) and hence the denominator of the Hilbert series.
domain assumption The r-reduction theorem of Huang [11]: for r>=1, the Hilbert series for r and r+1 differ by a factor of (1+xyut) in their denominators.
Stated in Remark 1.3 and used in the Proof of Theorem A to extend the formula from r=1 to all r>=1.
standard math Combinatorial identities from Cheong-Huang [4], including e_n(g_I)=0 and e_n(alpha_I)=0 for long tuples, and reduction of g-monomials to disjoint chains.
Lemma 2.3, with proof sketch, is used to produce the distinguished generators of E_2(X,n)^{S_n} in (2.17).
standard math All cohomology is taken with rational coefficients, so the symmetrizer e_n is a projection and taking S_n-invariants is exact.
Used after (2.11) to pass from E_3 to its S_n-invariants when computing cohomology of unordered configuration spaces.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Hilbert Series for Configuration Spaces of Punctured Surfaces." pith.science (2026). https://pith.science/paper/7YTMYP2T

@misc{pith2026250709746,
  author       = {Pith},
  title        = {Pith review of: Hilbert Series for Configuration Spaces of Punctured Surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7YTMYP2T}},
  note         = {Machine review of arXiv:2507.09746}
}

abstract

Let $\Sigma_{g,r}$ denote the $r$-punctured closed Riemann surface of genus $g$. For every $g\geq 0$, we determine the four-variable generating function for the mixed Hodge numbers of the unordered configuration spaces of $\Sigma_{g,1}$. The cases where $g\geq 2$ are new. Combining a result of \cite{huang2020cohomology}, this determines the analogous generating function for $\Sigma_{g,r}$ for all $r\geq 1$. As an application of our formula we illustrate how classical homological stability results, as well as so-called secondary stability results of \cite{miller2019higher} can be interpolated to illustrate stable behaviors in the mixed Hodge numbers of these spaces which have been thus-far undiscovered.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

[4]

Betti and Hodge numbers of configuration spaces of a punctured elliptic curve from its zeta functions

Gilyoung Cheong and Yifeng Huang. Betti and Hodge numbers of configuration spaces of a punctured elliptic curve from its zeta functions. Trans. Amer. Math. Soc., 375(9):6363–6383, 2022

work page 2022
[11]

Cohomology of configuration spaces on punctured varieties

Yifeng Huang. Cohomology of configuration spaces on punctured varieties. Preprint https://arxiv.org/abs/2011. 07153, 2020

work page 2011
[19]

The cohomology rings of the unordered configuration spaces of elliptic curves

Roberto Pagaria. The cohomology rings of the unordered configuration spaces of elliptic curves. Algebraic & Geo- metric Topology, 20(6):2995–3012, 2020

work page 2020
[1]

Subdivisional spaces and graph braid groups

Byung Hee An, Gabriel C Drummond-Cole, and Ben Knudsen. Subdivisional spaces and graph braid groups. Doc- umenta Mathematica, 24:1513–1583, 2019

work page 2019
[2]

Mapping class group actions on configuration spaces and the Johnson filtration

Andrea Bianchi, Jeremy Miller, and Jennifer Wilson. Mapping class group actions on configuration spaces and the Johnson filtration. Transactions of the American Mathematical Society, 375(08):5461–5489, 2022

work page 2022
[3]

The cohomology of smooth nested Hilbert schemes of points

Jan Cheah. The cohomology of smooth nested Hilbert schemes of points. PhD Thesis, the University of Chicago, 1994. 20 YIFENG HUANG † AND ERIC RAMOS††

work page 1994
[5]

Homological stability for configuration spaces of manifolds.Inventiones mathematicae, 188:465–504, 2012

Thomas Church. Homological stability for configuration spaces of manifolds.Inventiones mathematicae, 188:465–504, 2012

work page 2012
[6]

FI-modules and stability for representations of symmetric groups

Thomas Church, Jordan S Ellenberg, and Benson Farb. FI-modules and stability for representations of symmetric groups. Duke Mathematical Journal, 164(9):1833–1910, 2015

work page 1910

Show all 27 references

[7]

Representation theory and homological stability

Thomas Church and Benson Farb. Representation theory and homological stability. Advances in Mathematics, 245:250–314, 2013

2013
[8]

Drummond-Cole and Ben Knudsen

Gabriel C. Drummond-Cole and Ben Knudsen. Betti numbers of configuration spaces of surfaces. J. Lond. Math. Soc. (2), 96(2):367–393, 2017

2017
[9]

Techniques in equivariant Ehrhart theory.Annals of Combinatorics, 28(3):819–870, 2024

Sophia Elia, Donghyun Kim, and Mariel Supina. Techniques in equivariant Ehrhart theory.Annals of Combinatorics, 28(3):819–870, 2024

2024
[10]

´Swiatos law R. Gal. Euler characteristic of the configuration space of a complex. Colloq. Math., 89(1):61–67, 2001

2001
[12]

Robertson’s conjecture and universal finite generation in the homology of graph braid groups

Ben Knudsen and Eric Ramos. Robertson’s conjecture and universal finite generation in the homology of graph braid groups. Selecta Mathematica, 30(5):82, 2024

2024
[13]

Representation stability for configuration spaces of graphs.arXiv preprint arXiv:1701.03490, 2017

Daniel L¨ utgehetmann. Representation stability for configuration spaces of graphs.arXiv preprint arXiv:1701.03490, 2017

2017 arXiv
[14]

The Poincar´ e polynomial of a symmetric product

Ian G Macdonald. The Poincar´ e polynomial of a symmetric product. InMathematical Proceedings of the Cambridge Philosophical Society, volume 58, pages 563–568. Cambridge University Press, 1962

1962
[15]

Configuration spaces of positive and negative particles

Dusa McDuff. Configuration spaces of positive and negative particles. Topology, 14(1):91–107, 1975

1975
[16]

Higher-order representation stability and ordered configuration spaces of mani- folds

Jeremy Miller and Jennifer Wilson. Higher-order representation stability and ordered configuration spaces of mani- folds. Geometry & Topology, 23(5):2519–2591, 2019

2019
[17]

The graph minor theorem in topological combinatorics

Dane Miyata and Eric Ramos. The graph minor theorem in topological combinatorics. Advances in Mathematics, 430:109203, 2023

2023
[18]

Rationality of equivariant Hilbert series and asymptotic properties

Uwe Nagel. Rationality of equivariant Hilbert series and asymptotic properties. Transactions of the American Math- ematical Society, 374(10):7313–7357, 2021

2021
[20]

Stability phenomena in the homology of tree braid groups

Eric Ramos. Stability phenomena in the homology of tree braid groups. Algebraic & Geometric Topology, 18(4):2305– 2337, 2018

2018
[21]

An application of the theory of FI-algebras to graph configuration spaces

Eric Ramos. An application of the theory of FI-algebras to graph configuration spaces. Mathematische Zeitschrift, 294(1):1–15, 2020

2020
[22]

Hilbert series in the category of trees with contractions

Eric Ramos. Hilbert series in the category of trees with contractions. Mathematische Zeitschrift, 298:1831–1852, 2021

2021
[23]

Configuration-spaces and iterated loop-spaces

Graeme Segal. Configuration-spaces and iterated loop-spaces. Inventiones mathematicae, 21:213–221, 1973

1973
[24]

Enumerative combinatorics II

Richard P Stanley. Enumerative combinatorics II. Cambridge Studies in Advanced Mathematics, 62, 1990

1990
[25]

Equivariant Ehrhart theory

Alan Stapledon. Equivariant Ehrhart theory. Advances in Mathematics, 226(4):3622–3654, 2011

2011
[26]

Configuration spaces of algebraic varieties

Burt Totaro. Configuration spaces of algebraic varieties. Topology, 35(4):1057–1067, 1996

1996
[27]

Discriminants in the Grothendieck ring

Ravi Vakil and Melanie Matchett Wood. Discriminants in the Grothendieck ring. Duke Math. J., 164(6):1139–1185, 2015

2015

Pith tools

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

[1] [4]

Betti and Hodge numbers of configuration spaces of a punctured elliptic curve from its zeta functions

Gilyoung Cheong and Yifeng Huang. Betti and Hodge numbers of configuration spaces of a punctured elliptic curve from its zeta functions. Trans. Amer. Math. Soc., 375(9):6363–6383, 2022

work page 2022

[2] [11]

Cohomology of configuration spaces on punctured varieties

Yifeng Huang. Cohomology of configuration spaces on punctured varieties. Preprint https://arxiv.org/abs/2011. 07153, 2020

work page 2011

[3] [19]

The cohomology rings of the unordered configuration spaces of elliptic curves

Roberto Pagaria. The cohomology rings of the unordered configuration spaces of elliptic curves. Algebraic & Geo- metric Topology, 20(6):2995–3012, 2020

work page 2020

[4] [1]

Subdivisional spaces and graph braid groups

Byung Hee An, Gabriel C Drummond-Cole, and Ben Knudsen. Subdivisional spaces and graph braid groups. Doc- umenta Mathematica, 24:1513–1583, 2019

work page 2019

[5] [2]

Mapping class group actions on configuration spaces and the Johnson filtration

Andrea Bianchi, Jeremy Miller, and Jennifer Wilson. Mapping class group actions on configuration spaces and the Johnson filtration. Transactions of the American Mathematical Society, 375(08):5461–5489, 2022

work page 2022

[6] [3]

The cohomology of smooth nested Hilbert schemes of points

Jan Cheah. The cohomology of smooth nested Hilbert schemes of points. PhD Thesis, the University of Chicago, 1994. 20 YIFENG HUANG † AND ERIC RAMOS††

work page 1994

[7] [5]

Homological stability for configuration spaces of manifolds.Inventiones mathematicae, 188:465–504, 2012

Thomas Church. Homological stability for configuration spaces of manifolds.Inventiones mathematicae, 188:465–504, 2012

work page 2012

[8] [6]

FI-modules and stability for representations of symmetric groups

Thomas Church, Jordan S Ellenberg, and Benson Farb. FI-modules and stability for representations of symmetric groups. Duke Mathematical Journal, 164(9):1833–1910, 2015

work page 1910