Polytopes for Crystallized Demazure Modules and Exremal Vectors

Toshiki Nakashima

DOI: https://doi.org/10.48550/arXiv.math/0002015

2000-02-02

Abstract:We give a parametrization for crystal bases of Demazure modules as a set of lattice points in some convex polytope and we also describe explicitly the extremal vectors as solutions of some system of linear equations.

Quantum Algebra,Combinatorics,Representation Theory

What problem does this paper attempt to address?

Extremal subsets and atom-positivity

Sam Armon

DOI: https://doi.org/10.48550/arXiv.2310.14584

2023-10-23

Abstract:Demazure crystals give a combinatorial framework in which to study Demazure modules. They are extremal, in that they satisfy Kashiwara's string property, and they are Demazure atom-positive, in that they decompose naturally into subsets called crystal Demazure atoms. The properties of extremality and atom-positivity are further linked by a conjecture of Polo, which concerns the structure of the tensor product of two Demazure modules. We study these two properties in isolation - first providing a recursive formula for generating crystal Demazure atoms which generalizes a result of Lascoux-Schützenberger, and then examining the structure of extremal subsets and their characters - before commenting on the connection (or lack thereof) between them.

Combinatorics,Representation Theory
Decorated Geometric Crystals, Polyhedral and Monomial Realizations of Crystal Bases

Toshiki Nakashima

DOI: https://doi.org/10.48550/arXiv.1203.2112

2012-03-09

Abstract:We shall show that for type $A_n$ the realization of crystal bases obtained from the decorated geometric crystals intorduced by Berenstein and Kazhdan coincides with our polyhedral realizations of crystal bases. We also observe certain relations of decorations and monomial realizations of crystal bases.

Quantum Algebra,Representation Theory
On Mirković-Vilonen polytopes

Pierre Baumann

2024-01-19

Abstract:Mirković-Vilonen polytopes encode in a geometrical way the numerical data present in the Kashiwara crystal $B(\infty)$ of a semisimple group $G$. We retrieve these polytopes from the coproduct of the Hopf algebra $\mathscr O(N)$ of regular functions on a maximal unipotent subgroup $N$ of $G$. We bring attention to a remarkable behavior that the classical bases (dual canonical, dual semicanonical, Mirković-Vilonen) of $\mathscr O(N)$ manifest with respect to the extremal points of these polytopes, which extends the crystal operations. This study leans on a notion of stability for graded bialgebras.

Representation Theory
Heaps, crystals, and preprojective algebra modules

Anne Dranowski,Balazs Elek,Joel Kamnitzer,Calder Morton-Ferguson

2024-06-22

Abstract:Fix a simply-laced semisimple Lie algebra. We study the crystal $ B(n\lambda)$, were $\lambda$ is a dominant minuscule weight and $n$ is a natural number. On one hand, $B(n\lambda)$ can be realized combinatorially by height $n$ reverse plane partitions on a heap associated to $\lambda$. On the other hand, we use this heap to define a module over the preprojective algebra of the underlying Dynkin quiver. Using the work of Saito and Savage-Tingley, we realize $B(n\lambda)$ via irreducible components of the quiver Grassmannian of $n$ copies of this module. In this paper, we describe an explicit bijection between these two models for $B(n\lambda)$ and prove that our bijection yields an isomorphism of crystals. Our main geometric tool is Nakajima's tensor product quiver varieties.

Representation Theory,Quantum Algebra
Semi-modules and crystal bases via affine Deligne-Lusztig varieties

Ryosuke Shimada

DOI: https://doi.org/10.1016/j.aim.2024.109565

IF: 1.675

2024-04-01

Advances in Mathematics

Abstract:There are two combinatorial ways of parameterizing the J b ( F ) -orbits of the irreducible components of affine Deligne-Lusztig varieties for GL n and superbasic b. One way is to use the extended semi-modules introduced by Viehmann. The other way is to use the crystal bases introduced by Kashiwara and Lusztig. In this paper, we give an explicit correspondence between them using the crystal structure.

mathematics
Decorations on Geometric Crystals and Monomial Realizations of Crystal Bases for Classical Groups

Toshiki Nakashima

DOI: https://doi.org/10.48550/arXiv.1301.7301

2013-01-31

Abstract:We shall describe explicitly the decoration functions for certain decorated geometric crystals of classical groups and we shall show that they are represented in terms of monomial realizations of crystal bases.

Quantum Algebra,Representation Theory
Geometric families of degenerations from mutations of polytopes

Laura Escobar,Megumi Harada,Christopher Manon

2024-08-03

Abstract:We introduce the notion of a polyptych lattice, which encodes a collection of lattices related by piecewise linear bijections. We initiate a study of the new theory of convex geometry and polytopes associated to polyptych lattices. In certain situations, such a polytope associated to a polyptych lattice encodes a compactification of an affine variety whose coordinate ring can be equipped with a valuation into a certain semialgebra associated to the polyptych lattice. We show that aspects of the geometry of the compactification can be understood combinatorially; for instance, under some hypotheses, the resulting compactifications are arithmetically Cohen-Macaulay, and have finitely generated class group and finitely generated Cox rings.

Algebraic Geometry
Polyhedral realizations for crystal bases and Young walls of classical affine types

Yuki Kanakubo

2024-03-02

Abstract:For affine Lie algebra $\mathfrak{g}$ of type $A^{(1)}_{n-1}$, $B^{(1)}_{n-1}$, $C^{(1)}_{n-1}$, $D^{(1)}_{n-1}$, $A^{(2)}_{2n-2}$, $A^{(2)}_{2n-3}$ or $D^{(2)}_{n}$, let $B(\lambda)$ and $B(\infty)$ be the crystal bases of integrable highest weight representation $V(\lambda)$ and negative part $U_q^-(\mathfrak{g})$ of quantum group $U_q(\mathfrak{g})$. We consider the polyhedral realizations of crystal bases, which realize $B(\lambda)$ and $B(\infty)$ as sets of integer points of some polytopes and cones in $\mathbb{R}^{\infty}$. It is a natural problem to find explicit forms of the polytopes and cones. In this paper, we introduce pairs of truncated walls, which are defined as modifications of level $2$-Young walls and describe inequalities defining the polytopes and cones in terms of level $1$-proper Young walls and pairs of truncated walls. As an application, we also give combinatorial descriptions of $\varepsilon_k^*$-functions on $B(\infty)$ in terms of Young walls and truncated walls.

Quantum Algebra,Combinatorics,Representation Theory
Affine Demazure Weight Polytopes and Twisted Bruhat Orders

Marc Besson,Sam Jeralds,Joshua Kiers

2024-04-04

Abstract:For an untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ with Cartan and Borel subalgebras $\mathfrak{h} \subset \mathfrak{b} \subset \mathfrak{g}$, affine Demazure modules are certain $U(\mathfrak{b})$-submodules of the irreducible highest-weight representations of $\mathfrak{g}$. We introduce here the associated affine Demazure weight polytopes, given by the convex hull of the $\mathfrak{h}$-weights of such a module. Using methods of geometric invariant theory, we determine inequalities which define these polytopes; these inequalities come in three distinct flavors, specified by the standard, opposite, or semi-infinite Bruhat orders. We also give a combinatorial characterization of the vertices of these polytopes lying on an arbitrary face, utilizing the more general class of twisted Bruhat orders.

Representation Theory,Algebraic Geometry,Combinatorics
Schubert calculus from polyhedral parametrizations of Demazure crystals

Naoki Fujita

DOI: https://doi.org/10.48550/arXiv.2008.04599

2020-08-11

Abstract:One approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Through an identification of the cohomology ring of the type A full flag variety with the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced (dual) Kogan faces. In this paper, we explicitly describe string parametrizations of opposite Demazure crystals, which give a natural generalization of reduced dual Kogan faces. We also relate reduced Kogan faces with Demazure crystals using the theory of mitosis operators, and apply these observations to develop the theory of Schubert calculus on symplectic Gelfand-Tsetlin polytopes.

Representation Theory,Algebraic Geometry,Combinatorics
A prismatic approach to $(\varphi, \hat G)$-modules and $F$-crystals

Heng Du,Tong Liu

DOI: https://doi.org/10.4171/jems/1515

2024-09-24

Journal of the European Mathematical Society

Abstract:We give a new construction of (\varphi, \hat G) -modules using the theory of prisms developed by Bhatt and Scholze. We give two applications of our results. Firstly, we provide a new proof for the equivalence between the category of prismatic F -crystals in finite locally free \mathcal{O}_{\vartriangle\hspace*{-3.9pt}{\tiny\vartriangle}} -modules over (\mathcal{O}_{K})_{\vartriangle\hspace*{-3.9pt}{\tiny\vartriangle}} and the category of lattices in crystalline representations of G_{K} , where K is a complete discretely valued field of mixed characteristic with perfect residue field. Moreover, we generalize this result to semistable representations using the absolute logarithmic prismatic site defined by Koshikawa.

mathematics, applied
On the $(φ,Γ)$-modules corresponding to crystalline representations

Takumi Watanabe

2024-05-30

Abstract:Let $K$ be a mixed characteristic complete discrete valuation field with perfect residue field of characteristic $p$. We construct a new linear category called the category of crystalline $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K^{+}$ and show that it is equivalent to the category of crystalline $\mathbb{Z}_p$-representations of the absolute Galois group of $K$. In other words, we determine the $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K$ which correspond to crystalline representations. In a sense, this can be seen as a generalization of Wach modules in the ramified case.

Number Theory,Representation Theory
Polyhedral realizations of crystal bases for quantum algebras of finite types

Ayumu Hoshino

DOI: https://doi.org/10.1063/1.2121308

IF: 1.469

2005-11-01

Journal of Mathematical Physics

Abstract:Polyhedral realization of crystal bases is one of the methods for describing the crystal base B(∞) of a quantized enveloping algebra explicitly. This method can be applied to symmetrizable Kac-Moody types. We can also apply this method to the crystal bases B(λ) of integrable highest weight modules and of modified quantum algebras. But, the explicit forms of the polyhedral realizations of crystal bases B(∞) and B(λ) are only given in the case of arbitrary rank 2, of An and of An(1). So, we will give the polyhedral realizations of crystal bases B(∞) and B(λ) for all simple Lie algebras in this paper.

physics, mathematical
Crystal bases and quiver varieties (Geometric construction of crystal bases II)

Yoshihisa Saito

DOI: https://doi.org/10.48550/arXiv.math/0111232

2001-11-21

Abstract: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 quantized universal enveloping algebra.

Quantum Algebra
Prismatic $F$-crystals and Lubin-Tate $(φ_q,Γ)$-modules

Samuel Marks

2023-05-12

Abstract:Let $L/\mathbb{Q}_p$ be a finite extension. We introduce $L$-typical prisms, a mild generalization of prisms. Following ideas of Bhatt, Scholze, and Wu, we show that certain vector bundles, called Laurent $F$-crystals, on the $L$-typical prismatic site of a formal scheme $X$ over $\mathrm{Spf}\mathcal{O}_L$ are equivalent to $\mathcal{O}_L$-linear local systems on the generic fiber $X_\eta$. We also give comparison theorems for computing the étale cohomology of a local system in terms of the cohomology of its corresponding Laurent $F$-crystal. In the case $X = \mathrm{Spf}\mathcal{O}_K$ for $K/L$ a $p$-adic field, we show that this recovers the Kisin-Ren equivalence between Lubin-Tate $(\varphi_q,\Gamma)$-modules and $\mathcal{O}_L$-linear representations of $G_K$ and the results of Kupferer and Venjakob for computing Galois cohomology in terms of Herr complexes of $(\varphi_q,\Gamma)$-modules. We can thus regard Laurent $F$-crystals on the $L$-typical prismatic site as providing a suitable notion of relative $(\varphi_q,\Gamma)$-modules.

Number Theory
A Tannakian framework for prismatic $F$-crystals

Naoki Imai,Hiroki Kato,Alex Youcis

2024-06-12

Abstract:We develop the Tannakian theory of (analytic) prismatic $F$-crystals on a smooth formal scheme $\mathfrak{X}$ over the ring of integers of a discretely valued field with perfect residue field. Our main result gives an equivalence between the $\mathcal{G}$-objects of prismatic $F$-crystals on $\mathfrak{X}$ and $\mathcal{G}$-objects on a newly-defined category of $\mathbb{Z}_p$-local systems on $\mathfrak{X}_\eta$: those of prismatically good reduction. Additionally, we develop a shtuka realization functor for (analytic) prismatic $F$-crystals on $p$-adic (formal) schemes and show it satisfies several compatibilities with previous work on the Tannakian theory of shtukas over such objects.

Number Theory,Algebraic Geometry
Extremal functions on moduli spaces and applications

Nikolaj Glazunov

2024-11-21

Abstract:We construct and study extremal functions, which are defined by distance functions of convex bodies. Such functions take values in the moduli spaces of geometric objects associated with these convex bodies. Examples of such functions are the homogeneous arithmetic minimum of a function in a lattice, the Hermite constant, and the critical determinant of a body. We define and investigate extremal functions that yield optimal packings of bodies, the best values of covering constants, and optimal solutions to Diophantine approximation problems.

Number Theory
Extremal weight crystals over affine Lie algebras of infinite rank

Taehyeok Heo

2023-05-09

Abstract:We explain extremal weight crystals over affine Lie algebras of infinite rank using combinatorial models: a spinor model due to Kwon, and an infinite rank analogue of Kashiwara-Nakashima tableaux due to Lecouvey. In particular, we show that Lecouvey's tableau model is isomorphic to an extremal weight crystal of level zero. Using these combinatorial models, we explain an algebra structure of the Grothendieck ring for a category consisting of some extremal weight crystals.

Representation Theory,Quantum Algebra
Affine Geometric Crystal of type $G^{(1)}_2$

Toshiki Nakashima

DOI: https://doi.org/10.48550/arXiv.math/0612858

2006-12-30

Abstract:We shall realize certain affine geometric crystal of type $G^{(1)}_2$ explicitly in the fundamental representation $W(\varpi_1)$. Its explicit form is rather complicated but still keeps a positive structure.

Quantum Algebra,Representation Theory
On combinatorics of string polytopes in types $B$ and $C$

Yunhyung Cho,Naoki Fujita,Eunjeong Lee

2023-06-20

Abstract:A string polytope is a rational convex polytope whose lattice points parametrize a highest weight crystal basis, which is obtained from a string cone by explicit affine inequalities depending on a highest weight. It also inherits geometric information of a flag variety such as toric degenerations, Newton-Okounkov bodies, mirror symmetry, Schubert calculus, and so on. In this paper, we study combinatorial properties of string polytopes in types $B$ and $C$ by giving an explicit description of string cones in these types which is analogous to Gleizer-Postnikov's description of string cones in type $A$. As an application, we characterize string polytopes in type $C$ which are unimodularly equivalent to the Gelfand-Tsetlin polytope in type $C$ for a specific highest weight.

Combinatorics,Algebraic Geometry,Representation Theory

Polytopes for Crystallized Demazure Modules and Exremal Vectors

Extremal subsets and atom-positivity

Decorated Geometric Crystals, Polyhedral and Monomial Realizations of Crystal Bases

On Mirković-Vilonen polytopes

Heaps, crystals, and preprojective algebra modules

Semi-modules and crystal bases via affine Deligne-Lusztig varieties

Decorations on Geometric Crystals and Monomial Realizations of Crystal Bases for Classical Groups

Geometric families of degenerations from mutations of polytopes

Polyhedral realizations for crystal bases and Young walls of classical affine types

Affine Demazure Weight Polytopes and Twisted Bruhat Orders

Schubert calculus from polyhedral parametrizations of Demazure crystals

A prismatic approach to $(\varphi, \hat G)$-modules and $F$-crystals

On the $(φ,Γ)$-modules corresponding to crystalline representations

Polyhedral realizations of crystal bases for quantum algebras of finite types

Crystal bases and quiver varieties (Geometric construction of crystal bases II)

Prismatic $F$-crystals and Lubin-Tate $(φ_q,Γ)$-modules

A Tannakian framework for prismatic $F$-crystals

Extremal functions on moduli spaces and applications

Extremal weight crystals over affine Lie algebras of infinite rank

Affine Geometric Crystal of type $G^{(1)}_2$

On combinatorics of string polytopes in types $B$ and $C$