Skip to content →

neverendingbooks Posts

noncommutative geometry : a medieval science?

According to a science article in the New York Times, archeologists have discovered “signs of advanced math” in medieval mosaics. An example of a quasi-crystalline Penrose pattern was found at the Darb-i Imam shrine in Isfahan, Iran.

“A new study shows that the Islamic pattern-making process, far more intricate than the laying of one‚Äôs bathroom floor, appears to have involved an advanced math of quasi crystals, which was not understood by modern scientists until three decades ago. Two years ago, Peter J. Lu, a doctoral student in physics at Harvard University, was transfixed by the geometric pattern on a wall in Uzbekistan. It reminded him of what mathematicians call quasi-crystalline designs. These were demonstrated in the early 1970s by Roger Penrose, a mathematician and cosmologist at the University of Oxford. Mr. Lu set about examining pictures of other tile mosaics from Afghanistan, Iran, Iraq and Turkey, working with Paul J. Steinhardt, a Princeton cosmologist who is an authority on quasi crystals and had been Mr. Lu’s undergraduate adviser. ”

Penrose tilings are one of the motivating examples of Alain Connes’ book as there is a $C^* $-algebra associated to it. In fact, the algebra is AF ( a limit of semi-simple finite dimensional algebras) so is even a formally smooth algebra in Kontsevichian noncommutative geometry (it is remarkable how quickly one gets used to silly terminology…). However, the Penrose algebra is simple, so rather useless from the point of view of finite dimensional representations… Still, Connesian noncommutative geometry may be a recent incarnation of the medieval Tehran program (pun intended). Thanks to easwaran for the link (via Technorati).

Added, March 1 : I haven’t looked at the Connes-Marcolli paper A walk in the noncommutative garden for a while but now that I do, I see that they mentioned the above already at the end of their section on Tilings (page 32). They also include clearer pictures.


One Comment

noncommutative bookmarks

At
last, some excitement about noncommutative geometry in the blogosphere.

From what I deduce from reading the first posts, Arup Pal set up a new blog
called Noncommutative
Geometry
and subsequently handed it over to Masoud Khalkhali who then
got Alain Connes to post on it who, in turn, is asking people to submit
posts, such as todays post by David Goss.

Somehow, most people refer to the Noncommutative Geometry blog as
“Alain Connes’ blog” (for example Doctor Gero, Not Even
Wrong
, the n-category cafe and
possibly many others).

David Corfield over at the n-category cafe stops
short of suggesting to rename (by analogy) NeverEndingBooks into
Kontsevich’s blog

A new blog Noncommutative Geometry
has begun, which appears to be of the Connesian variety. (Connes himself
has already commented there.) We mentioned a couple of weeks ago that
there are different flavours of noncommutative geometry. The
Kontsevichian variety, nongeometry, finds its blog voice in Lieven Le
Bruyn’s NeverEndingBooks. It would be interesting to see some
interaction.

I don’t think I will opt for a dialectic
response to the Noncommutative Geometry Blog, although I realize this would result
in more enjoyable reading for some of you…

For starters,
I’ve signed up to another flagship of noncommutative
_differential_ geometry : noncommutativegeometry.net, though it is unclear to me what action (if any) is
going on over there.

Further, I plan to move my talks at the master class
noncommutative geometry
to the virtual lecture room of this blog,
hoping to get the desired interaction. We’ll start later this week and
the pace will be pretty easy going. A tentative title might be
“Anabelian versus Noncommutative Geometry”.

Leave a Comment

time for selfcriticism

The
problem with criticizing others is that you have to apply the same
standards to your own work. So, as of this afternoon, I do agree with
all those who said so before : my book is completely unreadable and
should either be dumped or entirely rewritten!

Here’s what happened :
Last week I did receive the contract to publish _noncommutative
geometry@n_ in a reputable series. One tiny point though, the editors
felt that the title was somewhat awkward and would stand out with
respect to the other books in the series, so they proposed as an
alternative title _Noncommutative Geometry_. A tall order, I thought,
but then, if others are publishing books with such a title why
shouldn’t I do the same?

The later chapters are quite general, anyway,
and if I would just spice them up a little adding recent material it
might even improve the book. So, rewriting two chapters and perhaps
adding another “motivational chapter” aimed at physicists… should
be doable in a month, or two at the latest which would fit in nicely
with the date the final manuscript is due.

This week, I got myself once
again in writing mode : painfully drafting new sections at a pace of 5
to 6 pages a day. Everything was going well. Today I wanted to finish
the section on the “one quiver to rule them all”-trick and was
already mentally planning the next section in which I would give details
for groups like $PSL_2(\mathbb{Z}) $ and $GL_2(\mathbb{Z}) $, all I
needed was to type in a version of the proof of the last proposition.

The proof uses a standard argument, which clearly should be in the book
so I had to give the correct reference and started browsing through the
print-out of the latest version (about 600 pages long..) but… _I
could not find it!???_ And, it was not just some minor technical lemma,
but a result which is crucial to the book’s message (for the few who
want to know, the result is the construction and properties of the local
quiver at a semi-simple representation of a Quillen-smooth algebra). Of
course, there is a much more general result contained in the book, but
you have to be me (or have to be drilled by me) to see the connection…
Not good at all! I’d better sleep on this before taking further
steps

Leave a Comment