Skip to main content
Typo corrected
Source Link
Mikhail Borovoi
  • 14.1k
  • 2
  • 31
  • 71

There are relations coming from computing Picard groups in different ways. For simplicity let $G$ be semisimple. Let $x\in X$ be in the open $B$-orbit. Then $Bx=B/B_x$ and $Gx=G/G_x$ are open in $X$.

We compute $Pix(Gx)$$Piс(Gx)$ in $3$ different ways:

a) Since $G$ is semisimple, we have $Pic(Gx)=Pic^G(Gx)=\Xi(G_x)$. Here $\Xi$ denotes the character group.

b) There is an exact sequence $$ 1\to k^\times=\mathcal O(Gx)^\times\to\mathcal(Bx)^\times\to\mathbb Z^c\to Pic(Gx)\to Pic(Bx)=0 $$ Here $c$ is the number of colors. The rank of $\mathcal O(Gx)^\times/k^\times$ is by definition the rank ${\rm rk}\,X$ of $X$. It equals ${\rm rk}\,\Xi(B)-{\rm rk}\,\Xi(B_x)$.

c) Let $b$ be the number of boundary divisors. Then there is a short exact sequence $$ 0\to\mathbb Z^b\to Pic(X)\to Pic(Gx)\to1. $$

Now a), b), c) imply $$ b={\rm rk}\,Pic(X)-{\rm rk}\,\Xi(G_x) $$ $$ c={\rm rk}\, X+{\rm rk}\,\Xi(G_x)= {\rm rk}\,\Xi(B)-{\rm rk}\,\Xi(B_x)+{\rm rk}\,\Xi(G_x). $$

There are relations coming from computing Picard groups in different ways. For simplicity let $G$ be semisimple. Let $x\in X$ be in the open $B$-orbit. Then $Bx=B/B_x$ and $Gx=G/G_x$ are open in $X$.

We compute $Pix(Gx)$ in $3$ different ways:

a) Since $G$ is semisimple, we have $Pic(Gx)=Pic^G(Gx)=\Xi(G_x)$. Here $\Xi$ denotes the character group.

b) There is an exact sequence $$ 1\to k^\times=\mathcal O(Gx)^\times\to\mathcal(Bx)^\times\to\mathbb Z^c\to Pic(Gx)\to Pic(Bx)=0 $$ Here $c$ is the number of colors. The rank of $\mathcal O(Gx)^\times/k^\times$ is by definition the rank ${\rm rk}\,X$ of $X$. It equals ${\rm rk}\,\Xi(B)-{\rm rk}\,\Xi(B_x)$.

c) Let $b$ be the number of boundary divisors. Then there is a short exact sequence $$ 0\to\mathbb Z^b\to Pic(X)\to Pic(Gx)\to1. $$

Now a), b), c) imply $$ b={\rm rk}\,Pic(X)-{\rm rk}\,\Xi(G_x) $$ $$ c={\rm rk}\, X+{\rm rk}\,\Xi(G_x)= {\rm rk}\,\Xi(B)-{\rm rk}\,\Xi(B_x)+{\rm rk}\,\Xi(G_x). $$

There are relations coming from computing Picard groups in different ways. For simplicity let $G$ be semisimple. Let $x\in X$ be in the open $B$-orbit. Then $Bx=B/B_x$ and $Gx=G/G_x$ are open in $X$.

We compute $Piс(Gx)$ in $3$ different ways:

a) Since $G$ is semisimple, we have $Pic(Gx)=Pic^G(Gx)=\Xi(G_x)$. Here $\Xi$ denotes the character group.

b) There is an exact sequence $$ 1\to k^\times=\mathcal O(Gx)^\times\to\mathcal(Bx)^\times\to\mathbb Z^c\to Pic(Gx)\to Pic(Bx)=0 $$ Here $c$ is the number of colors. The rank of $\mathcal O(Gx)^\times/k^\times$ is by definition the rank ${\rm rk}\,X$ of $X$. It equals ${\rm rk}\,\Xi(B)-{\rm rk}\,\Xi(B_x)$.

c) Let $b$ be the number of boundary divisors. Then there is a short exact sequence $$ 0\to\mathbb Z^b\to Pic(X)\to Pic(Gx)\to1. $$

Now a), b), c) imply $$ b={\rm rk}\,Pic(X)-{\rm rk}\,\Xi(G_x) $$ $$ c={\rm rk}\, X+{\rm rk}\,\Xi(G_x)= {\rm rk}\,\Xi(B)-{\rm rk}\,\Xi(B_x)+{\rm rk}\,\Xi(G_x). $$

Source Link
Friedrich Knop
  • 15.5k
  • 2
  • 49
  • 76

There are relations coming from computing Picard groups in different ways. For simplicity let $G$ be semisimple. Let $x\in X$ be in the open $B$-orbit. Then $Bx=B/B_x$ and $Gx=G/G_x$ are open in $X$.

We compute $Pix(Gx)$ in $3$ different ways:

a) Since $G$ is semisimple, we have $Pic(Gx)=Pic^G(Gx)=\Xi(G_x)$. Here $\Xi$ denotes the character group.

b) There is an exact sequence $$ 1\to k^\times=\mathcal O(Gx)^\times\to\mathcal(Bx)^\times\to\mathbb Z^c\to Pic(Gx)\to Pic(Bx)=0 $$ Here $c$ is the number of colors. The rank of $\mathcal O(Gx)^\times/k^\times$ is by definition the rank ${\rm rk}\,X$ of $X$. It equals ${\rm rk}\,\Xi(B)-{\rm rk}\,\Xi(B_x)$.

c) Let $b$ be the number of boundary divisors. Then there is a short exact sequence $$ 0\to\mathbb Z^b\to Pic(X)\to Pic(Gx)\to1. $$

Now a), b), c) imply $$ b={\rm rk}\,Pic(X)-{\rm rk}\,\Xi(G_x) $$ $$ c={\rm rk}\, X+{\rm rk}\,\Xi(G_x)= {\rm rk}\,\Xi(B)-{\rm rk}\,\Xi(B_x)+{\rm rk}\,\Xi(G_x). $$