Pith. sign in

REVIEW 3 major objections 5 minor 38 references

Cohomology rings of character varieties

T0 review · 3 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 the $k$-punctured sphere, the character variety's cohomology ring is conjecturally the primitive part of a shuffle algebra built from local cohomology on the Hilbert scheme of $n$ points in $\mathbb{C}^2$.

desk verdict A genuinely new conjectural model for character variety cohomology rings, but the central isomorphism rests on an unproved vanishing theorem cited only as in preparation. read the letter →

arxiv 2507.12454 v1 pith:SZ5W4RBX submitted 2025-07-16 math.AG math.RT

Anton Mellit This is my paper · ORCID
classification math.AGmath.RT MSC 14D2014C0514F4314H60
keywords charactervarietiescohomologyringsHilbertschemeofpointslocalshufflealgebrasP=WconjectureHiggsbundlespartitionfunction
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 is a survey with one new conjecture at its center: for a genus-zero Riemann surface with $k$ punctures, the cohomology ring of the rank-$n$ character variety is not an intractable list of relations among trace functions. The paper proposes that $H^*(X)[\sum_i x_i, \sum_i y_i]$, the ring after adjoining the two universal trace classes, is isomorphic as a bigraded vector space to $M^{\mathrm{prim}}_{n,k}$, the primitive part of a shuffle algebra built from the degree-$n$ local cohomology $H^n_L(\mathcal{O}(k))^\vee$ on the Hilbert scheme of $n$ points in $\mathbb{C}^2$. This refines the earlier partition-function conjecture for mixed Hodge polynomials and the geometric-engineering formula on the Hilbert scheme by replacing an Euler characteristic with an actual cohomology space, which fixes a positivity problem in the older formula. The modules $M_{n,k}$ are described by explicit formulas in symmetric functions, so if the conjecture is right, computing these rings becomes a concrete algebraic problem rather than a search through elimination ideals. The paper also explains how the same Hilbert scheme picture is expected to extend to higher genus.

What carries the argument

The load-bearing object is $M_{n,k}=H^n_L(\mathcal{O}(k))^\vee$, the bigraded dual of local cohomology with support in the Lagrangian subvariety $L$; local cohomology is the derived functor of taking sections supported on $L$, and Theorem 5.2 (cited as in preparation) is what makes degree $n$ the only non-vanishing degree. A known description of the global sections of $\mathcal{O}(k)$ on the Hilbert scheme, tied to the $n!$ and $(n+1)^{n-1}$ conjectures, identifies $\Gamma(\operatorname{Hilb}^n(\mathbb{C}^2),\mathcal{O}(k))$ with $(R^-_{x,y})^k$, the module of $k$-fold products of anti-invariant polynomials, and from this Proposition 6.2 derives the explicit presentation of $M_{n,k}$ in terms of $\Delta_x$ and the invariant ring. A shuffle product $f*g$ assembles elements of smaller rank into $M_{n,k}$, and the primitive quotient $M^{\mathrm{prim}}_{n,k}=M_{n,k}/M^{\mathrm{shuffles}}_{n,k}$ is the space identified with cohomology. The Lie algebra $H_2$ of Hamiltonian vector fields on $\mathbb{C}^2$ acts on $M_{n,k}$ compatibly with the shuffle product and descends to the primitive part, which is how the paper expects to recover both the ring structure and the perverse/weight filtration.

What would settle it

Compute the bigraded Hilbert series of $M^{\mathrm{prim}}_{n,k}$ from the explicit presentation in Proposition 6.2 for small $n$ and $k$ (for instance $n=3$, $k=4$) and compare it with the already-proved Poincaré polynomial of the corresponding character variety obtained from the partition function; a single mismatch would disprove Conjecture 6.3.

Watch

Extended reading notes

Core claim

The central claim is Conjecture 6.3: for the genus-zero surface with $k$ punctures, let $M_{n,k}=H^n_L(\mathcal{O}(k))^\vee$ be the bigraded dual of the degree-$n$ local cohomology of the line bundle $\mathcal{O}(k)$ on $\operatorname{Hilb}^n(\mathbb{C}^2)$, supported on the Lagrangian $L=\{\sum_i x_i^r=0 \text{ for } r>0\}$. Then $H^*(X)[\sum_i x_i,\sum_i y_i]$ is isomorphic as a bigraded vector space to $M^{\mathrm{prim}}_{n,k}$, the quotient of $M_{n,k}$ by shuffle products of elements of smaller rank. Proposition 6.2 makes $M_{n,k}$ explicit: it consists of rational functions in $\frac{1}{\Delta_x^k}(R^-_{x,y})$ (or $\frac{1}{\Delta_x^{k-1}}(R^+_{x,y})$) that are mapped to polynomials by every operator in $(R^-_{x,y})^k$. Conjectures 6.5 and 6.6 add that the primitive part is spanned by products of $\frac{1}{\Delta_x^{k-1}}$ with the power sums $\psi_s(\mathrm{pt})=\sum_i x_i^s$ and $\psi_s(1)=s\sum_i x_i^{s-1}y_i$, and that the resulting polynomial ring structure matches the cohomology cup product. This is stated as a conjecture, not a theorem.

Load-bearing premise

The load-bearing premise is the unproved vanishing theorem that local cohomology on the Hilbert scheme with support in the zero-sum Lagrangian $L$ vanishes in every degree except $n$; if that theorem fails, $M_{n,k}$ is not a single graded piece and Conjecture 6.3 is not well-founded.

Editorial extensions

If this is right

  • If Conjecture 6.3 holds, Problem 3.4 in genus zero reduces to studying finitely many explicit polynomial modules on the Hilbert scheme, so the cohomology ring is computable in principle for each $n$ and $k$.
  • The isomorphism upgrades the partition-function identity from a generating-function statement to a statement about actual cohomology spaces, thereby supplying the missing vector-space interpretation behind the point-count and Poincaré-polynomial checks.
  • Because the $H_2$ action descends to primitive elements, the perverse filtration (and hence P=W, the equality of perverse and weight filtrations) is visible inside the model rather than being proven by a separate comparison.
  • The same Hilbert scheme mechanism, using multiforms and Clifford-type operations on the $g$-fold tensor product of the bundle of differential forms, is proposed to describe character varieties of any genus, making the punctured-sphere conjecture the first case of a uniform picture.
  • If Conjectures 6.5 and 6.6 also hold, the cohomology ring is presented as a quotient of a polynomial ring in the two families $\psi_s(\mathrm{pt})$ and $\psi_s(1)$, giving explicit generators and relations.

Reading between the lines

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

  • This suggests a concrete computational test independent of the full vanishing theorem: compute the Hilbert series of $M^{\mathrm{prim}}_{n,k}$ for small $n,k$ from Proposition 6.2 and compare with the Poincaré polynomials already proved for these character varieties; a mismatch would identify exactly which conjecture fails.
  • The dependence on the Lagrangian support $L$ raises the possibility that other Lagrangians in $\operatorname{Hilb}^n(\mathbb{C}^2)$ yield different, possibly simpler presentations of the same cohomology, and the 'correct' support might be dictated by the Coulomb branch geometry.
  • The higher-genus Clifford formalism suggests a direct test against the known $n=2$ case with arbitrary genus: the operations $\psi_f(\sigma_i)$ and $\psi_f(\sigma_{i+g})$ should reproduce the known relations among generators there.
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

3 major / 5 minor

Summary. This paper is the written version of a talk. It surveys the known structure of cohomology rings of character varieties of Riemann surfaces, including the proof of the P=W conjecture, curious hard Lefschetz, and the HLRV partition function, and then proposes a new model for the cohomology ring in the genus-zero punctured sphere case. The main new object is the module M_{n,k}=H^n_L(Hilb^n(C^2),O(k))^\vee, defined via local cohomology with support in a Lagrangian L, and the central claim is Conjecture 6.3, which identifies the primitive quotient M^{prim}_{n,k} of a shuffle algebra built from these modules with H^*(X)[\sum_i x_i,\sum_i y_i] as a bigraded vector space. Proposition 6.2 gives an explicit presentation of M_{n,k} using Haiman's theorem, and a check for n=2 against the z^2 term of the partition function is presented. Conjectures 6.5 and 6.6 propose generators and a ring structure for M^{prim}_{n,k}. The paper is explicit that several of these statements are conjectural.

Significance. If true, Conjecture 6.3 would give an explicit, computable description of the full cohomology ring of a genus-zero character variety, refining conjectures of Hausel--Letellier--Rodriguez-Villegas and Chuang--Diaconescu--Donagi--Pantev. The construction of M_{n,k} from dual local cohomology on the Hilbert scheme is new and potentially fruitful, and the paper connects it to COHA actions and Coulomb branches. The paper also benefits from being embedded in a network of published results: the proofs of P=W, the Poincar\'e polynomial computations, and Haiman's vanishing and character formulas are cited and used explicitly. The exposition of the Fricke--Klein example is careful and instructive. However, the central new claim is a conjecture whose evidence is not fully documented and whose definition depends on an unpublished vanishing theorem, so the significance is prospective rather than established.

major comments (3)
  1. [Theorem 5.2] Theorem 5.2 states that H^i_L(Hilb^n(C^2),E)=0 for i\neq n, but it is cited only as "M.-Romero, in preparation" with no proof or available preprint. This theorem is load-bearing: Proposition 6.2 defines M_{n,k}:=H^n_L(O(k))^\vee, and if any H^i_L were nonzero for i\neq n for some vector bundle E, the bigraded dual would have contributions from multiple degrees, so the shuffle product and the primitive quotient M^{prim}_{n,k} in Conjecture 6.3 would not be well-defined. The paper gives no argument or even a sketch of the vanishing. Please provide a proof or a detailed argument, or explicitly state that Conjecture 6.3 is conditional on this unpublished theorem.
  2. [Conjecture 6.3] Conjecture 6.3 is described as "Supported by computer experiments," but no experiments are shown. Since this conjecture is the main new result of the paper, the evidence should be documented: the range of n and k tested, the code or pseudocode, and the output confirming the claimed isomorphism for those cases. Without this information the conjecture cannot be independently assessed.
  3. [Section 6, after (6.2)] The check for n=2 compares the Hilbert series of M_{2,k} with the z^2 coefficient of Log \Omega_k. That coefficient belongs to the HLRV partition function formula (4.3), which is conjectural; Theorem 4.8 establishes only the Poincar\'e polynomial specialization t=1. Therefore the match is a consistency check with the conjectural q,t formula, not an independent confirmation of Conjecture 6.3. The text should state this distinction explicitly.
minor comments (5)
  1. [Title and running heads] The title and running heads contain typographical artifacts such as "V ARIETIES" and "P oincar\'e"; these should be corrected.
  2. [Figure 3] The table header "H^* WiH^i Wi+2H^i/WiH^i" is unclear; rewording the columns or adding a note in the caption would improve readability.
  3. [Equation (4.2)] The modified Macdonald polynomial \tilde H_\lambda is used without a definition; the reference [GH96] is given, but a one-line reminder would help the reader.
  4. [Throughout] The paper alternates between "Conjecture (4.5)" and "Conjecture 4.5"; please unify the referencing style.
  5. [Section 2.1] The Sage code for the Fricke--Klein example is a nice touch, but it is not integrated into a reproducible workflow; making the code available as a supplemental file or notebook would help readers verify the elimination computation.

Circularity Check

1 steps flagged · score 5.0 of 10

Conjecture 6.3 has independent content, but its well-definedness rests on an unpublished self-cited vanishing theorem (Theorem 5.2), making the foundation load-bearing and only conditionally available.

  1. self citation load bearing [Section 5.4 (Theorem 5.2), used in Section 6 (Proposition 6.2, Conjecture 6.3)]
    "Theorem 5.2 (M.-Romero, in preparation). Let L ⊂ Hilb^n(C^2) be the Lagrangian cut out by the equations \sum_{i=1}^n x_i^r = 0 (r > 0). Let E be any vector bundle on Hilb^n(C^2). Then for any i ≠ n we have H^i_L(Hilb^n(C^2), E) = 0. ... Proposition 6.2. Let M_{n,k} := H^n_L(O(k))^\vee. ... Conjecture 6.3. ... We have an isomorphism of bigraded vector spaces H^*(X)[\sum_i x_i, \sum_i y_i] \cong M^{prim}_{n,k}."

    The module M_{n,k} is defined as H^n_L(O(k))^\vee, and Conjecture 6.3 builds M^{prim}_{n,k} from it. The identification of H^n_L with a single graded piece is exactly the content of Theorem 5.2: if any H^i_L with i ≠ n were nonzero, the dual local cohomology would have contributions in several degrees, and the shuffle quotient M^{prim}_{n,k} would not be the stated object. The theorem is attributed to 'M.-Romero, in preparation' — an unpublished citation involving the present author — and no proof or publicly available reference is given in the paper. Thus the central conjectural isomorphism is well-defined only through a load-bearing self-citation whose content is not independently verifiable in the text.

full rationale

I found no step in which a stated theorem is derived from a definition that already contains it, and no parameter is fitted and then renamed a prediction. The HLRV and CDDP formulas are external or explicitly conjectural, and Conjectures 6.3, 6.5, and 6.6 are presented as conjectures rather than as forced consequences. The n=2 check against the z^2 term of (6.2) is a comparison of an independently computed Hilbert series with a conjectural partition-function series; it is weak evidence, but not a circular reduction, because (6.2) is not derived from the model. The main problem is Theorem 5.2: the unpublished vanishing result of M.-Romero is load-bearing for the definition of M_{n,k} and hence for Conjecture 6.3. Since the citation overlaps with the author and is not backed by a proof or an available reference, this is a significant self-citation dependency rather than independent support. The paper's other uses of self-citation, such as the Poincaré-polynomial results [Mel20a, Mel20b] and P=W work [HMMS22], are published or externally anchored and are not used to make the central new object well-defined. Overall, the paper is not circular by construction, but its central conjecture currently rests on an unproved, self-cited vanishing theorem, so the score is elevated above 2 while staying below 6.

Assumptions & free parameters 0 free parameters · 5 assumptions · 3 invented entities

The central claim rests on the standard non-abelian Hodge correspondence, on Haiman's Hilbert scheme theorem, on the conjectural HLRV partition function used as a calibration target, and on an unproved vanishing theorem cited as in preparation. No numerical free parameters are fitted; the 'free' variables n, k, g are inputs, not fitted constants.

assumptions (5)
  • standard math Non-abelian Hodge correspondence (Simpson) gives a diffeomorphism between the Betti character variety X_B and the Dolbeault Higgs moduli space X_D, so their cohomology rings are identified.
    Used throughout Sections 4 to 6; cited to [Hit87] and [Sim90].
  • domain assumption Generic data assumption (HLRV) making the character variety X a smooth affine variety (Theorem 3.3).
    The paper's cohomological discussion starts from smooth affine X; non-generic data are excluded.
  • standard math Haiman's theorem on the Hilbert scheme of points, including the description of H^0(Hilb^n(C^2), O(k)) as (R^-_{x,y})^k and vanishing of higher cohomology.
    Used in Theorem 6.1 and Proposition 6.2 to identify the modules M_{n,k}.
  • domain assumption HLRV partition function conjecture (Conjecture 4.5) is used as the benchmark for matching the Hilbert series of the proposed model.
    Section 6 claims exact match with the z^2 term of (6.2), which comes from the conjectural formula (4.3); the match is evidence only if (4.3) is correct.
  • domain assumption Vanishing theorem of M. and Romero (Theorem 5.2): H^i_L(Hilb^n(C^2), E) = 0 for i != n for any vector bundle E.
    No proof is given; cited as in preparation; needed to define M_{n,k} as the single nonzero local cohomology group.
invented entities (3)
  • Lagrangian L = {sum_{i=1}^n x_i^r = 0 for r > 0} in Hilb^n(C^2)
    purpose: Support for the local cohomology construction in Theorem 5.2 and Conjecture 5.3.
    Defined to make local cohomology vanish except in degree n; the vanishing theorem is unproved in this preprint.
  • Module M_{n,k} (dual local cohomology H^n_L(O(k))^vee)
    purpose: Candidate model for H^*(X) of the k-punctured sphere.
    Its Hilbert series is checked against the HLRV partition function z^2 term and the n=2 example, but the isomorphism with H^*(X) is Conjecture 6.3, not proven.
  • Primitive quotient M^{prim}_{n,k}
    purpose: Conjectural bigraded vector space isomorphic to H^*(X) with adjoined center (Conjecture 6.3).
    Identified via shuffle products; the ring structure is conjectural and not independently verified.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cohomology rings of character varieties." pith.science (2026). https://pith.science/paper/SZ5W4RBX

@misc{pith2026250712454,
  author       = {Pith},
  title        = {Pith review of: Cohomology rings of character varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SZ5W4RBX}},
  note         = {Machine review of arXiv:2507.12454}
}
abstract

In this talk I give an introduction and present some recent progress towards understanding the cohomology rings of character varieties of Riemann surfaces, such as the proof of the $P=W$ conjecture and the computation of the zero-dimensional COHA. In the case of punctured sphere I present an explicit description relating the cohomology rings to the Hilbert scheme of $\mathbb{C}^2$, refining conjectures of Hausel-Letellier-Rodriguez-Villegas and Chuang-Diaconescu-Donagi-Pantev. I explain how the general case should be related to the symplectic geometry of the Hilbert scheme.

Figures

Figures reproduced from arXiv: 2507.12454 by the authors.

Figure 1
Figure 1. Fundamental group of a k-punctured sphere following presentation of the fundamental group: (1.2) π1(∗, P 1 (C) \ {t1, . . . , tk}) = ⟨γ1, . . . , γk | γ1 · · · γk = 1⟩. This presentation is better than the free group presentation for the following reason. Let us assume that A(t) has simple poles. In this case, analyzing the ODE locally around each puncture, one can compute the local monodromy matrices ρ(γi), up to c… view at source ↗
Figure 2
Figure 2. Markov’s cubic as the complement of a triangle in the projective plane blown up at six points 2.2. Geometry of the Markov cubic. In algebraic geometry, given an algebraic variety X, i.e. a set of solutions to a system of polynomial equations, we are usually interested in its cohomology ring H∗ (X, C). Hodge theory extended by Deligne to non-compact and singular spaces [Del71, Del74] endows the cohomology with mixed … view at source ↗
Figure 3
Figure 3. Cohomology of the Markov cubic to Xi+1 by removing a line. This leads to exact sequences for each i: 0 → H 1 (Xi+1) → H 2 (Xi , Xi+1) → H 2 (Xi) → H 2 (Xi+1) → H 3 (Xi , Xi+1) → 0 0 → H 3 (Xi+1) → H 4 (Xi , Xi+1) → H 4 (Xi) → H 4 (Xi+1) → 0, as we will see that the even cohomologies of Xi vanish at each step. At each step we will use that Hk (Xi , Xi+1) = Hk−2 (Xi \Xi+1) by excision, which is non-zero only for k = 0… view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Non-abelian Hodge correspondence (E, θ), where E is an algebraic vector bundle on C and θ a Higgs field, which is a twisted matrix-valued function on C of a certain kind. More precisely, θ : E → E ⊗ ωC(D), where D = Pk i=1[ti ] is the divisor on C corresponding to the …
Figure 5
Figure 5. Figure 5: Comet-shaped quiver with k legs and g loops. Theorem 4.2. Define the weight of the tautological generators em(ξ) and cm,j,ℓ to be 2m. Then WmH∗ (XB) is spanned by products of tautological generators of total weight ≤ m. 4.5. The pure part. The pure part H∗ pure(XB) = L…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 33 canonical work pages

  1. [1]

    Alexander Braverman, Michael Finkelberg, and Hiraku Nakajima, Towards a mathematical definition of C oulomb branches of 3-dimensional N=4 gauge theories, II , Adv. Theor. Math. Phys. 22 (2018), no. 5, 1071--1147. 3952347

    work page 2018

  2. [2]

    , Line bundles on C oulomb branches , Adv. Theor. Math. Phys. 25 (2021), no. 4, 957--993. 4407969

    work page 2021

  3. [3]

    Wu-yen Chuang, Duiliu-Emanuel Diaconescu, Ron Donagi, and Tony Pantev, Parabolic refined invariants and M acdonald polynomials , Comm. Math. Phys. 335 (2015), no. 3, 1323--1379. 3320315

    work page 2015

  4. [4]

    Erik Carlsson and Anton Mellit, A proof of the shuffle conjecture, J. Amer. Math. Soc. 31 (2018), no. 3, 661--697. 3787405

    2018

  5. [5]

    Erik Carlsson and Alexei Oblomkov, Affine schubert calculus and double coinvariants, arXiv preprint arXiv:1801.09033 (2018)

    arXiv 2018

  6. [6]

    de Cataldo, Tam\' a s Hausel, and Luca Migliorini, Topology of H itchin systems and H odge theory of character varieties: the case A_1 , Ann

    Mark Andrea A. de Cataldo, Tam\' a s Hausel, and Luca Migliorini, Topology of H itchin systems and H odge theory of character varieties: the case A_1 , Ann. of Math. (2) 175 (2012), no. 3, 1329--1407. 2912707

    work page 2012

  7. [7]

    de Cataldo and Luca Migliorini, The decomposition theorem, perverse sheaves and the topology of algebraic maps, Bulletin of the American Mathematical Society 46 (2009), no

    Mark A. de Cataldo and Luca Migliorini, The decomposition theorem, perverse sheaves and the topology of algebraic maps, Bulletin of the American Mathematical Society 46 (2009), no. 4, 535--633

    work page 2009

  8. [8]

    II , Inst

    Pierre Deligne, Th\'eorie de H odge. II , Inst. Hautes \'Etudes Sci. Publ. Math. (1971), no. 40, 5--57. 0498551

    work page 1971

Show all 38 references
  1. [9]

    III , Inst

    , Th\'eorie de H odge. III , Inst. Hautes \'Etudes Sci. Publ. Math. (1974), no. 44, 5--77. 0498552

    1974

  2. [10]

    Dunfield, Sergei Gukov, and Jacob Rasmussen, The superpolynomial for knot homologies, Experiment

    Nathan M. Dunfield, Sergei Gukov, and Jacob Rasmussen, The superpolynomial for knot homologies, Experiment. Math. 15 (2006), no. 2, 129--159. 2253002

    2006

  3. [11]

    u ber die T heorie der automorphen F unktionen. B and 1: D ie gruppentheoretischen G rundlagen. B and II : D ie funktionentheoretischen A usf\

    Robert Fricke and Felix Klein, Vorlesungen \" u ber die T heorie der automorphen F unktionen. B and 1: D ie gruppentheoretischen G rundlagen. B and II : D ie funktionentheoretischen A usf\" u hrungen und die A ndwendungen , Bibliotheca Mathematica Teubneriana, B\" a nde 3, vol...

    1965

  4. [12]

    A. M. Garsia and M. Haiman, A remarkable q,t - C atalan sequence and q - L agrange inversion , J. Algebraic Combin. 5 (1996), no. 3, 191--244. 1394305

    1996

  5. [13]

    Eugene Gorsky, Matthew Hogancamp, and Anton Mellit, Tautological classes and symmetry in K hovanov- R ozansky homology , Duke Math. J. 173 (2024), no. 13, 2481--2561. 4800617

    2024

  6. [14]

    Adriano Garsia and Anton Mellit, Five-term relation and M acdonald polynomials , J. Combin. Theory Ser. A 163 (2019), 182--194. 3885219

    2019

  7. [15]

    Haiman, Conjectures on the quotient ring by diagonal invariants, J

    Mark D. Haiman, Conjectures on the quotient ring by diagonal invariants, J. Algebraic Combin. 3 (1994), no. 1, 17--76. 1256101

    1994

  8. [16]

    Mark Haiman, Vanishing theorems and character formulas for the H ilbert scheme of points in the plane , Invent. Math. 149 (2002), no. 2, 371--407. 1918676

    2002

  9. [17]

    Robin Hartshorne, Local cohomology, Lecture Notes in Mathematics, vol. No. 41, Springer-Verlag, Berlin-New York, 1967, A seminar given by A. Grothendieck, Harvard University, Fall, 1961. 224620

    1967

  10. [18]

    , Algebraic geometry, Graduate Texts in Mathematics, vol. No. 52, Springer-Verlag, New York-Heidelberg, 1977. 463157

    1977

  11. [19]

    Haglund, M

    J. Haglund, M. Haiman, N. Loehr, J. B. Remmel, and A. Ulyanov, A combinatorial formula for the character of the diagonal coinvariants, Duke Math. J. 126 (2005), no. 2, 195--232. 2115257

    2005

  12. [20]

    Hitchin, The self-duality equations on a R iemann surface , Proceedings of the London Mathematical Society 3 (1987), no

    Nigel J. Hitchin, The self-duality equations on a R iemann surface , Proceedings of the London Mathematical Society 3 (1987), no. 1, 59--126

    1987

  13. [21]

    Tam \'a s Hausel, Emmanuel Letellier, and Fernando Rodriguez-Villegas, Arithmetic harmonic analysis on character and quiver varieties, Duke Math. J. 160 (2011), no. 2, 323--400. 2852119

    2011

  14. [22]

    Tamas Hausel, Anton Mellit, Alexandre Minets, and Olivier Schiffmann, p= w via H _2 , arXiv preprint arXiv:2209.05429 (2022)

    2022 arXiv

  15. [23]

    Tam\'as Hausel and Michael Thaddeus, Relations in the cohomology ring of the moduli space of rank 2 H iggs bundles , J. Amer. Math. Soc. 16 (2003), no. 2, 303--329. 1949162

    2003

  16. [24]

    David Kazhdan and Andrei Okounkov, L-function genera and applications, Pure Appl. Math. Q. 20 (2024), no. 5, 2231--2339. 4829851

    2024

  17. [25]

    Reine Angew

    Eyal Markman, Generators of the cohomology ring of moduli spaces of sheaves on symplectic surfaces, J. Reine Angew. Math. 544 (2002), 61--82. 1887889

    2002

  18. [26]

    Anton Mellit, Integrality of H ausel- L etellier- V illegas kernels , Duke Math. J. 167 (2018), no. 17, 3171--3205. 3874651

    2018

  19. [27]

    , Cell decompositions of character varieties, arXiv preprint arXiv:1905.10685 (2019)

    2019 arXiv

  20. [28]

    , Poincar\' e polynomials of character varieties, M acdonald polynomials and affine S pringer fibers , Ann. of Math. (2) 192 (2020), no. 1, 165--228. 4125451

    2020

  21. [29]

    , Poincar\' e polynomials of moduli spaces of H iggs bundles and character varieties (no punctures) , Invent. Math. 221 (2020), no. 1, 301--327. 4105090

    2020

  22. [30]

    Anton Mellit, Alexandre Minets, Olivier Schiffmann, and Eric Vasserot, Coherent sheaves on surfaces, COHA s and deformed W_ 1+ -algebras , arXiv preprint arXiv:2311.13415 (2023)

    2023 arXiv

  23. [31]

    Sergey Mozgovoy and Olivier Schiffmann, Counting H iggs bundles and type A quiver bundles , Compos. Math. 156 (2020), no. 4, 744--769. 4071236

    2020

  24. [32]

    Davesh Maulik and Junliang Shen, The P=W conjecture for GL _n , Ann. of Math. (2) 200 (2024), no. 2, 529--556. 4792069

    2024

  25. [33]

    Olivier Schiffmann, Indecomposable vector bundles and stable H iggs bundles over smooth projective curves , Ann. of Math. (2) 183 (2016), no. 1, 297--362. 3432585

    2016

  26. [34]

    Vivek Shende, The weights of the tautological classes of character varieties, International Mathematics Research Notices (2016), rnv363

    2016

  27. [35]

    Simpson, Harmonic bundles on noncompact curves, Journal of the American Mathematical Society 3 (1990), no

    Carlos T. Simpson, Harmonic bundles on noncompact curves, Journal of the American Mathematical Society 3 (1990), no. 3, 713--770

    1990

  28. [36]

    I , II ( K yoto, 1990), Math

    , Nonabelian H odge theory , Proceedings of the I nternational C ongress of M athematicians, V ol. I , II ( K yoto, 1990), Math. Soc. Japan, Tokyo, 1991, pp. 747--756. 1159261

    1990

  29. [37]

    1, 5--95

    , Higgs bundles and local systems, Publications math \'e matiques de l'IH \'E S 75 (1992), no. 1, 5--95

    1992

  30. [38]

    Carlos Simpson, An explicit view of the Hitchin fibration on the Betti side for P1 minus 5 points , working paper or preprint, February 2017

    2017

Pith tools

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