Dirichlet Series and Asymptotics for Generalized Legendre Factorials

Resumo Técnico: Séries de Dirichlet e Assintóticas para Fatoriais Generalizados de Legendre

1. O Problema

O artigo aborda o comportamento assintótico de funções fatoriais generalizadas definidas em anéis de inteiros de corpos numéricos e domínios de Dedekind.

• Contexto Clássico: A fórmula de Legendre clássica descreve a valoração $p$-ádica do fatorial $n!$ como $v_p(n!) = \sum_{k \ge 0} \lfloor n/p^k \rfloor$.
• Generalização: O trabalho considera funções fatoriais $n!_{K,f}$ definidas em um corpo numérico $K$ (com anel de inteiros $\mathcal{O}_K$) e um conjunto finito de ideais primos $S$. A valoração é prescrita por:
  $$v_p(n!_{K,f}) = \sum_{k \ge 0} \left\lfloor \frac{n}{f(p)N(p)^k} \right\rfloor$$
  onde $f$ é uma função definida nos ideais primos de $K \setminus S$ com valores em inteiros positivos, e $N(p)$ é a norma absoluta do ideal primo.
• Objetivo: Determinar a taxa de crescimento assintótico de $\log(n!_{K,f})$ e fornecer uma explicação analítica conceitual para essas assintóticas, respondendo parcialmente a uma questão levantada por Bhargava sobre a fórmula de Stirling para fatoriais generalizados em domínios de Dedekind.

2. Metodologia

Os autores desenvolvem uma estrutura baseada em Séries de Dirichlet para analisar a função de incremento do fatorial. A metodologia segue os seguintes passos:

1. Definição do Incremento: Define-se a função de incremento $B_{K,f,S}(n) = \log\left(\frac{n!_{K,f}}{(n-1)!_{K,f}}\right)$. O comportamento assintótico do fatorial é governado pela função soma $S_{K,f,S}(x) = \sum_{n \le x} B_{K,f,S}(n)$.
2. Representação por Série de Dirichlet: Demonstra-se que a função de incremento possui uma representação natural como série de Dirichlet:
   $$D_{K,f,S}(s) = \sum_{n \ge 1} \frac{B_{K,f,S}(n)}{n^s} = \zeta(s) \sum_{p \notin S} \frac{\log N(p)}{f(p)^s (1 - N(p)^{-s})}$$
3. Análise Analítica e Decomposição:
   • Assume-se que $f(p)$ cresce linearmente com a norma do primo, especificamente $f(p) = c N(p) + O(N(p)^{1-\delta})$.
   • A série de Dirichlet é decomposta relacionando-a com a derivada logarítmica da função zeta de Dedekind $S$-truncada ($\zeta_{K,S}(s)$).
   • A série é escrita como $D_{K,f,S}(s) = \zeta(s) \left[ c^{-s} \left( -\frac{\zeta'_{K,S}}{\zeta_{K,S}}(s) \right) + J_{K,f,S}(s) \right]$, onde $J_{K,f,S}(s)$ é uma função holomorfa em um semiplano contendo $s=1$.
4. Estrutura de Polos: A análise revela que $D_{K,f,S}(s)$ possui um polo duplo em $s=1$ (devido à interação entre o polo simples de $\zeta(s)$ e o polo simples da derivada logarítmica de $\zeta_{K,S}(s)$).
5. Fórmula de Perron e Deslocamento de Contorno: Utiliza-se a fórmula de Perron truncada para recuperar a função soma $S_{K,f,S}(x)$ a partir da integral de contorno da série de Dirichlet. O contorno é deslocado para a esquerda, cruzando o polo duplo em $s=1$ e, possivelmente, um zero real excepcional $\beta_K$ da função zeta de Dedekind.

3. Principais Contribuições

• Estrutura Analítica Unificada: O papel fornece uma explicação analítica unificada para a assintótica de fatoriais de tipo Legendre em corpos numéricos gerais, mostrando que o crescimento é determinado pela estrutura de polos da série de Dirichlet associada.
• Decomposição de Séries: A identificação de que a série de Dirichlet do incremento pode ser fatorada em termos da função zeta de Riemann $\zeta(s)$ e da derivada logarítmica da função zeta de Dedekind, mais um termo de correção holomorfo.
• Resolução Parcial de Bhargava: O trabalho fornece assintóticas precisas para uma classe de fatoriais definidos em anéis de inteiros $S$ (que são domínios de Dedekind finitamente gerados como álgebras sobre $\mathbb{Z}$), abordando a questão de Bhargava sobre a generalização da fórmula de Stirling.

4. Resultados Principais

O Teorema 1.1 estabelece o comportamento assintótico da função soma $S_{K,f,S}(x)$. Sob a condição $f(p) = c N(p) + O(N(p)^{1-\delta})$, tem-se:

$$S_{K,f,S}(x) = \frac{1}{c} x \log x + C_{K,f,S} x + O\left(x e^{-c_1 \sqrt{\log x}}\right)$$

• Termo Principal: $\frac{1}{c} x \log x$, onde $c$ é a constante de crescimento de $f(p)$.
• Termo Linear: $C_{K,f,S} x$, onde a constante depende do corpo $K$, da função $f$ e do conjunto $S$.
• Termo de Erro: $O(x e^{-c_1 \sqrt{\log x}})$, que é um erro exponencialmente pequeno, obtido através da região livre de zeros da função zeta de Dedekind.
• Termo Secundário (Opcional): Se a função zeta de Dedekind $\zeta_K(s)$ possuir um zero real excepcional $\beta_K \in (0,1)$, aparece um termo adicional $C^*_K x^{\beta_K}$.

Corolário 7.2: Aplica-se o resultado a anéis de inteiros $S$ de domínios de Dedekind, estabelecendo que:
$$\log n!_{D,S} = a_{D,S} n \log n + C_{D,S} n + O(n e^{-c_1 \sqrt{\log n}})$$

5. Significado e Implicações

• Precisão Analítica: O método oferece um termo de erro mais agudo ($O(x e^{-c \sqrt{\log x}})$) em comparação com abordagens anteriores que analisavam funções tipo Chebyshev, demonstrando a eficácia da abordagem via séries de Dirichlet e deslocamento de contorno.
• Generalidade: O método é aplicável a qualquer corpo numérico e a qualquer função $f$ que satisfaça a condição de crescimento assintótico linear, cobrindo casos clássicos (como o fatorial ordinário onde $K=\mathbb{Q}, f(p)=1$) e casos mais complexos estudados anteriormente.
• Conexão Profunda: O trabalho reforça a conexão entre a teoria analítica dos números (funções zeta, polos, zeros) e a teoria algébrica dos números (fatoriais em domínios de Dedekind), mostrando que a estrutura multiplicativa dos fatoriais generalizados é um reflexo direto da distribuição dos ideais primos no corpo numérico subjacente.

Em suma, o artigo estabelece um quadro analítico robusto para entender o crescimento de fatoriais generalizados, transformando um problema de contagem aritmética em uma questão de análise complexa de polos de funções L, fornecendo resultados assintóticos precisos e rigorosos.