Que es la geometr a no conmutativa?

por Marta Macho Stadler, Universidad del Pa s Vasco-Euskal Herriko Unibertsitatea

... Einstein was always rather hostile to quantum mechanics. How can one understand this? I think it is very easy to understand, because Einstein had been proceeding of dierent lines, lines of pure geometry. He had been developing geo- metrical theories and had achieved enormous success. It is only natural that he should think that further problems of physics should be solved by further development of geometrical ideas. How to have a b not equal to b a is something that does not t in very well with geometrical ideas; hence his hostility to it... P.A.M. Dirac, The Mathematical Intelligencer 11 (1989) 58.
La Geometr a no conmutativa se apoya en los siguientes hechos esenciales:

1.- los espacios usados por los f sicos son no conmutativos en muchos casos:
(i) en Mecanica Cuantica, donde Heisenberg reemplaza el algebra de funciones sobre el espacio de fases de la Mecanica Clasica, por un algebra no conmutativa;

(ii) en F sica del Estado Solido (trabajos de Bellissard), el espacio de las energ asimpulsion de un tal sistema se vuelve no conmutativo;

129

130

8. Qu e es la geometr a no conmutativa?

(iii) en F sica de Part culas Elementales (para el modelo de Weinberg-Salam), se 4) por la geometr a no conmutativa, desdoblando el espacio-tiempo; reemplaza la geometr a del espacio-tiempo usual (una variedad de dimension

de una manera muy natural a un algebra no conmutativa;

las herramientas clasicas de matematicas no son adecuadas, pero que corresponden

discreto, espacios de hojas de una foliacion, grupos cuanticos, ...), y para los cuales

de universos de Penrose, espacios de representaciones irreducibles de un grupo

2.- existen muchos ejemplos de espacios que surgen de manera natural (espacios

hilbertianos, de modo que su marco natural se transforme en no conmutativo; en esta teor a general, el caso conmutativo no esta aislado.

g a, calculo diferencial, calculo diferencial metrico, ...), en terminos algebraicos e

3.- es posible reformular los instrumentos clasicos de la Matematica (medida, topolo-

1. El mundo real no es conmutativo

La conmutatividad no es una propiedad adquirida en el mundo real. Por ejemplo,

cuando nos levantamos por la manana, no es demasiado importante el orden en el de la ducha y el vestido!

que nos ponemos el reloj o los zapatos. Pero, mas vale no cambiar la disposicion

las acciones. Ademas, todas las operaciones no conmutativas no son similares.

En matematicas, a menudo, los numeros conmutan, pero no las operaciones o

el ecuador.

V eamos un ejemplo practico: imaginemos dos nav os que levan anclas a la vez desde

(i) El primer nav o viaja 100 millas hacia el este, despues gira y navega aun 100 millas hacia el norte;

131
(ii) el segundo barco navega 100 millas hacia el norte, despues gira y viaja 100 millas hacia el este.

operacion con 1000 millas en vez de 100, el alejamiento es mas largo, alrededor de 32 millas. La conmutatividad no puede aplicarse aqu a causa de la curvatura de la Tierra, y mas aun, el error cometido depende de la distancia recorrida...

El segundo barco queda 0.32 millas al este del primero. Pero, si se repite la misma

2. Motivacion f sica de la geometr a no conmutativa

Tenemos un sistema f sico, cuyas propiedades queremos estudiar. Su descripcion Deseamos obtener un

formalismo matematico en terminos de estas observaciones.

se realiza por medio de ciertas observaciones del sistema.

un conjunto de 6 parametros, que son las 3 coordenadas de la posicion del momento parametros, que es el espacio de fases

part cula, conocer a la vez su posicion y su velocidad iniciales. Estos datos forman

En Mecanica Clasica es necesario, para determinar la trayectoria ulterior de una y las 3

p = mv .

Si se trabaja con

partir de una funcion sobre este espacio, el hamiltoniano (que mide la energ a), se partir de las condiciones iniciales. La estructura natural de las cantidades observables del sistema. El hamiltoniano establece un sistema de ecuaciones diferenciales, que determinan la trayectoria a simplectica , cuyos puntos son los estados del sistema. Las funciones sobre es la de una variedad

n part culas, aparece un conjunto de 6n M del sistema mecanico considerado. A M

M , que interviene para especicar la evolucion de toda cantidad f sica observable, f = {H, f }, donde {, } es el corchete de Poisson y d f = f . dt
por la ecuacion de Hamilton el sistema dinamico obtenido es totalmente integrable, es decir, hay sucientes movimiento casi-periodico. La descripcion de un tal sistema es muy simple: En los buenos casos (por ejemplo, el modelo planetario del atomo de hidrogeno),

es una funcion sobre

son

constantes de movimiento para que al especicarlas, se reduzca el sistema a un

1) el algebra de las cantidades observables es el algebra conmutativa de las series casi-periodicas,

q ( t) =

qn1 ...nk e2i n,v

k

, donde

n i Z , v i R+

son las

frecuencias fundamentales y

n, v =
i=1

n i vi ; t.

2) la evolucion en el tiempo esta dada por la translacion de la variable

132

8. Qu e es la geometr a no conmutativa?

As , los principales objetos de la Mecanica Clasica en el formalismo hamiltoniano, son:

(i) el espacio de fases, una variedad simplectica de clase (ii) los observables, funciones reales sobre elementos de un algebra;

C , M ;

M,

que pueden considerarse como

(iii) los estados, que son funcionales lineales sobre los observables; (iv) la dinamica de los observables esta denida por un hamiltoniano ecuacion

(v) las simetr as del sistema f sico actuan sobre observables o estados, a traves de transformaciones canonicas de

f = {H, f };

y una

M.

y los estados pueden recuperarse a partir estos.

Los observables, la dinamica y la simetr a son objetos primarios. El espacio de fases

emitidas por los atomos en un sistema f sico es un subgrupo aditivo

Los resultados teoricos dicen que el conjunto de las frecuencias de las radiaciones

frecuencia emitida corresponden todos los multiplos enteros o armonicos. a partir del grupo

de R.

A cada

modelo clasico, el algebra de las cantidades f sicas observables se lee directamente

En el

grupo de frecuencias. Como

de las frecuencias emitidas: es el algebra de convolucion de este es un grupo abeliano, el algebra es conmutativa.

en realidad, se trabaja con un grupoide composicion frecuencias

de dos frecuencias del espectro sea aun una de ellas.

de las frecuencias emitidas por un atomo no forma un grupo, es falso que la suma

este ultimo resultado teorico esta en contradiccion con la experiencia: el conjunto

Pero, la espectroscopia y sus numerosos resultados experimentales muestran que

de combinacion de Ritz-Rydberg permite indicar las l neas espectrales por

(i, j ).(j, k ) = (i, k )

y

(es el llamado grupoide grosero). y entonces

= {(i, j ) : i, j I }, j=k

La experiencia dice que, con la regla de El principio

Matrices o Cuantica, en la cual las cantidades observables (tan importantes como la que el algebra con la que estaba trabajando era ya conocida por los matematicos posicion y el momento) ya no conmutan.

(en la cual las cantidades observables conmutan dos a dos), por la Mecanica de las Pero Heisenberg no entendio enseguida

por la experiencia, el premio Nobel W. Heisenberg reemplaza la Mecanica Clasica

es el algebra de matrices.

algebra de convolucion tiene aun sentido cuando se pasa de un grupo a un grupoide: Al reemplazar el grupo

vij

vkl

se componen si y solo si

. Dos vil = vij + vjl . El

dictado

por el grupoide

(el algebra de matrices), las reglas de calculo algebraico de Heisenberg le fueron

133
impuestas por los resultados experimentales de la espectroscopia, y mas adelante Jordan y Born identicaron este algebra. cientes En la Mecanica de Matrices, una cantidad f sica observable esta dada por sus coedada por el homomorsmo de

{q (i, j ) : (i, j ) }. La evolucion en el tiempo de un observable esta en R, que lleva cada l nea espectral (i, j ) en su frecuencia vij , obtiendose la formula (similar a la clasica) q(i,j ) (t) = q (i, j )e2ivij t .
Para obtener el analogo de la ley de evolucion de Hamilton, se dene una cantidad f sica particular, coecientes

H(i,j ) ,

H,

donde

que juega el papel de la energ a clasica y esta dada por sus

H(i,j ) = 0

es la constante de Planck).

Hf f H ), que es parecida a la de Hamilton. Por analog a con la Mecanica Clasica (donde = 0), se obliga a los observables q de posicion y p de momento, a vericar la ecuacion [p, q ] = i . La forma algebraica de la energ a clasica como funcion de p y q , da entonces la ecuacion de Schrodinger . El principio de incertidumbre de
Heisenberg, que estipula que la posicion y la cantidad de movimiento de una part cula precisamente una consecuencia de la no conmutatividad. no pueden conocerse simultaneamente con grados de precision independientes, es

H(i,i) = 2 vi (vij = vi vj y i d f = [H, f ] (donde [H, f ] = Se verica la formula dt i=j

si

As , los principales objetos a Mecanica Cuantica son: (i) el espacio de fases, espacio proyectivo

(ii) los observables, operadores auto-adjuntos sobre

P (H) de un espacio de Hilbert H; H; H;

(iii) los estados del sistema f sico estan denidos por un vector unitario (iv) la dinamica de un observable

esta denida por un operador autoadjunto

a traves de la ecuacion de Heisenberg

f =

H,

[H, f ];

(v) las simetr as del sistema f sico actuan sobre observables o estados a traves de operadores unitarios sobre

H.

3. Fundamentos matematicos de la geometr a no conmutativa

El padre de la geometr a no conmutativa es el medalla Fields A. Connes. Una C*-algebra

vericando respecto a la norma de espacio de Banach, la relacion

a a = a 2 . A puede pensarse como una subalgebra autoadjunta y cerrada para la norma de B (H), para algun espacio de Hilbert H.

A es un algebra de Banach compleja,

provista de una involucion,

134

8. Qu e es la geometr a no conmutativa?
si

compacto, el algebra de las funciones nulas en el innito,

El primer ejemplo de C*-algebra es el siguiente:

es un espacio localmente

C0 (M ) = {f : M C : > 0, compacto K X
dotada de la involucion

t.q.

| f ( x) | < ,

si

x K },

conmutativa. f (x) = f (x), para x M , es una C*-algebra C0 (M ) no es mas que la complecion del algebra Cc (M ) de las funciones de soporte compacto. Si M es compacto, C0 (M ) = C (M ). El teorema central de esta teor a es: Teorema de Gelfand: Toda C*-algebra conmutativa es de la forma para algun espacio localmente compacto y separado

M,

C0 ( M ) ,

es decir, la categor a de las C*-algebras conmutativas y

de la categor a de espacios localmente compactos y aplicaciones continuas propias. Una variedad

-homomorsmos, es dual

de clase

C , puede considerarse desde diferentes puntos de vista: M

se piensa como

(1) el punto de vista de la teor a de la medida (de Lebesgue): un espacio medible con una clase de medidas jada;

(2) el punto de vista de la topolog a: compacto;

aparece como un espacio localmente

(3) el punto de vista de la geometr a diferencial: diferenciable.

se presenta como una variedad

Cada una de estas estructuras sobre

correspondiente algebra de funciones, a saber: (1) el algebra conmutativa de V on Neumann

esta completamente especicada, por la

L (M, ) de las clases de funciones esencialmente acotadas y medibles sobre M . El Teorema de Riesz proporciona
la formula magica

[ f ] =
M

f d;
que se anulan en el

(2) la C*-algebra innito;

C0 (M ) de las funciones continuas sobre M

(3) el algebra

Cc (M ) de las funciones de clase C con soporte compacto.

pueden leerse a traves de propiedades de su algebra

de funciones. A continuacion, presentamos un breve diccionario entre los mundos conmutativo-no conmutativo:

Todas las propiedades de

135
Mundo conmutativo Mundo no conmutativo

M C0 (M )
abierto en

aplicacion propia homeomorsmo

A no commutativo
automorsmo ideal en

morsmo

M punto en M
cerrado en medida

abierto denso en

L (M, )
compacto en

algebra de V on Neumann

A ideal maximal en A ideal esencial en A cociente en A estado sobre A

unitario de

compacticacion

adjuncion de unidad no existe idempotente no trivial separabilidad

CII

conexion

brado vectorial sobre

k -forma diferencial k -corriente de DeRham

homolog a de DeRham

modulo proyectivo tipo nito en

k -cociclo de Hochschild
cohomolog a c clica

k -ciclo de Hochschild

El esquema de funcionamiento de la geometr a no conmutativa es el siguiente: (i) dado un objeto geometrico singular rizacion

de

G,

G , se empieza encontrando una desingula-

(ii) es de esperar que

encontrar una C*-algebra

tenga suciente estructura como, como, a partir de el,

C (G ), cuya complejidad reeje la estructura de G ,

(iii) utilizando metodos de geometr a no conmutativa, se trata de investigar la C*algebra no conmutativa

C (G ), y deducir propiedades medibles, topologicas o geometricas de G a partir de las propiedades anal ticas de C (G ).

diferenciales sobre variedades foliadas (conjetura de Baum-Connes), conjeturas de racter sticas no conmutativas, grupos cuanticos, ... Novikov, cohomolog a c clica, complejos de DeRham no conmutativos, clases ca-

diferenciales con coecientes no conmutativos, teoremas del ndice para operadores

anos, se pueden resumir en:

Las diferentes l neas de desarrollo de la geometr a no conmutativa en los ultimos

K y KK-teor a, teoremas del ndice para operadores

136

8. Qu e es la geometr a no conmutativa?

4. Tres ejemplos de aplicacion de de la geometr a no conmutativa 4. (i) La aplicacion gato de Arnold

La aplicacion gato de Arnold es un ejemplo de aplicacion caotica. Es el

ejemplo mas sencillo de difeomorsmo de Anosov sobre una variedad compacta y de

sistema dinamico uniformemente hiperbolico . La descubrio el matematico ruso V . sencilla de algunos de los principios del caos, como por ejemplo, el orden subyacente en una evolucion (aparentemente) aleatoria de un sistema. El espacio de fases es

Arnold, usando una imagen plana de un gato, y de all su nombre. Es una ilustracion

aplicacion gato de Arnold.

(T2 = R2 /Z2 , ) donde es la medida inducida por la 2 2 medida de Lebesgue de R y A: R R es la aplicacion lineal dada por la matriz 2 1 A= de determinante 1. A preserva las areas y es ergodica respecto a la 1 1 medida de Lebesgue. La aplicacion A : T2 T2 , inducida por paso al cociente, 2 2 verica la igualdad A = A, donde : R T es la aplicacion cociente. As , A es un automosmo del toro y el sistema dinamico (T2 , , A ) se llama
2

, y vs = 1, 3+ 5 3 5 correspondientes a los autovalores u = y s = . A dilata por 2 2 el factor u > 1 en la direccion inestable vu y contrae por el factor s < 1 en la direccion estable vs (esto es precisamente la hiperbolicidad). En la imagen, se ve el tiene dos autovectores ortogonales

vu =

51 2

1 5 ,1 2

efecto sobre el espacio de fases:

La variedad estable de fases

x T

es la proyeccion por

Sx

(respectivamente, inestable

de la

Ux ) por cada punto del espacio l nea que pasa por x y con vector

137 vu ). Como u , s I, las l neas Sx y Ux son densas x T2 , y de aqu el mal comportamiento del espacio de orbitas. 2 La descomposicion T = Sx = Ux del espacio de fases en las partes estables vs
x I x I
tangente (respectivamente,

en el toro para cada

e inestables es innita (no contable).

de un alfabeto nito con ciertas reglas gramaticales, es decir, se le puede asociar asociada es portadora de mas informacion que el sistema original. un sistema dinamico simbolico (usando particiones de Markov). La C*-algebra

Se puede codicar este sistema dinamico con sucesiones simbolicas de letras

aparentemente cambia al azar la organizacion original de sus pixels. Sin embargo, iterada un numero suciente de veces, como por arte de magia, la imagen original reaparece.

Con esta aplicacion y las imagenes de su evolucion, se ilustra una transformacion que

4. (ii) La teselacion de Penrose

Los mosaicos proporcionan modelos para los solidos quasi-cristalinos (alea-

tas discretizaciones quienes constituyen los modelos de difraccion de ese tipo de ese tipo conduce directamente al estudio de los espacios no conmutativos asociados

de interes creciente dentro de la F sica. No son propiamente los mosaicos, sino ciersolidos. La investigacion del espectro de una part cula que se mueve en un solido de

ciones de metal con propiedades de estructura y simetr a muy peculiares), un area

138

8. Qu e es la geometr a no conmutativa?

a mosaicos, ya que el algebra de observables es precisamente la C*-algebra de la teselacion.

r gidos que contenga a las traslaciones) a partir de un numero nito de teselas modelo. El f sico-matematico R. Penrose era capaz de construir teselaciones en el plano,

llamados teselas, obtenidos por traslacion (o mediante un subgrupo de movimientos

Un mosaico o teselacion del plano es una descomposicion del plano en pol gonos,

periodicas con piezas iguales: estas teselaciones estan compuestas por dos tipos de emparejamiento.

con simetr a pentagonal; es conocido que esto no es posible por medio de teselas

piezas la echa y la cometa, con la condicion de que cada vertice tiene colores de

Una caracter stica sorprendente de las teselaciones de Penrose, es que todo motivo nito sucede (innitas veces) en cualquier otra teselacion de Penrose. que dos de tales teselaciones son iguales, si se puede llevar la una en la otra por Decimos

es periodica). Tiene sentido la nocion de frecuencia de aparicion de echas (respec la razon aurea . Como esta proporcion es un numero irracional, resulta imposible

isometr a del plano (esta denicion no es trivial, porque ninguna de las teselaciones

tivamente, de cometas) por unidad de area, y la razon entre estas dos frecuencias es fragmentar el mosaico en una sola celda-unidad que contenga un numero entero de tenemos:

cada tipo de dibujo. Nunca sera posible decidir localmente que teselacion es la que Cada zona nita de un patron cualquiera

encaja dentro de cualquier otro patron.

podra distinguir en que teselacion esta.

si un explorador aterriza en paracaidas sobre un tal plano teselado, no

mosaico en su totalidad mediante teselas en forma de dardos y cometas.

innitas (no contables) diferentes, es decir, existen innitas maneras de cubrir un

Sin embargo, se puede probar que hay realmente distintas teselaciones, e incluso

139

de 0 y 1, satisfaciendo una condicion de consistencia:

Para ello, se parametrizan tales teselaciones por un conjunto

K de sucesiones innitas

K = {{zn }nN : zn = 0 o 1, (zn = 1 zn+1 = 0)}.

teselacion de Penrose, Este punto es crucial, y se prueba que dos sucesiones El espacio

k n.

es compacto, de hecho, es un Cantor.

z z,

si y solo si existe

n N tal que zk = zk

denen la misma

para cada

estudiar

El espacio de los universos de Penrose es el espacio cociente

construir diferentes invariantes topologicos y usarlos para etiquetar las tesela-

funciones: existen de verdad diferentes teselaciones de Penrose, porque se pueden

P,

la idea es distinguir distintos teselados por medio de un algebra de

P = K/ .

Para

patron nito aparece en cada teselacion de Penrose, pero en el l mite, para regiones diferente, es decir, la teselaciones se distinguen vistas de lejos.

ciones. Por ejemplo, hay invariantes topologicos etiquetados por los enteros: todo

cada vez mayores del mosaico, la frecuencia relativa de aparicion de patrones, es

cristalografos no eran absolutamente ciertos como ellos cre an, no era facil enfrentarse a las reglas que aquellos hab an estado siguiendo durante mas de un siglo. Las reglas en cuestion sosten an que las estructuras aperiodicas eran inadmisibles,

Aunque Penrose pudo observar que parte de los conceptos aceptados por los

debido a que las unidades de atomos que forman los cristales deben estar ordenados de manera regular con el n de llenar completamente el espacio. Por ejemplo, en la sal comun los iones de sodio y de cloro se asientan en los angulos de un cubo y estos

140

8. Qu e es la geometr a no conmutativa?

ideas de Penrose, pero en 1984 se encontro un diminuto cristal metalico compuesto la de los copos de nieve de cinco puntas.

se apilan para formar el crsital de sal. Fueron pocos los que se tomaron en serio las

de aluminio y manganeso, que ten an una forma tan asombrosa e inesperada como en los cristales mostraban la simetr a qu ntuple de Penrose, un hecho, que segun las Los rayos X y los electrones reejados

antiguas leyes de la cristalograf a, no era posible.

En las anteriores guras, se muestra: (a) la teselacion de Penrose; (b) estructura 3-D basada en la teselacion de Penrose, que proporciona un patron de difraccion teorico;

(c) patron de difraccion de la aleacion Mn-Al; (d) imagen al microcopio de la aleacion Al-Cu-Co; (e) teselacion correspondiente a la anterior aleacion: Al corresponde a los c rculos en blanco y Cu-Co a los c rculos negros.

141
4. (iii) El toro no conmutativo
Para

F dy = dx).

un ujo

R, las curvas integrales del campo de vectores X =

sobre el toro Si

es densa, de hecho, una copia de

Q,

cada hoja es una circunferencia.

T2

(de otra manera, son las soluciones de la ecuacion

+ x1 x2

denen

distribucion inducida es el ujo de Kronecker

R,

puesta de manera densa en el toro, y la

En otro caso, cada hoja

F .

X , C (T2 /F ), que es no trivial y que describe las propiedades topologicas de este espacio de orbitas: sea A la C*-algebra universal engendrada por dos generadores unitarios u y v , con la relacion de conmutacion (que es la forma unitaria de la relacion de conmutacion de Heisenberg [p, q ] = i de la Mecanica Cuantica): uv = e2i vu. Es el algebra de rotacion irracional o toro no conmutativo. Los elementos de A , tienen como elemento generico el del m n tipo amn u v y esto forma una subalgebra densa en el. Pero, hay otros
elementos que no pueden escribirse de este modo.

algebra asociada a

de la topolog a,

Si se intenta analizar el espacio de orbitas

es un espacio indiscreto, sin ningun interes. Pero existe la C*-

X = T2 /F

desde el punto de vista

n,mf inito

C (T2 ), que es la C*-algebra universal engendrada por dos generadores unitarios u y v , pero con la relacion de conmutacion uv = vu:
(1) (2)

Este algebra es mucho mas complicada que

C (T2 ) tiene muchos ideales, A C (T2 ) es conmutativa y A

de

es simple;

por los escalares (los unicos elementos que conmutan con todos los elementos

no. De hecho, su centro esta formado justamente

son justo los multiplos de la identidad),

(3)

tiene una unica aplicacion traza y

C (T2 )

(a diferencia de las algebras de

142
matrices

8. Qu e es la geometr a no conmutativa? Mn (C)) posee muchas trazas normalizadas:

1 1

(f ) =
0
con

f (e2is , e2it )g (e2is , e2it )dsdt,

0

funcion de probabilidad sobre

T2 tal que
(4)

T2

(es decir, una funcion positiva sobre

g (e2is , e2it )dsdt = 1; C (T2 ) solo dos (0 y 1). {A : I}, como clasicarlas?

que son un codigo para

traza normalizada. As , esto proporciona el invariante mas algebraico, dado por la identidad

K0 (A ) y calcular las trazas de estos proyectores, A . En 1980, M.A. Rieffel prueba que existe un proyector e A , tal que (e ) = , y as se deduce la propiedad de Pimsner-RieffelV oiculescu, (P roy (A )) = (Z Z ) [0, 1], donde es la unica aplicacion
Luego, las algebras

estructura proyectiva, es decir, a

son todas distintas? cuales son isomorfas? Para resolver esto hay que recurrir a su

As , tenemos la familia de algebras de operadores

tiene muchos proyectores y

A no son todas iguales: si A A (para 0 < , < 1), entonces Z Z = Z Z con lo que = o = 1 (si se relaciona con la constante de Plank por = 2, este algebra es muy distinta si se hacen pequenas
variaciones o aproximaciones de !). Este algebra ha permitido a J. Bellisard modelizar el efecto de Hall cuantico. Y

(K0 (A )) = Z Z.

magneticos, modelos matriciales de teor a de cuerdas, juega un papel universal en para el estudio de los operadores de Schrodinger con potenciales casi-periodicos. la teor a de representacion de grupos de Lie y proporciona un armazon conveniente

aparece tambien en otros contextos, como en estructuras periodicas en campos

Bibliograf a
[1] A. Connes, Non Commutative Geometry, Academic Press, 1994. [2] R. Penrose, The role of aesthetics in pure and applied mathematical research, Bull. Inst. Math. Appl.,

10 (1974), 266-271.

[3] R. Penrose, Las sombras de la mente, Cr tica, 1996. [4] G. Peterson, Arnolds cat map, preprint, 1997.