-
Grothendieck positivity for normal square root crystals
Authors:
Eric Marberg,
Kam Hung Tong,
Tianyi Yu
Abstract:
Normal crystals (also known as Stembridge crystals) are commonly used to establish the Schur positivity of symmetric functions, as their characters are sums of Schur polynomials. In this paper, we develop a combinatorial framework for a novel family of objects called normal square root crystals, which are closely related to symmetric Grothendieck functions, the $K$-theoretic analogue of Schur func…
▽ More
Normal crystals (also known as Stembridge crystals) are commonly used to establish the Schur positivity of symmetric functions, as their characters are sums of Schur polynomials. In this paper, we develop a combinatorial framework for a novel family of objects called normal square root crystals, which are closely related to symmetric Grothendieck functions, the $K$-theoretic analogue of Schur functions. Among other applications, this tool leads to a new proof of Buch's combinatorial rule for the multiplication of symmetric Grothendieck functions. The definition of a normal square root crystal, originally formulated by the first two authors, largely mirrors that of normal crystals. Our main result is to show that the character of such a crystal is always a sum of symmetric Grothendieck polynomials. The proof relies on an unexpected connection between the raising operators for our crystals and the Hecke insertion algorithm developed by Buch, Kresch, Shimozono, Tamvakis, and Yong.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Type AIII orbits in the affine flag variety of type A
Authors:
Kam Hung Tong
Abstract:
Matsuki and Oshima introduced the notion of clans, which are incomplete matchings between $[1,n]$ with positive or negative signs on isolated vertices. They discovered that clans can parametrise $K$-orbits in the flag varieties for classical linear groups, where $K$ is a fixed point subgroup of an involution in the same classical linear group. Yamamoto gave a full proof for the type AIII…
▽ More
Matsuki and Oshima introduced the notion of clans, which are incomplete matchings between $[1,n]$ with positive or negative signs on isolated vertices. They discovered that clans can parametrise $K$-orbits in the flag varieties for classical linear groups, where $K$ is a fixed point subgroup of an involution in the same classical linear group. Yamamoto gave a full proof for the type AIII $\textsf{GL}_p(\mathbb{C}) \times \textsf{GL}_q(\mathbb{C})$-orbits in type A flag variety. In this work we investigate the affine version of type AIII orbits. For a field $\mathbb{K}$ with characteristic not equal to two, we construct explicit bijections between the $\textsf{GL}_p(\mathbb{K}(\hspace{-0.5mm}(t)\hspace{-0.5mm})) \times \textsf{GL}_q(\mathbb{K}(\hspace{-0.5mm}(t)\hspace{-0.5mm}))$-orbits in the affine flag variety and certain objects called affine $(p,q)$-clans. These affine $(p,q)$-clans can be concretely interpreted as involutions in the affine permutation group with positive or negative signs in fixed points.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Orthogonal and symplectic orbits in the affine flag variety of type A
Authors:
Kam Hung Tong
Abstract:
It is a classical result that the set $K\backslash G /B$ is finite, where $G$ is a reductive algebraic group over an algebraically closed field with characteristic not equal to two, $B$ is a Borel subgroup of $G$, and $K = G^θ$ is the fixed point subgroup of an involution of $G$. In this paper, we investigate the affine counterpart of the aforementioned set, where $G$ is the general linear group o…
▽ More
It is a classical result that the set $K\backslash G /B$ is finite, where $G$ is a reductive algebraic group over an algebraically closed field with characteristic not equal to two, $B$ is a Borel subgroup of $G$, and $K = G^θ$ is the fixed point subgroup of an involution of $G$. In this paper, we investigate the affine counterpart of the aforementioned set, where $G$ is the general linear group over formal Laurent series, $B$ is an Iwahori subgroup of $G$, and $K$ is either the orthogonal group or the symplectic group over formal Laurent series. We construct explicit bijections between the double cosets $K \backslash G/B$ and certain twisted affine involutions. This is the first combinatorial description of $K$-orbits in the affine flag variety of type A.
△ Less
Submitted 25 October, 2024;
originally announced October 2024.
-
Crystals for set-valued decomposition tableaux
Authors:
Eric Marberg,
Kam Hung Tong
Abstract:
We describe two crystal structures on set-valued decomposition tableaux. These provide the first examples of interesting "$K$-theoretic" crystals on shifted tableaux. Our first crystal is modeled on a similar construction of Monical, Pechenik, and Scrimshaw for semistandard (unshifted) set-valued tableaux. Our second crystal is adapted from the "square root" operators introduced by Yu on the same…
▽ More
We describe two crystal structures on set-valued decomposition tableaux. These provide the first examples of interesting "$K$-theoretic" crystals on shifted tableaux. Our first crystal is modeled on a similar construction of Monical, Pechenik, and Scrimshaw for semistandard (unshifted) set-valued tableaux. Our second crystal is adapted from the "square root" operators introduced by Yu on the same set. Neither of our shifted crystals is normal, but we conjecture that our second construction is connected with a unique highest weight element. These results lead to partial progress on a conjectural formula of Cho--Ikeda for $K$-theoretic Schur $P$-functions. We also study a new category of "square root crystals" that includes our second construction and Yu's set-valued tableau crystals as examples. We observe that Buch's formula for the coefficients expanding products of symmetric Grothendieck functions has a simple description in terms of the tensor product for this category.
△ Less
Submitted 10 May, 2024; v1 submitted 27 December, 2023;
originally announced December 2023.
-
Primed decomposition tableaux and extended queer crystals
Authors:
Eric Marberg,
Kam Hung Tong
Abstract:
Our previous work introduced a category of extended queer crystals, whose connected normal objects have unique highest weight elements and characters that are Schur $Q$-polynomials. The initial models for such crystals were based on semistandard shifted tableaux. Here, we introduce a simpler construction using certain "primed" decomposition tableaux, which slightly generalize the decomposition tab…
▽ More
Our previous work introduced a category of extended queer crystals, whose connected normal objects have unique highest weight elements and characters that are Schur $Q$-polynomials. The initial models for such crystals were based on semistandard shifted tableaux. Here, we introduce a simpler construction using certain "primed" decomposition tableaux, which slightly generalize the decomposition tableaux used in work of Grantcharov et al. This leads to a new, shorter proof of the highest weight properties of the normal subcategory of extended queer crystals. Along the way, we analyze a primed extension of Grantcharov et al.'s insertion scheme for decomposition tableaux.
△ Less
Submitted 21 March, 2025; v1 submitted 24 December, 2023;
originally announced December 2023.
-
Highest weight crystals for Schur Q-functions
Authors:
Eric Marberg,
Kam Hung Tong
Abstract:
Work of Grantcharov et al. develops a theory of abstract crystals for the queer Lie superalgebra $\mathfrak{q}_n$. Such $\mathfrak{q}_n$-crystals form a monoidal category in which the connected normal objects have unique highest weight elements and characters that are Schur $P$-polynomials. This article studies a modified form of this category, whose connected normal objects again have unique high…
▽ More
Work of Grantcharov et al. develops a theory of abstract crystals for the queer Lie superalgebra $\mathfrak{q}_n$. Such $\mathfrak{q}_n$-crystals form a monoidal category in which the connected normal objects have unique highest weight elements and characters that are Schur $P$-polynomials. This article studies a modified form of this category, whose connected normal objects again have unique highest weight elements but now possess characters that are Schur $Q$-polynomials. The crystals in this category have some interesting features not present for ordinary $\mathfrak{q}_n$-crystals. For example, there is an extra crystal operator, a different tensor product, and an action of the hyperoctahedral group exchanging highest and lowest weight elements. There are natural examples of $\mathfrak{q}_n$-crystal structures on certain families of shifted tableaux and factorized reduced words. We describe extended forms of these structures that give similar examples in our new category.
△ Less
Submitted 26 February, 2023; v1 submitted 6 December, 2021;
originally announced December 2021.
