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

Sintesi Tecnica: Preservatori Additivi dell'Ortogonalità Mutua Forte di Birkhoff-James su Algebre C di Dimensione Finita*

Enunciazione del Problema
Il lavoro indaga la struttura delle applicazioni suriettive additive $\Phi: A \to A$ su algebre C* complesse di dimensione finita che preservano l'"ortogonalità mutua forte di Birkhoff-James" in una direzione. In uno spazio normato $X$, due vettori $x, y$ sono ortogonali di Birkhoff-James (BJ) ($x \perp_{BJ} y$) se $\|x + \lambda y\| \ge \|x\|$ per ogni scalare $\lambda$. Quando $X$ è un modulo Hilbert destro su un'algebra C* $A$, $x$ è fortemente ortogonale di BJ a $y$ ($x \perp^S_{BJ} y$) se $\|x + yc\| \ge \|x\|$ per ogni $c \in A$. Gli autori si concentrano sulla versione mutua, indicata con $x \perp\perp^S_{BJ} y$, dove valgono sia $x \perp^S_{BJ} y$ che $y \perp^S_{BJ} x$.

Il contesto specifico è un'algebra C* di dimensione finita $A$, isomorfa a una somma diretta di algebre di matrici:
$$A \cong M_{n_1}(\mathbb{C}) \oplus M_{n_2}(\mathbb{C}) \oplus \cdots \oplus M_{n_k}(\mathbb{C}).$$
La questione centrale è classificare tutte le suriezioni additive $\Phi$ che soddisfano:
$$x \perp\perp^S_{BJ} y \implies \Phi(x) \perp\perp^S_{BJ} \Phi(y).$$

Metodologia
Gli autori adottano una strategia di riduzione, collegando la preservazione dell'ortogonalità alla preservazione della singolarità (non-invertibilità).

1. Riduzione alla Singolarità: Lo strumento tecnico fondamentale è il Teorema 1.4, che caratterizza le suriezioni additive su somme dirette di algebre di matrici che mappano elementi singolari in elementi singolari. La dimostrazione di tale teorema si basa su:

   • Preservazione del rango uno: Dimostrando che tali applicazioni inviano operatori di rango uno in operatori di rango uno o in zero (Lemma 2.2).
   • Permutazione dei blocchi: Dimostrando che l'applicazione permuta le componenti a blocchi dell'algebra (Lemma 2.3).
   • Teorema Fondamentale della Geometria delle Matrici: Applicando risultati noti sulle applicazioni additive che preservano il rango o la singolarità per determinare la forma specifica dell'applicazione su ciascun blocco (coinvolgendo endomorfismi di campo e matrici invertibili).

2. Dall'Ortogonalità alla Singolarità: Il Lemma 3.1 stabilisce che, per algebre C* di dimensione finita (esclusi specifici casi di bassa dimensione come $\mathbb{C} \oplus \mathbb{C}$), qualsiasi applicazione additiva che preserva l'ortogonalità mutua forte di BJ deve preservare anche la singolarità. Ciò è dimostrato costruendo specifiche relazioni di ortogonalità che coinvolgono decomposizioni ai valori singolari e mostrando che mappare un elemento singolare in uno invertibile porta a una contraddizione.

3. Analisi Strutturale dei Blocchi: Una volta ridotta l'applicazione a una forma che coinvolge permutazioni di blocchi ed endomorfismi di campo, gli autori analizzano i vincoli imposti dalla condizione di ortogonalità sulle componenti specifiche:

   • Eliminano forme basate sulla trasposizione (ad es. $A \mapsto A^T$) per blocchi di dimensione $n \ge 2$ (Lemma 3.3).
   • Determinano che l'endomorfismo di campo $\sigma$ deve essere l'identità o la coniugazione complessa (Lemma 3.4).
   • Dimostrano che le matrici invertibili coinvolte devono essere multipli scalari di operatori unitari e che i fattori di scala tra i blocchi devono essere uniformi (Lemma 3.6, 3.7, 3.8).

Risultati Chiave

• Teorema 1.2 (Classificazione Principale): Sia $A$ un'algebra C* complessa di dimensione finita non isomorfa a $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$ o $M_2(\mathbb{C})$. Una suriezione additiva $\Phi: A \to A$ preserva l'ortogonalità mutua forte di BJ se e solo se esistono:

  1. Una permutazione $\pi$ degli ideali minimi di $A$ che ne rispetta le dimensioni.
  2. Uno scalare positivo $\gamma$.
  3. Elementi unitari $u, v \in A$.
  4. Una mappa $a \mapsto a^\dagger$ che agisce come identità su alcuni ideali minimi e come coniugazione elemento per elemento (rispetto a una base ortonormale fissata) su altri.

  Tale che:
  $$\Phi(a) = \gamma u \pi(a)^\dagger v.$$

• Corollario 1.3: Sotto le stesse ipotesi, la classificazione per le applicazioni che preservano l'ortogonalità di BJ forte (non necessariamente mutua) è identica al caso mutuo.

• Teorema 1.4 (Preservatori di Singolarità): Per una somma diretta di algebre di matrici su un campo di caratteristica zero, una suriezione additiva preserva la singolarità se e solo se permuta i blocchi e agisce su ciascun blocco tramite una mappa della forma $A_i \mapsto P_i \pi(A_i)^{\sigma_i} Q_i$ oppure $A_i \mapsto P_i \pi(A_i^T)^{\sigma_i} Q_i$, dove $\sigma_i$ è un endomorfismo di campo.

Eccezioni e Controesempi
Il lavoro nota esplicitamente che il teorema principale fallisce per algebre della forma $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$ e $M_2(\mathbb{C})$:

• Per $A = \mathbb{C}$, ogni applicazione additiva preserva la relazione.
• Per $A = \mathbb{C} \oplus \mathbb{C}$, esistono preservatori lineari non standard che non rientrano nella forma unitaria/scalare (Esempio 3.2, Esempio 4.2).
• Per $A = M_2(\mathbb{C})$, la struttura è diversa; in particolare, qualsiasi applicazione della forma $\Phi(A) = PAQ$ con $P, Q$ invertibili preserva l'ortogonalità mutua forte di BJ, indipendentemente dal fatto che $P$ e $Q$ siano multipli scalari di operatori unitari (Esempio 4.3).

Significato e Ambito
Gli autori collocano questo lavoro come una classificazione dei preservatori additivi, estendendo risultati precedenti sui preservatori lineari e sull'ortogonalità negli spazi normati. Il significato risiede in:

1. Estensione della Teoria dell'Ortogonalità: Passare dai preservatori lineari alle suriezioni additive nel contesto dell'ortogonalità forte di BJ sulle algebre C*.
2. Collegamento di Concetti: Stabilire un legame rigoroso tra la nozione geometrica di ortogonalità mutua forte di BJ e la nozione algebrica di preservazione della singolarità.
3. Completamento della Classificazione: Fornire una descrizione strutturale completa per il caso generale di dimensione finita, delineando con cura i casi eccezionali di bassa dimensione in cui la struttura è più permissiva.

Il lavoro non propone nuove applicazioni o quadri sperimentali, ma si concentra strettamente sulla caratterizzazione algebrica di tali preservatori. Gli autori notano che, senza l'assunzione di additività, la classe dei preservatori diventa "selvaggia" (Osservazione 4.4), citando la letteratura esistente sui preservatori non lineari.