No hay respuestas, tengo miedo, pero algunas observaciones.
Si me pueden disfrutar de una de mis manías: $C^*$- álgebra es en mi humilde opinión no no conmutativa un espacio topológico. Lo que podría ser, dependiendo de cuán profundamente ha bebido de la fuente de la Sabiduría, es el anillo de coordenadas de un NC espacio topológico (las correspondencias son contravariante). De hecho, si uno intenta hacer cualquier NCG entonces, este tipo de inversión de las flechas se utilizan por todo el lugar, e..g K* de $C(X)$ K* de $X$, cíclico cohomology de álgebras de realmente ser cíclico de la homología de los espacios, y así sucesivamente. Podría ser una buena categórica explicación de por qué una buena categoría de "espacios" deben ser dual, pero no recuerdo haber visto uno.
Para ser un poco más serio, se me hace más incómodo por el abandono con el que el NC diccionario obtiene blandió. (Connes' axiomas para espectral triples parece, desde mi limitada de la lectura, para ser realmente muy sutil; el hecho de que el trabajo bien esconde una gran cantidad de trabajo que va a elegir la correcta definición.) A mí me parece un poco fácil tomar alguna clase de álgebras conmutativas asociada a una forma geométrica o topológico widget, ampliar la clase para incluir álgebras no conmutativas, y luego dicen estar haciendo no conmutativa widgetry. Sin la intención de restarle importancia a la muy real y muy interesante trabajo realizado por varios grupos; sólo a la precaución que (en mi humilde opinión) que hay un montón de trabajo encubierto que se ha hecho para hacer que el derecho de las definiciones.
OK, una sugerencia. Como creo que he dicho en el otro post/tema, hay un libro por Nik Weaver donde se intenta desarrollar una aproximación a los espacios de funciones de Lipschitz sobre la métrica de los espacios, lo que le permite hacer algún tipo de "análisis no conmutativa métrica espacios". Lamentablemente no recuerdo en este momento, ¿qué relación, si alguna, que esto tiene con Rieffel del programa de quantum métrica espacios. La idea básica es muy similar a la usada por los Connes et al, pero con un potencial más amplio de la aplicación ya que no estamos imponiendo cualquier (NC) liso de la estructura.