Abstract

A positroid variety is an intersection of cyclically rotated Grassmannian Schubert varieties. Each graded piece of the homogeneous coordinate ring of a positroid variety is the intersection of cyclically rotated (rectangular) Demazure modules, which we call the cyclic Demazure module. In this note, we show that the cyclic Demazure module has a canonical basis, and define the cyclic Demazure crystal.

Highlights

  • The classical Borel-Weil theorem identifies the global sections Γ(G/B, Lλ) of a line bundle on a flag variety with the irreducible highest weight representation V (λ)

  • When the same line bundle is restricted to a Schubert variety Xw, the global sections Γ(Xw, Lλ) can be identified with the Demazure module Vw(λ)

  • We show in Theorem 15 that a graded piece of the homogeneous coordinate ring of a positroid variety can be identified with the cyclic Demazure module

Read more

Summary

Introduction

The classical Borel-Weil theorem identifies the global sections Γ(G/B, Lλ) of a line bundle on a flag variety with the irreducible highest weight representation V (λ). When the same line bundle is restricted to a Schubert variety Xw, the global sections Γ(Xw, Lλ) can be identified with the Demazure module Vw(λ). Positroid varieties (see Section 4) are certain intersections of cyclically rotated Schubert varieties in the Grassmannian. They were introduced in Postnikov’s work [Pos] on the totally nonnegative Grassmannian, and subsequently studied in algebro-geometric terms by Knutson-Lam-Speyer [KLS13]. Our approach is based on the key observation (Theorem 1(iv)) that the dual canonical basis of the Grassmannian is invariant under signed cyclic rotation. This relies heavily on the work of Rhoades [Rho].

The Grassmannian and its homogeneous coordinate ring
Highest weight representations
Crystals
Kirillov-Reshetikhin crystals
The dual canonical basis of the Grassmannian
Temperley-Lieb immanants
Explicit formula for Temperley-Lieb invariants
Schubert varieties
Positroid varieties
Demazure modules and Demazure crystals
Proof of Theorem 14
Proof of Theorem 15
Positivity
The character of the cyclic Demazure module
Quantization
Higher degree matroids
Projective geometry interpretation of dual canonical basis

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.