Mathematics – Rings and Algebras
Scientific paper
2008-07-31
Algebr. Represent. Theory 11 (2008), no. 1, 83--91
Mathematics
Rings and Algebras
11 pages
Scientific paper
10.1007/s10468-007-9076-z
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 $\mathcal{W}(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,...,r_k \in \mathcal{W}(d)$ such that $\sum_{j=1}^k r_j c r_j^\ast$ is a finite sum of hermitian squares. This result is not a proper generalization however because we don't have the bound $k \le d$.
No associations
LandOfFree
Maximal quadratic modules on *-rings does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Maximal quadratic modules on *-rings, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Maximal quadratic modules on *-rings will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-363467