non-commutative – neverendingbooks

Penrose tilings and noncommutative geometry

Published May 18, 2011 by lieven

Penrose tilings are aperiodic tilings of the plane, made from 2 sort of tiles : kites and darts. It is well known (see for example the standard textbook tilings and patterns section 10.5) that one can describe a Penrose tiling around a given point in the plane as an infinite sequence of 0’s and 1’s, subject to the condition that no two consecutive 1’s appear in the sequence. Conversely, any such sequence is the sequence of a Penrose tiling together with a point. Moreover, if two such sequences are eventually the same (that is, they only differ in the first so many terms) then these sequences belong to two points in the same tiling,

Another remarkable feature of Penrose tilings is their local isomorphism : fix a finite region around a point in one tiling, then in any other Penrose tiling one can find a point having an isomorphic region around it. For this reason, the space of all Penrose tilings has horrible topological properties (all points lie in each others closure) and is therefore a prime test-example for the techniques of noncommutative geometry.

In his old testament, Noncommutative Geometry, Alain Connes associates to this space a $C^{*}$ -algebra $F i b$ (because it is constructed from the Fibonacci series $F_{0}, F_{1}, F_{2}, \dots$ ) which is the direct limit of sums of two full matrix-algebras $S_{n}$ , with connecting morphisms

$S_{n} = M_{F_{n}} (C) \oplus M_{F_{n - 1}} (C) \to S_{n + 1} = M_{F_{n + 1}} (C) \oplus M_{F_{n}} (C) (a, b) \mapsto (\begin{matrix} a & 0 \\ 0 & b \end{matrix}, a)$

As such $F i b$ is an AF-algebra (for approximately finite) and hence formally smooth. That is, $F i b$ would be the coordinate ring of a smooth variety in the noncommutative sense, if only $F i b$ were finitely generated. However, $F i b$ is far from finitely generated and has other undesirable properties (at least for a noncommutative algebraic geometer) such as being simple and hence in particular $F i b$ has no finite dimensional representations…

A couple of weeks ago, Paul Smith discovered a surprising connection between the noncommutative space of Penrose tilings and an affine algebra in the paper The space of Penrose tilings and the non-commutative curve with homogeneous coordinate ring $C ⟨ x, y ⟩ / (y^{2})$ .

Giving $x$ and $y$ degree 1, the algebra $P = C ⟨ x, y ⟩ / (y^{2})$ is obviously graded and noncommutative projective algebraic geometers like to associate to such algebras their ‘proj’ which is the quotient category of the category of all graded modules in which two objects become isomorphisc iff their ‘tails’ (that is forgetting the first few homogeneous components) are isomorphic.

The first type of objects NAGers try to describe are the point modules, which correspond to graded modules in which every homogeneous component is 1-dimensional, that is, they are of the form

$C e_{0} \oplus C e_{1} \oplus C e_{2} \oplus \dots \oplus C e_{n} \oplus C e_{n + 1} \oplus \dots$

with $e_{i}$ an element of degree $i$ . The reason for this is that point-modules correspond to the points of the (usual, commutative) projective variety when the affine graded algebra is commutative.

Now, assume that a Penrose tiling has been given by a sequence of 0’s and 1’s, say $(z_{0}, z_{1}, z_{2}, \dots)$ , then it is easy to associate to it a graded vectorspace with action given by

$x . e_{i} = e_{i + 1}$ and $y . e_{i} = z_{i} e_{i + 1}$

Because the sequence has no two consecutive ones, it is clear that this defines a graded module for the algebra $P$ and determines a point module in $p r o j p r o j (P)$ . By the equivalence relation on Penrose sequences and the tails-equivalence on graded modules it follows that two sequences define the same Penrose tiling if and only if they determine the same point module in $p r o j p r o j (P)$ . Phrased differently, the noncommutative space of Penrose tilings embeds in $p r o j p r o j (P)$ as a subset of the point-modules for $P$ .

The only such point-module invariant under the shift-functor is the one corresponding to the 0-sequence, that is, corresponds to the cartwheel tiling

Another nice consequence is that we can now explain the local isomorphism property of Penrose tilings geometrically as a consequence of the fact that the $E x t^{1}$ between any two such point-modules is non-zero, that is, these noncommutative points lie ‘infinitely close’ to each other.

This is the easy part of Paul’s paper.

The truly, truly amazing part is that he is able to recover Connes’ AF-algebra $F i b$ from $p r o j p r o j (P)$ as the algebra of global sections! More precisely, he proves that there is an equivalence of categories between $p r o j p r o j (P)$ and the category of all $F i b$ -modules $m o d m o d (F i b)$ !

In other words, the noncommutative projective scheme $p r o j p r o j (P)$ is actually isomorphic to an affine scheme and as its coordinate ring is formally smooth $p r o j p r o j (P)$ is a noncommutative smooth variety. It would be interesting to construct more such examples of interesting AF-algebras appearing as local rings of sections of proj-es of affine graded algebras.

Comments closed

changes (ahead)

Published January 19, 2011 by lieven

In view or recents events & comments, some changes have been made or will be made shortly :

categories : Sanitized the plethora of wordpress-categories to which posts belong. At the moment there are just 5 categories : ‘stories’ and ‘web’ (for all posts with low math-content) and three categories ‘level1’, ‘level2’ and ‘level3’, loosely indicating the math-difficulty of a post.

MathJax : After years of using LatexRender and WP-Latex, we’ll change to MathJax from now on. I’ll try to convert older posts as soon as possible. (Update : did a global search and replace. ‘Most’ LaTeX works, major exceptions being matrices and xymatrix commands. I’ll try to fix those later with LatexRender.)

theme : The next couple of days, the layout of this site may change randomly as I’ll be trying out things with the Swift wordpress theme. Hopefully, this will converge to a new design by next week.

name : Neverendingbooks will be renamed to something more math-related. Clearly, the new name will depend on the topics to be covered. On the main index page a pop-up poll will appear in the lower right-hand corner after 10 seconds. Please fill in the topics you’d like us to cover (no name or email required).

This poll will close on friday 21st at 12 CET and its outcome will influence name/direction of this blog. Use it also if you have a killer newname-suggestion. Among the responses so far, a funnier one : “An intro to, or motivation for non-commutative geometry, aimed at undergraduates. As a rule, I’d take what you think would be just right for undergrads, and then trim it down a little more.”

guest-posts : If you’d like to be a guest-blogger here at irregular times, please contact me. The first guest-post will be on noncommutative topology and the interpretation of quantum physics, and will appear soon. So, stay tuned…

Comments closed

Langlands versus Connes

Published October 26, 2010 by lieven

This is a belated response to a Math-Overflow exchange between Thomas Riepe and Chandan Singh Dalawat asking for a possible connection between Connes’ noncommutative geometry approach to the Riemann hypothesis and the Langlands program.

Here’s the punchline : a large chunk of the Connes-Marcolli book Noncommutative Geometry, Quantum Fields and Motives can be read as an exploration of the noncommutative boundary to the Langlands program (at least for $G L_{1}$ and $G L_{2}$ over the rationals $Q$ ).

Recall that Langlands for $G L_{1}$ over the rationals is the correspondence, given by the Artin reciprocity law, between on the one hand the abelianized absolute Galois group

$G a l (\overset{―}{Q} / Q)^{a b} = G a l (Q (μ_{\infty}) / Q) ≃ {\hat{Z}}^{*}$

and on the other hand the connected components of the idele classes

$A_{Q}^{*} / Q^{*} = R_{+}^{*} \times {\hat{Z}}^{*}$

The locally compact Abelian group of idele classes can be viewed as the nice locus of the horrible quotient space of adele classes $A_{Q} / Q^{*}$ . There is a well-defined map

$A_{Q}^{'} / Q^{*} \to R_{+} (x_{\infty}, x_{2}, x_{3}, \dots) \mapsto | x_{\infty} | \prod | x_{p} |_{p}$

from the subset $A_{Q}^{'}$ consisting of adeles of which almost all terms belong to $Z_{p}^{*}$ . The inverse image of this map over $R_{+}^{*}$ are precisely the idele classes $A_{Q}^{*} / Q^{*}$ . In this way one can view the adele classes as a closure, or ‘compactification’, of the idele classes.

This is somewhat reminiscent of extending the nice action of the modular group on the upper-half plane to its badly behaved action on the boundary as in the Manin-Marcolli cave post.

The topological properties of the fiber over zero, and indeed of the total space of adele classes, are horrible in the sense that the discrete group $Q^{*}$ acts ergodically on it, due to the irrationality of $l o g (p_{1}) / l o g (p_{2})$ for primes $p_{i}$ . All this is explained well (in the semi-local case, that is using $A_{Q}^{'}$ above) in the Connes-Marcolli book (section 2.7).

In much the same spirit as non-free actions of reductive groups on algebraic varieties are best handled using stacks, such ergodic actions are best handled by the tools of noncommutative geometry. That is, one tries to get at the geometry of $A_{Q} / Q^{*}$ by studying an associated non-commutative algebra, the skew-ring extension of the group-ring of the adeles by the action of $Q^{*}$ on it. This algebra is known to be Morita equivalent to the Bost-Connes algebra which is the algebra featuring in Connes’ approach to the Riemann hypothesis.

It shouldn’t thus come as a major surprise that one is able to recover the other side of the Langlands correspondence, that is the Galois group $G a l (Q (μ_{\infty}) / Q)$ , from the Bost-Connes algebra as the symmetries of certain states.

In a similar vein one can read the Connes-Marcolli $G L_{2}$ -system (section 3.7 of their book) as an exploration of the noncommutative closure of the Langlands-space $G L_{2} (A_{Q}) / G L_{2} (Q)$ .

At the moment I’m running a master-seminar noncommutative geometry trying to explain this connection in detail. But, we’re still in the early phases, struggling with the topology of ideles and adeles, reciprocity laws, L-functions and the lot. Still, if someone is interested I might attempt to post some lecture notes here.

Comments closed

Tag: non-commutative

Penrose tilings and noncommutative geometry

changes (ahead)

Langlands versus Connes