Is there a formula for the determinant of the wedge product of two matrices?

Question

I was going over the Wikipedia page for exterior products of vector spaces and we can define the determinant as the coefficient of the exterior product of vectors with respect to the standard basis when the vectors are elements in $\mathbb{R}^n$. I was wondering if there was a way to deduce the formula for the determinant of the exterior (wedge) product of two matrices from this definition.

In particular let $V$ be a finite vector space and let $\wedge^k V$ be the $k$-th exterior power of $V$ that is $T^k(V)/A^k(V)$ where $A(V)$ is the ideal generated by all $v \otimes v$ for $v \in V$ and $T^k(V) = V \otimes V \otimes \cdots \otimes V$ is tensor product of $k$ vector spaces.

Let $M$ be a square $m\times m$ matrix. Is there a known formula for $\det(M \wedge M)?$

I was thinking there must be some nice formula like $\det(M \wedge M) = \det(M)\det(M)$ but I have a feeling this does not generalize to higher powers of wedge products.

Answer 1

Hint: Let $\{e_1,\ldots, e_n\}$ be a basis of $V$. Then the space $\wedge^p V$ has a basis consisting of vectors of the form $e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_p}$ for some strictly increasing sequence $i_1<i_2<\ldots<i_p$ of indices. The linear mapping $\wedge^pM$ maps the vector $e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_p}$ to $M(e_{i_1})\wedge M(e_{i_2})\wedge\cdots\wedge M(e_{i_p})$. Compute the determinant of this linear mapping in the following cases:

1. $M$ maps the basis vector $e_{i_0}$ to $\lambda e_{i_0}$ and the other basis vectors $e_i,i\neq i_0,$ to themselves.
2. $M$ interchanges two basis vectors, $e_{i_1}$ and $e_{i_2}$, and maps the other basis vectors $e_i, i\neq i_1, i\neq i_2,$ to themselves.
3. $M$ maps the basis vector $e_{i_0}$ to the vector $e_{i_0}+ae_{i_1}$ for some constant $a$ and $i_1\neq i_0$, and maps the other basis vectors $e_i, i\neq i_0$ to themselves.

Then keep in mind (=functoriality) that $\wedge^p(M\circ M')=\wedge^p(M) \circ \wedge^p(M')$ for all linear mappings $M,M'$ from $V$ to itself. As a further hint: This approach is a bit about elementary combinatorics. You have to count the number of changes of a given type, and remember the rule used in forming Pascal's triangle.