Kapranov | neverendingbooks

Posts Tagged ‘Kapranov’

F_un and braid groups

Sunday, June 15th, 2008

Fun with F_un

Recall that an n-braid consists of n strictly descending elastic strings connecting n inputs at the top (named 1,2,…,n) to n outputs at the bottom (labeled 1,2,…,n) upto isotopy (meaning that we may pull and rearrange the strings in any way possible within 3-dimensional space). We can always change the braid slightly such that we can divide the interval between in- and output in a number of subintervals such that in each of those there is at most one crossing.

n-braids can be multiplied by putting them on top of each other and connecting the outputs of the first braid trivially to the inputs of the second. For example the 5-braid on the left can be written as B=B_1.B2 with B_1 the braid on the top 3 subintervals and B2 the braid on the lower 5 subintervals.

In this way (and using our claim that there can be at most 1 crossing in each subinterval) we can write any n-braid as a word in the generators $\sigma_i$ (with $1 \leq i < n$ ) being the overcrossing between inputs i and i+1. Observe that the undercrossing is then the inverse $\sigmai^{-1}$ . For example, the braid on the left corresponds to the word

$\sigma_1^{-1}.\sigma2^{-1}.\sigma_1^{-1}.\sigma2.\sigma_3^{-1}.\sigma4^{-1}.\sigma_3^{-1}.\sigma4$

Clearly there are relations among words in the generators. The easiest one we have already used implicitly namely that $\sigma_i.\sigmai^{-1}$ is the trivial braid. Emil Artin proved in the 1930-ies that all such relations are consequences of two sets of ‘obvious’ relations. The first being commutation relations between crossings when the strings are far enough from each other. That is we have

$\sigma_i . \sigmaj = \sigma_j . \sigmai$ whenever $|i-j| \geq 2$

The second basic set of relations involves crossings using a common string

$\sigma_i.\sigma{i+1}.\sigma_i = \sigma{i+1}.\sigma_i.\sigma{i+1}$

Starting with the 5-braid at the top, we can use these relations to reduce it to a simpler form. At each step we have outlined to region where the relations are applied

These beautiful braid-pictures were produced using the braid-metapost program written by Stijn Symens.

Tracing a string from an input to an output assigns to an n-braid a permutation on n letters. In the above example, the permutation is ~(1,2,4,5,3) . As this permutation doesn’t change under applying basic reduction, this gives a group-morphism

$\mathbb{B}_n \rightarrow Sn$

from the braid group on n strings $\mathbb{B}_n$ to the symmetric group. We have seen before that the symmetric group Sn has a F-un interpretation as the linear group $GL_n(\mathbb{F}1)$ over the field with one element. Hence, we can ask whether there is also a F-un interpretation of the n-string braid group and of the above group-morphism.

Kapranov and Smirnov suggest in their paper that the n-string braid group $\mathbb{B}_n \simeq GLn(\mathbb{F}_1[t])$ is the general linear group over the polynomial ring $\mathbb{F}1[t]$ over the field with one element and that the evaluation morphism (setting t=0)

$GL_n(\mathbb{F}1[t]) \rightarrow GL_n(\mathbb{F}1)$ gives the groupmorphism $\mathbb{B}n \rightarrow S_n$

The rationale behind this analogy is a theorem of Drinfeld’s saying that over a finite field $\mathbb{F}_q$ , the profinite completion of $GLn(\mathbb{F}_q[t])$ is embedded in the fundamental group of the space of q-polynomials of degree n in much the same way as the n-string braid group $\mathbb{B}n$ is the fundamental group of the space of complex polynomials of degree n without multiple roots.

And, now that we know the basics of absolute linear algebra, we can give an absolute braid-group representation

$\mathbb{B}_n = GLn(\mathbb{F}_1[t]) \rightarrow GLn(\mathbb{F}_{1^n})$

obtained by sending each generator $\sigma_i$ to the matrix over $\mathbb{F}{1^n}$ (remember that $\mathbb{F}_{1^n} = (\mun)^{\bullet}$ where $\mu_n = \langle \epsilonn \rangle$ are the n-th roots of unity)

$\sigma_i \mapsto \begin{bmatrix} 1{i-1} & & & \\ & 0 & \epsilon_n & \\ & \epsilonn^{-1} & 0 & \\ & & & 1_{n-1-i} \end{bmatrix}$

and it is easy to see that these matrices do indeed satisfy Artin’s defining relations for $\mathbb{B}_n$ .

Previous in series Next in series

Tags: braid group, groups, Kapranov, profinite, wordpress
Posted in groups | 3 Comments »

Absolute linear algebra

Tuesday, June 10th, 2008

Fun with F_un

Today we will define some basic linear algebra over the absolute fields $\mathbb{F}_{1^n}$ following the Kapranov-Smirnov document. Recall from last time that $\mathbb{F}{1^n} = \mu_n^{\bullet}$ and that a d-dimensional vectorspace over this field is a pointed set $V^{\bullet}$ where is a free $\mun$ -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 $\mu_n$ -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 $V^{\bullet} \oplus W^{\bullet} = (V \bigsqcup W)^{\bullet}$ , that is, correspond to the disjoint union of free $\mu_n$ -sets. Consequently we have that $dim(V^{\bullet} \oplus W^{\bullet}) = dim(V^{\bullet}) + dim(W^{\bullet})$ .

For tensor-product we start with $V^{\bullet} \times W^{\bullet} = (V \times W)^{\bullet}$ the vectorspace cooresponding to the Cartesian product of free $\mu_n$ -sets. If the dimensions of $V^{\bullet}$ and $W^{\bullet}$ are respectively d and e, then $V \times W$ 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 ~(x,y) with $(\epsilonn x, \epsilon^{-1} y)$ and call the corresponding vectorspace $V^{\bullet} \otimes W^{\bullet}$ . If we denote the image of ~(x,y) by $x \otimes w$ then the identification merely says we can pull the $\mu_n$ -action through the tensor-sign, as we’d like to do. With this definition we do indeed have that $dim(V^{\bullet} \otimes W^{\bullet}) = dim(V^{\bullet}) dim(W^{\bullet})$ .

Recall that any linear automorphism of an $\mathbb{F}_{1^n}$ vectorspace $V^{\bullet}$ with basis $\{ b1,\hdots,b_d \}$ (representants of the different $\mun$ -orbits) is of the form $A(b_i) = \epsilonn^{k_i} b{\sigma(i)}$ for some powers of the primitive n-th root of unity $\epsilon_n$ and some permutation $\sigma \in Sd$ . We define the determinant $det(A) = \prod_{i=1}^d \epsilonn^{k_i}$ . One verifies that the determinant is multiplicative and independent of the choice of basis.

For example, scalar-multiplication by $\epsilon_n$ gives an automorphism on any -dimensional $\mathbb{F}{1^n}$ -vectorspace $V^{\bullet}$ and the corresponding determinant clearly equals $det = \epsilon_n^d$ . 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 $\mathbb{F}_{1^2}$ vectorspace $V^{\bullet}$ of dimension d is a set consisting of 2d elements equipped with a free involution. Any linear automorphism $A~:~V^{\bullet} \rightarrow V^{\bullet}$ is represented by a $d \times d$ matrix having one nonzero entry in every row and column being equal to +1 or -1. Hence, the determinant $det(A) \in \{ +1,-1 \}$ .
On the other hand, by definition, the linear automorphism determines a permutation $\sigma_A \in S_{2d}$ on the 2d non-zero elements of $V^{\bullet}$ . The connection between these two interpretations is that $det(A) = sgn(\sigma_A)$ the determinant gives the sign of the permutation!

For a prime power q=p^k with $q \equiv 1~mod(n)$ , we have seen that the roots of unity $\mu_n \subset \mathbb{F}q^_$ and hence that $\mathbb{F}_q$ is a vectorspace over $\mathbb{F}{1^n}$ . For any field-unit $a \in \mathbb{F}_q^$ we have the power residue symbol

$\begin{pmatrix} a \\ \mathbb{F}_q \end{pmatrix}n = a^{\frac{q-1}{n}} \in \mu_n$

On the other hand, multiplication by is a linear automorphism on the $\mathbb{F}_{1^n}$ -vectorspace $\mathbb{F}q$ and hence we can look at its F-un determinant $det(a \times)$ . The F-un interpretation of a classical lemma by Gauss asserts that the power residue symbol equals $det(a \times)$ .

An $\mathbb{F}_{1^n}$ -subspace $W^{\bullet}$ of a vectorspace $V^{\bullet}$ is a subset $W \subset V$ consisting of full $\mun$ -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 $~(V/W)^{\bullet}$ to correspond to the free $\mu_n$ -set ~(V/W) obtained by identifying all elements of W with the zero-element in $V^{\bullet}$ . But… this will screw-up things if we want to interpret $\mathbb{F}q$ -vectorspaces as $\mathbb{F}_{1^n}$ -spaces whenever $q \equiv 1~mod(n)$ .

For this reason, Kapranov and Smirnov invent the notion of an equivalence $f~:~X^{\bullet} \rightarrow Y^{\bullet}$ between $\mathbb{F}_{1^n}$ -spaces to be a linear map (note that this means a set-theoretic map $X \rightarrow Y^{\bullet}$ such that the invers image of 0 consists of full $\mun$ -orbits and is a $\mu_n$ -map elsewhere) satisfying the properties that $f^{-1}(0) = 0$ and for every element $y \in Y$ we have that the number of pre-images $f^{-1}(y)$ is congruent to 1 modulo n. Observe that under an equivalence $f~:~X^{\bullet} \rightarrow Y^{\bullet}$ we have that $dim(X^{\bullet}) \equiv dim(Y^{\bullet})~mod(n)$ .

This then allows us to define an exact sequence of $\mathbb{F}_{1^n}$ -vectorspaces to be

$\xymatrix{0 \ar[r] & V_1^{\bullet} \ar[r]^{\alpha} & V^{\bullet} \ar[r]^{\beta} & V2^{\bullet} \ar[r] & 0}$

with $\alpha$ a set-theoretic inclusion, the composition $\beta \circ \alpha$ to be the zero-map and with the additional assumption that the map induced by $\beta$

$~(V/V_1)^{\bullet} \rightarrow V2^{\bullet}$

is an equivalence. For an exact sequence of spaces as above we have the congruence relation on their dimensions $dim(V_1)+dim(V2) \equiv dim(V)~mod(n)$ .

More importantly, if as before $q \equiv 1~mod(n)$ and we use the embedding $\mu_n \subset \mathbb{F}q^*$ to turn usual $\mathbb{F}_q$ -vectorspaces into absolute $\mathbb{F}{1^n}$ -spaces, then an ordinary exact sequence of $\mathbb{F}_q$ -vectorspaces remains exact in the above definition.

Previous in series Next in series

Tags: braid group, groups, Kapranov
Posted in geometry | No Comments »

The F_un folklore

Saturday, June 7th, 2008

Fun with F_un

All esoteric subjects have their own secret (sacred) texts. If you opened the Da Vinci Code (or even better, the original The Holy blood and the Holy grail) you will known about a mysterious collection of documents, known as the “ Dossiers secrets“, deposited in the Bibliothèque nationale de France on 27 April 1967, which is rumoured to contain the mysteries of the Priory of Sion, a secret society founded in the middle ages and still active today…

The followers of F-un, for $\mathbb{F}_1$ the field of one element, have their own collection of semi-secret texts, surrounded by whispers, of which they try to decode every single line in search of enlightenment. Fortunately, you do not have to search the shelves of the Bibliotheque National in Paris, but the depths of the internet to find them as huge, bandwidth-unfriendly, scanned documents.

The first are the lecture notes “Lectures on zeta functions and motives” by Yuri I. Manin of a course given in 1991.

One can download a scanned version of the paper from the homepage of Katia Consani as a huge 23.1 Mb file. Of F-un relevance is the first section “Absolute Motives?” in which

“…we describe a highly speculative picture of analogies between arithmetics over $\mathbb{F}_q$ and over $\mathbb{Z}$ , cast in the language reminiscent of Grothendieck’s motives. We postulate the existence of a category with tensor product $\times$ whose objects correspond not only to the divisors of the Hasse-Weil zeta functions of schemes over $\mathbb{Z}$ , but also to Kurokawa’s tensor divisors. This neatly leads to teh introduction of an “absolute Tate motive” $\mathbb{T}$ , whose zeta function is $\tfrac{s-1}{2\pi}$ , and whose zeroth power is “the absolute point” which is teh base for Kurokawa’s direct products. We add some speculations about the role of $\mathbb{T}$ in the “algebraic geometry over a one-element field”, and in clarifying the structure of the gamma factors at infinity.” (loc.cit. p 1-2)

I’d welcome links to material explaining this section to people knowing no motives.

The second one is the unpublished paper “Cohomology determinants and reciprocity laws : number field case” by Mikhail Kapranov and A. Smirnov.

This paper features in blog-posts at the Arcadian Functor, in John Baez’ Weekly Finds and in yesterday’s post at Noncommutative Geometry.

You can download every single page (of 15) as a separate file from here. But, in order to help spreading the Fun-gospel, I’ve made these scans into a single PDF-file which you can download as a 2.6 Mb PDF. In the introduction they say :

“First of all, it is an old idea to interpret combinatorics of finite sets as the $q \rightarrow 1$ limit of linear algebra over the finite field $\mathbb{F}_q$ . This had lead to frequent consideration of the folklore object $\mathbb{F}1$ , the “field with one element”, whose vector spaces are just sets. One can postulate, of course, that $\wis{spec}(\mathbb{F}_1)$ is the absolute point, but the real problem is to develop non-trivial consequences of this point of view.”

They manage to deduce higher reciprocity laws in class field theory within the theory of $\mathbb{F}_1$ and its field extensions $\mathbb{F}{1^n}$ . But first, let us explain how they define linear algebra over these absolute fields.

Here is a first principle : in doing linear algebra over these fields, there is no additive structure but only scalar multiplication by field elements. So, what are vector spaces over the field with one element? Well, as scalar multiplication with 1 is just the identity map, we have that a vector space is just a set. Linear maps are just set-maps and in particular, a linear isomorphism of a vector space onto itself is a permutation of the set. That is, linear algebra over $\mathbb{F}_1$ is the same as combinatorics of (finite) sets.

A vector space over $\mathbb{F}_1$ is just a set; the dimension of such a vector space is the cardinality of the set. The general linear group $GL_n(\mathbb{F}_1)$ is the symmetric group , the identification via permutation matrices (having exactly one 1 in every row and column)

Some people prefer to view an $\mathbb{F}_1$ vector space as a pointed set, the special element being the ‘origin’ but as $\mathbb{F}1$ doesnt have a zero, there is also no zero-vector. Still, in later applications (such as defining exact sequences and quotient spaces) it is helpful to have an origin. So, let us denote for any set by $S^{\bullet} = S \cup \{ 0 \}$ . Clearly, linear maps between such ‘extended’ spaces must be maps of pointed sets, that is, sending $0 \rightarrow 0$ .

The field with one element $\mathbb{F}_1$ has a field extension of degree n for any natural number n which we denote by $\mathbb{F}{1^n}$ and using the above notation we will define this field as :

$\mathbb{F}_{1^n} = \mun^{\bullet}$ with $\mu_n$ the group of all n-th roots of unity. Note that if we choose a primitive n-th root $\epsilonn$ , then $\mu_n \simeq Cn$ is the cyclic group of order n.

Now what is a vector space over $\mathbb{F}_{1^n}$ ? Recall that we only demand units of the field to act by scalar multiplication, so each ‘vector’ $\vec{v}$ determines an n-set of linear dependent vectors $\epsilonn^i \vec{v}$ . In other words, any $\mathbb{F}_{1^n}$ -vector space is of the form $V^{\bullet}$ with a set of which the group $\mun$ acts freely. Hence, has N=d.n elements and there are exactly orbits for the action of $\mu_n$ by scalar multiplication. We call the dimension of the vectorspace and a basis consists in choosing one representant for every orbits. That is, $~B = \{ b1,\hdots,b_d \}$ is a basis if (and only if) $V = \{ \epsilonn^j b_i~:~1 \leq i \leq d, 1 \leq j \leq n \}$ .

So, vectorspaces are free $\mu_n$ -sets and hence linear maps $V^{\bullet} \rightarrow W^{\bullet}$ is a $\mun$ -map $V \rightarrow W$ . In particular, a linear isomorphism of , that is an element of $GL_d(\mathbb{F}{1^n})$ is a $\mu_n$ bijection sending any basis element $bi \rightarrow \epsilon_n^{j(i)} b{\sigma(i)}$ for a permutation $\sigma \in S_d$ .

An $\mathbb{F}_{1^n}$ -vectorspace $V^{\bullet}$ is a free $\mu_n$ -set of elements. The dimension $dim_{\mathbb{F}_{1^n}}(V^{\bullet}) = d$ and the general linear group $GL_d(\mathbb{F}_{1^n})$ is the wreath product of with $\mu_n^{\times d}$ , the identification as matrices with exactly one non-zero entry (being an n-th root of unity) in every row and every column.

This may appear as a rather sterile theory, so let us give an extremely important example, which will lead us to our second principle for developing absolute linear algebra.

Let q=p^k be a prime power and let $\mathbb{F}_q$ be the finite field with elements. Assume that $q \cong 1~mod(n)$ . It is well known that the group of units $\mathbb{F}q^{\ast}$ is cyclic of order q-1 so by the assumption we can identify $\mu_n$ with a subgroup of $\mathbb{F}q^{\ast}$ .

Then, $\mathbb{F}_q = (\mathbb{F}q^{\ast})^{\bullet}$ is an $\mathbb{F}_{1^n}$ -vectorspace of dimension $d=\tfrac{q-1}{n}$ . In other words, $\mathbb{F}q$ is an $\mathbb{F}_{1^n}$ -algebra. But then, any ordinary $\mathbb{F}q$ -vectorspace of dimension becomes (via restriction of scalars) an $\mathbb{F}_{1^n}$ -vector space of dimension $\tfrac{e(q-1)}{n}$ .

Next time we will introduce more linear algebra definitions (including determinants, exact sequences, direct sums and tensor products) in the realm the absolute fields $\mathbb{F}_{1^n}$ and remarkt that we have to alter the known definitions as we can only use the scalar-multiplication. To guide us, we have the second principle : all traditional results of linear algebra over $\mathbb{F}_q$ must be recovered from the new definitions under the vector-space identification $\mathbb{F}q = (\mathbb{F}_q^{\ast})^{\bullet} = \mathbb{F}{1^n}$ when . (to be continued)

Previous in series Next in series

Tags: geometry, Grothendieck, Kapranov, Manin, noncommutative
Posted in groups | 1 Comment »

noncommutative Fourier transform

Friday, June 23rd, 2006

non-commutative geometry

At the noncommutative algebra program in MSRI 1999/2000, Mikhail Kapranov gave an intriguing talk Noncommutative neighborhoods and noncommutative Fourier transform and over the years I’ve watched the video of this talk a number of times. The first part of the talk is about his work on Noncommutative geometry based on commutator expansions and as I’ve once worked through it this part didn’t present problems. On the other hand, I’ve never understood much from the second part of the talk which claims to relate these noncommutative formal neighborhoods to noncommutative Fourier transforms. The string coffee table has a post Kapranov and Getzler on Higher Stuff linking to two recent talks by Kapranov on noncommutative Fourier transforms at the Streetfest. Marni Sheppeard made handwritten notes available. I definitely should find the time to get through them and have another go at the Kapranov-video…

Previous in series Next in series

Tags: arxiv, geometry, Kapranov, noncommutative
Posted in geometry | No Comments »

nog course outline

Thursday, September 2nd, 2004

Now that the preparation for my undergraduate courses in the first semester is more or less finished, I can begin to think about the courses I’ll give this year in the master class non-commutative geometry. For a change I’d like to introduce the main ideas and concepts by a very concrete example : Ginzburg’s coadjoint-orbit result for the Calogero-Moser space and its relation to the classification of one-sided ideals in the first Weyl algebra. Not only will this example give me the opportunity to say things about formally smooth algebras, non-commutative differential forms and even non-commutative symplectic geometry, but it also involves what some people prefer to call non-commutative algebraic geometry (that is the study of graded Noetherian rings having excellent homological properties) via the projective space associated to the homogenized Weyl algebra. Besides, I have some affinity with this example.

A long time ago I introduced the moduli spaces for one-sided ideals in the Weyl algebra in Moduli spaces for right ideals of the Weyl algebra and when I was printing a very preliminary version of Ginzburg’s paper Non-commutative Symplectic Geometry, Quiver varieties, and Operads (probably because he send a preview to Yuri Berest and I was in contact with him at the time about the moduli spaces) the idea hit me at the printer that the right way to look at the propblem was to consider the quiver

$\xymatrix{\vtx{} \ar@/^/[rr]^a & & \vtx{} \ar@(u,ur)^x \ar@(d,dr)_y \ar@/^/[ll]^b}$

which eventually led to my paper together with Raf Bocklandt Necklace Lie algebras and noncommutative symplectic geometry. Apart from this papers I would like to explain the following papers by illustrating them on the above example : Michail Kapranov Noncommutative geometry based on commutator expansions Maxim Kontsevich and Alex Rosenberg Noncommutative smooth spaces Yuri Berest and George Wilson Automorphisms and Ideals of the Weyl Algebra Yuri Berest and George Wilson Ideal Classes of the Weyl Algebra and Noncommutative Projective Geometry Travis Schedler A Hopf algebra quantizing a necklace Lie algebra canonically associated to a quiver and of course the seminal paper by Joachim Cuntz and Daniel Quillen on quasi-free algebras and their non-commutative differential forms which, unfortunately, in not available online. I plan to write a series of posts here on all this material but I will be very happy to get side-tracked by any comments you might have. So please, if you are interested in any of this and want to have more information or explanation do not hesitate to post a comment (only your name and email is required to do so, you do not have to register and you can even put some latex-code in your post but such a posting will first have to viewed by me to avoid cluttering of nonsense GIFs in my directories).

Tags: arxiv, Cuntz, differential, geometry, Ginzburg, Kapranov, Kontsevich, latex, moduli, necklace, non-commutative, noncommutative, Quillen
Posted in geometry | 1 Comment »

Posts Tagged ‘Kapranov’

F_un and braid groups

Fun with F_un

Absolute linear algebra

Fun with F_un

The F_un folklore

Fun with F_un

noncommutative Fourier transform

non-commutative geometry

nog course outline

Recent Posts