Forma modular

En matemáticas, unha **forma modular** é unha función analítica (complexa) no semiplano superior, \,\mathcal{H}\,, que satisfai:

* un tipo de ecuación funcional con respecto á acción de grupo do grupo modular,
* e unha condición de crecemento.

Polo tanto, a teoría das formas modulares pertence á análise complexa. A principal importancia da teoría son as súas conexións coa teoría de números. As formas modulares aparecen noutras áreas, como a topoloxía alxébrica e a teoría de cordas.

A teoría das formas modulares é un caso especial da teoría máis xeral das formas automorfas, que son funcións definidas nos grupos de Lie que se transforman ben con respecto á acción de certos subgrupos discretos, xeneralizando o exemplo do grupo modular  \mathrm{SL}_2(\mathbb Z) \subset \mathrm{SL}_2(\mathbb R).

O termo "forma modular", como descrición sistemática, adoita atribuírselle a Hecke.

Cada forma modular está unida a unha representación de Galois. 

## Definición 
En xeral, dado un subgrupo \Gamma \subset \text{SL}_2(\mathbb{Z}) de índice finito, denominado grupo aritmético, unha **forma modular de nivel \Gamma e peso k** é unha función holomorfa f:\mathcal{H} \to \mathbb{C} no semiplano superior que satisfai dúas condicións:

* Condición de automorfismo: para calquera \gamma \in \Gamma existe a igualdade  f(\gamma(z)) = (cz + d)^k f(z)
* Condición de crecemento: Para calquera \gamma \in \text{SL}_2(\mathbb{Z}) a función (cz + d)^{-k} f(\gamma(z)) está limitada cando \text{im}(z) \to \infty

onde  \gamma(z) = \dfrac{az+b}{cz+d} , e a función  \gamma  identifícase coa matriz \gamma = \begin{pmatrix}
a & b \\
c & d
\end{pmatrix} \in \text{SL}_2(\mathbb{Z}).\, A identificación de esas funcións con esas matrices fai que a composición desas funcións corresponda á multiplicación de matrices. A maiores chámase *forma cúspide (ou parabólica)* cando cumpre as seguintes condicións de crecemento:

* Condición de forma cúspide: Para calquera \gamma \in \text{SL}_2(\mathbb{Z}) a función (cz + d)^{-k}f(\gamma(z)) \to 0 cando \text{im}(z) \to \infty

### Como seccións dun fibrado de liñas 
As formas modulares tamén se poden interpretar como seccións dun fibrado de liñas específico nas variedades modulares. Para \Gamma \subset \text{SL}_2(\mathbb{Z}), forma modular de nivel \Gamma e peso k, pode definirse como un elemento de
 f \in H^0(X_\Gamma,\omega^{\otimes k}) = M_k(\Gamma)
onde \omega é un fibrado de liñas canónico na curva modular
X_\Gamma = \Gamma \backslash (\mathcal{H} \cup \mathbb{P}^1(\mathbb{Q}))
As dimensións destes espazos de formas modulares pódense calcular usando o teorema de Riemann-Roch. 
As formas modulares clásicas para \Gamma = \text{SL}_2(\mathbb{Z}) son seccións dun fibrado de liñas na morea de módulos de curvas elípticas.

## Función modular 
Unha función modular é unha función que é invariante con respecto ao grupo modular, mais sen a condición de que  sexa holomorfa no semiplano superior (entre outros requisitos). Pola contra, as funcións modulares son meromorfas (holomorfas en todo o plano agás nun conxunto de puntos illados, que son polos da función).

## Formas modulares para SL(2, Z) 
### Definición estándar 
Unha forma modular de peso  para o grupo modular

: \text{SL}(2, \mathbf Z) = \left \{ \left. \begin{pmatrix}a & b \\ c & d \end{pmatrix} \right| a, b, c, d \in \mathbf Z,\ ad-bc = 1 \right \}

é unha función  de valores complexos no semiplano superior {{Math|**H**  {*z* ∈ **C**,  Im(*z*) > 0},}} cumprindo as seguintes tres condicións:

#  é unha función holomórfa en .
# Para calquera  e calquera matriz en , temos:
#:  f\left(\frac{az+b}{cz+d}\right) = (cz+d)^k f(z)
#  debe estar limitada cando .

Observacións:

* O peso  é normalmente un número enteiro positivo.
* Para  impar, só a función cero pode satisfacer a segunda condición.
* A terceira condición tamén se formula dicindo que  é "holomórfica na cúspide". Explicitamente, a condición significa que existen algúns  M, D > 0  tal que  \operatorname{Im}(z) > M \implies |f(z)| , significando que f está limitada por riba dalgunha liña horizontal.
* A segunda condición para

:: S = \begin{pmatrix}0 & -1 \\ 1 & 0 \end{pmatrix}, \qquad T = \begin{pmatrix}1 & 1 \\ 0 & 1 \end{pmatrix}
: di que
:: f\left(-\frac{1}{z}\right) = z^k f(z), \qquad f(z + 1) = f(z)
: respectivamente. Dado que  e  xeran o grupo modular , a segunda condición anterior é equivalente a estas dúas ecuacións.

* Posto que , as formas modulares son funcións periódicas, con período , e polo tanto teñen unha serie de Fourier.

### Definición en termos de retículas ou curvas elípticas 
Unha forma modular pódese definir equivalentemente como unha función *F* do conxunto de retículas en  no conxunto de números complexos, que satisfaga certas condicións:

# Se consideramos a retícula  xerada por unha constante  e unha variábel , daquela  é unha función analítica de .
# Se  é un número complexo distinto de cero e  é a retícula obtida multiplicando cada elemento de  por , daquela  onde  é unha constante (normalmente un enteiro positivo) chamado **peso** da forma.
# O valor absoluto de  permanece limitado superiormente mentres o valor absoluto do elemento máis pequeno distinto de cero en  está limitado lonxe de 0.

A idea clave para probar a equivalencia das dúas definicións é que tal función  está determinada, debido á segunda condición, polos seus valores en retículas da forma , onde  .

### Exemplos 
**I. Serie de Eisenstein**

Os exemplos máis sinxelos desde este punto de vista son as series de Eisenstein. Para cada número enteiro par , definimos que  é a suma de  sobre todos os vectores distintos de cero  de :

: G_k(\Lambda) = \sum_{0 \neq\lambda\in\Lambda}\lambda^{-k}.

Así  é unha forma modular de peso . Para  temos

: G_k(\Lambda) = G_k(\tau) = \sum_{ (0,0) \neq (m,n)\in\mathbf{Z}^2} \frac{1}{(m + n \tau)^k},

e

: \begin{align}
 G_k\left(-\frac{1}{\tau}\right) &= \tau^k G_k(\tau), \\
          G_k(\tau + 1) &= G_k(\tau).
\end{align}

A condición  é necesaria para a converxencia; para  impar existe cancelación entre  e .

**II.** **Funcións theta de retículas unimodulares pares**

Unha retícula unimodular par  en  é unha retícula xerada por  vectores que forman as columnas dunha matriz de determinante 1 e que cumpren a condición de que o cadrado da lonxitude de cada vector en  sexa un número enteiro par. A chamada función theta

: \vartheta_L(z) = \sum_{\lambda\in L}e^{\pi i \Vert\lambda\Vert^2 z} 

converxe cando Im(z) > 0, e como consecuencia da Fórmula da suma de Poisson pódese demostrar que é unha forma modular de peso . Non é doado construír retículas unimodulares pares, mais podemos ver un caso da seguinte maneira: Sexa  un número enteiro divisíbel por 8 e considere todos os vectores  en  tal que  teña coordenadas enteiras, todas pares ou todas impares, e tal que a suma das coordenadas de  é un número enteiro par. Chamámoslle a esta retícula . Cando , esta é a retícula que xeran as raíces do sistema de raíces (configuración de vectores dun espazo euclidiano que verifica certas condicións xeométricas) chamado E8. Como só hai unha forma modular de peso 8 ata a multiplicación escalar temos que,

: \vartheta_{L_8\times L_8}(z) = \vartheta_{L_{16}}(z),

aínda que as retículas  e  non son semellantes. John Milnor observou que os toros de 16 dimensións obtidos ao dividir  por estas dúas retículas son, en consecuencia, exemplos de espazos compactos que son isoespectrais mais non isométricos.

**III.** **O discriminante modular**

A función eta de Dedekind defínese como

: \eta(z) = q^{1/24}\prod_{n=1}^\infty (1-q^n), \qquad q = e^{2\pi i z}.

onde *q* é o cadrado da función nome. Así o discriminante modular  é unha forma modular de peso 12. A presenza do número 24 está relacionada co feito de que a retícula de Leech ten 24 dimensións. Unha conxectura de Ramanujan afirma que cando  se expande como unha serie de potencias en q, o coeficiente de  para calquera  primo ten un valor absoluto . Isto foi confirmado polo traballo de Eichler, Shimura, Kuga, Ihara e Pierre Deligne como resultado da proba de Deligne das conxecturas de Weil, que se demostrou que implicaban a conxectura de Ramanujan.

O segundo e terceiro exemplos dan algunha pista da conexión entre as formas modulares e cuestións clásicas na teoría de números, como a representación de números enteiros mediante formas cadráticas e a función de partición. O vínculo conceptual crucial entre as formas modulares e a teoría de números proporciónao a teoría dos operadores de Hecke, que tamén proporciona a conexión entre a teoría das formas modulares e a teoría da representación.

## Funcións modulares 
Cando o peso *k* é cero, pódese demostrar usando o teorema de Liouville que as únicas formas modulares son funcións constantes. Non obstante, relaxando o requisito de que *f* sexa holomorfa leva á noción de *funcións modulares*. Unha función *f* : **H** → **C** chámase modular se cumpre as seguintes propiedades:

* *f* é meromorfa no semiplano superior aberto *H*
* Para cada matriz enteira \begin{pmatrix}a & b \\ c & d \end{pmatrix} no grupo modular,  f\left(\frac{az+b}{cz+d}\right) = f(z).
* A segunda condición implica que *f* é periódica e, polo tanto, ten unha serie de Fourier. Esta serie ten que ser da forma

:: f(z) = \sum_{n=-m}^\infty a_n e^{2i\pi nz}.

Moitas veces escríbese en termos de q=\exp(2\pi i z) (o cadrado do nome), como:

:: f(z)=\sum_{n=-m}^\infty a_n q^n.

Tamén se coñece como a *q*-expansión de *f* (principio de q-expansión). Os coeficientes a_n coñécense como coeficientes de Fourier de *f*, e o número *m* chámase orde do polo de *f* en i∞. Esta condición chámase "meromorfa na cúspide", o que significa que só finitamente moitos coeficientes *n*-negativos son distintos de cero, polo que a *q*-expansión está limitada inferiormente, garantindo que é meromorfa en *q* = 0.

Outra forma de expresar a definición de funcións modulares é empregar curvas elípticas: cada retícula Λ determina unha curva elíptica **C**/Λ sobre **C**; dúas retículas determinan curvas elípticas isomórfas se e só se unha se obtén da outra multiplicando por algún número complexo  distinto de cero. Así, unha función modular tamén se pode considerar como unha función meromorfa no conxunto de clases de isomorfismo de curvas elípticas. Por exemplo, a j-invariante *j*(*z*) dunha curva elíptica, considerada como unha función no conxunto de todas as curvas elípticas, é unha función modular. Máis conceptualmente, as funcións modulares pódense pensar como funcións no espazo de módulos das clases de isomorfismo de curvas elípticas complexas.

Unha forma modular *f* que desaparece en  (equivalentemente, , ou  ) chámase *forma cúspide* (*Spitzenform* en alemán). O *n* máis pequeno tal que  é a orde do cero de *f* en .

Unha *unidade modular* é unha función modular cuxos polos e ceros están confinados nas cúspides.

## Formas modulares para grupos máis xerais 
### A superficie de Riemann *G*\H&#x2217; 
Sexa  un subgrupo de  de índice finito. Tal grupo  actúa sobre **H** do mesmo xeito que . O espazo topolóxico cociente *G*\**H** pódese ver como un espazo de Hausdorff. Normalmente non é compacto, mais pódese compactar engadindo un número finito de puntos chamados *cúspides*. Estas son puntos no límite de **H**, é dicir, en **Q**∪{∞},  tal que hai un elemento parabólico de  (unha matriz con traza ±2) que fixa o punto. Isto produce un espazo topolóxico compacto *G*\**H**∗. A maiores, pódese dotar da estrutura dunha superficie de Riemann, o que permite falar de funcións holomorfas e meromorfas.

Exemplos importantes son, para calquera número enteiro positivo *N*, calquera dos subgrupos de congruencia

: \begin{align}
 \Gamma_0(N) &= \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \text{SL}(2, \mathbf{Z}): c \equiv 0 \pmod{N} \right\} \\
  \Gamma(N) &= \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \text{SL}(2, \mathbf{Z}) : c \equiv b \equiv 0, a \equiv d \equiv 1 \pmod{N} \right\}.
\end{align}

Para *G* = Γ0(*N*) ou , os espazos *G*\**H** e *G*\**H**∗ denótanse *Y*0(*N*) e *X*0(*N*) e *Y*(*N*), *X*(*N*), respectivamente.

### Definición 
Unha forma modular para  de peso *k* é unha función en **H** que satisfai a ecuación funcional anterior para todas as matrices en , é dicir, holomorfa en **H** e en todas as cúspides de . Os espazos vectoriais **C** das formas modulares e cúspides de peso *k* denomínanse  e , respectivamente. Do mesmo xeito, unha función meromorfa en *G*\**H**∗ chámase función modular para . No caso de *G* = Γ0(*N*), tamén se denominan formas modulares/cúspides e funcións do *nivel* *N*. Para , isto volve outra vez ás definicións antes mencionadas.

### Consecuencias 
A teoría das superficies de Riemann pódese aplicar a *G*\**H**∗ para obter máis información sobre formas e funcións modulares. Por exemplo, os espazos  e  son de dimensión finita, e as súas dimensións pódense calcular grazas ao teorema de Riemann-Roch en termos da xeometría da acción  sobre **H**.  Por exemplo,

: \dim_\mathbf{C} M_k\left(\text{SL}(2, \mathbf{Z})\right) = \begin{cases}
 \left\lfloor k/12 \right\rfloor   & k \equiv 2 \pmod{12} \\
 \left\lfloor k/12 \right\rfloor + 1 & \text{noutro caso}
\end{cases}

onde \lfloor \cdot \rfloor denota a función chan e k é par.

As funcións modulares constitúen o corpo de funcións da superficie de Riemann e, polo tanto, forman un corpo de grao de transcendencia 1 (sobre **C**). Se unha función modular *f* non é idéntica a 0, daquela pódese demostrar que o número de ceros de *f* é igual ao número de polos de *f* no pechamento da rexión fundamental *R*Γ. Pódese demostrar que o corpo de función modular do nivel *N* (*N* ≥ 1) é xerado polas funcións *j*(*z*) e *j*(*Nz*). 

### Fibrado de liñas 
As formas modulares tamén se poden abordar de forma aproveitábel desde un punto de vista xeométrico, como seccións de fibrados de liñas no espazo de módulos de curvas elípticas.

## Aneis de formas modulares 
Para un subgrupo  do , o anel de formas modulares é o anel graduado xerado polas formas modulares de . Noutras palabras, se  é o anel de formas modulares de peso , daquela o anel de formas modulares de  é o anel graduado M(\Gamma) = \bigoplus_{k > 0} M_k(\Gamma).

Os aneis de formas modulares de subgrupos de congruencia de  xéranse finitamente debido a un resultado de Pierre Deligne e Michael Rapoport. Eses aneis de formas modulares xéranse con peso como máximo 6 e as relacións xéranse con peso como máximo 12 cando o subgrupo de congruencia ten formas modulares de peso impar distinto de cero, e os límites correspondentes son 5 e 10 cando non hai formas modulares de peso impar distinto de cero.

De forma máis xeral, existen fórmulas para os límites dos pesos dos xeradores do anel de formas modulares e as súas relacións para grupos fuchsianos arbitrarios.

## Tipos 
### Formas completas 
Se *f* é holomorfa na cúspide (non ten polo en *q*&nbsp;=&nbsp;0), chámase **forma modular completa**.

Se *f* é meromorfa mais non holomorfa na cúspide, chámase **forma modular non completa**. Por exemplo, a forma j-invariante é unha forma modular non completa de peso 0, e ten un polo simple en&nbsp;i∞.

### Formas novas 
As formas novas son un subespazo de formas modulares  dun peso fixo N que non se poden construír a partir de formas modulares de menor peso M dividindo N. As outras formas chámanse **formas antigas**. Estas formas antigas pódense construír utilizando as seguintes observacións: se M \mid N daquela \Gamma_1(N) \subseteq \Gamma_1(M) dando unha inclusión inversa de formas modulares M_k(\Gamma_1(M)) \subseteq M_k(\Gamma_1(N)) .

### Formas cúspide 
Unha forma cúspide é unha forma modular cun coeficiente constante cero na súa serie de Fourier. Chámase forma cúspide porque a forma desaparece en todas as cúspides.

## Outros usos do termo "forma modular" 
Hai unha serie doutros usos do termo "función modular", a maiores do uso clásico definido neste artigo; por exemplo, na teoría da medida de Haar, é unha función  determinada pola acción de conxugación.

As formas modulares de Hilbert son funcións en *n* variábeis, cada unha un número complexo no semiplano superior, que satisfán unha relación modular para matrices de 2&#xD7;2 con entradas nun corpo numérico totalmente real.

As formas modulares de Siegel asócianse a grupos simplécticos máis grandes, do mesmo xeito que as formas modulares clásicas se asocian a . Isto é, están relacionadas coas variedades abelianas no mesmo sentido que as formas modulares clásicas (que ás veces se denominan *formas modulares elípticas*) están relacionadas coas curvas elípticas.

As formas de Jacobi son unha mestura de formas modulares e funcións elípticas. Os exemplos desas funcións son clásicos (as funcións theta de Jacobi e os coeficientes de Fourier das formas modulares de Siegel de genus dous), mais é unha observación relativamente recente que as formas de Jacobi teñen unha teoría aritmética análoga á teoría habitual das formas modulares.

As formas automorfas estenden a noción de formas modulares aos grupos de Lie xenéricos.

As integrais modulares de peso  son funcións meromorfas no semiplano superior de crecemento moderado no infinito que *non poden ser modulares de peso * por unha función racional.

Os factores automorfos son funcións da forma \varepsilon(a,b,c,d) (cz+d)^k que se utilizan para xeneralizar a relación de modularidade que define formas modulares, de xeito que

: f\left(\frac{az+b}{cz+d}\right) = \varepsilon(a,b,c,d) (cz+d)^k f(z).

A función \varepsilon(a,b,c,d) chámase nebentypus (do alemán tipo próximo) da forma modular. As funcións como a función eta de  Dedekind, unha forma modular de peso 1/2, poden ser englobadas pola teoría ao permitir factores automórfos.

## Historia 
A teoría das formas modulares desenvolveuse en catro períodos:

* En relación coa teoría das funcións elípticas, a principios do século XIX.
* Por Felix Klein e outros cara a finais do século XIX cando comezou a se entender o concepto de forma automorfa (para unha variábel).
* Por Erich Hecke desde aproximadamente 1925.
* Na década de 1960, segundo as necesidades da teoría de números, e da formulación do teorema da modularidade en particular, deixaron claro que as formas modulares están profundamente implicadas.

Taniyama e Shimura identificaron unha coincidencia 1 a 1 entre certas formas modulares e as curvas elípticas. Robert Langlands construíu esta idea na construción do seu programa Langlands expansivo, que se converteu nun dos programas de investigación de máis alcance e  transcendencia en investigación matemática.

En 1994 Andrew Wiles utilizou formas modulares para demostrar o último teorema de Fermat. En 2001 demostrouse que todas as curvas elípticas eran modulares sobre os números racionais. En 2013 demostrouse que as curvas elípticas eran modulares sobre os corpos cadráticos reais. En 2023 demostrouse que as curvas elípticas eran modulares sobre preto da metade dos corpos cadráticos imaxinarios, incluíndo corpos formados ao combinar os números racionais coa raíz cadrada dos números enteiros ata −5. 

## Notas 
## Véxase tamén 
### Bibliografía 
*
* *Leads up to an overview of the proof of the modularity theorem*.
*. *Provides an introduction to modular forms from the point of view of representation theory*.
*
*
*
*. *Chapter VII provides an elementary introduction to the theory of modular forms*.
*
*Behold Modular Forms, the ‘Fifth Fundamental Operation’ of Math
## Outros artigos 
* Demostración de Wiles do último teorema de Fermat