The real-algebraic-geometry tag has no wiki summary.

**0**

votes

**0**answers

48 views

### A multivariate polynomial question

Split $\{0,1\}^n$ into $S_0[n],S_1[n]$ with $S_0[n]\cup S_1[n]=\{0,1\}^n$ while $S_0[n]\cap S_1[n]=\emptyset$.
For every $n$, let $f(x_1,\dots,x_n),g(x_1,\dots,x_n)\in\Bbb R[x_1,\dots,x_n]$ be ...

**1**

vote

**0**answers

64 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

59 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 ...

**3**

votes

**1**answer

182 views

### Non-negativity of invariant polynomials

Certifying the non-negativity of a symmetric polynomial is much easier than
certifying the non-negativity of an arbitrary polynomial function:
for instance, in (1) is proved that the complexity of ...

**2**

votes

**1**answer

56 views

### Polynomial degree comparison of Nullstellensatz and Positivstellensatz over real algebraic sets

Suppose we have a (finite) system of polynomials $P = \{ p_i \} \subseteq \mathbb{R}[x_1, \ldots, x_n]$. Then it is well known by the Nullstellensatz that either $P$ has a simultaneous zero over ...

**6**

votes

**1**answer

464 views

### Bound on the sum of arguments

Problem: Show that for all real $s,t,u$ and all complex $z$ with $|z|<1$ one has
$$(*)\qquad \arg\frac{1-zf(s-u)}{1-zf(s+u)}
+\arg\frac{1-zf(t+u)}{1-zf(t-u)}<\pi,
$$
where $f$ is the ...

**1**

vote

**1**answer

46 views

### About convex combinations of real-stable multivariable complex polynomials

Say $f: \mathbb{C}^{n+1} \rightarrow \mathbb{C}$ is a real stable multivariable polynomial on the variables $(z,w_1,w_2,...,w_n)$. (a "real-stable" polynomial is one which has no zeroes in the open ...

**1**

vote

**1**answer

77 views

### About preserving real-rootedness of multivariable polynomials

Say $f_i(z_1,z_2,..,z_m)$ are polynomials real rooted in the $z$s for a bunch of polynomials indexed by $i$. When can one say that $\sum_{i} p_i f_i(z_1,z_2,..,z_m)$ is also real rooted?
If ...

**2**

votes

**0**answers

95 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 + ...

**1**

vote

**1**answer

52 views

### image under a morphism of a variety defined over R

If you have say an affine variety defined over $\mathbb{R}$, then its image under a morphism (also defined over $\mathbb{R}$) is a constructible set. But presumably there would be no good reason in ...

**0**

votes

**0**answers

57 views

### homogeneous polynomials of degree 3 in two variables

I am interested in trying to determine if the following statement is true.
Let $V$ be the four-dimensional real vector space consisting of all homogeneous polynomials of degree 3 in two variables ...

**2**

votes

**1**answer

128 views

### Determine whether a system of polynomials with real coefficients has a real solution?

Today my students asked me the following problem：
Define polynomials $P_j$ with real coefficients
$$P_{j}=\sum_{i_{1},\cdots,i_{s}}a^{(j)}_{i_{1}\cdots i_{s}}X^{i_{1}}_{1}\cdots X^{i_{s}}_{s}, ...

**3**

votes

**1**answer

103 views

### Tropical polynomial Positivstellensatz

In real algebraic geometry, Stengle's Positivstellensatz can be used to characterize polynomials that are positive on a semialgebraic set.
Say that a tropical semialgebraic set is a subset of ...

**2**

votes

**0**answers

62 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 ...

**7**

votes

**0**answers

128 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 ...

**-1**

votes

**1**answer

144 views

### Smooth algebraic functions

Suppose $f(x)=\sum_{|\alpha|=0}^{\infty}a_{\alpha} x^{\alpha}$ for all $x\in\mathbb{R}^n$. Moreover we know a priori that $f$ is an algebraic function.
Is $f$ necessarily a polynomial?If not what are ...

**0**

votes

**0**answers

95 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{ ...

**2**

votes

**1**answer

175 views

### How many circular cylinders through 5 general points?

How many right circular cylinders can pass through 5 general points in ℝ3 ? Edit: 0,2,4, or 6.

**2**

votes

**3**answers

209 views

### Characterizing orthants with polynomials

Let $x=(x_1,\ldots,x_n)\in\mathbb{R}^n$. Can one find a polynomial $p$ (of arbitrary degree) in the coordinates of $x$ such that $p(x)\geq 0$ if and only if $x$ is an element of the positive orthant ...

**4**

votes

**1**answer

171 views

### The Universality Theorem by Mnev for uniform oriented matroids of rank 4 and higher

According to the Universality Theorem by Mnev (see below theorem 8.6.6 from [1]), for any open semialgebraic variety V there is a uniform oriented matroid of rank 3 whose realization space is stably ...

**6**

votes

**0**answers

217 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 ...

**1**

vote

**0**answers

69 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

41 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, ...

**2**

votes

**0**answers

81 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 ...

**3**

votes

**1**answer

132 views

### Handelman's positivstellensatz for symmetric matrix-valued polynomials

For certain classes of sets $S \subseteq \mathbb{R}^n$, there exist algebraic characterizations of real valued polynomials $p: \mathbb{R}^n \rightarrow \mathbb{R}$ that are positive on $S$.
Several ...

**5**

votes

**1**answer

224 views

### Connected components of the complement of a degree-d affine hypersurface

Let $n$ and $d$ be positive integers, and $f\in\mathbb{R}[x_1,\dots,x_n]$ be a polynomial of degree $d$. Let's consider the zero-set $M = \{x \in \mathbb{R}^n: f(x) = 0\}$ of $f$.
Can we estimate ...

**7**

votes

**3**answers

264 views

### nonnegativity conditions for a polynomial in two variables

Let
$$P(X,Y)= c_{22}X^2Y^2 +c_{21}X^2Y +c_{12}XY^2 +c_{20}X^2 +c_{11}XY+c_{02}Y^2+c_{10}X+c_{01}Y+c_{00}$$
be a polynomial of two variables $X$ and $Y$ with real coefficients $c_{ij}$.
What are the ...

**5**

votes

**1**answer

225 views

### Locally Closed Orbits in Real Algebraic Geometry

Let $G$ be a real algebraic group, and let $X$ be a real affine $G$-variety. I am looking for conditions on $G$ and $X$ for which the $G$-orbits are known to be locally closed in the Zariski topology ...

**3**

votes

**1**answer

119 views

### Is $\mathbb R[x,y]_+$ countably generated as a quadratic module?

Let $\mathbb R[x,y]_+$ denote the set of positive polynomials in two variables. My problem can be stated as follows:
Does there exist a countable set $M\subseteq \mathbb R[x,y]_+$
such that ...

**6**

votes

**1**answer

201 views

### cell decomposition of real homogeneous hypersurfaces

Let $f(x_1,\ldots,x_n)\in\mathbf{R}[x_1,\ldots,x_n]$ be a homogeneous polynomial
and consider the real hypersurface $H=\{(x_1,\ldots,x_n)\in\mathbf{R}^n:f(x_1,\ldots,x_n)=1\}$. Assume to simplify ...

**8**

votes

**2**answers

149 views

### Convexity of a certain sublevel set

Consider the polynomial of degree $4$ in the variable $r$ :
$$ r^4 + (x^2 + y^2)\ r^2 - 2 x y\ r + x^2 y^2 $$
The discriminant of this polynomial in $r$ is the following expression
(obtained using ...

**8**

votes

**2**answers

427 views

### The topology of open semi-algebraic sets (appl.: totally positive matrices)

Let $P_1,\ldots,P_r$ be polynomials over ${\mathbb R}^N$. I am interested in the homotopy type of the semi-algebraic set defined by
$$ P_j(x_1,\ldots,x_N)>0,\qquad j=1,\ldots,r . $$
Is there a ...

**3**

votes

**2**answers

241 views

### Approximation of curves

When constructing minimax (sup-norm) polynomial approximations of real-valued functions, well-known results say (roughly speaking) that optimal solutions are characterized by the fact that they have ...

**3**

votes

**1**answer

125 views

### Sum of Squares Length of a Product

Let $n \geq 2$. Let $g_1, \ldots , g_{n-1} \in \mathbb{R}[x_1,\ldots,x_n]$ such that $q=g_1^2+\ldots +g_{n-1}^2$ is not divisible by $p=x_1^2+\ldots +x_n^2$. Let $m \geq 1$ be the smallest integer ...

**19**

votes

**3**answers

3k views

### Real algebraic geometry vs. algebraic geometry

This question is predicated on my understanding that real algebraic geometry (henceforth RAG) is the version of algebraic geometry (AG) one gets when replacing (esp. algebraically closed) fields with ...

**6**

votes

**0**answers

130 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

61 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 ...

**10**

votes

**0**answers

185 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

**3**answers

443 views

### Real varieties with enough algebraic loops

Let $(X,\sigma)$ be a complex variety with complex conjugation (equivalently, an algebraic variety over $\mathbb R$).
We use the notations $X(\mathbb R):=X^\sigma$ for the set of fixed points of $X$ ...

**4**

votes

**0**answers

94 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 ...

**10**

votes

**1**answer

653 views

### What is the longest algebraic curve?

Consider a convex body $\Omega\subset \mathbb{R}^2$. Let $L(d)$ be the maximum over all curves $C$ of degree $d$ of the length of $C\cap\Omega$.
Is $L(d)\leq d P(E)/2$, where $P(E)$ is the ...

**41**

votes

**7**answers

6k views

### How do you not forget old math?

I am trying to not forget my old math. I finished my PhD in real algebraic geometry a few years ago and then switched to the industry for financial reasons. Now I get the feeling that I want to do a ...

**1**

vote

**0**answers

85 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 ...

**2**

votes

**1**answer

91 views

### Compactness of a semi algebraic set

Suppose I have a polynomial $p\in R[x_1,\ldots,x_n]$ and I look at the set $S:=\{ x\in R^n : p(x)\geq 0\}$. Are there algebraic certificates on $p$ that will certify that $S$ is compact?

**5**

votes

**1**answer

190 views

### Simple criterion to verify that the real zeros are an irreducible algebraic set

Given an irreducible polynomial $p$, its set of real zeros might be a reducible algebraic set. For example: $p=(x^2-1)^2 +(y^2-1)^2$.
Is there a simple sufficient condition on $p$ so that its real ...

**12**

votes

**5**answers

2k views

### Cohomology of Structure Sheaves: Algebraic, Constructible and more

I am not an algebraic geometer, but I am a topologist who uses sheaves. I have studied some algebraic geometry and am interested in what happens as I reduce the amount of rigidity in the structure ...

**4**

votes

**1**answer

282 views

### Deciding the convexity of semialgebraic sets

Given a basic closed semialgebraic set, $S \subset \mathbb{R}^n$, defined by
$S = \{ x \in \mathbb{R}^n \mid g_1 (x) \geq 0 \land \dots \land g_m (x) \geq 0\}$
where $m \in \mathbb{N}$ and $g_1, ...

**2**

votes

**3**answers

180 views

### How to tell if a second-order curve goes below the $x$ axis?

Suppose we have a second-order curve in general form:
(1) $a_{11}x^{2}+2a_{12}xy+a_{22}y^{2}+2a_{13}x+2a_{23}y+a_{33}=0$.
I'd like to know if there is a simple condition that ensures that the curve ...

**1**

vote

**1**answer

151 views

### Homogenous polynomial inequalities to prove positivity?

If I have $n$ variables $x_1, \cdots, x_n$, and a set $S$ of inequalities of the form $p(x_1, \cdots, x_n) > 0$ where $p$ is a homogenous real polynomial, is it true that I need $|S| \geq n$ to ...

**1**

vote

**0**answers

44 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 ...