On zero-sum problems over metacyclic groups $C_n \rtimes_s C_2$

1. Énoncé du problème et contexte

Le problème central :
Le papier traite des problèmes directs et inverses de somme nulle pour une classe spécifique de groupes finis non abéliens connus sous le nom de groupes métacycliques. Plus précisément, il se concentre sur les groupes de la forme :
$$G = C_n \rtimes_s C_2 = \langle x, y \mid x^2 = y^n = 1_G, yx = xys \rangle$$
où $s^2 \equiv 1 \pmod n$.

Définitions clés :

• Suite produit-un : Une suite finie d'éléments de $G$ (l'ordre étant négligé, les répétitions étant autorisées) est une suite produit-un si ses éléments peuvent être ordonnés de telle sorte que leur produit soit égal à l'élément neutre $1_G$.
• Constante de Gao $E(G)$ : Le plus petit entier $\ell$ tel que toute suite de longueur au moins $\ell$ contient une sous-suite produit-un de longueur exactement $|G|$.
• Problème inverse : Décrire la structure des suites de longueur maximale ($E(G)-1$) qui ne contiennent pas de sous-suite produit-un de longueur $|G|$.

Le vide :
Des travaux antérieurs (spécifiquement la référence [3]) avaient résolu les problèmes directs et inverses pour presque tous les groupes métacycliques de cette forme. Cependant, une famille infinie spécifique de cas « exceptionnels » restait non résolue. Cette famille se produit lorsque :

• $n = 3n_2$ où $n_2 > 1$ et $\gcd(n_2, 6) = 1$.
• $s \equiv -1 \pmod 3$ et $s \equiv 1 \pmod{n_2}$.
• Dans ce cas, $G \cong C_{n_2} \times D_6$ (un produit direct d'un groupe cyclique et du groupe diédral d'ordre 6).

La difficulté dans ce cas provient du fait que la structure des suites extrémales pour $D_6$ (le cas $n_1=3$) est plus complexe que pour $D_{2n_1}$ où $n_1 > 3$, ce qui fait échouer les méthodes inductives précédentes.

2. Méthodologie

Les auteurs emploient une combinaison de théorie des groupes combinatoire, de théorie additive des nombres et d'analyse structurelle des suites.

Outils et techniques clés :

1. Théorème de DeVos-Goddyn-Mohar (Lemme 3.1) :
   C'est l'innovation technique centrale utilisée pour résoudre le cas exceptionnel. Il s'agit d'une généralisation des théorèmes de Cauchy-Davenport et Kneser pour les groupes abéliens. Le théorème fournit une borne inférieure sur la taille de l'ensemble des $n$-sous-produits ($\Pi_n(S)$) basée sur le stabilisateur de l'ensemble des sous-produits.

   • Application : Les auteurs l'utilisent pour analyser la projection des suites sur le sous-groupe $\langle y^3 \rangle \cong C_{n_2}$. Le théorème impose une dichotomie : soit l'ensemble des sous-produits couvre tout le sous-groupe, soit la suite est fortement concentrée dans un coset spécifique d'un sous-groupe stabilisateur.

2. Décomposition et projection :
   Le groupe $G$ est décomposé en $C_{n_2} \times D_6$. Les auteurs analysent les suites en les projetant sur la composante cyclique $\langle y^3 \rangle$ et la composante diédrale $\langle x, y^{n_2} \rangle$.

   • Ils utilisent la valeur connue $E(C_{n_2}) = 2n_2 - 1$ (Lemme 2.2) pour extraire des sous-suites produit-un de la projection cyclique.

3. Arguments inductifs et par contradiction :

   • Proposition 4.1 : Les auteurs prouvent que toute suite de longueur $9n_2 - 1$ contenant au moins deux éléments du coset $x\langle y \rangle$ doit avoir une sous-suite produit-un de longueur $6n_2$.
   • Analyse de cas : La preuve de la Proposition 4.1 implique une analyse de cas détaillée basée sur le nombre d'éléments dans le coset $x\langle y \rangle$ au sein d'une suite construite de « blocs » ($T_1, \dots, T_8$).
   • Échange de sous-suites : Une étape cruciale consiste à échanger des éléments entre des sous-suites pour créer de nouvelles décompositions. En analysant comment le produit de ces blocs change, ils déduisent des contradictions si l'on suppose que la suite est exempte de produit-un.

4. Gestion de la structure exceptionnelle $D_6$ :
   Contrairement aux groupes diédraux plus grands où les suites extrémales ont une structure uniforme, le cas $D_6$ permet des configurations spécifiques (par exemple, $1_G^{[5]} \cdot \tau \cdot \tau\alpha \cdot \tau\alpha^2$). Les auteurs gèrent soigneusement ces formes spécifiques en utilisant le théorème de DeVos-Goddyn-Mohar pour montrer que même ces configurations « pires cas » finissent par produire une sous-suite produit-un si la longueur est suffisante.

3. Contributions et résultats clés

Le papier fournit une solution complète au problème de la constante de Gao et du problème inverse pour tous les groupes métacycliques de la forme $C_n \rtimes_s C_2$.

Théorème principal 1.1 (Le cas exceptionnel) :
Pour le cas précédemment non résolu $G = C_{3n_2} \rtimes_s C_2$ (où $n_2 > 1, \gcd(n_2, 6)=1, s \equiv -1 \pmod 3, s \equiv 1 \pmod{n_2}$) :

1. Constante de Gao : $E(G) = 9n_2$.
2. Structure inverse : Une suite $S$ de longueur $9n_2 - 1$ n'a pas de sous-suite produit-un de longueur $6n_2$ si et seulement si $S$ a la forme spécifique :
   $$S = (\alpha^{t_1})^{[6n_2-1]} \cdot (\alpha^{t_2})^{[3n_2-1]} \cdot (\tau\alpha^{t_3})$$
   où $\alpha, \tau$ génèrent $G$, et $\gcd(t_1 - t_2, 3n_2) = 1$.

Théorème principal 1.2 (Conclusion générale) :
En combinant leur résultat avec les travaux antérieurs, les auteurs établissent la classification complète pour tous les groupes métacycliques $G = C_n \rtimes_s C_2$ (avec $n \ge 3, s^2 \equiv 1 \pmod n, s \not\equiv 1 \pmod n$) :

1. Constante de Gao : $E(G) = 3n$.
2. Structure inverse :
   • Si $n=3$ : Les suites extrémales sont soit $1_G^{[5]} \cdot \tau \cdot \tau\alpha \cdot \tau\alpha^2$, soit de la forme $(\alpha^{k_1})^{[5]} \cdot (\alpha^{k_2})^{[2]} \cdot \tau\alpha^{k_3}$.
   • Si $n \ge 4$ : Les suites extrémales sont de la forme $(\alpha^{t_1})^{[2n-1]} \cdot (\alpha^{t_2})^{[n-1]} \cdot \tau\alpha^{t_3}$ avec $\gcd(t_1 - t_2, n) = 1$.

4. Importance

• Complétude de la théorie : Ce papier comble la dernière lacune dans l'étude des constantes de Gao pour les groupes métacycliques de la forme $C_n \rtimes C_2$. Il confirme que la formule $E(G) = 3n$ est universellement valable pour cette classe, indépendamment des paramètres spécifiques du produit semi-direct.
• Avancement méthodologique : L'application réussie du Théorème de DeVos-Goddyn-Mohar à un problème de somme nulle non abélien démontre la puissance des outils de la combinatoire additive pour analyser les structures de groupes non abéliens. Il fournit un nouveau modèle pour traiter les cas où les arguments inductifs standards échouent en raison de la complexité des petits sous-groupes (comme $D_6$).
• Insight structurel : Le papier fournit une caractérisation précise des suites « extrémales » (celles juste en dessous du seuil). Cela est vital pour comprendre les conditions limites des phénomènes de somme nulle dans des contextes non abéliens.
• Perspectives futures : Les auteurs notent dans les remarques conclusives que, bien que les groupes métacycliques scindés soient maintenant pleinement compris, les groupes métacycliques non scindés (où l'extension ne se scinde pas) avec des sous-groupes cycliques d'indice 2 restent un domaine ouvert pour la recherche future.

En résumé, ce travail représente une résolution définitive d'un problème ouvert de longue date en théorie additive des nombres, unifiant la théorie des constantes de Gao pour une large classe de groupes non abéliens grâce à une analyse structurelle sophistiquée et à l'application de résultats profonds de la théorie additive des nombres.