197 problems
- 0 votes0 replies0 views
Knutson's puzzle conjecture for partial flag varieties
Let be a partial flag variety, and let its cohomology ring have structure constants defined with respect to the relevant Schubert basis. A puzzle is a tiling of…
- 0 votes0 replies0 views
Lascoux positivity for characters of normal square root crystals
Let , let be a -crystal, and let . Write … A polynomial is Lascoux positive if it is a…
- 0 votes0 replies1 view
The Kac–Moody extension conjecture for motivic Chern class Chevalley formulae
Kac–Moody extension conjecture. The analogues of the equations giving the Chevalley formulae for and hold for .
- 0 votes0 replies0 views
Aluffi–Mihalcea positivity conjecture for equivariant CSM structure constants
Let be a complex reductive group, let be a Borel subgroup, and let be the Weyl group. For with , write the equivariant Chern–Schwartz–MacPherson cla…
- 0 votes0 replies0 views
Griffeth–Ram positivity conjecture for equivariant K-theory Schubert structure constants
Let be a torus, let be its flag manifold, and let be the Weyl group. For the opposite Schubert varieties and , write their equivariant structure-s…
- 0 votes0 replies0 views
Secant conjecture for Grassmannian Schubert problems
Let be a Grassmannian, let be a Schubert problem, and let be flags secant to a rational…
- 0 votes0 replies0 views
Transversality conjecture for doubled Schubert-cell intersections
Let , , and be partitions whose Young diagrams fit in a by rectangle, and suppose the corresponding Littlewood–Richardson number is positive. For thre…
- 0 votes0 replies0 views
Nonnegativity conjecture for Schubert coefficients of matroids
Let be a matroid of rank on a ground set of size , and let be a partition whose Young diagram is contained in the rectangle. The Chow clas…
- 0 votes0 replies1 view
Shimozono's affine Grassmannian realization conjecture for k-Schur functions
Let be a positive integer, let denote the parameter used in the -Schur functions, and let be the homology ring of the affine Gras…
- 0 votes0 replies0 views
Orbit-by-orbit inequality for genomic tableaux in the orthogonal Grassmannian
Let be the permutation governing the switching algorithm, and let be one of its orbits. A genomic tableau is a tableau counted b…
- 0 votes0 replies0 views
The cosmall-root characterization conjecture for simply laced flag varieties
Cosmall-root characterization conjecture. Assume that is simply laced and let . Then is -cosmall if and only if
- 0 votes0 replies1 view
Positivity conjecture for KL-Schubert class localizations
KL-Schubert positivity conjecture. The evaluation , for any , can be expressed as a possibly infinite sum of monomials in the , where…
- 0 votes0 replies0 views
Liu's cohomology-class conjecture for diagram varieties
Let be a finite diagram contained in . Let be the associated diagram variety in , with cohomology class…
- 0 votes0 replies0 views
Shapiro conjecture for four lines
Let be lines tangent to a twisted cubic at real points. Shapiro conjecture. The two solutions to the corresponding problem of four lines are real. This is th…
- 0 votes0 replies0 views
Uniqueness conjecture for quantum Schubert correlation functions
Let be the symmetric group, let be its longest element, and let denote the quantum Schubert polynomial indexed by . Consider…
- 0 votes0 replies0 views
Fomin–Kirillov additive-generation conjecture for Dunkl evaluations
Let be the symmetric group, let be the positive cone generated by noncommutative monomials in the Bruhat generators , and let…
- 0 votes0 replies0 views
Axiomatic characterization conjecture for quantum Schubert polynomials
Let be the vector space spanned by the classical Schubert polynomials, and let be the quantum Schubert polynomial representing the Schubert class …
- 0 votes0 replies0 views
Buch–Fulton generalized Littlewood–Richardson rule
Let be rank conditions and let be the corresponding coefficient. A factor sequence for a tableau diagram with rows is a sequence of tableaux…
- 0 votes0 replies0 views
Peterson's positivity conjecture for equivariant Schubert calculus
Let be the flag variety of a complex semisimple group, with a Borel subgroup and maximal torus. Let be the -equivariant cohomology, viewed as a f…
- 0 votes0 replies1 view
Reducedness conjecture for real Schubert intersections
Let , let be the real rational normal curve, and let be Schubert conditions satisfying … For distinct real points , co…
- 0 votes0 replies0 views
Vakil's geometric Littlewood–Richardson conjecture for partial flag varieties
Vakil's geometric Littlewood–Richardson conjecture. There exists a subset such that: for all…
- 0 votes0 replies1 view
Equivariant puzzle-variety degeneration conjecture
Let be the flag variety, let and be consecutive elements in the specified degeneration order, and let an equivariant puzzle variety be the subvariety of…
- 0 votes0 replies0 views
Knutson's K-theoretic geometric Littlewood–Richardson conjecture
Let and be the two components arising when a puzzle variety breaks in the geometric Littlewood–Richardson degeneration, and let be the puzzle variety correspondin…
- 0 votes0 replies0 views
Anderson's all-degree coefficient-one conjecture for quantum products in Grassmannians
Let , and let and be Schubert classes indexed by partitions contained in the rectangle. Write … where…
- 0 votes0 replies1 view
Sufficiency of the naive inequalities for the Lagrangian Grassmannian
Let the Lagrangian Grassmannian be the homogeneous space considered in the paper, and let the naive inequalities be the necessary inequalities obtained from Proposition. A collecti…