Un problema de convolución desplazada de rango superior con aplicaciones a funciones L

Información Básica

• ID del Artículo: 2511.03294
• Título: A higher rank shifted convolution problem with applications to L-functions
• Autores: Valentin Blomer, Junxian Li
• Clasificación: math.NT (Teoría de Números)
• Fecha de Publicación: 5 de noviembre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2511.03294v1

Resumen

Este artículo resuelve un caso de larga data sin resolver en el problema de convolución desplazada GL(3) × GL(2): un factor es la función divisor clásica y el otro factor es un coeficiente de Fourier GL(3). El método de prueba implica la aplicación entrelazada de dos tipos distintos de métodos de símbolos delta. Como aplicación, se establece una fórmula asintótica para el valor central de la función L de formas automórficas GL(3) torcidas por caracteres de Dirichlet (módulo q ≤ Q).

Antecedentes de Investigación y Motivación

Problema de Investigación

El problema de convolución desplazada (shifted convolution problem) estudia la fórmula asintótica del producto de dos funciones aritméticas (típicamente multiplicativas) cuando los parámetros difieren en un desplazamiento aditivo, siendo una herramienta importante para medir la correlación entre dos funciones.

Importancia del Problema

1. Antecedentes Clásicos: El caso clásico más conocido de la función divisor $\sum_{n≤x} τ(n)τ(n+1)$ ha sido estudiado durante un siglo
2. Significado Teórico: El problema de convolución desplazada está estrechamente relacionado con momentos de funciones L, teoría de criba, el problema de divisores de Titchmarsh y otros problemas centrales de la teoría de números
3. Desafío Técnico: El problema de convolución desplazada para formas automórficas de rango superior es extremadamente desafiante, y la mayoría de los casos carecen de resultados no triviales

Limitaciones de los Métodos Existentes

Para el caso GL(3) × GL(2), se han logrado los siguientes avances:

• Caso (1.1): $\sum_{n≤x} τ_3(n)τ(n+1)$ - Hooley obtuvo el término principal, Deshouillers proporcionó un término de error con ahorro de potencia, Topacogullari alcanzó el mejor actual $O(x^{5/6+θ/3+ε})$
• Caso (1.2): $\sum_{n≤x} τ_3(n)λ(n+1)$ - Pitt estableció un límite con ahorro de potencia, Tang alcanzó $O(x^{5/6+θ/3+ε})$
• Caso (1.3): $\sum_{n≤x} A(n,1)λ(n+1)$ - Munshi obtuvo un límite con ahorro de potencia, Xi alcanzó $O(x^{21/22+ε})$

Sin embargo, el Caso (1.4): $\sum_{n≤x} A(n,1)τ(n+1)$ ha permanecido sin resolver, sin poder ser atacado por ninguno de los métodos utilizados para los casos anteriores.

Motivación de la Investigación

1. Llenar un vacío teórico: El caso (1.4) es el último caso sin resolver del problema de convolución desplazada GL(3) × GL(2)
2. Avance metodológico: La suma exponencial de la función divisor se comporta mal en el arco principal (en el sentido L²), no permitiendo la aplicación directa del método circular de Jutila o el método de Kloosterman
3. Valor de aplicación: Resolver este problema permite establecer una fórmula asintótica para momentos de funciones L GL(3) torcidas, un avance sin precedentes en más de 20 años

Contribuciones Principales

1. Resolución de un problema de larga data: Primera vez que se establece un límite con ahorro de potencia para el problema de convolución desplazada entre coeficientes de Fourier GL(3) y la función divisor
2. Metodología innovadora: Primera aplicación entrelazada del método de Jutila y el método circular refinado de Kloosterman, superando las limitaciones de cada uno
3. Uniformidad completa: Se logra uniformidad completa en todos los parámetros h, λ₁, λ₂ en la ecuación de convolución bilineal
4. Fórmula asintótica para momentos de funciones L: Se establece una fórmula asintótica para el valor central de funciones L de formas automórficas GL(3) torcidas por caracteres de Dirichlet, con aproximadamente Q² términos pero conductor aproximadamente Q³

Explicación Detallada del Método

Teorema Principal

Teorema 1: Sean h, λ₁, λ₂ ∈ ℤ{0}, x ≥ 1. Sean W, W₀ funciones suaves con soporte compacto en 1,2. Sea A(n,1) el valor propio de Hecke de una forma cúspide F en el grupo SL₃(ℤ). Entonces $\sum_{λ₁m-λ₂n=h} A(n,1)τ(m)W_0\left(\frac{|λ₁|m}{x}\right)W\left(\frac{|λ₂|n}{x}\right) \ll_{F,W,W_0,ε} x^{41/42+ε}$ se cumple uniformemente para cualquier ε > 0, uniformemente en h, λ₁, λ₂.

Teorema 2: Una variante más flexible que reemplaza τ(m) por $τ_{A,B}(m) := \sum_{ab=m} v_1(a/A)v_2(b/B)$, obteniendo el mismo límite bajo la condición AB ≍ x/|λ₁|.

Arquitectura Técnica

1. Aplicación Dual del Método de Símbolos Delta

Este artículo combina innovadoramente dos métodos de símbolos delta:

Método de Jutila (Lema 1):

• Proporciona selección flexible de módulos, creando estructura bilineal
• Aproxima la función delta solo en el sentido L²
• Define función periódica: $χ(α) = \frac{1}{δL}\sum_q ω(q)\sum_{a\bmod q, (a,q)=1}\sum_{k∈ℤ} ψ\left(\frac{1}{δ}\left(α-\frac{a}{q}+k\right)\right)$
• Propiedad clave: $\int_0^1 (1-χ(α))^2 dα \ll ψ \frac{Q^2\|ω\|_∞|\log δ|^3}{L^2δ}$

Método Refinado de Kloosterman (Lema 2):

• Sensible a sumas exponenciales de la función divisor en el arco principal
• Utiliza descomposición de fracciones de Farey del intervalo 0,1
• Proporciona estimación de raíz cuadrada de ahorro en b/c (para b módulo c)

2. Aplicación Entrelazada del Método

Paso 1: Descomposición Preliminar Se escribe la suma como S₁ + S₂, donde:

• S₁: contribución usando χ(α)
• S₂: contribución usando (1-χ(α))

Paso 2: Estimación de S₂ (arco secundario)

• Se elige parámetro C₀ < C, logC ≍ log x
• Se divide la suma con c ≤ C en arco principal (c ≤ C₀) y arco secundario (C₀ < c ≤ C)
• Arco secundario: se utiliza estimación L² y suma de Voronoi (Lemas 3, 4)
• Arco principal: se aplica refinamiento de Kloosterman (Lema 2), observación clave es que se puede obtener estimación no trivial (ahorro de raíz cuadrada) en b/c

Paso 3: Selección Especial de Módulos Se adopta la idea de Munshi, eligiendo módulos factorizables: $ω(q) = \sum_{\frac{1}{2}Q_1≤p≤Q_1, p\text{ primo}, p∤hλ_1λ_2} \sum_{t∈ℕ, pt=q} ρ\left(\frac{t}{Q_2}\right)$ donde Q = Q₁Q₂. Esto crea estructura bilineal.

Paso 4: Estimación de S₁

• Se aplica suma de Voronoi (Lemas 3, 5) para dualizar τ(m) y A(n,1)
• Clave: mantener ambas sumas m y p dentro de valores absolutos (diferente de Mu, Xi)
• Se aplica desigualdad de Cauchy-Schwarz
• Se utiliza suma de Poisson y estimaciones de sumas de caracteres (Lemas 7, 8)

3. Estimaciones Refinadas de Sumas de Caracteres

Lema 7: Límite mejorado para sumas de Kloosterman hiperbólicas $Σ_{h,d,n_1,n_2}(c) \ll_ε c^{1+ε}c_2^{1/2}\frac{\sqrt{(n_1,c_1,d,h)}}{\sqrt{n_1}}$ donde c = c₁c₂, c₁ es libre de cuadrados, c₂ es potencia completa, (c₁,c₂)=1.

Lema 8: Estimación de sumas de caracteres para caso de dos primos