Related papers: A congruence modulo four in real Schubert calculus
We previously obtained a congruence modulo four for the number of real solutions to many Schubert problems on a square Grassmannian given by osculating flags. Here, we consider Schubert problems given by more general isotropic flags, and…
We describe a large-scale computational experiment to study structure in the numbers of real solutions to osculating instances of Schubert problems. This investigation uncovered Schubert problems whose computed numbers of real solutions…
To any two-dimensional rational plane in four-dimensional space one can naturally attach a point in the Grassmannian Gr(2,4) and four lattices of rank two. Here, the first two lattices originate from the plane and its orthogonal complement…
We give an algorithm to compute the integer cohomology groups of any real partial flag manifold, by computing the incidence coefficients of the Schubert cells. For even flag manifolds we determine the integer cohomology groups, by proving…
An important problem in quaternionic hyperbolic geometry is to classify ordered $m$-tuples of pairwise distinct points in the closure of quaternionic hyperbolic n-space, $\overline{{\bf H}_\bh^n}$, up to congruence in the holomorphic…
Traditional formulations of geometric problems from the Schubert calculus, either in Plucker coordinates or in local coordinates provided by Schubert cells, yield systems of polynomials that are typically far from complete intersections and…
We study a 2-parameter family of enumerative problems over the reals. Over the complex field, these problems can be solved by Schubert calculus. In the real case the number of solutions can be different on the distinct connected components…
We show that the Schubert calculus of enumerative geometry is real, for special Schubert conditions. That is, for any such enumerative problem, there exist real conditions for which all the a priori complex solutions are real.
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 discuss the problem of whether a given problem in enumerative geometry can have all of its solutions be real. In particular, we describe an approach to problems of this type, and show how this can be used to show some enumerative…
We develop numerical homotopy algorithms for solving systems of polynomial equations arising from the classical Schubert calculus. These homotopies are optimal in that generically no paths diverge. For problems defined by hypersurface…
Given $mp$ different $p$-planes in general position in $(m+p)$-dimensional space, a classical problem is to ask how many $p$-planes intersect all of them. For example when $m = p = 2$, this is precisely the question of "lines meeting four…
Given a $d$-dimensional vector space $V \subset \mathbb{C}[u]$ of polynomials, its Wronskian is the polynomial $(u + z_1) \cdots (u + z_n)$ whose zeros $-z_i$ are the points of $\mathbb{C}$ such that $V$ contains a nonzero polynomial with a…
Equivalences between conformal foliations on Euclidean $3$-space, Hermitian structures on Euclidean $4$-space, shear-free ray congruences on Minkowski $4$-space, and holomorphic foliations on complex $4$-space are explained geometrically…
A multiplication on persistence diagrams is introduced by means of Schubert calculus. The key observation behind this multiplication comes from the fact that the representation space of persistence modules has the structure of the Schubert…
How should you choose a good set of (say) 48 planes in four dimensions? More generally, how do you find packings in Grassmannian spaces? In this article I give a brief introduction to the work that I have been doing on this problem in…
We develop a combinatorial rule to compute the real geometry of type B Schubert curves $S(\lambda_\bullet)$ in the orthogonal Grassmannian $\mathrm{OG}_n$, which are one-dimensional Schubert problems defined with respect to orthogonal flags…
We extend the geometric interpretation of the roots of the quadratic congruence $\mu^2 \equiv D \pmod m$ as the tops of certain geodesics in the hyperbolic plane to the case when $D$ is square-free and $D\equiv 1\pmod 4$. This allows us to…
The Mukhin-Tarasov-Varchenko Theorem (previously the Shapiro Conjecture) asserts that a Schubert problem has all solutions distinct and real if the Schubert varieties involved osculate a rational normal curve at real points. This sparked…
The main classical result of Schubert calculus is that multiplication rules for the basis of Schubert cycles inside the cohomology ring of the Grassmannian $G(n,m)$ are the same as multiplication rules for the basis of Schur polynomials in…