Reductions for branching coefficients

Let $G$ be a connected reductive subgroup of a complex connected reductive group $\hat{G}$. We are interested in the branching problem. Fix maximal tori and Borel subgroups of $G$ and $\hat G$. Consider the cone $lr(G,\hat G)$ generated by the pairs $(\nu,\hat nu)$ of dominant characters such that $V_\nu^*$ is a submodule of $V_{\hat nu}$. It is known that $lr(G,\hat G)$ is a closed convex polyhedral cone. In this work, we show that every regular face of $lr(G,\hat G)$ gives rise to a {\it reduction rule} for multiplicities. More precisely, we prove that for $(\nu,\hat nu)$ on such a face, the multiplicity of $V_\nu^*$ in $V_{\hat nu}$ equal to a similar multiplicity for representations of Levi subgroups of $G$ and $\hat G$. This generalizes, by different methods, results obtained by Brion, Derksen-Weyman, Roth..

Mutations of puzzles and equivariant cohomology of two-step flag varieties

We introduce a mutation algorithm for puzzles that is a three-direction analogue of the classical jeu de taquin algorithm for semistandard tableaux. We apply this algorithm to prove our conjectured puzzle formula for the equivariant Schubert structure constants of two-step flag varieties. This formula gives an expression for the structure constants that is positive in the sense of Graham. Thanks to the equivariant version of the `quantum equals classical' result, our formula specializes to a Littlewood-Richardson rule for the equivariant quantum cohomology of Grassmannians.Comment: In this version illegal puzzle pieces have been renamed to temporary puzzle pieces. Conjecture 4.7 has been replaced with a counterexample. This is the final version to appear in Annals of Mathematic

Root-theoretic Young diagrams and Schubert Calculus

A longstanding problem in algebraic combinatorics is to find nonnegative combinatorial rules for the Schubert calculus of generalized flag varieties; that is, for the structure constants of their cohomology rings with respect to the Schubert basis. There are several natural choices of combinatorial indexing sets for the Schubert basis classes. This thesis examines a number of Schubert calculus problems from the common lens of root-theoretic Young diagrams (RYDs). In terms of RYDs, we present nonnegative Schubert calculus rules for the (co)adjoint varieties of classical Lie type. Using these we give polytopal descriptions of the set of nonzero Schubert structure constants for the (co)adjoint varieties where the RYDs are all planar, and suggest a connection between planarity of the RYDs and polytopality of the nonzero Schubert structure constants. This is joint work with A. Yong. For the family of (nonmaximal) isotropic Grassmannians, we characterize the RYDs and give a bijection between RYDs and the k-strict partitions of A. Buch, A. Kresch and H. Tamvakis. We apply this bijection to show that the (co)adjoint Schubert calculus rules agree with the Pieri rules of A. Buch, A. Kresch and H. Tamvakis, which is needed for the proofs of the (co)adjoint rules. We also use RYDs to study the Belkale-Kumar deformation of the ordinary cup product on cohomology of generalized flag varieties. This product structure was introduced by P. Belkale and S. Kumar and used to study a generalization of the Horn problem. A structure constant of the Belkale-Kumar product is either zero or equal to the corresponding Schubert structure constant, hence the Belkale-Kumar product captures a certain subset of the Schubert structure constants. We give a new formula (after that of A. Knutson and K. Purbhoo) in terms of RYDs for the Belkale-Kumar product on flag varieties of type A. We also extend this formula outside of type A to the (co)adjoint varieties of classical type. With O. Pechenik, we introduce a new deformed product structure on the cohomology of generalized flag varieties, whose nonzero structure constants can be understood in terms of projections to smaller flag varieties. We draw comparisons with the ordinary cup product and the Belkale-Kumar product

Root-theoretic Young Diagrams, Schubert Calculus and Adjoint Varieties

Root-theoretic Young diagrams are a conceptual framework to discuss existence of a root-system uniform and manifestly non-negative combinatorial rule for Schubert calculus. Our main results use them to obtain formulas for (co)adjoint varieties of classical Lie type. This case is the simplest after the previously solved (co)minuscule family. Yet our formulas possess both uniform and non-uniform features