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

Resumen Técnico: Preservadores Aditivos de la Ortogonalidad Mutua Fuerte de Birkhoff-James en Álgebras C de Dimensión Finita*

Planteamiento del Problema
El artículo investiga la estructura de aplicaciones sobreyectivas aditivas $\Phi: A \to A$ sobre álgebras $C^*$ complejas de dimensión finita que preservan la "ortogonalidad mutua fuerte de Birkhoff-James" en una dirección. En un espacio normado $X$, dos vectores $x, y$ son ortogonales de Birkhoff-James (BJ) ($x \perp_{BJ} y$) si $\|x + \lambda y\| \ge \|x\|$ para todos los escalares $\lambda$. Cuando $X$ es un módulo de Hilbert derecho sobre un álgebra $C^*$, $x$ es ortogonal fuertemente BJ a $y$ ($x \perp^S_{BJ} y$) si $\|x + yc\| \ge \|x\|$ para todo $c \in A$. Los autores se centran en la versión mutua, denotada $x \perp\perp^S_{BJ} y$, donde se cumplen tanto $x \perp^S_{BJ} y$ como $y \perp^S_{BJ} x$.

El escenario específico es un álgebra $C^*$ de dimensión finita $A$, que es isomorfa a una suma directa de álgebras de matrices:
$$A \cong M_{n_1}(\mathbb{C}) \oplus M_{n_2}(\mathbb{C}) \oplus \cdots \oplus M_{n_k}(\mathbb{C}).$$
La pregunta central es clasificar todas las sobreyecciones aditivas $\Phi$ que satisfacen:
$$x \perp\perp^S_{BJ} y \implies \Phi(x) \perp\perp^S_{BJ} \Phi(y).$$

Metodología
Los autores emplean una estrategia de reducción, vinculando la preservación de la ortogonalidad con la preservación de la singularidad (no invertibilidad).

1. Reducción a la Singularidad: La herramienta técnica central es el Teorema 1.4, que caracteriza las sobreyecciones aditivas sobre sumas directas de álgebras de matrices que mapean elementos singulares a elementos singulares. La demostración de este teorema se basa en:

   • Preservación de rango uno: Demostrar que tales aplicaciones envían operadores de rango uno a operadores de rango uno o a cero (Lema 2.2).
   • Permutación de bloques: Demostrar que la aplicación permuta los componentes de bloque del álgebra (Lema 2.3).
   • Teorema Fundamental de la Geometría de las Matrices: Aplicar resultados conocidos sobre aplicaciones aditivas que preservan el rango o la singularidad para determinar la forma específica de la aplicación en cada bloque (involucrando endomorfismos de cuerpo y matrices invertibles).

2. De la Ortogonalidad a la Singularidad: El Lema 3.1 establece que, para álgebras $C^*$ de dimensión finita (excluyendo casos de baja dimensión específicos como $\mathbb{C} \oplus \mathbb{C}$), cualquier aplicación aditiva que preserve la ortogonalidad mutua fuerte BJ también debe preservar la singularidad. Esto se demuestra construyendo relaciones de ortogonalidad específicas que involucran descomposiciones en valores singulares y mostrando que mapear un elemento singular a uno invertible conduce a una contradicción.

3. Análisis Estructural de Bloques: Una vez que la aplicación se reduce a una forma que involucra permutaciones de bloques y endomorfismos de cuerpo, los autores analizan las restricciones impuestas por la condición de ortogonalidad sobre los componentes específicos:

   • Eliminan formas basadas en la transposición (por ejemplo, $A \mapsto A^T$) para bloques de dimensión $n \ge 2$ (Lema 3.3).
   • Determinan que el endomorfismo de cuerpo $\sigma$ debe ser la identidad o la conjugación compleja (Lema 3.4).
   • Demuestran que las matrices invertibles involucradas deben ser múltiplos escalares de operadores unitarios y que los factores de escala a través de los bloques deben ser uniformes (Lemas 3.6, 3.7, 3.8).

Resultados Clave

• Teorema 1.2 (Clasificación Principal): Sea $A$ un álgebra $C^*$ compleja de dimensión finita no isomorfa a $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$ o $M_2(\mathbb{C})$. Una sobreyección aditiva $\Phi: A \to A$ preserva la ortogonalidad mutua fuerte BJ si y solo si existen:

  1. Una permutación $\pi$ de los ideales mínimos de $A$ que respeta sus dimensiones.
  2. Un escalar positivo $\gamma$.
  3. Elementos unitarios $u, v \in A$.
  4. Una aplicación $a \mapsto a^\dagger$ que actúa como la identidad en algunos ideales mínimos y como conjugación entrada a entrada (respecto a una base ortonormal fija) en otros.

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

• Corolario 1.3: Bajo las mismas suposiciones, la clasificación para aplicaciones que preservan la ortogonalidad BJ fuerte (no necesariamente mutua) es idéntica al caso mutuo.

• Teorema 1.4 (Preservadores de Singularidad): Para una suma directa de álgebras de matrices sobre un cuerpo de característica cero, una sobreyección aditiva preserva la singularidad si y solo si permuta los bloques y actúa sobre cada bloque mediante una aplicación de la forma $A_i \mapsto P_i \pi(A_i)^{\sigma_i} Q_i$ o $A_i \mapsto P_i \pi(A_i^T)^{\sigma_i} Q_i$, donde $\sigma_i$ es un endomorfismo de cuerpo.

Excepciones y Contraejemplos
El artículo señala explícitamente que el teorema principal falla para álgebras de la forma $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$ y $M_2(\mathbb{C})$:

• Para $A = \mathbb{C}$, toda aplicación aditiva preserva la relación.
• Para $A = \mathbb{C} \oplus \mathbb{C}$, existen preservadores lineales no estándar que no encajan en la forma unitaria/escalar (Ejemplo 3.2, Ejemplo 4.2).
• Para $A = M_2(\mathbb{C})$, la estructura es diferente; específicamente, cualquier aplicación de la forma $\Phi(A) = PAQ$ con $P, Q$ invertibles preserva la ortogonalidad mutua fuerte BJ, independientemente de si $P$ y $Q$ son múltiplos escalares de unitarios (Ejemplo 4.3).

Significado y Alcance
Los autores sitúan este trabajo como una clasificación de preservadores aditivos, ampliando resultados previos sobre preservadores lineales y ortogonalidad en espacios normados. El significado radica en:

1. Extensión de la Teoría de la Ortogonalidad: Pasar de preservadores lineales a sobreyecciones aditivas en el contexto de la ortogonalidad BJ fuerte en álgebras $C^*$.
2. Conexión de Conceptos: Establecer un vínculo riguroso entre la noción geométrica de ortogonalidad mutua fuerte BJ y la noción algebraica de preservación de la singularidad.
3. Completar la Clasificación: Proporcionar una descripción estructural completa para el caso general de dimensión finita, mientras se delimitan cuidadosamente los casos excepcionales de baja dimensión donde la estructura es más permisiva.

El artículo no propone nuevas aplicaciones ni marcos experimentales, sino que se centra estrictamente en la caracterización algebraica de estos preservadores. Los autores señalan que, sin la suposición de aditividad, la clase de preservadores se vuelve "salvaje" (Observación 4.4), citando literatura existente sobre preservadores no lineales.