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

Technische Samenvatting: Additieve Bewaarders van Wederzijdse Sterke Birkhoff-James Orthogonaliteit op Eindig-Dimensionale C-Algebra's*

Probleemstelling
Het artikel onderzoekt de structuur van additieve surjectieve afbeeldingen $\Phi: A \to A$ op eindig-dimensionale complexe $C^*$-algebra's die "wederzijdse sterke Birkhoff-James orthogonaliteit" in één richting behouden. In een genormeerde ruimte $X$ zijn twee vectoren $x, y$ Birkhoff-James (BJ) orthogonaal ($x \perp_{BJ} y$) als $\|x + \lambda y\| \ge \|x\|$ voor alle scalairen $\lambda$. Wanneer $X$ een rechter Hilbert $C^*$-module is over een $C^*$-algebra $A$, is $x$ sterk BJ orthogonaal aan $y$ ($x \perp^S_{BJ} y$) als $\|x + yc\| \ge \|x\|$ voor alle $c \in A$. De auteurs focussen op de wederzijdse versie, aangeduid als $x \perp\perp^S_{BJ} y$, waarbij zowel $x \perp^S_{BJ} y$ als $y \perp^S_{BJ} x$ geldt.

De specifieke context is een eindig-dimensionale $C^*$-algebra $A$, die isomorf is met een directe som van matrixalgebra's:
$$A \cong M_{n_1}(\mathbb{C}) \oplus M_{n_2}(\mathbb{C}) \oplus \cdots \oplus M_{n_k}(\mathbb{C}).$$
De centrale vraag is om alle additieve surjecties $\Phi$ te classificeren die voldoen aan:
$$x \perp\perp^S_{BJ} y \implies \Phi(x) \perp\perp^S_{BJ} \Phi(y).$$

Methodologie
De auteurs hanteren een reductiestrategie, waarbij het behoud van orthogonaliteit wordt gekoppeld aan het behoud van singulariteit (niet-inverteerbaarheid).

1. Reductie tot Singulariteit: Het kern technische instrument is Stelling 1.4, die additieve surjecties op directe sommen van matrixalgebra's karakteriseert die singuliere elementen op singuliere elementen afbeelden. Het bewijs van deze stelling berust op:

   • Behoud van rang één: Aantonen dat dergelijke afbeeldingen operatoren van rang één afbeelden op operatoren van rang één of nul (Lemma 2.2).
   • Blokpermutatie: Aantonen dat de afbeelding de blokcomponenten van de algebra permuteren (Lemma 2.3).
   • Fundamentele Stelling van de Meetkunde van Matrices: Toepassen van bekende resultaten over additieve afbeeldingen die rang of singulariteit behouden om de specifieke vorm van de afbeelding op elk blok te bepalen (met inbegrip van veldendomorfismen en inverteerbare matrices).

2. Orthogonaliteit tot Singulariteit: Lemma 3.1 stelt vast dat voor eindig-dimensionale $C^*$-algebra's (met uitzondering van specifieke laag-dimensionale gevallen zoals $\mathbb{C} \oplus \mathbb{C}$), elke additieve afbeelding die wederzijdse sterke BJ orthogonaliteit behoudt, ook singulariteit moet behouden. Dit wordt bewezen door specifieke orthogonaliteitsrelaties te construeren die singuliere waardeontbindingen betrekken en aan te tonen dat het afbeelden van een singulier element op een inverteerbaar element leidt tot een contradictie.

3. Structurele Analyse van Blokken: Zodra de afbeelding is gereduceerd tot een vorm die blokpermutaties en veldendomorfismen omvat, analyseren de auteurs de beperkingen die door de orthogonaliteitsvoorwaarde worden opgelegd aan de specifieke componenten:

   • Ze elimineren op transpositie gebaseerde vormen (bijv. $A \mapsto A^T$) voor blokken met dimensie $n \ge 2$ (Lemma 3.3).
   • Ze bepalen dat het veldomorfisme $\sigma$ ofwel de identiteit ofwel complexe conjugatie moet zijn (Lemma 3.4).
   • Ze bewijzen dat de betrokken inverteerbare matrices scalair veelvouden van unitaire operatoren moeten zijn en dat de schalingsfactoren over de blokken uniform moeten zijn (Lemma's 3.6, 3.7, 3.8).

Belangrijkste Resultaten

• Stelling 1.2 (Hoofdklassificatie): Laat $A$ een eindig-dimensionale complexe $C^*$-algebra zijn die niet isomorf is met $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$, of $M_2(\mathbb{C})$. Een additieve surjectie $\Phi: A \to A$ behoudt wederzijdse sterke BJ orthogonaliteit dan en slechts dan als er bestaan:

  1. Een permutatie $\pi$ van de minimale idealen van $A$ die hun dimensies respecteert.
  2. Een positieve scalair $\gamma$.
  3. Unitaire elementen $u, v \in A$.
  4. Een afbeelding $a \mapsto a^\dagger$ die als de identiteit werkt op sommige minimale idealen en als ingangsgewijze conjugatie (met betrekking tot een vaste orthonormale basis) op andere.

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

• Corollarium 1.3: Onder dezelfde aannames is de classificatie voor afbeeldingen die sterke BJ orthogonaliteit behouden (niet noodzakelijk wederzijds) identiek aan het wederzijdse geval.

• Stelling 1.4 (Singulariteitsbewaarders): Voor een directe som van matrixalgebra's over een veld met karakteristiek nul, behoudt een additieve surjectie singulariteit dan en slechts dan als het de blokken permuteren en op elk blok werkt via een afbeelding van de vorm $A_i \mapsto P_i \pi(A_i)^{\sigma_i} Q_i$ of $A_i \mapsto P_i \pi(A_i^T)^{\sigma_i} Q_i$, waarbij $\sigma_i$ een veldomorfisme is.

Uitzonderingen en Tegenvoorbeelden
Het artikel merkt expliciet op dat de hoofdstelling faalt voor algebra's van de vorm $\mathbb{C}$, $\mathbb{C} \oplus \mathbb{C}$, en $M_2(\mathbb{C})$:

• Voor $A = \mathbb{C}$ behoudt elke additieve afbeelding de relatie.
• Voor $A = \mathbb{C} \oplus \mathbb{C}$ bestaan er niet-standaard lineaire bewaarders die niet passen in de unitaire/scalair vorm (Voorbeeld 3.2, Voorbeeld 4.2).
• Voor $A = M_2(\mathbb{C})$ is de structuur anders; specifiek behoudt elke afbeelding van de vorm $\Phi(A) = PAQ$ met inverteerbare $P, Q$ wederzijdse sterke BJ orthogonaliteit, ongeacht of $P$ en $Q$ scalair veelvouden van unitaire operatoren zijn (Voorbeeld 4.3).

Betekenis en Reikwijdte
De auteurs positioneren dit werk als een classificatie van additieve bewaarders, die eerdere resultaten over lineaire bewaarders en orthogonaliteit in genormeerde ruimten uitbreidt. De betekenis ligt in:

1. Uitbreiding van Orthogonaliteitstheorie: Van lineaire bewaarders naar additieve surjecties in de context van sterke BJ orthogonaliteit op $C^*$-algebra's.
2. Verbinding van Concepten: Het vestigen van een rigoureuze link tussen het geometrische concept van wederzijdse sterke BJ orthogonaliteit en het algebraïsche concept van singulariteitsbehoud.
3. Voltooiing van de Classificatie: Het bieden van een complete structurele beschrijving voor het algemene eindig-dimensionale geval, terwijl zorgvuldig de uitzonderlijke laag-dimensionale gevallen worden afgebakend waar de structuur minder restrictief is.

Het artikel stelt geen nieuwe toepassingen of experimentele kaders voor, maar focust strikt op de algebraïsche karakterisering van deze bewaarders. De auteurs merken op dat zonder de additiviteitsaanname de klasse van bewaarders "wilden" wordt (Opmerking 4.4), met verwijzing naar bestaande literatuur over niet-lineaire bewaarders.