0
$\begingroup$

Hi, i have some questions: how $SL(V)$ acts on the projective line $\mathbb{P}(V)$ where $V$ is a k - vector spaces of dimension 2. And the same question for action of $SL(V)$ on structure sheaf $O, O_{P(V)}(n)$ Which book can i find out this kind of actions?

Thanks!

$\endgroup$
1
  • $\begingroup$ Do I understand this correctly: You are asking for the action of $SL_2$ on the line bundle on $\mathbb P^1$ whose sheaf of sections is $\mathcal O(-1)$? And you in addition would like to know the action on the sheaf? Say, the group of global sections of the sheaf? $\endgroup$
    – Will Sawin
    Commented Jun 25, 2012 at 23:53

1 Answer 1

1
$\begingroup$

$SL_2$ is well-known to have one irreducible representation in each dimension, produced by taking the $k$th symmetric power of the standard representation. The global sections of $\mathcal O(1)$, being just the dual space to $V$, of course form an irreducible representations, and the global sections of $\mathcal O(n)$ are the $n$th symmetric power. Other representations from the meromorphic sections are infinite-dimensional, since a finite-dimensional space of sections can only have poles at finitely many points, but the translates of a section with one pole has poles at infinitely many points.

If you would like to understand the action on the points of a line bundle, it is hopefully sufficient to decompose the line bundle into orbits. $\mathcal O(\pm n)$ always has two orbits: the zero section and everything else. To see this, first note that $SL_2$ acts transitively on $\mathbb P^1$, so you need only understand orbits within a certain fiber. The stabilizer of a point on $\mathbb P^1$ is the group of upper-triangular matrices with determinant $1$. These have an eigenvalue of $\lambda$ on the vector corresponding to that point, so they act like multiplication by $\lambda$ on the projective line bundle and like multiplication by $\lambda^n$ on its $n$th power. This is transitive on the nonzero numbers for $n\neq 0$.

The stabilizer is the group of upper-triangular matrices with determinant $1$ whose eigenvalue is an $n$th root of unity. Thus, the larger orbit is isomorphic to the quotient of $SL_2$ by that subgroup. In the case of the projective line bundle, this is just the quotient of $SL_2$ by the group of upper triangular unipotent matrices.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .