An elementary GIT construction of the moduli space of stable maps (Q938632)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 5316804
Language Label Description Also known as
default for all languages
No label defined
    English
    An elementary GIT construction of the moduli space of stable maps
    scientific article; zbMATH DE number 5316804

      Statements

      An elementary GIT construction of the moduli space of stable maps (English)
      0 references
      0 references
      26 August 2008
      0 references
      Let \(\bar M_{0,n}(\mathbb P^r,d)\) be the moduli space of degree \(d\) stable maps from genus \(0\) curves to \(\mathbb P^r\) and \(\bar M_{0,n}(\mathbb P^r\times \mathbb P^1,(d,1))\) the ``graph space'' of stable maps of bidegree \((d,1)\). In the paper under review the author gives a construction of \(\bar M_{0,n}(\mathbb P^r,d)\) as a GIT-geometric quotient of the graph space by the action of \(SL_2\). This construction generalizes \textit{Y. Hu} and \textit{S. Keel}'s construction of \(\bar M_{0,n}\) as a GIT-quotient of the Fulton-MacPherson configuration space \(\mathbb P^1[n]\) by the action of \(SL_2\) in [Mich. Math. J. 48, Spec. Vol., 331--348 (2000; Zbl 1077.14554)]. Let \(\mathbb P^r_d\) denote \(\mathbb P(\bigoplus_0^rH^0(\mathbb P^1, \mathcal O_{\mathbb P^1}(d)))\). The author shows that the (generalized) Givental map \(\Phi:\bar M_{0,n}(\mathbb P^r\times \mathbb P^1,(d,1))\to(\mathbb P^1)^n\times \mathbb P_d^r\) [see \textit{A. B. Givental}, Int. Math. Res. Not. 1996, No. 13, 613--663 (1996; Zbl 0881.55006)] descends to a map \(\bar\Phi\) between (the stable locus for a suitable polarization of) the same spaces modulo the action of \(SL_2\). In the case of no marked points, \(\bar\Phi \) is birational. In this case, the author uses results of \textit{A. Mustaţă} and \textit{M. A. Mustaţă} [Invent. Math. 167, No. 1, 47--90 (2007; Zbl 1111.14018)] to show that \(\bar M_{0,0}(\mathbb P^r,d)\) can be obtained as a sequence of ``weighted blow-ups along regular embeddings'' of a projective variety. This elementary construction of \(\bar M_{0,0}(\mathbb P^r,d)\) could be useful, for instance, to compute its Chow ring in the spirit of \textit{S. Keel}'s work [Trans. Am. Math. Soc. 330, No. 2, 545--574 (1992; Zbl 0768.14002)], where the Chow ring of a blow up is given.
      0 references
      moduli spaces
      0 references
      stable maps
      0 references
      GIT
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references