Showing 1–23 of 23 results for author: Richmond, E

Coxeter groups and Billey-Postnikov decompositions

Authors: Suho Oh, Edward Richmond

Abstract: In this chapter, we give an overview of Billey-Postnikov (BP) decompositions which have become an important tool for understanding the geometry and combinatorics of Schubert varieties. BP decompositions are factorizations of Coxeter group elements with many nice properties in relation to Bruhat partial order. They have played an important role in the classification and enumeration of smooth Schube… ▽ More In this chapter, we give an overview of Billey-Postnikov (BP) decompositions which have become an important tool for understanding the geometry and combinatorics of Schubert varieties. BP decompositions are factorizations of Coxeter group elements with many nice properties in relation to Bruhat partial order. They have played an important role in the classification and enumeration of smooth Schubert varieties. They have also been used in the study of inversion hyperplane arrangements and permutation pattern avoidance. We survey many of these applications. △ Less

Submitted 4 September, 2024; originally announced September 2024.

MSC Class: 20F55; 14M15; 52C35

Enumerating Permutations Avoiding Split Patterns 3|12 and 23|1

Authors: Travis Grigsby, Edward Richmond

Abstract: In this paper, we give a formula for the number of permutations that avoid the split patterns $3|12$ and $23|1$ with respect to a position $r$. Such permutations count the number of Schubert varieties for which the projection map from the flag variety to a Grassmannian induces a fiber bundle structure. We also study the corresponding bivariate generating function and show how it is related to modi… ▽ More In this paper, we give a formula for the number of permutations that avoid the split patterns $3|12$ and $23|1$ with respect to a position $r$. Such permutations count the number of Schubert varieties for which the projection map from the flag variety to a Grassmannian induces a fiber bundle structure. We also study the corresponding bivariate generating function and show how it is related to modified Bessel functions. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: 10 pages

MSC Class: 05A05 (Primary) 14N10 (Secondary)

Nil-Hecke rings and the Schubert calculus

Authors: Edward Richmond, Kirill Zainoulline

Abstract: The purpose of the present notes is to give a self-contained exposition on the use of the techniques of Nil-Hecke algebras in the localization approach to the equivariant Schubert calculus for cohomology of flag varieties. We also demonstrate how these techniques can be applied to non-crystallographic root systems as well as to study (connective) $K$-theory of flag varieties. The purpose of the present notes is to give a self-contained exposition on the use of the techniques of Nil-Hecke algebras in the localization approach to the equivariant Schubert calculus for cohomology of flag varieties. We also demonstrate how these techniques can be applied to non-crystallographic root systems as well as to study (connective) $K$-theory of flag varieties. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: This manuscript is prepared as a chapter in the Handbook of Combinatorial Algebraic Geometry

MSC Class: 14M15; 05E14; 14C15; 19L41

Demazure product of permutations and hopping

Authors: Tina Li, Suho Oh, Edward Richmond, Grace Yan, Kimberley You

Abstract: The Demazure product (also goes by the name of 0-Hecke product or the greedy product) is an associative operation on Coxeter groups with interesting properties and important applications. In this note, we study permutations and present an efficient way to compute the Demazure product of two permutations starting from their usual product and then applying a new operator we call a hopping operator.… ▽ More The Demazure product (also goes by the name of 0-Hecke product or the greedy product) is an associative operation on Coxeter groups with interesting properties and important applications. In this note, we study permutations and present an efficient way to compute the Demazure product of two permutations starting from their usual product and then applying a new operator we call a hopping operator. We also give an analogous result for the group of signed permutations. △ Less

Submitted 6 March, 2023; originally announced March 2023.

Comments: 11 pages, 1 figure

MSC Class: 20F55; 05E15; 20B30; 22E40

The Isomorphism Problem for cominuscule Schubert Varieties

Authors: Edward Richmond, Mihail Tarigradschi, Weihong Xu

Abstract: Cominuscule flag varieties generalize Grassmannians to other Lie types. Schubert varieties in cominuscule flag varieties are indexed by posets of roots labeled long/short. These labeled posets generalize Young diagrams. We prove that Schubert varieties in potentially different cominuscule flag varieties are isomorphic as varieties if and only if their corresponding labeled posets are isomorphic, g… ▽ More Cominuscule flag varieties generalize Grassmannians to other Lie types. Schubert varieties in cominuscule flag varieties are indexed by posets of roots labeled long/short. These labeled posets generalize Young diagrams. We prove that Schubert varieties in potentially different cominuscule flag varieties are isomorphic as varieties if and only if their corresponding labeled posets are isomorphic, generalizing the classification of Grassmannian Schubert varieties using Young diagrams by the last two authors. Our proof is type-independent. △ Less

Submitted 25 March, 2024; v1 submitted 22 February, 2023; originally announced February 2023.

Comments: Final version, 13 pages, 2 tables, 2 figures

MSC Class: 14M15; 05E14; 05E10

Journal ref: Selecta Mathematica (2024)

The parabolic coset structure of Bruhat intervals in Coxeter groups

Authors: Suho Oh, Edward Richmond

Abstract: In this paper, we study the decomposition of Bruhat intervals in a Coxeter group with respect to cosets of a parabolic subgroup. Our main result is that the intersection of a lower Bruhat interval with a parabolic coset contains a unique maximal element. As an application, we give a decomposition formula for the Poincaré polynomial of a Coxeter group element. We also show that the fibers of standa… ▽ More In this paper, we study the decomposition of Bruhat intervals in a Coxeter group with respect to cosets of a parabolic subgroup. Our main result is that the intersection of a lower Bruhat interval with a parabolic coset contains a unique maximal element. As an application, we give a decomposition formula for the Poincaré polynomial of a Coxeter group element. We also show that the fibers of standard parabolic projection maps on Schubert varieties are themselves Schubert varieties. △ Less

Submitted 20 May, 2022; v1 submitted 25 April, 2022; originally announced April 2022.

Comments: 11 pages, 2 figures. Ver2: Updated Section 2 with more background. Updated example at the end of Section 3

MSC Class: 20F55; 14M15; 22E40; 05E99

On the generating function for intervals in Young's lattice

Authors: Faqruddin Azam, Edward Richmond

Abstract: In this paper, we study a family of generating functions whose coefficients are polynomials that enumerate partitions in lower order ideals of Young's lattice. Our main result is that this family satisfies a rational recursion and are therefore rational functions. As an application, we calculate the asymptotic behavior of the cardinality of lower order ideals for the ``average" partition of fixed… ▽ More In this paper, we study a family of generating functions whose coefficients are polynomials that enumerate partitions in lower order ideals of Young's lattice. Our main result is that this family satisfies a rational recursion and are therefore rational functions. As an application, we calculate the asymptotic behavior of the cardinality of lower order ideals for the ``average" partition of fixed length and give a homological interpretation of this result in relation to Grassmannians and their Schubert varieties. △ Less

Submitted 19 July, 2021; originally announced July 2021.

Comments: 18 pages, 1 table

MSC Class: 05A17; 14M15

The isomorphism problem for Schubert varieties

Authors: Edward Richmond, William Slofstra

Abstract: Schubert varieties in the full flag variety of Kac-Moody type are indexed by elements of the corresponding Weyl group. We give a practical criterion for when two such Schubert varieties (from potentially different flag varieties) are isomorphic, in terms of the Cartan matrix and reduced words for the indexing Weyl group elements. As a corollary, we show that two such Schubert varieties are isomorp… ▽ More Schubert varieties in the full flag variety of Kac-Moody type are indexed by elements of the corresponding Weyl group. We give a practical criterion for when two such Schubert varieties (from potentially different flag varieties) are isomorphic, in terms of the Cartan matrix and reduced words for the indexing Weyl group elements. As a corollary, we show that two such Schubert varieties are isomorphic if and only if there is an isomorphism between their integral cohomology rings that preserves the Schubert basis. △ Less

Submitted 20 May, 2022; v1 submitted 14 March, 2021; originally announced March 2021.

Comments: 23 pages, 1 figure. Ver2: Updated and combined Examples 1.5 and 1.6. Made corrections to Example 1.7

MSC Class: 14M15; 05E14

An equivariant basis for the cohomology of Springer fibers

Authors: Martha Precup, Edward Richmond

Abstract: Springer fibers are subvarieties of the flag variety that play an important role in combinatorics and geometric representation theory. In this paper, we analyze the equivariant cohomology of Springer fibers for $GL_n(\mathbb{C})$ using results of Kumar and Procesi that describe this equivariant cohomology as a quotient ring. We define a basis for the equivariant cohomology of a Springer fiber, gen… ▽ More Springer fibers are subvarieties of the flag variety that play an important role in combinatorics and geometric representation theory. In this paper, we analyze the equivariant cohomology of Springer fibers for $GL_n(\mathbb{C})$ using results of Kumar and Procesi that describe this equivariant cohomology as a quotient ring. We define a basis for the equivariant cohomology of a Springer fiber, generalizing a monomial basis of the ordinary cohomology defined by De Concini and Procesi and studied by Garsia and Procesi. Our construction yields a combinatorial framework with which to study the equivariant and ordinary cohomology rings of Springer fibers. As an application, we identify an explicit collection of (equivariant) Schubert classes whose images in the (equivariant) cohomology ring of a given Springer fiber form a basis. △ Less

Submitted 12 January, 2021; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: 30 pages, 2 figures. Minor revisions

Noncommutative LR coefficients and crystal reflection operators

Authors: Edward Richmond, Vasu Tewari

Abstract: We relate noncommutative Littlewood-Richardson coefficients of Bessenrodt-Luoto-van Willigenburg to classical Littlewood-Richardson coefficients via crystal reflection operators. A key role is played by the combinatorics of frank words. We relate noncommutative Littlewood-Richardson coefficients of Bessenrodt-Luoto-van Willigenburg to classical Littlewood-Richardson coefficients via crystal reflection operators. A key role is played by the combinatorics of frank words. △ Less

Submitted 26 May, 2019; originally announced May 2019.

Comments: 19 pages

MSC Class: 05E05

The Nash blow-up of a cominuscule Schubert variety

Authors: Edward Richmond, William Slofstra, Alexander Woo

Abstract: We compute the Nash blow-up of a cominuscule Schubert variety. In particular, we show that the Nash blow-up is algebraically isomorphic to another Schubert variety of the same Lie type. As a consequence, we give a new characterization of the smooth locus and, for Grassmannian Schubert varieties, determine when the Nash blow-up is a resolution of singularities. We also study the induced torus actio… ▽ More We compute the Nash blow-up of a cominuscule Schubert variety. In particular, we show that the Nash blow-up is algebraically isomorphic to another Schubert variety of the same Lie type. As a consequence, we give a new characterization of the smooth locus and, for Grassmannian Schubert varieties, determine when the Nash blow-up is a resolution of singularities. We also study the induced torus action on the Nash blow-up and give a bijection between its torus fixed points and Peterson translates on the Schubert variety. △ Less

Submitted 17 August, 2018; originally announced August 2018.

Comments: 16 pages

MSC Class: 14M15; 22F30

Journal ref: J. Algebra 559 (2020), p, 580-600

Smooth Schubert varieties in the affine flag variety of type $\tilde{A}$

Authors: Edward Richmond, William Slofstra

Abstract: We show that every smooth Schubert variety of affine type $\tilde{A}$ is an iterated fibre bundle of Grassmannians, extending an analogous result by Ryan and Wolper for Schubert varieties of finite type $A$. As a consequence, we finish a conjecture of Billey-Crites that a Schubert variety in affine type $\tilde{A}$ is smooth if and only if the corresponding affine permutation avoids the patterns… ▽ More We show that every smooth Schubert variety of affine type $\tilde{A}$ is an iterated fibre bundle of Grassmannians, extending an analogous result by Ryan and Wolper for Schubert varieties of finite type $A$. As a consequence, we finish a conjecture of Billey-Crites that a Schubert variety in affine type $\tilde{A}$ is smooth if and only if the corresponding affine permutation avoids the patterns $4231$ and $3412$. Using this iterated fibre bundle structure, we compute the generating function for the number of smooth Schubert varieties of affine type $\tilde{A}$. △ Less

Submitted 7 February, 2017; originally announced February 2017.

Comments: 17 pages; as indicated in the paper, some results (including Theorem 1.1) originally appeared in arXiv:1408.0084v1, but were moved to this paper during the publication process

Pattern avoidance and fiber bundle structures on Schubert varieties

Authors: Timothy Alland, Edward Richmond

Abstract: We give a permutation pattern avoidance criteria for determining when the projection map from the flag variety to a Grassmannian induces a fiber bundle structure on a Schubert variety. In particular, we introduce the notion of a split pattern and show that a Schubert variety has such a fiber bundle structure if and only if the corresponding permutation avoids the split patterns 3|12 and 23|1. Cont… ▽ More We give a permutation pattern avoidance criteria for determining when the projection map from the flag variety to a Grassmannian induces a fiber bundle structure on a Schubert variety. In particular, we introduce the notion of a split pattern and show that a Schubert variety has such a fiber bundle structure if and only if the corresponding permutation avoids the split patterns 3|12 and 23|1. Continuing, we show that a Schubert variety is an iterated fiber bundle of Grassmannian Schubert varieties if and only if the corresponding permutation avoids (non-split) patterns 3412, 52341, and 635241. This extends a combined result of Lakshmibai-Sandhya, Ryan, and Wolper who prove that Schubert varieties whose permutation avoids the "smooth" patterns 3412 and 4231 are iterated fiber bundles of smooth Grassmannian Schubert varieties. △ Less

Submitted 11 October, 2016; originally announced October 2016.

Comments: 16 pages and 9 Figures

MSC Class: 14M15; 22E40; 20F55; 05A05; 05E05

Journal ref: J. Combin. Theory Ser. A. Vol 154 (2018), 533-550

Staircase diagrams and enumeration of smooth Schubert varieties

Authors: Edward Richmond, William Slofstra

Abstract: We enumerate smooth and rationally smooth Schubert varieties in the classical finite types A, B, C, and D, extending Haiman's enumeration for type A. To do this enumeration, we introduce a notion of staircase diagrams on a graph. These combinatorial structures are collections of steps of irregular size, forming interconnected staircases over the given graph. Over a Dynkin-Coxeter graph, the set of… ▽ More We enumerate smooth and rationally smooth Schubert varieties in the classical finite types A, B, C, and D, extending Haiman's enumeration for type A. To do this enumeration, we introduce a notion of staircase diagrams on a graph. These combinatorial structures are collections of steps of irregular size, forming interconnected staircases over the given graph. Over a Dynkin-Coxeter graph, the set of "nearly-maximally labelled" staircase diagrams is in bijection with the set of Schubert varieties with a complete Billey-Postnikov (BP) decomposition. We can then use an earlier result of the authors showing that all finite-type rationally smooth Schubert varieties have a complete BP decomposition to finish the enumeration. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 42 pages, 3 tables

MSC Class: 14M15; 14N15; 05A15; 20F55; 22E40

Journal ref: J. Combin. Theory Ser. A. Vol 150 (2017), 328-376

Billey-Postnikov decompositions and the fibre bundle structure of Schubert varieties

Authors: Edward Richmond, William Slofstra

Abstract: A theorem of Ryan and Wolper states that a type A Schubert variety is smooth if and only if it is an iterated fibre bundle of Grassmannians. We extend this theorem to arbitrary finite type, showing that a Schubert variety in a generalized flag variety is rationally smooth if and only if it is an iterated fibre bundle of rationally smooth Grassmannian Schubert varieties. The proof depends on deep c… ▽ More A theorem of Ryan and Wolper states that a type A Schubert variety is smooth if and only if it is an iterated fibre bundle of Grassmannians. We extend this theorem to arbitrary finite type, showing that a Schubert variety in a generalized flag variety is rationally smooth if and only if it is an iterated fibre bundle of rationally smooth Grassmannian Schubert varieties. The proof depends on deep combinatorial results of Billey-Postnikov on Weyl groups. We determine all smooth and rationally smooth Grassmannian Schubert varieties, and give a new proof of Peterson's theorem that all simply-laced rationally smooth Schubert varieties are smooth. Taken together, our results give a fairly complete geometric description of smooth and rationally smooth Schubert varieties using primarily combinatorial methods. △ Less

Submitted 9 February, 2017; v1 submitted 1 August, 2014; originally announced August 2014.

Comments: 22 pages. Substantial changes for publication; in particular, results for affine type A now appear in arXiv:1702.02236. This version does contain some schematic diagrams which are not in the published version, and which may be helpful

Journal ref: Math. Ann. (2016) 366 (1): 31-55

Eigenvalues of Hermitian matrices and equivariant cohomology of Grassmannians

Authors: David Anderson, Edward Richmond, Alexander Yong

Abstract: The saturation theorem of [Knutson-Tao '99] concerns the nonvanishing of Littlewood-Richardson coefficients. In combination with work of [Klyachko '98], it implies [Horn '62]'s conjecture about eigenvalues of sums of Hermitian matrices. This eigenvalue problem has a generalization [Friedland '00] to majorized sums of Hermitian matrices. We further illustrate the common features between these two… ▽ More The saturation theorem of [Knutson-Tao '99] concerns the nonvanishing of Littlewood-Richardson coefficients. In combination with work of [Klyachko '98], it implies [Horn '62]'s conjecture about eigenvalues of sums of Hermitian matrices. This eigenvalue problem has a generalization [Friedland '00] to majorized sums of Hermitian matrices. We further illustrate the common features between these two eigenvalue problems and their connection to Schubert calculus of Grassmannians. Our main result gives a Schubert calculus interpretation of Friedland's problem, via equivariant cohomology of Grassmannians. In particular, we prove a saturation theorem for this setting. Our arguments employ the aformentioned work together with [Thomas-Yong '12]. △ Less

Submitted 22 April, 2013; v1 submitted 17 October, 2012; originally announced October 2012.

Comments: 14 pages, to appear in Compositio Math

Journal ref: Compositio Math. vol 149 (2013), pp 1569-1582

Rationally smooth elements of Coxeter groups and triangle group avoidance

Authors: Edward Richmond, William Slofstra

Abstract: We study a family of infinite-type Coxeter groups defined by the avoidance of certain rank 3 parabolic subgroups. For this family, rationally smooth elements can be detected by looking at only a few coefficients of the Poincaré polynomial. We also prove a factorization theorem for the Poincaré polynomial of rationally smooth elements. As an application, we show that a large class of infinite-type… ▽ More We study a family of infinite-type Coxeter groups defined by the avoidance of certain rank 3 parabolic subgroups. For this family, rationally smooth elements can be detected by looking at only a few coefficients of the Poincaré polynomial. We also prove a factorization theorem for the Poincaré polynomial of rationally smooth elements. As an application, we show that a large class of infinite-type Coxeter groups have only finitely many rationally smooth elements. Explicit enumerations and descriptions of these elements are given in special cases. △ Less

Submitted 14 March, 2013; v1 submitted 25 June, 2012; originally announced June 2012.

Comments: 22 pages, 3 figures, version 3: Section 3.3 is now its own Section 4. New Lemma 2.3 on a property of BP-decompositions. Proof of Corollary 3.7 added. Notation changes made for descents sets (S->D). Several other minor changes

MSC Class: 20F55; 05E15

Journal ref: J. Algebraic Combin. 30 (2014), no. 39, 659-681

A combinatorial characterization of tight fusion frames

Authors: Marcin Bownik, Kurt Luoto, Edward Richmond

Abstract: In this paper we give a combinatorial characterization of tight fusion frame (TFF) sequences using Littlewood-Richardson skew tableaux. The equal rank case has been solved recently by Casazza, Fickus, Mixon, Wang, and Zhou. Our characterization does not have this limitation. We also develop some methods for generating TFF sequences. The basic technique is a majorization principle for TFF sequences… ▽ More In this paper we give a combinatorial characterization of tight fusion frame (TFF) sequences using Littlewood-Richardson skew tableaux. The equal rank case has been solved recently by Casazza, Fickus, Mixon, Wang, and Zhou. Our characterization does not have this limitation. We also develop some methods for generating TFF sequences. The basic technique is a majorization principle for TFF sequences combined with spatial and Naimark dualities. We use these methods and our characterization to give necessary and sufficient conditions which are satisfied by the first three highest ranks. We also give a combinatorial interpretation of spatial and Naimark dualities in terms of Littlewood-Richardson coefficients. We exhibit four classes of TFF sequences which have unique maximal elements with respect to majorization partial order. Finally, we give several examples illustrating our techniques including an example of tight fusion frame which can not be constructed by the existing spectral tetris techniques. We end the paper by giving a complete list of maximal TFF sequences in dimensions less than ten. △ Less

Submitted 13 December, 2011; originally announced December 2011.

Comments: 31 pages

MSC Class: 42C15; 15A57; 05E05

Journal ref: Pacific J. Math. Vol. 275 (2015), No. 2, 257-294

The Belkale-Kumar cup product and relative Lie algebra cohomology

Authors: Sam Evens, William Graham, with an appendix jointly written with Edward Richmond

Abstract: We study the Belkale-Kumar family of cup products on the cohomology of a generalized flag variety. We give an alternative construction of the family using relative Lie algebra cohomology, and in particular, identify the Belkale-Kumar cup product with a relative Lie algebra cohomology ring for every value of the parameter. As a consequence, we extend a fundamental disjointness result of Kostant to… ▽ More We study the Belkale-Kumar family of cup products on the cohomology of a generalized flag variety. We give an alternative construction of the family using relative Lie algebra cohomology, and in particular, identify the Belkale-Kumar cup product with a relative Lie algebra cohomology ring for every value of the parameter. As a consequence, we extend a fundamental disjointness result of Kostant to a family of Lie algebras. In an appendix, written jointly with Edward Richmond, we extend a Levi movability result of Belkale and Kumar to arbitrary parameters. △ Less

Submitted 27 May, 2011; v1 submitted 7 April, 2011; originally announced April 2011.

Comments: 26 pages; some small revisions from previous version

MSC Class: 14N15; 14N35; 17B56

Littlewood-Richardson coefficients for reflection groups

Authors: Arkady Berenstein, Edward Richmond

Abstract: In this paper we explicitly compute all Littlewood-Richardson coefficients for semisimple or Kac-Moody groups G, that is, the structure coefficients of the cohomology algebra H^*(G/P), where P is a parabolic subgroup of G. These coefficients are of importance in enumerative geometry, algebraic combinatorics and representation theory. Our formula for the Littlewood-Richardson coefficients is given… ▽ More In this paper we explicitly compute all Littlewood-Richardson coefficients for semisimple or Kac-Moody groups G, that is, the structure coefficients of the cohomology algebra H^*(G/P), where P is a parabolic subgroup of G. These coefficients are of importance in enumerative geometry, algebraic combinatorics and representation theory. Our formula for the Littlewood-Richardson coefficients is given in terms of the Cartan matrix and the Weyl group of G. However, if some off-diagonal entries of the Cartan matrix are 0 or -1, the formula may contain negative summands. On the other hand, if the Cartan matrix satisfies $a_{ij}a_{ji}\ge 4$ for all $i,j$, then each summand in our formula is nonnegative that implies nonnegativity of all Littlewood-Richardson coefficients. We extend this and other results to the structure coefficients of the T-equivariant cohomology of flag varieties G/P and Bott-Samelson varieties Gamma_\ii(G). △ Less

Submitted 24 June, 2012; v1 submitted 8 December, 2010; originally announced December 2010.

Comments: 51 pages, AMSLaTeX, typos corrected

Journal ref: Advances in Math. vol 284, 22 (2015), 54-111

Branching Schubert calculus and the Belkale-Kumar product on cohomology

Authors: Nicolas Ressayre, Edward Richmond

Abstract: In 2006, Belkale and Kumar define a new product on the cohomology of flag varieties and use this new product to give an improved solution to the eigencone problem for complex reductive groups. In this paper, we give a generalization of the Belkale-Kumar product to the branching Schubert calculus setting. The study of Branching Schubert calculus attempts to understand the induced map on cohomolog… ▽ More In 2006, Belkale and Kumar define a new product on the cohomology of flag varieties and use this new product to give an improved solution to the eigencone problem for complex reductive groups. In this paper, we give a generalization of the Belkale-Kumar product to the branching Schubert calculus setting. The study of Branching Schubert calculus attempts to understand the induced map on cohomology of an equivariant embedding of flag varieties. The main application of our work is a compact formulation of the solution to the branching eigencone problem. △ Less

Submitted 4 September, 2009; originally announced September 2009.

Journal ref: Proc. Amer. Math. Soc. 139 (2011), no. 3, 835-848

A multiplicative formula for structure constants in the cohomology of flag varieties

Authors: Edward Richmond

Abstract: Let G be a complex semi-simple Lie group and let P,Q be a pair of parabolic subgroups of G such that Q contains P. Consider the flag varieties G/P, G/Q and Q/P. We show that certain structure constants in H^*(G/P) with respect to the Schubert basis can be written as a product of structure constants coming from H^*(G/Q) and H^*(Q/P) in a very natural way. The primary application is to compute Levi-… ▽ More Let G be a complex semi-simple Lie group and let P,Q be a pair of parabolic subgroups of G such that Q contains P. Consider the flag varieties G/P, G/Q and Q/P. We show that certain structure constants in H^*(G/P) with respect to the Schubert basis can be written as a product of structure constants coming from H^*(G/Q) and H^*(Q/P) in a very natural way. The primary application is to compute Levi-movable structure constants defined by Belkale and Kumar. We also give a generalization of this product formula in the branching Schubert calculus setting. △ Less

Submitted 3 November, 2010; v1 submitted 10 December, 2008; originally announced December 2008.

Comments: Final verison, 14 pages. The some of the results in this paper where independently obtained by N. Ressayre in arXiv:0812.2122. To appear in Mich. Math. Journal

Journal ref: Michigan Math. J. 61 (2012), no. 1, 3-17

A partial Horn recursion in the cohomology of flag varieties

Authors: Edward Richmond

Abstract: Horn recursion is a term used to describe when non-vanishing products of Schubert classes in the cohomology of complex flag varieties are characterized by inequalities parameterized by similar non-vanishing products in the cohomology of "smaller" flag varieties. We consider the type A partial flag variety and find that its cohomology exhibits a Horn recursion on a certain deformation of the cup… ▽ More Horn recursion is a term used to describe when non-vanishing products of Schubert classes in the cohomology of complex flag varieties are characterized by inequalities parameterized by similar non-vanishing products in the cohomology of "smaller" flag varieties. We consider the type A partial flag variety and find that its cohomology exhibits a Horn recursion on a certain deformation of the cup product defined by Belkale and Kumar in \cite{BK06}. We also show that if a product of Schubert classes is non-vanishing on this deformation, then the associated structure constant can be written in terms of structure constants coming from induced Grassmannians. △ Less

Submitted 9 October, 2008; v1 submitted 15 March, 2007; originally announced March 2007.

Comments: v4: Final version, the current title has been changed from: "Horn recursion for a new product in the cohomology of partial flag varieties SLn/P" to appear in J. Alg. Comb., available through "online first"

Journal ref: J. Algebraic Combin. 30 (2009), no. 1, 1-17