Skip to main content
added 145 characters in body
Source Link
Olivier Benoist
  • 6.5k
  • 2
  • 38
  • 55

Let me give an example showing that the normality hypothesis is necessary.

Let $Y=\mathbb{P}^1$ with natural $G=\mathbb{G}_m$-action. Let $X$ be the $G$-variety obtained by glueing transversally the two fixed points $0$ and $\infty$. Consider the line bundle $\mathcal{O}(l)$ with $l\neq 0$ on $Y$ and glue the fibers over $0$ and $\infty$ using any linear isomorphism to obtain a line bundle $\mathcal{L}$ on $X$. Suppose that $\mathcal{L}$ has a $G$-linearisation. Pulling it back to $Y$, we obtain a $G$-linearisation of $\mathcal{O}(l)$ on $Y$ such that $G$ acts on the fibers over $0$ and $\infty$ with the same character. However, the description of the $G$-linearisations of $\mathcal{O}(l)$ when $l\neq 0$ shows that this is not possible (more precisely, for any $G$-linearisation of $\mathcal{O}(l)$, the characters through which $G$ acts on the fibers over $0$ and $\infty$ differ by the character $t\mapsto t^l$). This argument shows moreover that no multiple of $\mathcal{L}$ has a $G$-linearisation.

Note that it follows that there is no ample $G$-linearised line bundle on $X$.

As for the second question, the natural map to study is more likely to be $Pic^G(X)\to Pic(X)^G$ where $Pic(X)^G$ denotes the group of line bundles whose class in $Pic(X)$ is $G$-invariant. When $X$ is normal and proper, its Picard group is an extension of a discrete group by an abelian variety so that if $G$ is linear connected, $G$ acts necessarily trivially on $Pic(X)$ and $Pic(X)^G=Pic(X)$. However, when $X$ is not normal, this is not the case anymore (for instance in the above example).

Moreover, as far as I could check, the arguments in Dolgachev's notes extend to show that, if $X$ is an integral proper variety over an algebraically closed field endowed with an action of a connected linear algebraic group $G$, there is an exact sequence : $$0\to K\to Pic^G(X)\to Pic(X)^G\to Pic(G).$$

A more general statement, that does not assume $X$ proper or $G$ affine, may be found in [Brion, On linearization of line bundles, arXiv:1312.6267, Proposition 2.10].

Let me give an example showing that the normality hypothesis is necessary.

Let $Y=\mathbb{P}^1$ with natural $G=\mathbb{G}_m$-action. Let $X$ be the $G$-variety obtained by glueing transversally the two fixed points $0$ and $\infty$. Consider the line bundle $\mathcal{O}(l)$ with $l\neq 0$ on $Y$ and glue the fibers over $0$ and $\infty$ using any linear isomorphism to obtain a line bundle $\mathcal{L}$ on $X$. Suppose that $\mathcal{L}$ has a $G$-linearisation. Pulling it back to $Y$, we obtain a $G$-linearisation of $\mathcal{O}(l)$ on $Y$ such that $G$ acts on the fibers over $0$ and $\infty$ with the same character. However, the description of the $G$-linearisations of $\mathcal{O}(l)$ when $l\neq 0$ shows that this is not possible (more precisely, for any $G$-linearisation of $\mathcal{O}(l)$, the characters through which $G$ acts on the fibers over $0$ and $\infty$ differ by the character $t\mapsto t^l$). This argument shows moreover that no multiple of $\mathcal{L}$ has a $G$-linearisation.

Note that it follows that there is no ample $G$-linearised line bundle on $X$.

As for the second question, the natural map to study is more likely to be $Pic^G(X)\to Pic(X)^G$ where $Pic(X)^G$ denotes the group of line bundles whose class in $Pic(X)$ is $G$-invariant. When $X$ is normal and proper, its Picard group is an extension of a discrete group by an abelian variety so that if $G$ is linear connected, $G$ acts necessarily trivially on $Pic(X)$ and $Pic(X)^G=Pic(X)$. However, when $X$ is not normal, this is not the case anymore (for instance in the above example).

Moreover, as far as I could check, the arguments in Dolgachev's notes extend to show that, if $X$ is an integral proper variety over an algebraically closed field endowed with an action of a connected linear algebraic group $G$, there is an exact sequence : $$0\to K\to Pic^G(X)\to Pic(X)^G\to Pic(G).$$

Let me give an example showing that the normality hypothesis is necessary.

Let $Y=\mathbb{P}^1$ with natural $G=\mathbb{G}_m$-action. Let $X$ be the $G$-variety obtained by glueing transversally the two fixed points $0$ and $\infty$. Consider the line bundle $\mathcal{O}(l)$ with $l\neq 0$ on $Y$ and glue the fibers over $0$ and $\infty$ using any linear isomorphism to obtain a line bundle $\mathcal{L}$ on $X$. Suppose that $\mathcal{L}$ has a $G$-linearisation. Pulling it back to $Y$, we obtain a $G$-linearisation of $\mathcal{O}(l)$ on $Y$ such that $G$ acts on the fibers over $0$ and $\infty$ with the same character. However, the description of the $G$-linearisations of $\mathcal{O}(l)$ when $l\neq 0$ shows that this is not possible (more precisely, for any $G$-linearisation of $\mathcal{O}(l)$, the characters through which $G$ acts on the fibers over $0$ and $\infty$ differ by the character $t\mapsto t^l$). This argument shows moreover that no multiple of $\mathcal{L}$ has a $G$-linearisation.

Note that it follows that there is no ample $G$-linearised line bundle on $X$.

As for the second question, the natural map to study is more likely to be $Pic^G(X)\to Pic(X)^G$ where $Pic(X)^G$ denotes the group of line bundles whose class in $Pic(X)$ is $G$-invariant. When $X$ is normal and proper, its Picard group is an extension of a discrete group by an abelian variety so that if $G$ is linear connected, $G$ acts necessarily trivially on $Pic(X)$ and $Pic(X)^G=Pic(X)$. However, when $X$ is not normal, this is not the case anymore (for instance in the above example).

Moreover, the arguments in Dolgachev's notes extend to show that, if $X$ is an integral proper variety over an algebraically closed field endowed with an action of a connected linear algebraic group $G$, there is an exact sequence : $$0\to K\to Pic^G(X)\to Pic(X)^G\to Pic(G).$$

A more general statement, that does not assume $X$ proper or $G$ affine, may be found in [Brion, On linearization of line bundles, arXiv:1312.6267, Proposition 2.10].

deleted 7 characters in body
Source Link
Olivier Benoist
  • 6.5k
  • 2
  • 38
  • 55

Let me give an example showing that the normality hypothesis is necessary.

Let $Y=\mathbb{P}^1$ with natural $G=\mathbb{G}_m$-action. Let $X$ be the $G$-variety obtained by glueing transversally the two fixed points $0$ and $\infty$. Consider the line bundle $\mathcal{O}(l)$ with $l\neq 0$ on $Y$ and glue the fibers over $0$ and $\infty$ using any linear isomorphism to obtain a line bundle $\mathcal{L}$ on $X$. Suppose that $\mathcal{L}$ has a $G$-linearisation. Pulling it back to $Y$, we obtain a $G$-linearisation of $\mathcal{O}(l)$ on $Y$ such that $G$ acts on the fibers over $0$ and $\infty$ with the same character. However, the description of the $G$-linearisations of $\mathcal{O}(l)$ when $l\neq 0$ shows that this is not possible (more precisely, for any $G$-linearisation of $\mathcal{O}(l)$, the characters through which $G$ acts on the fibers over $0$ and $\infty$ differ by the character $t\mapsto t^l$). This argument shows moreover that no multiple of $\mathcal{L}$ has a $G$-linearisation.

Note that it follows that there is no ample $G$-linearised line bundle on $X$.

As for the second question, the natural map to study is more likely to be $Pic^G(X)\to Pic(X)^G$ where $Pic(X)^G$ denotes the group of line bundles whose class in $Pic(X)$ is $G$-invariant. When $X$ is normal and proper, its Picard group is an extension of a discrete group by an abelian variety so that if $G$ is linear connected, $G$ acts necessarily trivially on $Pic(X)$ and $Pic(X)^G=Pic(X)$. However, when $X$ is not normal, this is not the case anymore (for instance in the above example).

Moreover, as far as I could check, the arguments in Dolgachev's notes extend to show that, if $X$ is an integral normal proper variety over an algebraically closed field endowed with an action of a connected linear algebraic group $G$, there is an exact sequence : $$0\to K\to Pic^G(X)\to Pic(X)^G\to Pic(G).$$

Let me give an example showing that the normality hypothesis is necessary.

Let $Y=\mathbb{P}^1$ with natural $G=\mathbb{G}_m$-action. Let $X$ be the $G$-variety obtained by glueing transversally the two fixed points $0$ and $\infty$. Consider the line bundle $\mathcal{O}(l)$ with $l\neq 0$ on $Y$ and glue the fibers over $0$ and $\infty$ using any linear isomorphism to obtain a line bundle $\mathcal{L}$ on $X$. Suppose that $\mathcal{L}$ has a $G$-linearisation. Pulling it back to $Y$, we obtain a $G$-linearisation of $\mathcal{O}(l)$ on $Y$ such that $G$ acts on the fibers over $0$ and $\infty$ with the same character. However, the description of the $G$-linearisations of $\mathcal{O}(l)$ when $l\neq 0$ shows that this is not possible (more precisely, for any $G$-linearisation of $\mathcal{O}(l)$, the characters through which $G$ acts on the fibers over $0$ and $\infty$ differ by the character $t\mapsto t^l$). This argument shows moreover that no multiple of $\mathcal{L}$ has a $G$-linearisation.

Note that it follows that there is no ample $G$-linearised line bundle on $X$.

As for the second question, the natural map to study is more likely to be $Pic^G(X)\to Pic(X)^G$ where $Pic(X)^G$ denotes the group of line bundles whose class in $Pic(X)$ is $G$-invariant. When $X$ is normal and proper, its Picard group is an extension of a discrete group by an abelian variety so that if $G$ is linear connected, $G$ acts necessarily trivially on $Pic(X)$ and $Pic(X)^G=Pic(X)$. However, when $X$ is not normal, this is not the case anymore (for instance in the above example).

Moreover, as far as I could check, the arguments in Dolgachev's notes extend to show that, if $X$ is an integral normal proper variety over an algebraically closed field endowed with an action of a connected linear algebraic group $G$, there is an exact sequence : $$0\to K\to Pic^G(X)\to Pic(X)^G\to Pic(G).$$

Let me give an example showing that the normality hypothesis is necessary.

Let $Y=\mathbb{P}^1$ with natural $G=\mathbb{G}_m$-action. Let $X$ be the $G$-variety obtained by glueing transversally the two fixed points $0$ and $\infty$. Consider the line bundle $\mathcal{O}(l)$ with $l\neq 0$ on $Y$ and glue the fibers over $0$ and $\infty$ using any linear isomorphism to obtain a line bundle $\mathcal{L}$ on $X$. Suppose that $\mathcal{L}$ has a $G$-linearisation. Pulling it back to $Y$, we obtain a $G$-linearisation of $\mathcal{O}(l)$ on $Y$ such that $G$ acts on the fibers over $0$ and $\infty$ with the same character. However, the description of the $G$-linearisations of $\mathcal{O}(l)$ when $l\neq 0$ shows that this is not possible (more precisely, for any $G$-linearisation of $\mathcal{O}(l)$, the characters through which $G$ acts on the fibers over $0$ and $\infty$ differ by the character $t\mapsto t^l$). This argument shows moreover that no multiple of $\mathcal{L}$ has a $G$-linearisation.

Note that it follows that there is no ample $G$-linearised line bundle on $X$.

As for the second question, the natural map to study is more likely to be $Pic^G(X)\to Pic(X)^G$ where $Pic(X)^G$ denotes the group of line bundles whose class in $Pic(X)$ is $G$-invariant. When $X$ is normal and proper, its Picard group is an extension of a discrete group by an abelian variety so that if $G$ is linear connected, $G$ acts necessarily trivially on $Pic(X)$ and $Pic(X)^G=Pic(X)$. However, when $X$ is not normal, this is not the case anymore (for instance in the above example).

Moreover, as far as I could check, the arguments in Dolgachev's notes extend to show that, if $X$ is an integral proper variety over an algebraically closed field endowed with an action of a connected linear algebraic group $G$, there is an exact sequence : $$0\to K\to Pic^G(X)\to Pic(X)^G\to Pic(G).$$

added 7 characters in body
Source Link

Let me give an example showing that the normality hypothesis is necessary.

Let $Y=\mathbb{P}^1$ with natural $G=\mathbb{G}_m$-action. Let $X$ be the $G$-variety obtained by glueing transversally the two fixed points $0$ and $\infty$. Consider the line bundle $\mathcal{O}(l)$ with $l\neq 0$ on $Y$ and glue the fibers over $0$ and $\infty$ using any linear isomorphism to obtain a line bundle $\mathcal{L}$ on $X$. Suppose that $\mathcal{L}$ has a $G$-linearisation. Pulling it back to $Y$, we obtain a $G$-linearisation of $\mathcal{O}(l)$ on $Y$ such that $G$ acts on the fibers over $0$ and $\infty$ with the same character. However, the description of the $G$-linearisations of $\mathcal{O}(l)$ when $l\neq 0$ shows that this is not possible (more precisely, for any $G$-linearisation of $\mathcal{O}(l)$, the characters through which $G$ acts on the fibers over $0$ and $\infty$ differ by the character $t\mapsto t^l$). This argument shows moreover that no multiple of $\mathcal{L}$ has a $G$-linearisation.

Note that it follows that there is no ample $G$-linearised line bundle on $X$.

As for the second question, the natural map to study is more likely to be $Pic^G(X)\to Pic(X)^G$ where $Pic(X)^G$ denotes the group of line bundles whose class in $Pic(X)$ is $G$-invariant. When $X$ is normal and proper, its Picard group is an extension of a discrete group by an abelian variety so that if $G$ is linear connected, $G$ acts necessarily trivially on $Pic(X)$ and $Pic(X)^G=Pic(X)$. However, when $X$ is not normal, this is not the case anymore (for instance in the above example).

Moreover, as far as I could check, the arguments in Dolgachev's notes extend to show that, if $X$ is an integral normal proper variety over an algebraically closed field endowed with an action of a connected linear algebraic group $G$, there is an exact sequence : $$0\to K\to Pic^G(X)\to Pic(X)^G\to Pic(G).$$

Let me give an example showing that the normality hypothesis is necessary.

Let $Y=\mathbb{P}^1$ with natural $G=\mathbb{G}_m$-action. Let $X$ be the $G$-variety obtained by glueing transversally the two fixed points $0$ and $\infty$. Consider the line bundle $\mathcal{O}(l)$ with $l\neq 0$ on $Y$ and glue the fibers over $0$ and $\infty$ using any linear isomorphism to obtain a line bundle $\mathcal{L}$ on $X$. Suppose that $\mathcal{L}$ has a $G$-linearisation. Pulling it back to $Y$, we obtain a $G$-linearisation of $\mathcal{O}(l)$ on $Y$ such that $G$ acts on the fibers over $0$ and $\infty$ with the same character. However, the description of the $G$-linearisations of $\mathcal{O}(l)$ when $l\neq 0$ shows that this is not possible (more precisely, for any $G$-linearisation of $\mathcal{O}(l)$, the characters through which $G$ acts on the fibers over $0$ and $\infty$ differ by the character $t\mapsto t^l$). This argument shows moreover that no multiple of $\mathcal{L}$ has a $G$-linearisation.

Note that it follows that there is no ample $G$-linearised line bundle on $X$.

As for the second question, the natural map to study is more likely to be $Pic^G(X)\to Pic(X)^G$ where $Pic(X)^G$ denotes the group of line bundles whose class in $Pic(X)$ is $G$-invariant. When $X$ is normal and proper, its Picard group is an extension of a discrete group by an abelian variety so that if $G$ is linear connected, $G$ acts necessarily trivially on $Pic(X)$ and $Pic(X)^G=Pic(X)$. However, when $X$ is not normal, this is not the case anymore (for instance in the above example).

Moreover, as far as I could check, the arguments in Dolgachev's notes extend to show that, if $X$ is an integral proper variety over an algebraically closed field endowed with an action of a connected linear algebraic group $G$, there is an exact sequence : $$0\to K\to Pic^G(X)\to Pic(X)^G\to Pic(G).$$

Let me give an example showing that the normality hypothesis is necessary.

Let $Y=\mathbb{P}^1$ with natural $G=\mathbb{G}_m$-action. Let $X$ be the $G$-variety obtained by glueing transversally the two fixed points $0$ and $\infty$. Consider the line bundle $\mathcal{O}(l)$ with $l\neq 0$ on $Y$ and glue the fibers over $0$ and $\infty$ using any linear isomorphism to obtain a line bundle $\mathcal{L}$ on $X$. Suppose that $\mathcal{L}$ has a $G$-linearisation. Pulling it back to $Y$, we obtain a $G$-linearisation of $\mathcal{O}(l)$ on $Y$ such that $G$ acts on the fibers over $0$ and $\infty$ with the same character. However, the description of the $G$-linearisations of $\mathcal{O}(l)$ when $l\neq 0$ shows that this is not possible (more precisely, for any $G$-linearisation of $\mathcal{O}(l)$, the characters through which $G$ acts on the fibers over $0$ and $\infty$ differ by the character $t\mapsto t^l$). This argument shows moreover that no multiple of $\mathcal{L}$ has a $G$-linearisation.

Note that it follows that there is no ample $G$-linearised line bundle on $X$.

As for the second question, the natural map to study is more likely to be $Pic^G(X)\to Pic(X)^G$ where $Pic(X)^G$ denotes the group of line bundles whose class in $Pic(X)$ is $G$-invariant. When $X$ is normal and proper, its Picard group is an extension of a discrete group by an abelian variety so that if $G$ is linear connected, $G$ acts necessarily trivially on $Pic(X)$ and $Pic(X)^G=Pic(X)$. However, when $X$ is not normal, this is not the case anymore (for instance in the above example).

Moreover, as far as I could check, the arguments in Dolgachev's notes extend to show that, if $X$ is an integral normal proper variety over an algebraically closed field endowed with an action of a connected linear algebraic group $G$, there is an exact sequence : $$0\to K\to Pic^G(X)\to Pic(X)^G\to Pic(G).$$

added 305 characters in body; added 12 characters in body
Source Link
Olivier Benoist
  • 6.5k
  • 2
  • 38
  • 55
Loading
edited body
Source Link
Olivier Benoist
  • 6.5k
  • 2
  • 38
  • 55
Loading
added 487 characters in body
Source Link
Olivier Benoist
  • 6.5k
  • 2
  • 38
  • 55
Loading
Source Link
Olivier Benoist
  • 6.5k
  • 2
  • 38
  • 55
Loading