Additive preservers of mutual strong Birkhoff-James orthogonality on finite-dimensional $C^\ast$-algebras

Resumo Técnico: Preservadores Aditivos da Ortogonalidade Mútua Forte de Birkhoff-James em Álgebras C de Dimensão Finita*

Enunciado do Problema
O artigo investiga a estrutura de aplicações sobrejetivas aditivas $\Phi: A \to A$ em álgebras complexas $C^*$ de dimensão finita que preservam a "ortogonalidade mútua forte de Birkhoff-James" em uma direção. Em um espaço normado $X$, dois vetores $x, y$ são ortogonais a Birkhoff-James (BJ) ($x \perp_{BJ} y$) se $\|x + \lambda y\| \ge \|x\|$ para todos os escalares $\lambda$. Quando $X$ é um módulo Hilbert $C^*$ à direita sobre uma álgebra $C^*$, $x$ é fortemente ortogonal a BJ a $y$ ($x \perp^S_{BJ} y$) se $\|x + yc\| \ge \|x\|$ para todo $c \in A$. Os autores focam na versão mútua, denotada $x \perp\perp^S_{BJ} y$, onde tanto $x \perp^S_{BJ} y$ quanto $y \perp^S_{BJ} x$ se verificam.

O cenário específico é uma álgebra $C^*$ de dimensão finita $A$, que é isomorfa a uma soma direta de álgebras de matrizes:
$$A \cong M_{n_1}(\mathbb{C}) \oplus M_{n_2}(\mathbb{C}) \oplus \cdots \oplus M_{n_k}(\mathbb{C}).$$
A questão central é classificar todas as sobrejeções aditivas $\Phi$ que satisfazem:
$$x \perp\perp^S_{BJ} y \implies \Phi(x) \perp\perp^S_{BJ} \Phi(y).$$

Metodologia
Os autores empregam uma estratégia de redução, ligando a preservação da ortogonalidade à preservação da singularidade (não-invertibilidade).

1. Redução à Singularidade: A ferramenta técnica central é o Teorema 1.4, que caracteriza sobrejeções aditivas em somas diretas de álgebras de matrizes que mapeiam elementos singulares em elementos singulares. A prova deste teorema baseia-se em:

   • Preservação de posto um: Mostrar que tais aplicações enviam operadores de posto um em operadores de posto um ou zero (Lema 2.2).
   • Permutação de blocos: Demonstrar que a aplicação permuta os componentes de bloco da álgebra (Lema 2.3).
   • Teorema Fundamental da Geometria das Matrizes: Aplicar resultados conhecidos sobre aplicações aditivas que preservam posto ou singularidade para determinar a forma específica da aplicação em cada bloco (envolvendo endomorfismos de corpo e matrizes invertíveis).

2. Ortogonalidade à Singularidade: O Lema 3.1 estabelece que, para álgebras $C^*$ de dimensão finita (excluindo casos de baixa dimensão específicos como $\mathbb{C} \oplus \mathbb{C}$), qualquer aplicação aditiva que preserva a ortogonalidade mútua forte de BJ também deve preservar a singularidade. Isso é provado construindo relações de ortogonalidade específicas envolvendo decomposições em valores singulares e mostrando que mapear um elemento singular para um invertível leva a uma contradição.

3. Análise Estrutural dos Blocos: Uma vez que a aplicação é reduzida a uma forma envolvendo permutações de blocos e endomorfismos de corpo, os autores analisam as restrições impostas pela condição de ortogonalidade sobre os componentes específicos:

   • Eles eliminam formas baseadas em transposição (por exemplo, $A \mapsto A^T$) para blocos de dimensão $n \ge 2$ (Lema 3.3).
   • Eles determinam que o endomorfismo de corpo $\sigma$ deve ser ou a identidade ou a conjugação complexa (Lema 3.4).
   • Eles provam que as matrizes invertíveis envolvidas devem ser múltiplos escalares de operadores unitários e que os fatores de escala entre os blocos devem ser uniformes (Lemas 3.6, 3.7, 3.8).

Resultados Principais

• Teorema 1.2 (Classificação Principal): Seja $A$ uma álgebra $C^*$ complexa de dimensão finita não isomorfa a $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$ ou $M_2(\mathbb{C})$. Uma sobrejeção aditiva $\Phi: A \to A$ preserva a ortogonalidade mútua forte de BJ se e somente se existirem:

  1. Uma permutação $\pi$ dos ideais mínimos de $A$ respeitando suas dimensões.
  2. Um escalar positivo $\gamma$.
  3. Elementos unitários $u, v \in A$.
  4. Uma aplicação $a \mapsto a^\dagger$ que atua como a identidade em alguns ideais mínimos e como conjugação entrada a entrada (em relação a uma base ortonormal fixa) em outros.

  De modo que:
  $$\Phi(a) = \gamma u \pi(a)^\dagger v.$$

• Corolário 1.3: Sob as mesmas premissas, a classificação para aplicações que preservam a ortogonalidade forte de BJ (não necessariamente mútua) é idêntica ao caso mútuo.

• Teorema 1.4 (Preservadores de Singularidade): Para uma soma direta de álgebras de matrizes sobre um corpo de característica zero, uma sobrejeção aditiva preserva a singularidade se e somente se ela permutar os blocos e atuar em cada bloco através de uma aplicação da forma $A_i \mapsto P_i \pi(A_i)^{\sigma_i} Q_i$ ou $A_i \mapsto P_i \pi(A_i^T)^{\sigma_i} Q_i$, onde $\sigma_i$ é um endomorfismo de corpo.

Exceções e Contraexemplos
O artigo observa explicitamente que o teorema principal falha para álgebras da forma $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$ e $M_2(\mathbb{C})$:

• Para $A = \mathbb{C}$, toda aplicação aditiva preserva a relação.
• Para $A = \mathbb{C} \oplus \mathbb{C}$, existem preservadores lineares não padrão que não se encaixam na forma unitária/escalar (Exemplo 3.2, Exemplo 4.2).
• Para $A = M_2(\mathbb{C})$, a estrutura é diferente; especificamente, qualquer aplicação da forma $\Phi(A) = PAQ$ com $P, Q$ invertíveis preserva a ortogonalidade mútua forte de BJ, independentemente de $P$ e $Q$ serem múltiplos escalares de unitários (Exemplo 4.3).

Significado e Escopo
Os autores posicionam este trabalho como uma classificação de preservadores aditivos, estendendo resultados anteriores sobre preservadores lineares e ortogonalidade em espaços normados. O significado reside em:

1. Extensão da Teoria da Ortogonalidade: Avançar de preservadores lineares para sobrejeções aditivas no contexto da ortogonalidade forte de BJ em álgebras $C^*$.
2. Conexão de Conceitos: Estabelecer um vínculo rigoroso entre a noção geométrica de ortogonalidade mútua forte de BJ e a noção algébrica de preservação de singularidade.
3. Completar a Classificação: Fornecer uma descrição estrutural completa para o caso geral de dimensão finita, delineando cuidadosamente os casos excepcionais de baixa dimensão onde a estrutura é mais permissiva.

O artigo não propõe novas aplicações ou frameworks experimentais, mas foca estritamente na caracterização algébrica desses preservadores. Os autores observam que, sem a suposição de aditividade, a classe de preservadores torna-se "selvagem" (Observação 4.4), citando literatura existente sobre preservadores não lineares.