Skip to main content
2 of 2
added 197 characters in body; added 10 characters in body
Kevin H. Lin
  • 21k
  • 10
  • 116
  • 190

Index vs. equivariant index (and then taking invariant part)?

Let $C$ be a smooth projective curve and let $C^{(n)}$ be its $n$th symmetric power.

Let $E$ be a $S_n$-equivariant vector bundle over the Cartesian power $C^n$. Suppose that $E$ descends to a vector bundle $\tilde{E}$ over the symmetric power $C^{(n)}$.

Then there are two things I can do:

  1. I can compute the $S_n$-equivariant index of $E$ to get an element $V \in K_{S_n}(\text{pt})$. Then I can take the dimension of the $S_n$-invariant part $V^{S_n}$ to get a number.

  2. I can compute the ordinary index of $\tilde{E}$ over $C^{(n)}$, which is a number.

Do these two numbers agree?

Of course I can ask this same question for a more general setting, but this is the setting that I care about right now; I'll be happy with answers for both this setting or a more general one. I am also interested in any references that talk about this kind of "take-equivariant-index-and-then-take-invariant-part" procedure; I haven't really been able to find anything about this in the literature.

Kevin H. Lin
  • 21k
  • 10
  • 116
  • 190