Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a semisimple algebraic group, $C$ be a smooth projective curve, and $\omega$ be canonical line bundle.

The stack $Higgs_{\omega}$ is defined as the stack associating to each $S$ the groupoid consisting of $(E, \phi)$, where $E$ is a $G$-torsor over $X \times S$ and $\phi \in \Gamma(C \times S, ad(E) \otimes_C D)$. Here, how given this torsor $E$ on $C \times S$, does $ad(E)$ refers to the associated bundle $E \times_G \mathfrak{g}$?

Main question: Given a stack $X$, one can abstractly define its co-tangent stack. How does one show that the abstract definition of $T^* Bun_G$ can be identified with $Higgs_{\omega}$?

share|improve this question
add comment

1 Answer

up vote 7 down vote accepted

The tangent complex to $Bun_G(C)$ can be identified with $T_{Bun_G(C)}=\mathbf{R}\pi_*\mathrm{ad}\ P[1]$, where $\pi:Bun_G(C)\times C\rightarrow Bun_G(C)$ is the natural projection and $P$ is the universal bundle.

Then the cotangent stack is $T^* Bun_G(C) = Spec Sym (T_{Bun_G(C)})$. Maps from $U$ into the total space of the bundle $T^* Bun_G(C)\rightarrow Bun_G(C)$ are the same as maps $U\rightarrow Bun_G(C)$ together with a section of the dual sheaf of $T_{Bun_G(C)}$. Relative Serre duality identifies $\mathcal{Hom}(T_{Bun_G(C)}, \mathcal{O})$ with $\mathbf{R}\pi_*\mathcal{Hom}(\mathrm{ad}\ P, \omega_C)\cong\mathbf{R}\pi_*(\mathrm{ad}\ P\otimes\omega_C)$ using the Killing form.

So, maps $U\rightarrow H^0(T^* Bun_G(C))$ to the underlying ordinary stack are identified with $G$-bundles over $U\times C$ and a section $\phi\in H^0(U\times C, \mathrm{ad} P\otimes \omega_C)$.

share|improve this answer
    
Thanks Pavel! Quick question: how does one derive the description of the tangent complex you mention at the start? What is the universal bundle P on $Bun_G(C)×C$ - is it the pullback of some object on $Bun_G(C)$? –  Vinoth Dec 22 '12 at 15:54
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.