Brauer-Siegel theorem for families of number fields over almost Sn fields

Resumen Técnico: Teorema de Brauer-Siegel para Familias de Campos Numéricos sobre Campos Casi $S_n$

Planteamiento del Problema
La conjetura clásica de Brauer-Siegel (BS) describe el comportamiento asintótico del producto del número de clase ($h_K$) y el regulador ($R_K$) para familias de campos numéricos $\{K_i\}$. Específicamente, postula que si el discriminante raíz $d_K^{1/n_K} \to \infty$, entonces $\lim_{i \to \infty} \frac{\log(h_{K_i}R_{K_i})}{\log \sqrt{d_{K_i}}} = 1$.

Las demostraciones existentes de esta conjetura para diversas familias (campos cuadráticos, campos de Galois, campos casi normales y campos con cierres de Galois solubles) se basan en un mecanismo de reducción crítico. Este mecanismo, establecido por Stark y otros, reduce el problema al teorema de Siegel para campos cuadráticos al demostrar que si la función zeta de Dedekind $\zeta_K(s)$ tiene un cero real excepcional cerca de $s=1$, dicho cero debe descender a un subcampo cuadrático. Sin embargo, para extensiones generales $K/\mathbb{Q}$, las cotas no condicionales conocidas para la región de ausencia de ceros son demasiado débiles para garantizar esta reducción.

El problema central abordado en este artículo es el Problema 1.2: Si la propiedad de Brauer-Siegel se cumple para una familia de campos base $\{L_i\}$, ¿se cumple necesariamente para una familia de extensiones cuadráticas $\{N_i\}$ donde $[N_i : L_i] = 2$? Si bien esto es trivial si el campo base es fijo (teorema de Siegel), la dificultad surge cuando el campo base varía.

Metodología
El autor emplea una combinación de teoría analítica de números y descenso de la teoría de grupos, específicamente adaptada a campos con simetrías de grupo simétrico ($S_n$).

1. Descenso de la Teoría de Grupos: El artículo introduce el concepto de campos casi $S_n$. Un campo $L$ es un campo casi $S_n$ si se sitúa entre un campo $S_n$ $K$ y su cierre galoisiano $\tilde{K}$ tal que $\text{Gal}(\tilde{K}/L) \cong S_m$ para algún $m \le n-1$.
2. Teoría de Caracteres y Funciones L de Artin: La demostración utiliza la teoría de la representación de los grupos simétricos. Al analizar la descomposición de los caracteres inducidos (específicamente particiones en gancho y sus productos tensoriales con el carácter signo de $\mathbb{Z}/2\mathbb{Z}$), el autor construye relaciones entre las funciones zeta del campo base, la extensión cuadrática y los campos intermedios.
3. Argumentos de Multiplicidad de Ceros: Una técnica central es el Lema 2.5, que establece que si dos campos cuadráticos conjugados $N_1, N_2$ sobre una base $K$ tienen un cero en una región específica, su compositum (una extensión bicuadrática) posee un cero de multiplicidad al menos 2. Dado que el teorema de Stark limita el número de ceros reales en la franja crítica a como máximo uno (y este debe ser simple), la existencia de tal cero conduce a una contradicción a menos que se cumplan condiciones estructurales específicas.
4. Reducción Iterativa: La demostración del teorema principal (Teorema 3.3) implica un proceso de descenso iterativo. Partiendo de una extensión cuadrática $N/L$ donde $L$ es un campo casi $S_n$, el autor construye una torre de campos intermedios fijando subgrupos de la forma $S_{m-j} \times S_j$. Este proceso continúa hasta que el grupo de Galois se reduce a una forma donde el argumento de los campos cuadráticos conjugados puede aplicarse para forzar una contradicción respecto a la existencia de un cero excepcional.

Contribuciones Clave y Resultados

1. Teorema 1.4 (Descenso para campos casi $S_n$):
   El artículo establece que si la conjetura de Brauer-Siegel se cumple para una familia de campos casi $S_n$ $\{L_i\}$, se cumple necesariamente para cualquier familia de extensiones cuadráticas $\{N_i\}$ sobre $\{L_i\}$, siempre que $N_i \cap \tilde{L}_i = L_i$ y los discriminantes crezcan con la suficiente rapidez ($\log d_{N_i} / \log d_{L_i} \to \infty$).

   • Significado: Esto proporciona una nueva forma de descenso para la conjetura de Brauer-Siegel, extendiendo el teorema de Siegel a un entorno donde el campo base no es fijo sino que varía dentro de una clase de grupo específica.

2. Teorema 1.6 (Brauer-Siegel Generalizado para Torres Asintóticamente Buenas):
   El autor extiende el resultado a la conjetura de Brauer-Siegel Generalizado (GBS) formulada por Tsfasman y Vlădut para familias asintóticamente exactas. Se muestra que si $\{L_i\}$ es una familia asintóticamente buena de campos casi $S_n$ que satisface GBS, entonces GBS se cumple para una torre asintóticamente buena $\{M_i\}$ sobre $\{L_i\}$, siempre que $M_i/L_i$ sea casi normal o tenga un cierre de Galois soluble.

   • Distinción: A diferencia del Teorema 1.4, este resultado no requiere la condición $\log d_{N_i} / \log d_{L_i} \to \infty$, ofreciendo una mayor generalidad para torres de campos numéricos.

3. Proposición 5.1 (Resultado Condicional para campos $S_n$):
   Bajo la suposición de la Conjetura de Holomorfía de Artin para representaciones específicas ($L(s, \rho_{n-2})$ y $L(s, \rho_{n-3})$), el artículo demuestra que la conjetura de Brauer-Siegel se cumple para familias de campos $S_n$. Esto se logra mostrando que la existencia de un cero excepcional implicaría un doble cero para una función zeta relacionada, contradiciendo el teorema de Stark.

Significado y Reivindicaciones
El artículo afirma establecer un "nuevo tipo de descenso" para la conjetura de Brauer-Siegel. El significado primordial radica en cerrar la brecha entre el teorema clásico de Siegel de base fija y el comportamiento de los campos numéricos sobre bases variables.

• Análogo del Teorema de Siegel: El resultado se presenta como un análogo del teorema de Siegel donde el campo base tiene permitido variar, específicamente dentro de la clase de los campos casi $S_n$.
• Resolución del Problema 1.2: El artículo responde al Problema 1.2 en afirmativo para el caso específico donde los campos base son campos casi $S_n$.
• Limitaciones: El autor señala explícitamente que el resultado para extensiones cuadráticas (Teorema 1.4) depende de la condición de que el discriminante de la extensión crezca significativamente más rápido que el del campo base. Esta condición impide una generalización directa a todos los campos casi normales sobre campos casi $S_n$ sin supuestos adicionales. Además, el resultado para campos $S_n$ puros (Proposición 5.1) sigue siendo condicional a la Conjetura de Holomorfía de Artin.

En resumen, el artículo proporciona un marco de grupo riguroso para reducir el problema de Brauer-Siegel de familias complejas de campos numéricos al caso cuadrático bien comprendido, extendiendo así la validez conocida de la conjetora a familias de campos casi $S_n$ y sus extensiones cuadráticas.