Category: math

$\mathbf{Ext}(\mathbb{Q},\mathbb{Z})$ and the solenoid $\widehat{\mathbb{Q}}$

Published July 31, 2014 by lievenlb

Note to self: check Jack Morava’s arXiv notes on a more regular basis!

It started with the G+-post below by +David Roberts:

Suddenly I realised I hadn’t checked out Morava‘s “short preprints with ambitious ideas, but no proofs” lately.

A couple of years ago I had a brief email exchange with him on the Habiro topology on the roots of unity, and, in the process he send me a 3 page draft with ideas on how this could be relevant to higher dimensional topological QFT (If my memory doesn’t fail me, I can’t find anything remotely related in the arXiv-list).

Being in a number-theory phase lately (yes, I also have to give next year, for the first time, in the second semester, a master-course on Number Theory) the paper A topological group of extensions of $\mathbb{Q}$ by $\mathbb{Z}$ caught my eyes.

The extension group $Ext(\mathbb{Q},\mathbb{Z})$ classifies all short exact sequences of Abelian groups

$0 \rightarrow \mathbb{Z} \rightarrow A \rightarrow \mathbb{Q} \rightarrow 0$

upto equivalence, that is commuting sequences with end-maps being identities.

The note by Boardman Some Common Tor and Ext Groups hs a subsection on this group/rational vector space, starting out like this:

“This subsection is strictly optional. The group $Ext(\mathbb{Q}, \mathbb{Z})$ is much more difficult to determine. It is easy to see that it is a rational vector space, simply from the presence of $\mathbb{Q}$, but harder to see what its dimension is. This group is not as mysterious as is sometimes claimed, but is related to adèle groups familiar to number theorists.”

Boardman goes on to show that this extension group can be identified with $\mathbb{A}^f_{\mathbb{Q}}/\mathbb{Q}$ where $\mathbb{A}^f_{\mathbb{Q}}$ is the ring of finite adèles, that is, sequence $(x_2,x_3,x_5,…)$ of $p$-adic numbers $x_p \in \widehat{\mathbb{Q}}_p$ with all but finitely many $x_p \in \widehat{\mathbb{Z}}_p$, and $\mathbb{Q}$ is the additive subgroup of constant sequences $(x,x,x,…)$.

Usually though, one considers the full adèle ring $\mathbb{A}_{\mathbb{Q}} = \mathbb{R} \times \mathbb{A}^f_{\mathbb{Q}}$ and one might ask for a similar interpretation of the adèle class-group $\mathbb{A}_{\mathbb{Q}}/\mathbb{Q}$.

This group is known to be isomorphic to the character group (or Pontrtrjagin dual) of the rational numbers, that is, to $\widehat{\mathbb{Q}}$ which are all group-morphisms $\mathbb{Q} \rightarrow S^1$ from the rational numbers to the unit circle. This group is sometimes called the ‘solenoid’ $\Sigma$, it is connected but not path connected and the path-component of the identity $\Sigma_0 = \mathbb{R}$.

A very nice and accessible account of the solenoid is given in the paper The character group of $\mathbb{Q}$ by Keith Conrad.

The point of Morava’s note is that he identifies the solenoid $\mathbb{A}_{\mathbb{Q}}/\mathbb{Q}$ with a larger group of ‘rigidified’ extensions $Ext_{\mathbb{Z}_0}(\mathbb{Q},\mathbb{Z})$.That is, one starts with a usual extension in $Ext_{\mathbb{Z}}(\mathbb{Q},\mathbb{Z})$ as above, but in addition, one fixes a splitting of the induced sequence

$0 \rightarrow \mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{R} \rightarrow A \otimes_{\mathbb{Z}} \mathbb{R} \rightarrow \mathbb{Z} \otimes_{\mathbb{Z}} \mathbb{R} \rightarrow 0$

Forgetting the splitting this gives the exact sequence

$0 \rightarrow \mathbb{R} \rightarrow Ext_{\mathbb{Z}_0}(\mathbb{Q},\mathbb{Z}) \rightarrow Ext_{\mathbb{Z}}(\mathbb{Q},\mathbb{Z}) \rightarrow 0$

which is isomorphic to the sequence involving the path-component of the solenoid!

$0 \rightarrow \Sigma_0 = \mathbb{R} \rightarrow \Sigma=\widehat{Q} \rightarrow \mathbb{A}^f_{\mathbb{Q}}/\mathbb{Q} \rightarrow 0$

Morava ends with: “I suppose the proposition above has a natural reformulation
in Arakelov geometry; but I don’t know anything about Arakelov geometry”…

Leave a Comment

A noncommutative moduli space

Published July 19, 2014 by lievenlb

Supernatural numbers also appear in noncommutative geometry via James Glimm’s characterisation of a class of simple $C^*$-algebras, the UHF-algebras.

A uniformly hyperfine (or, UHF) algebra $A$ is a $C^*$-algebra that can be written as the closure, in the norm topology, of an increasing union of finite-dimensional full matrix algebras

$M_{c_1}(\mathbb{C}) \subset M_{c_2}(\mathbb{C}) \subset … \quad \subset A$

Such embedding are only possible if the matrix-sizes divide each other, that is $c_1 | c_2 | c_3 | … $, and we can assign to $A$ the supernatural number $s=\prod_i c_i$ and denote $A=A(s)$.

In his paper On a certain class of operator algebras, Glimm proved that two UHF-algebras $A(s)$ and $B(t)$ are isomorphic as $C^*$-algebras if and only if $s=t$. That is, the supernatural numbers $\mathbb{S}$ are precisely the isomorphism classes of UHF-algebras.

An important invariant, the Grothendieck group $K_0$ of $A(s)$, can be described as the additive subgroup $\mathbb{Q}(s)$ of $\mathbb{Q}$ generated by all fractions of the form $\frac{1}{n}$ where $n$ is a positive integer dividing $s$.

A “noncommutative space” is a Morita class of $C^*$-algebras, so we want to know when two $UHF$-algebras $A(s)$ and $B(t)$ are Morita-equivalent. This turns out to be the case when there are positive integers $n$ and $m$ such that $n.s = m.t$, or equivalently when the $K_0$’s $\mathbb{Q}(s)$ and $\mathbb{Q}(t)$ are isomorphic as additive subgroups of $\mathbb{Q}$.

Thus Morita-equivalence defines an equivalence relation on $\mathbb{S}$ as follows: if $s=\prod p^{s_p}$ and $t= \prod p^{t_p}$ then $s \sim t$ if and only if the following two properties are satisfied:

(1): $s_p = \infty$ iff $t_p= \infty$, and

(2): $s_p=t_p$ for all but finitely many primes $p$.

That is, we can view the equivalence classes $\mathbb{S}/\sim$ as the moduli space of noncommutative spaces associated to UHF-algebras!

Now, the equivalence relation is described in terms of isomorphism classes of additive subgroups of the rationals, which was precisely the characterisation of isomorphism classes of points in the arithmetic site, that is, the finite adèle classes

$\mathbb{S}/\sim~\simeq~\mathbb{Q}^* \backslash \mathbb{A}^f_{\mathbb{Q}} / \widehat{\mathbb{Z}}^*$

and as the induced topology of $\mathbb{A}^f_{\mathbb{Q}}$ on it is trivial, this “space” is usually thought of as a noncommutative space.

That is, $\mathbb{S}/\sim$ is a noncommutative moduli space of noncommutative spaces defined by UHF-algebras.

The finite integers form one equivalence class, corresponding to the fact that the finite dimensional UHF-algebras $M_n(\mathbb{C})$ are all Morita-equivalent to $\mathbb{C}$, or a bit more pompous, that the Brauer group $Br(\mathbb{C})$ is trivial.

Multiplication of supernaturals induces a well defined multiplication on equivalence classes, and, with that multiplication we can view $\mathbb{S}/\sim$ as the ‘Brauer-monoid’ $Br_{\infty}(\mathbb{C})$ of simple UHF-algebras…

(Btw. the photo of James Glimm above was taken by George Bergman in 1972)

Leave a Comment

Quiver Grassmannians can be anything

Published May 2, 2013 by lievenlb

A standard Grassmannian $Gr(m,V)$ is the manifold having as its points all possible $m$-dimensional subspaces of a given vectorspace $V$. As an example, $Gr(1,V)$ is the set of lines through the origin in $V$ and therefore is the projective space $\mathbb{P}(V)$. Grassmannians are among the nicest projective varieties, they are smooth and allow a cell decomposition.

A quiver $Q$ is just an oriented graph. Here’s an example

A representation $V$ of a quiver assigns a vector-space to each vertex and a linear map between these vertex-spaces to every arrow. As an example, a representation $V$ of the quiver $Q$ consists of a triple of vector-spaces $(V_1,V_2,V_3)$ together with linear maps $f_a~:~V_2 \rightarrow V_1$ and $f_b,f_c~:~V_2 \rightarrow V_3$.

A sub-representation $W \subset V$ consists of subspaces of the vertex-spaces of $V$ and linear maps between them compatible with the maps of $V$. The dimension-vector of $W$ is the vector with components the dimensions of the vertex-spaces of $W$.

This means in the example that we require $f_a(W_2) \subset W_1$ and $f_b(W_2)$ and $f_c(W_2)$ to be subspaces of $W_3$. If the dimension of $W_i$ is $m_i$ then $m=(m_1,m_2,m_3)$ is the dimension vector of $W$.

The quiver-analogon of the Grassmannian $Gr(m,V)$ is the Quiver Grassmannian $QGr(m,V)$ where $V$ is a quiver-representation and $QGr(m,V)$ is the collection of all possible sub-representations $W \subset V$ with fixed dimension-vector $m$. One might expect these quiver Grassmannians to be rather nice projective varieties.

However, last week Markus Reineke posted a 2-page note on the arXiv proving that every projective variety is a quiver Grassmannian.

Let’s illustrate the argument by finding a quiver Grassmannian $QGr(m,V)$ isomorphic to the elliptic curve in $\mathbb{P}^2$ with homogeneous equation $Y^2Z=X^3+Z^3$.

Consider the Veronese embedding $\mathbb{P}^2 \rightarrow \mathbb{P}^9$ obtained by sending a point $(x:y:z)$ to the point

\[ (x^3:x^2y:x^2z:xy^2:xyz:xz^2:y^3:y^2z:yz^2:z^3) \]

The upshot being that the elliptic curve is now realized as the intersection of the image of $\mathbb{P}^2$ with the hyper-plane $\mathbb{V}(X_0-X_7+X_9)$ in the standard projective coordinates $(x_0:x_1:\cdots:x_9)$ for $\mathbb{P}^9$.

To describe the equations of the image of $\mathbb{P}^2$ in $\mathbb{P}^9$ consider the $6 \times 3$ matrix with the rows corresponding to $(x^2,xy,xz,y^2,yz,z^2)$ and the columns to $(x,y,z)$ and the entries being the multiplications, that is

$$\begin{bmatrix} x^3 & x^2y & x^2z \\ x^2y & xy^2 & xyz \\ x^2z & xyz & xz^2 \\ xy^2 & y^3 & y^2z \\ xyz & y^2z & yz^2 \\ xz^2 & yz^2 & z^3 \end{bmatrix} = \begin{bmatrix} x_0 & x_1 & x_2 \\ x_1 & x_3 & x_4 \\ x_2 & x_4 & x_5 \\ x_3 & x_6 & x_7 \\ x_4 & x_7 & x_8 \\ x_5 & x_8 & x_9 \end{bmatrix}$$

But then, a point $(x_0:x_1: \cdots : x_9)$ belongs to the image of $\mathbb{P}^2$ if (and only if) the matrix on the right-hand side has rank $1$ (that is, all its $2 \times 2$ minors vanish). Next, consider the quiver

and consider the representation $V=(V_1,V_2,V_3)$ with vertex-spaces $V_1=\mathbb{C}$, $V_2 = \mathbb{C}^{10}$ and $V_2 = \mathbb{C}^6$. The linear maps $x,y$ and $z$ correspond to the columns of the matrix above, that is

$$(x_0,x_1,x_2,x_3,x_4,x_5,x_6,x_7,x_8,x_9) \begin{cases} \rightarrow^x~(x_0,x_1,x_2,x_3,x_4,x_5) \\ \rightarrow^y~(x_1,x_3,x_4,x_6,x_7,x_8) \\ \rightarrow^z~(x_2,x_4,x_5,x_7,x_8,x_9) \end{cases}$$

The linear map $h~:~\mathbb{C}^{10} \rightarrow \mathbb{C}$ encodes the equation of the hyper-plane, that is $h=x_0-x_7+x_9$.

Now consider the quiver Grassmannian $QGr(m,V)$ for the dimension vector $m=(0,1,1)$. A base-vector $p=(x_0,\cdots,x_9)$ of $W_2 = \mathbb{C}p$ of a subrepresentation $W=(0,W_2,W_3) \subset V$ must be such that $h(x)=0$, that is, $p$ determines a point of the hyper-plane.

Likewise the vectors $x(p),y(p)$ and $z(p)$ must all lie in the one-dimensional space $W_3 = \mathbb{C}$, that is, the right-hand side matrix above must have rank one and hence $p$ is a point in the image of $\mathbb{P}^2$ under the Veronese.

That is, $Gr(m,V)$ is isomorphic to the intersection of this image with the hyper-plane and hence is isomorphic to the elliptic curve.

The general case is similar as one can view any projective subvariety $X \rightarrow \mathbb{P}^n$ as isomorphic to the intersection of the image of a specific $d$-uple Veronese embedding $\mathbb{P}^n \rightarrow \mathbb{P}^N$ with a number of hyper-planes in $\mathbb{P}^N$.

ADDED For those desperate to read the original comments-section, here’s the link.

Leave a Comment

The empty set according to bourbaki

Published February 9, 2013 by lievenlb

The footnote on page E. II.6 in Bourbaki’s 1970 edition of “Theorie des ensembles” reads

If this is completely obvious to you, stop reading now and start getting a life. For the rest of us, it took me quite some time before i was able to parse this formula, and when i finally did, it only added to my initial confusion.

Though the Bourbakis had a very preliminary version of their set-theory already out in 1939 (Fascicule des Resultats), the version as we know it now was published, chapter-wise, in the fifties: Chapters I and II in 1954, Chapter III in 1956 and finally Chapter IV in 1957.

In the first chapter they develop their version of logic, using ‘assemblages’ (assemblies) which are words of signs and letters, the signs being $\tau, \square, \vee, \neg, =, \in$ and $\supset$.

Of these, we have the familiar signs $\vee$ (or), $\neg$ (not), $=$ (equal to) and $\in$ (element of) and, three more exotic ones: $\tau$ (their symbol for the Hilbert operator $\varepsilon$), $\square$ a sort of wildcard variable bound by an occurrence of $\tau$ (the ‘links’ in the above scan) and $\supset$ for an ordered couple.

The connectives are written in front of the symbols they connect rather than between them, avoiding brackets, so far example $(x \in y) \vee (x=x)$ becomes $\vee \epsilon x y = x x$.

If $R$ is some assembly and $x$ a letter occurring in $R$, then the intende meaning of the *Hilbert-operator* $\tau_x(R)$ is ‘some $x$ for which $R$ is true if such a thing exists’. $\tau_x(R)$ is again an assembly constructed in three steps: (a) form the assembly $\tau R$, (b) link the starting $\tau$ to all occurrences of $x$ in $R$ and (c) replace those occurrences of $x$ by an occurrence of $\square$.

For MathJax reasons we will not try to draw links but rather give a linked $\tau$ and $\square$ the same subscript. So, for example, the claimed assembly for $\emptyset$ above reads

$\tau_y \neg \neg \neg \in \tau_x \neg \neg \in \square_x \square_y \square_y$

If $A$ and $B$ are assemblies and $x$ a letter occurring in $B$ then we denote by $(A | x)B$ the assembly obtained by replacing each occurrence of $x$ in $B$ by the assembly $A$. The upshot of this is that we can now write quantifiers as assemblies:

$(\exists x) R$ is the assembly $(\tau_x(R) | x)R$ and as $(\forall x) R$ is $\neg (\exists x) \neg R$ it becomes $\neg (\tau_x(\neg R) | x) \neg R$

Okay, let’s try to convert Bourbaki’s definition of the emptyset $\emptyset$ as ‘something that contains no element’, or formally $\tau_y((\forall x)(x \notin y))$, into an assembly.

– by definition of $\forall$ it becomes $\tau_y(\neg (\exists x)(\neg (x \notin y)))$
– write $\neg ( x \notin y)$ as the assembly $R= \neg \neg \in x \square_y$
– then by definition of $\exists$ we have to assemble $\tau_y \neg (\tau_x(R) | x) R$
– by construction $\tau_x(R) = \tau_x \neg \neg \in \square_x \square_y$
– using the description of $(A|x)B$ we finally indeed obtain $\tau_y \neg \neg \neg \in \tau_x \neg \neg \in \square_x \square_y \square_y$

But, can someone please explain what’s wrong with $\tau_y \neg \in \tau_x \in \square_x \square_y \square_y$ which is the assembly corresponding to $\tau_y(\neg (\exists x) (x \in y))$ which could equally well have been taken as defining the empty set and has a shorter assembly (length 8 and 3 links, compared to the one given of length 12 with 3 links).

Hair-splitting as this is, it will have dramatic implications when we will try to assemble Bourbaki’s definition of “1” another time.

Leave a Comment

Farey symbols in SAGE 5.0

Published May 31, 2012 by lievenlb

The sporadic second Janko group $J_2$ is generated by an element of order two and one of order three and hence is a quotient of the modular group $PSL_2(\mathbb{Z}) = C_2 \ast C_3$.

This Janko group has a 100-dimensional permutation representation and hence there is an index 100 subgroup $G$ of the modular group such that the fundamental domain $\mathbb{H}/G$ for the action of $G$ on the upper-half plane by Moebius transformations consists of 100 triangles in the Dedekind tessellation.

Four years ago i tried to depict this fundamental domain in the Farey symbols of sporadic groups-post using Chris Kurth’s kfarey package in Sage, but the result was rather disappointing.

Now, the kfarey-package has been greatly extended by Hartmut Monien of Bonn University and is integrated in the latest version of Sage, SAGE 5.0, released a few weeks ago.

Using the Farey symbol sage-documentation it is easy to repeat the calculations from four years ago and, this time, we do obtain this rather nice picture of the fundamental domain

But, there’s a lot more one can do with the new package. By combining the .fractions() with the .pairings() info it is now possible to get the corresponding Farey code which consists of 34 edges, starting off with

Perhaps surprisingly (?) $G$ turns out to be a genus zero modular subgroup. Naturally, i couldn’t resist drawing the fundamental domain for the 12-dimensional permutations representation of the Mathieu group $M_{12}$ and compare it with that of last time.

Leave a Comment

Aaron Siegel on transfinite number hacking

Published May 16, 2012 by lievenlb

One of the coolest (pure math) facts in Conway’s book ONAG is the explicit construction of the algebraic closure $\overline{\mathbb{F}_2}$ of the field with two elements as the set of all ordinal numbers smaller than $(\omega^{\omega})^{\omega}$ equipped with nimber addition and multiplication.

Some time ago we did run a couple of posts on this. In transfinite number hacking we recalled Cantor’s ordinal arithmetic and in Conway’s nim arithmetics we showed that Conway’s simplicity rules for addition and multiplication turns the set of all ordinal numbers into a field of characteristic zero : $\mathbb{On}_2$ (pronounced ‘Onto’).

In the post extending Lenstra’s list we gave Hendrik Lenstra’s effective construction of the mystery elements $\alpha_p$ (for prime numbers $p$) needed to do actual calculations in $\mathbb{On}_2$. We used SAGE to check the values for $p \leq 41$ and solved the conjecture left in Lenstra’s paper Nim multiplication that $(\omega^{\omega^{13}})^{43} = \omega^{\omega^7} + 1$ and determined $\alpha_p$ for $p \leq 67$.

Aaron Siegel has now dramatically extended this and calculated the $\alpha_p$ for all primes $p \leq 181$. He mails :

“thinking about the problem I figured it shouldn’t be too hard to write a dedicated program for it. So I threw together some Java code and… pushed the table up to p = 181! You can see the results below. Q(f(p)), excess, and alpha_p are all as defined by Lenstra. The “t(sec)” column is the number of seconds the calculation took, on my 3.4GHz iMac. The most difficult case, by far, was p = 167, which took about five days.

I’m including results for all p < 300, except for p = 191, 229, 263, and 283. p = 263 and 283 are omitted because they involve computations in truly enormous finite fields (exponent 102180 for p = 263, and 237820 for p = 283). I'm confident that if I let my computer grind away at them for long enough, we'd get an answer... but it would take several months of CPU time at least. p = 191 and 229 are more troubling cases. Consider p = 191: it's the first prime p such that p-1 has a factor with excess > 1. (190 = 2 x 5 x 19, and alpha_19 has excess 4.) This seems to have a significant effect on the excess of alpha_191. I’ve tried it for every excess up to m = 274, and for all powers of 2 up to m = 2^32. No luck.”

Aaron is writing a book on combinatorial game theory (to be published in the AMS GSM series, hopefully later this year) and will include details of these computations. For the impatient, here’s his list

Leave a Comment

Quiver Grassmannians and $\mathbb{F}_1$-geometry

Published May 9, 2012 by lievenlb

Reineke’s observation that any projective variety can be realized as a quiver Grassmannian is bad news: we will have to look at special representations and/or dimension vectors if we want the Grassmannian to have desirable properties. Some people still see a silver lining: it can be used to define a larger class of geometric objects over the elusive field with one element $\mathbb{F}_1$.

In a comment to the previous post Markus Reineke recalls motivating discussions with Javier Lopez Pena and Oliver Lorscheid (the guys responsable for the map of $\mathbb{F}_1$-land above) and asks about potential connections with $\mathbb{F}_1$-geometry. In this post I will ellaborate on Javier’s response.

The Kapranov-Smirnov $\mathbb{F}_1$-floklore tells us that an $n$-dimensional vectorspace over $\mathbb{F}_1$ is a pointed set $V^{\bullet}$ consisting of $n+1$ points, the distinguished point playing the role of the zero-vector. Linear maps $V^{\bullet} \rightarrow W^{\bullet}$ between $\mathbb{F}_1$-spaces are then just maps of pointed sets (sending the distinguished element of $V^{\bullet}$ to that of $W^{\bullet}$). As an example, the base-change group $GL_n(\mathbb{F}_1)$ of an $n$-dimensional $\mathbb{F}_1$-space $V^{\bullet}$ is isomorphic to the symmetric group $S_n$.

This allows us to make sense of quiver-representations over $\mathbb{F}_1$. To each vertex we associate a pointed set and to each arrow a map of pointed sets between the vertex-pointed sets. The dimension-vector $\alpha$ of quiver-representation is defined as before and two representations with the same dimension-vector are isomorphic is they lie in the same orbit under the action of the product of the symmetric groups determined by the components of $\alpha$. All this (and a bit more) has been worked out by Matt Szczesny in the paper Representations of quivers over $\mathbb{F}_1$.

Oliver Lorscheid developed his own approach to $\mathbb{F}_1$ based on the notion of blueprints (see also part 2 and a paper with Javier).

Roughly speaking a blueprint $B = A // \mathcal{R}$ is a commutative monoid $A$ together with an equivalence relation $\mathcal{R}$ on the monoid semiring $\mathbb{N}[A]$ compatible with addition and multiplication. Any commutative ring $R$ is a blueprint by taking $A$ the multiplicative monoid of $R$ and $\mathcal{R}(\sum_i a_i,\sum_j b_j)$ if and only if the elements $\sum_i a_i$ and $\sum_j b_j$ in $R$ are equal.

One can extend the usual notions of prime ideals, Zariski topology and structure sheaf from commutative rings to blueprints and hence define a notion of “blue schemes” which are then taken to be the schemes over $\mathbb{F}_1$.

What’s the connection with Reineke’s result? Well, for quiver-representations $V$ defined over $\mathbb{F}_1$ they can show that the corresponding quiver Grassmannians $Gr(V,\alpha)$ are blue projective varieties and hence are geometric objects defined over $\mathbb{F}_1$.

For us, old-fashioned representation theorists, a complex quiver-representation $V$ is defined over $\mathbb{F}_1$ if and only if there is an isomorphic representation $V’$ with the property that all its arrow-matrices have at most one $1$ in every column, and zeroes elsewhere.

Remember from last time that Reineke’s representation consisted of two parts : the Veronese-part encoding the $d$-uple embedding $\mathbb{P}^n \rightarrow \mathbb{P}^M$ and a linear part describing the subvariety $X \rightarrow \mathbb{P}^n$ as the intersection of the image of $\mathbb{P}^n$ in $\mathbb{P}^M$ with a finite number of hyper-planes in $\mathbb{P}^M$.

We have seen that the Veronese-part is always defined over $\mathbb{F}_1$, compatible with the fact that all approaches to $\mathbb{F}_1$-geometry allow for projective spaces and $d$-uple embeddings. The linear part does not have to be defined over $\mathbb{F}_1$ in general, but we can look at the varieties we get when we force the linear-part matrices to be of the correct form.

For example, by modifying the map $h$ of last time to $h=x_0+x_7+x_9$ we get that the quiver-representation

is defined over $\mathbb{F}_1$ and hence that Reineke’s associated quiver Grassmannian, which is the smooth plane elliptic curve $\mathbb{V}(x^3+y^2z+z^3)$, is a blue variety. This in sharp contrast with other approaches to $\mathbb{F}_1$-geometry which do not allow elliptic curves!

Oliver will give a talk at the 6th European Congress of Mathematics in the mini-symposium Absolute Arithmetic and $\mathbb{F}_1$-Geometry. Judging from his abstract,he will also mention quiver Grassmannians.

Leave a Comment

noncommutative geometry at the Lorentz center

Published March 24, 2012 by lievenlb

This week i was at the conference Noncommutative Algebraic Geometry and its Applications to Physics at the Lorentz center in Leiden.

It was refreshing to go to a conference where i knew only a handful of people beforehand and where everything was organized to Oberwolfach perfection. Perhaps i’ll post someday on some of the (to me) more interesting talks.

Also interesting were some discussions about the Elsevier-boycot-fallout and proposals to go beyong that boycot and i will certainly post about that later. At the moment there is still an embargo on some information, but anticipate a statement from the editorial board of the journal of number theory soon…

I was asked to talk about “algebraic D-branes”, probably because it sounded like an appropriate topic for a conference on noncommutative algebraic geometry claiming to have connections with physics. I saw it as an excuse to promote the type of noncommutative geometry i like based on representation schemes.

If you like to see the slides of my talk you can find the handout-version here. They should be pretty self-exploratory, but if you like to read an unedited version of what i intended to tell with every slide you can find that text here.

Leave a Comment

Manin’s three-space-2000

Published January 30, 2012 by lievenlb

Almost three decades ago, Yuri Manin submitted the paper “New dimensions in geometry” to the 25th Arbeitstagung, Bonn 1984. It is published in its proceedings, Springer Lecture Notes in Mathematics 1111, 59-101 and there’s a review of the paper available online in the Bulletin of the AMS written by Daniel Burns.

In the introduction Manin makes some highly speculative but inspiring conjectures. He considers the ring

$$\mathbb{Z}[x_1,\ldots,x_m;\xi_1,\ldots,\xi_n]$$

where $\mathbb{Z}$ are the integers, the $\xi_i$ are the “odd” variables anti-commuting among themselves and commuting with the “even” variables $x_j$. To this ring, Manin wants to associate a geometric object of dimension $1+m+n$ where $1$ refers to the “arithmetic dimension”, $m$ to the ordinary geometric dimensions $(x_1,\ldots,x_m)$ and $n$ to the new “odd dimensions” represented by the coordinates $(\xi_1,\ldots,\xi_n)$. Manin writes :

“Before the advent of ringed spaces in the fifties it would have been difficult to say precisely what me mean when we speak about this geometric object. Nowadays we simply define it as an “affine superscheme”, an object of the category of topological spaces locally ringed by a sheaf of $\mathbb{Z}_2$-graded supercommutative rings.”

Here’s my own image (based on Mumford’s depiction of $\mathsf{Spec}(\mathbb{Z}[x])$) of what Manin calls the three-space-2000, whose plain $x$-axis is supplemented by the set of primes and by the “black arrow”, corresponding to the odd dimension.

Manin speculates : “The message of the picture is intended to be the following metaphysics underlying certain recent developments in geometry: all three types of geometric dimensions are on an equal footing”.

Probably, by the addition “2000” Manin meant that by the year 2000 we would as easily switch between these three types of dimensions as we were able to draw arithmetic schemes in the mid-80ties. Quod non.

Twelve years into the new millenium we are only able to decode fragments of this. We know that symmetric algebras and exterior algebras (that is the “even” versus the “odd” dimensions) are related by Koszul duality, and that the precise relationship between the arithmetic axis and the geometric axis is the holy grail of geometry over the field with one element.

For aficionados of $\mathbb{F}_1$ there’s this gem by Manin to contemplate :

“Does there exist a group, mixing the arithmetic dimension with the (even) geometric ones?”

Way back in 1984 Manin conjectured : “There is no such group naively, but a ‘category of representations of this group’ may well exist. There may exist also certain correspondence rings (or their representations) between $\mathsf{Spec}(\mathbb{Z})$ and $x$.”

Leave a Comment

Monsters and Moonshine : a booklet

Published January 19, 2012 by lievenlb

I’ve LaTeXed $48=2 \times 24$ posts into a 114 page booklet Monsters and Moonshine for you to download.

The $24$ ‘Monsters’ posts are (mostly) about finite simple (sporadic) groups : we start with the Scottish solids (hoax?), move on to the 14-15 game groupoid and a new Conway $M_{13}$-sliding game which uses the sporadic Mathieu group $M_{12}$. This Mathieu group appears in musical compositions of Olivier Messiaen and it can be used also to get a winning strategy of ‘mathematical blackjack’. We discuss Galois’ last letter and the simple groups $L_2(5),L_2(7)$ and $L_2(11)$ as well as other Arnold ‘trinities’. We relate these groups to the Klein quartic and the newly discovered ‘buckyball’-curve. Next we investigate the history of the Leech lattice and link to online games based on the Mathieu-groups and Conway’s dotto group. Finally, preparing for moonshine, we discover what the largest sporadic simple group, the Monster-group, sees of the modular group.

The $24$ ‘Moonshine’ posts begin with the history of the Dedekind (or Klein?) tessellation of the upper half plane, useful to determine fundamental domains of subgroups of the modular group $PSL_2(\mathbb{Z})$. We investigate Grothendieck’s theory of ‘dessins d’enfants’ and learn how modular quilts classify the finite index subgroups of the modular group. We find generators of such groups using Farey codes and use those to give a series of simple groups including as special members $L_2(5)$ and the Mathieu-sporadics $M_{12}$ and $M_{24}$ : the ‘iguanodon’-groups. Then we move to McKay-Thompson series and an Easter-day joke pulled by John McKay. Apart from the ‘usual’ monstrous moonshine conjectures (proved by Borcherds) John McKay also observed a strange appearance of $E(8)$ in connection with multiplications of involutions in the Monster-group. We explain Conway’s ‘big picture’ which makes it easy to work with the moonshine groups and use it to describe John Duncan’s solution of the $E(8)$-observation.

I’ll try to improve the internal referencing over the coming weeks/months, include an index and add extra material as we will be studying moonshine for the Mathieu groups as well as a construction of the Monster-group in next semester’s master-seminar. All comments, corrections and suggestions for extra posts are welcome!

If you are interested you can also download two other booklets : The Bourbaki Code (38 pages) containing all Bourbaki-related posts and absolute geometry (63 pages) containing the posts related to the “field with one element” and its connections to (noncommutative) geometry and number theory.

I’ll try to add to the ‘absolute geometry’-booklet the posts from last semester’s master-seminar (which were originally posted at angs@t/angs+) and write some new posts covering the material that so far only exists as prep-notes. The links above will always link to the latest versions of these booklets.

2 Comments