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

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

261 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 ...
168 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 ...
127 views

185 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 ...
285 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 ...
139 views

Real Pfaffian representations of real cubic surfaces

Consider the following classical construction (which is called Pfaffian representation as Sasha indicates): Let $V^4\subset \Lambda^2 \mathbb R^6$ be a four-dimensional subspace of the space of ...
376 views

orderings of the field R((x, y))

I don't know much about the theory of ordered fields. But I know that, for the real fields $\mathbb{R}(y)$, $\mathbb{R}((x))(y)$, and $\mathbb{R}((x))((y))$, we can explicitly determine all the ...
602 views

Exact arithmetic for real algebraic numbers

There was a reply to a question (that I can't find) which mentioned SARAG (Some Algorithms in Real Algebraic Geometry) see http://perso.univ-rennes1.fr/marie-francoise.roy/bpr-ed2-posted2.html. This ...
599 views

Solving a system of algebraic equations

I am trying to find complex solutions with positive real part $\{t_j \;|\;{\rm Re}\;t_j>0, j = 1, 2, 3, \dots, n\}$ of the system of equations 0 = 1 + \sum_j \left(t_j^{2l+1} + {t_j^*}^{2l+1}\...
87 views

Decidability of the generated order

is the question whether a polynomial is non-negative on some semi-algebraic set (equivalently, is it in the cone denerated by some polynomials in the field of rational functions) known to be decidable?...
157 views

302 views

627 views

Is the pairing between contours and functions perfect (modulo the kernel given by Stokes' theorem)?

Let $s: \mathbb C^n \to \mathbb C$ be a homogeneous degree-$d$ polynomial which is nonsingular (in the sense that the hypersurface it defines in $\mathbb{CP}^{n-1}$ is smooth; equivalently the ...
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 ...
510 views

Computation of the Euler characteristic of a specific real variety

I think computation of the Euler characteristic of a real variety is not a problem in theory. There are some nice papers like J.W. Bruce, Euler characteristics of real varieties. But suppose we have,...
213 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 ...
375 views

Degree of a real algebraic variety and regular morphisms

I'm reading Fulton's "Intersection theory", which i need for some applied needs. And i have two questions on general definition of degree used in Fulton. 1)Let us we have a real algebraic variety ...
395 views

Number of connected components of complement to a reducible real algebraic hypersurface.[EDITED]

Let $X_1,\ldots X_k$ be irreducible(may be singular) affine real algebraic hypersurfaces in $R^n$ with $x_1,\ldots, x_k$ connected components, respectively. Let $G_1,\ldots, G_l$ be their ...