Skip to main content
Response to a-fortiori's comment.
Source Link

All varieties are over $\mathbb{C}$.

Let $X$ be a variety and $\pi \colon E \to X$ a geometric vector bundle. So $ \pi $ is affine. Then certainly the assignment $ M \mapsto \pi_*M $ defines an equivalence between quasi-coherent $\mathcal{O}_E$-modules and quasi-coherent $\pi_*\mathcal{O}_E$-modules.

Now $\mathbb{C}^{\times}$ acts on $E$ via dilation of the fibres of $\pi$. So $\pi_* \mathcal{O}_E$ acquires a grading. Is it true that $M \mapsto \pi_* M$ gives an equivalence between $\mathbb{C}^{\times}$-equivariant quasi-coherent $\mathcal{O}_E$-modules and graded quasi-coherent $\pi_*\mathcal{O}_E$-modules?

If this is true, does it generalize to replacingIf this is true, does it generalize to replacing $\pi$ being a vector bundle with $E$ just equipped with a $\mathbb{C}^{\times}$-action, $\pi$ affine and $\mathbb{C}^{\times}$-equivariant, $\mathbb{C}^{\times}$ acting on $X$ trivially?

Added later $\pi$ being(in response to a vector bundle with-fortiori's comment): Perhaps I hadn't done my homework as conscientiously as I thought. Regardless, here are some thoughts. As candidate for the quasi-inverse $E$ just equipped with(is there a more sensible choice?) take

$N\mapsto \mathcal{O}_E \otimes_{\pi^{-1}\pi_*\mathcal{O}_E}\pi^{-1}N$

with $\mathbb{C}^{\times}$-actionequivariant structure given by

$z \cdot (f(x,v) \otimes n_i) = f(x, z^{-1}v) \otimes z^{-i}n_i$,

where $\pi$ affine$n_i$ is in the $i$-th component of $N$ and the rest of the notation is $\mathbb{C}^{\times}$(I hope) self-equivariant,explanatory. Hitting the structure sheaf $\mathbb{C}^{\times}$ acting$\mathcal{O}_E$ (with the trivial/evident equivariant structure) with these functors works fine, so this isn't completely ridiculous. But now I am not even sure whether there are other equivariant structures on $X$ trivially?$\mathcal{O}_E$ that would make this breakdown.

All varieties are over $\mathbb{C}$.

Let $X$ be a variety and $\pi \colon E \to X$ a geometric vector bundle. So $ \pi $ is affine. Then certainly the assignment $ M \mapsto \pi_*M $ defines an equivalence between quasi-coherent $\mathcal{O}_E$-modules and quasi-coherent $\pi_*\mathcal{O}_E$-modules.

Now $\mathbb{C}^{\times}$ acts on $E$ via dilation of the fibres of $\pi$. So $\pi_* \mathcal{O}_E$ acquires a grading. Is it true that $M \mapsto \pi_* M$ gives an equivalence between $\mathbb{C}^{\times}$-equivariant quasi-coherent $\mathcal{O}_E$-modules and graded quasi-coherent $\pi_*\mathcal{O}_E$-modules?

If this is true, does it generalize to replacing $\pi$ being a vector bundle with $E$ just equipped with a $\mathbb{C}^{\times}$-action, $\pi$ affine and $\mathbb{C}^{\times}$-equivariant, $\mathbb{C}^{\times}$ acting on $X$ trivially?

All varieties are over $\mathbb{C}$.

Let $X$ be a variety and $\pi \colon E \to X$ a geometric vector bundle. So $ \pi $ is affine. Then certainly the assignment $ M \mapsto \pi_*M $ defines an equivalence between quasi-coherent $\mathcal{O}_E$-modules and quasi-coherent $\pi_*\mathcal{O}_E$-modules.

Now $\mathbb{C}^{\times}$ acts on $E$ via dilation of the fibres of $\pi$. So $\pi_* \mathcal{O}_E$ acquires a grading. Is it true that $M \mapsto \pi_* M$ gives an equivalence between $\mathbb{C}^{\times}$-equivariant quasi-coherent $\mathcal{O}_E$-modules and graded quasi-coherent $\pi_*\mathcal{O}_E$-modules?

If this is true, does it generalize to replacing $\pi$ being a vector bundle with $E$ just equipped with a $\mathbb{C}^{\times}$-action, $\pi$ affine and $\mathbb{C}^{\times}$-equivariant, $\mathbb{C}^{\times}$ acting on $X$ trivially?

Added later (in response to a-fortiori's comment): Perhaps I hadn't done my homework as conscientiously as I thought. Regardless, here are some thoughts. As candidate for the quasi-inverse (is there a more sensible choice?) take

$N\mapsto \mathcal{O}_E \otimes_{\pi^{-1}\pi_*\mathcal{O}_E}\pi^{-1}N$

with $\mathbb{C}^{\times}$-equivariant structure given by

$z \cdot (f(x,v) \otimes n_i) = f(x, z^{-1}v) \otimes z^{-i}n_i$,

where $n_i$ is in the $i$-th component of $N$ and the rest of the notation is (I hope) self-explanatory. Hitting the structure sheaf $\mathcal{O}_E$ (with the trivial/evident equivariant structure) with these functors works fine, so this isn't completely ridiculous. But now I am not even sure whether there are other equivariant structures on $\mathcal{O}_E$ that would make this breakdown.

Fixed spelling in title
Link
MTS
  • 8.6k
  • 2
  • 35
  • 65

C^*-euivariantequivariant modules on a vector bundle vs graded modules on the pushforward.

Source Link

C^*-euivariant modules on a vector bundle vs graded modules on the pushforward.

All varieties are over $\mathbb{C}$.

Let $X$ be a variety and $\pi \colon E \to X$ a geometric vector bundle. So $ \pi $ is affine. Then certainly the assignment $ M \mapsto \pi_*M $ defines an equivalence between quasi-coherent $\mathcal{O}_E$-modules and quasi-coherent $\pi_*\mathcal{O}_E$-modules.

Now $\mathbb{C}^{\times}$ acts on $E$ via dilation of the fibres of $\pi$. So $\pi_* \mathcal{O}_E$ acquires a grading. Is it true that $M \mapsto \pi_* M$ gives an equivalence between $\mathbb{C}^{\times}$-equivariant quasi-coherent $\mathcal{O}_E$-modules and graded quasi-coherent $\pi_*\mathcal{O}_E$-modules?

If this is true, does it generalize to replacing $\pi$ being a vector bundle with $E$ just equipped with a $\mathbb{C}^{\times}$-action, $\pi$ affine and $\mathbb{C}^{\times}$-equivariant, $\mathbb{C}^{\times}$ acting on $X$ trivially?