Prym-Brill-Noether Theory for General Covers

Resumen Técnico: Teoría de Prym-Brill-Noether para Cubiertas Generales

Planteamiento del Problema
El artículo aborda la dimensión de la variedad Prym-Brill-Noether $V^r(C, f)$, definida como el conjunto de clases de divisores $[D]$ en la variedad Prym de una doble cubierta étale $f: \tilde{C} \to C$ tales que el rango de $D$ es al menos $r$. Si bien la dimensión para cubiertas generales (donde $C$ tiene género $g$) fue establecida por Bertram y Welters como $g - 1 - \binom{r+1}{2}$, el comportamiento de esta dimensión para cubiertas donde la curva base $C$ posee propiedades geométricas especiales —específicamente curvas $k$-gonales o curvas $k$-elípticas— permanece menos comprendido. Trabajos previos de Len y Ulirsch, y de Creech, Len, Ritter y Wu, proporcionaron límites para estos casos, pero dejaron abierta la cuestión de la optimalidad y la validez de conjeturas específicas sobre la dimensión.

Metodología
El autor emplea la geometría tropical como la herramienta principal para analizar estas variedades. El enfoque consiste en:

1. Tropicalización: Construcción de un análogo tropical de la variedad Prym-Brill-Noether, $V^r(\Gamma, \pi)$, para un grafo métrico $\Gamma$ y una doble cubierta libre $\pi: \tilde{\Gamma} \to \Gamma$.
2. Modelos Tropicales Específicos: En lugar de la "cadena de bucles" utilizada en la literatura previa, el artículo utiliza un grafo métrico de "bucle de bucles". Este grafo consiste en $2g-2$ vértices dispuestos en un ciclo específico de bucles.
3. Codificación Combinatoria: El artículo establece una biyección entre las clases de divisores en la variedad Prym tropical y las "palabras persistentes" (lingering words) en grupos de Coxeter (específicamente tipo $A_r$ y tipo $I_2(r+1)$). Una palabra persistente permite elementos identidad, reflejando la flexibilidad de las posiciones de los divisores en el grafo.
4. Teoremas de Elevación (Lifting): Al demostrar que la variedad tropical es una intersección completa local y utilizar el teorema de elevación de Rabinoff, el autor demuestra que las clases de divisores en el entorno tropical se elevan a la configuración algebraica sobre cuerpos no arquimedianos. Esto permite la transferencia de los límites de dimensión del grafo tropical a la curva algebraica.

Contribuciones Clave y Resultados

• Descripción Tropical de $V^r(\Gamma, \pi)$:
  Para un bucle de bucles $r$-genérico (donde las longitudes de las aristas satisfacen condiciones de genericidad específicas), el artículo describe completamente la variedad Prym-Brill-Noether tropical. Se muestra que es una unión de toros indexados por palabras persistentes en el grupo de Coxeter $A_r$ que contienen una subpalabra reducida para el elemento más largo $w_0$.

  • Se demuestra que la variedad es de dimensión pura y conexa en codimensión 1.
  • Cuando la dimensión es cero (es decir, $g-1 = \binom{r+1}{2}$), la cardinalidad de la variedad coincide con el número de palabras reducidas para $w_0$, lo cual corresponde al número de tablas de Young estándar sobre una partición de escalera.

• Límites para Cubiertas $k$-elípticas (Teorema 1.1):
  El artículo establece un límite superior para la dimensión de $V^r(C, f)$ cuando $C$ es una curva $k$-elíptica (que admite un mapa de grado-$k$ a una curva de género 1).
  $$\dim V^r(C, f) \leq \begin{cases} g - 1 - \frac{k(r+1)}{2} & \text{si } k < r \\ g - 1 - \frac{r(r+1)}{2} & \text{si } k \geq r \end{cases}$$
  La igualdad se cumple cuando $k \geq r$. Este resultado se deriva del análisis de bucles de bucles $k$-uniformes y de la demostración de un resultado de elevación para estas configuraciones tropicales específicas.

• Límites para Cubiertas $k$-gonales (Teorema 1.3):
  Para curvas $k$-gonales generales (que admiten un mapa de grado-$k$ a $\mathbb{P}^1$), el artículo proporciona un límite superior mejorado para la dimensión, refinando los resultados previos de Len, Ulirsch y otros. El nuevo límite es:
  $$\dim V^r(C, f) \leq \begin{cases} g - 1 - n(r, k) & \text{si } \ell(\ell+1) \leq r+1 \\ g - 1 - \frac{(k-1)(r+1)}{2} & \text{si } k+1 \leq r+1 < \ell(\ell+1) \\ g - 1 - \binom{r+1}{2} & \text{si } k \geq r+1 \end{cases}$$
  donde $\ell = \lceil k/2 \rceil$ y $n(r, k)$ es una función previamente definida.

• Refutación de la Conjetura 3.9:
  El artículo refuta explícitamente la Conjetura 3.9 de Creech, Len, Ritter y Wu [CLRW22], la cual proponía una fórmula de dimensión diferente para las cubiertas $k$-gonales. El contraejemplo surge del análisis del "bucle de bucles" y de la combinatoria específica de los grupos de Coxeter asociados.

• Nueva Conjetura (Conjetura 1.4):
  Motivado por los loci de tipos de división de haces ortogonales sobre $\mathbb{P}^1$ (siguiendo el trabajo de H. Larson), el autor propone una nueva conjetura para la dimensión de $V^r(C, f)$ en el caso $k$-gonal. Esta conjetura sugiere que la dimensión es exactamente $g - 1 - (k-1)(r+1) + \binom{k}{2}$, cuando $k < r+1$, y $g - 1 - \binom{r+1}{2}$ en caso contrario.

• Caso Bielíptico ($k=2$):
  En el caso especial de las curvas bielípticas ($k=2$), el artículo muestra que la variedad tropical está indexada por palabras persistentes en el grupo diedral $I_2(r+1)$. Esta estructura preserva muchas propiedades topológicas del caso genérico, incluyendo la pureza de la dimensión y la conectividad en codimensión 1.

Significancia y Reivindicaciones
El artículo afirma proporcionar una nueva prueba del teorema de Bertram-Welters para cubiertas generales y ofrece una mejora significativa en los límites existentes para cubiertas de curvas $k$-gonales y $k$-elípticas. Al utilizar el modelo tropical de "bucle de bucles", el autor demuestra que la combinatoria de los grupos de Coxeter (específicamente la estructura de las palabras persistentes y el orden de Bruhat) puede codificar efectivamente la geometría de las variedades Prym-Brill-Noether.

El teorema de elevación (Teorema 1.2) es central en este trabajo, estableciendo que para bucles de bucles $r$-genéricos, cada clase de divisor tropical de rango $r$ se eleva a una clase de divisor algebraica. Esto permite al autor deducir propiedades de la variedad algebraica (como la reductibilidad y la dimensión) directamente de la combinatoria tropical. El artículo concluye que, si bien los límites superiores derivados no siempre son óptimos, representan un refinamiento sustancial respecto a la literatura previa y proporcionan un marco para una conjetura más precisa sobre la dimensión de estas variedades.