Resumen de Lattices over polynomial rings and applications to function fields
Jens-Dietrich Hans Paul Bauch
Esta tesis trata acerca de retículos sobre anillos de polinomios y sus aplicaciones a cuerpos de funciones algebraicas. En la primera parte consideramos la noción de retículos (L,| |) sobre anillos de polinomios, donde L es un módulo finitamente generado sobre k[t], el anillo de polinomios sobre el cuerpo k con la indeterminada t, y | | es una función real de longitud sobre el producto tensorial de L y k(t) sobre k[t]. Una base reducida de (L,| |) es una base de L, cuyos vectores alcanzan los mínimos sucesivos de (L,| |). Desarrollamos un algoritmo que transforma cualquier base de L en una base reducida de (L,| |) para una función real de longitud | | dada. Además generalizamos la teoría de Riemann-Roch para cuerpos de funciones algebraicas al contexto de retículos sobre k[t]. En la segunda parte aplicamos los resultados previos a cuerpos de funciones algebraicas. Para un divisor D de un cuerpo de funciones algebraicas F/k desarrollamos un algoritmo para la computación de su espacio de Riemann-Roch y los mínimos sucesivos asociados al retículo (I,| |), donde I es un ideal fraccional (obtenido por la representación ideal de D) del orden maximal finito O de F y | | es una función de longitud sobre F. Sea K el cuerpo de constantes de F/k. Entonces podemos expresar el género de F en términos de [K : k] e índices de unos órdenes del orden maximal finito e infinito de F. Cuando k es un cuerpo finito, el algoritmo de Montes calcula esos índices como un subproducto. Esto proporciona un método rápido para el cálculo del género de un cuerpo de funciones algebraicas. Nuestro algoritmo no requiere el cálculo de ninguna base, ni del orden maximal finito, ni del infinito. Sea A la localización de k[1/t] en el ideal primo generado por 1/t. El concepto de reducción y la representación OM de ideales primos nos lleva, en este contexto, a un método nuevo para el cálculo de una k[t]-base de un ideal fraccional de O y una A-base de un ideal fraccional del orden maximal infinito de F respectivamente. En la última parte aplicamos nuestros algoritmos a una gran variedad de ejemplos relevantes para ilustrar su eficiencia en comparación con las rutinas clásicas.
