Is it possible to compute if an algebraic variety is a differential manifold?

Is it possible for a computer to decide if a given real algebraic (or semi-algebraic) variety is a differential manifold ?

Let $f_1,…,f_p, g_1,…,g_q$ polynomials in $n$ variables with coefficients in $\mathbb{R}$. Let $V$ be the variety defined by $f_1=f_2=…=f_p=0$ and $g_1>0,…,g_q>0$. Is it possible to compute if $V$ is a differential manifold ?

(the topology on $V$ is the topology induced by the distance in $\mathbb{R}^n$)

Solutions Collecting From Web of "Is it possible to compute if an algebraic variety is a differential manifold?"

Yes it is. For algebraic varieities, you need only consider the implicit function theorem which tells you when the level sets are regular submanifolds. Say you have $f_i : X \to \mathbb{R}$ and you consider the set $x \in X$ such that $f_i(x) = 0$ for all $1 \le i \le n.$ The set is a regular submanifold if the map $F : X \to \mathbb{R}^n$ given by $x\mapsto (f_1(x),\ldots,f_n(x))$ has zero as a regular value.

As an example, consider $f_i : \mathbb{R}^3 \to \mathbb{R}$ given by $f_1(x,y,z) = x^2 + y^2 + z^2 -1$ and $f_2(x,y,z) = z.$ We are interested in the variety given by $(x,y,z) \in \mathbb{R}^3$ such that $f_1(x,y,z) = f_2(x,y,z)=0.$ This is actually the intersection of the unit sphere with the $xy$-plane and so is a circle in the $xy$-plane. To verify this, let $F:\mathbb{R}^3 \to \mathbb{R}$ be given by $F(x,y,z) := (f_1(x,y,z),f_2(x,y,z)).$ To verify that $(0,0) \in \mathbb{R}^2$ is a regular value, we consider the Jacobian matrix:

$$ J_F = \left[\begin{array}{ccc} 2x & 2y & 2z \\ 0 & 0 & 1 \end{array}\right] .$$ The critical points are given by $x=y=0$ and so the critical values are $(-1,z).$ It follows that $(0,0)$ is regular value of $F$ and so $F^{-1}(0,0)$ is a regular submanifold.

In the case of semi-algebraic sets, we have to use the idea of transversality and, in particular, Thom’s Transversality Theorem. Transversality generalises the idea of critical points/values. Instead of a mapping having a point in the image as a regular value, we talk about a mapping being transverse to a submanifold in the image.

If you had some functions $g_i : X \to \mathbb{R}$ and you wanted the set of $x \in X$ such that $g_i(x) > 0$ for all $1 \le i \le n$ then you first consider the map $G : X \to \mathbb{R}^n$ given by $x \mapsto (g_1(x),\ldots,g_n(x)).$ Then you need to prove that $G$ is tranverse to the set $S := \{(y_1,\ldots,y_n) \in \mathbb{R}^n : y_i > 0\}.$ If $G$ is transverse to $S$ then $G^{-1}(S)$ will be a regular submanifold of $X$.

Here are two (related) misconceptions on the problem.

1) That if a map $F:\mathbb R^n\to \mathbb R^p$ does not have maximal rank, the subset $F^{-1}(0)\subset \mathbb R^n$ will not be a regular submanifold of $\mathbb R^n$.
A counterexample is $F:\mathbb R\to \mathbb R:x\to x^2$.
The map has $0$ as critical value and yet $F^{-1}(0)=\lbrace 0\rbrace$ is a regular submanifold of $\mathbb R$

2) That a singular algebraic variety cannot be a smooth manifold.
Just take the algebraic variety $x^2+y^2=0$ in $\mathbb R^2$ to get a counterexample.

A very satisfying answer to this conundrum has been given by Robert Bryant on MathOverflow