Skip to main content
2 of 4
added 118 characters in body
DLIN
  • 1.9k
  • 1
  • 10
  • 19

An example of Guillemin Sternberg Conjecture

Guillemin Sternberg Conjecture(proved) says that for symplectic manifold $(M,\omega)$ with $[Q,R]=0$ condiction, with compact group action $G$, such that $\mu:M\to \mathfrak g^*$ is regular at $0$, and $G$ action freely on $\mu^{-1}(0)$. Then $Ind^G(D_M^L)=Ind(D^{L_G}_{M//G})$.

Is there an example?

Here is an idea.

Let $M=\mathbb P^2$ $L=\mathcal O(1)$ and $G=S^1$ action on $M$ on the first coordinate, i.e. $\theta\cdot[z_1,z_2,z_3]=[\theta z_1,z_2,z_3]$. Then, $M//G=\mathbb P^1$.

Q: I donot know what is $L_G$. $\mathcal O(1)$ or trivial bundle?

By my understanding, I think $L_G=\mathcal O(1)$, then $Ind(D^{\mathcal O(1)}_{\mathbb P^1})=2$. Is this correct?

DLIN
  • 1.9k
  • 1
  • 10
  • 19