49 votos

Teorías de la geometría no conmutativa

[He reescrito este post de una manera que espero que siga siendo fiel al autor de la pregunta y lo haga parecer más aceptable para la comunidad. También he votado para reabrirlo. -- PLC]

Hay muchas maneras de abordar la geometría no conmutativa.

¿Cuáles son algunos de los enfoques más importantes que se conocen actualmente? ¿Quiénes son los principales creadores de cada uno de estos enfoques y de dónde proceden? Por ejemplo, ¿qué campos matemáticos más consolidados utilizan como punto de partida? ¿Qué problemas intentan resolver?

Dos ejemplos:

1) La escuela de Connes, con un enfoque de C $^*$ -algebras/física matemática.

2) La escuela de Kontsevich, con un enfoque desde la geometría algebraica.

30voto

AndrejaKo Puntos 440

De acuerdo con la sugerencia de Yemon Choi, voy a sugerir una mayor delimitación de los enfoques de la "Geometría Algebraica No Conmutativa". Conozco muy poco sobre la "Geometría Diferencial No Conmutativa", o lo que a menudo cae bajo el título "à la Connes". Esto estará completamente subrepresentado en este resumen. Para ello confío en que el resumen de Yemon sea satisfactorio. ( editado por YC : BB es amable al decir esto, pero mi intento de resumen es lamentablemente incompleto y puede ser inexacto en los detalles; animaría a cualquiera que lea a investigar más, teniendo en cuenta que la filosofía y el conjunto de herramientas de NCG en el análisis no se originó ni termina con Connes).

También hay que tener en cuenta que gran parte de lo que sé sobre estos enfoques proviene de dos fuentes:

  1. El documento de Mahanta

  2. Mi asesor A. Rosenberg.

Además, se produjeron muchos debates útiles en Kevin Lin's pregunta (como dijo Ilya en su respuesta).

Creo que un mejor desglose para el lado del NCAG sería:

A. Enfoque Rosenberg/Gabriel/Kontsevich

Siguiendo la filosofía de Grothendieck: "para hacer geometría, sólo se necesita la categoría de las gavillas cuasi-coherentes en el supuesto espacio" ( editado por KL : ¿De dónde viene esta cita?)

En el famoso disertación de Gabriel En el siglo XIX, introdujo el espectro inyectivo de una categoría abeliana y reconstruyó el esquema noetheriano conmutativo, que es un punto de partida de la geometría algebraica no conmutativa. Más tarde, A. Rosenberg introdujo el espectro izquierdo de un anillo no conmutativo como un análogo del espectro primo en la geometría algebraica conmutativa, y lo generalizó a cualquier categoría abeliana. Utilizó uno de los espectros para reconstruir cualquier esquema conmutativo cuasi separado (no necesariamente cuasi compacto). (Teorema de reconstrucción de Gabriel-Rosenberg).

Además, Rosenberg ha descrito la NC-localización (observada por primera vez también por Gabriel) que ha sido utilizada por él y Kontsevich para construir análogos NC de espacios más clásicos (como el NC Grassmannian) y, más generalmente, de pilas no conmutativas. Rosenberg también ha desarrollado el álgebra homológica asociada a estos "espacios". Las aplicaciones de este enfoque incluyen la teoría de la representación (en particular, la teoría de los módulos D), el álgebra cuántica y la física.

Referencias en este ámbito La mejor manera de encontrarlos es a través de la serie de preimpresos del MPIM, y una gran colección está vinculada aquí . Además, Rosenberg y Kontsevich están escribiendo un libro que amplía el trabajo de su anterior papel . Algunas aplicaciones de estos métodos se utilizan aquí , aquí , aquí y aquí . Los dos primeros se centran en la teoría de la representación, los dos segundos en la localización no conmutativa.

Enfoque Kontsevich/Soibelman

Podrían referirse a su enfoque como "teoría de la deformación formal", y citando directamente su libro

El tema de la teoría de la deformación puede definirse como el "estudio de los espacios de módulo de las estructuras... El tema de este libro es la teoría de la deformación formal. Esto significa que $\mathcal{M}$ será un espacio formal (por ejemplo, un esquema formal), y una categoría típica $\mathcal{W}$ será la categoría de los esquemas afines..."

Su enfoque está relacionado con $A_{\infty}$ álgebras y simetría homológica de espejo. Referencias que pueden ayudar son los papeles de Soibelman . Además, creo que esto está relacionado con la pregunta aquí . (Nota: No sé casi nada más allá de que este enfoque existe. Si sabes más, no dudes en editar ¡esta respuesta! Gracias por su comprensión).

( Algunos comentarios de KL : No estoy seguro de si es apropiado incluir aquí la teoría de la deformación de Kontsevich-Soibelman. Este tipo de teoría de la deformación es algo muy general, que se cruza con algo de la "geometría algebraica no conmutativa" descrita aquí, pero creo que no es ni un subconjunto ni un superconjunto de la misma. En cualquier caso, he hecho algunas preguntas relacionadas con esto en MO en el pasado, ver [esto][22] y [esto][23].

Sin embargo, existe el enfoque de la geometría no conmutativa a través de las categorías, como se dilucida, por ejemplo, en [Katzarkov-Kontsevich-Pantev][24]. En este caso, la idea es pensar en una categoría como una categoría de gavillas en un espacio (hipotético) no conmutativo. Los "espacios no conmutativos" básicos que debemos tener en mente son los "Spec" de un álgebra asociativa (no necesariamente conmutativa), o álgebra asociativa dg, o álgebra A-infinita. Dicho "espacio" es un "esquema afín no conmutativo". La categoría apropiada es entonces la categoría de módulos sobre dicha álgebra. Los espacios definitivamente conmutativos, por ejemplo los esquemas cuasi-proyectivos, son esquemas afines no conmutativos en este sentido: es un teorema de van den Bergh y Bondal que la categoría derivada de las láminas cuasicoherentes sobre un esquema cuasi-proyectivo es equivalente a una categoría de módulos sobre un álgebra dg. (Debo señalar que en mi mundo todo es sobre el campo complejo; no tengo ni idea de lo que ocurre sobre campos más generales). Muchas otras categorías son o deberían ser afines no conmutativas en este sentido: [Categorías de factorización de matrices][25] (véase en particular [Dyckerhoff][26]), y probablemente se conjetura que varios tipos de categorías de Fukaya también lo son.

De todos modos, no tengo ni idea de cómo interactúa este tipo de "geometría algebraica no conmutativa" con los otros tipos explicados aquí, y me gustaría mucho que alguien lo supiera).

El enfoque de Lieven Le Bruyn

Como no sé casi nada de este enfoque y el propio autor es un visitante de este sitio, no me atrevería a intentar resumir este trabajo.

Como se mencionó en un comentario, su sitio web contiene una plétora de enlaces relacionados con la geometría no conmutativa. Te recomiendo que lo consultes usted mismo .

Aproximación a Artin, escuela Van den Berg

Artin y Schelter dieron una condición de regularidad sobre las álgebras que sirven como álgebras de funciones sobre esquemas no conmutativos. Surgen de triples abstractos que se entienden para la geometría algebraica conmutativa. (¡De nuevo, las ediciones son bienvenidas!)

Aquí hay un buen informe sobre Interacciones entre el álgebra no conmutativa y la geometría algebraica . Hay varias personas muy activas en este campo: Michel Van den Berg, James Zhang, Paul Smith, Toby Stafford, I. Gordon, A. Yekutieli. También hay una página muy bonita de Paul Smith: geometría no conmutativa y álgebra no conmutativa donde se encuentran casi todas las personas que trabajan actualmente en el mundo no conmutativo.

Referencias: [Este][16] documento introdujo la necesidad de la condición de regularidad y mostró su utilidad. De nuevo, me remito a [Mahanta][17] para los detalles. El FAC de Serre es el punto de partida de la geometría proyectiva no conmutativa. Pero el marco real lo construyeron Artin y James Zhang en su famoso trabajo [Esquema proyectivo no conmutativo][18].

Teoría de la deformación no conmutativa de Laudal

Olav Laudal ha abordado la NCAG utilizando la teoría de la deformación NC. También aplica su método a la teoría de invariantes y a la teoría de módulos. (¡Por favor, edite!)

Referencias están en su página [aquí][19] y [este][20] documento parece ser un artículo introductorio.

Disculpas

Sin duda, en este post he cometido varios errores, he dado un sesgo, he ofendido a los autores y me he avergonzado a mí mismo. Por favor, no me lo tengáis en cuenta, simplemente editad/comentad este post hasta que sea satisfactorio. Como se ha dicho antes, el artículo de [nlab][21] sobre geometría no conmutativa es estupendo, deberías remitirte a él en lugar de a este post.

Gracias.

[16]: https://books.google.com/books?hl=en&lr=&id=_BnSoQSKnNUC&oi=fnd&pg=PA33&dq=%252522Artin%252522+%252522Algunas+álgebras+asociadas+a+automorfismos+de+las+curvas+elípticas%252522+&ots=hRXnP7udMW&sig=t77CnWnsYPHhuonQffrSXedyj0#v=onepage&q="Artin" "Algunas álgebras asociadas a automorfismos de curvas elípticas"&f=false [17]: https://arxiv.org/abs/math/0501166 [18]: https://web.archive.org/web/20121023193142/http://www.ingentaconnect.com/content/ap/ai/1994/00000109/00000002/art01087 [19]: https://web.archive.org/web/20181103123848/http://folk.uio.no:80/arnfinnl/ [20]: https://web.archive.org/web/20080425144650/http://folk.uio.no/arnfinnl/Noncom.alg.geom.pdf [21]: https://ncatlab.org/nlab/show/noncommutative%20geometry [22]: ¿Qué es una deformación de una categoría? [23]: Teoría de la deformación y álgebras de Lie graduales diferenciales [24]: https://arxiv.org/abs/0806.0107 [25]: Factorizaciones matriciales y física [26]: https://arxiv.org/abs/0904.4713

12voto

Matt Miller Puntos 1829

Algunas reflexiones y enlaces sobre la NCG de los analistas, de alguien que no la practica. Aviso legal . ( Algunas ediciones hecho a la historia errónea).

La NCG a la Connes era originalmente no conmutativa diferencial geometría (por lo que se necesita una estructura adicional en, por ejemplo, la definición del triple espectral). Habiendo mirado recientemente el original de Connes largo documento en dos partes en las Publicaciones del IHES, creo que es un mejor punto de partida que los posteriores trabajos de Big-Picture-Which-Is-Really Fundable de varias personas a partir de entonces. Los trabajos de Connes y Moscovici y otros sobre el intento de generalizar la Teorema del índice de Atiyah-Singer también dan alguna indicación de la motivación original. (Aquí es donde alguien más experto que yo debería intervenir y decir algo sobre el trabajo de C Y M Mischenko, Kasparov y sus coautores sobre la conjetura de Novikov, o incluso el trabajo de Higson et al. sobre la Conjetura de Baum-Connes .)

Fue después cuando Connes empezó a defender una perspectiva NCG sobre el Modelo Estándar. (Aunque, si se desea una conexión real con la física matemática, hubo algunos trabajos de Jean Belissard sobre la identificación de vacíos en los espectros de ciertos operadores en un modelo mecánico-cuántico con invariantes K-teóricos de las álgebras C* asociadas. Véase este artículo de Kaminker y Putnam y las referencias que contiene para más detalles).

Personalmente, desconfío un poco de la motivación del Big Picture para la geometría no conmutativa, al menos de esta variedad. La variante más útil de dicha motivación que se me ocurre es que las acciones de grupo degeneradas sobre espacios topológicos dan lugar a groupoides de homotopía mejor comportados; gracias a un teorema de Rieffel (IIRC), cuando la acción de grupo sobre el espacio es agradable, el conmutativo C*-algebra del espacio cociente es equivalente a Morita -- es decir, tiene "la misma teoría de módulos" -- que la no conmutativo Álgebra C* del grupo de homotopía.

Pido disculpas por lo farragoso de esta respuesta, pero con todo el respeto a Anweshi creo que su pregunta, o al menos la versión de la misma que puedo ver actualmente, es tan amplia (según los comentarios originales de Anton) que las únicas respuestas son o bien enciclopédicas -ni siquiera he tenido espacio para mencionar el papel histórico desempeñado por la teoría Brown-Douglas-Fillmore, por ejemplo- o bien argumentos de venta. No obstante, si alguien puede convencer a Nigel Higson para que se pase por aquí, estoy seguro de que podría dar una respuesta mucho mejor ;)

10voto

Andrew M Puntos 390

Hay una hermosa serie de conferencias en tres partes de Jonathan Block que introduce las escuelas de Connes y Kontsevich de la geometría no conmutativa:

http://www.math.upenn.edu/~tpantev/rtg09bc/lecnotes/block-ncg.pdf

Uno de los principales ejemplos motivadores a lo largo de las conferencias es la prueba de Lusztig de la conjetura de Novikov.

9voto

Arda Xi Puntos 1099

El Página de nLab sobre geometría no conmutativa proporciona mucha información. (De hecho, es una buena idea buscar en nLab antes de publicar cualquier pregunta general: Yo publiqué algunas cuando no sabía de la existencia de nLab y a menudo me enviaron a nLab de todos modos, normalmente de forma educada).

Además, deberías echar un vistazo a la pregunta de Kevin Lin Geometría algebraica no conmutativa .

9voto

Arda Xi Puntos 1099

La parte física de la imagen proviene de un artículo clásico

No puedo asegurarlo, pero creo que todavía no está completamente trasplantado a las matemáticas ni por Connes ni por Kontsevich.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X