Köhler's Conjecture on Hecke Theta Series of Weight One

Resumen Técnico: La Conjetura de Köhler sobre las Series Theta de Hecke de Peso Uno

Planteamiento del Problema
El artículo aborda una cuestión fundamental relativa a la unicidad del campo cuadrático asociado a una serie theta de Hecke de peso uno. Por definición, tal serie se construye a partir de un carácter de Hecke de un campo cuadrático $K$ específico. El problema central es determinar bajo qué condiciones el campo cuadrático $K$ queda determinado de forma única por la propia serie theta. Esta investigación se enmarca en una conjetura de Günter Köhler ([Köh11, Conjetura 5.5], [Köh18]), la cual postula condiciones específicas bajo las cuales una serie theta puede ser representada equivalentemente por caracteres de distintos campos cuadráticos.

Metodología
Los autores, Mahima Kumar y Gabor Wiese, adoptan un enfoque de la teoría de la representación para resolver la conjetura de Köhler. Su metodología procede en tres etapas distintas:

1. Reducción Teórica de Grupos: Los autores primero abstraen el problema al nivel de las representaciones de Galois de dimensión 2. Analizan representaciones $\rho$ inducidas a partir de un carácter $\chi$ de un subgrupo de índice 2 de un grupo finito $G$. Específicamente, investigan las condiciones bajo las cuales tal representación también puede ser inducida desde un distinto subgrupo de índice 2 $H' \subset G$.
2. Realización Matricial Explícita: A diferencia de tratamientos anteriores que dependen de pruebas de existencia abstractas, los autores proporcionan realizaciones matriciales explícitas de estas representaciones inducidas. Clasifican las posibles imágenes de estas representaciones, identificándolas como 2-grupos específicos (incluyendo grupos diedrales $D_4$, grupos cuaterniónicos $Q_8$ y grupos modulares maximales cíclicos). Esto permite una determinación concreta de cuándo una representación admite múltiples subgrupos inductores.
3. Traducción a la Teoría de Números: Utilizando la Ley de Reciprocidad de Artin y la teoría de las series theta, los autores traducen los resultados de la teoría de grupos de vuelta al lenguaje de los caracteres de Dirichlet y las series theta de Hecke. Establecen una correspondencia entre la ambigüedad del subgrupo inductor en la representación de Galois y la ambigüedad del campo cuadrático subyacente en la definición de la serie theta.

Contribuciones Clave y Resultados

• Demostración de una Conjetura Modificada: El artículo demuestra una versión ligeramente modificada de la conjetura de Köhler (Teorema 4.1). El resultado principal establece la equivalencia de las siguientes afirmaciones para una serie theta de Hecke $\Theta_1(K, \xi, z)$:

  • (A) Existe un segundo campo cuadrático $K' \neq K$ y un carácter $\xi'$ tales que $\Theta_1(K, \xi, z) = \Theta_1(K', \xi', z)$.
  • (B) El carácter $\xi$ satisface condiciones algebraicas específicas: no es inducido de un carácter de $\mathbb{Q}$ vía la norma, y para cualquier ideal primo $\mathfrak{p}$ coprimo al módulo, $\xi(\mathfrak{p}) = \pm \xi(\sigma(\mathfrak{p}))$, donde $\sigma$ es el automorfismo no trivial de $K$.
  • (C) Existen dos campos cuadráticos distintos $K', K''$ (diferentes de $K$) que producen la misma serie theta.

• Caracterización de la Ambigüedad: Los autores demuestran que si una serie theta surge de un carácter primitivo que satisface la condición (B), está asociada a exactamente tres campos cuadráticos distintos. Esto corresponde al hallazgo de la teoría de grupos de que la imagen de la representación de Galois asociada es un grupo con tres subgrupos de índice 2 distintos (por ejemplo, $D_4$, $Q_8$ o grupos modulares específicos).

• Refinamiento de la Clasificación de Rohrlich: En la Proposición 2.2, los autores proporcionan una clasificación explícita de las imágenes de las representaciones de dimensión 2 inducidas por caracteres de dos subgrupos de índice 2 diferentes. Refinan la lista de "2-grupos casi abelianos" encontrados en [Roh19a], ofreciendo generadores matriciales concretos y presentaciones para los grupos involucrados (distinguiendo casos basados en el orden de los generadores y la estructura del núcleo).

• Contraejemplos para Caracteres No Primitivos: El artículo aclara que la equivalencia de las afirmaciones de la conjetura se mantiene estrictamente para caracteres primitivos. Los autores construyen contraejemplos explícitos que muestran que, para caracteres no primitivos, la implicación de las condiciones algebraicas (B) hacia la existencia de campos alternativos (A) puede fallar. Esto se debe al comportamiento de los coeficientes de Fourier en los primos que dividen el módulo pero no el conductor.

Significado y Reivindicaciones
Los autores afirman que su trabajo proporciona una prueba completa de la conjetura de Köhler (en su forma modificada) al derivarla de un hecho de la teoría de grupos, bien conocido pero previamente no aplicado, relativo a las representaciones triplemente imprimitiivas.

• Independencia y Explicitud: El artículo enfatiza que su presentación es independiente de trabajos previos sobre representaciones "triplemente monomiales" (por ejemplo, [Roh19a], [ST18]) y se distingue por el uso de realizaciones matriciales explícitas. Esta concreción permite una verificación directa de las condiciones bajo las cuales el campo cuadrático es ambiguo.
• Clarificación de Condiciones: El trabajo clarifica la necesidad del supuesto de "primitividad" en la formulación original de Köhler. Al eliminar un elemento de la conjetura original que los autores demuestran que no siempre se cumple (respecto al orden de los caracteres), proporcionan una declaración más precisa y robusta del fenómeno de la ambigüedad.
• Conexión con las Formas Modulares: Los resultados confirman que la ambigüedad del campo cuadrático está intrínsecamente ligada a la estructura de la representación de Galois asociada. Específicamente, la serie theta no determina unívocamente el campo si y solo si la representación de Galois asociada es inducida desde caracteres de tres campos cuadráticos distintos, una condición caracterizada por las propiedades de grupo específicas de la imagen de la representación.

El artículo concluye que la ambigüedad del campo cuadrático en la definición de las series theta de Hecke es una consecuencia directa de la propiedad de la teoría de representaciones donde una representación irreducible de dimensión 2 puede ser inducida desde múltiples subgrupos de índice 2.