On projections of free semialgebraic sets

DOI10.1515/ADVGEOM-2022-0021zbMATH Open1524.14123arXiv1709.08424OpenAlexW2760298040MaRDI QIDQ6168279FDOQ6168279

Andreas Thom, Tom Drescher, Tim Netzer

Publication date: 10 July 2023

Published in: advg (Search for Journal in Brave)

Abstract: An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the decidability of the theory of real closed fields, and almost all Positivstellens"atze. Recently, non-commutative real algebraic geometry has evolved as an exciting new area of research, with many important applications. In this paper we examine to which extend a projection theorem is possible in the non-commutative (=free) setting. Although it is not yet clear what the correct notion of a free semialgebraic set is, we review and extend some results that count against a full free projection theorem. For example, it is undecidable whether a free statement holds for all matrices of at least one size. We then prove a weak version of the projection theorem: projections along linear and separated variables yields a semi-algebraically parametrised free semi-algebraic set.

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

zbMATH Keywords

Hermitian matrixsemialgebraic setprojection theorem

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) Semialgebraic sets and related spaces (14P10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Every convex free basic semi-algebraic set has an LMI representation
• Chapter 8: Free Convex Algebraic Geometry
• Unsolvability of the universal theory of finite groups
• The triviality problem for profinite completions
• Mathematical logic and model theory. A brief introduction

Cited In (5)

• Projective extensions of semilattices
• Title not available (Why is that?)
• Extension of free sets over commutative semirings
• A model theoretic perspective on matrix rings
• Title not available (Why is that?)

This page was built for publication: On projections of free semialgebraic sets

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