3
$\begingroup$

I want to let $G$ be a finite group and $X$ be an algebraic variety. We define a holomorphic $G$-bundle on $X$ to be a holomorphic vector bundle $V$ on $X$ where the action of $G$ on $X$ lifts to $V$. My first question is quite simply, how is this lift of the action defined? I'm guessing if $g \cdot x = x'$ with $x,x' \in X$ and $g \in G$, then we need to give a rule which assigns a vector in the fiber over $x$ to a vector in the fiber over $x'$ in a compatible way with the action. But this is extra data we need to provide, right? This seems far from unique.

My main question has to do with fixed points of the action. Let $X^{g}$ be the points in $X$ which are fixed by $g \in G$ (I'm happy to let this be a point, for concreteness). I then want to consider the following decomposition into line bundles:

$$TX\big|_{X^{g}} = \oplus_{\lambda}V_{\lambda},$$

for all $\lambda \in \mathbb{Q} \cap [0,1)$ such that $\lambda$ acts on $V_{\lambda}$ by $e^{2 \pi i \lambda}$. I'm incredibly confused by these $V_{\lambda}$. For concreteness, assume $X^{g}$ is a point. So we're given $X$, we're given an action of $G$ on $X$, and we have some isolated fixed point. Do we get a summand $V_{\lambda}$ for every single rational $\lambda$ between 0 and 1, or does the existence of such, depend on the action? Actually we clearly can only have as many summands $V_{\lambda}$ as the complex dimension of $X$. I'm failing to see how the $\lambda$ relate to the underlying $G$-action on $X$.

  • 1
    In general, given a finite group action $G\times X\to X$ and a holomorphic vector bundle $V\to G$, there is no lift of the action of $G$ from $X$ to the bundle. Also, if a lift exists, it might not be unique. Are you interested in the case of tangent bundles?2017-02-11
  • 0
    Thanks for the reply. The statements I've seen seem to consider more general holomorphic bundles, but I'm happy to think about tangent bundles. Hopefully then I can piece together a more general case, if such exists.2017-02-12
  • 0
    OK, then consider re-reading and rewriting your question. Take the sentence "...$\lambda$ acts on $V_\lambda$ by $e^{2\pi i \lambda}$." Is $\lambda$ an element of $G$? I strongly suspect that your $G$ is a complex algebraic reductive group and that you are looking at a maximal torus $T< G$ and that your $\lambda$ is not really a group element, but rather a character on $T$. I think you will benefit greatly from reading a book on representation theory of complex reductive groups (say, Fulton and Harris) where you learn what all these words mean.2017-02-12

0 Answers 0