Related papers: Symplectic right keys -- Type C Willis' direct way
Generalized Additive Runge-Kutta schemes have shown to be a suitable tool for solving ordinary differential equations with additively partitioned right-hand sides. This work develops symplectic GARK schemes for additively partitioned…
Sch\"utzenberger's jeu de taquin is an algorithm on the structure of tableaux, which transforms a skew tableau into a Young one by local transformation rules on the columns of the tableaux. This algorithm defines an equivalence relation on…
We establish a combinatorial connection between the real geometry and the $K$-theory of complex Schubert curves $S(\lambda_\bullet)$, which are one-dimensional Schubert problems defined with respect to flags osculating the rational normal…
We study a simplification of the well-known Shigesada-Kawasaki-Teramoto model, which consists of two nonlinear reaction-diffusion equations with cross-diffusion. A complete set of Q-conditional (nonclassical) symmetries is derived using an…
We establish a combinatorial connection between the real geometry and the $K$-theory of complex Schubert curves $S(\lambda_\bullet)$, which are one-dimensional Schubert problems defined with respect to flags osculating the rational normal…
We study the relation between simple-minded systems and two-term tilting complexes for self-injective Nakayama algebras. More precisely, we show that any simple-minded system of a self-injective Nakayama algebra is the image of the set of…
We obtain explicit formulas for the product of a deformed Weyl denominator with the character of an irreducible representation of the spin group $\rm{Spin}_{2r+1}({\mathbb C})$, which is an analogue of the formulas of Tokuyama for Schur…
We study a symplectic variant of algebraic $K$-theory of the integers, which comes equipped with a canonical action of the absolute Galois group of $\mathbf{Q}$. We compute this action explicitly. The representations we see are extensions…
Symplectic $Q$-functions are a symplectic analogue of Schur $Q$-functions and defined as the $t=-1$ specialization of Hall--Littlewood functions associated with the root system of type $C$. In this paper we prove that symplectic…
We present a conjectual hook formula concerning the number of the standard tableaux on "cylindric" skew diagrams. Our formula can be seen as an extension of Naruse's hook formula for skew diagrams. Moreover, we prove our conjecture in some…
We study fixed-point loci of Nakajima varieties under symplectomorphisms and their anti-symplectic cousins, which are compositions of a diagram automorphism, a reflection functor and a transpose defined by certain bilinear forms. These…
We introduce a framework of translation quiver varieties which includes Nakajima quiver varieties as well as their graded and cyclic versions. An important feature of translation quiver varieties is that the sets of their fixed points under…
Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the…
This article presents a bidirectional type system for the Calculus of Inductive Constructions (CIC). It introduces a new judgement intermediate between the usual inference and checking, dubbed constrained inference, to handle the presence…
We construct a one-to-one correspondence between the Verma basis vectors of a finite dimensional irreducible representation $L(\lambda)$ of the symplectic Lie algebra $\mathfrak{sp}_4$ and the Kashiwara-Nakashima tableaux of…
We introduce a theory of jeu de taquin for increasing tableaux, extending fundamental work of [Sch\"{u}tzenberger '77] for standard Young tableaux. We apply this to give a new combinatorial rule for the K-theory Schubert calculus of…
Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however,…
We develop a characterisation of non-Archimedean derived analytic geometry based on dg enhancements of dagger algebras. This allows us to formulate derived analytic moduli functors for many types of pro-\'etale sheaves, and to construct…
There are several combinatorial methods that can be used to produce type A Demazure characters (key polynomials). The alcove path model of Lenart and Postnikov provides a procedure that inputs a semistandard tableau $T$ and outputs a…
The skew Schur functions admit many determinantal expressions. Chief among them are the (dual) Jacobi-Trudi formula and the Lascoux-Pragacz formula, which is a skew analogue of the Giambelli identity. Comparatively, the skew characters of…