Skip to content →

Tag: noncommutative

Pollock your own noncommutative space

I really like Matilde Marcolli’s idea to use some of Jackson Pollock’s paintings as metaphors for noncommutative spaces. In her talk she used this painting



and refered to it (as did I in my post) as : Jackson Pollock “Untitled N.3”. Before someone writes a post ‘The Pollock noncommutative space hoax’ (similar to my own post) let me point out that I am well aware of the controversy surrounding this painting.

This painting is among 32 works recently discovered and initially attributed to Pollock.
In fact, I’ve already told part of the story in Doodles worth millions (or not)? (thanks to PD1). The story involves the people on the right : from left to right, Jackson Pollock, his wife Lee Krasner, Mercedes Matter and her son Alex Matter.

Alex Matter, whose father, Herbert, and mother, Mercedes, were artists and friends of Jackson Pollock, discovered after his mother died a group of small drip paintings in a storage locker in Wainscott, N.Y. which he believed to be authentic Pollocks.

Read the post mentioned above if you want to know how mathematics screwed up his plan, or much better, reed the article Anatomy of the Jackson Pollock controversy by Stephen Litt.

So, perhaps the painting above was not the smartest choice, but we could take any other genuine Pollock ‘drip-painting’, a technique he taught himself towards the end of 1946 to make an image by splashing, pouring, sloshing colors onto the canvas. Typically, such a painting consists of blops of paint, connected via thin drip-lines.

What does this have to do with noncommutative geometry? Well, consider the blops as ‘points’. In commutative geometry, distinct points cannot share tangent information ((technically : a commutative semi-local ring splits as the direct sum of local rings and this does no longer hold for a noncommutative semi-local ring)). In the noncommutative world though, they can!, or if you want to phrase it like this, noncommutative points ‘can talk to each other’. And, that’s what we cherish in those drip-lines.

But then, if two points share common tangent informations, they must be awfully close to each other… so one might imagine these Pollock-lines to be strings holding these points together. Hence, it would make more sense to consider the ‘Pollock-quotient-painting’, that is, the space one gets after dividing out the relation ‘connected by drip-lines’ ((my guess is that Matilde thinks of the lines as the action of a group on the points giving a topological horrible quotient space, and thats precisely where noncommutative geometry shines)).

For this reason, my own mental picture of a genuinely noncommutative space ((that is, the variety corresponding to a huge noncommutative algebra such as free algebras, group algebras of arithmetic groups or fundamental groups)) looks more like the picture below



The colored blops you see are really sets of points which you might view as, say, a FacebookGroup ((technically, think of them as the connected components of isomorphism classes of finite dimensional simple representations of your favorite noncommutative algebra)). Some chatter may occur between two distinct FacebookGroups, the more chatter the thicker the connection depicted ((technically, the size of the connection is the dimension of the ext-group between generic simples in the components)). Now, there are some tiny isolated spots (say blue ones in the upper right-hand quadrant). These should really be looked at as remote clusters of noncommutative points (sharing no (tangent) information whatsoever with the blops in the foregound). If we would zoom into them beyond the Planck scale (if I’m allowed to say a bollock-word in a Pollock-post) they might reveal again a whole universe similar to the interconnected blops upfront.

The picture was produced using the fabulous Pollock engine. Just use your mouse to draw and click to change colors in order to produce your very own noncommutative space!

For the mathematicians still around, this may sound like a lot of Pollock-bollocks but can be made precise. See my note Noncommutative geometry and dual coalgebras for a very terse reading. Now that coalgebras are gaining popularity, I really should write a more readable account of it, including some fanshi-wanshi examples…

4 Comments

Views of noncommutative spaces

The general public expects pictures from geometers, even from non-commutative geometers. Hence, it is important for researchers in this topic to make an attempt to convey the mental picture they have of their favourite noncommutative space, … somehow. Two examples :



This picture was created by Shahn Majid. It appears on his visions of noncommutative geometry page as well as in an extremely readable Plus-magazine article on Quantum geometry, written by Marianne Freiberger, explaining Shahn’s ideas. For more information on this, read Shahn’s SpaceTime blog.



This painting is Jackson Pollock‘s “Untitled N.3”. It depicts the way Matilde Marcolli imagines a noncommutative space. It is taken from her slides of her talk for a general audience Mathematicians look at particle physics.

3 Comments

yet another math2.0 proposal

At present, some interesting experiments are going on exploring the potential of web 2.0 for mathematical research, that is, setting up a usable math 2.0 – environment.

The starting point is that math 2.0 should be something like blogs+extras. Most mathematicians are not that interested in the latest ICT-tools, but at least they are slowly getting used to reading blogs, so we should stick to this medium and try to enhance it for online-research.

Michael Nielsen has written a couple of posts on this : an after-dinner talk about doing science online aiming at a mathematics audience, building on an essay on the future of science.

Both posts were influential to Tim Gowers‘ dream of massively collaborative mathematics. He took an interesting problem, laid down a set of 12 rules-of-conduct and invited everyone to contribute. The project is still gaining momentum and Terry Tao is also posting about it on his blog.

Michael Nielsen compared Gowers’ approach to long established practice in the open-source software community.

Another interesting experiment is nLab, a knowledge-wiki set up by the reader-community of the n-category cafe. They describe it as : “In other words: this place is like the library, or alchemist’s laboratory, in the back room of the n-Category Café. You come here to work and go there to chat.
We are hoping to create here a space for presentation and archival storage of collaborative work of encyclopedic, didactic, expositional, but also original nature. This will include, but not be limited to, the subjects being discussed every day in the n-Café.”

Both experiments are working great, aided by the authority-status of the blogger, resp. the popularity of the blog, within the research topic. But, what about topics failing to have a blogger or blog of similar status? Should we all drop our current research-interest and convert to either combinatorics or higher-categories?

History taught us in case of failing authority we’d better settle for ‘manageable anarchy’. So, here’s my math2.0-anarchy-allowed-proposal :

  • per research-topic (say, an arXiv-topic) we’ll set up a seperate online-reasearch-environment
  • anyone interested in that topic is allowed to register and fill-out a profile linking to her list of publications, describe his research interests, her ongoing projects and other trivia
  • some may want to start a blog within the environment or join an already existing one, and should be allowed to do so
  • some may opt just to read blog posts and occasionally comment, and again, should be allowed to do so
  • some may want to set up a research-group to solve a specific problem. they may choose to do this in the open, or as a covert-operation, taking on new members only by invitation
  • some may use the environment mainly for networking or chatting-up with their friends
  • some research-groups may want to start a group-blog or knowledge-wiki to archive their finds
  • surely we’ll be not discussing math in ASCII but in latex
  • anyone will be able to follow specific sub-projects via RSS-feeds
  • anyone can see site-wide activity online, see who’s currently there and chat if they feel the need
  • anyone can do whatever sensible web2.0-thing there is I forgot by age and hence by ignorance

If this seems like a tall order to satisfy, a bit of research will show that we live at the fortunate moment in time when all the basic ingredient are there, freely available, to do just that!

Over the last weeks I’ve wasted too many hours googling for help, reading-up different fora to get it all working, but … somehow succeeded. Here’s a screen-shot of my very-own NSN (for : noncommutative-social-network) :



Please allow me a few more days to tidy things up and then I’ll make the link available so that anyone interested can experiment with it.

But then, I’ve no desire to spend my days web-mastering such a site. Perhaps some of you would like to take this on, provided you’d get it on a silver plate? (that is, without having to spend too much time setting it up).

So. I’ll run a series of posts explaining how to “set-up your own math2.0 environment”. I’m not aiming at the internet-savvy ones (they’ll probably do it a lot more efficiently), but at people like myself, who are interested to investigate web-based possibilities, but need to be told where to find the very basics, such as the location of their httpd.conf file or their php.ini and such.

I’ve zeroed my MacBookPro, re-installed OSX 10.5 from scratch, upgraded it to current 10.5.6 but no extras (say, vanilla 10.5.6). And I’ll guide you from there, in all gory details, with plenty of screen-shots as I would have liked to find them when I tried to set this up.

One Comment