Puntos racionales en variedades sobre cuerpos finitos. Estimaciones, algoritmos y aplicaciones

Institución otorgante:

Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales

Fecha:

2006

Tipo de documento: 

info:eu-repo/semantics/doctoralThesis
 

Formato:

application/pdf

Idioma:

spa

Temas:

VARIEDADES SOBRE CUERPOS FINITOS - PUNTOS RACIONALES - SOLUCION GEOMETRICA - STRAIGHT-LINE PROGRAMS - ALGORITMOS PROBABILISTICOS - TEOREMAS DE BERTINI - TEORIA DE ELIMINACION EFECTIVO - VARIETIES OVER FINITE FIELDS - RATIONAL POINTS - GEOMETRIC SOLUTIONS - STRAIGHT-LINE PROGRAMS - PROBABILISTIC ALGORITHMS - BERTINI THEOREMS

Descripción:

Dada una variedad algebraica V definida sobre un cuerpo nito Fq consideramos el conjunto de puntos q-racionales V(Fq) de V. Tratamos dos problemas que surgen a partir de tal consideración: estimar el cardinal de V(Fq) y encontrar un elemento de V(Fq). El abordaje de estos problemas se sostiene en la utilización de métodos de teoría de eliminación efectiva y versiones efectivas de los Teoremas de Bertini. Estimamos la cantidad V(Fq) de puntos q-racionales en el caso en que V es una variedad absolutamente irreducible. Las estimaciones se expresan en términos de parámetros intrínsecos asociados a la variedad V, principalmente el grado. Damos un algoritmo para encontrar un punto de V(Fq) cuando V es absolutamente irreducible y está definida por una sucesión regular reducida. Su complejidad en tiempo es grossomodo cuadrática en el logaritmo de q y un invariante geométrico del sistema de entrada. Este invariante, denominado el grado del sistema, está acotado por el número de Bézout del sistema. El algoritmo funciona para cuerpos de cualquier característica, pero requiere que q sea mayor que el grado de la variedad a la cuarta.

Identificador:

https://hdl.handle.net/20.500.12110/tesis_n3982_Cafure