Skip to main content
2 of 8
added 4 characters in body
GH from MO
  • 105.3k
  • 8
  • 293
  • 398

In general, $SL_n/SL_{n - 1}$ is isomorphic to an affine subvariety $X$ of $\mathbb{A}^{2n}$ with coordinate equations given by $\sum_i x_i y_i = 1$.

The map $SL_n/SL_{n-1} \rightarrow X$ is given by: the coordinates $y_i$ are given by the "last" vector (i.e. the last column), which is unaffected by $SL_{n-1}$, and the coordinates $x_i$ are given by the $(n-1)$-minors which ignore the last column (and the $i$th row). Note that both of these are invariant, and so this is a well-defined map.

This map can also be reversed: given coordinates $x_i, y_i$ such that $\sum_i x_i y_i = 1$, we can find a matrix $A \in SL_n$ such that the last column of $A$ is $y_i$, and such that the $(n-1)$-minors ignoring the last column are $x_i$. Clearly, we can "fill in" the last column as-is, so we can focus on the minors, using the matrix $A_{n-1}$ with $n - 1$ columns. At least one of the $x_i$ must be nonzero. Fill in the rows of $A_{n-1}$ other than $i$ with a diagonal matrix with first entry equal to $x_i$. We then only need to fill the $i$th row (and not the last column). But clearly the equations for each minor tell us one coordinate in that row - try it for yourself to see why. That "fills in" the coordinates, and each of the minors works, so we now have such a matrix $A$.

I claim that this map is well-defined - that it gives us the same class of $SL_n/SL_{n-1}$ no matter which nonzero $x_i$ we choose. Assume we have some $B$ with the same $(n-1)$-minors ignoring the last column (and the same last column) as the $A$ constructed above. Then its $i$th $(n-1)$-submatrix must have determinant $x_i$, which is nonzero, and so must be invertible. Therefore, there is a unique element $M \in SL_{n-1}$ such that $B_{n-1}M = A_{n-1}$ for all rows but the $i$th row. But by checking the other minors, we can then see that $B_{n-1}M = A_{n-1}$ - again, try and see for yourself. Therefore, this map is well-defined. We therefore have that if $M'$ is the extension of $M$ by adding a single $1$-block to $M$, then $BM' = A$.

user44191
  • 5k
  • 6
  • 31
  • 51