Order embeddings of real matrix domains

Enunciato del Problema
Il documento affronta il problema della caratterizzazione della forma generale delle immersioni d'ordine su domini matriciali. Nello specifico, sia $n \ge 2$ un intero e $S_n$ indichi l'insieme di tutte le matrici reali simmetriche $n \times n$. Un sottoinsieme $U \subset S_n$ si definisce un dominio matriciale se è aperto e connesso. Una mappa $\phi: U \to S_n$ è un'immersione d'ordine se preserva l'ordine parziale di Loewner in entrambe le direzioni: per ogni coppia $X, Y \in U$, $X \le Y \iff \phi(X) \le \phi(Y)$. L'obiettivo primario è descrivere la struttura esplicita di tali mappe $\phi$.

Metodologia
L'approccio sviluppato in questo articolo è distinto dai lavori precedenti sulle matrici hermitiane complesse (specificamente il riferimento [17]), i quali si basavano sull'olomorfia a dimensione infinita. Poiché le tecniche olomorfe non sono applicabili nel caso reale, l'autore impiega un approccio geometrico ispirato alla geometria degli spazi omogenei algebrici e alla geometria delle matrici.

Strumenti metodologici chiave includono:

1. Analisi del Rango e della Traccia: Utilizzo della funzione traccia per stabilire proprietà di continuità (Lemma 2.1) e analisi del rango delle differenze tra matrici per preservare le proprietà strutturali.
2. Proiezioni di Rango Uno: Uso estensivo di proiezioni di rango uno ($P \in P^1_n$) e della funzione $\alpha(A, P; B) = \max\{t \in \mathbb{R} : A + tP \le B\}$. Questa funzione funge da strumento critico per caratterizzare la relazione d'ordine e la continuità.
3. Argomenti di Continuità: Dimostrare che le immersioni d'ordine su domini matriciali sono continue (Proposizione 2.35) e stabilire che le immersioni su intervalli chiusi $[0, I]$ sono determinate dal loro comportamento nell'interno, a condizione che siano continue agli estremi.
4. Estensioni Massimali: Utilizzo del Lemma di Zorn per stabilire l'esistenza di estensioni massimali di immersioni d'ordine e dimostrare l'unicità di tali estensioni (Corollario 3.1).
5. Geometria dello Spazio di Grassmann: Impiego della geometria dello spazio di Grassmann $G(n, 2n)$ per analizzare l'invertibilità di espressioni matriciali e la preservazione dell'adiacenza (rango delle differenze).

Contributi Chiave e Risultati

• Teorema Principale (Teorema 1.2): Il documento stabilisce che se $U \subset S_n$ è un dominio matriciale contenente la matrice zero e $\phi: U \to S_n$ è un'immersione d'ordine con $\phi(0)=0$, allora esistono una matrice simmetrica $A \in S_n$ e una matrice reale invertibile $T$ tali che $U \subset U_A$ (dove $U_A$ è un dominio specifico definito dall'invertibilità di $XA+I$) e:
  $$\phi(X) = T(XA + I)^{-1} X T^t$$
  per ogni $X \in U$.

• Proposizione 1.1: Introduce la mappa $\psi_A(X) = (XA + I)^{-1}X$, dimostrando che è un isomorfismo d'ordine continuo tra specifici domini matriciali $U_A$ e $U_{-A}$. Questa mappa funge da blocco costruttivo fondamentale per la forma generale delle immersioni.

• Risultati sulla Continuità: Il documento dimostra che le immersioni d'ordine su domini matriciali sono continue ovunque (Proposizione 2.35). Inoltre, per gli intervalli chiusi $[A, B]$, le immersioni d'ordine sono continue ovunque eccetto potenzialmente agli estremi, e la loro forma nell'interno è strettamente determinata dalla formula sopra citata.

• Casi Speciali:

  • Intervalli Aperti: Il Teorema 4.1 caratterizza le immersioni su intervalli aperti come $(-I, I)$, mostrando che esse assumono la forma $\phi(X) = T(XA + I)^{-1}XT^t + B$ con $\|A\| \le 1$.
  • Lo Spazio Intero: Il Teorema 4.2 mostra che se il dominio è l'intero spazio $S_n$, l'immersione deve essere una trasformazione affine della forma $\phi(X) = TXT^t + B$ (implicando $A=0$).
  • Intervalli Chiusi: Il Teorema 4.3 descrive le immersioni su $[0, I]$, mostrando che, sebbene la mappa possa essere discontinua agli estremi $0$e$I$, la sua restrizione nell'interno $(0, I)$ segue la forma generale derivata nel Teorema 1.2.

• Unicità ed Estensione: Il documento dimostra un teorema di identità (Teorema 2.41) il quale afferma che se due immersioni d'ordine concordano su un sottoinsieme aperto non vuoto di un dominio, esse sono identiche su l'intero dominio. Stabilisce inoltre l'esistenza e l'unicità di estensioni massimali per le immersioni d'ordine (Corollario 3.1).

Significatività e Connessioni
Il documento rivendica la propria significatività nel fornire una descrizione completa delle immersioni d'ordine nel contesto delle matrici reali simmetriche, un problema in cui i precedenti metodi per il caso complesso sono falliti. L'autore evidenzia la connessione tra questi risultati e il teorema fondamentale della cronogeometria. Nello specifico, il problema di caratterizzare le mappe biettive che preservano l'adiacenza su matrici hermitiane complesse $2 \times 2$ è equivalente al problema di preservare la luce-simile nello spazio di Minkowski (teorema di Aleksandrov). Le tecniche utilizzate in questo articolo, in particolare quelle che coinvolgono le proiezioni di rango uno e l'adiacenza, sono notate per essere correlate alle tecniche di prova trovate nelle recenti versioni ottimali del teorema di cronogeometria (riferimento [18]).

Il lavoro chiarisce inoltre le differenze strutturali tra i casi a dimensione finita e a dimensione infinita riguardo alle immersioni d'ordine, notando che nel caso a dimensione finita l'assunzione di biettività non è richiesta per descrivere la forma generale, mentre essa è indispensabile nel caso a dimensione infinita (come visto nel riferimento [21]).