Maximal quadratic modules on *-rings.

DOI10.1007/S10468-007-9076-ZMaRDI QIDQ2479822zbMATH OpenOpenAlexFDO

Authors Jakob Cimprič

Publication date 3 April 2008

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0807.5011

zbMATH Keywords

rings with involutionOre localizationsmaximal quadratic modules

Mathematics Subject Classification ID

Rings with involution; Lie, Jordan and other nonassociative structures (16W10) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Ore rings, multiplicative sets, Ore localization (16U20)

Abstract: We generalize the notion of and results on maximal proper quadratic modules from commutative unital rings to $ast$-rings and discuss the relation of this generalization to recent developments in noncommutative real algebraic geometry. The simplest example of a maximal proper quadratic module is the cone of all positive semidefinite complex matrices of a fixed dimension. We show that the support of a maximal proper quadratic module is the symmetric part of a prime $ast$-ideal, that every maximal proper quadratic module in a Noetherian $ast$-ring comes from a maximal proper quadratic module in a simple artinian ring with involution and that maximal proper quadratic modules satisfy an intersection theorem. As an application we obtain the following extension of Schm" udgen's Strict Positivstellensatz for the Weyl algebra: Let $c$ be an element of the Weyl algebra $mathcalW(d)$ which is not negative semidefinite in the Schr" odinger representation. It is shown that under some conditions there exists an integer $k$ and elements $r_1,\mathrm{...},r_{k}inmathcalW(d)$ such that $su{m}_{j=1}^k{r}_{j}c{r}_j^{a}st$ is a finite sum of hermitian squares. This result is not a proper generalization however because we don't have the bound $kled$.

Recommendations

• A Representation Theorem for Archimedean Quadratic Modules on ∗-Rings
• Quadratic modules, 𝐶*-algebras, and free convexity
• Non-commutative Real Algebraic Geometry - Some Basic Concepts and First Ideas
• Representations of non-negative polynomials having finitely many zeros
• Positivstellensätze for algebras of matrices

Cites work

• scientific article; zbMATH DE number 1633834 (Why is no real title available?)
• scientific article; zbMATH DE number 1236965 (Why is no real title available?)
• scientific article; zbMATH DE number 798609 (Why is no real title available?)
• ^*-Orderings on a ring with involution
• A nichtnegativstellensatz for polynomials in noncommuting variables
• A strict Positivstellensatz for enveloping algebras
• A strict Positivstellensatz for the Weyl algebra
• Goldie's theorems for involution rings
• Noncommutative Noetherian rings. With the cooperation of L. W. Small.
• Noncommutative sums of squares
• Operator-theoretic Positivstellensätze
• Rings with involution as partially ordered Abelian groups
• ``Positive noncommutative polynomials are sums of squares.

Cited in

(11)

• On certain maximal cyclic modules for the quantized special linear algebra at a root of unity.
• Positivstellensätze for algebras of matrices
• Noncommutative Positivstellensätze for pairs representation-vector
• Archimedean operator-theoretic Positivstellensätze
• A Representation Theorem for Archimedean Quadratic Modules on ∗-Rings
• Algebras of fractions and strict Positivstellensätze for \(*\)-algebras
• Symmetry reduction of states. II: A non-commutative positivstellensatz for \(\mathbb{C} \mathbb{P}^n\)
• On \(q\)-normal operators and the quantum complex plane
• On formally real modules
• [[:Publication:3402159|Quadratic modules in \(RX\)]]
• Note on quadratic modules in formal power series ring

This page was built for publication: Maximal quadratic modules on \(*\)-rings.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2479822)