Involutions of (twisted) diagram monoids

Resumo Técnico: Involuções de Monoides de Diagramas (Torcidos)

Enunciado do Problema
O artigo aborda a classificação de involuções (anti-automorfismos auto-inversos) para uma classe ampla de monoides de diagramas e seus produtos torcidos associados. Embora a involução canônica (reflexão vertical) seja bem compreendida em álgebras e monoides de diagramas, o panorama de todas as possíveis involuções, e suas propriedades algébricas específicas em relação à regularidade, permanece amplamente inexplorado tanto para estruturas não torcidas quanto para as torcidas. Especificamente, os autores visam:

1. Classificar todas as involuções dos monoides de partição ($P_n$), partição planar ($PP_n$), Brauer parcial ($PB_n$), Motzkin ($M_n$), Brauer ($B_n$) e Temperley–Lieb ($TL_n$).
2. Caracterizar quais dessas involuções tornam os monoides estrela-regulares ($\ast$-regulares) ou monoides estrela-regulares.
3. Estender essa classificação e caracterização para "monoides de diagramas torcidos", que são álgebras de semigrupos de monoides de diagramas subjacentes aumentados com informações sobre componentes flutuantes (via a torção de contagem de flutuantes canônica $\Phi$) ou torção baseada em posto ($\Psi$).

Uma motivação central é a observação de que, enquanto os monoides de diagramas são tipicamente monoides $\ast$-regulares (onde a involução mapeia elementos para seus inversos de von Neumann), seus contrapartes torcidos frequentemente falham em ser regulares. Os autores investigam se essas estruturas torcidas retêm propriedades de regularidade mais fracas, especificamente a estrela-regularidade.

Metodologia
Os autores empregam uma abordagem de duas frentes, desenvolvendo uma teoria geral para produtos torcidos antes de aplicá-la a monoides de diagramas específicos.

• Teoria Geral de Produtos Torcidos: O artigo estabelece um arcabouço para o produto torcido $T = M \times_q^\Phi S$, onde $S$ é um monoide, $M$ é um monoide comutativo, e $\Phi: S \times S \to \mathbb{N}$ é um mapa de torção. Os autores introduzem e utilizam propriedades como estreiteza (tightness), unitalidade e invariância de Green para a torção $\Phi$. Eles desenvolvem uma classificação geral de involuções para tais produtos, distinguindo entre involuções "puras" (onde a segunda coordenada depende apenas da segunda coordenada da entrada) e involuções "gerais".
• Classificação de Automorfismos: Para classificar as involuções, os autores primeiro determinam os grupos de automorfismos dos monoides de diagramas subjacentes. Embora os automorfismos para $P_n$, $PB_n$ e $B_n$ fossem conhecidos (Mazorchuk), os autores fornecem novas classificações para os monoides planares $PP_n$, $M_n$ e $TL_n$.
• Análise do Centro: Os autores provam que os centros desses monoides de diagramas são triviais para $n$ suficientemente grande. Este resultado é crucial para a teoria geral, pois um centro trivial em $S$ implica que todas as involuções do produto torcido $T$ são puras.
• Caracterização da Regularidade: Usando a classificação geral de involuções, os autores derivam condições necessárias e suficientes para que $T$ seja um monoide estrela-regular ou um monoide estrela-regular. Isso envolve analisar a interação entre a involução, o mapa de torção $\Phi$ (ou $\Psi$) e os inversos de Moore-Penrose.

Contribuições Principais e Resultados

1. Classificação de Involuções em Monoides de Diagramas:

   • Para $P_n$, $PB_n$ e $B_n$, as involuções estão em correspondência biunívoca com permutações auto-inversas do conjunto subjacente (conjugadas da involução canônica).
   • Para os monoides planares $PP_n$, $M_n$ e $TL_n$, existem geralmente apenas duas involuções: a canônica e uma rotação de 180 graus (denotada por $\rho$).
   • Os autores caracterizam quais involuções produzem estruturas estrela-regulares ou de monoide estrela-regular. Notavelmente, $B_n$ é estrela-regular para muitas involuções, mas um monoide estrela-regular apenas para a canônica.

2. Trivialidade do Centro:

   • O artigo prova que $P_n, PP_n, PB_n, M_n$ (para $n \ge 2$) e $B_n, TL_n$ (para $n \ge 3$) possuem centros triviais. Este é um resultado inédito afirmado como sendo de interesse independente.

3. Teoria Geral de Produtos Torcidos:

   • Os autores classificam as involuções de $M \times_q^\Phi S$ sob a suposição de unitalidade. Eles mostram que, se $S$ possui um centro trivial, todas as involuções do produto torcido são puras.
   • Eles fornecem fórmulas explícitas para inversos de Moore-Penrose em produtos torcidos estrela-regulares.

4. Monoides de Diagramas Torcidos (Contagem de Flutuantes $\Phi$):

   • Para monoides torcidos sobre os inteiros ($M = \mathbb{Z}$), os autores classificam todas as involuções.
   • Resultado Inesperado: Embora a maioria dos monoides de diagramas torcidos não seja um monoide $\ast$-regular, eles são frequentemente estrela-regulares. Especificamente, monoides de diagramas torcidos sobre os inteiros são sempre estrela-regulares em relação a involuções que estendem involuções estrela-regulares do monoide base.
   • Exceção: O monoide de Brauer torcido $\mathbb{Z} \times_1^\Phi B_2$ é único em que admite involuções não-puras e, curiosamente, é estrela-regular em relação às suas involuções puras e não-puras.
   • A estrela-regularidade (a condição mais forte onde a involução mapeia para o inverso) mostra-se muito rara, ocorrendo apenas em casos específicos de baixo grau.

5. Monoides de Diagramas Torcidos (Baseados em Posto $\Psi$):

   • Os autores aplicam o mesmo programa à torção baseada em posto $\Psi$.
   • Diferente do caso de contagem de flutuantes, a torção baseada em posto produz uma estrutura mais rica: existem geralmente mais involuções, e a estrela-regularidade e a estrela-regularidade de tipo regular são mais comuns.
   • Descoberta Significativa: Sobre os inteiros, todo monoide de diagrama torcido baseado em posto $\mathbb{Z} \times_1^\Psi S$ é um monoide estrela-regular em relação a uma determinada involução "negativa". Isso fornece novas e naturais famílias infinitas de monoides estrela-regulares.

Significância e Alegações
O artigo afirma fornecer uma classificação completa das involuções para os monoides de diagramas mais estudados e suas variantes torcidas. Os autores destacam várias descobertas inesperadas:

• A distinção entre estrela-regularidade e estrela-regularidade de tipo regular é nítida; muitos monoides torcidos são estrela-regulares, mas não monoides estrela-regulares de tipo regular.
• Monoides de diagramas torcidos sobre os inteiros servem como novos e naturais exemplos de monoides estrela-regulares, uma classe de estruturas introduzida por Drazin.
• A torção baseada em posto $\Psi$ oferece um arcabouço mais robusto para a regularidade do que a torção canônica de contagem de flutuantes $\Phi$, gerando famílias infinitas de monoides estrela-regulares.
• O desenvolvimento de uma teoria geral para involuções de produtos torcidos, particularmente a identificação da "unitalidade" como uma propriedade chave mais fraca que a estreiteza, permite resultados gerais fortes mesmo quando a torção não é estreita (como é o caso para os monoides de Motzkin e Brauer parcial).

O trabalho é apresentado como um passo fundamental para a compreensão da simetria e das propriedades de regularidade das álgebras de diagramas e de suas contrapartes torcidas, com implicações para o estudo de álgebras celulares e a estrutura de álgebras de semigrupos.