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

Resumo Técnico: O Invariante de Soma Zero Universal e a Soma Zero Ponderada para Grupos Abelianos Infinitos II

Enunciado do Problema
Este artigo aborda dois problemas primários na teoria de soma zero sobre grupos abelianos, servindo como um acompanhamento do trabalho anterior do autor em Communications in Algebra (2025).

1. Minimalidade da Constante de Davenport: Investiga se o conjunto de todas as sequências de soma zero mínima, denotado por $A(G)$, é um "conjunto mínimo" necessário para representar a constante de Davenport $D(G)$. Especificamente, busca classificar todos os grupos abelianos finitos $G$ para os quais a remoção de qualquer elemento único de $A(G)$ aumentaria o invariante de soma zero universal $d_{\Omega}(G)$, falhando assim em representar $D(G)$.
2. Constantes de Davenport Ponderadas para Grupos Infinitos: Estende o estudo da constante de Davenport ponderada $D_{\Psi}(G)$ para casos em que o conjunto de pesos $\Psi \subseteq \text{Hom}(F, G)$ é infinito. Enquanto a finitude de $D_{\Psi}(G)$ para $\Psi$ finito foi previamente caracterizada pelo Teorema de Cobertura de Neumann (via coberturas de cossenos de núcleos), o comportamento para $\Psi$ infinito permanece menos compreendido, particularmente no que diz respeito à existência de subcoberturas finitas para as coberturas de núcleos associadas de potências cartesianas.

Metodologia
O artigo emprega uma combinação de teoria de números combinatória, teoria de grupos estrutural e argumentos categóricos:

• Invariantes de Soma Zero Universais: Os autores utilizam o arcabouço de invariantes de soma zero universais $d_{\Omega}(G)$, definidos como o comprimento mínimo $\ell$ tal que toda sequência de comprimento $\ell$ contém uma subsequência em $\Omega$. A constante de Davenport é vista como o caso específico $D(G) = d_{A(G)}(G)$.
• Homomorfismos Induzidos e Coberturas de Núcleo: Para o caso ponderado, o artigo reinterpreta relações de soma zero ponderadas através dos núcleos de homomorfismos universais induzidos. Dado uma tupla $\eta = (\psi_1, \dots, \psi_n) \in (\Psi \cup \{0\})^n$, um homomorfismo induzido $\text{ind}[\eta]: F^n \to G$ é definido. A existência de uma relação de soma zero ponderada é equivalente ao fato de a sequência pertencer ao núcleo de tal mapa.
• Compacidade de Cobertura de Núcleo: Uma nova propriedade, "compacidade de cobertura de núcleo", é introduzida. Trata-se de uma condição de finitude sobre a família de núcleos de homomorfismos induzidos, análoga à compacidade topológica, mas adaptada à geometria algébrica do problema de soma zero ponderada.
• Contraexemplos Construtivos e Lemas: O artigo constrói sequências específicas em grupos como $\mathbb{Z}_3^5$ para demonstrar a não-minimalidade e utiliza argumentos polinomiais (Exemplo 4.3) para mostrar que coberturas de núcleos finitas nem sempre existem para conjuntos de pesos infinitos, mesmo quando a constante é finita.

Principais Contribuições e Resultados

1. Classificação de Conjuntos Mínimos para $D(G)$:
   O artigo fornece uma classificação completa de grupos abelianos finitos $G$ para os quais $A(G)$ é um conjunto mínimo em relação a $D(G)$.

   • Teorema 3.6: $A(G)$ é mínimo se, e somente se, $G$ for isomorfo a um dos seguintes:
     • $\mathbb{Z}_2^r$ para $r \ge 1$;
     • $\mathbb{Z}_3^r$ para $1 \le r \le 4$;
     • $\mathbb{Z}_4$ ou $\mathbb{Z}_5$.
   • Os autores resolvem o caso anteriormente em aberto onde o expoente do grupo é 3, provando que para $G \cong \mathbb{Z}_3^r$ com $r \ge 5$, $A(G)$ não é mínimo. Isso é demonstrado pela construção de uma sequência de soma zero mínima específica $V$ em $\mathbb{Z}_3^5$ tal que a remoção de $V$ de $A(G)$ não altera o invariante.

2. Formulação Geométrica da Constante de Davenport Ponderada:

   • Teorema 4.1: O artigo estabelece uma equivalência entre o limite $D_{\Psi}(G) \le n$ e a condição geométrica de que a potência cartesiana $F^n$ é coberta pelos núcleos de todos os homomorfismos induzidos não nulos provenientes de tuplas em $(\Psi \cup \{0\})^n$. Isso reformula a constante como um "limiar de cobertura de núcleo".

3. Compacidade de Cobertura de Núcleo e Redução Finita:

   • Proposição 4.4: O artigo prova que a existência de uma subcobertura finita para a cobertura de núcleo canônica de $F^n$ é equivalente à existência de um subconjunto finito $\Psi_0 \subseteq \Psi$ tal que $D_{\Psi_0}(G) \le n$.
   • Contraexemplo (Exemplo 4.3): Mostra-se que para $\Psi$ infinito (especificamente $\Psi = \text{End}(\mathbb{Z}) \setminus \{0\}$), $D_{\Psi}(\mathbb{Z})$ pode ser finito (igual a 2), porém a cobertura de núcleo de $F^n$ não admite uma subcobertura finita. Isso destaca uma divergência fundamental entre conjuntos de pesos finitos e infinitos.
   • Proposição 4.8: Uma condição suficiente para a "compacidade de cobertura de núcleo uniforme" é fornecida: se o grupo quociente $F/N_{\Psi}$ for finito (onde $N_{\Psi} = \bigcap_{\psi \in \Psi} \ker \psi$), então $D_{\Psi}(G)$ é finito e a propriedade de cobertura de núcleo ocorre uniformemente.

Significância
O artigo afirma constituir um acompanhamento significativo de trabalhos anteriores ao:

• Completar a Classificação: Resolve a questão estrutural referente à minimalidade de $A(G)$ para todos os grupos abelianos finitos, fechando a lacuna deixada por resultados anteriores para grupos com expoente 3.
• Unificar o Arcabouço: Unifica o estudo das constantes de soma zero ponderadas com a teoria de coberturas de grupos por núcleos, fornecendo uma interpretação geométrica de $D_{\Psi}(G)$ que se estende naturalmente para grupos infinitos.
• Refinar Condições de Finitude: Esclarece a relação entre a finitude da constante de Davenport ponderada e a existência de coberturas de núcleos finitas, distinguindo entre a mera finitude da constante e a propriedade mais forte de redução finita do conjunto de pesos através da introdução da "compacidade de cobertura de núcleo", uma distinção crucial para grupos abelianos infinitos.

O trabalho não propõe novas aplicações experimentais, mas sim aprofunda a compreensão teórica dos problemas de soma zero, abordando especificamente a transição de conjuntos de pesos finitos para infinitos e as propriedades estruturais de sequências de soma zero mínima.