Positive definite matrices and involutions: the manners of their infinite cousins

Resumo Técnico: Matrizes Definidas Positivas e Involuções em Álgebras de Matrizes de Linhas e Colunas Finitas

Enunciado do Problema
O artigo investiga as propriedades estruturais de matrizes infinitas, especificamente dentro da álgebra $B(F)$ de matrizes $\omega \times \omega$ de linhas e colunas finitas sobre um corpo $F$ (onde $F$ é $\mathbb{R}$ ou $\mathbb{C}$). Embora conceitos como definição positiva, fatoração de Cholesky e involuções sejam bem estabelecidos para matrizes finitas ($M_n(F)$), sua extensão para dimensões infinitas apresenta obstáculos significativos. Os autores destacam que a multiplicação de matrizes infinitas não é necessariamente associativa, mesmo quando todos os produtos envolvidos estão definidos. Além disso, propriedades espectrais padrão (autovalores) e teoremas de fatoração (raiz quadrada, Cholesky) que se sustentam para matrizes finitas frequentemente falham ou comportam-se de maneira inesperada no cenário infinito. O objetivo principal é caracterizar involuções definidas positivas em $B(F)$ e determinar até que ponto as propriedades clássicas de matrizes (invertibilidade, fatoração, teoria espectral) persistem neste contexto infinito.

Metodologia
Os autores empregam uma combinação de análise teórica de anéis, teoria de módulos e construção explícita de matrizes.

1. Estrutura Algébrica: O estudo é fundamentado nas propriedades de $B(F)$ como um anel de troca (exchange ring) e sua relação com as álgebras de matrizes de linhas finitas ($RF$) e colunas finitas ($CF$). Os autores utilizam o conceito de $R \cdot M \cdot C$-associatividade (linhas finitas $\times$ arbitrária $\times$ colunas finitas) para navegar pela não-associatividade dos produtos de matrizes infinitas gerais.
2. Caracterização Teórica de Módulos: A invertibilidade e as condições de anulador são analisadas distinguindo entre ações no espaço de vetores de suporte finito ($V$) e no espaço de todos os vetores ($W$). O artigo distingue entre invertibilidade esquerda/direita em $CF$e$RF$ versus invertibilidade em $B(F)$.
3. Contraexemplos Construtivos: Uma parte significativa da metodologia envolve a construção de matrizes infinitas específicas (ex: matrizes de deslocamento, matrizes tridiagonais em blocos) para demonstrar a falha de propriedades que ocorrem no caso finito, tais como a existência de autovalores, raízes quadradas ou invertibilidade, apesar da definição positiva.
4. Truque de Jacobson: Para caracterizar involuções, os autores utilizam o teorema de Nathan Jacobson de que todos os automorfismos de $B(F)$ são internos. Isso permite que eles expressem involuções gerais como conjugações da involução transposta padrão (ou transposta conjugada) por uma matriz unidade.

Principais Contribuições e Resultados

1. Associatividade e Invertibilidade
O artigo documenta rigorosamente a falha de associatividade em $M(F)$, fornecendo exemplos onde $(AB)C \neq A(BC)$ apesar de todos os produtos estarem definidos. Estabelece que $B(F)$ é um $B(F)$-bimodulo $(RF, CF)$ onde a associatividade ocorre.

• Critérios de Invertibilidade: Uma matriz $A \in B(F)$ é invertível em $B(F)$ se, e somente se, seu espaço de colunas é igual a $V$ e seu espaço de linhas é igual a $V^t$. Os autores esclarecem que a invertibilidade em $CF$ (ou $RF$) não implica invertibilidade em $B(F)$, nem o desaparecimento de anuladores em $V$ garante a invertibilidade em $B(F)$.

2. Matrizes Definidas Positivas e Fatorações
Os autores definem uma matriz $A \in M$ como definida positiva se ela é Hermitiana e $x^*Ax > 0$ para todo $x$ não nulo em $V$.

• Fatoração de Cholesky: Diferente das matrizes finitas, onde a definição positiva implica invertibilidade, matrizes definidas positivas em $B(F)$ não precisam ser invertíveis. No entanto, o artigo prova que toda matriz definida positiva em $B(F)$ admite uma fatoração de Cholesky única $A = U^*U$ dentro de $B(F)$, onde $U$ é triangular superior com entradas diagonais positivas.
• Invertibilidade dos Fatores: A invertibilidade de $A$ em $B(F)$ é equivalente à invertibilidade de seu fator de Cholesky $U$ em $B(F)$.
• Anomalias Espectrais: O artigo constrói exemplos de matrizes definidas positivas em $B(F)$ que não possuem autovalores para sua ação em $V$, enquanto simultaneamente possuem cada escalar em $F$ como um autovalor para sua ação em $W$.

3. Raiz Quadrada
Um grande desvio da teoria de matrizes finitas é a não existência de raízes quadradas. Os autores provam que existem matrizes definidas positivas em $B(F)$ (tanto invertíveis quanto não invertíveis) que não possuem raízes quadradas em $B(F)$, nem nas álgebras maiores $RF$ ou $CF$. Isso é demonstrado através da construção de matrizes com propriedades espectrais específicas em $W$ que impedem a existência de uma raiz quadrada comutativa.

4. Caracterização de Involuções
O resultado teórico central diz respeito à classificação de involuções definidas positivas em $B(F)$.

• Teorema A (Resultado Principal): Uma involução $\#$ em $B(F)$ (linear para $F=\mathbb{R}$, conjugada-linear para $F=\mathbb{C}$) é "própria" (isto é, $A^\# A = 0 \implies A=0$) ou "definida positiva" (isto é, $\sum A_i^\# A_i = 0 \implies \text{todos } A_i = 0$) se, e somente se, ela é equivalente à involução transposta (ou transposta conjugada) padrão.
• Forma da Involução: Especificamente, tal involução é dada por $A^\# = C^{-1} A^* C$ para alguma matriz definida positiva invertível $C \in B(F)$.
• Equivalência: O artigo estabelece que qualquer involução própria é equivalente à involução padrão via um automorfismo interno. Inversamente, se a matriz de conjugação $C$ não for definida positiva (ou seu negativo), a involução resultante não é própria.

Significância e Alegações
O artigo afirma resolver a classificação de involuções definidas positivas na álgebra de matrizes de linhas e colunas finitas, mostrando que elas são estruturalmente idênticas às involuções padrão até a conjugação por uma matriz definida positiva.
Os autores enfatizam que, embora o "mau comportamento" das matrizes infinitas (não-associatividade, falta de autovalores, falta de raízes quadradas) seja bem conhecido, a persistência da fatoração de Cholesky e a caracterização específica das involuções definidas positivas fornecem um arcabouço robusto para trabalhar com esses objetos. Os resultados destacam que a definição positiva no cenário infinito é uma condição forte que força a involução a estar "próxima" daquela padrão, apesar da falha de outras propriedades clássicas de matrizes. O artigo não pretende estender esses resultados para álgebras de matrizes infinitas gerais sem as restrições de linhas/colunas finitas, nem propõe novas aplicações além da caracterização teórica dessas estruturas algébicas.