Showing 1–13 of 13 results for author: Quarez, R

On central orderings

Authors: Goulwen Fichou, Jean-Philippe Monnier, Ronan Quarez

Abstract: We define the notion of central orderings for a general commutative ring $A$ which generalizes the notion of central points of irreducible real algebraic varieties. We study a central and a precentral loci which both live in the real spectrum of the ring $A$ and allow to state central Positivestellensätze in the spirit of Hilbert 17th problem. We define the notion of central orderings for a general commutative ring $A$ which generalizes the notion of central points of irreducible real algebraic varieties. We study a central and a precentral loci which both live in the real spectrum of the ring $A$ and allow to state central Positivestellensätze in the spirit of Hilbert 17th problem. △ Less

Submitted 10 July, 2023; originally announced July 2023.

MSC Class: 06F25; 14P99; 13A99; 26C99

Algebraic characterizations of homeomorphisms between algebraic varieties

Authors: François Bernard, Goulwen Fichou, Jean-Philippe Monnier, Ronan Quarez

Abstract: We address the question of finding algebraic properties that are respectively equivalent, for a morphism between algebraic varieties over an algebraically closed field of characteristic zero, to be an homeomorphism for the Zariski topology and for a strong topology that we introduce. Our answers involve a study of seminormalization and saturation for morphisms between algebraic varieties, together… ▽ More We address the question of finding algebraic properties that are respectively equivalent, for a morphism between algebraic varieties over an algebraically closed field of characteristic zero, to be an homeomorphism for the Zariski topology and for a strong topology that we introduce. Our answers involve a study of seminormalization and saturation for morphisms between algebraic varieties, together with an interpretation in terms of continuous rational functions on the closed points of an algebraic variety. The continuity refers to the strong topology which is the usual Euclidean topology in the complex case, whereas it comes from the theory of real closed fields otherwise. △ Less

Submitted 15 November, 2022; v1 submitted 18 March, 2022; originally announced March 2022.

Comments: 32 pages

MSC Class: 14A10; 13B22; 14P99

Integral Closures In Real Algebraic Geometry

Authors: Jean-Philippe Monnier, Goulwen Fichou, Ronan Quarez

Abstract: We study the algebraic and geometric properties of the integral closure of different rings of functions on a real algebraic variety : the regular functions and the continuous rational functions. We study the algebraic and geometric properties of the integral closure of different rings of functions on a real algebraic variety : the regular functions and the continuous rational functions. △ Less

Submitted 20 December, 2018; v1 submitted 16 October, 2018; originally announced October 2018.

Substitution Property for the Ring of Continuous Rational Functions

Authors: Goulwen Fichou, Jean-Philippe Monnier, Ronan Quarez

Abstract: We study the substitution property for the ring R 0 (V) of continuous rational functions on a real algebraic affine variety V. We show that R 0 (V) satisfies a substitution property along points; moreover, when V is non-singular, it satisfies also a substitution property along Puiseux arcs, which characterizes R 0 (V). We study the substitution property for the ring R 0 (V) of continuous rational functions on a real algebraic affine variety V. We show that R 0 (V) satisfies a substitution property along points; moreover, when V is non-singular, it satisfies also a substitution property along Puiseux arcs, which characterizes R 0 (V). △ Less

Submitted 28 June, 2018; originally announced June 2018.

On regulous and regular images of Euclidean spaces

Authors: José Fernando, Goulwen Fichou, Ronan Quarez, Carlos Ueno

Abstract: In this work we compare the semialgebraic subsets that are images of regulous maps with those that are images of regular maps. Recall that a map f : R n $\rightarrow$ R m is regulous if it is a rational map that admits a continuous extension to R n. In case the set of (real) poles of f is empty we say that it is regular map. We prove that if S $\subset$ R m is the image of a regulous map f : R n… ▽ More In this work we compare the semialgebraic subsets that are images of regulous maps with those that are images of regular maps. Recall that a map f : R n $\rightarrow$ R m is regulous if it is a rational map that admits a continuous extension to R n. In case the set of (real) poles of f is empty we say that it is regular map. We prove that if S $\subset$ R m is the image of a regulous map f : R n $\rightarrow$ R m , there exists a dense semialgebraic subset T $\subset$ S and a regular map g : R n $\rightarrow$ R m such that g(R n) = T. In case dim(S) = n, we may assume that the difference S \ T has codimension $\ge$ 2 in S. If we restrict our scope to regulous maps from the plane the result is neat: if f : R 2 $\rightarrow$ R m is a regulous map, there exists a regular map g : R 2 $\rightarrow$ R m such that Im(f) = Im(g). In addition, we provide in the Appendix a regulous and a regular map f, g : R 2 $\rightarrow$ R 2 whose common image is the open quadrant Q := {x > 0, y > 0}. These maps are much simpler than the best known polynomial maps R 2 $\rightarrow$ R 2 that have the open quadrant as their image. △ Less

Submitted 19 October, 2017; originally announced October 2017.

Weak and semi normalization in real algebraic geometry

Authors: Goulwen Fichou, Jean-Philippe Monnier, Ronan Quarez

Abstract: We define the weak-normalization and the seminormalization of a real algebraic variety relative to its central locus. The study is related to the properties of the rings of continuous rational functions and hereditarily rational functions on real algebraic varieties. We provide in particular several characterizations (algebraic or geometric) of these varieties, and provide a full description of ce… ▽ More We define the weak-normalization and the seminormalization of a real algebraic variety relative to its central locus. The study is related to the properties of the rings of continuous rational functions and hereditarily rational functions on real algebraic varieties. We provide in particular several characterizations (algebraic or geometric) of these varieties, and provide a full description of centrally seminormal curves. △ Less

Submitted 5 September, 2019; v1 submitted 14 June, 2017; originally announced June 2017.

Artin approximation compatible with a change of variables

Authors: Goulwen Fichou, Ronan Quarez, Masahiro Shiota

Abstract: We propose a version of the classical Artin approximation which allows to perturb the variables of the approximated solution. Namely, it is possible to approximate a formal solution of a Nash equation by a Nash solution in a compatible way with a given Nash change of variables. This results is closely related to the so-called nested Artin approximation and becomes false in the analytic setting. We… ▽ More We propose a version of the classical Artin approximation which allows to perturb the variables of the approximated solution. Namely, it is possible to approximate a formal solution of a Nash equation by a Nash solution in a compatible way with a given Nash change of variables. This results is closely related to the so-called nested Artin approximation and becomes false in the analytic setting. We provide local and global version of this approximation in real and complex geometry together with an application to the Right-Left equivalence of Nash maps. △ Less

Submitted 4 November, 2015; originally announced November 2015.

Journal ref: Can. Math. Bull. 59 (2016) 760-768

Continuous functions in the plane regular after one blowing-up

Authors: Goulwen Fichou, Ronan Quarez, Jean-Philippe Monnier

Abstract: We study rational functions admitting a continuous extension to the real affine space. First of all, we focus on the regularity of such functions exhibiting some nice properties of their partial derivatives. Afterwards, since these functions correspond to rational functions which become regular after some blowings-up, we work on the plane where it suffices to blow-up points and then we can count t… ▽ More We study rational functions admitting a continuous extension to the real affine space. First of all, we focus on the regularity of such functions exhibiting some nice properties of their partial derivatives. Afterwards, since these functions correspond to rational functions which become regular after some blowings-up, we work on the plane where it suffices to blow-up points and then we can count the number of stages of blowings-up necessary. In the latest parts of the paper, we investigate the ring of rational continuous functions on the plane regular after one stage of blowings-up. In particular, we prove a Positivstellensatz without denominator in this ring. △ Less

Submitted 29 September, 2014; originally announced September 2014.

Piecewise Certificates of Positivity for matrix polynomials

Authors: Ronan Quarez

Abstract: We show that any symmetric positive definite homogeneous matrix polynomial $M\in\R[x_1,...,x_n]^{m\times m}$ admits a piecewise semi-certificate, i.e. a collection of identites $M(x)=\sum_jf_{i,j}(x)U_{i,j}(x)^TU_{i,j}(x)$ where $U_{i,j}(x)$ is a matrix polynomial and $f_{i,j}(x)$ is a non negative polynomial on a semi-algebraic subset $S_i$, where $\R^n=\cup_{i=1}^r S_i$. This result generalize… ▽ More We show that any symmetric positive definite homogeneous matrix polynomial $M\in\R[x_1,...,x_n]^{m\times m}$ admits a piecewise semi-certificate, i.e. a collection of identites $M(x)=\sum_jf_{i,j}(x)U_{i,j}(x)^TU_{i,j}(x)$ where $U_{i,j}(x)$ is a matrix polynomial and $f_{i,j}(x)$ is a non negative polynomial on a semi-algebraic subset $S_i$, where $\R^n=\cup_{i=1}^r S_i$. This result generalizes to the setting of biforms. Some examples of certificates are given and among others, we study a variation around the Choi counterexample of a positive semi-definite biquadratic form which is not a sum of squares. As a byproduct we give a representation of the famous non negative sum of squares polynomial $x^4z^2+z^4y^2+y^4x^2-3 x^2y^2z^2$ as the determinant of a positive semi-definite quadratic matrix polynomial. △ Less

Submitted 8 January, 2010; originally announced January 2010.

On positive Matrices which have a Positive Smith Normal Form

Authors: Ronan Quarez

Abstract: It is known that any symmetric matrix $M$ with entries in $\R[x]$ and which is positive semi-definite for any substitution of $x\in\R$, has a Smith normal form whose diagonal coefficients are constant sign polynomials in $\R[x]$. We generalize this result by considering a symmetric matrix $M$ with entries in a formally real principal domain $A$, we assume that $M$ is positive semi-definite for a… ▽ More It is known that any symmetric matrix $M$ with entries in $\R[x]$ and which is positive semi-definite for any substitution of $x\in\R$, has a Smith normal form whose diagonal coefficients are constant sign polynomials in $\R[x]$. We generalize this result by considering a symmetric matrix $M$ with entries in a formally real principal domain $A$, we assume that $M$ is positive semi-definite for any ordering on $A$ and, under one additionnal hypothesis concerning non-real primes, we show that the Smith normal of $M$ is positive, up to association. Counterexamples are given when this last hypothesis is not satisfied. We give also a partial extension of our results to the case of Dedekind domains. △ Less

Submitted 8 September, 2009; originally announced September 2009.

MSC Class: 15-16

Bounding the rational sums of squares over totally real fields

Authors: Ronan Quarez

Abstract: Let K be a totally real Galois number field. C. J. Hillar proved that if f in Q[x_1,...,x_n] is a sum of m squares in K[x_1,...,x_n], then f is a sum of N(m) squares in Q[x_1,...,x_n]. Modifying Hillar's proof, we improve the improve the bound given for N(m), the proof being constructive as well. Let K be a totally real Galois number field. C. J. Hillar proved that if f in Q[x_1,...,x_n] is a sum of m squares in K[x_1,...,x_n], then f is a sum of N(m) squares in Q[x_1,...,x_n]. Modifying Hillar's proof, we improve the improve the bound given for N(m), the proof being constructive as well. △ Less

Submitted 14 July, 2009; originally announced July 2009.

Sturm and Sylvester algorithms revisited via tridiagonal determinantal representations

Authors: Ronan Quarez

Abstract: First, we show that Sturm algorithm and Sylvester algorithm, which compute the number of real roots of a given univariate polynomial, lead to two dual tridiagonal determinantal representations of the polynomial. Next, we show that the number of real roots of a polynomial given by a tridiagonal determinantal representation is greater than the signature of this representation. First, we show that Sturm algorithm and Sylvester algorithm, which compute the number of real roots of a given univariate polynomial, lead to two dual tridiagonal determinantal representations of the polynomial. Next, we show that the number of real roots of a polynomial given by a tridiagonal determinantal representation is greater than the signature of this representation. △ Less

Submitted 14 November, 2008; originally announced November 2008.

MSC Class: 12 - 15

Représentations déterminantales effectives des polynômes univariés par les matrices flèches

Authors: Ronan Quarez

Abstract: We first show the existence of an effective determinantal representation for any univariate polynomial with real coefficients. Then, we more precisely establish that any univariate polynomial with real coefficients has an effective determinantal representation with signature (r+s,s) if and only if it has at least r real roots with multiplicity. The effective determinantal representations we cons… ▽ More We first show the existence of an effective determinantal representation for any univariate polynomial with real coefficients. Then, we more precisely establish that any univariate polynomial with real coefficients has an effective determinantal representation with signature (r+s,s) if and only if it has at least r real roots with multiplicity. The effective determinantal representations we construct used arrow matrices. △ Less

Submitted 4 September, 2008; originally announced September 2008.