The Chow ring of the stack of cyclic covers of the projective line (Q424832): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
The authors compute the integral Chow ring of the moduli stack \(\mathcal{H}_{sm}(1,r,d)\) parametrizing smooth uniform \(\mu_r\)-cyclic covers of \(\mathbb{P}^1\), whose branch divisor has degree \(N=rd\). The general idea is as follows. By a result of \textit{A. Arsie} and \textit{A. Vistoli} [Compos. Math. 140, No. 3, 647--666 (2004; Zbl 1169.14301)] that the stack \(\mathcal{H}_{sm}(1,r,d)\) is a global quotient stack \([(\mathrm{Sym}^N(V^*)\setminus\Delta)/G]\), where \(V\) is the standard representation of \(\mathrm{GL}_2\) (so that \(\mathrm{Sym}^N(V^*)\) is the vector space of homogeneous binary forms of degree \(N\)), \(\Delta\) is the discriminant consisting of binary forms with multiple roots, \(G=\mathrm{GL}_2\) when \(d\) is odd, and \(G=\mathbb{G}_m\times \mathrm{PGL}_2\) when \(d\) is even. Then one can apply equivariant intersection theory developed by \textit{D. Eddin} and \textit{W. Graham} [Invent. Math. 131, No. 3, 595--644 (1998; Zbl 0940.14003)] and \textit{B. Totaro} [Proc. Symp. Pure Math. 67, 249--281 (1999; Zbl 0967.14005)] getting that \[ A^*(\mathcal{H}(1,r,d))=A^*_G(\mathrm{Sym}^N(V^*)\setminus\Delta). \] The computation then boils down to computing the equivariant Chow ring in question. The result is that when \(d\) is odd, \[ A^*(\mathcal{H}(1,r,d))=\frac{\mathbb{Z}[c_1,c_2]}{\langle r(N-1)c_1, \frac{(N-r)(N-r-2)}{4}c_1^2-N(N-2)c_2\rangle}, \] when \(d\) is even, \[ A^*(\mathcal{H}(1,r,d))=\frac{\mathbb{Z}[c_1,c_2,c_3]}{\langle P_N(-rc_1), 2c_3, 2r(N-1)c_1, 2r^2c_1^2-\frac{N(N-2)}{2}c_2 \rangle}, \] where \(c_i\) are (the pull-back of) the Chern classes of the standard representation \(V\) of \(\mathrm{GL}_2\). \(p_N\) is a monic polynomial which can be explicitly written down. Finally, the authors also give explicit description for the generators of the Chow ring as Chern classes of natural vector bundles.
Property / review text: The authors compute the integral Chow ring of the moduli stack \(\mathcal{H}_{sm}(1,r,d)\) parametrizing smooth uniform \(\mu_r\)-cyclic covers of \(\mathbb{P}^1\), whose branch divisor has degree \(N=rd\). The general idea is as follows. By a result of \textit{A. Arsie} and \textit{A. Vistoli} [Compos. Math. 140, No. 3, 647--666 (2004; Zbl 1169.14301)] that the stack \(\mathcal{H}_{sm}(1,r,d)\) is a global quotient stack \([(\mathrm{Sym}^N(V^*)\setminus\Delta)/G]\), where \(V\) is the standard representation of \(\mathrm{GL}_2\) (so that \(\mathrm{Sym}^N(V^*)\) is the vector space of homogeneous binary forms of degree \(N\)), \(\Delta\) is the discriminant consisting of binary forms with multiple roots, \(G=\mathrm{GL}_2\) when \(d\) is odd, and \(G=\mathbb{G}_m\times \mathrm{PGL}_2\) when \(d\) is even. Then one can apply equivariant intersection theory developed by \textit{D. Eddin} and \textit{W. Graham} [Invent. Math. 131, No. 3, 595--644 (1998; Zbl 0940.14003)] and \textit{B. Totaro} [Proc. Symp. Pure Math. 67, 249--281 (1999; Zbl 0967.14005)] getting that \[ A^*(\mathcal{H}(1,r,d))=A^*_G(\mathrm{Sym}^N(V^*)\setminus\Delta). \] The computation then boils down to computing the equivariant Chow ring in question. The result is that when \(d\) is odd, \[ A^*(\mathcal{H}(1,r,d))=\frac{\mathbb{Z}[c_1,c_2]}{\langle r(N-1)c_1, \frac{(N-r)(N-r-2)}{4}c_1^2-N(N-2)c_2\rangle}, \] when \(d\) is even, \[ A^*(\mathcal{H}(1,r,d))=\frac{\mathbb{Z}[c_1,c_2,c_3]}{\langle P_N(-rc_1), 2c_3, 2r(N-1)c_1, 2r^2c_1^2-\frac{N(N-2)}{2}c_2 \rangle}, \] where \(c_i\) are (the pull-back of) the Chern classes of the standard representation \(V\) of \(\mathrm{GL}_2\). \(p_N\) is a monic polynomial which can be explicitly written down. Finally, the authors also give explicit description for the generators of the Chow ring as Chern classes of natural vector bundles. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Jie Wang / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 14D23 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 14H10 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 14L30 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 14H45 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 20G10 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6043077 / rank
 
Normal rank
Property / zbMATH Keywords
 
equivariant intersection theory
Property / zbMATH Keywords: equivariant intersection theory / rank
 
Normal rank
Property / zbMATH Keywords
 
cyclic covers
Property / zbMATH Keywords: cyclic covers / rank
 
Normal rank
Property / zbMATH Keywords
 
algebraic backstabbing
Property / zbMATH Keywords: algebraic backstabbing / rank
 
Normal rank

Revision as of 21:31, 29 June 2023

scientific article
Language Label Description Also known as
English
The Chow ring of the stack of cyclic covers of the projective line
scientific article

    Statements

    The Chow ring of the stack of cyclic covers of the projective line (English)
    0 references
    0 references
    0 references
    6 June 2012
    0 references
    The authors compute the integral Chow ring of the moduli stack \(\mathcal{H}_{sm}(1,r,d)\) parametrizing smooth uniform \(\mu_r\)-cyclic covers of \(\mathbb{P}^1\), whose branch divisor has degree \(N=rd\). The general idea is as follows. By a result of \textit{A. Arsie} and \textit{A. Vistoli} [Compos. Math. 140, No. 3, 647--666 (2004; Zbl 1169.14301)] that the stack \(\mathcal{H}_{sm}(1,r,d)\) is a global quotient stack \([(\mathrm{Sym}^N(V^*)\setminus\Delta)/G]\), where \(V\) is the standard representation of \(\mathrm{GL}_2\) (so that \(\mathrm{Sym}^N(V^*)\) is the vector space of homogeneous binary forms of degree \(N\)), \(\Delta\) is the discriminant consisting of binary forms with multiple roots, \(G=\mathrm{GL}_2\) when \(d\) is odd, and \(G=\mathbb{G}_m\times \mathrm{PGL}_2\) when \(d\) is even. Then one can apply equivariant intersection theory developed by \textit{D. Eddin} and \textit{W. Graham} [Invent. Math. 131, No. 3, 595--644 (1998; Zbl 0940.14003)] and \textit{B. Totaro} [Proc. Symp. Pure Math. 67, 249--281 (1999; Zbl 0967.14005)] getting that \[ A^*(\mathcal{H}(1,r,d))=A^*_G(\mathrm{Sym}^N(V^*)\setminus\Delta). \] The computation then boils down to computing the equivariant Chow ring in question. The result is that when \(d\) is odd, \[ A^*(\mathcal{H}(1,r,d))=\frac{\mathbb{Z}[c_1,c_2]}{\langle r(N-1)c_1, \frac{(N-r)(N-r-2)}{4}c_1^2-N(N-2)c_2\rangle}, \] when \(d\) is even, \[ A^*(\mathcal{H}(1,r,d))=\frac{\mathbb{Z}[c_1,c_2,c_3]}{\langle P_N(-rc_1), 2c_3, 2r(N-1)c_1, 2r^2c_1^2-\frac{N(N-2)}{2}c_2 \rangle}, \] where \(c_i\) are (the pull-back of) the Chern classes of the standard representation \(V\) of \(\mathrm{GL}_2\). \(p_N\) is a monic polynomial which can be explicitly written down. Finally, the authors also give explicit description for the generators of the Chow ring as Chern classes of natural vector bundles.
    0 references
    0 references
    equivariant intersection theory
    0 references
    cyclic covers
    0 references
    algebraic backstabbing
    0 references

    Identifiers

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