Characterization of number fields by their integral trace form
Archivos
Autores
Rivera Guaca, Carlos Andrés
Director
Mantilla Soler, Guillermo
Rodriguez Vega, John Jaime
Tipo de contenido
Trabajo de grado - Maestría
Idioma del documento
EspañolFecha de publicación
2018-11
Título de la revista
ISSN de la revista
Título del volumen
Documentos PDF
Resumen
Probamos que la forma traza entera es un invariante completo para cuerpos de números totalmente reales de discriminante fundamental, también estudiamos la relación de este invariante con la forma traza-cero y la forma geométrica de un cuerpo de números, y damos resultados análogos para estos invariantes. Como consecuencia, probamos una conjetura del 2012 propuesta por Mantilla-soler sobre cuerpos cuarticos moderadamente ramificados de discriminante fundamental. Nuestro método de prueba se basa en lo que llamamos elementos de Casimir y emparejamientos de Casimir, herramientas nuevas introducidas en este trabajo, las cuales están relacionadas con (y generalizan) los elementos de Casimir de la teoría de representación de álgebras de Lie. Adicionalmente, damos una prueba alternativa de esta conjetura via la parametrización de anillos cuárticos de Bhargava (Texto tomado de la fuente).
Abstract
We prove that the integral trace form (the quadratic form obtained by restricting x 7→
TrK/Q(x
2
) to the ring of integer of a number field K) is a complete invariant for totally
real number fields of fundamental discriminant, we also study the relations of this invariant
with the trace-zero form and the shape of K (a geometric invariant introduced in [Ter97]
and studied in more generality in [BH16]), and give analog results for those invariants. As a
consequence, we settle a conjecture from 2012 made in [MS12] about tamely ramified quartic
fields of fundamental discriminant. Our method of proof is based on what we call Casimir
elements and Casimir pairings, new tools we introduce in this work, which are related to
(and generalize) the Casimir elements from the representation theory of Lie algebras. Additionally, we give an alternative proof of this conjecture via Bhargava’s parametrization of quartic rings.