P=WP=W  ~ for  ~ GLnGLn

These notes were taken during talk given by Davesh Maulik.

Notations used throughout the talk
C−C- non-singular projective irreducible curve
genus of curve g(C)≥2g(C)\geq 2
n−n- rank
d−d- degree and (n,d)=1(n,d)=1

Moduli space of Higgs Bundle on the curve


 \mathcal{M}^{Higgs} = \left\{\parbox{65mm}{E~ vect bun on C of rank n and degree d $\theta:
 	E\longrightarrow E\bigotimes K_c$, stability condition }\right\}/ \cong

KcK_c is canonical bundle and θ\theta is Higgs field (twisted endomorphism of vector bundle)

Twisted character variety of the curve


    \mathcal{M}^{char}= \left\{\parbox{50mm}{fix point$\in C$ \\ $\pi_1(C~\backslash ~p)\longrightarrow GLn(\mathbb{C})$ \\    loop around puncture $\mapsto e^{\frac{2\pi id}{n}}$} \right \}//GLn(\mathbb{C})

Non-abelian Hodge theorem
There exists diffeomorphism between MHiggs\mathcal{M}^{Higgs} and Mchar\mathcal{M}^{char}

Example: When n=1
Jacobian(C)×Cg≅(S1)2g×R2g≅(C∗)2g(C)\times \mathbb{C}^{g}\cong(S^1)^{2g}\times\mathbb{R}^{2g}\cong(\mathbb{C}^*)^{2g}

We have the identification between singular cohomology H∗(MHiggs,Q)H^{*}(\mathcal{M}^{Higgs},\mathbb{Q}) and H∗(Mchar,Q)H^{*}(\mathcal{M}^{char}, \mathbb{Q})

H∗(Mchar,Q)H^{*}(\mathcal{M}^{char}, \mathbb{Q}) has mixed Hodge structure and in particular weight filtration WkH∗W^kH^*.

P=W conjecture (dCHM): Perverse filtration on Higgs moduli space P≤kH∗(MHiggs)P_{\leq k}H^{*}(\mathcal{M}^{Higgs}) matches up with weight filtration W≤2kH∗(Mchar).W_{\leq 2k}H^*(\mathcal{M}^{char}).

Result proved for

  1. n=2,g≥2n=2, g\geq 2 (2010)
  2. n≥2,g=2n\geq 2, g=2 (2019)
  3. for all n and for all g (2022)

Don’t know if this conjecture is true for other cases like

  1. for other cases like SLnSLn
  2. when (n,d)≠1(n,d)\neq 1