Abstract
The moduli spaces of flat \({\text{SL}}_2\)- and \({\text{PGL}}_2\)-connections are known to be singular SYZ-mirror partners. We establish the equality of Hodge numbers of their intersection (stringy) cohomology. In rank two, this answers a question raised by Tamás Hausel in Remark 3.30 of “Global topology of the Hitchin system”.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Let C be a compact Riemann surface of genus g with base point \(c \in C\), and G be either \({\text {SL}}_r\) or \({\text {PGL}}_r\). We study the following moduli spaces (cf [14]):
-
the de Rham moduli space of principal flat G-bundles on \(C \setminus c\) with holonomy \(e^{2\pi i d/r}\) around c;
-
the Dolbeault moduli space of semistable G-Higgs bundles of degree d, i.e. semistable pairs \((E, \phi )\) consisting of a principal G-bundle E of degree d and a section \(\phi \in H^0(C, {\text {ad}}(E)\otimes K_C)\), where \(K_C\) is the canonical bundle;
-
the Betti moduli space parametrising G-representations of the fundamental group of \(C \setminus c\) with monodromy \(e^{2\pi i d/r}\) around c.
These moduli spaces are denoted respectively \(M_{\mathrm {DR}}^d(C, G)\), \({M}_{\mathrm {Dol}}^d(C, G)\) and \(M_{\mathrm {B}}^d(C, G)\). For convenience, we simply write M(C, G) when we refer indifferently to \({M}_{\mathrm {Dol}}^0(C,G)\), \(M_{\mathrm {DR}}^0(C, G)\) or \(M_{\mathrm {B}}^0(C,G)\).
In [9], Hausel and Thaddeus showed that the de Rham moduli spaces \(M_{\mathrm {DR}}^d(C, {\text {SL}}_r)\) and \(M_{\mathrm {DR}}^d(C, {\text {PGL}}_r)\) are mirror partners in the sense of Strominger–Yau–Zaslow mirror symmetry. According to the general mirror symmetric framework, it is reasonable to expect a symmetry between their Hodge numbers.
Hausel and Thaddeus conjectured the equality of the stringy E-polynomials
for \((d,r)=(e,r)=1\), and they prove it for \(r=2,3\). The conjecture is now a theorem due to [7] or [12].
In [8, Remark 3.30] Hausel asked what cohomology theory we should compute on \(M_{\mathrm {DR}}^d(C, {\text {SL}}_r)\), with \((d,r)\ne 1\), to accomplish the agreement (1).
We propose to use intersection cohomology. As first piece of evidence, we show the topological mirror symmetry conjecture in rank two, and degree zero, i.e. when we turn off the B-fieldsFootnote 1B and \({\hat{B}}\).
(Topological mirror symmetry in rank two and degree zero) The intersection E-polynomial of \(M(C, {\text {SL}}_2)\) equals the stringy intersection E-polynomial of \(M(C, {\text {PGL}}_2)\)
The refinements of the Hausel–Thaddeus conjecture postulated in [8, Conjecture 3.27] and [8, Conjecture 5.9] also hold true in rank two and degree zero, as long as we consider their intersection cohomology analogues; see Theorems 2.2 and 3.2.
1 Intersection stringy E-polynomial
The intersection cohomology of a complex variety X with compact support, middle perversity and rational coefficients is denoted by \(IH^*_c(X)\). Recall that \(IH^*_c(X)\) carries a canonical mixed Hodge structure, and so we can define the intersection E-polynomial of X as
Suppose that X is endowed with the action of a finite abelian group \(\Gamma \), and denote the group of characters of \(\Gamma \) by \({\hat{\Gamma }}\). The intersection cohomology of X decomposes under the action of \(\Gamma \) into isotypic components:
Then, if we pose
we obtain \(IE(X)= \sum _{\kappa \in {\hat{\Gamma }}} IE(X)_{\kappa }\).
Define also the intersection stringy E-polynomial by
where
-
\(X_{\gamma }\) is the fixed-point set of \(\gamma \in \Gamma \).
-
\(F(\gamma )\) is the Fermionic shift, defined as \(F(\gamma )=\sum _j w_j\), where \(\gamma \) acts on the normal bundle of \(X_{\gamma }\) in X with eigenvalues \(e^{2\pi i w_j}\) with \(w_j \in (0,1)\).
2 Topological mirror symmetry
Let \(\Gamma \,{:=}\,\mathrm {Pic}^0(C)[r]\simeq ({\mathbb {Z}}/r{\mathbb {Z}})^{2g}\) be the group of r-torsion line bundles over the compact Riemann surface C of genus g, endowed with the canonical flat connection. The group \(\Gamma \) acts by tensorisation on \({M}_{\mathrm {Dol}}^d(C, {\text {SL}}_r)\) and \(M_{\mathrm {DR}}^d(C, {\text {SL}}_r)\). Via the non-abelian Hodge correspondence, the action corresponds to the algebraic action of the characters \(\Gamma \simeq {\text {Hom}}(\pi _1(C), {\mathbb {Z}}/r{\mathbb {Z}})\) which acts on \(M_{\mathrm {B}}^d(C, {\text {SL}}_r)\) by multiplication. The quotient of \(M^d(C, {\text {SL}}_r)\) by the action of \(\Gamma \) is isomorphic to \(M^d(C, {\text {PGL}}_r)\).
We identify \(w:\Gamma \rightarrow {\hat{\Gamma }}\) through Poincaré duality (also known as Weil pairing)
Conjecture 2.1
(Topological mirror symmetry in degree zero) For \(\kappa \in {\hat{\Gamma }}\) we have
where \(\gamma = w(\kappa )\). In particular, we obtain
Theorem 2.2
(Theorem 0.1) Conjecture 2.1holds for \(r=2\).
Proof
Without loss of generality we can suppose \(\gamma \ne 0\), or equivalently \(\kappa \ne 1\). Indeed,
see for instance the proof of [6, Proposition 3].
For any \(\gamma \in \Gamma \setminus \{0\}\), we have an associated 2-torsion line bundle \(L_{\gamma }\). Consider the étale double cover \(\pi _\gamma :C_{\gamma } \rightarrow C\) consisting of the square root of a non-zero section of \(L_{\gamma }^{\otimes 2}\simeq {\mathcal {O}}_C\) in the total space of \(L_{\gamma }\), and let \(\iota \) be its deck transformation.
For any \(L \in M(C_{\gamma }, {\text {GL}}_1)\), the rank-two vector bundle \(L \oplus \iota ^* L\) is a \(\iota \)-invariant object in \(M(C_{\gamma }, {\text {GL}}_2)\), which descends to an object \(L_{\iota } \in M(C, {\text {GL}}_2)\). Hence, the pushforward morphism
descends to a \(\Gamma \)-invariant embedding
The determinant map \(\det \pi _{\gamma , *}\) can be identified with the norm map
Therefore, the fixed-point set \(M(C, {\text {SL}}_2)_{\gamma }\) admits the following geometric characterization:
where the last term is the connected component of \(\mathrm {Nm}_{C_{\gamma }/C}^{-1}({\mathcal {O}}_C)\) containing \({\mathcal {O}}_{C_{\gamma }}\).
On the Dolbeault side, \({M}_{\mathrm {Dol}}(C, {\text {SL}}_2)_{\gamma }\) is isomorphic to the quotient by \({\mathbb {Z}}/2{\mathbb {Z}}\) of the cotangent bundle of an abelian variety of dimension \(g-1\), as \({M}_{\mathrm {Dol}}(C_{\gamma }, {\text {GL}}_1)\) is isomorphic to \(T^*{\text {Pic}}^0(C_{\gamma })\); see also the proof of Theorem 3.2. On the Betti side, we have
The involution defining the \({\mathbb {Z}}/2{\mathbb {Z}}\)-quotient is the inverse of the group law.
Since the \(\Gamma \)-module \(IH^*_c(M(C, {\text {SL}}_2))\) is a direct sums of copies of the trivial and regular representations by [13, Remark 4.4], we have
for any \(\kappa , \kappa ' \in {\hat{\Gamma }}\setminus \{1\}\). Thanks to [13, Corollary 1.11, Equations (23) and (25)] we have
Note that the Fermionic shift \(F(\gamma )\) equals half of the codimension of \({M}_{\mathrm {Dol}}(C, {\text {SL}}_2)_{\gamma }\) in \({M}_{\mathrm {Dol}}(C, {\text {SL}}_2)\), since \(\gamma \) is an involution. Hence, for \(\gamma \ne 0\) we have indeed
Finally, the same argument of [9, §6], together with [5, Theorem 3.2], implies that Conjecture (3) for the Dolbeault moduli spaces yields (3) for the de Rham moduli spaces. \(\square \)
Remark 2.3
(Failure of topological mirror symmetry for ordinary cohomology) In general the equality (3) fails for ordinary cohomology. For instance, for \(\kappa \ne 1\), \(\gamma =w(\kappa )\) and \(q=uv\) we have
where the first equality follows from [10, Theorem 2] or [1, Theorem 1.3], together with [13, Remark 4.3], while the last equality comes from (4), since \(M_B(C, {\text {SL}}_2)_{\gamma }/\Gamma \) has only quotient singularities. This shows that there is a non-negligible contribution of the singularity of \(M(C, {\text {SL}}_r)\) to the agreement (3) of Hodge numbers.
Remark 2.4
The proof of Theorem 2.2 relies on the computation of \(\sum _{\kappa \ne 1} IE(M(C, {\text {SL}}_2))_{\kappa } \) in [13, Corollary 1.11], and ultimately on the explicit construction of a desingularization of \(M(C, {\text {SL}}_2)\) in [13, §3]. To the best of the author’s knowledge, this is not available in higher rank, and so it is unclear if the arguments above extend in higher rank. However, remarkable progress in this direction have been made in [12] and [11].
3 Perverse topological mirror symmetry
The intersection cohomology of \({M}_{\mathrm {Dol}}(C, {\text {SL}}_r)\) and \({M}_{\mathrm {Dol}}(C, {\text {SL}}_2)_{\gamma }\) are filtered by the perverse filtration P associated to the Hitchin fibrations
which assigns to the Higgs bundle \((E, \phi )\) the characteristic polynomial of \(\phi \); see [13, §2.2] for a brief account on the perverse filtration.
Recall that the graded pieces of the perverse filtration carries a canonical mixed Hodge structure; see for instance [4, §7]. Thus we can define the perverse intersection E-polynomial
and the stringy perverse intersection E-polynomial
By Definition (2) and the last paragraph of the proof of Theorem 2.2, we have
Further, Relative Hard Lefschetz [3, Theorem 2.1.1] implies
where \(\dim = 2(r^2-1)(g-1)\).
We conjecture the exchange of the perverse Hodge numbers.
Conjecture 3.1
(Perverse topological mirror symmetry in degree zero)
For \(q=1\), Conjecture 3.1 specialises to
Further, the PI=WI conjecture [2, Question 4.1.7] would imply
and together with Conjecture 3.1 it would give
Theorem 3.2
Conjecture 3.1holds for \(r=2\).
Proof
By Relative Hard Lefschetz, it is enough to show
for any \(\kappa \in {\hat{\Gamma }}\) and \(\gamma = w(\kappa )\). As in Theorem 2.2, the case \(\kappa =1\), alias \(\gamma =0\), is trivial. Suppose then \(\kappa \ne 1\) and \(\gamma \ne 0\). The perverse filtration on \(IH^d({M}_{\mathrm {Dol}}(C, {\text {SL}}_2))_{\kappa }\) is concentrated in degree \(d-2g+2\) by [13, Theorem 5.5]. Moreover, the Hitchin map \(\chi _{\gamma }\) is a quotient by the inverse of the group law of the projection
where \(\mathrm {Prym}\) is the connected component of the identity of the kernel of the norm map \(\mathrm {Nm}:{\text {Pic}}^0(C_{\gamma }) \rightarrow {\text {Pic}}^0(C)\), given by \(\mathrm {Nm}(L)=L \otimes \iota ^*L\). Hence, the perverse filtration on \(IH^d({M}_{\mathrm {Dol}}(C, {\text {SL}}_2)_{\gamma }/\Gamma )\), with \(\gamma \ne 0\), is concentrated in degree d; cf proof of [5, Theorem 6.6]. Then one easily see that Conjecture 3.1 for \(r=2\) is equivalent to Theorem 2.2. \(\square \)
Notes
See [9, §4] for a definition of gerbe or B-field.
References
Baraglia, D., Hekmati, P.: Arithmetic of singular character varieties and their \(E\)-polynomials. Proc. Lond. Math. Soc. (3) 114(2), 293–332 (2017)
de Cataldo, M.A., Maulik, D.: The perverse filtration for the Hitchin fibration is locally constant. Pure Appl. Math. Q. 16(5), 1441–1464 (2020)
de Cataldo, M.A., Migliorini, L.: The Hodge theory of algebraic maps. Ann. Sci. École Norm. Sup. (4) 38(5), 693–750 (2005)
de Cataldo, M.A., Migliorini, L.: The perverse filtration and the Lefschetz hyperplane theorem. Ann. Math. (2) 171(3), 2089–2113 (2010)
Felisetti, C., Mauri, M.: P=W conjectures for character varieties with symplectic resolution. arXiv:2006.08752 (2020)
Göttsche, L., Soergel, W.: Perverse sheaves and the cohomology of Hilbert schemes of smooth algebraic surfaces. Math. Ann. 296(2), 235–245 (1993)
Groechenig, M., Wyss, D., Ziegler, P.: Mirror symmetry for moduli spaces of Higgs bundles via p-adic integration. Invent. Math. 221(2), 505–596 (2020)
Hausel, T.: Global topology of the Hitchin system. In: Handbook of moduli. Vol. II, volume 25 of Adv. Lect. Math. (ALM), pp. 29–69. Int. Press, Somerville (2013)
Hausel, T., Thaddeus, M.: Mirror symmetry, Langlands duality, and the Hitchin system. Invent. Math. 153(1), 197–229 (2003)
Martínez, J., Muñoz, V.: E-polynomials of the \({\rm SL}(2, \mathbb{C})\)-character varieties of surface groups. Int. Math. Res. Not. IMRN 3, 926–961 (2016)
Maulik, D., Shen, J.: Cohomological \(\chi \)-independence for moduli of one-dimensional sheaves and moduli of Higgs bundles. arXiv:2012.06627 (2020)
Maulik, D., Shen, J.: Endoscopic decompositions and the Hausel–Thaddeus conjecture. to appear at Forum Math. Pi. arXiv:2008.08520 (2020)
Mauri, M.: Intersection cohomology of rank two character varieties of surface groups. arXiv:2101.04628 (2021)
Simpson, C.T.: Moduli of representations of the fundamental group of a smooth projective variety. II. Inst. Hautes Études Sci. Publ. Math. 80, 5–79 (1995)
Acknowledgements
This work have been supported by the Max Planck Institute for Mathematics. We thank an anonymous referee for helpful comments.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Daniel Greb.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mauri, M. Topological mirror symmetry for rank two character varieties of surface groups. Abh. Math. Semin. Univ. Hambg. 91, 297–303 (2021). https://doi.org/10.1007/s12188-021-00246-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12188-021-00246-y