The real-algebraic-geometry tag has no usage guidance.

**11**

votes

**0**answers

220 views

### real algebraic geometry software?

Does anyone have suggestions/experience for any software packages to study real algebraic varieties (for example, counting connected components of hypersurfaces, figuring out the topological type of ...

**7**

votes

**0**answers

131 views

### Nearest Point to a real algebraic set

Suppose I have a compact bounded real algebraic (eventually: or analytic or semialgebraic or semianalytic set) $V$ in $\mathbb R^3$ and a point $x\in\mathbb R^3$ not in $V$. How much do we know about ...

**6**

votes

**0**answers

221 views

### Does every commutative $*$-algebra of operators on a prehilbert space have a character?

My question can be equivalently stated as follows:
Let $A$ be a complex commutative algebra with involution, and assume there exists a non-zero homomorphism $\pi:A\to L(V)$ to the algebra of ...

**6**

votes

**0**answers

143 views

### Zariski closure of orbits of real groups on complex flag manifolds

Let $G$ be a complex reductive algebraic group defined over $\mathbb R$, and $G_0$ its real points. Then the orbits of $G_0$ on $G/B$ need not be real algebraic subvarieties. Take $G=SL_2(\mathbb C)$, ...

**6**

votes

**0**answers

64 views

### Bounding volume of cell in complement of zero set

I am given an integer polynomial $f \in \mathbb{Z}[X_1, \ldots, X_n]$ of bounded degree and bounded coefficient size. The polynomial's zero set partitions $\mathbb{R}^n$ into cells. What I am looking ...

**6**

votes

**0**answers

259 views

### Real schubert calculus

Studying real enumerative questions I noticed, that the even-even Schubert varieties of the real Grassmannian $Gr:=Gr_{2k}(2n,\mathbb R)$ behave analogously to the complex case.
I call a partition ...

**5**

votes

**0**answers

177 views

### Differential operators that preserve real-rootedness

Is there some description of polynomial differential operators, $\mathcal{D}=\sum f_i(x) D_x^i$ such that, if $h$ is a polynomial all of whose roots are in $[0,1]$, then so are all the roots of ...

**4**

votes

**0**answers

97 views

### moduli in real/semi algebraic geometry

Is there a moduli space in semialgebraic geometry analogous to the Hilbert scheme in algebraic geometry?
The sort of thing I am imagining is an object in a category of semischemes:
Ordinary schemes ...

**3**

votes

**0**answers

82 views

### What subdomains of $\mathbb{R}^2$ are diffeomorphic to $\mathbb{R}^2_+$ via rational functions?

For what subdomains $D \subset \mathbb{R}^2$ does there exist a rational diffeomorphism $h:D \to \mathbb{R}^2_+$, such that its inverse is also a rational function? (By "rational function" I mean a ...

**3**

votes

**0**answers

176 views

### Number of real singular points

Let $f\in\mathbb{R}[X,Y]$ be a real polynomial in two variables. Are there bounds on the number of singular points of $f$ which take into account that $f$ might have high degree but be rather sparse?
...

**2**

votes

**0**answers

69 views

### What is known about topological equivalence of polynomial dynamical systems on two different domains in R^n?

The question is mainly about $\it flows$, not maps (i.e., continuous time, not discrete time).
Is it known if the study of polynomial dynamical systems on $\mathbb R^n$ can be reduced to the study ...

**2**

votes

**0**answers

49 views

### Algebraic independence in normed spaces

A set of $n$ points in $\mathbb{R}^2$ is algebraically independent over $\mathbb{Q}$ if there is no polynomial dependency among the $2n$ coordinates.
A result (Lemma 3.3) from "Globally linked pairs ...

**2**

votes

**0**answers

112 views

### Real-rooted polynomials and higher rank matrices

For $A$ and $B$ being matrices of the same dimension and $B$ being rank $1$, one knows that $det(A+tB)$ is a linear polynomial in $t \in \mathbb{R}$. Hence by Taylor series it follows that $det(A + ...

**2**

votes

**0**answers

65 views

### conic structure at infinity for non-closed unbounded semi-algebraic sets

Let $X\subseteq\mathbb{R}^k$ be a non-closed, unbounded semi-algebraic subset. Then it seems to me that Proposition 5.49 on p. 189 of the book Algorithms in Real Algebraic Geometry still holds true ...

**2**

votes

**0**answers

103 views

### Behavior of elementary symmetric polynomials near zero sets

It is straightforward to show (see Characterizing intersection of zero sets of elementary symmetric polynomials on R^n) that the set of points $\Lambda_{k}$ in $x \in \mathbb{R}^{n}$ with ...

**2**

votes

**0**answers

255 views

### Integrating over the real points of an algebraic variety

This question is motivated by my earlier question.
Suppose I have some algebraic variety $X/\mathbb R$ of dimension $n$, and suppose that $X(\mathbb R)$ is compact. Now for any element of ...

**2**

votes

**0**answers

292 views

### Maximal compact subgroup of a real semisimple Lie group of “quasi-adjoint” type.

Let $\mathfrak{g}$ be a semisimple complex Lie algebra, and $G$ the adjoint group of $\mathfrak{g}$.
Let $\sigma:\mathfrak{g}\rightarrow \mathfrak{g}$ be a complex conjugation and ...

**1**

vote

**0**answers

71 views

### Proximal point avoids a subvariety

I have a seemingly easy problem about the proximal point in a variety of a general point in the ambient space, which I don't have a proof:
Let $X \subset \mathbb{C}^N$ be the affine cone over some ...

**1**

vote

**0**answers

74 views

### Real algebraic surface

Let $f(u,v,z)\in \mathbb{Q}[u,v,z]$ be a polynomial in three variables such that $X_{\mathbb{R}}\subset \mathbb{R}^{3} $ (the associated surface of real solution) is smooth. Suppose that the set of ...

**1**

vote

**0**answers

72 views

### vector space of ternary forms with real rooted property

Let $V \subseteq \mathbb{R}[x,y]_d$ be a two dimensional linear subspace of the vector space of bivariate forms of degree $d$. For each degree $d$ we can find such subspaces with the property that ...

**1**

vote

**0**answers

50 views

### Real centrally-symmetric plane algebraic curves

I am looking for a reference regarding the topology of real centrally-symmetric plane algebraic curves. By this I mean the curves defined by
$$
P(x,y)=0,
$$
where $P$ is a degree $m$ polynomial, ...

**1**

vote

**0**answers

92 views

### Representing quasianalytic functions in several variables

For functions in a quasianalytic Denjoy-Carleman class we have the property that their Taylor expansions at a point (the origin) determines the function. For classes that don't only contain analytic ...

**1**

vote

**0**answers

45 views

### Components of Intersection of Ellipsoids

Let $\Sigma$ be an $n-1$ dimensional ellipsoid in $\textbf{R}^{n}$ and $S$ the unit sphere.
I would like to understand the connected components $C$ of the intersection of $\Sigma$ and $S$.
In my ...

**1**

vote

**0**answers

211 views

### Trigonometric semialgebraic conditions for two floors to be unequal [edited]

EDIT: Since posting my original question I have simplified the problem to finding a sufficient condition for $\lfloor \frac{a}{\phi}\rfloor \neq \lfloor \frac{b}{\phi}\rfloor$ which is trigonometric ...

**0**

votes

**0**answers

117 views

### Homogeneous polynomials of degree 3 in two variables

Let $V$ be the four-dimensional real vector space consisting of all homogeneous polynomials of degree 3 in two variables with coefficients in $\mathbb{R}$.
Let $U$ be the set of all elements of $V$ ...

**0**

votes

**0**answers

99 views

### Dimensions of two spaces

Let $R=\Bbb K[x_1,\dots,x_n]/I$ and $Z=\mathsf Z(I)$ where $\Bbb K$ is any field with $char(\Bbb K)\neq 2$.
Is there a way to describe space of $f_1,f_2\in R$ that satisfies $$f_1+f_2\neq 0,\mbox{ ...

**0**

votes

**0**answers

210 views

### Ideal of real points in $\mathbb{C}[x_0,x_1,\dotsc,x_k]$

I fell a little uncomfortable with this real stuff. The question here is more general, but we can suppose $\mathbb{K}=\mathbb{R}$.
Take a set of (distinct) points in $\mathbb{P}^n$, the complex ...