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

Sintesi Tecnica: L'Invariante Universale Zero-Sum e lo Zero-Sum Pesato per Gruppi Abeliani Infiniti II

Enunciato del Problema
Questo articolo affronta due problemi primari nella teoria zero-sum su gruppi abeliani, fungendo da seguito al lavoro precedente dell'autore in Communications in Algebra (2025).

1. Minimalità della Costante di Davenport: Si investiga se l'insieme di tutte le sequenze minimali zero-sum, denotato con $A(G)$, sia un "insieme minimale" necessario per rappresentare la costante di Davenport $D(G)$. Nello specifico, si cerca di classificare tutti i gruppi abeliani finiti $G$ per i quali la rimozione di un singolo elemento da $A(G)$ aumenterebbe l'invariante zero-sum universale $d_{\Omega}(G)$, fallendo così nel rappresentare $D(G)$.
2. Costanti di Davenport Pesate per Gruppi Infiniti: Estende lo studio della costante di Davenport pesata $D_{\Psi}(G)$ ai casi in cui l'insieme dei pesi $\Psi \subseteq \text{Hom}(F, G)$ è infinito. Mentre la finitezza di $D_{\Psi}(G)$ per $\Psi$ finito è stata precedentemente caratterizzata dal Teorema di Copertura di Neumann (tramite coperture di cosetti dei nuclei), il comportamento per $\Psi$ infinito rimane meno compreso, in particolare per quanto riguarda l'esistenza di sottocoperture finite per le relative coperture di nuclei delle potenze cartesiane.

Metodologia
L'articolo impiega una combinazione di teoria dei numeri combinatoria, teoria dei gruppi strutturale e argomenti categoriali:

• Invarianti Zero-Sum Universali: Gli autori utilizzano il quadro degli invarianti zero-sum universali $d_{\Omega}(G)$, definiti come la lunghezza minima $\ell$ tale che ogni sequenza di lunghezza $\ell$ contenga una sottosequenza in $\Omega$. La costante di Davenport è vista come il caso specifico $D(G) = d_{A(G)}(G)$.
• Omomorfismi Indotti e Coperture di Nuclei: Per il caso pesato, l'articolo reinterpreta le relazioni zero-sum pesate attraverso i nuclei degli omomorfismi universali indotti. Dato un tuple $\eta = (\psi_1, \dots, \psi_n) \in (\Psi \cup \{0\})^n$, viene definito un omomorfismo indotto $\text{ind}[\eta]: F^n \to G$. L'esistenza di una relazione zero-sum pesata è equivalente al fatto che la sequenza giaccia nel nucleo di tale mappa.
• Compattezza della Copertura di Nuclei: Una nuova proprietà, la "compattezza della copertura di nuclei" (kernel-cover compactness), viene introdotta. Si tratta di una condizione di finitezza sulla famiglia di nuclei degli omomorfismi indotti, analoga alla compattezza topologica ma adattata alla geometria algebrica del problema zero-sum pesato.
• Controesempi Costruttivi e Lemmi: L'articolo costruisce sequenze specifiche in gruppi come $\mathbb{Z}_3^5$ per dimostrare la non-minimalità e utilizza argomenti polinomiali (Esempio 4.3) per mostrare che le coperture di nuclei finite non esistono sempre per insiemi di pesi infiniti, anche quando la costante è finita.

Contributi Chiave e Risultati

1. Classificazione degli Insiemi Minimali per $D(G)$:
   L'articolo fornisce una classificazione completa dei gruppi abeliani finiti $G$ per i quali $A(G)$ è un insieme minimale rispetto a $D(G)$.

   • Teorema 3.6: $A(G)$ è minimale se e solo se $G$ è isomorfo a uno dei seguenti:
     • $\mathbb{Z}_2^r$ per $r \ge 1$;
     • $\mathbb{Z}_3^r$ per $1 \le r \le 4$;
     • $\mathbb{Z}_4$ o $\mathbb{Z}_5$.
   • Gli autori risolvono il caso precedentemente aperto in cui l'esponente del gruppo è 3, dimostrando che per $G \cong \mathbb{Z}_3^r$ con $r \ge 5$, $A(G)$ non è minimale. Ciò è dimostrato costruendo una specifica sequenza zero-sum minimale $V$ in $\mathbb{Z}_3^5$ tale che la rimozione di $V$ da $A(G)$ non cambi l'invariante.

2. Formulazione Geometrica della Costante di Davenport Pesata:

   • Teorema 4.1: L'articolo stabilisce un'equivalenza tra il limite $D_{\Psi}(G) \le n$ e la condizione geometrica che la potenza cartesiana $F^n$ sia coperta dai nuclei di tutti gli omomorfismi indotti derivanti da tuple in $(\Psi \cup \{0\})^n$. Questo riformula la costante come una "soglia di copertura di nuclei" (kernel-cover threshold).

3. Compattezza della Copertura di Nuclei e Riduzione Finita:

   • Proposizione 4.4: L'articolo dimostra che l'esistenza di una sottocopertura finita per la canonical cover di nuclei di $F^n$ è equivalente all'esistenza di un sottoinsieme finito $\Psi_0 \subseteq \Psi$ tale che $D_{\Psi_0}(G) \le n$.
   • Controesempio (Esempio 4.3): Viene mostrato che per $\Psi$ infinito (specificamente $\Psi = \text{End}(\mathbb{Z}) \setminus \{0\}$), $D_{\Psi}(\mathbb{Z})$ può essere finito (uguale a 2), eppure la copertura di nuclei di $F^n$ non ammette alcuna sottocopertura finita. Ciò evidenzia una divergenza fondamentale tra insiemi di pesi finiti e infiniti.
   • Proposizione 4.8: Viene fornita una condizione sufficiente per la "compattezza uniforme della copertura di nuclei": se il gruppo quoziente $F/N_{\Psi}$ è finito (dove $N_{\Psi} = \bigcap_{\psi \in \Psi} \ker \psi$), allora $D_{\Psi}(G)$ è finito e la proprietà di copertura di nuclei si verifica uniformemente.

Significato
L'articolo sostiene di costituire un significativo seguito al lavoro precedente, poiché:

• Completa la Classificazione: Risolve la questione strutturale riguardante la minimalità di $A(G)$ per tutti i gruppi abeliani finiti, colmando il vuoto lasciato dai risultati precedenti per i gruppi con esponente 3.
• Unifica il Quadro Teorico: Unifica lo studio delle costanti zero-sum pesate con la teoria delle coperture di gruppi da parte di nuclei, fornendo un'interpretazione geometrica di $D_{\Psi}(G)$ che si estende naturalmente ai gruppi infiniti.
• Raffina le Condizioni di Finitezza: Chiarisce la relazione tra la finitezza della costante di Davenport pesata e l'esistenza di coperture di nuclei finite, introducendo la "compattezza della copertura di nuclei" per distinguere tra la mera finitezza della costante e la proprietà più forte della riduzione finita dell'insieme dei pesi, una distinzione cruciale per i gruppi abeliani infiniti.

Il lavoro non propone nuove applicazioni sperimentali, ma approfondisce la comprensione teorica dei problemi zero-sum, affrontando specificamente la transizione tra insiemi di pesi finiti e infiniti e le proprietà strutturali delle sequenze zero-sum minimali.