Related papers: Some real and unreal enumerative geometry for flag…
Following the approach of Gromov and Witten, we define invariants under deformation of stongly semipositive real symplectic six-manifolds. These invariants provide lower bounds in real enumerative geometry, namely for the number of real…
Numerical algebraic geometry has a close relationship to intersection theory from algebraic geometry. We deepen this relationship, explaining how rational or algebraic equivalence gives a homotopy. We present a general notion of witness set…
Starting from Borel's description of the mod-2 cohomology of real flag manifolds, we give a minimal presentation of the cohomology ring for semi complete flag manifolds $F_{k,m}:=F(1,\ldots,1,m)$ where $1$ is repeated $k$ times. The…
Solving a system of polynomial equations is a ubiquitous problem in the applications of mathematics. Until recently, it has been hopeless to find explicit solutions to such systems, and mathematics has instead developed deep and powerful…
Given a polynomial system f, a fundamental question is to determine if f has real roots. Many algorithms involving the use of infinitesimal deformations have been proposed to answer this question. In this article, we transform an approach…
I first recall the various problems of real enumerative geometry out of which I could extract some integer valued invariants, providing some real counterpart to Gromov-Witten invariants. I then discuss sharpness of the lower bounds given by…
The shape and orientation of data clouds reflect variability in observations that can confound pattern recognition systems. Subspace methods, utilizing Grassmann manifolds, have been a great aid in dealing with such variability. However,…
The (small) quantum cohomology ring of a flag manifold F encodes enumerative geometry of rational curves on F. We give a proof of the presentation of the ring and of a quantum Giambelli formula, which is more direct and geometric than the…
Numerical continuation in the context of optimization can be used to mitigate convergence issues due to a poor initial guess. In this work, we extend this idea to Riemannian optimization problems, that is, the minimization of a target…
In this paper, we investigate homogeneous Riemannian geometry on real flag manifolds of the split real form of $\mathfrak{g}_2$. We characterize the metrics that are invariant under the action of a maximal compact subgroup of $G_2.$ Our…
Hilbert's fourth problem seeks the classification of metric geometries where straight lines are shortest paths. Its regular case identifies the projectively flat Finsler manifolds. This broader framework breaks the equivalence between…
We discuss issues of problem formulation for algorithms in real algebraic geometry, focussing on quantifier elimination by cylindrical algebraic decomposition. We recall how the variable ordering used can have a profound effect on both…
Geometric number systems, obtained by extending the real number system to include new anticommuting square roots of +1 and -1, provide a royal road to higher mathematics by largely sidestepping the tedious languages of tensor analysis and…
Using a blend of combinatorics and geometry, we give an algorithm for algebraically finding all flags in any zero-dimensional intersection of Schubert varieties with respect to three transverse flags, and more generally, any number of…
Grassmann and flag varieties lead many lives in pure and applied mathematics. Here we focus on the algebraic complexity of solving various problems in linear algebra and statistics as optimization problems over these varieties. The measure…
Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling…
We study the isotropy representation of real flag manifolds associated to simple Lie algebras that are split real forms of complex simple Lie algebras. For each Dynkin diagram the invariant irreducible subspaces for the compact part of the…
We define flag structures on a real three manifold M as the choice of two complex lines on the complexified tangent space at each point of M. We suppose that the plane field defined by the complex lines is a contact plane and construct an…
We consider Schubert problems with respect to flags osculating the rational normal curve. These problems are of special interest when the osculation points are all real -- in this case, for zero-dimensional Schubert problems, the solutions…
We introduce and begin the topological study of real rational plane curves, all of whose inflection points are real. The existence of such curves is a corollary of results in the real Schubert calculus, and their study has consequences for…