Related papers: Perfect Crystals for U_q(D_4^{(3)})

Let Ga be a subgroup of GL_d(Q) generated by a finite symmetric set S. For an integer q, denote by Ga_q the subgroup of Ga consisting of the elements that project to the unit element mod q. We prove that the Cayley graphs of Ga/Ga_q with…

We show that every exact fully faithful functor from the category of perfect complexes on the spectrum of dual numbers to the bounded derived category of a noetherian separated scheme is of Fourier-Mukai type. The kernel turns out to be an…

For a perfect field $k$ of characteristic $p>0$ and a smooth and proper formal scheme $\mathscr{X}$ over the ring of integers of a finite and totally ramified extension $K$ of $W(k)[1/p]$, we propose a cohomological construction of the…

We develop a crystal base theory for the general linear Lie superalgebra $gl(m,n)$. We prove that any irreducible $U_q(gl(m,n))$-module in some category has a crystal base, and prove that its associated crystal base is parameterized by…

For irreducible integrable highest weight modules of the finite and affine Lie algebras of type A and D, we define an isomorphism between the geometric realization of the crystal graphs in terms of irreducible components of Nakajima quiver…

We give a crystal structure on the set of all irreducible components of Lagrangian subvarieties of quiver varieties. One con show that, as a crystal, it is isomorphic to the crystal base of an irreducible highest weight representation of a…

Perfect ideals $I$ of grade $3$ in a local ring $(R,\mathfrak{m},\Bbbk)$ can be classified based on multiplicative structures on $\text{Tor}^R_{\bullet}(R/I,\Bbbk)$. The classification is incomplete in the sense that it remains open which…

We show that the quantum affine algebra $U_{q}(A_{1}^{(1)})$ and the quantum affine superalgebra $U_{q}(C(2)^{(2)})$ admit a unified description. The difference between them consists in the phase factor which is equal to 1 for…

We introduce ``virtual'' crystals of the affine types $g=D_{n+1}^{(2)}$, $A_{2n}^{(2)}$ and $C_n^{(1)}$ by naturally extending embeddings of crystals of types $B_n$ and $C_n$ into crystals of type $A_{2n-1}$. Conjecturally, these virtual…

Using methods of homological algebra, we obtain an explicit crystal isomorphism between two realizations of crystal bases of the lower part of the quantized enveloping algebra of (almost all) finite dimensional simply-laced Lie algebras.…

In this survey, we shall be concerned with the category of finite-dimensional representations of the untwisted quantum affine algebras when the quantum parameter q is not a root of unity. We review the foundational results of the subject,…

By using the Kang-Kashiwara-Misra-Miwa-Nakashima-Nakayashiki crystal base character formula for the basic $A_2^{(1)}$-module, and the principally specialized Weyl-Kac character formula, we obtain a Rogers-Ramanujan type combinatorial…

We develop a theory of bicrystalline ideals, synthesizing Gr\"obner basis techniques and Kashiwara's crystal theory. This provides a unified algebraic, combinatorial, and computational approach that applies to ideals of interest, old and…

We define a category of divided Dieudonn\'e crystals which classifies p-divisible groups over schemes in characteristic p with certain finiteness conditions, including all F-finite noetherian schemes. For formally smooth schemes or locally…

Let $U_q(\hat{\cal G})$ be a quantized affine Lie algebra. It is proven that the universal R-matrix $R$ of $U_q(\hat{\cal G})$ satisfies the celebrated conjugation relation $R^\dagger=TR$ with $T$ the usual twist map. As applications, braid…

We derive Rogers--Ramanujan type partition identities at the fundamental weight $\Lambda_0$ for the exceptional affine types $G_2^{(1)}$, $D_4^{(3)}$, $F_4^{(1)}$, $E_6^{(2)}$, $E_6^{(1)}$, $E_7^{(1)}$ and $E_8^{(1)}$. Our starting point is…

Given a ribbon graph $\Gamma$ with some extra structure, we define, using constructible sheaves, a dg category $CPM(\Gamma)$ meant to model the Fukaya category of a Riemann surface in the cell of Teichm\"uller space described by $\Gamma.$…

We prove that the category of finitely generated graded modules over the quiver Hecke algebra of arbitrary type admits numerous stratifications in the sense of Kleshchev. A direct consequence is that the full subcategory corresponding to…

By a theorem of Suslin, a Tor-unital (not necessarily unital) ring satisfies excision in algebraic K-theory. We give a new and direct proof of Suslin's result based on an exact sequence of categories of perfect modules. In fact, we prove a…

We construct a crystal base of $U_q(\mathfrak{gl}(m|n))^-$, the negative half of the quantum superalgebra $U_q(\mathfrak{gl}(m|n))$. We give a combinatorial description of the associated crystal $\mathscr{B}_{m|n}(\infty)$, which is equal…