The tag has no usage guidance.

learn more… | top users | synonyms

11
votes
0answers
231 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
3answers
464 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
0answers
104 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 ...
11
votes
1answer
672 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 ...
1
vote
0answers
94 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 ...
60
votes
8answers
9k 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 ...
3
votes
1answer
103 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
1answer
195 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 ...
1
vote
1answer
164 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
0answers
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 ...
5
votes
1answer
207 views

Are there general position results in singular algebraic sets?

Let $X$ be a real algebraic set, and let $Y \subset X$ be its singular set. In this question I'll focus on the analytic topology, so we can just imagine that $X$ is the zero set, in $\mathbb{R}^n$, ...
4
votes
1answer
260 views

The existential theory of the reals

Some definitions of the existential theory of the reals (ETR) allow a real closed field and some definitions allow only rational numbers as coefficients of polynomials. Which one is correct? Will the ...
2
votes
1answer
169 views

Volumes of families of semialgebraic sets

Let $f_0(T),f_1(T) \in \mathbb R [T]$ be polynomials. Let $F(T,X):=X^2+f_1(T)X+f_0(T)$. Then the set $M(t):=\{x \in \mathbb R \mid F(t,x) \le 0\}$ is bounded. Its volume $V(t)$ is ...
2
votes
3answers
183 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 ...
6
votes
0answers
272 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 ...
0
votes
1answer
136 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 ...
6
votes
2answers
372 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 ...
4
votes
1answer
566 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 ...
1
vote
1answer
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 ...
0
votes
1answer
157 views

Nonsingular zeroes are algebraic?

I'm getting started in Real Algebraic Geometry (from a model-theory perspective), and a paper makes the following assertion (here $K\subset L$ are real-closed fields): Suppose $Q\in L^n$, $f_1, ...
5
votes
0answers
179 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
1answer
296 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, ...
4
votes
2answers
490 views

Real vs complex surfaces

Hi! My background is in (complex) algebraic geometry. For the first time I'm considering varieties defined over $\mathbb{R}$ and I have some very basic questions about these. In particular I'm trying ...
4
votes
1answer
478 views

Morley's Theorem and real algebraic geometry

Consider the following attempt at a ``thought-free'' proof of Morley's Theorem. Let $(x_1,y_1)$, $(x_2,y_2)$ and $(x_3,y_3)$ denote three vertices of a generic triangle. Let $(a_1,b_1)$, $(a_2,b_2)$ ...
4
votes
1answer
406 views

Hausdorff distance on algebraic curves

Introduction Let $K$ be a nice closed domain in $\mathbb{R}^2$, for example the closed unit ball. Recall that the Hausdorff distance on the family $C(K)$ of nonempty compact subsets of $K$ is defined ...
2
votes
1answer
135 views

Ultrafilters on the set of semialgebraic subsets of R^2

Let $R$ be a real closed field and $f: R \to R$ a map. Then let $\textrm{F}(f)$ be the set of semialgebraic subsets of $R^2$, which contain $(t,f(t))$ for all $0< t< \epsilon$ for some $\epsilon ...
10
votes
1answer
621 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 ...
1
vote
0answers
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 ...
3
votes
4answers
502 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 ...
0
votes
0answers
211 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 ...
0
votes
1answer
360 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 ...
1
vote
1answer
383 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 ...
4
votes
2answers
545 views

intersections of real algebraic sets (a bezout-type question)

This question arose when I was trying to understand the Guth-Katz paper on Erdos distance problem, namely, related to Proof of Lemma 2.9 in http://arxiv.org/abs/1011.4105. The proof of that lemma is ...
3
votes
1answer
474 views

Quick algorithm for finding real solutions for a system polynomial equations

Would you please recommend a computer program that could give quick answer Yes/No for the question: does there exist a real solution of a given system of polynomial equations with integer ...
8
votes
2answers
440 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 ...
2
votes
0answers
267 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 ...
6
votes
2answers
665 views

Maximal number of connected components of complement to an affine plane real algebraic curve

Let $X$ be a (singular, reducible) affine plane real algebraic curve of degree $d$. How we can estimate maximal number of connected components of it's complement in $R^2$ in terms of degree?
7
votes
1answer
637 views

(Real) algebraic geometry for (real) trigonometric polynomials?

Has somebody developed a comprehensive theory of the algebraic structure of trigonometric polynomials in several variables? If yes, where? Background: By a (real) trigonometric polynomial in ...
2
votes
0answers
298 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 ...
4
votes
1answer
249 views

Hypersurfaces without real points

Let $n, d$ be positive integers. I am interested in the open subset $\mathcal U_{n,d} \subset \mathbb P H^0 ( \mathbb P^n_{\mathbb R}, \mathcal O_{\mathbb P^n_{\mathbb R}}(d))$ corresponding to ...
12
votes
5answers
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 ...
2
votes
3answers
798 views

Isolated zero set of real polynomial in two variables

The polynomial $x^2+y^2$ has an isolated zero at the origin. And so do powers $(x^2+y^2)^n$ of this polynomial. I'm wondering if this is a special property of these real polynomials. Here's the ...
6
votes
2answers
665 views

Conditions on coefficients of a homogeneous polynomial of the third degree in three variables over R which allow it to be positive on a positive octant

I am a student of Saint Petersburg State Polytechnical University, chair of Theoretical Mechanics. While looking into stability of ideal crystal lattices (2D and 3D) by means of molecular dynamics I ...
12
votes
3answers
2k views

Counting roots: multidimensional Sturm's theorem

Sturm's theorem gives a way to compute the number of roots of a one-variable polynomial in an interval [a,b]. Is there a generalization to boxes in higher dimensions? Namely, let $P_1,\dotsc,P_n\in ...
3
votes
1answer
433 views

Function Fields of Real Varieties

Let $V$ be a geometrically irreducible and reduced scheme defined over the real numbers, and let $K = K(V)$ be its function field. If $V$ does not have any real points, is it true that $K$ is not ...
11
votes
5answers
2k views

Polynomial positive on an interval

If $p$ is a polynomial with real coefficients and p(x)>0 on [0,1], then $p(x)=\sum c_{i,j} x^i(1-x)^j$ with $c_{i,j}$ positive. I know this is true but but I need a proof/reference. Thanks!
10
votes
3answers
465 views

Effective algorithm to test positivity

Let $f(x_1,\ldots, x_n)$ be a real polynomial in several variables. Is there an effective algorithm to test whether $f$ is positive (or nonnegative) on the whole of ${\mathbb{R}}^n$?
6
votes
2answers
760 views

Embeddings and triangulations of real analytic varieties

This is a follow up question to my answer here How do you define the Euler Characteristic of a scheme? A real analytic space is a ringed space locally isomorphic to $(X,O/I)$ where $X$ is the zero ...
3
votes
4answers
1k views

Measure on real Grassmannians

OK, so I'm reading about this nice measure you can define on a (real) Grassmannian on Wikipedia. Basically, and to save you the trip through the link, consider the Haar measure $\theta$ on $O(n)$, fix ...
20
votes
3answers
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 ...