English
Related papers

Related papers: Assembling crystals of type A

200 papers

We present n-1 different embeddings of string polytopes of type A. We characterize their compatibility with the crystal structure on the string polytopes, and formulate a conjecture describing how to obtain n-1 different atomic…

Representation Theory · Mathematics 2025-05-29 Lara Bossinger , Jacinta Torres

For coherent families of crystals of affine Lie algebras of type B^{(1)}_n, D^{(1)}_n, A^{(2)}_{2n} and D^{(2)}_{n+1} we describe the combinatorial R matrix using column insertion algorithms for B,C,D Young tableaux.

Quantum Algebra · Mathematics 2014-09-19 Goro Hatayama , Atsuo Kuniba , Masato Okado , Taichiro Takagi

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…

Quantum Algebra · Mathematics 2007-05-23 Yoshihisa Saito

We realize the crystal associated to the quantized enveloping algebras with a symmetric generalized Cartan matrix as a set of Lagrangian subvarieties of the cotangent bundle of the quiver variety. As a by-product, we give a counterexample…

q-alg · Mathematics 2015-12-22 Masaki Kashiwara , Yoshihisa Saito

Sunada's work on crystallography emphasizes the role of the "maximal abelian cover" of a graph $X$. This is a covering space of $X$ for which the group of deck transformations is the first homology group $H_1(X,\mathbb{Z})$. An embedding of…

Algebraic Topology · Mathematics 2026-01-27 John C. Baez

k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop the theory of covering spaces for k-graphs, obtaining a…

Operator Algebras · Mathematics 2008-05-23 David Pask , John Quigg , Iain Raeburn

Let $\mathfrak g$ be an affine Lie algebra with index set $I = \{0, 1, 2, \cdots , n\}$ and ${\mathfrak g}^L$ be its Langlands dual. It is conjectured by Kashiwara et al.([16]) that for each $k \in I \setminus \{0\}$ the affine Lie algebra…

Quantum Algebra · Mathematics 2016-08-23 Kailash C. Misra , Toshiki Nakashima

Crystallographic tilings of the Euclidean space $\mathbb{E}^n$ are defined as simple tilings whose group of isometric automorphisms is crystallographic. To classify crystallographic tilings by their automorphism groups it is necessary to…

Dynamical Systems · Mathematics 2017-08-30 Hawazin Alzahrani , Thomas Eckl

Crystals are paradigms of ordered structures. While order was once seen as synonymous with lattice periodic arrangements, the discoveries of incommensurate crystals and quasicrystals led to a more general perception of crystalline order,…

Disordered Systems and Neural Networks · Physics 2015-06-18 Uwe Grimm

Let $G$ be a simple graph on $d$ vertices. We define a monomial ideal $K$ in the Stanley-Reisner ring $A$ of the order complex of the Boolean algebra on $d$ atoms. The monomials in $K$ are in one-to-one correspondence with the proper…

Combinatorics · Mathematics 2007-05-23 Einar Steingrimsson

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…

Quantum Algebra · Mathematics 2022-10-28 Il-Seung Jang , Jae-Hoon Kwon , Akito Uruno

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…

Quantum Algebra · Mathematics 2007-05-23 Georgia Benkart , Seok-Jin Kang , Masaki Kashiwara

Kashiwara and Saito have defined a crystal structure on the set of irreducible components of Lusztig's quiver varieties. This gives a geometric realization of the crystal graph of the lower half of the quantum group associated to a…

Quantum Algebra · Mathematics 2007-12-11 Alistair Savage

Uniform Lie algebras are combinatorially defined two-step nilpotent Lie algebras which can be used to define Einstein solvmanifolds. These Einstein spaces often have nontrivial isotropy groups. We derive basic properties of uniform Lie…

Differential Geometry · Mathematics 2016-03-03 Tracy L. Payne , Matthew Schroeder

Rigged configurations are combinatorial objects originating from the Bethe Ansatz, that label highest weight crystal elements. In this paper a new unrestricted set of rigged configurations is introduced for types ADE by constructing a…

Quantum Algebra · Mathematics 2007-10-08 Anne Schilling

The Lascoux-Leclerc-Thibon-Ariki theory asserts that the K-group of the representations of the affine Hecke algebras of type A is isomorphic to the algebra of functions on the maximal unipotent subgroup of the group associated with a Lie…

Quantum Algebra · Mathematics 2015-12-22 Masaki Kashiwara , Vanessa Miemietz

A typical crystal is a finite piece of a material which may be invariant under some point symmetry group. If it is a so-called intrinsic higher-order topological insulator or superconductor, then it displays boundary modes at hinges or…

Mathematical Physics · Physics 2025-09-10 Danilo Polo Ojito , Emil Prodan , Tom Stoiber

A covering of k-graphs (in the sense of Pask-Quigg-Raeburn) induces an embedding of universal C*-algebras. We show how to build a (k+1)-graph whose universal algebra encodes this embedding. More generally we show how to realise a direct…

Operator Algebras · Mathematics 2008-05-29 Alex Kumjian , David Pask , Aidan Sims

The tableau model for Kirillov-Reshetikhin (KR) crystals, which are finite dimensional crystals corresponding to certain affine Lie algebras, is commonly used for its ease of crystal operator calculations. However, its simplicity makes…

Combinatorics · Mathematics 2021-09-28 Carly Briggs , Cristian Lenart , Adam Schultze

Let $\mathbf{A} = (A_1,\ldots, A_q)$ be a $q$-tuple of finite sets of integers. Associated to every $q$-tuple of nonnegative integers $\mathbf{h} = (h_1,\ldots, h_q)$ is the linear form $\mathbf{h}\cdot \mathbf{A} = h_1 A_1 + \cdots +…

Number Theory · Mathematics 2021-11-05 Melvyn B. Nathanson