Real closed separation theorems and applications to group algebras

DOI10.2140/PJM.2013.263.435MaRDI QIDQ2393601zbMATH OpenOpenAlexWikidataFDO

Authors Tim Netzer, Andreas Thom

Publication date 8 August 2013

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

\(\ast\)-algebragroup ringHahn-Banach separation theoremreal closed fieldsum of squares

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) Rings arising from noncommutative algebraic geometry (16S38) (C^*)-algebras and (W^*)-algebras in relation to group representations (22D25) Representations of topological algebras with involution (46K10) Convex sets without dimension restrictions (aspects of convex geometry) (52A05)

Abstract: In this paper we prove a strong Hahn-Banach theorem: separation of disjoint convex sets by linear forms is possible without any further conditions, if the target field $R$ is replaced by a more general real closed extension field. From this we deduce a general Positivstellensatz for *-algebras, involving representations over real closed fields. We investigate the class of group algebras in more detail. We show that the cone of sums of squares in the augmentation ideal has an interior point if and only if the first cohomology vanishes. For groups with Kazhdan's property (T) the result can be strengthened to interior points in the $el{l}^1$-metric. We finally reprove some strong Positivstellens"atze by Helton and Schm"udgen, using our separation method.

Recommendations

• Positivstellensätze for algebras of matrices
• A noncommutative real nullstellensatz corresponds to a noncommutative real ideal: algorithms
• Algebras of fractions and strict Positivstellensätze for *-algebras
• Non-commutative Real Algebraic Geometry - Some Basic Concepts and First Ideas
• Noncommutative Positivstellensätze for pairs representation-vector

Cited in

(17)

• Certifying numerical estimates of spectral gaps
• Amenability and uniform Roe algebras
• Facial structure of matrix convex sets
• Null- and positivstellensätze for rationally resolvable ideals
• Real group algebras
• Kazhdan's property (T) via semidefinite optimization
• Algebras of fractions and strict Positivstellensätze for *-algebras
• scientific article; zbMATH DE number 3868013 (Why is no real title available?)
• Noncommutative real algebraic geometry of Kazhdan's property (T)
• About the Connes embedding conjecture
• Quadratic modules, 𝐶*-algebras, and free convexity
• A substitute for Kazhdan's property (T) for universal nonlattices
• Spectrahedral shadows and completely positive maps on real closed fields
• Positive operator-valued noncommutative polynomials are squares
• A proper 1-cocycle on a Podleś sphere
• A noncommutative Nullstellensatz for perfect two-answer quantum nonlocal games
• One-to-one correspondence between generating functionals and cocycles on quantum groups in presence of symmetry

This page was built for publication: Real closed separation theorems and applications to group algebras

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