Order embeddings of real matrix domains

Enunciado do Problema
O artigo aborda o problema de caracterizar a forma geral de incorporações de ordem (order embeddings) em domínios matriciais. Especificamente, seja $n \ge 2$ um inteiro e $S_n$ o conjunto de todas as matrizes reais simétricas de ordem $n \times n$. Um subconjunto $U \subset S_n$ é definido como um domínio matricial se for aberto e conexo. Uma aplicação $\phi: U \to S_n$ é uma incorporação de ordem se preservar a ordem parcial de Loewner em ambos os sentidos: para cada par $X, Y \in U$, $X \le Y \iff \phi(X) \le \phi(Y)$. O objetivo principal é descrever a estrutura explícita de tais aplicações $\phi$.

Metodologia
A abordagem desenvolvida neste artigo é distinta de trabalhos anteriores sobre matrizes hermitianas complexas (especificamente a referência [17]), que dependiam da holomorfia de dimensão infinita. Como as técnicas holomorfas não são aplicáveis no caso real, o autor emprega uma abordagem geométrica inspirada na geometria de espaços homogêneos algébricos e na geometria de matrizes.

Principais ferramentas metodológicas incluem:

1. Análise de Posto e Traço: Utilização da função traço para estabelecer propriedades de continuidade (Lema 2.1) e análise do posto das diferenças entre matrizes para preservar propriedades estruturais.
2. Projeções de Posto Um: Uso extensivo de projeções de posto um ($P \in P^1_n$) e da função $\alpha(A, P; B) = \max\{t \in \mathbb{R} : A + tP \le B\}$. Esta função serve como uma ferramenta crítica para caracterizar a relação de ordem e a continuidade.
3. Argumentos de Continuidade: Provar que incorporações de ordem em domínios matriciais são contínuas (Proposição 2.35) e estabelecer que as incorporações em intervalos fechados $[0, I]$ são determinadas pelo seu comportamento no interior, desde que sejam contínuas nos pontos extremantes.
4. Extensões Maximais: Uso do Lema de Zorn para estabelecer a existência de extensões maximais de incorporações de ordem e provar a unicidade dessas extensões (Corolário 3.1).
5. Geometria do Espaço de Grassmann: Emprego da geometria do espaço de Grassmann $G(n, 2n)$ para analisar a invertibilidade de expressões matriciais e a preservação de adjacência (posto das diferenças).

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.2): O artigo estabelece que, se $U \subset S_n$ é um domínio matricial contendo a matriz zero e $\phi: U \to S_n$ é uma incorporação de ordem com $\phi(0)=0$, então existem uma matriz simétrica $A \in S_n$ e uma matriz real invertível $T$ tais que $U \subset U_A$ (onde $U_A$ é um domínio específico definido pela invertibilidade de $XA+I$) e:
  $$\phi(X) = T(XA + I)^{-1} X T^t$$
  para todo $X \in U$.

• Proposição 1.1: Introduz a aplicação $\psi_A(X) = (XA + I)^{-1}X$, provando que é um isomorfismo de ordem contínuo entre domínios matriciais específicos $U_A$ e $U_{-A}$. Esta aplicação serve como o bloco de construção fundamental para a forma geral das incorporações.

• Resultados de Continuidade: O artigo prova que as incorporações de ordem em domínios matriciais são contínuas em toda parte (Proposição 2.35). Além disso, para intervalos matriciais fechados $[A, B]$, as incorporações de ordem são contínuas em toda parte, exceto potencialmente nos pontos extremantes, e sua forma no interior é estritamente determinada pela fórmula acima.

• Casos Especiais:

  • Intervalos Abertos: O Teorema 4.1 caracteriza as incorporações em intervalos abertos como $(-I, I)$, mostrando que elas assumem a forma $\phi(X) = T(XA + I)^{-1}XT^t + B$ com $\|A\| \le 1$.
  • O Espaço Inteiro: O Teorema 4.2 mostra que, se o domínio for o espaço inteiro $S_n$, a incorporação deve ser uma transformação afim da forma $\phi(X) = TXT^t + B$ (implicando $A=0$).
  • Intervalos Fechados: O Teorema 4.3 descreve as incorporações em $[0, I]$, mostrando que, embora a aplicação possa ser descontínua nos pontos extremantes $0$e$I$, sua restrição ao interior $(0, I)$ segue a forma geral derivada no Teorema 1.2.

• Unicidade e Extensão: O artigo prova um teorema de identidade (Teorema 2.41) afirmando que, se duas incorporações de ordem concordam em um subconjunto aberto não vazio de um domínio, elas são idênticas em todo o domínio. Também estabelece a existência e a unicidade de extensões maximais para incorporações de ordem (Corolário 3.1).

Significância e Conexões
O artigo afirma ter significância ao fornecer uma descrição completa de incorporações de ordem no cenário de matrizes simétricas reais, um problema onde os métodos anteriores para o caso complexo falharam. O autor destaca a conexão entre estes resultados e o teorema fundamental da cronogeometria. Especificamente, o problema de caracterizar aplicações bijetivas que preservam a adjacência em matrizes hermitianas complexas de $2 \times 2$ é equivalente ao problema de preservar a luz (lightlikeness) no espaço de Minkowski (teorema de Aleksandrov). As técnicas utilizadas neste artigo, particularmente aquelas envolvendo projeções de posto um e adjacência, são observadas como relacionadas às técnicas de prova encontradas em versões ótimas recentes do teorema de cronogeometria (referência [18]).

O trabalho também esclarece as diferenças estruturais entre os casos de dimensão finita e dimensão infinita em relação às incorporações de ordem, observando que, no caso de dimensão finita, a suposição de bijetividade não é necessária para descrever a forma geral, enquanto ela é indispensável no caso de dimensão infinita (como visto na referência [21]).