Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 14P20 ( Nash functions and manifolds [See also 32C07, 58A07] )

  Expand all        Collapse all Results 1 - 2 of 2

1. CMB Online first

Fichou, Goulwen; Quarez, Ronan; Shiota, Masahiro
Artin approximation compatible with a change of variables
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 result is closely related to the so-called nested Artin approximation and becomes false in the analytic setting. We provide local and global versions of this approximation in real and complex geometry together with an application to the Right-Left equivalence of Nash maps.

Keywords:Artin approximation, global case, Nash functions
Categories:14P20, 58A07

2. CMB 2009 (vol 52 pp. 224)

Ghiloni, Riccardo
Equations and Complexity for the Dubois--Efroymson Dimension Theorem
Let $\R$ be a real closed field, let $X \subset \R^n$ be an irreducible real algebraic set and let $Z$ be an algebraic subset of $X$ of codimension $\geq 2$. Dubois and Efroymson proved the existence of an irreducible algebraic subset of $X$ of codimension $1$ containing~$Z$. We improve this dimension theorem as follows. Indicate by $\mu$ the minimum integer such that the ideal of polynomials in $\R[x_1,\ldots,x_n]$ vanishing on $Z$ can be generated by polynomials of degree $\leq \mu$. We prove the following two results: \begin{inparaenum}[\rm(1)] \item There exists a polynomial $P \in \R[x_1,\ldots,x_n]$ of degree~$\leq \mu+1$ such that $X \cap P^{-1}(0)$ is an irreducible algebraic subset of $X$ of codimension $1$ containing~$Z$. \item Let $F$ be a polynomial in $\R[x_1,\ldots,x_n]$ of degree~$d$ vanishing on $Z$. Suppose there exists a nonsingular point $x$ of $X$ such that $F(x)=0$ and the differential at $x$ of the restriction of $F$ to $X$ is nonzero. Then there exists a polynomial $G \in \R[x_1,\ldots,x_n]$ of degree $\leq \max\{d,\mu+1\}$ such that, for each $t \in (-1,1) \setminus \{0\}$, the set $\{x \in X \mid F(x)+tG(x)=0\}$ is an irreducible algebraic subset of $X$ of codimension $1$ containing~$Z$. \end{inparaenum} Result (1) and a slightly different version of result~(2) are valid over any algebraically closed field also.

Keywords:Irreducible algebraic subvarieties, complexity of algebraic varieties, Bertini's theorems
Categories:14P05, 14P20

© Canadian Mathematical Society, 2016 :