Source author record

Gabriel Frieden

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
3topics
4close collaborators

Published work

3 publications

preprint2022arXiv

Charmed roots and the Kroweras complement

Although both noncrossing partitions and nonnesting partitions are uniformly enumerated for Weyl groups, the exact relationship between these two sets of combinatorial objects remains frustratingly mysterious. In this paper, we give a precise combinatorial answer in the case of the symmetric group: for any standard Coxeter element, we construct an equivariant bijection between noncrossing partitions under the Kreweras complement and nonnesting partitions under a Coxeter-theoretically natural cyclic action we call the Kroweras complement. Our equivariant bijection is the unique bijection that is both equivariant and support-preserving, and is built using local rules depending on a new definition of charmed roots. Charmed roots are determined by the choice of Coxeter element -- in the special case of the linear Coxeter element (1,2,…,n)(1, 2, \dots, n), we recover one of the standard bijections between noncrossing and nonnesting partitions.

preprint2022arXiv

Crystal invariant theory I: Geometric RSK

Berenstein and Kazhdan's theory of geometric crystals gives rise to two commuting families of geometric crystal operators acting on the space of complex m×nm \times n matrices. These are birational actions, which we view as a crystal-theoretic analogue of the usual action of SLm×SLn{\rm SL}_m \times {\rm SL}_n on m×nm \times n matrices. We prove that the field of rational invariants (and ring of polynomial invariants) of each family of geometric crystal operators is generated by a set of algebraically independent polynomials, which are generalizations of the elementary symmetric polynomials in mm (or nn) variables. We also give a set of algebraically independent generators for the intersection of these fields, and we explain how these fields are situated inside the larger fields of geometric RR-matrix invariants, which were studied by Lam and the third-named author under the name loop symmetric functions. The key tool in our proof is the geometric RSK correspondence of Noumi and Yamada, which we show to be an isomorphism of geometric crystals. In an appendix jointly written with Thomas Lam, we prove the fundamental theorem of loop symmetric functions, which says that the polynomial invariants of the geometric RR-matrix are generated by the loop elementary symmetric functions.

preprint2022arXiv

Crystal invariant theory II: Pseudo-energies

The geometric crystal operators and geometric RR-matrices (or geometric Weyl group actions) give commuting actions on the field of rational functions in mnmn variables. We study the invariants of various combinations of these actions, which we view as "crystal analogues" of the invariants of SmS_m, SLm{\rm SL}_m, Sn×SmS_n \times S_m, SLn× Sm{\rm SL}_n \times \, S_m, and SLn×SLm{\rm SL}_n \times {\rm SL}_m acting on the polynomial ring in an m×nm \times n matrix of variables. The polynomial invariants of the SmS_m-action generated by the GLm{\rm GL}_m-geometric RR-matrices were described by Lam and the third-named author as the ring of loop symmetric functions. In a previous paper of the authors, the polynomial invariants of the GLm{\rm GL}_m-geometric crystal operators were described as a subring of the ring of loop symmetric functions. In this paper, we give conjectural generating sets for the fields of rational invariants in the remaining cases, and we give formulas expressing a large class of loop symmetric functions in terms of these conjectural generators. Our results include new positive formulas for the central charge and energy function of a product of single-row geometric crystals, and a new derivation of Kirillov and Berenstein's piecewise-linear formula for cocharge. The formulas manifest the symmetries possessed by these functions.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.