Lower bounds for numbers of real solutions in problems of Schubert calculus

@article{Mukhin2014LowerBF,
  title={Lower bounds for numbers of real solutions in problems of Schubert calculus},
  author={Evgeny Mukhin and Vitaly O. Tarasov},
  journal={Acta Mathematica},
  year={2014},
  volume={217},
  pages={177-193}
}
We give lower bounds for the numbers of real solutions in problems appearing in Schubert calculus in the Grassmannian $${\mathop{\rm Gr}(n,d)}$$Gr(n,d) related to osculating flags. It is known that such solutions are related to Bethe vectors in the Gaudin model associated to $${\mathop{\rm gl}_n}$$gln. The Gaudin Hamiltonians are self-adjoint with respect to a non-degenerate indefinite Hermitian form. Our bound comes from the computation of the signature of that form. 

Lower Bounds for Numbers of Real Self-Dual Spaces in Problems of Schubert Calculus

The self-dual spaces of polynomials are related to Bethe vectors in the Gaudin model associated to the Lie algebra of types B and C. In this paper, we give lower bounds for the numbers of real

Lower bounds and asymptotics of real double Hurwitz numbers

We study the real counterpart of double Hurwitz numbers, called real double Hurwitz numbers here. We establish a lower bound for these numbers with respect to their dependence on the distribution of

A congruence modulo four in real Schubert calculus

We establish a congruence modulo four in the real Schubert calculus on the Grassmannian of m-planes in 2m-space. This congruence holds for fibers of the Wronski map and a generalization to what we

A Primal-Dual Formulation for Certifiable Computations in Schubert Calculus

This work presents a novel primal-dual formulation of any Schubert problem on a Grassmannian or flag manifold as a system of bilinear equations with the same number of equations as variables.

A Congruence Modulo Four for Real Schubert Calculus with Isotropic Flags

Abstract 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

A topological proof of the Shapiro–Shapiro conjecture

We prove a generalization of the Shapiro–Shapiro conjecture on Wronskians of polynomials, allowing the Wronskian to have complex conjugate roots. We decompose the real Schubert cell according to the

A Primal-Dual Formulation for Certifiable Computations in Schubert Calculus

Formulating a Schubert problem as solutions to a system of equations in either Plücker space or local coordinates of a Schubert cell typically involves more equations than variables. We present a

Signatures of Multiplicity Spaces in tensor products of $\mathfrak{sl}_2$ and $U_q(\mathfrak{sl}_2)$ Representations

We study multiplicity space signatures in tensor products of representations of $\mathfrak{sl}_2$ and $U_q(\mathfrak{sl}_2)$, and give some applications. We completely classify definite multiplicity

Galois Groups in Enumerative Geometry and Applications

As Jordan observed in 1870, just as univariate polynomials have Galois groups, so do problems in enumerative geometry. Despite this pedigree, the study of Galois groups in enumerative geometry was

Perfect Integrability and Gaudin Models

We suggest the notion of perfect integrability for quantum spin chains and conjecture that quantum spin chains are perfectly integrable. We show the perfect integrability for Gaudin models associated

Lower Bounds in Real Schubert Calculus

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

Lower bounds for real solutions to sparse polynomial systems

Frontiers of reality in Schubert calculus

The theorem of Mukhin, Tarasov, and Varchenko (formerly the Shapiro conjecture for Grassmannians) asserts that all (a priori complex) solutions to certain geometric problems in the Schubert calculus

A congruence modulo four in real Schubert calculus

We establish a congruence modulo four in the real Schubert calculus on the Grassmannian of m-planes in 2m-space. This congruence holds for fibers of the Wronski map and a generalization to what we

The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz

We prove the B. and M. Shapiro conjecture that if the Wronskian of a set of polynomials has real roots only, then the complex span of this set of polynomials has a basis consisting of polynomials

Schubert calculus and representations of the general linear group

We construct a canonical isomorphism between the Bethe algebra acting on a multiplicity space of a tensor product of evaluation gl_N[t]-modules and the scheme-theoretic intersection of suitable

Rational functions with real critical points and the B. and M. Shapiro conjecture in real enumerative geometry

Suppose that 2d - 2 tangent lines to the rational normal curve z → (1: z …: z d ) in d-dimensional complex projective space are given. It was known that the number of codimension 2 subspaces

The Wronski map and Grassmannians of Real Codimension 2 Subspaces

We study the map which sends a pair of real polynomials (f0, f1) into their Wronski determinant W(f0,f1). This map is closely related to a linear projection from a Grassmannian GR(m,m + 2) to the

Generating Operator of XXX or Gaudin Transfer Matrices Has Quasi-Exponential Kernel ?

Let M be the tensor product of finite-dimensional polynomial evaluation Y (gl N )- modules. Consider the universal difference operator D = N P k=0 ( 1) k Tk(u)e k@u whose coef- ficients Tk(u) : M ! M

Quantization of the Gaudin System

In this article we exploit the known commutative family in Y(gl(n)) - the Bethe subalgebra - and its special limit to construct quantization of the Gaudin integrable system. We give explicit