# Tagged Questions

**12**

votes

**0**answers

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

**11**

votes

**0**answers

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

**9**

votes

**0**answers

196 views

### Rationality of a certain real algebraic variety

Let $A_n$ denote the vector space of $n\times n$ antisymmetric matrices over ${\mathbb{Q}}$, where $n$ is even.
Let $A_n^*\subset A_n$ denote the affine ${\mathbb{Q}}$-subvariety of invertible ...

**7**

votes

**0**answers

136 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

155 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

65 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

283 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

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

**5**

votes

**0**answers

183 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

156 views

### Does the cohomology comparison part of GAGA hold over the reals?

If $k=\mathbb{C}$, $X$ is a projective (or even proper) scheme over $k$ and $F$ a coherent sheaf on $X$, then there is an isomorphism
$$
H^p(X,F)\rightarrow H^p(X^{an}, F^{an})
$$
(and there is also ...

**4**

votes

**0**answers

157 views

### Plane real curves such that their intersections with lines are hyperbolic

Let $R$ be an (irreducible) plane real algebraic curve (without isolated points).
Consider Zarissky closure of $R$ in ${\mathbb C}P^1$ (as real variety).
Suppose that $\lambda\in R ...

**4**

votes

**0**answers

91 views

### Where do I read about semi-algebraic/analytic sets?

What's a good introduction to semi-algebraic/semi-analytic sets?
I'm coming from algebraic geometry, so ideally I'd prefer material that has a similar point of view and highlights analogies.
I've ...

**3**

votes

**0**answers

68 views

### Can one push a path out of an algebraic set with control on length?

Consider a real algebraic set $A\subseteq\mathbb{R}^n$. The case I am interested in is a homogeneous cone (i.e., if $x\in A$ then also $\lambda x\in A$ for each scalar $\lambda>0$) where each ...

**3**

votes

**0**answers

95 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

181 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?
...

**3**

votes

**0**answers

60 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

102 views

### Log Canonical Threshold Equals 1

I'm an analyst interested in what we would call the "critical integrability index" which, for a given (real-valued) function $f$ is the supremum of $\sigma$ such that $|f|^{-\sigma}$ is integrable on ...

**2**

votes

**0**answers

86 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

51 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

124 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

68 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

119 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

274 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

303 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

95 views

### Sums of hermitian squares in free abelian group algebras and real positive semidefinite matrices

A little context for the following question, first. As Noah Stein notes in a comment below, the present question is closely related to the free semialgebraic geometry studied by Helton and his ...

**1**

vote

**0**answers

75 views

### Irreducible real curves on ${\mathbb C}P^1$ invariant under the finite group action

Let $G$ be a finite subgroup of a Möbius group with a standart action on a real algebraic variety ${\mathbb C}{\mathbf P^1}.$
How one can describe $G$-invariant irreducible real algebraic curves?
...

**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

79 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

98 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

212 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

89 views

### local analyticity of volumes of slices of semi-algebraic sets

I would like a reference and/or a simple proof using well-known results of the following, which I think is true. (If it's false, I'd like to know that as well of course -- and ideally a way to modify ...

**0**

votes

**0**answers

143 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

100 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

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