Search arXiv⌕ Search

arXiv · 0709.3170

Non-commutative Real Algebraic Geometry - Some Basic Concepts and First Ideas

Abstract

We propose and discuss how basic notions (quadratic modules, positive elements, semialgebraic sets, Archimedean orderings) and results (Positivstellensaetze) from real algebraic geometry can be generalized to noncommutative $*$-algebras. A version of Stengle's Positivstellensatz for $n \times n$ matrices of real polynomials is proved.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Konrad Schmuedgen. 2007-09-25. Non-commutative Real Algebraic Geometry - Some Basic Concepts and First Ideas. https://arxiv.org/abs/0709.3170

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

W*-correlations of II$_1$ factors and rigidity of tensor products and graph products

A variant of Gromov's notion of measure equivalence for groups has been introduced for II$_1$ factors under different names. We propose the terminology of W*-correlated II$_1$ factors. We prove rigidity results up to W*-correlations for tensor products and graph products of II$_1$ factors. As a consequence, we construct the first uncountable family of discrete groups $Γ$ that are not von Neumann equivalent, which means that their group von Neumann algebras $L(Γ)$ are not W*-correlated, and which implies that these groups are neither measure equivalent, nor have isomorphic or virtually isomorphic group von Neumann algebras.

math.OA↗

Distances Between von Neumann Subalgebras: Spin Models, Commuting Squares, and Free Group Factors

We investigate the relative position of von Neumann subalgebras through their Mashood--Taylor ($\mathrm{d}_{\mathrm{MT}}$) and Kadison--Kastler ($\mathrm{d}_{\mathrm{KK}}$) distances, together with the interior angle. For each $n\in\mathbb{N}$, we show that the hyperfinite $\mathrm{II}_1$-factor $\mathscr{R}$ contains an uncountable family of pairwise distinct regular $n\times n$ spin model subfactors. In particular, we obtain a continuous family $(\mathscr{R}_{\mathsf{H}_α})_{α\in[0,π)}$ of $2\times2$ spin model subfactors satisfying \[ \mathrm{d}_{\mathrm{MT}}(\mathscr{R}_{\mathsf{H}_α},\mathscr{R}_{\mathsf{H}_β}) =|\sin(α-β)|. \] We prove that two such subfactors form a commuting square over their intersection if and only if they are maximally distant, i.e., $\mathrm{d}_{\mathrm{MT}}=1$. More generally, we establish structural results showing that commuting squares of $\mathrm{II}_1$-factors, under natural index conditions, force maximal distance, yielding $\mathrm{d}_{\mathrm{KK}}=1=\mathrm{d}_{\mathrm{MT}}$. We also show that two diffuse subalgebras orthogonal in the sense of Popa must be maximally distant. In contrast, no two members of $(\mathscr{R}_{\mathsf{H}_α})_{α\in[0,π)}$ are Popa-orthogonal. Nevertheless, whenever two are maximally distant, their interior angle over their intersection is $π/2$, demonstrating that interior-angle orthogonality differs from Popa orthogonality. Finally, in the free group factor $L(\mathbb{F}_2)=L(\langle a,b\rangle)$, we prove \[ \mathrm{d}_{\mathrm{MT}}(L(\langle a\rangle),uL(\langle a\rangle)u^*) =\sqrt{1-|τ(u)|^4} \] for $u\in L(\langle b\rangle)$, and construct maximally distant masas in $L(\mathbb{F}_2)$ that do not arise from subgroups of $\mathbb{F}_2$.

math.OA↗