Formas Modulares e o Grupo Modular

O grupo modular de matrizes inteiras atua no semiplano superior, e as formas modulares são as funções holomorfas que respeitam essa ação; sua definição, exemplos e estrutura básica são o ponto de entrada para toda a teoria.

Definition

O grupo modular é o grupo de matrizes inteiras dois por dois de determinante um que atua no semiplano superior por transformações lineares fracionárias; uma forma modular de peso k para ele é uma função holomorfa que se transforma pela k-ésima potência do fator de automorfia e é holomorfa na cúspide.

Scope

Este tópico abrange o grupo modular e seus geradores, a ação por transformações lineares fracionárias no semiplano superior e o domínio fundamental padrão, subgrupos de congruência e níveis, a definição de formas modulares e formas cuspidais de um dado peso, séries de Eisenstein como as formas básicas não-cuspidais, o discriminante modular e o j-invariante, e a fórmula de valência que determina as dimensões dos espaços de formas modulares.

Core questions

• Como o grupo modular é gerado e qual é a aparência de seu domínio fundamental?
• Qual é a lei de transformação precisa que define uma forma modular de peso k, e como as formas cuspidais diferem?
• O que são as séries de Eisenstein e como elas geram o anel de formas modulares para o grupo completo?
• Como a fórmula de valência conta os zeros e fixa as dimensões desses espaços?

Key theories

Domínio fundamental e geradores

O grupo modular é gerado pelos mapas de translação e inversão, e sua ação possui um domínio fundamental padrão no semiplano superior, que fundamenta todos os cálculos explícitos com formas modulares.

Séries de Eisenstein e o anel modular

As séries de Eisenstein de pesos quatro e seis são formas modulares holomorfas cujos polinômios geram todo o anel graduado de formas modulares para o grupo modular completo.

Fórmula de valência e dimensões

Os zeros de uma forma modular de peso k, contados com multiplicidade sobre o domínio fundamental, satisfazem uma identidade fixa; esta fórmula de valência produz as dimensões finitas de todos os espaços de formas modulares.

Clinical relevance

As séries theta, que são formas modulares construídas a partir de reticulados, contam representações de inteiros por formas quadráticas e certificam reticulados ótimos usados em empacotamento de esferas e teoria de codificação, dando a esta estrutura, de outra forma abstrata, aplicações concretas.

History

O grupo modular e seu domínio fundamental emergiram da teoria do século XIX de funções elípticas e modulares desenvolvida por Gauss, Jacobi, Eisenstein, Klein e Poincaré. A formulação moderna, independente de coordenadas, de formas modulares como funções com uma lei de transformação foi consolidada no século XX por Hecke e seus sucessores.

Key figures

• Felix Klein
• Henri Poincare
• Gotthold Eisenstein
• Carl Ludwig Siegel

Seminal works

• serre1973
• apostol1990

Frequently asked questions

O que é o domínio fundamental do grupo modular?

É uma região do semiplano superior que contém exatamente um representante de cada órbita sob a ação do grupo, tipicamente desenhada como a faixa entre as linhas verticais na parte real mais e menos um meio, acima do círculo unitário.

O que é uma forma cuspidal?

É uma forma modular que se anula em cada cúspide, o que significa que sua expansão de Fourier não possui termo constante; as formas cuspidais carregam as informações mais aritmeticamente interessantes e são as autoformas dos operadores de Hecke.