Maria Gillespie — Page 2

arXiv2019

Schubert curves in the orthogonal Grassmannian

We develop a combinatorial rule to compute the real geometry of type B Schubert curves $S(λ_\bullet)$ in the orthogonal Grassmannian $\mathrm{OG}_n$, which are one-dimensional Schubert problems defined with respect to orthogonal flags osculating the rational normal curve. Our results are natural analogs of results previously known only in type A. First, using the type B Wronski map, we show that the real locus of the Schubert curve has a natural covering map to $\mathbb{RP}^1$, with monodromy operator $ω$ defined as the commutator of jeu de taquin rectification and promotion on skew shifted semistandard tableaux. We then introduce two different algorithms to compute $ω$ without rectifying the skew tableau. The first uses recently-developed shifted tableau crystal operators, while the second uses local switches much like jeu de taquin. The switching algorithm further computes the K-theory coefficient of the Schubert curve: its nonadjacent switches precisely enumerate Pechenik and Yong's shifted genomic tableaux. The connection to K-theory also gives rise to a partial understanding of the complex geometry of these curves.

math.CO↗

arXiv2018

Characterization of queer supercrystals

We provide a characterization of the crystal bases for the quantum queer superalgebra recently introduced by Grantcharov et al.. This characterization is a combination of local queer axioms generalizing Stembridge's local axioms for crystal bases for simply-laced root systems, which were recently introduced by Assaf and Oguz, with further axioms and a new graph $G$ characterizing the relations of the type $A$ components of the queer crystal. We provide a counterexample to Assaf's and Oguz' conjecture that the local queer axioms uniquely characterize the queer supercrystal. We obtain a combinatorial description of the graph $G$ on the type $A$ components by providing explicit combinatorial rules for the odd queer operators on certain highest weight elements.

math.CO↗

arXiv2018

Axioms for shifted tableau crystals

We give local axioms that uniquely characterize the crystal-like structure on shifted tableaux developed in a previous paper by Gillespie, Levinson, and Purbhoo. These axioms closely resemble those developed by Stembridge for type A tableau crystals. This axiomatic characterization gives rise to a new method for proving and understanding Schur $Q$-positive expansions in symmetric function theory, just as the Stembridge axiomatic structure provides for ordinary Schur positivity.

math.CO↗

arXiv2017

Shifted tableaux crystals

We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are the (skew) Schur $Q$-functions. We give local axioms for these crystals, which closely resemble the Stembridge axioms for type A. Finally, we give a new criterion for such tableaux to be ballot.

math.CO↗

arXiv2017

A crystal-like structure on shifted tableaux

We introduce coplactic raising and lowering operators $E'_i$, $F'_i$, $E_i$, and $F_i$ on shifted skew semistandard tableaux. We show that the primed operators and unprimed operators each independently form type A Kashiwara crystals (but not Stembridge crystals) on the same underlying set and with the same weight functions. When taken together, the result is a new kind of `doubled crystal' structure that recovers the combinatorics of type B Schubert calculus: the highest-weight elements of our crystals are precisely the shifted Littlewood-Richardson tableaux, and their generating functions are the (skew) Schur Q functions.

math.CO↗

arXiv2016

Macdonald symmetry at $q=1$ and a new class of inv-preserving bijections on words

We give a direct combinatorial proof of the $q,t$-symmetry relation $\tilde H_μ(X;q,t)=\tilde H_{μ'}(X;t,q)$ in the Macdonald polynomials $\tilde H_μ$ at the specialization $q=1$. The bijection demonstrates that the Macdonald inv statistic on the permutations of any given row of a Young diagram filling is Mahonian. Moreover, our bijection gives rise a family of new bijections on words that preserves the classical Mahonian inv statistic.

math.CO↗