Maximal quadratic modules on *-rings.

DOI10.1007/S10468-007-9076-ZzbMATH Open1140.16014arXiv0807.5011OpenAlexW3099728197MaRDI QIDQ2479822FDOQ2479822

Authors: Jakob Cimprič 

Publication date: 3 April 2008

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

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$.

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

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

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)

Cites Work

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

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)