Showing 1–13 of 13 results for author: Kiers, J

Geometric invariant theory and stretched Kostka quasi-polynomials

Authors: Marc Besson, Sam Jeralds, Joshua Kiers

Abstract: For $G$ a semisimple, simply-connected complex algebraic group and two dominant integral weights $λ, μ$, we consider the dimensions of weight spaces $V_λ(μ)$ of weight $μ$ in the irreducible, finite-dimensional highest weight $λ$ representation. For natural numbers $N$, the function $N \mapsto \dim V_{Nλ}(Nμ)$ is a quasi-polynomial in $N$, the stretched Kostka quasi-polynomial. Using methods of ge… ▽ More For $G$ a semisimple, simply-connected complex algebraic group and two dominant integral weights $λ, μ$, we consider the dimensions of weight spaces $V_λ(μ)$ of weight $μ$ in the irreducible, finite-dimensional highest weight $λ$ representation. For natural numbers $N$, the function $N \mapsto \dim V_{Nλ}(Nμ)$ is a quasi-polynomial in $N$, the stretched Kostka quasi-polynomial. Using methods of geometric invariant theory (GIT), we realize the degree of this quasi-polynomial as the dimension of a certain GIT quotient. As a result, we resolve a conjecture of Gao and Gao on an explicit formula for this degree. We also discuss periods of this quasi-polynomial determined by the GIT approach, and give computational evidence supporting a geometric determination of the minimal period. △ Less

Submitted 6 February, 2025; v1 submitted 2 December, 2024; originally announced December 2024.

Comments: v2: Minor expositional edits, with an updated abstract. Final version; v1: 13 pages

MSC Class: 22E46; 17B10; 14L24; 14M15

Affine Demazure Weight Polytopes and Twisted Bruhat Orders

Authors: Marc Besson, Sam Jeralds, Joshua Kiers

Abstract: For an untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ with Cartan and Borel subalgebras $\mathfrak{h} \subset \mathfrak{b} \subset \mathfrak{g}$, affine Demazure modules are certain $U(\mathfrak{b})$-submodules of the irreducible highest-weight representations of $\mathfrak{g}$. We introduce here the associated affine Demazure weight polytopes, given by the convex hull of the… ▽ More For an untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ with Cartan and Borel subalgebras $\mathfrak{h} \subset \mathfrak{b} \subset \mathfrak{g}$, affine Demazure modules are certain $U(\mathfrak{b})$-submodules of the irreducible highest-weight representations of $\mathfrak{g}$. We introduce here the associated affine Demazure weight polytopes, given by the convex hull of the $\mathfrak{h}$-weights of such a module. Using methods of geometric invariant theory, we determine inequalities which define these polytopes; these inequalities come in three distinct flavors, specified by the standard, opposite, or semi-infinite Bruhat orders. We also give a combinatorial characterization of the vertices of these polytopes lying on an arbitrary face, utilizing the more general class of twisted Bruhat orders. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 36 pages

MSC Class: 14M15; 22E66; 17B67; 05E10; 52A40

Vertices in multiplicative eigenvalue problem for arbitrary groups

Authors: Prakash Belkale, Joshua Kiers

Abstract: We determine, in an inductive framework, the vertices of the polytope $P(s,K)$ controlling the conjugacy classes of elements which product to one in the maximal compact subgroup $K$ of a simple complex algebraic group $G$. This extends earlier work of the authors in related contexts. One feature of this work is the use of Kontsevich compactifications of the moduli of $P$-bundles (replacing the use… ▽ More We determine, in an inductive framework, the vertices of the polytope $P(s,K)$ controlling the conjugacy classes of elements which product to one in the maximal compact subgroup $K$ of a simple complex algebraic group $G$. This extends earlier work of the authors in related contexts. One feature of this work is the use of Kontsevich compactifications of the moduli of $P$-bundles (replacing the use of quot schemes in type A) which are related to semi-infinite geometry. We also obtain a quantum generalization of Fulton's conjecture valid for all $G$. △ Less

Submitted 29 June, 2023; originally announced June 2023.

Comments: 58 pages

MSC Class: 14N35; 14M15; 15A42; 14H60

Weight polytopes and saturation of Demazure characters

Authors: Marc Besson, Sam Jeralds, Joshua Kiers

Abstract: For $G$ a reductive group and $T\subset B$ a maximal torus and Borel subgroup, Demazure modules are certain $B$-submodules, indexed by elements of the Weyl group, of the finite irreducible representations of $G$. In order to describe the $T$-weight spaces that appear in a Demazure module, we study the convex hull of these weights - the Demazure polytope. We characterize these polytopes both by ver… ▽ More For $G$ a reductive group and $T\subset B$ a maximal torus and Borel subgroup, Demazure modules are certain $B$-submodules, indexed by elements of the Weyl group, of the finite irreducible representations of $G$. In order to describe the $T$-weight spaces that appear in a Demazure module, we study the convex hull of these weights - the Demazure polytope. We characterize these polytopes both by vertices and by inequalities, and we use these results to prove that Demazure characters are saturated, in the case that $G$ is simple of classical Lie type. Specializing to $G=GL_n$, we recover results of Fink, Mészáros, and St. Dizier, and separately Fan and Guo, on key polynomials, originally conjectured by Monical, Tokcan, and Yong. △ Less

Submitted 8 February, 2023; v1 submitted 10 February, 2022; originally announced February 2022.

Comments: 32 pages, 6 figures. v2 added references and relation to MV polytopes, and simplified proofs in section 5. v3 minor expository edits, and corrections to the relation to the geometry of MV cycles

MSC Class: 14M15; 22E46; 17B10; 05E10; 52A40

Extremal rays of the equivariant Littlewood-Richardson cone

Authors: Joshua Kiers

Abstract: We give an inductive procedure for finding the extremal rays of the equivariant Littlewood-Richardson cone, which is closely related to the solution space to S. Friedland's majorized Hermitian eigenvalue problem. In so doing, we solve the "rational version" of a problem posed by C. Robichaux, H. Yadav, and A. Yong. Our procedure is a natural extension of P. Belkale's algorithm for the classical Li… ▽ More We give an inductive procedure for finding the extremal rays of the equivariant Littlewood-Richardson cone, which is closely related to the solution space to S. Friedland's majorized Hermitian eigenvalue problem. In so doing, we solve the "rational version" of a problem posed by C. Robichaux, H. Yadav, and A. Yong. Our procedure is a natural extension of P. Belkale's algorithm for the classical Littlewood-Richardson cone. The main tools for accommodating the equivariant setting are certain foundational results of D. Anderson, E. Richmond, and A. Yong. We also study two families of special rays of the cone and make observations about the Hilbert basis of the associated lattice semigroup. △ Less

Submitted 15 June, 2021; originally announced June 2021.

Comments: 19 pages

The Kostka semigroup and its Hilbert basis

Authors: Shiliang Gao, Joshua Kiers, Gidon Orelowitz, Alexander Yong

Abstract: The Kostka semigroup consists of pairs of partitions with at most r parts that have positive Kostka coefficient. For this semigroup, Hilbert basis membership is an NP-complete problem. We introduce KGR graphs and conservative subtrees, through the Gale-Ryser theorem on contingency tables, as a criterion for membership. In our main application, we show that if a partition pair is in the Hilbert bas… ▽ More The Kostka semigroup consists of pairs of partitions with at most r parts that have positive Kostka coefficient. For this semigroup, Hilbert basis membership is an NP-complete problem. We introduce KGR graphs and conservative subtrees, through the Gale-Ryser theorem on contingency tables, as a criterion for membership. In our main application, we show that if a partition pair is in the Hilbert basis then the partitions are at most r wide. We also classify the extremal rays of the associated polyhedral cone; these rays correspond to a (strict) subset of the Hilbert basis. In an appendix, the second and third authors show that a natural extension of our main result on the Kostka semigroup cannot be extended to the Littlewood-Richardson semigroup. This furthermore gives a counterexample to a recent speculation of P. Belkale concerning the semigroup controlling nonvanishing conformal blocks. △ Less

Submitted 3 August, 2021; v1 submitted 1 February, 2021; originally announced February 2021.

Comments: 27 pages. Conjectures 5.3 and 5.5 have been recently resolved in the affirmative by J. Kim (arXiv:2105.07015). Conjecture 5.8 has been resolved in the negative by the second and third authors in a new Appendix B. This furthermore resolves in the negative a recent speculation of P. Belkale (arXiv:2005.12457v3)

Journal ref: Enumerative Combinatorics and Applications, 4:2 (2024) Article #S2R9

Vertices of Intersection Polytopes and Rays of Generalized Kostka Cones

Authors: Marc Besson, Sam Jeralds, Joshua Kiers

Abstract: Let $\mathscr{K}(G)$ be the rational cone generated by pairs $(λ, μ)$ where $λ$ and $μ$ are dominant integral weights and $μ$ is a nontrivial weight space in the representation $V_λ$ of $G$. We produce all extremal rays of $\mathscr{K}(G)$ by considering the vertices of corresponding intersection polytopes $IP_λ$, the set of points in $\mathscr{K}(G)$ with first coordinate $λ$. We show that vertic… ▽ More Let $\mathscr{K}(G)$ be the rational cone generated by pairs $(λ, μ)$ where $λ$ and $μ$ are dominant integral weights and $μ$ is a nontrivial weight space in the representation $V_λ$ of $G$. We produce all extremal rays of $\mathscr{K}(G)$ by considering the vertices of corresponding intersection polytopes $IP_λ$, the set of points in $\mathscr{K}(G)$ with first coordinate $λ$. We show that vertices of $IP_{\varpi_i}$ arise as lifts of vertices coming from cones $\mathscr{K}(L)$ associated to simple Levi subgroups possessing the simple root $α_i$. As corollaries we obtain a complete description of all extremal rays, as well as polynomial formulas describing the numbers of extremal rays depending on type and rank. △ Less

Submitted 20 January, 2021; v1 submitted 20 April, 2020; originally announced April 2020.

Comments: 14 pages, with 10 figures; v2 includes a new averaging formula which simplifies several proofs

MSC Class: 22E46 (Primary) 05E10; 52A40 (Secondary)

Extremal rays of the embedded subgroup saturation cone

Authors: Joshua Kiers

Abstract: We examine the extremal rays of the cone of dominant weights $(μ, \widehatμ)$ for groups $G\subseteq \widehat G$ for which there exists $N \gg0$ such that $$ \left(V(Nμ)\otimes V(N\widehat μ)\right)^G\ne (0). $$ We exhibit formulas for a class of rays ("type I") on any regular face of the cone. These rays are identified thanks to a generalization of Fulton's conjecture, which we prove along the wa… ▽ More We examine the extremal rays of the cone of dominant weights $(μ, \widehatμ)$ for groups $G\subseteq \widehat G$ for which there exists $N \gg0$ such that $$ \left(V(Nμ)\otimes V(N\widehat μ)\right)^G\ne (0). $$ We exhibit formulas for a class of rays ("type I") on any regular face of the cone. These rays are identified thanks to a generalization of Fulton's conjecture, which we prove along the way. We verify that the remaining rays ("type II") on the face are the images of extremal rays for a smaller cone under a certain map, whose formula is given. A procedure is given for finding the rays of the cone not on any regular face. This is a generalization of the work of Belkale and Kiers on extremal rays for the saturated tensor cone; the specialization is given by $\widehat G = G\times G$ with the diagonal embedding of $G$. We include several examples to illustrate the formulas. △ Less

Submitted 8 February, 2021; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 50 pages, substantial edits to accommodate $G$ reductive instead of semisimple, new examples. To appear in Annales de l'Institut Fourier

MSC Class: 14C17; 14M15; 15A42; 22E46

Multiplicity in root components via Geometric Satake

Authors: Marc Besson, Sam Jeralds, Joshua Kiers

Abstract: In this note we explicitly construct top-dimensional components of the cyclic convolution varieties. These components correspond (via the geometric Satake equivalence) to irreducible summands $V(λ+μ-Nβ) \subset V(λ) \otimes V(μ)$ for $G^\vee=SL_{n+1}$, where $N\ge 1$ and $β$ is a positive root. Furthermore, we deduce from these constructions a nontrivial lower bound on the multiplicity of these su… ▽ More In this note we explicitly construct top-dimensional components of the cyclic convolution varieties. These components correspond (via the geometric Satake equivalence) to irreducible summands $V(λ+μ-Nβ) \subset V(λ) \otimes V(μ)$ for $G^\vee=SL_{n+1}$, where $N\ge 1$ and $β$ is a positive root. Furthermore, we deduce from these constructions a nontrivial lower bound on the multiplicity of these subrepresentations when $β$ is not a simple root. Finally, we demonstrate that not all such top-dimensional components can be realized as closures of orbits. △ Less

Submitted 4 December, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: 17 pages, fixed minor errors and enhanced exposition

MSC Class: 20G05; 14M15; 22E57

A proof of the refined PRV conjecture via the cyclic convolution variety

Authors: Joshua Kiers

Abstract: In this brief note we illustrate the utility of the geometric Satake correspondence by employing the cyclic convolution variety to give a simple proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture, along with Kumar's refinement. The proof involves recognizing certain MV-cycles as orbit closures of a group action, which we make explicit by unique characterization. In an appendix, joint with… ▽ More In this brief note we illustrate the utility of the geometric Satake correspondence by employing the cyclic convolution variety to give a simple proof of the Parthasarathy-Ranga Rao-Varadarajan conjecture, along with Kumar's refinement. The proof involves recognizing certain MV-cycles as orbit closures of a group action, which we make explicit by unique characterization. In an appendix, joint with P. Belkale, we discuss how this work fits in a more general framework. △ Less

Submitted 25 April, 2019; originally announced April 2019.

Comments: 9 pages, appendix joint with P. Belkale

MSC Class: 20G05; 14M15; 22E57

On the saturation conjecture for $\operatorname{Spin}(2n)$

Authors: Joshua Kiers

Abstract: In this paper we examine the saturation conjecture on decompositions of tensor products of irreducible representations for complex semisimple algebraic groups of type $D$ (the even \emph{spin} groups: Spin$(2n)$ for $n\ge 4$ an integer), extending work done by Kumar-Kapovich-Millson on Spin(8). Our main theorem asserts that the saturation conjecture holds for Spin(10) and Spin(12): for all triples… ▽ More In this paper we examine the saturation conjecture on decompositions of tensor products of irreducible representations for complex semisimple algebraic groups of type $D$ (the even \emph{spin} groups: Spin$(2n)$ for $n\ge 4$ an integer), extending work done by Kumar-Kapovich-Millson on Spin(8). Our main theorem asserts that the saturation conjecture holds for Spin(10) and Spin(12): for all triples of dominants weights $λ,μ,ν$ such that $λ+μ+ν$ is in the root lattice, and for any $N>0$, $$ \left(V(λ)\otimes V(μ)\otimes V(ν)\right)^G \ne 0 $$ if and only if $$ \left(V(Nλ)\otimes V(Nμ)\otimes V(Nν)\right)^G\ne 0, $$ for $G=$ Spin(10) or Spin(12). Some related results for groups of other types are listed as well. △ Less

Submitted 11 September, 2018; v1 submitted 24 April, 2018; originally announced April 2018.

Comments: 11 pages; v2 added a reference; v3 added update on saturation for D6

MSC Class: 22E46; 14L24; 14M15

Extremal rays in the Hermitian eigenvalue problem for arbitrary types

Authors: Prakash Belkale, Joshua Kiers

Abstract: The Hermitian eigenvalue problem asks for the possible eigenvalues of a sum of Hermitian matrices given the eigenvalues of the summands. This is a problem about the Lie algebra of the maximal compact subgroup of $G=\operatorname{SL}(n)$ . There is a polyhedral cone (the "eigencone") determining the possible answers to the problem. These eigencones can be defined for arbitrary semisimple groups… ▽ More The Hermitian eigenvalue problem asks for the possible eigenvalues of a sum of Hermitian matrices given the eigenvalues of the summands. This is a problem about the Lie algebra of the maximal compact subgroup of $G=\operatorname{SL}(n)$ . There is a polyhedral cone (the "eigencone") determining the possible answers to the problem. These eigencones can be defined for arbitrary semisimple groups $G$, and also control the (suitably stabilized) problem of existence of non-zero invariants in tensor products of irreducible representations of $G$. We give a description of the extremal rays of the eigencones for arbitrary semisimple groups $G$ by first observing that extremal rays lie on regular facets, and then classifying extremal rays on an arbitrary regular face. Explicit formulas are given for some extremal rays, which have an explicit geometric meaning as cycle classes of interesting loci, on an arbitrary regular face, and the remaining extremal rays on that face are understood by a geometric process we introduce, and explicate numerically, called induction from Levi subgroups. Several numerical examples are given. The main results, and methods, of this paper generalize work of [Bel17] which handled the case of $G=\operatorname{SL}(n)$. △ Less

Submitted 28 March, 2018; v1 submitted 8 March, 2018; originally announced March 2018.

Comments: 28 pages. The center of a Levi subgroup was replaced by the connected component of identity in the center in some definitions

MSC Class: 14C17; 14M15; 15A42; 22E46

Extending Hypothesis Testing with Persistence Homology to Three or More Groups

Authors: Christopher Cericola, Inga Johnson, Joshua Kiers, Mitchell Krock, Jordan Purdy, Johanna Torrence

Abstract: We extend the work of Robinson and Turner to use hypothesis testing with persistence homology to test for measurable differences in shape between point clouds from three or more groups. Using samples of point clouds from three distinct groups, we conduct a large-scale simulation study to validate our proposed extension. We consider various combinations of groups, samples sizes and measurement erro… ▽ More We extend the work of Robinson and Turner to use hypothesis testing with persistence homology to test for measurable differences in shape between point clouds from three or more groups. Using samples of point clouds from three distinct groups, we conduct a large-scale simulation study to validate our proposed extension. We consider various combinations of groups, samples sizes and measurement errors in the simulation study, providing for each combination the percentage of $p$-values below an alpha-level of 0.05. Additionally, we apply our method to a Cardiotocography data set and find statistically significant evidence of measurable differences in shape between normal, suspect and pathologic health status groups. △ Less

Submitted 14 January, 2016; originally announced February 2016.

MSC Class: 55N35; 62H15

Journal ref: Involve 11 (2018) 27-51