Articulo de referencia

Forma modular de Hilbert

En matemáticas , una forma modular de Hilbert es una generalización de las formas modulares a funciones de dos o más variables. Es una función analítica (compleja) definida sobr...

En matemáticas , una forma modular de Hilbert es una generalización de las formas modulares a funciones de dos o más variables. Es una función analítica (compleja) definida sobre el producto m -ésimo de semiplanos superiores.H{\displaystyle {\mathcal {H}}}que satisface cierto tipo de ecuación funcional .

Definición

Sea F un cuerpo de números totalmente reales de grado m sobre el cuerpo racional.σ1,,σmetro{\displaystyle \sigma _{1},\ldots ,\sigma _{m}}sean las incrustaciones reales de F. A través de ellas tenemos un mapa.

GRAMOL2(F)GRAMOL2(R)metro{\displaystyle GL_{2}(F)\to GL_{2}(\mathbb {R} )^{m}}

envíoγ{\displaystyle \gamma }a(σ1(γ),,σmetro(γ).{\displaystyle (\sigma _{1}(\gamma ),\ldots ,\sigma _{m}(\gamma ).}DejarOF{\displaystyle {\mathcal {O}}_{F}}Sea el anillo de enteros de F. El grupoGRAMOL2+(OF){\displaystyle GL_{2}^{+}({\mathcal {O}}_{F})}El conjunto de matrices con determinante totalmente positivo se denomina grupo modular de Hilbert completo . Existe una acción de grupo deGRAMOL2+(OF){\displaystyle GL_{2}^{+}({\mathcal {O}}_{F})}enHmetro{\displaystyle {\mathcal {H}}^{m}}definido porγ(z1,,zmetro)=(σ1(γ)z1,,σmetro(γ)zmetro){\displaystyle \gamma \cdot (z_{1},\ldots ,z_{m})=(\sigma _{1}(\gamma )z_{1},\ldots ,\sigma _{m}(\gamma )z_{m})}.

Para

gramo=(abdod)GRAMOL2(R),{\displaystyle g={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in GL_{2}(\mathbb {R} ),}

definir:

j(gramo,z)=det(gramo)1/2(doz+d){\displaystyle j(g,z)=\det(g)^{-1/2}(cz+d)}

Una forma modular de Hilbert de peso(k1,,kmetro){\displaystyle (k_{1},\ldots ,k_{m})}es una función analítica enHmetro{\displaystyle {\mathcal {H}}^{m}}de tal manera que para cadaγGRAMOL2+(OF){\displaystyle \gamma \in GL_{2}^{+}({\mathcal {O}}_{F})}

F(γz)=i=1metroj(σi(γ),zi)kiF(z).{\displaystyle f(\gamma z)=\prod _{i=1}^{m}j(\sigma _{i}(\gamma ),z_{i})^{k_{i}}f(z).}

SiF=Q{\displaystyle F=\mathbb {Q} }entonces también hay que añadir una condición de acotación adicional en las cúspides; sin embargo, para campos más grandesF{\displaystyle F}Esta condición se cumple automáticamente debido al principio de Koecher .

Historia

Estas formas modulares, para cuerpos cuadráticos reales , fueron tratadas por primera vez en la tesis de habilitación de Otto Blumenthal , publicada en la Universidad de Gotinga en 1901. En ella, Blumenthal menciona que David Hilbert las había considerado inicialmente en un trabajo de 1893-1894, que permaneció inédito. El trabajo de Blumenthal se publicó en 1903. Por esta razón, las formas modulares de Hilbert se conocen ahora a menudo como formas modulares de Hilbert-Blumenthal .

La teoría permaneció latente durante algunas décadas; Erich Hecke recurrió a ella en sus primeros trabajos, pero el verdadero interés por las formas modulares de Hilbert llegó con el desarrollo de la teoría de las variedades complejas .

Véase también

Referencias

  • Jan H. Bruinier: Formas modulares de Hilbert y sus aplicaciones.
  • Paul B. Garrett : Formas modulares de Hilbert holomorfas . Wadsworth & Brooks/Cole Advanced Books & Software, Pacific Grove, CA, 1990. ISBN 0-534-10344-8
  • Eberhard Freitag : Formas modulares de Hilbert . Springer-Verlag. ISBN 0-387-50586-5