The universal zero-sum invariant and weighted zero-sum for infinite abelian groups II

Résumé Technique : L'Invariant Zéro-Somme Universel et le Zéro-Somme Pondéré pour les Groupes Abéliens Infinis II

Énoncé du Problème
Cet article traite de deux problèmes primordiaux dans la théorie des sommes nulles sur les groupes abéliens, servant de suite aux travaux précédents de l'auteur dans Communications in Algebra (2025).

1. Minimalité de la Constante de Davenport : Il examine si l'ensemble de toutes les séquences de somme nulle minimale, noté $A(G)$, est un « ensemble minimal » requis pour représenter la constante de Davenport $D(G)$. Plus précisément, il cherche à classifier tous les groupes abéliens finis $G$ pour lesquels le retrait d'un seul élément de $A(G)$ augmenterait l'invariant de somme nulle universelle $d_{\Omega}(G)$, échouant ainsi à représenter $D(G)$.
2. Constantes de Davenport Pondérées pour les Groupes Infinis : Il étend l'étude de la constante de Davenport pondérée $D_{\Psi}(G)$ aux cas où l'ensemble de poids $\Psi \subseteq \text{Hom}(F, G)$ est infini. Alors que la finitude de $D_{\Psi}(G)$ pour un $\Psi$ fini avait été précédemment caractérisée par le théorème de recouvrement de Neumann (via des recouvrements de cosets de noyaux), le comportement pour un $\Psi$ infini reste moins bien compris, particulièrement concernant l'existence de sous-recouvrements finis pour les recouvrements de noyaux des puissances cartésiennes.

Méthodologie
L'article emploie une combinaison de théorie combinatoire des nombres, de théorie des groupes structurels et d'arguments catégoriels :

• Invariants de Somme Nulle Universels : Les auteurs utilisent le cadre des invariants de somme nulle universels $d_{\Omega}(G)$, définis comme la longueur minimale $\ell$ telle que toute séquence de longueur $\ell$ contient une sous-séquence dans $\Omega$. La constante de Davenport est vue comme le cas spécifique $D(G) = d_{A(G)}(G)$.
• Homomorphismes Induits et Recouvrements de Noyaux : Pour le cas pondéré, l'article réinterprète les relations de somme nulle pondérées à travers les noyaux des homomorphismes universels induits. Pour un tuple $\eta = (\psi_1, \dots, \psi_n) \in (\Psi \cup \{0\})^n$, un homomorphisme induit $\text{ind}[\eta]: F^n \to G$ est défini. L'existence d'une relation de somme nulle pondérée est équivalente au fait que la séquence appartienne au noyau d'une telle application.
• Compacité de Recouvrement de Noyau : Une nouvelle propriété, la « compacité de recouvrement de noyau », est introduite. Il s'agit d'une condition de finitude sur la famille de noyaux des homomorphismes induits, analogue à la compacité topologique mais adaptée à la géométrie algébrique du problème de somme nulle pondérée.
• Contre-exemples Constructifs et Lemmes : L'article construit des séquences spécifiques dans des groupes comme $\mathbb{Z}_3^5$ pour démontrer la non-minimalité et utilise des arguments polynomiaux (Exemple 4.3) pour montrer que des recouvrements de noyaux finis n'existent pas toujours pour des ensembles de poids infinis, même lorsque la constante est finie.

Contributions Clés et Résultats

1. Classification des Ensembles Minimaux pour $D(G)$ :
   L'article fournit une classification complète des groupes abéliens finis $G$ pour lesquels $A(G)$ est un ensemble minimal par rapport à $D(G)$.

• Théorème 3.6 : $A(G)$ est minimal si et seulement si $G$ est isomorphe à l'un des suivants :
  • $\mathbb{Z}_2^r$ pour $r \ge 1$ ;
  • $\mathbb{Z}_3^r$ pour $1 \le r \le 4$ ;
  • $\mathbb{Z}_4$ ou $\mathbb{Z}_5$.
• Les auteurs résolvent le cas précédemment ouvert où l'exposant du groupe est 3, prouvant que pour $G \cong \mathbb{Z}_3^r$ avec $r \ge 5$, $A(G)$ n'est pas minimal. Ceci est démontré par la construction d'une séquence de somme nulle minimale spécifique $V$ dans $\mathbb{Z}_3^5$ telle que le retrait de $V$ de $A(G)$ ne modifie pas l'invariant.

2. Formulation Géométrique de la Constante de Davenport Pondérée :

• Théorème 4.1 : L'article établit une équivalence entre la borne $D_{\Psi}(G) \le n$ et la condition géométrique que la puissance cartésienne $F^n$ est couverte par les noyaux de tous les homomorphismes induits provenant de tuples dans $(\Psi \cup \{0\})^n$. Cela reformule la constante comme un « seuil de recouvrement de noyau ».

3. Compacité de Recouvrement de Noyau et Réduction Finie :

• Proposition 4.4 : L'article prouve que l'existence d'un sous-recouvrement fini pour le recouvrement de noyau canonique de $F^n$ est équivalente à l'existence d'un sous-ensemble fini $\Psi_0 \subseteq \Psi$ tel que $D_{\Psi_0}(G) \le n$.
• Contre-exemple (Exemple 4.3) : Il est montré que pour un $\Psi$ infini (spécifiquement $\Psi = \text{End}(\mathbb{Z}) \setminus \{0\}$), $D_{\Psi}(\mathbb{Z})$ peut être fini (égal à 2), pourtant le recouvrement de noyau de $F^n$ n'admet aucun sous-recouvrement fini. Cela souligne une divergence fondamentale entre les ensembles de poids finis et infinis.
• Proposition 4.8 : Une condition suffisante pour une « compacité de recouvrement de noyau uniforme » est fournie : si le groupe quotient $F/N_{\Psi}$ est fini (où $N_{\Psi} = \bigcap_{\psi \in \Psi} \ker \psi$), alors $D_{\Psi}(G)$ est fini et la propriété de recouvrement de noyau est uniforme.

Signification
L'article affirme constituer un suivi significatif des travaux antérieurs en :

• Complétant la Classification : Il résout la question structurelle concernant la minimalité de $A(G)$ pour tous les groupes abéliens finis, comblant la lacune laissée par les résultats précédents pour les groupes d'exposant 3.
• Unifiant le Cadre : Il unifie l'étude des constantes de Davenport pondérées avec la théorie des recouvrements de groupes par des noyaux, fournissant une interprétation géométrique de $D_{\Psi}(G)$ qui s'étend naturellement aux groupes infinis.
• Affinant les Conditions de Finitude : Il clarifie la relation entre la finitude de la constante de Davenport pondérée et l'existence de recouvrements de noyaux finis. En introduisant la « compacité de recouvrement de noyau », l'article distingue la simple finitude de la constante de la propriété plus forte de réduction finie de l'ensemble de poids, une distinction cruciale pour les groupes abéliens infinis.

Le travail ne propose pas de nouvelles applications expérimentales mais approfondit la compréhension théorique des problèmes de somme nulle, en traitant spécifiquement de la transition des ensembles de poids finis vers les ensembles infinis et des propriétés structurelles des séquences de somme nulle minimales.