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 call symmetric Schubert problems. This strengthens the usual congruence modulo two for numbers of real solutions to geometric problems. It also gives examples of geometric problems given by fibers of a map whose topological degree is zero but where each fiber contains real points.

[1]  Kevin Barraclough,et al.  I and i , 2001, BMJ : British Medical Journal.

[2]  Andrei Gabrielov,et al.  Degrees of Real Wronski Maps , 2002, Discret. Comput. Geom..

[3]  Frank Sottile,et al.  Some real and unreal enumerative geometry for flag manifolds. , 2000, math/0002207.

[4]  Jean-Yves Welschinger,et al.  Invariants of real rational symplectic 4-manifolds and lower bounds in real enumerative geometry , 2003 .

[5]  Chiaki Itoh,et al.  Where Is the Σb , 1992 .

[6]  Howard Hiller,et al.  Geometry of Coxeter groups , 1982 .

[7]  A. Eremenko,et al.  Rational functions with real critical points and the B. and M. Shapiro conjecture in real enumerative geometry , 2004, math/0405196.

[8]  S.Finashin,et al.  Abundance of real lines on real projective hypersurfaces , 2012, 1201.2897.

[9]  Frank Sottile,et al.  A Congruence Modulo Four for Real Schubert Calculus with Isotropic Flags , 2014, Canadian Mathematical Bulletin.

[10]  Frank Sottile,et al.  Real Schubert Calculus: Polynomial Systems and a Conjecture of Shapiro and Shapiro , 1999, Exp. Math..

[11]  E. Mukhin,et al.  Lower bounds for numbers of real solutions in problems of Schubert calculus , 2014 .

[12]  Eugenii Shustin,et al.  Welschinger invariant and enumeration of real rational curves , 2003 .

[13]  Frank Sottile,et al.  Lower Bounds in Real Schubert Calculus , 2013, 1308.4381.

[14]  Richard P. Stanley,et al.  Two poset polytopes , 1986, Discret. Comput. Geom..

[15]  Kevin Purbhoo,et al.  Jeu de taquin and a monodromy problem for Wronskians of polynomials , 2009, 0902.1321.

[16]  Frank Sottile.  General isotropic flags are general (for Grassmannian Schubert calculus) , 2008 .

[17]  E. Mukhin,et al.  Schubert calculus and representations of the general linear group , 2007, 0711.4079.

[18]  Steven L. Kleiman,et al.  The transversality of a general translate , 1974 .

[19]  Kevin Purbhoo.  Reality and transversality for Schubert calculus in OG (n, 2n+1) , 2009 .

[20]  H. Schubert.  Anzahl-Bestimmungen für Lineare Räume , 1886 .

[21]  Frank Sottile,et al.  The special Schubert calculus is real , 1999 .

[22]  C. Okonek,et al.  Intrinsic signs and lower bounds in real algebraic geometry , 2011, 1112.3851.

[23]  Eugenii Shustin,et al.  Logarithmic equivalence of Welschinger and Gromov-Witten invariants , 2004 .

[24]  C. Okonek,et al.  A wall-crossing formula for degrees of Real central projections , 2012, 1206.4271.

[25]  List Price,et al.  Real solutions to equations from geometry , 2013 .

[26]  Andrei Gabrielov,et al.  Pole Placement by Static Output Feedback for Generic Linear Systems , 2002, SIAM J. Control. Optim..

[27]  G. Ottaviani.  A computational approach to L\"uroth quartics , 2012, 1208.1372.

[28]  Frank Sottile,et al.  Real Solutions to Equations from Geometry , 2006, University lecture series.

[29]  David E. Speyer,et al.  Schubert problems with respect to osculating flags of stable rational curves , 2012, 1209.5409.

[30]  Frank Sottile,et al.  Lower bounds for real solutions to sparse polynomial systems , 2004 .

[31]  G. Ottaviani.  A computational approach to Lüroth quartics , 2012 .

[32]  E. Mukhin,et al.  The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz , 2005 .

[33]  Welschinger invariants of small non-toric Del Pezzo surfaces , 2010, 1002.1399.

[34]  Joe Harris,et al.  Divisors on general curves and cuspidal rational curves , 1983 .

[35]  Brian D. O. Anderson,et al.  Counting Critical Formations on a Line , 2014, SIAM J. Control. Optim..

[36]  William Fulton,et al.  Schubert varieties and degeneracy loci , 1998 .