F_un linear algebra
Posted by lievenlb on Sep 22, 2008 in graduate, KapranovSmirnov • No commentsThis text was posted on June 10th, 2008 at neverendingbooks
Today we will define some basic linear algebra over the absolute fields following the Kapranov-Smirnov document. Recall from last time that
and that a d-dimensional vectorspace over this field is a pointed set
where
is a free
-set consisting of n.d elements. Note that in absolute linear algebra we are not allowed to have addition of vectors and have to define everything in terms of scalar multiplication (or if you want, the
-action). In the hope of keeping you awake, we will include an F-un interpretation of the power residue symbol.
Direct sums of vectorspaces are defined via , that is, correspond to the disjoint union of free
-sets. Consequently we have that
.
For tensor-product we start with the vectorspace cooresponding to the Cartesian product of free
-sets. If the dimensions of
and
are respectively d and e, then
consists of n.d.n.e elements, so is of dimension n.d.e. In order to have a sensible notion of tensor-products we have to eliminate the n-factor. We do this by identifying
with
and call the corresponding vectorspace
. If we denote the image of
by
then the identification merely says we can pull the
-action through the tensor-sign, as we’d like to do. With this definition we do indeed have that
.
Recall that any linear automorphism of an
vectorspace
with basis
(representants of the different
-orbits) is of the form
for some powers of the primitive n-th root of unity
and some permutation
. We define the determinant
. One verifies that the determinant is multiplicative and independent of the choice of basis.
For example, scalar-multiplication by gives an automorphism on any
-dimensional
-vectorspace
and the corresponding determinant clearly equals
. That is, the det-functor remembers the dimension modulo n. These mod-n features are a recurrent theme in absolute linear algebra. Another example, which will become relevant when we come to reciprocity laws :
Take. Then, a
vectorspace
of dimension d is a set consisting of 2d elements
equipped with a free involution. Any linear automorphism
is represented by a
matrix having one nonzero entry in every row and column being equal to +1 or -1. Hence, the determinant
.
On the other hand, by definition, the linear automorphismdetermines a permutation
on the 2d non-zero elements of
. The connection between these two interpretations is that
the determinant gives the sign of the permutation!
For a prime power
with
, we have seen that the roots of unity
and hence that
is a vectorspace over
. For any field-unit
we have the power residue symbol
On the other hand, multiplication by is a linear automorphism on the
-vectorspace
and hence we can look at its F-un determinant
. The F-un interpretation of a classical lemma by Gauss asserts that the power residue symbol equals
.
An -subspace
of a vectorspace
is a subset
consisting of full
-orbits. Normally, in defining a quotient space we would say that two V-vectors are equivalent when their difference belongs to W and take equivalence classes. However, in absolute linear algebra we are not allowed to take linear combinations of vectors…
The only way out is to define to correspond to the free
-set
obtained by identifying all elements of W with the zero-element in
. But… this will screw-up things if we want to interpret
-vectorspaces as
-spaces whenever
.
For this reason, Kapranov and Smirnov invent the notion of an equivalence between
-spaces to be a linear map (note that this means a set-theoretic map
such that the invers image of 0 consists of full
-orbits and is a
-map elsewhere) satisfying the properties that
and for every element
we have that the number of pre-images
is congruent to 1 modulo n. Observe that under an equivalence
we have that
.
This then allows us to define an exact sequence of -vectorspaces to be
with a set-theoretic inclusion, the composition
to be the zero-map and with the additional assumption that the map induced by
is an equivalence. For an exact sequence of spaces as above we have the congruence relation on their dimensions .
More importantly, if as before and we use the embedding
to turn usual
-vectorspaces into absolute
-spaces, then an ordinary exact sequence of
-vectorspaces remains exact in the above definition.
