Feeds:
Posts

## A linear algebra puzzle

I won’t get around to substantive blog posts for at least a few more days, so here is a puzzle.

We usually thinks of groups that occur in nature as permutations of a set which preserve some structure on that set. For example, the general linear group $\text{GL}_n(F)$ preserves the structure of being an $F$-vector space of dimension $n$.

What structure does the special linear group $\text{SL}_n(F)$ preserve?

(I have an answer, but I’m curious if it can be stated in a more elementary way.)

### 11 Responses

1. on November 25, 2010 at 6:12 am | Reply Todd Trimble

I only just saw this thread, and it seems to me Theo got it right, except I don’t see what is problematic. A “volume form” on an n-dimensional space $V$ is a nonzero multilinear map $f: V^n \to k$ ( $k$ the ground field) such that $f(v_1, \ldots, v_n) = 0$ whenever $v_i = v_j$ for any distinct $i, j$. For any $A \in GL(n)$ we have $f \circ A^n = \det(A)f$, and this can be proven without divisions by integers greater than 1. So $A$ “preserves the volume” if and only if $A \in SL(n)$. This works over fields of arbitrary characteristic and, with a slight reformulation, even over general commutative rings (where $V$ is a free module of rank n).

• on November 25, 2010 at 6:41 am | Reply Qiaochu Yuan

I think Theo meant that the naive definition of “alternating multilinear map” fails in characteristic $2$ (the one where you require $f(v_1, v_2, ... v_n) = - f(v_2, v_1, ... v_n)$ and so forth). I’m not sure what his second concern means.

• on November 25, 2010 at 11:08 am | Reply Todd Trimble

Sure, I figured that.

• on November 25, 2010 at 11:19 am | Reply Qiaochu Yuan

An identification of the top exterior power with $k$. But this definition (as opposed to yours) seems mildly troubling to me in characteristic $2$.

• on November 25, 2010 at 12:23 pm | Reply Todd Trimble

That was my answer too. I believe the right way to define the n-th exterior power (valid for all characteristics) is to take the n-th tensor power and divide by the subspace of tensors $v_1 \otimes \ldots \otimes v_n$ spanned by those where $v_i = v_j$ for distinct $i, j$. (Lang’s Algebra, chapter 19.)

2. on August 6, 2010 at 5:27 am | Reply Grigory M

SL preserves trivialization of top exterior power (i.e. morphism $F\to\det V$).

3. on August 4, 2010 at 5:38 am | Reply Edward Kmett

Is det(A) = 1 what you are getting at?

• on August 4, 2010 at 9:26 am | Reply Qiaochu Yuan

This is the standard answer, but it is not a structure on an $F$-vector space.

4. on August 3, 2010 at 11:08 pm | Reply Theo

The canonical answer is that SL(n) preserves a (signed) volume form. More precisely, GL(n) has a canonical action on n-dimensional space, and hence on the nth exterior power, a line. The subgroup that fixes this line pointwise is SL(n).

This answer is problemmatic in a few ways. When F has positive characteristic and n is sufficiently large, I think that some care should be taken in defining nth exterior powers. Certainly care must be taken in characteristic 2. Moreover, it’s possible for there to be “too many” points, at least for my taste. Consider, for example, when F is a finite field of size p, and n=p-1. Then all non-zero scalars have nth power equal to 1, which is not what you would expect from the case over R or C. I think that these concerns can be avoided, but I think in the smooth category, so I don’t know the details.

5. on August 3, 2010 at 12:49 am | Reply wok

Some kind of volume and orientation.

• on August 3, 2010 at 7:44 pm | Reply Qiaochu Yuan

That’s the right idea. Can you be more precise? (In particular, can you phrase your answer in terms of natural data one might attach to an object in the category of $F$-vector spaces, e.g. a morphism?)