50 votos

¿Qué algoritmo en geometría algebraica debería trabajar en la implementación?

Este verano, mi esposa y uno de mis amigos (que son los programadores y de la licenciatura de matemáticas de grandes ligas, pero no han aprendido ninguna geometría algebraica) que quieran aprender algo de la geometría algebraica de mí, y quiero aprender a programar a partir de ellos, así que nos quedamos pensando en trabajar en algunos computacional de geometría algebraica juntos. Mientras que hay varios libros en los que podemos trabajar a través de, pensé que podría ser más divertido y productivo si teníamos el objetivo de desarrollar un utilizable nuevo algoritmo, o al menos la aplicación de un algoritmo que nadie se ha implementado antes. No tengo ideas, pero pensé que algunos mathoverflowers podría haber tenido una idea para un algoritmo que les gustaría ver implementado, pero nunca han tenido el tiempo para trabajar a través de los detalles. Tenga en cuenta que mi esposa y mi amigo tendrá que aprender matemáticas más allá de un primer curso de topología y álgebra abstracta como vamos.

Así que, ¿alguien tiene alguna idea para un algoritmo que les gustaría usar que está dentro del alcance de mi "equipo" para implementar, dentro de un verano? Estamos pensando en trabajar en esta materia entre 2 y 3 horas al día durante 3 meses.

23voto

Nathan Bedford Puntos 3157

Solo un pensamiento, pero tal vez deberías echarle un vistazo a la salvia . Es un gran proyecto de código abierto que actualmente se encuentra en desarrollo muy activo. Si está interesado en contribuir, le sugiero que publique en el grupo de Google Sage-devel con esta misma pregunta. Algunas ideas para hacer cosas serían mejorar el soporte para extensiones relativas de campos de números y para campos de funciones.

16voto

jklp Puntos 839

Mi propuesta: una útil herramienta para trabajar con la línea de paquetes en tóricas de variedades y sus cohomology. Hay algunas herramientas (Polymake, Latte) para trabajar con los poliedros, pero no he visto una biblioteca dedicada específicamente a tóricas de variedades.

Por ejemplo, usted podría proporcionar una herramienta GUI para trabajar con tóricas de las superficies, donde usted puede por ejemplo, el golpe de un punto por un solo clic (que yo recuerde, esto corresponde a la adición de un borde), calcular las intersecciones de los divisores y cohomology de la línea de paquetes.

También: tóricas de deformaciones y degeneraciones, la acción de la Frobenius de morfismos (hay dos descripciones de Frobenius de empuje hacia delante de la línea de paquetes, debido a Thomsen y Bondal), la búsqueda de colecciones excepcionales etc.

Creo que esto podría ser realmente interesante y útil.

15voto

x-way Puntos 196

Faugère del F5 algoritmo para calcular bases de Groebner. Un gran número de algoritmos en la geometría algebraica se basan en bases de Groebner, y F5 tiene la reputación de ser "el mejor". Pero no es sólo una aplicación, y no es tan ampliamente disponible. La comunidad realmente podría beneficiarse de un segundo, bien explicado aplicación.

Esto es más de un papel `fundamental" la respuesta que usted podría haber deseado, estoy seguro. Pero parece que la mayoría de la geometría algebraica algoritmos finalmente se basan en bases de Groebner, así que ¿por qué no empezar por ahí?

4voto

Steve, ¿sabes sobre Macaulay 2? Es un sistema de álgebra computacional diseñado para álgebra conmutativa y geometría algebraica.

Además, tiene un lenguaje bastante fácil de usar y una forma fácil de crear paquetes.

Probablemente, si se uniera al Grupo de Google "Macaulay 2" y hiciera esta misma pregunta, obtendría algunas ofertas.

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