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

Mostrar todas las versiones(3)

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...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Cafure, Antonio Artemio
Formato:	Tesis Doctoral
Lenguaje:	Español
Publicado:	2006
Materias:	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 PROBABILISTIC ALGORITHMS BERTINI THEOREMS
Acceso en línea:	https://hdl.handle.net/20.500.12110/tesis_n3982_Cafure
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	todo:tesis_n3982_Cafure
record_format	dspace
spelling	todo:tesis_n3982_Cafure2023-10-03T12:45:29Z Puntos racionales en variedades sobre cuerpos finitos. Estimaciones, algoritmos y aplicaciones Rational points in varieties over finite fields. Estimates, algorithms and applications Cafure, Antonio Artemio 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 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. For a given variety V dened over a nite eld we consider the set of q-rational points V(Fq) of V. We consider two different problems arising form this consideration: estimating the cardinality of V(Fq) and nding an element of V(Fq). Our approach rely on methods of effective elimination theory and effective versions of the Bertini theorems. We estimate the number of q-rational points V(Fq) when V is absolutely irreducible. Our estimates are expressed in terms of intrinsic parameters of V, mainly the degree of V. We also exhibit a probabilistic algorithm which computes a rational point of an absolutely irreducible variety over a finite field defined by a reduced regular sequence. Its time-space complexity is roughly quadratic in the logarithm of the cardinality of the eld and a geometric invariant of the input system. This invariant, called the degree, is bounded by the Bézout number of the system. Our algorithm works for elds of any characteristic, but requires the cardinality of the eld to be greater than a quantity which is roughly the fourth power of the degree of the input variety. Fil: Cafure, Antonio Artemio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2006 Tesis Doctoral PDF Español info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/tesis_n3982_Cafure
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language	Español
orig_language_str_mv	Español
topic	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
spellingShingle	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 Cafure, Antonio Artemio Puntos racionales en variedades sobre cuerpos finitos. Estimaciones, algoritmos y aplicaciones
topic_facet	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
description	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.
format	Tesis Doctoral
author	Cafure, Antonio Artemio
author_facet	Cafure, Antonio Artemio
author_sort	Cafure, Antonio Artemio
title	Puntos racionales en variedades sobre cuerpos finitos. Estimaciones, algoritmos y aplicaciones
title_short	Puntos racionales en variedades sobre cuerpos finitos. Estimaciones, algoritmos y aplicaciones
title_full	Puntos racionales en variedades sobre cuerpos finitos. Estimaciones, algoritmos y aplicaciones
title_fullStr	Puntos racionales en variedades sobre cuerpos finitos. Estimaciones, algoritmos y aplicaciones
title_full_unstemmed	Puntos racionales en variedades sobre cuerpos finitos. Estimaciones, algoritmos y aplicaciones
title_sort	puntos racionales en variedades sobre cuerpos finitos. estimaciones, algoritmos y aplicaciones
publishDate	2006
url	https://hdl.handle.net/20.500.12110/tesis_n3982_Cafure
work_keys_str_mv	AT cafureantonioartemio puntosracionalesenvariedadessobrecuerposfinitosestimacionesalgoritmosyaplicaciones AT cafureantonioartemio rationalpointsinvarietiesoverfinitefieldsestimatesalgorithmsandapplications
_version_	1782028690472828928

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

Ejemplares similares