arXiv subjects

Eric Marberg

Publications and source records attributed to Eric Marberg.

At least 37 records · Page 2Linked to original sources

arXiv2023

Combinatorial formulas for shifted dual stable Grothendieck polynomials

The $K$-theoretic Schur $P$- and $Q$-functions $GP_λ$ and $GQ_λ$ may be concretely defined as weight generating functions for semistandard shifted set-valued tableaux. These symmetric functions are the shifted analogues of stable Grothendieck polynomials, and were introduced by Ikeda and Naruse for applications in geometry. Nakagawa and Naruse specified families of dual $K$-theoretic Schur $P$- and $Q$-functions $gp_λ$ and $gq_λ$ via a Cauchy identity involving $GP_λ$ and $GQ_λ$. They conjectured that the dual power series are weight generating functions for certain shifted plane partitions. We prove this conjecture. We also derive a related generating function formula for the images of $gp_λ$ and $gq_λ$ under the $ω$ involution of the ring of symmetric functions. This confirms a conjecture of Chiu and the second author. Using these results, we verify a conjecture of Ikeda and Naruse that the $GQ$-functions are a basis for a ring.

math.CO↗

arXiv2023

Expanding K-theoretic Schur Q-functions

We derive several identities involving Ikeda and Naruse's $K$-theoretic Schur $P$- and $Q$-functions. Our main result is a formula conjectured by Lewis and the second author which expands each $K$-theoretic Schur $Q$-function in terms of $K$-theoretic Schur $P$-functions. This formula extends to some more general identities relating the skew and dual versions of both power series. We also prove a shifted version of Yeliussizov's skew Cauchy identity for symmetric Grothendieck polynomials. Finally, we discuss some conjectural formulas for the dual $K$-theoretic Schur $P$- and $Q$-functions of Nakagawa and Naruse. We show that one such formula would imply a basis property expected of the $K$-theoretic Schur $Q$-functions.

math.CO↗

arXiv2022

Extending a word property for twisted Coxeter systems

We prove two extensions of Hansson and Hultman's word property for certain analogues of reduced words associated to twisted involutions in Coxeter groups. Our first extension concerns the superset of such words in which terms with a natural commutativity property may be optionally primed. Our other extension involves variants of these words in which a defining minimal length condition is relaxed. In type A the sets considered are closely related to generating functions for Schur Q-functions and K-theoretic Schur P-functions.

math.CO↗

arXiv2022

Gröbner geometry for skew-symmetric matrix Schubert varieties

Matrix Schubert varieties are the closures of the orbits of $B\times B$ acting on all $n\times n$ matrices, where $B$ is the group of invertible lower triangular matrices. Extending work of Fulton, Knutson and Miller identified a Gröbner basis for the prime ideals of these varieties. They also showed that the corresponding initial ideals are Stanley-Reisner ideals of shellable simplicial complexes, and derived a related primary decomposition in terms of reduced pipe dreams. These results lead to a geometric proof of the Billey-Jockusch-Stanley formula for a Schubert polynomial, among many other applications. We define skew-symmetric matrix Schubert varieties to be the nonempty intersections of matrix Schubert varieties with the subspace of skew-symmetric matrices. In analogy with Knutson and Miller's work, we describe a natural generating set for the prime ideals of these varieties. We then compute a related Gröbner basis. Using these results, we identify a primary decomposition for the corresponding initial ideals involving certain fpf-involution pipe dreams. We show that these initial ideals are likewise the Stanley-Reisner ideals of shellable simplicial complexes. As an application, we give a geometric proof of an explicit generating function for symplectic Grothendieck polynomials. Our methods differ from Knutson and Miller's and can be used to give new proofs of some of their results, as we explain at the end of this article.

math.AG↗

arXiv2022

Principal specializations of Schubert polynomials in classical types

There is a remarkable formula for the principal specialization of a type A Schubert polynomial as a weighted sum over reduced words. Taking appropriate limits transforms this to an identity for the backstable Schubert polynomials recently introduced by Lam, Lee, and Shimozono. This note identifies some analogues of the latter formula for principal specializations of Schubert polynomials in classical types B, C, and D. We also describe some more general identities for Grothendieck polynomials. As a related application, we derive a simple proof of a pipe dream formula for involution Grothendieck polynomials.

math.CO↗

arXiv2022

Perfect models for finite Coxeter groups

A model for a finite group is a set of linear characters of subgroups that can be induced to obtain every irreducible character exactly once. A perfect model for a finite Coxeter group is a model in which the relevant subgroups are the quasiparabolic centralizers of perfect involutions. In prior work, we showed that perfect models give rise to interesting examples of $W$-graphs. Here, we classify which finite Coxeter groups have perfect models. Specifically, we prove that the irreducible finite Coxeter groups with perfect models are those of types $\mathsf{A}_{n}$, $\mathsf{B}_n$, $\mathsf{D}_{2n+1}$, $\mathsf{H}_3$, or $\mathsf{I}_2(n)$. We also show that up to a natural form of equivalence, outside types $\mathsf{A}_3$, $\mathsf{B}_n$, and $\mathsf{H}_3$, each irreducible finite Coxeter group has at most one perfect model. Along the way, we also prove a technical result about representations of finite Coxeter groups, namely, that induction from standard parabolic subgroups of corank at least two is never multiplicity-free.

math.RT↗

arXiv2021

Bumping operators and insertion algorithms for queer supercrystals

Results of Morse and Schilling show that the set of increasing factorizations of reduced words for a permutation is naturally a crystal for the general linear Lie algebra. Hiroshima has recently constructed two superalgebra analogues of such crystals. Specifically, Hiroshima has shown that the sets of increasing factorizations of involution words and fpf-involution words for a self-inverse permutation are each crystals for the queer Lie superalgebra. In this paper, we prove that these crystals are normal and identify their connected components. To accomplish this, we study two insertion algorithms that may be viewed as shifted analogues of the Edelman-Greene correspondence. We prove that the connected components of Hiroshima's crystals are the subsets of factorizations with the same insertion tableau for these algorithms, and that passing to the recording tableau defines a crystal morphism. This confirms a conjecture of Hiroshima. Our methods involve a detailed investigation of certain analogues of the Little map, through which we extend several results of Hamaker and Young.

math.CO↗

arXiv2021

Affine transitions for involution Stanley symmetric functions

We study a family of symmetric functions $\hat F_z$ indexed by involutions $z$ in the affine symmetric group. These power series are analogues of Lam's affine Stanley symmetric functions and generalizations of the involution Stanley symmetric functions introduced by Hamaker, Pawlowski, and the first author. Our main result is to prove a transition formula for $\hat F_z$ which can be used to define an affine involution analogue of the Lascoux-Schützenberger tree. Our proof of this formula relies on Lam and Shimozono's transition formula for affine Stanley symmetric functions and some new technical properties of the strong Bruhat order on affine permutations.

math.CO↗

arXiv2021

Involution pipe dreams

Involution Schubert polynomials represent cohomology classes of $K$-orbit closures in the complete flag variety, where $K$ is the orthogonal or symplectic group. We show they also represent $T$-equivariant cohomology classes of subvarieties defined by upper-left rank conditions in the spaces of symmetric or skew-symmetric matrices. This geometry implies that these polynomials are positive combinations of monomials in the variables $x_i + x_j$, and we give explicit formulas of this kind as sums over new objects called involution pipe dreams. Our formulas are analogues of the Billey-Jockusch-Stanley formula for Schubert polynomials. In Knutson and Miller's approach to matrix Schubert varieties, pipe dream formulas reflect Gröbner degenerations of the ideals of those varieties, and we conjecturally identify analogous degenerations in our setting.

math.CO↗

arXiv2021

Linear compactness and combinatorial bialgebras

We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose equivalence classes generate linearly compact bialgebras under shifted shuffling and deconcatenation. We also extend some of the theory of combinatorial Hopf algebras to bialgebras that are not connected or of finite graded dimension. Finally, we discuss several examples of quasi-symmetric functions, not necessarily of bounded degree, that may be constructed via terminal properties of combinatorial bialgebras.

math.CO↗

arXiv2021

Gelfand $W$-graphs for classical Weyl groups

A Gelfand model for an algebra is a module given by a direct sum of irreducible submodules, with every isomorphism class of irreducible modules represented exactly once. We introduce the notion of a perfect model for a finite Coxeter group, which is a certain set of discrete data (involving Rains and Vazirani's concept of a perfect involution) that parametrizes a Gelfand model for the associated Iwahori-Hecke algebra. We describe perfect models for all classical Weyl groups, excluding type D in even rank. The representations attached to these models simultaneously generalize constructions of Adin, Postnikov, and Roichman (from type A to other classical types) and of Araujo and Bratten (from group algebras to Iwahori-Hecke algebras). We show that each Gelfand model derived from a perfect model has a canonical basis that gives rise to a pair of related $W$-graphs, which we call Gelfand $W$-graphs. For types BC and D, we prove that these $W$-graphs are dual to each other, a phenomenon which does not occur in type A.

math.RT↗

arXiv2020

Enriched set-valued P-partitions and shifted stable Grothendieck polynomials

We introduce an enriched analogue of Lam and Pylyavskyy's theory of set-valued $P$-partitions. An an application, we construct a $K$-theoretic version of Stembridge's Hopf algebra of peak quasisymmetric functions. We show that the symmetric part of this algebra is generated by Ikeda and Naruse's shifted stable Grothendieck polynomials. We give the first proof that the natural skew analogues of these power series are also symmetric. A central tool in our constructions is a "$K$-theoretic" Hopf algebra of labeled posets, which may be of independent interest. Our results also lead to some new explicit formulas for the involution $ω$ on the ring of symmetric functions.

math.CO↗

arXiv2020

K-theory formulas for orthogonal and symplectic orbit closures

The complex orthogonal and symplectic groups both act on the complete flag variety with finitely many orbits. We study two families of polynomials introduced by Wyser and Yong representing the $K$-theory classes of the closures of these orbits. Our polynomials are analogous to the Grothendieck polynomials representing $K$-classes of Schubert varieties, and we show that like Grothendieck polynomials, they are uniquely characterized among all polynomials representing the relevant classes by a certain stability property. We show that the same polynomials represent the equivariant $K$-classes of symmetric and skew-symmetric analogues of Knutson and Miller's matrix Schubert varieties. We derive explicit expressions for these polynomials in special cases, including a Pfaffian formula relying on a more general degeneracy locus formula of Anderson. Finally, we show that taking an appropriate limit of our representatives recovers the $K$-theoretic Schur $Q$-functions of Ikeda and Naruse.

math.CO↗

arXiv2020

On some properties of symplectic Grothendieck polynomials

Grothendieck polynomials, introduced by Lascoux and Schützenberger, are certain $K$-theory representatives for Schubert varieties. Symplectic Grothendieck polynomials, described more recently by Wyser and Yong, represent the $K$-theory classes of orbit closures for the complex symplectic group acting on the complete flag variety. We prove a transition formula for symplectic Grothendieck polynomials and study their stable limits. We show that each of the $K$-theoretic Schur $P$-functions of Ikeda and Naruse arises from a limiting procedure applied to symplectic Grothendieck polynomials representing certain "Grassmannian" orbit closures.

math.CO↗

arXiv2019

Bialgebras for Stanley symmetric functions

We construct a non-commutative, non-cocommutative, graded bialgebra $\mathbfΠ$ with a basis indexed by the permutations in all finite symmetric groups. Unlike the formally similar Malvenuto-Poirier-Reutenauer Hopf algebra, this bialgebra does not have finite graded dimension. After giving formulas for the product and coproduct, we show that there is a natural morphism from $\mathbfΠ$ to the algebra of quasi-symmetric functions, under which the image of a permutation is its associated Stanley symmetric function. As an application, we use this morphism to derive some new enumerative identities. We also describe analogues of $\mathbfΠ$ for the other classical types. In these cases, the relevant objects are module coalgebras rather than bialgebras, but there are again natural morphisms to the quasi-symmetric functions, under which the image of a signed permutation is the corresponding Stanley symmetric function of type B, C, or D.

math.CO↗

arXiv2019

Stanley symmetric functions for signed involutions

An involution in a Coxeter group has an associated set of involution words, a variation on reduced words. These words are saturated chains in a partial order first considered by Richardson and Springer in their study of symmetric varieties. In the symmetric group, involution words can be enumerated in terms of tableaux using appropriate analogues of the symmetric functions introduced by Stanley to accomplish the same task for reduced words. We adapt this approach to the group of signed permutations. We show that involution words for the longest element in the Coxeter group $C_n$ are in bijection with reduced words for the longest element in $A_n = S_{n+1}$, which are known to be in bijection with standard tableaux of shape $(n, n-1, \ldots, 2, 1)$.

math.CO↗

arXiv2018

On some actions of the 0-Hecke monoids of affine symmetric groups

There are left and right actions of the 0-Hecke monoid of the affine symmetric group $\tilde{S}_n$ on involutions whose cycles are labeled periodically by nonnegative integers. Using these actions we construct two bijections, which are length-preserving in an appropriate sense, from the set of involutions in $\tilde{S}_n$ to the set of $\mathbb{N}$-weighted matchings in the $n$-element cycle graph. As an application, we compute a formula for the bivariate generating function counting the involutions in $\tilde S_n$ by length and absolute length. The 0-Hecke monoid of $\tilde{S}_n$ also acts on involutions (without any cycle labelling) by Demazure conjugation. The atoms of an involution $z \in \tilde{S}_n$ are the minimal length permutations $w$ which transform the identity to $z$ under this action. We prove that the set of atoms for an involution in $\tilde{S}_n$ is naturally a bounded, graded poset, and give a formula for the set's minimum and maximum elements. Using these properties, we classify the covering relations in the Bruhat order restricted to involutions in $\tilde{S}_n$.

math.CO↗

arXiv2018

Fixed-point-free involutions and Schur P-positivity

The orbits of the symplectic group acting on the type A flag variety are indexed by the fixed-point-free involutions in a finite symmetric group. The cohomology classes of the closures of these orbits have polynomial representatives $\hat{\mathfrak{S}}^{\tt{FPF}}_z$ akin to Schubert polynomials. We show that the fixed-point-free involution Stanley symmetric functions $\hat{F}^{\tt{FPF}}_z$, which are stable limits of the polynomials $\hat{\mathfrak{S}}^{\tt{FPF}}_z$, are Schur $P$-positive. To do so, we construct an analogue of the Lascoux-Schützenberger tree, an algebraic recurrence that computes Schubert polynomials. As a byproduct of our proof, we obtain a Pfaffian formula of geometric interest for $\hat{\mathfrak{S}}^{\tt{FPF}}_z$ when $z$ is a fixed-point-free version of a Grassmannian permutation. We also classify the fixed-point-free involution Stanley symmetric functions that are single Schur $P$-functions, and show that the decomposition of $\hat{F}^{\tt{FPF}}_z$ into Schur $P$-functions is unitriangular with respect to dominance order on strict partitions. These results and proofs mirror previous work by the authors related to the orthogonal group action on the type A flag variety.

math.CO↗