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

Résumé Technique : Inégalités de Loomis–Whitney Fonctionnelles dans le Groupe de Heisenberg Fini

Énoncé du Problème
Cet article étudie les inégalités de type Loomis–Whitney fonctionnelles dans le cadre non commutatif du groupe de Heisenberg sur un corps fini, noté $H_n(\mathbb{F}_q)$, où $q$ est une puissance impaire d'un nombre premier. L'inégalité classique de Loomis–Whitney borne le volume d'un corps de dimension $d$ par les volumes de ses projections de coordonnées de dimension $(d-1)$. Dans le cadre discret, cela se rapporte à la taille d'un ensemble $A$ par rapport aux tailles de ses projections $\pi_i(A)$.

Les auteurs cherchent à établir des inégalités fonctionnelles analogues pour le groupe de Heisenberg. Plus précisément, ils cherchent à déterminer la région nette d'exposants $(u_1, \dots, u_{2n})$ telle que l'inégalité
$$\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)}$$
soit vérifiée uniformément en $q$. Ici, $\pi_j$ sont des projections de coordonnées verticales spécifiques faisant correspondre $H_n(\mathbb{F}_q)$ à des sous-groupes $W_j \cong \mathbb{F}_q^{2n}$. L'étude traite également des inégalités de type ensemble, bornant la cardinalité $|K|$ d'un sous-ensemble $K \subset H_n(\mathbb{F}_q)$ en fonction des tailles de ses projections $\{|\pi_j(K)|\}_{j=1}^{2n}$.

Méthodologie
L'article emploie une combinaison d'analyse harmonique, de géométrie combinatoire et d'induction sur la dimension $n$.

1. Analyse Structurelle des Sous-groupes : Les auteurs analysent d'abord la structure des sous-groupes de $H_n(\mathbb{F}_q)$. Ils distinguent les sous-groupes généraux (lorsque $q$ est premier) des sous-groupes homogènes (invariants sous l'action de dilatation). Ils caractérisent ces sous-groupes à l'aide d'espaces isotropes de l'espace symplectique sous-jacent $\mathbb{F}_q^{2n}$ et établissent des formules de comptage pour ces sous-groupes.
2. Cas $n=1$ (Groupe de Heisenberg Planaire) : Pour $n=1$, le problème est réduit à l'analyse d'un opérateur bilinéaire $L(f_1, f_2)$. Les auteurs utilisent l'inégalité de Hölder et la propriété d'emboîtement des normes. Ils déterminent la région nette des exposants en testant des fonctions spécifiques et en appliquant des théorèmes d'interpolation. La preuve repose sur l'établissement de bornes d'opérateurs $A(s \to r)$ pour un opérateur linéaire spécifique $A$ dérivé de la structure de multiplication du groupe.
3. Cas Général $n > 1$ : Pour les dimensions supérieures, les auteurs ne tentent pas une caractérisation complète de la région des exposants admissibles, qui est nettement plus complexe. Au lieu de cela, ils se concentrent sur l'exposant symétrique critique $u = \frac{n(2n+1)}{n+1}$.
   • Induction sur la Dimension : La preuve de l'estimation symétrique repose sur un schéma d'induction inspiré des contextes continus mais adapté aux corps finis. La stratégie centrale consiste à « geler » une paire de coordonnées symplectiques pour réécrire la forme de dimension $n$ comme une forme de Loomis–Whitney de Heisenberg de dimension $n-1$ moyennée.
   • Estimations Asymétriques : Les auteurs établissent d'abord une famille d'estimations asymétriques (Théorème 4.1) où une paire d'entrées symplectiques est mesurée en $L^{\frac{2n+1}{2}}$ et les entrées restantes en $L^{2n+1}$.
   • Interpolation Multilinéaire : Ces bornes asymétriques sont combinées à l'aide d'un schéma d'interpolation multilinéaire pour atteindre l'estimation symétrique à l'exposant critique.
4. Géométrie des Incidences (Cas Particulier $n=1$) : Lorsque $n=1$ et $|K| > q$, les auteurs utilisent le théorème d'incidence point-droite de Vinh pour dériver une borne inférieure plus forte pour la taille maximale de la projection, améliorant ainsi l'inégalité fonctionnelle générale dans ce régime spécifique.

Contributions Clés et Résultats

• Exposants Nets pour $n=1$ : L'article détermine la région exacte des exposants $(u_1, u_2)$ pour lesquels l'inégalité est vérifiée uniformément en $q$. La condition est donnée par le système :
  $$\frac{1}{u_1} + \frac{2}{u_2} \leq 2 \quad \text{et} \quad \frac{2}{u_1} + \frac{1}{u_2} \leq 2.$$
  Ceci inclut l'estimation de bord $L^{3/2} \times L^{3/2} \to L^1$, qui est démontrée comme étant optimale.
• Estimation Multilinéaire Symétrique pour le Cas Général $n$ : Les auteurs prouvent l'estimation multilinéaire symétrique à l'exposant de bord $u = \frac{n(2n+1)}{n+1}$. Celle-ci est établie via la stratégie d'induction et d'interpolation décrite précédemment.
• Inégalités d'Ensembles Nettes : En spécialisant les résultats fonctionnels aux fonctions indicatrices, on obtient une inégalité d'ensemble de type Loomis–Whitney nette. Pour tout ensemble fini $K \subset H_n(\mathbb{F}_q)$, la taille est bornée par :
  $$|K| \lesssim q^{\frac{1}{2n+1}} \prod_{j=1}^{2n} |\pi_j(K)|^{\frac{n+1}{n(2n+1)}}.$$
  Par conséquent, l'article dérive une borne inférieure pour la taille maximale de la projection :
  $$\max_{1 \leq j \leq 2n} |\pi_j(K)| \gtrsim_n |K|^{\frac{2n+1}{2(n+1)}} q^{-\frac{1}{2(n+1)}}.$$
  Les auteurs démontrent que ce résultat est optimal à une constante absolue près en construisant des exemples spécifiques.
• Borne Améliorée pour $n=1$ : Pour $n=1$ et des ensembles de grande taille ($|K| > q$), l'article fournit une borne plus forte utilisant la géométrie des incidences :
  $$\max\{|\pi_1(K)|, |\pi_2(K)|\} \gtrsim \min\left\{ |K|^{1/2}q^{1/2}, |K|q^{-1/2} \right\}.$$

Signification et Connexions
L'article positionne ses résultats comme un pont entre l'analyse harmonique discrète et la géométrie combinatoire dans les groupes non abéliens.

• Aperçu Structurel : Les inégalités éclairent les propriétés structurelles du groupe de Heisenberg sur les corps finis, particulièrement sur la manière dont la structure non commutative du groupe (via la forme symplectique) influence le comportement des projections.
• Connexion aux Problèmes de Bornitude : Les auteurs soulignent un lien direct avec le problème de la bornitude des formes/opérateurs multilinéaires sur les corps finis étudié par Bhowmik, Iosevich, Koh et Pham (2025). Plus précisément, le cas $n=1$ de leur inégalité coïncide avec la bornitude d'un opérateur multilinéaire spécifique associé à un graphe complet sur deux sommets et un noyau défini par une relation quadratique.
• Projections Orthogonales : Les résultats sont comparés aux questions de projection orthogonale et de recouvrement dans $\mathbb{F}_q^{2n+1}$ étudiées par Chen (2018). Les auteurs montrent que la famille de projections de Heisenberg $\{\pi_j\}$ fournit une borne inférieure strictement plus forte pour la taille maximale de la projection par rapport aux bornes dérivées des résultats de Chen sur les projections orthogonales dans le cadre de l'espace vectoriel.
• Directions Futures : L'article note que la classification de tous les sous-groupes de $H_n(\mathbb{F}_q)$ (spécifiquement les sous-groupes de type non-produit) reste un problème ouvert. De plus, les auteurs mentionnent leur intention d'étudier les analogues discrets des problèmes de recouvrement pour le groupe de Heisenberg réel (en relation avec les travaux de Balogh, Fässler, Mattila et Tyson) dans un article de suite.

Ce travail est présenté comme une étape fondamentale pour l'extension de la théorie de Loomis–Whitney aux groupes finis non commutatifs, offrant des constantes nettes et identifiant des exposants critiques qui étaient auparavant inconnus dans ce cadre.