English

Higgs bundles and representation spaces associated to morphisms

Algebraic Geometry 2015-07-17 v1

Abstract

Let GG be a connected reductive affine algebraic group defined over the complex numbers, and KGK\subset G be a maximal compact subgroup. Let X,YX , Y be irreducible smooth complex projective varieties and f:XYf: X \rightarrow Y an algebraic morphism, such that π1(Y)\pi_1(Y) is virtually nilpotent and the homomorphism f:π1(X)π1(Y)f_* : \pi_1(X) \rightarrow\pi_1(Y) is surjective. Define Rf(π1(X),G)={ρHom(π1(X),G)Aρ  factors through  f}, {\mathcal R }^f(\pi_1(X),\, G)\,=\, \{\rho\, \in\, \text{Hom}(\pi_1(X),\, G)\, \mid\, A\circ\rho \ \text{ factors through }~ f_*\}\, , Rf(π1(X),K)={ρHom(π1(X),K)Aρ  factors through  f}, {\mathcal R }^f(\pi_1(X),\, K)\,=\, \{\rho\, \in\, \text{Hom}(\pi_1(X),\, K)\, \mid\, A\circ\rho \ \text{ factors through }~ f_*\}\, , where A:GGL(Lie(G))A: G \rightarrow \text{GL}(\text{Lie}(G)) is the adjoint action. We prove that the geometric invariant theoretic quotient Rf(π1(X,x0),G)/ ⁣ ⁣/G{\mathcal R }^f(\pi_1(X, x_0), G)/\!\!/G admits a deformation retraction to Rf(π1(X,x0),K)/K{\mathcal R }^f(\pi_1(X, x_0),\, K)/K. We also show that the space of conjugacy classes of nn almost commuting elements in GG admits a deformation retraction to the space of conjugacy classes of nn almost commuting elements in KK.

Keywords

Cite

@article{arxiv.1507.04568,
  title  = {Higgs bundles and representation spaces associated to morphisms},
  author = {Indranil Biswas and Carlos Florentino},
  journal= {arXiv preprint arXiv:1507.04568},
  year   = {2015}
}
R2 v1 2026-06-22T10:13:04.840Z