Skip to main content

$\newcommand{\O}{\mathcal{O}}\newcommand{\F}{\mathcal{F}} $The$\newcommand{\O}{\mathcal{O}}$ $\newcommand{\F}{\mathcal{F}}$

The way you get a locally free sheaf of rank $n$ from a $GL(n)$-torsor $P$ is by twisting the trivial rank $n$ bundle $\O^n$ (which has a natural $GL(n)$-action) by the torsor. Explicitly, the locally free sheaf is $\F=\O^n\times^{GL(n)}P$, whose (scheme-theoretic) points are $(v,p)$, where $v$ is a point of the trivial bundle and $p$ is a point of $P$, subject to the relation $(v\cdot g,p)\sim (v,g\cdot p)$. Conversely, given a locally free sheaf $\F$ of rank $n$, the sheaf $Isom(\O^n,\F)$ is a $GL(n)$ torsor-torsor, and this procedure is inverse to the $P\mapsto \O^n\times^{GL(n)}P$ procedure above. (Note: I'm identifying spaces over the base $X$ with their sheaves of sections, both for regarding $Isom(\O^n,\F)$ as a torsor and for regarding $\O^n\times^{GL_n}P$ as a locally free sheaf.)

Similarly, if you have a group $G$ and a representation $V$, then you can associate to any $G$-torsor $P$ a locally free sheaf of rank $\dim(V)$, namely $V\times^G P$. But I don't know of a characterization of which locally free sheaves of rank $\dim(V)$ arise in this way.

Operations with the locally free sheaf (like taking top exterior power, or any other operation which is basically defined fiberwise and shown to glue) correspond to doing that operation with the representation $V$, so I think you're right that in the case of $SL(n)$ you get exactly those locally free sheaves whose top exterior power is trivial (since $SL(n)$ has no non-trivial 1$1$-dimensional representations).

$\newcommand{\O}{\mathcal{O}}\newcommand{\F}{\mathcal{F}} $The way you get a locally free sheaf of rank $n$ from a $GL(n)$-torsor $P$ is by twisting the trivial rank $n$ bundle $\O^n$ (which has a natural $GL(n)$-action) by the torsor. Explicitly, the locally free sheaf is $\F=\O^n\times^{GL(n)}P$, whose (scheme-theoretic) points are $(v,p)$, where $v$ is a point of the trivial bundle and $p$ is a point of $P$, subject to the relation $(v\cdot g,p)\sim (v,g\cdot p)$. Conversely, given a locally free sheaf $\F$ of rank $n$, the sheaf $Isom(\O^n,\F)$ is a $GL(n)$ torsor, and this procedure is inverse to the $P\mapsto \O^n\times^{GL(n)}P$ procedure above. (Note: I'm identifying spaces over the base $X$ with their sheaves of sections, both for regarding $Isom(\O^n,\F)$ as a torsor and for regarding $\O^n\times^{GL_n}P$ as a locally free sheaf.)

Similarly, if you have a group $G$ and a representation $V$, then you can associate to any $G$-torsor $P$ a locally free sheaf of rank $\dim(V)$, namely $V\times^G P$. But I don't know of a characterization of which locally free sheaves of rank $\dim(V)$ arise in this way.

Operations with the locally free sheaf (like taking top exterior power, or any other operation which is basically defined fiberwise and shown to glue) correspond to doing that operation with the representation $V$, so I think you're right that in the case of $SL(n)$ you get exactly those locally free sheaves whose top exterior power is trivial (since $SL(n)$ has no non-trivial 1-dimensional representations).

$\newcommand{\O}{\mathcal{O}}$ $\newcommand{\F}{\mathcal{F}}$

The way you get a locally free sheaf of rank $n$ from a $GL(n)$-torsor $P$ is by twisting the trivial rank $n$ bundle $\O^n$ (which has a natural $GL(n)$-action) by the torsor. Explicitly, the locally free sheaf is $\F=\O^n\times^{GL(n)}P$, whose (scheme-theoretic) points are $(v,p)$, where $v$ is a point of the trivial bundle and $p$ is a point of $P$, subject to the relation $(v\cdot g,p)\sim (v,g\cdot p)$. Conversely, given a locally free sheaf $\F$ of rank $n$, the sheaf $Isom(\O^n,\F)$ is a $GL(n)$-torsor, and this procedure is inverse to the $P\mapsto \O^n\times^{GL(n)}P$ procedure above. (Note: I'm identifying spaces over the base $X$ with their sheaves of sections, both for regarding $Isom(\O^n,\F)$ as a torsor and for regarding $\O^n\times^{GL_n}P$ as a locally free sheaf.)

Similarly, if you have a group $G$ and a representation $V$, then you can associate to any $G$-torsor $P$ a locally free sheaf of rank $\dim(V)$, namely $V\times^G P$. But I don't know of a characterization of which locally free sheaves of rank $\dim(V)$ arise in this way.

Operations with the locally free sheaf (like taking top exterior power, or any other operation which is basically defined fiberwise and shown to glue) correspond to doing that operation with the representation $V$, so I think you're right that in the case of $SL(n)$ you get exactly those locally free sheaves whose top exterior power is trivial (since $SL(n)$ has no non-trivial $1$-dimensional representations).

Correction: Aut(F) should have been Isom(O^n, F). While I'm here, texifying and cleaning up a couple of stylistic things.
Source Link
Anton Geraschenko
  • 24.1k
  • 17
  • 127
  • 180

Principal GL(n)-bundles are equivalent to locally free sheaves of rank n, but not in the way you're describing. The easiest way to see this is to note that principal G-bundles have fibers that look like G (in the case of GL(n), these would be n²-dimensional), but locally free sheaves of rank n have n-dimensional fibers.

The$\newcommand{\O}{\mathcal{O}}\newcommand{\F}{\mathcal{F}} $The way you get a locally free sheaf of rank n$n$ from a GL(n)$GL(n)$-torsor P$P$ is by twisting the trivial rank n$n$ bundle On$\O^n$ (which has a natural GL(n)$GL(n)$-action) by the torsor. Explicitly, the locally free sheaf is F=OnxGL(n)P$\F=\O^n\times^{GL(n)}P$, whose (scheme-theoretic) points are (v,p)$(v,p)$, where v$v$ is a point of the trivial bundle and p$p$ is a point of P$P$, subject to the relation that (v⋅g,p)∼(v,g⋅p). It happens that the map is bijective$(v\cdot g,p)\sim (v,g\cdot p)$. GivenConversely, given a locally free sheaf F$\F$ of rank n$n$, the automorphism sheaf Aut(F)$Isom(\O^n,\F)$ is a GL(n) torsor (and$GL(n)$ torsor, and this procedure is inverse to the one I described)$P\mapsto \O^n\times^{GL(n)}P$ procedure above. (Note: I'm identifying spaces over the base $X$ with their sheaves of sections, both for regarding $Isom(\O^n,\F)$ as a torsor and for regarding $\O^n\times^{GL_n}P$ as a locally free sheaf.)

Similarly, if you have a group G$G$ and a representation V$V$, then you can associate to any G$G$-torsor $P$ a locally free sheaf of rank dim(V)$\dim(V)$, namely $V\times^G P$. But I don't know of a characterization of which locally free sheaves of rank dim(V)$\dim(V)$ arise in this way.

Operations with the locally free sheaf (like taking top exterior power, or any other operation which is basically defined fiberwise and shown to glue) should just correspond to doing that operation with the representation V$V$, so I think you're right that in the case of SL(n)$SL(n)$ you get exactly those locally free sheaves whose top exterior power is trivial (since SL(n)$SL(n)$ has no non-trivial 1-dimensional representations).

Principal GL(n)-bundles are equivalent to locally free sheaves of rank n, but not in the way you're describing. The easiest way to see this is to note that principal G-bundles have fibers that look like G (in the case of GL(n), these would be n²-dimensional), but locally free sheaves of rank n have n-dimensional fibers.

The way you get a locally free sheaf of rank n from a GL(n)-torsor P is by twisting the trivial rank n bundle On (which has a natural GL(n)-action) by the torsor. Explicitly, the locally free sheaf is F=OnxGL(n)P, whose (scheme-theoretic) points are (v,p), where v is a point of the trivial bundle and p is a point of P, subject to the relation that (v⋅g,p)∼(v,g⋅p). It happens that the map is bijective. Given a locally free sheaf F of rank n, the automorphism sheaf Aut(F) is a GL(n) torsor (and this procedure is inverse to the one I described).

Similarly, if you have a group G and a representation V, then you can associate to any G-torsor a locally free sheaf of rank dim(V). I don't know of a characterization of which locally free sheaves of rank dim(V) arise in this way.

Operations with the locally free sheaf (like taking top exterior power) should just correspond to doing that operation with the representation V, so I think you're right that in the case of SL(n) you get exactly those locally free sheaves whose top exterior power is trivial (since SL(n) has no non-trivial 1-dimensional representations).

$\newcommand{\O}{\mathcal{O}}\newcommand{\F}{\mathcal{F}} $The way you get a locally free sheaf of rank $n$ from a $GL(n)$-torsor $P$ is by twisting the trivial rank $n$ bundle $\O^n$ (which has a natural $GL(n)$-action) by the torsor. Explicitly, the locally free sheaf is $\F=\O^n\times^{GL(n)}P$, whose (scheme-theoretic) points are $(v,p)$, where $v$ is a point of the trivial bundle and $p$ is a point of $P$, subject to the relation $(v\cdot g,p)\sim (v,g\cdot p)$. Conversely, given a locally free sheaf $\F$ of rank $n$, the sheaf $Isom(\O^n,\F)$ is a $GL(n)$ torsor, and this procedure is inverse to the $P\mapsto \O^n\times^{GL(n)}P$ procedure above. (Note: I'm identifying spaces over the base $X$ with their sheaves of sections, both for regarding $Isom(\O^n,\F)$ as a torsor and for regarding $\O^n\times^{GL_n}P$ as a locally free sheaf.)

Similarly, if you have a group $G$ and a representation $V$, then you can associate to any $G$-torsor $P$ a locally free sheaf of rank $\dim(V)$, namely $V\times^G P$. But I don't know of a characterization of which locally free sheaves of rank $\dim(V)$ arise in this way.

Operations with the locally free sheaf (like taking top exterior power, or any other operation which is basically defined fiberwise and shown to glue) correspond to doing that operation with the representation $V$, so I think you're right that in the case of $SL(n)$ you get exactly those locally free sheaves whose top exterior power is trivial (since $SL(n)$ has no non-trivial 1-dimensional representations).

added 342 characters in body
Source Link
Anton Geraschenko
  • 24.1k
  • 17
  • 127
  • 180

Principal GL(n)-bundles are equivalent to locally free sheaves of rank n, but not in the way you're describing. The easiest way to see this is to note that principal G-bundles have fibers that look like G (in the case of GL(n), these would be n²-dimensional), but locally free sheaves of rank n have n-dimensional fibers.

The way you get a locally free sheaf of rank n from a GL(n)-torsor P is by twisting the trivial rank n bundle On (which has a natural GL(n)-action) by the torsor. Explicitly, the locally free sheaf is F=OnxGL(n)P, whose (scheme-theoretic) points are (v,p), where v is a point of the trivial bundle and p is a point of P, subject to the relation that (v⋅g,p)∼(v,g⋅p). It happens that the map is bijective. Given a locally free sheaf F of rank n, the automorphism sheaf Aut(F) is a GL(n) torsor (and this procedure is inverse to the one I described).

Similarly, if you have a group G and a representation V, then you can associate to any G-torsor a locally free sheaf of rank dim(V). I don't know of a characterization of which locally free sheaves of rank dim(V) arise in this way.

Operations with the locally free sheaf (like taking top exterior power) should just correspond to doing that operation with the representation V, so I think you're right that in the case of SL(n) you get exactly those locally free sheaves whose top exterior power is trivial (since SL(n) has no non-trivial 1-dimensional representations).

Principal GL(n)-bundles are equivalent to locally free sheaves of rank n, but not in the way you're describing. The easiest way to see this is to note that principal G-bundles have fibers that look like G (in the case of GL(n), these would be n²-dimensional), but locally free sheaves of rank n have n-dimensional fibers.

The way you get a locally free sheaf of rank n from a GL(n)-torsor P is by twisting the trivial rank n bundle On (which has a natural GL(n)-action) by the torsor. Explicitly, the locally free sheaf is F=OnxGL(n)P, whose (scheme-theoretic) points are (v,p), where v is a point of the trivial bundle and p is a point of P, subject to the relation that (v⋅g,p)∼(v,g⋅p). It happens that the map is bijective. Given a locally free sheaf F of rank n, the automorphism sheaf Aut(F) is a GL(n) torsor (and this procedure is inverse to the one I described).

Similarly, if you have a group G and a representation V, then you can associate to any G-torsor a locally free sheaf of rank dim(V). I don't know of a characterization of which locally free sheaves of rank dim(V) arise in this way.

Principal GL(n)-bundles are equivalent to locally free sheaves of rank n, but not in the way you're describing. The easiest way to see this is to note that principal G-bundles have fibers that look like G (in the case of GL(n), these would be n²-dimensional), but locally free sheaves of rank n have n-dimensional fibers.

The way you get a locally free sheaf of rank n from a GL(n)-torsor P is by twisting the trivial rank n bundle On (which has a natural GL(n)-action) by the torsor. Explicitly, the locally free sheaf is F=OnxGL(n)P, whose (scheme-theoretic) points are (v,p), where v is a point of the trivial bundle and p is a point of P, subject to the relation that (v⋅g,p)∼(v,g⋅p). It happens that the map is bijective. Given a locally free sheaf F of rank n, the automorphism sheaf Aut(F) is a GL(n) torsor (and this procedure is inverse to the one I described).

Similarly, if you have a group G and a representation V, then you can associate to any G-torsor a locally free sheaf of rank dim(V). I don't know of a characterization of which locally free sheaves of rank dim(V) arise in this way.

Operations with the locally free sheaf (like taking top exterior power) should just correspond to doing that operation with the representation V, so I think you're right that in the case of SL(n) you get exactly those locally free sheaves whose top exterior power is trivial (since SL(n) has no non-trivial 1-dimensional representations).

Source Link
Anton Geraschenko
  • 24.1k
  • 17
  • 127
  • 180
Loading