arxiv – Page 12 – neverendingbooks

Wiki on iTouch

Published December 20, 2007 by lieven

I’ve reduced the springboard of my jailbroken iTouch to a minimalistic Dock consisting only of the iPhone Mail.app to read and write mails properly (as opposed to having to use webmail on an unbroken iTouch), an RSS-reader to watch other math-blogs and the arXiv (via Install.app under Productivity/MobileRSS), the Safari webbrowser and a Finder (via Install.app under Productivity/MobileFinder) to launch all other programs, when needed.

To achieve this effect, install (as in the jailbreak-post) all these apps as well as Customize.app (under Utilities). This allows you to change the icon order on your springboard and dock as well as to toggle the visibility of these icons. Just make sure to have either Finder or Customize visible at all times or it will be difficult to get at the invisible apps (an alternative is to install something called Sunburst).

While the iTouch is great to read, it is harder to type a lot of text into it. Whence the idea of running a Wiki on it (now that we have PHP enabled Apache) and use another computer to create the wiki-pages. For example think of a small database of weblinks with descriptions. Rather than bookmark them one by one in Safari, make wiki-pages for them and use the Search function to get the desired link.

The first problem is that Wikis take a lot of space and you would like to have it installed under /Library/WebServer/Documents to view it with your inbuild Safari browser by typing something like http://localhost/wiki. To see the problem with this, ssh into your iTouch and issue a df command. You will get something like

# df
Filesystem           1K-blocks      Used Available Use% Mounted on
/dev/disk0s1            307200    297188      6940  98% /
devfs                       15        15         0 100% /dev
/dev/disk0s2          15551928    517904  15034024   4% /private/var

That is, you’ve used up almost all disk space of the partition on which the /Library/WebServer/Documents folder resides. So, we first need to move it to the other partition under /private/var, so why not create a Documents-folder under the root-homefolder and link to it?

cd /Library/WebServer
mv Documents /private/var/root/
ln -s /private/var/root/Documents Documents

Check it with http://localhost/ and you should still see your default Apache-page (though it now comes from another location). The next step is to find a PHP-Wiki hat works on the iTouch and doesn’t require a Mysql-database. I’ve tried at least ten without success and then I turned to the Wiki Engines Page and found QWikiWiki which does seem to work. So download it, rename the folder to something you like such as ‘qwiki’ and upload via SFTP to the /var/root/Documents folder of your iTouch and chmod it recursively to 777. If you ever need to change some of the PHP-variables, copy the php.ini from you mac over to the /opt/iphone/bin folder of the iTouch.

Finally, use a browser on your other computer to access the install file of Qwiki on the iTouch. For example, if the IP of iTouch is 10.0.1.197 then type

http://10.0.1.197/qwiki/install.php

and follow the online instructions. A few moments later you can type in your first wiki-page!

Some things still need to be done like optimizing the CSS for iTouch while serving the normal CSS for usual computers, but that’ll have to wait…

Segal’s formal neighbourhood result

Published December 8, 2007 by lieven

Yesterday, Ed Segal gave a talk at the Arts. His title “Superpotential algebras from 3-fold singularities” didnt look too promising to me. And sure enough it was all there again : stringtheory, D-branes, Calabi-Yaus, superpotentials, all the pseudo-physics babble that spreads virally among the youngest generation of algebraists and geometers.

Fortunately, his talk did contain a general ringtheoretic gem. After a bit of polishing up this gem, contained in his paper The A-infinity Deformation Theory of a Point and the Derived Categories of Local Calabi-Yaus, can be stated as follows.

Let $A $ be a $\mathbb{C} $-algebra and let $M = S_1 \oplus \ldots \oplus S_k $ be a finite dimensional semi-simple representation with distinct simple components. Let $\mathfrak{m} $ be the kernel of the algebra epimorphism $A \rightarrow S $ to the semi-simple algebra $S=End(M) $. Then, the $\mathfrak{m} $-adic completion of $A $ is Morita-equivalent to the completion of a quiver-algebra with relations. The nice thing is that both the quiver and relations come in a canonical way from the $A_{\infty} $-structure on the Ext-algebra $Ext^{\bullet}_A(M,M) $. More precisely, there is an isomorphism

$\hat{A}_{\mathfrak{m}} \simeq \frac{\hat{T}_S(Ext^1_A(M,M)^{\ast})}{(Im(HMC)^{\ast})} $

where the homotopy Maurer-Cartan map comes from the $A_{\infty} $ structure maps

$HMC = \oplus_i m_i~:~T_S(Ext_A^1(M,M)) \rightarrow Ext^2_A(M,M) $

and hence the defining relations of the completion are given by the image of the dual of this map.

For ages, Ive known this result in the trivial case of formally smooth algebras (where $Ext^2_A(M,M)=0 $ and hence there are no relations to divide out) and where it is a consequence of a special case of the Cuntz-Quillen “tubular neighborhood” result. Completions of formally smooth algebras at semi-simples are Morita equivalent to completions of path algebras. This fact motivated all the local-quiver technology that was developed here in Antwerp over the last decade (see my book if you want to know the details).

Also for 3-dimensional Calabi-Yau algebras it states that the completions at semi-simples are Morita equivalent to completions of quotients of path algebras by the relations coming from a superpotential (aka a necklace) by taking partial noncommutative derivatives. Here the essential ingredient is that $Ext^2_A(M,M)^{\ast} \simeq Ext^1_A(M,M) $ in this case.

The M(13)-groupoid (2)

Published July 30, 2007 by lieven

Conway’s puzzle M(13) involves the 13 points and 13 lines of $\mathbb{P}^2(\mathbb{F}_3) $. On all but one point numbered counters are placed holding the numbers 1,…,12 and a move involves interchanging one counter and the ‘hole’ (the unique point having no counter) and interchanging the counters on the two other points of the line determined by the first two points. In the picture on the left, the lines are respresented by dashes around the circle in between two counters and the points lying on this line are those that connect to the dash either via a direct line or directly via the circle. In the first part we saw that the group of all reachable positions in Conway’s M(13) puzzle having the hole at the top positions contains the sporadic simple Mathieu group $M_{12} $ as a subgroup. To see the reverse inclusion we have to recall the definition of the ternary Golay code named in honour of the Swiss engineer Marcel Golay who discovered in 1949 the binary Golay code that we will encounter _later on_.

The ternary Golay code $\mathcal{C}_{12} $ is a six-dimenional subspace in $\mathbb{F}_3^{\oplus 12} $ and is spanned by its codewords of weight six (the Hamming distance of $\mathcal{C}_{12} $ whence it is a two-error correcting code). There are $264 = 2 \times 132 $ weight six codewords and they can be obtained from the 132 hexads, we encountered before as the winning positions of Mathieu’s blackjack, by replacing the stars by signs + or – using the following rules. By a tet (from tetracodeword) we mean a 3×4 array having 4 +-signs indicating the row-positions of a tetracodeword. For example

$~\begin{array}{|c|ccc|} \hline & + & & \\ + & & + & \\ & & & + \\ \hline + & 0 & + & – \end{array} $ is the tet corresponding to the bottom-tetracodeword. $\begin{array}{|c|ccc|} \hline & + & & \\ & + & & \\ & + & & \\ \hline & & & \end{array} $ A col is an array having +-signs along one of the four columns. The signed hexads will now be the hexads that can be written as $\mathbb{F}_3 $ vectors as (depending on the column-distributions of the stars in the hexad indicated between brackets)

$col-col~(3^20^2)\qquad \pm(col+tet)~(31^3) \qquad tet-tet~(2^30) \qquad \pm(col+col-tet)~(2^21^2) $

For example, the hexad on the right has column-distribution $2^30 $ so its signed versions are of the form tet-tet. The two tetracodewords must have the same digit (-) at place four (so that they cancel and leave an empty column). It is then easy to determine these two tetracodewords giving the signed hexad (together with its negative, obtained by replacing the order of the two codewords)

$\begin{array}{|c|ccc|} \hline \ast & \ast & & \\ \ast & & \ast & \\ & \ast & \ast & \\ \hline – & + & 0 & – \end{array} $ signed as
$\begin{array}{|c|ccc|} \hline + & & & \\ & & & \\ & + & + & + \\ \hline 0 & – & – & – \end{array} – \begin{array}{|c|ccc|} \hline & + & & \\ + & & + & \\ & & & + \\ \hline + & 0 & + & – \end{array} = \begin{array}{|c|ccc|} \hline + & – & & \\ – & & – & \\ & + & + & \\ \hline – & + & 0 & – \end{array} $

and similarly for the other cases. As Conway&Sloane remark ‘This is one of many cases when the process is easier performed than described’.

We have an order two operation mapping a signed hexad to its negative and as these codewords span the Golay code, this determines an order two automorphism of $\mathcal{C}_{12} $. Further, forgetting about signs, we get the Steiner-system S(5,6,12) of hexads for which the automorphism group is $M_{12} $ hence the automorphism group op the ternary Golay code is $2.M_{12} $, the unique nonsplit central extension of $M_{12} $.

Right, but what is the connection between the Golay code and Conway’s M(13)-puzzle which is played with points and lines in the projective plane $\mathbb{P}^2(\mathbb{F}_3) $? There are 13 points $\mathcal{P} $ so let us consider a 13-dimensional vectorspace $X=\mathbb{F}_3^{\oplus 13} $ with basis $x_p~:~p \in \mathcal{P} $. That is a vector in X is of the form $\vec{v}=\sum_p v_px_p $ and consider the ‘usual’ scalar product $\vec{v}.\vec{w} = \sum_p v_pw_p $ on X. Next, we bring in the lines in $\mathbb{P}^2(\mathbb{F}_3) $.

For each of the 13 lines l consider the vector $\vec{l} = \sum_{p \in l} x_p $ with support the four points lying on l and let $\mathcal{C} $ be the subspace (code) of X spanned by the thirteen vectors $\vec{l} $. Vectors $\vec{c},\vec{d} \in \mathcal{C} $ satisfy the remarkable identity $\vec{c}.\vec{d} = (\sum_p c_p)(\sum_p d_p) $. Indeed, both sides are bilinear in $\vec{c},\vec{d} $ so it suffices to check teh identity for two line-vectors $\vec{l},\vec{m} $. The right hand side is then 4.4=16=1 mod 3 which equals the left hand side as two lines either intersect in one point or are equal (and hence have 4 points in common). The identity applied to $\vec{c}=\vec{d} $ gives us (note that the squares in $\mathbb{F}_3 $ are {0,1}) information about the weight (that is, the number of non-zero digits) of codewords in $\mathcal{C} $

$wt(\vec{c})~mod(3) = \sum_p c_p^2 = (\sum_p c_p)^2 \in \{ 0,1 \} $

Let $\mathcal{C}’ $ be the collection of $\vec{c} \in \mathcal{C} $ of weight zero (modulo 3) then one can verify that $\mathcal{C}’ $ is the orthogonal complement of $\mathcal{C} $ with respect to the scalar product and that the dimension of $\mathcal{C} $ is seven whereas that of $\mathcal{C}’ $ is six.
Now, let for a point p be $\mathcal{G}_p $ the restriction of

$\mathcal{C}_p = \{ c \in \mathcal{C}~|~c_p = – \sum_{q \in \mathcal{P}} c_q \} $

to the coordinates of $\mathcal{P} – \{ p \} $, then $\mathcal{G}_p $ is clearly a six dimensional code in a 12-dimensional space. A bit more work shows that $\mathcal{G}_p $ is a self-dual code with minimal weight greater or equal to six, whence it must be the ternary Golay code! Now we are nearly done. _Next time_ we will introduce a reversi-version of M(13) and use the above facts to deduce that the basic group of the Mathieu-groupoid indeed is the sporadic simple group $M_{12} $.

References

Robert L. Griess, “Twelve sporadic groups” chp. 7 ‘The ternary Golay code and $2.M_{12} $’

John H. Conway and N. J.A. Sloane, “Sphere packings, lattices and groups” chp 11 ‘The Golay codes and the Mathieu groups’

John H. Conway, Noam D. Elkies and Jeremy L. Martin, ‘The Mathieu group $M_{12} $ and its pseudogroup extension $M_{13} $’ arXiv:math.GR/0508630

Tag: arxiv

Wiki on iTouch

Segal’s formal neighbourhood result

The M(13)-groupoid (2)