Multi-height distribution of rational points of split toric stacks

1. Planteamiento del Problema

El trabajo se sitúa en el contexto de la conjetura de Manin, que estudia el comportamiento asintótico del número de puntos racionales de altura acotada en variedades algebraicas. Específicamente, el autor extiende el marco de Peyre para considerar la distribución de puntos racionales bajo todas las alturas posibles simultáneamente (en lugar de una sola altura asociada a un fibrado lineal), un enfoque conocido como "multi-altura".

El desafío principal abordado es la generalización de estos resultados a pilas de Deligne-Mumford (DM), específicamente a pilas toricas. A diferencia de las variedades, en las pilas:

• Un punto racional no necesariamente se extiende a un punto integral (problema de obstrucción).
• La estructura de los puntos integrales involucra "sectores torcidos" (twisted sectors) que capturan la ramificación y la naturaleza de la pila.
• La teoría de alturas en pilas requiere incorporar contribuciones de estos sectores torcidos mediante el grupo Picard orbifold ($Pic_{orb}(X)$).

El objetivo es demostrar que, para pilas toricas divididas sobre $\mathbb{Q}$, la distribución de puntos racionales con alturas acotadas en un dominio poliedral sigue una ley asintótica gobernada por invariantes geométricos de la pila, y proporcionar una fórmula explícita para la constante principal.

2. Metodología

El autor emplea una combinación de geometría aritmética, teoría de pilas y análisis de números. La metodología se basa en los siguientes pilares:

A. Parametrización Integral y Torsores Universales

El núcleo del método es elevar el problema de conteo de puntos racionales $X(\mathbb{Q})$ a un torsor universal extendido ($T^{ext}$).

• Se construye una parametrización integral de los puntos racionales de la pila torica $X$ utilizando un torsor bajo un toro dividido $T_{NS, orb}$ asociado al grupo Picard orbifold.
• Se define un torsor universal extendido que incorpora tanto el toro de Néron-Severi clásico como factores asociados a los sectores torcidos ($\pi_0(I_\mu X)$).
• Esto permite parametrizar $X(\mathbb{Q})$ como un cociente de puntos integrales en el torsor: $X(\mathbb{Q}) \cong T^{ext}(\mathbb{Z}) / T_{NS, orb}(\mathbb{Z})$.

B. Levantamiento de la Altura y el "Age"

• Se define una altura de pila que incluye términos locales asociados a los sectores torcidos.
• El autor introduce un levantamiento de la altura de pila al torsor universal extendido. Esto implica definir una "altura local extendida" $h^{ext}_{T, v}$ en el torsor.
• Se utiliza el concepto de "age" (edad) de un sector torcido, que mide la obstrucción para levantar un punto racional a uno integral. El "age" se levanta a una función en el torsor, permitiendo relacionar la estructura aritmética del torsor con la geometría de la pila.

C. Inversión de Möbius y Conteo de Retículos

Para contar los puntos en el torsor que satisfacen las condiciones de integralidad y acotación de altura:

• Se utiliza una función de Möbius asociada al torsor extendido para filtrar los puntos que no son "primitivos" (es decir, que tienen divisores comunes no triviales en las coordenadas del torsor).
• Se aplica el método de geometría de números (teoremas de Davenport y Salberger) para estimar el número de puntos de retículo en un dominio acotado definido por la altura, calculando el volumen del dominio y estimando el término de error.

D. Cálculo de la Constante Tamagawa

La constante principal en la fórmula asintótica se expresa como un producto de Euler. El autor:

• Define el número de Tamagawa de la pila $\tau_{orb}(X)$.
• Interpreta los factores $p$-ádicos mediante una fórmula de masa que cuenta los puntos de los sectores de la pila sobre el cuerpo finito $\mathbb{F}_p$.

3. Contribuciones Clave

1. Parametrización Integral Extendida: Se demuestra la existencia de una parametrización integral de los puntos racionales de pilas toricas a través de un torsor universal extendido, generalizando el trabajo de Salberger para variedades toricas.
2. Definición de Altura Multi-Altura en Pilas: Se formaliza la distribución de puntos bajo un sistema de alturas multidimensionales en el contexto de pilas DM, utilizando el grupo Picard orbifold.
3. Fórmula Asintótica Explícita: Se prueba un teorema principal (Teorema 1.1) que establece el comportamiento asintótico del número de puntos racionales con alturas en un dominio $D_B$:
   $$\# \{ P \in X(\mathbb{Q}) \mid h(P) \in D_B \} \sim \nu(D_1) \cdot \tau_{orb}(X) \cdot B^{\langle \omega^{-1}_{X, orb}, u \rangle}$$
   Donde $\nu$ es una medida de Haar, $\tau_{orb}$ es el número de Tamagawa y el exponente depende del fibrado anticanónico orbifold.
4. Interpretación de Factores $p$-ádicos (Teorema 1.2): Se establece una igualdad profunda entre el factor local en la constante Tamagawa y una fórmula de masa que cuenta los puntos racionales de los sectores de la pila sobre $\mathbb{F}_p$:
   $$\mu_{X, p}(X(\mathbb{Q}_p)) = \frac{\#X(\mathbb{F}_p)}{p^{\dim(X)}} + \frac{1}{p} \sum_{S \in \pi_0^*(I_\mu X)} \frac{\#S(\mathbb{F}_p)}{p^{\dim(S)}}$$
   Esto conecta la teoría de puntos racionales $p$-ádicos con la geometría de los sectores torcidos.
5. Tratamiento de Casos "Salvajes" (Wild): Se extiende la definición del mapa de residuo y la parametrización a lugares de ramificación salvaje, demostrando que la estructura de los torsores permite manejar estas obstrucciones incluso cuando la pila no es "tame" (mansa).

4. Resultados Principales

• Teorema 1.1 (Comportamiento Asintótico): Para una pila torica $X$ sobre $\mathbb{Q}$, el número de puntos racionales con altura en un dominio dilatado $D_B$ crece como una potencia de $B$ multiplicada por una constante geométrica. La tasa de crecimiento está determinada por el paréntice de emparejamiento entre el vector de dirección $u$ y el fibrado anticanónico orbifold.
• Teorema 1.2 (Fórmula de Masa Local): Proporciona una interpretación combinatoria y geométrica del factor local en la constante de Tamagawa, mostrando que depende del número de puntos de la pila y de sus sectores torcidos sobre cuerpos finitos.
• Teorema 6.15 (Biyección Global): Establece una biyección entre los puntos racionales de la pila y el cociente de los puntos integrales del torsor universal extendido por la acción del toro de Néron-Severi orbifold.
• Propiedad de Inyectividad del "Age": Se demuestra que para pilas toricas, el emparejamiento de "age" con el grupo Picard es inyectivo, lo que permite recuperar el sector torcido único a partir de los datos de altura.

5. Significado e Impacto

Este trabajo es fundamental por varias razones:

• Unificación de Teorías: Conecta la teoría de puntos racionales en variedades (Manin-Peyre) con la teoría de puntos en pilas (Darda-Yasuda, Loughran-Santens), proporcionando un marco unificado para la distribución multi-altura.
• Resolución de Obstrucciones: Ofrece una solución técnica robusta al problema de la extensión de puntos racionales a puntos integrales en pilas, utilizando torsores universales extendidos en lugar de intentos directos de extensión.
• Nueva Perspectiva para Conjeturas: El marco desarrollado permite reinterpretar conjeturas de Malle y Bhargava sobre extensiones de Galois y curvas modulares como casos particulares de la distribución de puntos en pilas toricas (como $BG$o$BS_3$).
• Herramientas Computacionales: La fórmula explícita para la constante principal y la interpretación de los factores locales mediante conteo de puntos en $\mathbb{F}_p$ abren la puerta a cálculos efectivos y verificaciones numéricas en ejemplos concretos de pilas toricas.
• Generalización: Al manejar tanto casos "mansos" como "salvajes", el resultado es aplicable a una clase más amplia de objetos geométricos que los tratados en literatura previa.

En resumen, el artículo establece las bases analíticas y geométricas para estudiar la densidad de puntos racionales en pilas toricas, demostrando que el principio de Manin se mantiene en este contexto más general, pero con constantes y estructuras (sectores torcidos, grupo Picard orbifold) que reflejan la naturaleza estacada del objeto geométrico.