Source author record

Oliver Pechenik

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

ResearcherUnclaimed source record

math.CO math.AG math.GT math.AC math.RT

Catalog footprint

Research overview

14works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A web basis of invariant polynomials from noncrossing partitions

The irreducible representations of symmetric groups can be realized as certain graded pieces of invariant rings, equivalently as global sections of line bundles on partial flag varieties. There are various ways to choose useful bases of such Specht modules $S^λ$ . Particularly powerful are web bases, which make important connections with cluster algebras and quantum link invariants. Unfortunately, web bases are only known in very special cases -- essentially, only the cases $λ=(d,d)$ and $λ=(d,d,d)$ . Building on work of B. Rhoades (2017), we construct an apparent web basis of invariant polynomials for the $2$ -parameter family of Specht modules with $λ$ of the form $(d,d,1^\ell)$ . The planar diagrams that appear are noncrossing set partitions, and we thereby obtain geometric interpretations of earlier enumerative results in combinatorial dynamics.

preprint2021arXiv

Curious cyclic sieving on increasing tableaux

We prove a cyclic sieving result for the set of $3 \times k$ packed increasing tableaux with maximum entry $m :=3+k$ under K-promotion. The "curiosity" is that the sieving polynomial arises from the $q$ -hook formula for standard tableaux of "toothbrush shape" $(2^3, 1^{k-2})$ with $m+1$ boxes, whereas K-promotion here only has order $m$ .

preprint2021arXiv

Minuscule analogues of the plane partition periodicity conjecture of Cameron and Fon-Der-Flaass

Let $P$ be a graded poset of rank $r$ and let $\mathbf{c}$ be a $c$ -element chain. For an order ideal $I$ of $P \times \mathbf{c}$ , its rowmotion $ψ(I)$ is the smallest ideal containing the minimal elements of the complementary filter of $I$ . The map $ψ$ defines invertible dynamics on the set of ideals. We say that $P$ has NRP ("not relatively prime") rowmotion if no $ψ$ -orbit has cardinality relatively prime to $r+c+1$ . In work with R. Patrias (2020), we proved a 1995 conjecture of P. Cameron and D. Fon-Der-Flaass by establishing NRP rowmotion for the product $P = \mathbf{a} \times \mathbf{b}$ of two chains, the poset whose order ideals correspond to the Schubert varieties of a Grassmann variety $\mathrm{Gr}_a(\mathbb{C}^{a+b})$ under containment. Here, we initiate the general study of posets with NRP rowmotion. Our first main result establishes NRP rowmotion for all minuscule posets $P$ , posets whose order ideals reflect the Schubert stratification of minuscule flag varieties. Our second main result is that NRP promotion depends only on the isomorphism class of the comparability graph of $P$ .

preprint2020arXiv

Gröbner geometry of Schubert polynomials through ice

The geometric naturality of Schubert polynomials and their combinatorial pipe dream representations was established by Knutson and Miller (2005) via antidiagonal Gröbner degeneration of matrix Schubert varieties. We consider instead diagonal Gröbner degenerations. In this dual setting, Knutson, Miller, and Yong (2009) obtained alternative combinatorics for the class of "vexillary'' matrix Schubert varieties. We initiate a study of general diagonal degenerations, relating them to a neglected formula of Lascoux (2002) in terms of the $6$ -vertex ice model (recently rediscovered by Lam, Lee, and Shimozono (2018) in the guise of "bumpless pipe dreams'').

preprint2020arXiv

Path-cordial abelian groups

A labeling of the vertices of a graph by elements of any abelian group $A$ induces a labeling of the edges by summing the labels of their endpoints. Hovey defined the graph $G$ to be $A$ -cordial if it has such a labeling where the vertex labels and the edge labels are both evenly-distributed over $A$ in a technical sense. His conjecture that all trees $T$ are $A$ -cordial for all cyclic groups $A$ remains wide open, despite significant attention. Curiously, there has been very little study of whether Hovey's conjecture might extend beyond the class of cyclic groups. We initiate this study by analyzing the larger class of finite abelian groups $A$ such that all path graphs are $A$ -cordial. We conjecture a complete characterization of such groups, and establish this conjecture for various infinite families of groups as well as for all groups of small order.

preprint2019arXiv

Asymmetric function theory

The classical theory of symmetric functions has a central position in algebraic combinatorics, bridging aspects of representation theory, combinatorics, and enumerative geometry. More recently, this theory has been fruitfully extended to the larger ring of quasisymmetric functions, with corresponding applications. Here, we survey recent work extending this theory further to general asymmetric polynomials.

preprint2018arXiv

Derivatives of Schubert polynomials and proof of a determinant conjecture of Stanley

We study the action of a differential operator on Schubert polynomials. Using this action, we first give a short new proof of an identity of I. Macdonald (1991). We then prove a determinant conjecture of R. Stanley (2017). This conjecture implies the (strong) Sperner property for the weak order on the symmetric group, a property recently established by C. Gaetz and Y. Gao (2018).

preprint2018arXiv

Polynomials from combinatorial $K$ -theory

We introduce two new bases of the ring of polynomials and study their relations to known bases. The first basis is the quasiLascoux basis, which is simultaneously both a $K$ -theoretic deformation of the quasikey basis and also a lift of the $K$ -analogue of the quasiSchur basis from quasisymmetric polynomials to general polynomials. We give positive expansions of this quasiLascoux basis into the glide and Lascoux atom bases, as well as a positive expansion of the Lascoux basis into the quasiLascoux basis. As a special case, these expansions give the first proof that the $K$ -analogues of quasiSchur polynomials expand positively in multifundamental quasisymmetric polynomials of T. Lam and P. Pylyavskyy. The second new basis is the kaon basis, a $K$ -theoretic deformation of the fundamental particle basis. We give positive expansions of the glide and Lascoux atom bases into this kaon basis. Throughout, we explore how the relationships among these $K$ -analogues mirror the relationships among their cohomological counterparts. We make several 'alternating sum' conjectures that are suggestive of Euler characteristic calculations.

preprint2018arXiv

The genomic Schur function is fundamental-positive

In work with A. Yong, the author introduced genomic tableaux to prove the first positive combinatorial rule for the Littlewood-Richardson coefficients in torus-equivariant $K$ -theory of Grassmannians. We then studied the genomic Schur function $U_λ$ , a generating function for such tableaux, showing that it is non-trivially a symmetric function, although generally not Schur-positive. Here we show that $U_λ$ is, however, positive in the basis of fundamental quasisymmetric functions. We give a positive combinatorial formula for this expansion in terms of gapless increasing tableaux; this is, moreover, the first finite expression for $U_λ$ . Combined with work of A. Garsia and J. Remmel, this yields a compact combinatorial (but necessarily non-positive) formula for the Schur expansion of $U_λ$ .

preprint2018arXiv

Unique rectification in $d$ -complete posets: towards the $K$ -theory of Kac-Moody flag varieties

The jeu-de-taquin-based Littlewood-Richardson rule of H. Thomas and A. Yong (2009) for minuscule varieties has been extended in two orthogonal directions, either enriching the cohomology theory or else expanding the family of varieties considered. In one direction, A. Buch and M. Samuel (2016) developed a combinatorial theory of "unique rectification targets" in minuscule posets to extend the Thomas-Yong rule from ordinary cohomology to $K$ -theory. Separately, P.-E. Chaput and N. Perrin (2012) used the combinatorics of R. Proctor's " $d$ -complete posets" to extend the Thomas-Yong rule from minuscule varieties to a broader class of Kac-Moody structure constants. We begin to address the unification of these theories. Our main result is the existence of unique rectification targets in a large class of $d$ -complete posets. From this result, we obtain conjectural positive combinatorial formulas for certain $K$ -theoretic Schubert structure constants in the Kac-Moody setting.

preprint2017arXiv

Doppelgängers: Bijections of Plane Partitions

We say two posets are "doppelgängers" if they have the same number of $P$ -partitions of each height $k$ . We give a uniform framework for bijective proofs that posets are doppelgängers by synthesizing $K$ -theoretic Schubert calculus techniques of H. Thomas and A. Yong with M. Haiman's rectification bijection and an observation of R. Proctor. Geometrically, these bijections reflect the rational equivalence of certain subvarieties of minuscule flag manifolds. As a special case, we provide the first bijective proof of a 1983 theorem of R. Proctor---that plane partitions of height $k$ in a rectangle are equinumerous with plane partitions of height $k$ in a trapezoid.

preprint2017arXiv

Promotion of increasing tableaux: frames and homomesies

A key fact about M.-P. Schützenberger's (1972) promotion operator on rectangular standard Young tableaux is that iterating promotion once per entry recovers the original tableau. For tableaux with strictly increasing rows and columns, H. Thomas and A. Yong (2009) introduced a theory of $K$ -jeu de taquin with applications to $K$ -theoretic Schubert calculus. The author (2014) studied a $K$ -promotion operator $\mathcal{P}$ derived from this theory, but showed that the key fact does not generally extend to $K$ -promotion of such increasing tableaux. Here we show that the key fact holds for labels on the boundary of the rectangle. That is, for $T$ a rectanglar increasing tableau with entries bounded by $q$ , we have $\mathsf{Frame}(\mathcal{P}^q(T)) = \mathsf{Frame}(T)$ , where $\mathsf{Frame}(U)$ denotes the restriction of $U$ to its first and last row and column. Using this fact, we obtain a family of homomesy results on the average value of certain statistics over $K$ -promotion orbits, extending a $2$ -row theorem of J. Bloom, D. Saracino, and the author (2016) to arbitrary rectangular shapes.

preprint2010arXiv

A Midsummer Knot's Dream

In this paper, we introduce playing games on shadows of knots. We demonstrate two novel games, namely, To Knot or Not to Knot and Much Ado about Knotting. We also discuss winning strategies for these games on certain families of knot shadows. Finally, we suggest variations of these games for further study.

preprint2010arXiv

Classical and Virtual Pseudodiagram Theory and New Bounds on Unknotting Numbers and Genus

A pseudodiagram is a diagram of a knot with some crossing information missing. We review and expand the theory of pseudodiagrams introduced by R. Hanaki. We then extend this theory to the realm of virtual knots, a generalization of knots. In particular, we investigate how much crossing information must be known to conclude that a diagram is a diagram of the unknot (the trivializing number). We also consider how much information is necessary to identify a non-trivial knot, a classical knot, or a non-classical knot. We then apply pseudodiagram theory to develop new upper bounds on unknotting number, virtual unknotting number, and genus.

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.

Oliver Pechenik

Research overview

Is this your work?

14 publications

A web basis of invariant polynomials from noncrossing partitions

Curious cyclic sieving on increasing tableaux

Minuscule analogues of the plane partition periodicity conjecture of Cameron and Fon-Der-Flaass

Gröbner geometry of Schubert polynomials through ice

Path-cordial abelian groups

Asymmetric function theory

Derivatives of Schubert polynomials and proof of a determinant conjecture of Stanley

Polynomials from combinatorial $K$ -theory

The genomic Schur function is fundamental-positive

Unique rectification in $d$ -complete posets: towards the $K$ -theory of Kac-Moody flag varieties

Doppelgängers: Bijections of Plane Partitions

Promotion of increasing tableaux: frames and homomesies

A Midsummer Knot's Dream

Classical and Virtual Pseudodiagram Theory and New Bounds on Unknotting Numbers and Genus

See the researcher in context

Building this map preview

Oliver Pechenik

Research overview

Is this your work?

14 publications

A web basis of invariant polynomials from noncrossing partitions

Curious cyclic sieving on increasing tableaux

Minuscule analogues of the plane partition periodicity conjecture of Cameron and Fon-Der-Flaass

Gröbner geometry of Schubert polynomials through ice

Path-cordial abelian groups

Asymmetric function theory

Derivatives of Schubert polynomials and proof of a determinant conjecture of Stanley

Polynomials from combinatorial KKK-theory

The genomic Schur function is fundamental-positive

Unique rectification in ddd-complete posets: towards the KKK-theory of Kac-Moody flag varieties

Doppelgängers: Bijections of Plane Partitions

Promotion of increasing tableaux: frames and homomesies

A Midsummer Knot's Dream

Classical and Virtual Pseudodiagram Theory and New Bounds on Unknotting Numbers and Genus

See the researcher in context

Building this map preview

Polynomials from combinatorial $K$ -theory

Unique rectification in $d$ -complete posets: towards the $K$ -theory of Kac-Moody flag varieties