19 votos

Hay Geometría Algebraica Teoremas que se probó que el uso de la Combinatoria?

Estoy colaborando con algunos algebraica de los geómetras en un papel, y al escribir la introducción mencioné la interacción de la Combinatoria y Geometría Algebraica, y dio algunos ejemplos como la Combinatoria Nullstellensatz, la respuesta afirmativa a la conjetura de Leer y Rota-Garza-de Gales y la gráfica de la teoría de la analogía de la de Riemann-Roch teorema, pero luego, parece que todas estas interacciones son de una manera. Me gustaría saber de un importante Geometría Algebraica Teorema demostrado el uso de la Combinatoria, o al menos utiliza la combinatoria en una parte esencial.

15voto

sickgemini Puntos 2001

Haiman el estudio de la isospectral esquema de Hilbert (la reducción del producto de fibra de $\mathbb{C}^{2n}$ e $\mathrm{Hilb}_n(\mathbb{C}^2)$ sobre $\mathrm{Sym}^n \mathbb{C}^2$) cuenta con una larga combinatoria argumento acerca de la combinatoria de hyperplane arreglos y sus coordinar los anillos (la Sección 4, en los polígrafos).

8voto

MattSlay Puntos 1392

Muchas cosas en la geometría algebraica puede ser demostrado mediante una degeneración a objetos combinatorios como hyperplane arreglos, monomio ideales o tóricas de variedades.

Por ejemplo, de Fernex-Ein-Mustata demostrado una desigualdad que afectan a ciertos invariantes de una singularidad (por ejemplo, la de Samuel multiplicidad de registro y canónica umbral) por la degeneración de un monomio ideal. Para monomio ideales de la desigualdad es una simple consecuencia de la media aritmética geométrica significa desigualdad!

Otro ejemplo: Un genérico suave hipersuperficie no tiene automorfismos, como puede ser demostrado por degenerando a una unión de hyperplanes (que es rígido para un alto grado!).

7voto

Veehmot Puntos 130

La equivalencia de las varias definiciones de algunos de Donaldson-Thomas invariantes se estableció por primera vez combinatoria a través de la igualdad de determinadas clases de plano particiones. Técnicas similares se han utilizado para acreditar además los resultados en esta dirección. Véase, por ejemplo, este papel por Benjamin Jóvenes, y la discusión de los mismos en el Capítulo 7 de este libro.

7voto

Peter Eisentraut Puntos 3962

¿La teoría de códigos (por ejemplo, "Hamming" códigos) contar? Si es así, entonces Beauville utiliza un lema sobre ellos fundamentalmente en su papel de establecer el número máximo de ordinario el doble de puntos posibles en un quintic de la superficie en P^3 con sólo tales singularidades.

http://math.unice.fr/~beauvill/pubs/mu%285%29.pdf

6voto

Paul Puntos 555

No voy a luchar duro acerca de "importante", pero aquí es un teorema que fue sin duda la combinatoria antes de que se geométricas.

Considerar la base de la $K(G/P)$ consta de $K$-clases de estructura de gavillas de Schubert variedades, $\{[\mathcal O_{X_\lambda}]\}$. Brion demostrado que los coeficientes $c_{\lambda\mu}^\nu$ en la estructura del producto son adecuadamente positivo, o más precisamente, no negativo veces $(-1)^{|\lambda|+|\mu|-|\nu|}$. La prueba es por una fuga teorema de la gavilla cohomology y no calcular los coeficientes.

Sin embargo, poco antes de que, Buch dio una fórmula real para estos coeficientes (aunque sólo en el caso de $G/P$ es un Grassmannian), con el menor corolario es que no había esta predicción signo. La prueba está casi completamente a la combinatoria y no explica "por qué", el signo debe ser predecible (para mí) como la satisfacción de una manera como Brion no. Pero es mucho más preciso, y lo que era antes.

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