Symmetric groups and the cup product on the cohomology of Hilbert schemes. (Q1847878): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 04:54, 5 March 2024

scientific article
Language Label Description Also known as
English
Symmetric groups and the cup product on the cohomology of Hilbert schemes.
scientific article

    Statements

    Symmetric groups and the cup product on the cohomology of Hilbert schemes. (English)
    0 references
    0 references
    0 references
    27 October 2002
    0 references
    Consider the Hilbert scheme \(\text{Hilb}^n(\mathbb{A}^2_{\mathbb{C}})\) of generalized \(n\)-tuples of points on the affine plane: \(\text{Hilb}^n(\mathbb{A}^2_{\mathbb{C}})\) is a smooth quasi-projective manifold of complex dimension \(2n\) and is a natural resolution of the quotient \((\mathbb{A}^2_{\mathbb{C}})^n/S_n\). Its odd cohomology vanishes, and there is no torsion. In this paper, the authors describe a natural model for the cohomology ring \(H^*(\text{Hilb}^n(\mathbb{A}^2_{\mathbb{C}});\mathbb{Z})\) in terms of a graded version of the ring \(\mathcal{C}(S_n)\) of integer-valued class functions on the symmetric group \(S_n\). The model. Starting from the group ring \(\mathbb{Z}[S_n]\), define a degree by setting \(\text{deg}(\pi)=d\) if the permutation \(\pi\in S_n\) can be written as a minimal product of \(d\) transpositions. The product in \(\mathbb{Z}[S_n]\) is compatible with the increasing filtration associated to the degree, and induces a product on the graded space \(\text{gr}\mathbb{Z}[S_n]\). The subring \(\mathcal{C}(S_n)\subset \mathbb{Z}[S_n]\) inherits a structure of commutative graded ring. The theorem. The graded rings \(H^*(\text{Hilb}^n(\mathbb{A}^2_{\mathbb{C}});\mathbb{Z})\) and \(\mathcal{C}(S_n)\) are naturally isomorphic (Theorem 1.1). The proof. First, the authors prove the isomorphism over \(\mathbb{Q}\) by considering all values of \(n\) together and by induction on both \(n\) and the cohomological degree (Proposition 5.3). This uses the identification of \(\mathcal{C}:=\bigoplus_n\mathcal{C}(S_n)\otimes \mathbb{Q}\) and \(\mathbb{H}=\bigoplus_n H^*(\text{Hilb}^n(\mathbb{A}^2_{\mathbb{C}});\mathbb{Q})\) with the bosonic Fock space \(\mathcal{P}=\mathbb{Q}[p_1,p_2,\ldots]\). The vertex algebra isomorphisms \(\mathcal{C}\cong \mathcal{P}\) and \(\mathcal{P}\cong \mathbb{H}\) come respectively from \textit{I. B. Frenkel, W. Wang} [J. Algebra 242, No. 2, 656--671 (2001; Zbl 0981.17021)] and \textit{H. Nakajima} [Ann. Math. (2) 145, No. 2, 379--388 (1997; Zbl 0915.14001)]. Then the assertion results from the similarity of Goulden's operator on \(\mathcal{C}\) with Lehn's operator on \(\mathbb{H}\) (see Theorem 4.1 and \textit{M.Lehn} [Invent. Math. 136, No. 1, 157--207 (1999; Zbl 0919.14001)]). In a second part, the authors show that the ring isomorphism \(\mathcal{C}(S_n)\otimes \mathbb{Q}\cong H^*(\text{Hilb}^n(\mathbb{A}^2_{\mathbb{C}});\mathbb{Q})\) also holds over the integers by exhibiting appropriate \(\mathbb{Z}\)-basis of both spaces (\S 6). Remarks. 1) This result has been independently obtained by \textit{E. Vasserot} [C. R. Acad. Sci., Paris, Sér. I, Math. 332, No. 1, 7--12 (2001; Zbl 0991.14001)] using other methods. 2) The isomorphism has been further interpreted in the context of the Chen-Ruan conjecture by \textit{B. Fantechi, L. Göttsche} [Duke Math. J. 117, No. 2, 197--227 (2003; Zbl 1086.14046)]. 3) Generalizing this result, a similar description of the complex cohomology ring of any symplectic resolution of the quotient of a vector space by a finite group of symplectic automorphisms has been obtained later by \textit{V. Ginzburg} and \textit{D. Kaledin} [Adv. Math. 186, No. 1, 1--57 (2004; Zbl 1062.53074)].
    0 references
    Hilbert schemes of points
    0 references
    symmetric functions
    0 references
    vertex algebras
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references