MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I've been searching google and scholar google, but i only have come upon orderings and Hermitian forms on *-fields.

Has real algebraic geometry been carried over to *-rings? *-rings are rings with an involution. For example are there Positivstellensätze and characterizations of sums of squares by total positivity etc.

If anyone has references, it would be of great help. Books, papers or online resources are all great. thanks in advance.

share|cite|improve this question
    
Aren't *-rings rings with an involution that is also an antiautomorphism? – Ricky Demer Oct 10 '10 at 4:20
    
yes. thanks for being precise. – user2529 Oct 10 '10 at 4:21
up vote 1 down vote accepted

Konrad Schmüdgen has set up a programme to develop analogues of the basic results in Real Algebraic Geometry in a setup of $\star$-algebras. See arxiv.org/abs/0709.3170 and for example arxiv.org/abs/0903.2708. There is also interesting recent work by Jaka Cimpric on that topic, arxiv.org/abs/0807.5020. Looking up the references in those articles will give you a lot more interesting sources of information.

There is also a reformulation of the Connes embedding conjecture in terms of sums of squares, which is due to Hadwin, Radulescu and Klep-Schweighofer in different variations.

share|cite|improve this answer
    
thank you andreas – user2529 Oct 11 '10 at 4:11

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.