## dimension of a real affine variety

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $V$ be a real affine variety in $\mathbb R^n$, i.e. the zero set of a real polynomial $p(x_1,\dots,x_n)$. Consider the following three definitions of the dimension of $V$, $dim(V)$.

Definition 1: if $I$ is the ideal of polynomials vanishing on $V$, then $dim(V)$ is the maximum dimension of a coordinate subspace in $V(\langle LT(I)\rangle)$ with a given graded order $>$ on the monomials ($\sum\alpha_i>\sum\beta_i$ implies $x^\alpha>x^\beta$) (see the book "Ideals, Varieties, and Algorithms" chapter 9)

Definition 2: $dim(V)$ is the largest $d$ such that there exists an injective semi-algebraic map from $(0, 1)^d$ to $V$ (see "Algorithms in Real Algebraic Geometry" chapter 5)

Definition 3: $dim(V)$ is the largest $d$ such that there exists a subset of $V$ homeomorphic to $(0, 1)^d$

Are these three definitions, for the case of real affine varieties, pairwise equivalent, or pairwise different, or something else?

-

Have you looked in Bochnak's book "Real algebraic geometry"? – Richard Kent Oct 6 2011 at 22:53
I haven't, but now I've found the book and it seems like it sheds some light on this. thx. – filipm Oct 7 2011 at 15:42

## 3 Answers

They are all equivalent, including definition 1, to the Krull dimension of $S/I$, where $S=\mathbb{R}[x_1,\ldots,x_n]$ is the polynomial ring $I$ lives in. This is very good news for people like me who want to apply algebraic geometry to statistics, where numbers are mostly real.

Here's how it goes:

Definition 1 is a way of computing the Krull dimension of $S/I$ via Groebner bases. See, e.g., p. 250 of Computing in algebraic geometry: a quick start using SINGULAR by Wolfram Decker and Christoph Lossen

Definition 2 is shown equivalent to Krull dimension in Corollary 2.8.9 of Real Algebraic Geometry by Bochnak, Coste and Roy. Note that they define the "dimension" of a real variety to be Krull dimension of its coordinate ring. I recommend reading the whole chapter.

Definition 3 is equivalent to Defintion 2 because any semialgebraic set admits a decomposition into finitely many pieces homeomorphic to $(0,1)^d$ (see Theorem 2.3.6 in RAG), and a finite union of semialgebraic sets of dimension less than $d$ cannot contain a set of dimension $d$. I.e., the only way a real variety can contain an open set homeomorphic to $(0,1)^d$ is by containing a semialgebraic set homeomorphic to $(0,1)^d$ in its semialgebraic cell decomposition.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

At least for definitions 2 and 3 : ${\rm dim}_2 (V) \leq {\rm dim}_3 (V)$ since a semialgebraic map is peicewise a homeomorphism.

-

Definition 2 and 3 are equivalent. What you want here is the notion of Cylindrical Algebraic Decomposition (see e.g. Bochnak, Coste and Roy's book). The $d$ you're looking for in both cases is the dimension of the largest cell in the decomposition, and it is a routine result that this dimension does not depend on the decomposition itself.

As for Definition 1, I am not sure I understand exactly what you're saying. You're using a total-degree monomial ordering, then taking the zero-set of the leading terms of the variety's ideal... I'll come back to this if I remember.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 31, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9006461501121521, "perplexity_flag": "head"}