Tagged Questions

Real algebraic geometry is the study of real solutions to algebraic equations with real coefficients. Its methods are rather different from classical algebraic geometry, which is typically done over an algebraically closed field (like the complex numbers).

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 ...
102 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 ...
197 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 ...
321 views

Tameness in $\mathbb{R}^{n^2}$ of the subset consisting of matrices of positive determinant

The Lie group $GL(n)$ being a manifold is locally path-connected. Consider its connected component of the identity $C\subseteq\mathbb{R}^{n^2}$. What is a good way of showing that $C$ is a tame ...
116 views

Smooth, irreducible surface with real part containing two projective planes

Let $X$ be a smooth and irreducible projective variety over $\mathbb{R}$ of dimension two. I am looking for an instance of such a variety where two distinct connected components of $X(\mathbb{R})$ are ...
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 ...
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 ...
78 views

298 views

Geometry of Hermitian rank $\leq r$ matrices

Let $M_n^{sa}$ be the space of $n\times n$ complex Hermitian matrices, let $r < n$, and let $E$ and $F$ be (real) linear subspaces of $M_n$ with ${\rm codim}(E) < r^2$ and ${\rm codim}(F) = 1$. ...
73 views

Could a real curve symmetric across the line be defined only by polynomial that is not reflection-invariant?

Let $R$ -- be an irreducible plane real algebraic curve (without isolated points). Suppose that $(x,y)\in R\Leftrightarrow (x,-y)\in R.$ Question: could one find a polynomial $f(x,y)$ with zero set ...
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 ...
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 ...
109 views

Invariant regular cones in Lie group representation

I am following Analysis and Geometry on Complex Homogeneous Spaces by Faraut et al. I'll set up all of what I need and then ask my questions. Let $G$ be a connected semi-simple non-compact real Lie ...
107 views

When is the image of the adjoint representation of a real algebraic group Zariski closed?

Let $\operatorname{Ad}:\operatorname{SL}_n(\mathbb{R}) \to \operatorname{GL}(\mathfrak{sl}_n(\mathbb{R}))$ be the adjoint representation (i.e. $\operatorname{Ad}(g)X=gXg^{-1}$) of $SL_n(\mathbb{R})$. ...
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 ...
237 views

Euler Characteristic of Real Algebraic Surfaces

Given a (compact if needed) real smooth surface $V(f)$ defined by $f\in \mathbb{R}[X,Y,Z]$, in particular it is oriented. Is there a formula which gives the Euler character of $V(f)$ ? Thanks.
908 views

Incidence geometry and matrices

Supposing I have a $0/1$ or $\pm1$ matrix $A$ of size $m\times n$, is there a minimum $d$ (that works for every $m\times n$ $A$) such that there exists $m$ lines $r_1,\dots,r_m$, $n$ lines ...
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 ...
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? ...
475 views

65 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 ...
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$ ...
160 views

200 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.
220 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 ...
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 ...
282 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 ...
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 ...
275 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 ...
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, ...
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 ...
254 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 ...
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 ...