1
$\begingroup$

I've been struggling with this question for some days now. Let $K$ be a field extension of $k$, and $x$ an invertible linear transformation of the $K$-vector space $V$. If we consider $V$ as a $k$-vector space and $x$ as $k$-linear then $$ det_kx = N(det_Kx) $$ where $det_Kx$ denotes the determinant of $K$ viewed as $K$-linear (same for $k$). This in fact generalizes the definition of field norm.

I have showed this is true for diagonal matrices, but not in general. In fact, I'm not sure this is the right equality, but I think so. I hope someone can give me a hint (or a reference :) I would be most thankful.

Greetings.

J.

P.S. In my case $K=\mathbb{F}_{q^2}$ and $k=\mathbb{F}_q$

$\endgroup$
1
  • 1
    $\begingroup$ Probably too complicated, but: there is no harm in passing to the purely inseparable closures of $k$ and $K$. After doing so, we may replace $x$ by its semisimple part (which now must be $K$-rational) without changing either side. By induction on the dimension of $V$, it suffices to assume that $V$ contains no proper, non-$0$, $x$-stable subspace. Then any choice of non-$0$ element of $V$ furnishes a $K[x]$-linear isomorphism $V \cong E$, where $E$ is the extension obtained by adjoining to $K$ a root of the minimal polynomial of $x$. Then your equality is transitivity of the norm. $\endgroup$
    – LSpice
    Commented Mar 6, 2018 at 18:27

1 Answer 1

2
$\begingroup$

This is very classical and standard exercise in linear algebra, and im sure there are many references. Still, there is something interesting to say about it.

The determinant of a matrix $A$ can be seen as the induced map $\wedge^n A : \wedge^n V \to \wedge^n V$. So, in some sense, a slight categorification of this formula is the natural isomorphism $\wedge^{[K:k]}((\wedge_K^n V)|_k) \cong \wedge^{[K:k] n}_k (V|_k)$, which once guessed is really easy to construct. The naturality of this isomorphism implies that applying the two functors written in both sides of this equation (with $V$ as an input) on an operator $A$ gives us the equality $det_k(det_K(A)|_k) = det_k(A|_k)$. So the problem is reduced to the statement on scalars, namely with $a = det_K(A)$ we have to show that $det_k(a|_k) = N_{K/k}(a)$ which is more or less the definition on the norm.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.