Publikation: Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials
Dateien
Datum
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Publikationsstatus
Erschienen in
Zusammenfassung
Wir zeigen die Entscheidbarkeit der Archimedizität eines endlich erzeugten quadratischen Moduls im Ring aller reellen Polynome in mehreren gegebenen Veränderlichen. Letzteres ist äquivalent zu der Frage, ob die von endlich vielen gegebenen reellen Polynomen erzeugte abgeschlossene semialgebraische Menge beschränkt ist, und ob jedes auf dieser Menge strikt positive reelle Polynom eine Darstellung als Summe von Quadraten, die mit den gegebenen Polynomen gewichtet sein können, besitzt. Dafür verschärfen wir die 2001 von T. Jacobi und A. Prestel gefundene bewertungstheoretische Charakterisierung dieser Frage. Diese Verschärfung wurde durch einen Satz von H.W. Schülting aus dem Jahre 1986 inspiriert, für den wir einen neuen Beweis angeben, der bewertungstheoretische und modelltheoretische Methoden vereint und dafür auf tiefliegende Resultate (eingebettete Auflösung von Singularitäten) aus der Algebraischen Geometrie verzichten kann.
Zusammenfassung in einer weiteren Sprache
We show that it is possible to decide whether a finitely generated quadratic module in the ring of all real polynomials in several given variables is archimedean. The latter is equivalent to the question whether the closed semialgebraic set generated by finitely many given real polynomials is bounded and whether every real polynomial which is strictly positive on this set admits a representation as a sum of squares which may be weighted by the given polynomials. To show this we strengthen the valuation theoretic characterization of this question that was given by T. Jacobi and A. Prestel in 2001. This strengthening was inspired by a theorem of H.W. Schülting from 1986. We give a new proof for this theorem which combines valuation theoretic and model theoretic methods and thus avoids using deep results (embedded resolution of singularities) from algebraic geometry.
Fachgebiet (DDC)
Schlagwörter
Konferenz
Rezension
Zitieren
ISO 690
WAGNER, Sven, 2009. Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials [Dissertation]. Konstanz: University of KonstanzBibTex
@phdthesis{Wagner2009Archi-556,
year={2009},
title={Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials},
author={Wagner, Sven},
address={Konstanz},
school={Universität Konstanz}
}RDF
<rdf:RDF
xmlns:dcterms="http://purl.org/dc/terms/"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:bibo="http://purl.org/ontology/bibo/"
xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:void="http://rdfs.org/ns/void#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#" >
<rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/556">
<dcterms:abstract xml:lang="deu">Wir zeigen die Entscheidbarkeit der Archimedizität eines endlich erzeugten quadratischen Moduls im Ring aller reellen Polynome in mehreren gegebenen Veränderlichen. Letzteres ist äquivalent zu der Frage, ob die von endlich vielen gegebenen reellen Polynomen erzeugte abgeschlossene semialgebraische Menge beschränkt ist, und ob jedes auf dieser Menge strikt positive reelle Polynom eine Darstellung als Summe von Quadraten, die mit den gegebenen Polynomen gewichtet sein können, besitzt. Dafür verschärfen wir die 2001 von T. Jacobi und A. Prestel gefundene bewertungstheoretische Charakterisierung dieser Frage. Diese Verschärfung wurde durch einen Satz von H.W. Schülting aus dem Jahre 1986 inspiriert, für den wir einen neuen Beweis angeben, der bewertungstheoretische und modelltheoretische Methoden vereint und dafür auf tiefliegende Resultate (eingebettete Auflösung von Singularitäten) aus der Algebraischen Geometrie verzichten kann.</dcterms:abstract>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
<dc:rights>Attribution-NonCommercial-NoDerivs 2.0 Generic</dc:rights>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-22T17:45:02Z</dcterms:available>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-22T17:45:02Z</dc:date>
<bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/556"/>
<dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/556/1/Dissertation_Wagner.pdf"/>
<dcterms:issued>2009</dcterms:issued>
<dc:language>eng</dc:language>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
<dc:format>application/pdf</dc:format>
<dcterms:title>Archimedean Quadratic Modules : A Decision Problem for Real Multivariate Polynomials</dcterms:title>
<dcterms:alternative>Archimedische quadratische Moduln: Ein Entscheidungsproblem für reelle Polynome in mehreren Variablen</dcterms:alternative>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dc:creator>Wagner, Sven</dc:creator>
<dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/556/1/Dissertation_Wagner.pdf"/>
<dc:contributor>Wagner, Sven</dc:contributor>
<dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/2.0/"/>
</rdf:Description>
</rdf:RDF>
