A functional Loomis-Whitney type inequality in the Heisenberg group and projection theorems over finite fields

Resumen Técnico: Desigualdades de Loomis–Whitney Funcionales en el Grupo de Heisenberg Finito

Planteamiento del Problema
Este artículo investiga las desigualdades de tipo Loomis–Whitney funcionales dentro del entorno no conmutativo del grupo de Heisenberg sobre un cuerpo finito, denotado como $H_n(\mathbb{F}_q)$, donde $q$ es una potencia de un primo impar. La desigualdad clásica de Loomis–Whitney acota el volumen de un cuerpo de $d$ dimensiones mediante los volúmenes de sus proyecciones de coordenadas de $(d-1)$ dimensiones. En el entorno discreto, esto se relaciona con el tamaño de un conjunto $A$ respecto a los tamaños de sus proyecciones $\pi_i(A)$.

Los autores buscan establecer desigualdades funcionales análogas para el grupo de Heisenberg. Específicamente, buscan determinar la región aguda de exponentes $(u_1, \dots, u_{2n})$ tales que la desigualdad
$$\frac{1}{q^{2n+1}} \sum_{(x,t) \in H_n(\mathbb{F}_q)} \prod_{j=1}^{2n} f_j(\pi_j(x, t)) \lesssim \prod_{j=1}^{2n} \|f_j\|_{L^{u_j}(\mathbb{F}_q^{2n}, dx)}$$
se cumpla uniformemente en $q$. Aquí, $\pi_j$ son proyecciones de coordenadas verticales específicas que mapean $H_n(\mathbb{F}_q)$ a subgrupos $W_j \cong \mathbb{F}_q^{2n}$. El estudio también aborda las desigualdades de conjuntos correspondientes, acotando la cardinalidad $|K|$ de un subconjunto $K \subset H_n(\mathbb{F}_q)$ en términos de los tamaños de sus proyecciones $\{|\pi_j(K)|\}_{j=1}^{2n}$.

Metodología
El artículo emplea una combinación de análisis armónico, geometría combinatoria e inducción sobre la dimensión $n$.

1. Análisis Estructural de Subgrupos: Los autores analizan primero la estructura de subgrupos de $H_n(\mathbb{F}_q)$. Distinguen entre subgrupos generales (cuando $q$ es primo) y subgrupos homogéneos (invariantes bajo la acción de dilatación). Caracterizan estos subgrupos utilizando subespacios isotrópicos del espacio simpléctico subyacente $\mathbb{F}_q^{2n}$ y establecen fórmulas de conteo para estos subgrupos.
2. Caso $n=1$ (Grupo de Heisenberg Planar): Para $n=1$, el problema se reduce al análisis de un operador bilineal $L(f_1, f_2)$. Los autores utilizan la desigualdad de Hölder y la propiedad de anidamiento de las normas. Determinan la región aguda de exponentes mediante el testeo de funciones específicas y la aplicación de teoremas de interpolación. La demostración se basa en establecer cotas de operadores $A(s \to r)$ para un operador lineal específico $A$ derivado de la estructura de multiplicación del grupo.
3. Caso General $n > 1$: Para dimensiones superiores, los autores no intentan una caracterización completa de la región de exponentes admisibles, la cual es significativamente más compleja. En su lugar, se centran en el exponente simétrico crítico $u = \frac{n(2n+1)}{n+1}$.
   • Inducción sobre la Dimensión: La demostración de la estimación simétrica se basa en un esquema de inducción inspirado en entornos continuos pero adaptado para cuerpos finitos. La estrategia central consiste en "congelar" un par de coordenadas simplécticas para reescribir la forma de $n$ dimensiones como una forma de Loomis–Whitney de Heisenberg de $n-1$ dimensiones promediada.
   • Estimaciones Asimétricas: Los autores establecen primero una familia de estimaciones asimétricas (Teorema 4.1) donde un par de entradas simplécticas se mide en $L^{\frac{2n+1}{2}}$ y las entradas restantes en $L^{2n+1}$.
   • Interpolación Multilineal: Estas cotas asimétricas se combinan utilizando un esquema de interpolación multilineal para alcanzar la estimación simétrica en el exponente crítico.
4. Geometría de Incidentes (Caso Especial $n=1$): Cuando $n=1$ y $|K| > q$, los autores utilizan el teorema de incidencia punto-línea de Vinh para derivar una cota inferior más fuerte para el tamaño máximo de proyección, mejorando la desigualdad funcional general en este régimen específico.

Contribuciones Clave y Resultados

• Exponentes Agudos para $n=1$: El artículo determina la región exacta de exponentes $(u_1, u_2)$ para los cuales la desigualdad se cumple uniformemente en $q$. La condición viene dada por el sistema:
  $$\frac{1}{u_1} + \frac{2}{u_2} \leq 2 \quad \text{y} \quad \frac{2}{u_1} + \frac{1}{u_2} \leq 2.$$
  Esto incluye la estimación de frontera $L^{3/2} \times L^{3/2} \to L^1$, la cual se muestra como óptima.
• Estimación Multilineal Simétrica para el Caso General $n$: Los autores demuestran la estimación multilineal simétrica en el exponente de frontera $u = \frac{n(2n+1)}{n+1}$. Esto se establece mediante la estrategia de inducción e interpolación descrita anteriormente.
• Desigualdades de Conjuntos Agudas: Al especializar los resultados funcionales a funciones indicadoras, se obtiene una desigualdad de conjuntos de tipo Loomis–Whitney aguda. Para cualquier conjunto finito $K \subset H_n(\mathbb{F}_q)$, el tamaño está acotado por:
  $$|K| \lesssim q^{\frac{1}{2n+1}} \prod_{j=1}^{2n} |\pi_j(K)|^{\frac{n+1}{n(2n+1)}}.$$
  Consecuentemente, el artículo deriva una cota inferior para el tamaño de la máxima proyección:
  $$\max_{1 \leq j \leq 2n} |\pi_j(K)| \gtrsim_n |K|^{\frac{2n+1}{2(n+1)}} q^{-\frac{1}{2(n+1)}}.$$
  Los autores demuestran que este resultado es óptimo hasta constantes absolutas mediante la construcción de ejemplos específicos.
• Cota Mejorada para $n=1$: Para $n=1$ y conjuntos grandes ($|K| > q$), el artículo proporciona una cota más fuerte utilizando geometría de incidentes:
  $$\max\{|\pi_1(K)|, |\pi_2(K)|\} \gtrsim \min\left\{ |K|^{1/2}q^{1/2}, |K|q^{-1/2} \right\}.$$

Significancia y Conexiones
El artículo posiciona sus resultados como un puente entre el análisis armónico discreto y la geometría combinatoria en grupos no abelianos.

• Perspectiva Estructural: Las desigualdades arrojan luz sobre las propiedades estructurales del grupo de Heisenberg sobre cuerpos finitos, particularmente sobre cómo la estructura no conmutativa del grupo (a través de la forma simpléctica) influye en el comportamiento de las proyecciones.
• Conexión con Problemas de Acotación: Los autores destacan una conexión directa con el problema de acotación para formas/operadores multilineales sobre cuerpos finitos estudiado por Bhowmik, Iosevich, Koh y Pham (2025). Específicamente, el caso $n=1$ de su desigualdad coincide con la acotación de un operador multilineal específico asociado con un grafo completo de dos vértices y un núcleo definido por una relación cuadrática.
• Proyecciones Ortogonales: Los resultados se comparan con las cuestiones de proyección ortogonal y recubrimiento en $\mathbb{F}_q^{2n+1}$ estudiadas por Chen (2018). Los autores muestran que la familia de proyecciones de Heisenberg $\{\pi_j\}$ proporciona una cota inferior estrictamente más fuerte para el tamaño de la proyección máxima en comparación con las cotas derivadas de los resultados de Chen sobre proyecciones ortogonales en el entorno de espacios vectoriales.
• Direcciones Futuras: El artículo señala que la clasificación de todos los subgrupos de $H_n(\mathbb{F}_q)$ (específicamente los subgrupos de tipo no producto) sigue siendo un problema abierto. Además, los autores mencionan planes para investigar analogos discretos de problemas de recubrimiento para el grupo de Heisenberg real (relacionados con el trabajo de Balogh, Fässler, Mattila y Tyson) en un artículo consecutivo.

El trabajo se presenta como un paso fundacional para extender la teoría de Loomis–Whitney a grupos finitos no conmutativos, ofreciendo constantes agudas e identificando exponentes críticos que eran previamente desconocidos en este entorno.