Mixed-identity-freeness and primitivity of group rings

Resumen Técnico: Libre de identidades mixtas y primitividad de los anillos de grupos

Planteamiento del problema
El artículo aborda el problema de larga data de determinar las condiciones bajo las cuales un anillo de grupo $RG$ (o álgebra de grupo $KG$) es primitivo. Un anillo es (derecho) primitivo si posee un módulo (derecho) irreducible y fiel. Se ha logrado un progreso significativo para clases específicas de grupos —como los grupos por finitos policíclicos (Domanov, Farkas–Passman, Roseblade), productos libres (Formanek, Balogun, Alexander–Nishinaka) y grupos hiperbólicos/acilindricamente hiperbólicos (Solie, Abbott–Dahmani)—, pero faltaba un criterio algebraico unificado aplicable a un espectro más amplio de grupos no noetherianos. El objetivo específico es establecer la primitividad para anillos de grupo sobre dominios $R$ donde $|R| \le |G|$, y sobre cualquier cuerpo $K$, para una clase más amplia de grupos contables.

Metodología
El autor introduce y aprovecha el concepto de grupos libres de identidades mixtas (MIF, por sus siglas en inglés) para derivar un nuevo criterio algebraico de primitividad. La metodología procede en dos etapas principales:

1. Criterio algebraico vía Propiedad $(\ast)$:
   El artículo utiliza una propiedad $(\ast)$ introducida por Alexander y Nishinaka, que garantiza la primitividad si es satisfecha por un grupo que contiene un subgrupo libre no abeliano de la misma cardinalidad. La propiedad $(\star)$ requiere que, para cualquier conjunto finito de elementos no triviales $M \subset G \setminus \{1\}$ e entero $m \ge 2$, existan elementos distintos $a, b, c \in G$ tales que cualquier producto de la forma $\prod_{i=1}^m (x_i^{-1} g_i x_i) = 1$ (con $g_i \in M$ y $x_i \in \{a, b, c\}$) fuerce una repetición en los elementos conjugantes ($x_i = x_{i+1}$ para algún $i$).
   La contribución técnica central es demostrar que los grupos MIF satisfacen la propiedad $(\ast)$. Esto se logra mediante:

   • La construcción de palabras comutadoras específicas $W_j$ de forma recursiva para mostrar que los grupos MIF permiten la evaluación simultánea no trivial de un número finito de palabras no triviales en $G * F_n$.
   • La adaptación de lemas de "grandes potencias" (big powers) para construir un elemento $u \in G$ de orden al menos 4 tal que ciertas palabras "mixtas" que involucran potencias de $u$ y elementos de $M$ sean no triviales.
   • El uso de este elemento $u$ para definir los elementos conjugantes distintos $a=u, b=u^2, c=u^3$, satisfaciendo así la propiedad $(\ast)$.

2. Criterio dinámico:
   El artículo establece un vínculo entre propiedades algebraicas y sistemas dinámicos. Define una acción $G \curvearrowright X$ como extremadamente proximal (si para cualquier par de conjuntos abiertos no vacíos $U, V$, existe $g$ tal que $g(X \setminus U) \subseteq V$) y topológicamente libre (si los puntos fijos de los elementos no identidad son densos en ninguna parte).
   El autor demuestra que si un grupo contable admite una acción extremadamente proximal y topológicamente libre, es necesariamente MIF y contiene un subgrupo libre no abeliano. Esto conecta el resultado algebraico con las propiedades dinámicas que suelen encontrarse en grupos que actúan sobre árboles o conjuntos de Cantor.

Contribuciones y resultados clave

• Teorema 1.2: Si $G$ es un grupo MIF que contiene un subgrupo libre no abeliano de cardinalidad $|G|$, entonces $RG$ es primitivo para cualquier dominio $R$ con $|R| \le |G|$, y $KG$ es primitivo para cualquier cuerpo $K$.
• Teorema 1.4: Si un grupo contable $G$ admite una acción topológicamente libre y extremadamente proximal sobre un espacio Hausdorff $X$ ($|X| > 2$), entonces $RG$ es primitivo para cualquier dominio contable $R$, y $KG$ es primitivo para cualquier cuerpo $K$.
• Recuperación de resultados existentes: El nuevo criterio proporciona una prueba independiente para la primitividad de los anillos de grupo para:
  • Todos los grupos acindricamente hiperbólicos sin subgrupos normales finitos (recuperando Abbott–Dahmani).
  • Todos los grupos hiperbólicos no elementales y productos libres no elementales (recuperando a Solie y Formanek).
• Expansión a nuevos ejemplos: El criterio se aplica positivamente a una "plétora" de grupos que anteriormente no estaban cubiertos por estos resultados específicos de primitividad, incluyendo:
  • Grupos de tipo Thompson (Higman–Thompson $G_{n,r}$, Brin–Thompson $nV$, el grupo de Röver).
  • Grupos conmutadores de grupos hiperbólicos no elementales libres de torsión.
  • Ciertos grupos de Kac–Moody y grupos de Burger–Mozes.
  • Grupos que actúan sobre árboles y ciertos grupos lineales.

Significancia
El artículo reclama su significancia al unificar el estudio de la primitividad de los anillos de grupo bajo el paraguas de la libertad de identidades mixtas. Al demostrar que ser MIF es una condición suficiente para la primitividad (dada la presencia de un subgrupo libre no abeliano), el trabajo extiende los resultados conocidos a una vasta clase de grupos que a menudo se estudian por sus propiedades dinámicas (por ejemplo, acciones extremadamente proximales) más que por las puramente algebraicas. El criterio dinámico (Teorema 1.4) es particularmente notable, ya que permite la verificación de la primitividad a través del comportamiento geométrico o topológico de las acciones grupales, un método que es probable que genere más ejemplos a medida que el estudio de las acciones extremadamente proximales se expanda en el contexto de las $C^*$-álgebras y la teoría de grupos geométricos. El autor señala que este enfoque recupera teoremas importantes mientras abre simultáneamente la puerta para probar la primitividad de muchos grupos nuevos y complejos.