- F_un mathematics - http://cage.ugent.be/~kthas/Fun -

F_un linear algebra

Posted By lievenlb On September 22, 2008 @ 3:12 pm In graduate,KapranovSmirnov | No Comments

This text was posted on June 10th, 2008 at neverendingbooks [1]

Today we will define some basic linear algebra over the absolute fields following the Kapranov-Smirnov document [2]. Recall from last time [3] 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 automorphism determines 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 [4] 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 [5] 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.

URL to article: http://cage.ugent.be/~kthas/Fun/index.php/f_un-linear-algebra.html

URLs in this post:

[1] neverendingbooks: http://www.neverendingbooks.org/index.php/absolute-linear-algebra.html

[2] Kapranov-Smirnov document: http://www.neverendingbooks.org/DATA/KapranovSmirnov.pdf

[3] last time: http://www.neverendingbooks.org/index.php/the-f_un-folklore.html

[4] we have seen: http://cage.ugent.be/~kthas/Fun/index.php/the-f_un-folklore.html

[5] Gauss: http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Gauss.html