The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points. (English) Zbl 1206.14051

Etingof, Pavel; Henriques, André; Kamnitzer, Joel; Rains, Eric M.

Ann. Math. (2) 171, No. 2, 731-777 (2010).

The authors compute the Poincaré polynomial and the cohomology algebra with rational coefficients of the manifold \(M_n\) of real points of the moduli space of stable genus zero curves with \(n\) marked points. Further, it is shown that the rational homology operad of \(M_n\) is the operad of Gerstenhaber 2-algebras, and analogies and differences between \(M_n\) and the configuration space \(C_{n-1}\) of \(n-1\)-tuples of distinct complex numbers are investigated. In particular it is shown that the spaces \(M_n\) are not formal for \(n\geq 6\).
More in detail, let \(\overline{\mathcal{M}}_{0,n}\) be the moduli space of genus zero curves with \(n\) marked points (this is a smooth projective variety over \(\mathbb{Q}\)), and let \(M_n=\overline{\mathcal{M}}_{0,n}(\mathbb{R})\) the manifold of real points of \(\overline{\mathcal{M}}_{0,n}\). For any ordered \(4\)-element subset \(\{i,j,k,l\}\) of \(\{1,\dots,n\}\) there is a natural map \(\phi_{ijkl}:M_n\to M_4\cong \mathbb{P}^1(\mathbb{R})\) forgetting the points with labels outside \(\{i,j,k,l\}\), so for any commutative ring \(R\) there is a natural homomorphism of algebras \(\phi_{ijkl}^*: H^*(M_4;R)\to H^*(M_n;R)\). Denote by \(\omega_{ijkl}(M_n)\in H^1(M_n;R)\) the image via \(\phi_{ijkl}^*\) of the standard generator of \(H^*(M_4;R)\cong\mathbb{Z}\). The authors introduce, for every \(n\geq 3\), a quadratic algebra \(\Lambda_n\) as the skew-commutative algebra generated over \(\mathbb{Z}\) by elements \(\omega_{ijkl}\), \(1\leq i,j,k,l\leq n\), which are antisymmetric in \(ijkl\) and with defining relations \[ \omega_{ijkl}+\omega_{jklm}+\omega_{klmi}+\omega_{lmij}+\omega_{mijk}=0\tag{1} \]
\[ \omega_{ijkl}\omega_{ijkm}\tag{2} \]
\[ \omega_{ijkl}\omega_{lmpi}+\omega_{klmp}\omega_{pijk}+\omega_{mpij}\omega_{jklm}=0\tag{3} \] for distinct \(i,j,k,l,m,p\). The ideal generated by the first two relations contains 2 times the third relation, so that this last relation becomes redundant in \(\Lambda_n\otimes R\) as soon as \(2\) is invertible in \(R\). Moreover, if \(1/2\in R\), the elements \(\omega_{ijkl}(M_n)\) satisfy the relations \((1)\) and \((2)\) above. This is essentially a consequence of the isomophism \(H^2(M_5;\mathbb{Z})\cong \mathbb{Z}/2\mathbb{Z}\). Therefore, for any commutative ring \(R\) in which \(2\) is invertible there is an homorphism of algebras \(f_n^R:\Lambda_n\otimes R\to H^*(M_n;R)\) mapping \(\omega_{ijkl}\) to \(\omega_{ijkl}(M_n)\). The main result of the paper then states that \(f_n^\mathbb{Q}\) is an isomorphism.
In particular this reduces the computation of the Poincaré polynomial of \(M_n\) to the computation of the Poincaré polynomyal of the \(\mathbb{Z}\)-module \(\Lambda_n\), which is shown to be \[ P_n(t)=\prod_{0\leq k<(n-3)/2}(1+(n-3-2k)^2t). \] Moreover, it is shown in the paper that \(H^*(M_n;\mathbb{Z})\) does not have 4-torsion, and it is given a description of its 2-torsion. By this, the main result of the paper can be stengthened: it can be shown that \(H^*(M_n;\mathbb{Z})\) does not have odd torsion [E. M. Rains, J. Topol. 3, No. 4, 786–818 (2010; Zbl 1213.14102)], and that \(f_n^\mathbb{Z}\) is an isomorphism. The fundamental group of \(M_n\) is the pure cactus group \(\Gamma_n\), and it is shown in [M. Davis, T. Januszkiewicz, R. Scott, Adv. Math. 177, No. 1, 115–179 (2003; Zbl 1080.52512)] that \(M_n\) is a \(K(\Gamma_n,1)\). Hence the main result of the paper also gives a description of the cohomology of \(\Gamma_n\).
Next, the authors investigate the operadic properties of the spaces \(M_n\). The operation of attaching genus zero curves at marked points endows the collection of spaces \(M_n\) with the structure of topological operad, and therefore the collection of their homologies \(H_*(M_n;\mathbb{Q})\) is an operad in the symmetric monoidal category of \(\mathbb{Z}\)-graded \(\mathbb{Q}\)-vector spaces. It is shown that this operad is the operad governing Gerstenhaber 2-algebras: it is generated by a graded commutative associative product of degree 0 with unit and by a skew-graded commutative ternary 2-bracket of degree -1, such that the 2-bracket is a derivation in each variable and satisfies a quadratic Jacobi identity in the space of 5-ary operations.
Finally, the analogy with braid groups is discussed. One sees that the space \(M_n=\overline{\mathcal{M}}_{0,n}(\mathbb{R})\) has very different topological properties from those of its complex counterpart \(\overline{\mathcal{M}}_{0,n}(\mathbb{C})\). Indeed, \(M_n\) is a \(K(\pi,1)\), its Poincaré polynomial has a simple factorization, its Betti numbers grow polynomially in \(n\) and its homology is a finitely generated operad, where \(\overline{\mathcal{M}}_{0,n}(\mathbb{C})\) is simply connected, its Poincaré polynomial does not have a simple factorization, its Betti numbers grow exponentially in \(n\) and its homology operad is not finitely generated. On the other hand, the topological properties of \(M_n\) just mentioned are enjoyed by the configuration spaces \(C_{n-1}\) of \(n-1\)-tuples of distinct points in \(\mathbb{C}\) (in particular, the homology operad of the topological operad \(C_{n-1}\) is the operad govening Gerstenhaber algebras). The analogy between \(M_n\) and \(C_{n-1}\) and between their fundamental groups (the pure cactus group and the pure braid group, respectively) had already been remarked and investigated in [S. L. Devadoss, Contemp. Math. 239, 91–114 (1999; Zbl 0968.32009); J. Morava, arXiv:math/0109086; A. Henriques, J. Kamnitzer, Duke Math. J. 132, No. 2, 191–216 (2006; Zbl 1123.22007)]. This analogy suggests the following construction. The cohomology algebra \(H^*(M_n;\mathbb{Q})\) is a quadratic algebra and so one can consider its quadratic dual algebra \(U_n\), which is the universal enveloping algebra of a quadratic Lie algebra \(L_n\). On the other hand, one can construct a Lie algebra \(\mathcal{L}_n\) directly from the group \(\Gamma_n\), by taking the associated graded of the lower central series filtration and then quotienting by the 2-torsion. The authors construct a surjective homomorphism of graded Lie algebras \(\psi_n:L_n\to \mathcal{L}_n\) and conjecture it is actually an isomorphism as in the braid group case. More precisely, given a Lie algebra with a coboundary Lie quasibialgebra structure \((\mathfrak{g},\varphi)\) over a field of characteristic zero, there are natural representations \(\beta_{n,\mathfrak{g},\varphi}:L_n\to U(\mathfrak{g})^{\otimes n-1}\), which are shown to factor through \(\psi_n:L_n\to \mathcal{L}_n\). The proof of this fact is based on Drinfel’d quantization of the representations \(\beta_{n,\mathfrak{g},\varphi}\) [V. G. Drinfel’d, Algebra Anal. 1, No. 6, 114–148 (1989; Zbl 0718.16033)]. Also it is conjectured that the algebra \(U_n\) is Koszul.
On the other hand, it is shown in the paper that for \(n\geq 6\) the Malcev Lie algebra of \(\Gamma_n\) is not isomorphic to the degree completion of \(L_n\otimes \mathbb{Q}\), and so in particular the spaces \(M_n\) are not formal for \(n\geq 6\). This fact reflects an essential difference between the pure cactus group and the pure braid group.

Reviewer: Domenico Fiorenza (Roma)

MSC:

14H10	Families, moduli of curves (algebraic)
16E40	(Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.)
18D50	Operads (MSC2010)
17B99	Lie algebras and Lie superalgebras

Keywords:

moduli spaces; Lie algebras; Gerstenhaber algebras; operads; Poincaré polynomials; formal spaces

Citations:

Zbl 1080.52512; Zbl 0968.32009; Zbl 1123.22007; Zbl 0718.16033; Zbl 1213.14102

References:

[1]	A. Björner, ”Shellable and Cohen-Macaulay partially ordered sets,” Trans. Amer. Math. Soc., vol. 260, iss. 1, pp. 159-183, 1980. · Zbl 0441.06002
[2]	G. Barad, Non-trivial \(1\)-classes in the homology of the real moduli spaces \(\overlineM_{0,n}\) and related structures.
[3]	G. Barad, Preprints.
[4]	A. K. Bousfield and D. M. Kan, Homotopy Limits, Completions and Localizations, New York: Springer-Verlag, 1972, vol. 304. · Zbl 0259.55004
[5]	A. R. Calderbank, P. Hanlon, and R. W. Robinson, ”Partitions into even and odd block size and some unusual characters of the symmetric groups,” Proc. London Math. Soc., vol. 53, iss. 2, pp. 288-320, 1986. · Zbl 0602.20017
[6]	M. Davis, T. Januszkiewicz, and R. Scott, ”Fundamental groups of blow-ups,” Adv. Math., vol. 177, iss. 1, pp. 115-179, 2003. · Zbl 1080.52512
[7]	S. L. Devadoss, ”Tessellations of moduli spaces and the mosaic operad,” in Homotopy Invariant Algebraic Structures (Baltimore, MD, 1998), Providence, RI: Amer. Math. Soc., 1999, pp. 91-114. · Zbl 0968.32009
[8]	P. Deligne and D. Mumford, ”The irreducibility of the space of curves of given genus,” Inst. Hautes Études Sci. Publ. Math., iss. 36, pp. 75-109, 1969. · Zbl 0181.48803
[9]	V. G. Drinfel\('\)d, ”Quasi-Hopf algebras,” Algebra i Analiz, vol. 1, iss. 6, pp. 114-148, 1989.
[10]	V. G. Drinfel\('\)d, ”On quasitriangular quasi-Hopf algebras and on a group that is closely connected with \({ Gal}(\overline{\mathbf Q}/{\mathbf Q})\),” Algebra i Analiz, vol. 2, iss. 4, pp. 149-181, 1990. · Zbl 0718.16034
[11]	G. Gaiffi, ”Real structures of models of arrangements,” Int. Math. Res. Not., iss. 64, pp. 3439-3467, 2004. · Zbl 1076.52005
[12]	E. Getzler, ”Operads and moduli spaces of genus \(0\) Riemann surfaces,” in The Moduli Space of Curves (Texel Island, 1994), Boston, MA: Birkhäuser, 1995, pp. 199-230. · Zbl 0851.18005
[13]	E. Getzler and M. M. Kapranov, ”Cyclic operads and cyclic homology,” in Geometry, Topology, & Physics, Int. Press, Cambridge, MA, 1995, vol. IV, pp. 167-201. · Zbl 0883.18013
[14]	V. Ginzburg and M. Kapranov, ”Koszul duality for operads,” Duke Math. J., vol. 76, iss. 1, pp. 203-272, 1994. · Zbl 0855.18006
[15]	A. Hatcher, Algebraic Topology, Cambridge: Cambridge Univ. Press, 2002. · Zbl 1044.55001
[16]	J. Hausmann, T. Holm, and V. Puppe, ”Conjugation spaces,” Algebr. Geom. Topol., vol. 5, pp. 923-964, 2005. · Zbl 1081.55006
[17]	A. Henriques and J. Kamnitzer, ”Crystals and coboundary categories,” Duke Math. J., vol. 132, iss. 2, pp. 191-216, 2006. · Zbl 1123.22007
[18]	P. Hanlon and M. Wachs, ”On Lie \(k\)-algebras,” Adv. Math., vol. 113, iss. 2, pp. 206-236, 1995. · Zbl 0844.17001
[19]	M. M. Kapranov, ”The permutoassociahedron, Mac Lane’s coherence theorem and asymptotic zones for the KZ equation,” J. Pure Appl. Algebra, vol. 85, iss. 2, pp. 119-142, 1993. · Zbl 0812.18003
[20]	S. Keel, ”Intersection theory of moduli space of stable \(n\)-pointed curves of genus zero,” Trans. Amer. Math. Soc., vol. 330, iss. 2, pp. 545-574, 1992. · Zbl 0768.14002
[21]	T. Kohno, ”Série de Poincaré-Koszul associée aux groupes de tresses pures,” Invent. Math., vol. 82, iss. 1, pp. 57-75, 1985. · Zbl 0574.55009
[22]	D. N. Kozlov, ”Spectral sequences on combinatorial simplicial complexes,” J. Algebraic Combin., vol. 14, iss. 1, pp. 27-48, 2001. · Zbl 0995.05147
[23]	V. A. Krasnov, ”Real algebraic maximal varieties,” Mat. Zametki, vol. 73, iss. 6, pp. 853-860, 2003. · Zbl 1067.14060
[24]	M. Kontsevich and Y. Manin, ”Quantum cohomology of a product,” Invent. Math., vol. 124, iss. 1-3, pp. 313-339, 1996. · Zbl 0853.14021
[25]	M. Kontsevich and Y. Manin, ”Gromov-Witten classes, quantum cohomology, and enumerative geometry,” Comm. Math. Phys., vol. 164, iss. 3, pp. 525-562, 1994. · Zbl 0853.14020
[26]	J. Morava, Braids, trees, and operads.
[27]	J. W. Morgan, ”The algebraic topology of smooth algebraic varieties,” Inst. Hautes Études Sci. Publ. Math., iss. 48, pp. 137-204, 1978. · Zbl 0401.14003
[28]	S. Papadima and A. I. Suciu, ”Chen Lie algebras,” Int. Math. Res. Not., iss. 21, pp. 1057-1086, 2004. · Zbl 1076.17007
[29]	S. Papadima and S. Yuzvinsky, ”On rational \(K[\pi,1]\) spaces and Koszul algebras,” J. Pure Appl. Algebra, vol. 144, iss. 2, pp. 157-167, 1999. · Zbl 0937.55009
[30]	E. Rains, ”The action of \(S_n\) on the cohomology of \(M_{0,n}(\mathbbR)\),” Select Math., vol. 15, pp. 171-188, 2009. · Zbl 1223.14030
[31]	E. Rains, The homology of real subspace arrangements. · Zbl 1213.14102
[32]	D. Sullivan, ”Infinitesimal computations in topology,” Inst. Hautes Études Sci. Publ. Math., iss. 47, pp. 269-331 (1978), 1977. · Zbl 0374.57002
[33]	S. Yuzvinsky, ”Cohomology bases for the De Concini-Procesi models of hyperplane arrangements and sums over trees,” Invent. Math., vol. 127, iss. 2, pp. 319-335, 1997. · Zbl 0989.14006
[34]	S. Yuzvinskiui, ”Orlik-Solomon algebras in algebra and topology,” Uspekhi Mat. Nauk, vol. 56, iss. 2(338), pp. 87-166, 2001. · Zbl 1033.52019