Irreducible Characters for Verma Modules for the Orthosymplectic Lie Superalgebra Osp(3|4)

Irreducible Characters for Verma Modules for the Orthosymplectic Lie Superalgebra Osp(3|4)

Irreducible Characters for Verma Modules for the Orthosymplectic Lie Superalgebra osp(3j4) Honglin Zhu Mentor: Arun S. Kannan Phillips Exeter Academy October 17, 2020 MIT PRIMES Conference Honglin Zhu Irreducible Characters for Verma Modules Oct 17 1 / 18 Definition A Lie algebra L is a vector space endowed with a bilinear map [−; −]: L × L ! L called the Lie bracket. The Lie bracket satisfies two rules: 1 For all x; y 2 L,[x; y] = −[y; x]. 2 For all x; y; z 2 L, [x; [y; z]] + [y; [z; x]] + [z; [x; y]] = 0: What is a Lie algebra? Honglin Zhu Irreducible Characters for Verma Modules Oct 17 2 / 18 1 For all x; y 2 L,[x; y] = −[y; x]. 2 For all x; y; z 2 L, [x; [y; z]] + [y; [z; x]] + [z; [x; y]] = 0: What is a Lie algebra? Definition A Lie algebra L is a vector space endowed with a bilinear map [−; −]: L × L ! L called the Lie bracket. The Lie bracket satisfies two rules: Honglin Zhu Irreducible Characters for Verma Modules Oct 17 2 / 18 2 For all x; y; z 2 L, [x; [y; z]] + [y; [z; x]] + [z; [x; y]] = 0: What is a Lie algebra? Definition A Lie algebra L is a vector space endowed with a bilinear map [−; −]: L × L ! L called the Lie bracket. The Lie bracket satisfies two rules: 1 For all x; y 2 L,[x; y] = −[y; x]. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 2 / 18 What is a Lie algebra? Definition A Lie algebra L is a vector space endowed with a bilinear map [−; −]: L × L ! L called the Lie bracket. The Lie bracket satisfies two rules: 1 For all x; y 2 L,[x; y] = −[y; x]. 2 For all x; y; z 2 L, [x; [y; z]] + [y; [z; x]] + [z; [x; y]] = 0: Honglin Zhu Irreducible Characters for Verma Modules Oct 17 2 / 18 2 The set of endomorphisms on a finite dimensional vector space V (linear maps from V to itself), End(V ), can be made into a Lie algebra, known as the general linear algebra gl(V ), with [x; y] := xy − yx: Some examples Examples 3 1 R endowed with the cross product ×. i × j = k; j × k = i; k × i = j: Honglin Zhu Irreducible Characters for Verma Modules Oct 17 3 / 18 Some examples Examples 3 1 R endowed with the cross product ×. i × j = k; j × k = i; k × i = j: 2 The set of endomorphisms on a finite dimensional vector space V (linear maps from V to itself), End(V ), can be made into a Lie algebra, known as the general linear algebra gl(V ), with [x; y] := xy − yx: Honglin Zhu Irreducible Characters for Verma Modules Oct 17 3 / 18 General linear algebra Definition We can identify the general linear algebra gl(V ) with the set of all n × n matrices. And the Lie bracket is defined in terms of matrix multiplication. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 4 / 18 Definition A representation of a Lie algebra L is a Lie algebra homomorphism (a linear map that also preserves the bracket structure) φ : L ! gl(V ), where V is some vector space. When the map is clear, we usually call V the representation. We also call V an L-module. Representation Just as groups act on sets, Lie algebras can be made to act on vector spaces via representations. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 5 / 18 Representation Just as groups act on sets, Lie algebras can be made to act on vector spaces via representations. Definition A representation of a Lie algebra L is a Lie algebra homomorphism (a linear map that also preserves the bracket structure) φ : L ! gl(V ), where V is some vector space. When the map is clear, we usually call V the representation. We also call V an L-module. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 5 / 18 2 The adjoint representation L of L: ad : L ! gl(L); x 7! [x; ·]: Examples Examples 1 The natural representation V of gl(V ). Honglin Zhu Irreducible Characters for Verma Modules Oct 17 6 / 18 Examples Examples 1 The natural representation V of gl(V ). 2 The adjoint representation L of L: ad : L ! gl(L); x 7! [x; ·]: Honglin Zhu Irreducible Characters for Verma Modules Oct 17 6 / 18 Semisimple Lie algebras There is a certain type of Lie algebras called semisimple Lie algebras. Their representations have nice properties and it is an important topic in representation theory to study them. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 7 / 18 Jordan-H¨olderseries For a Verma module Mλ, there exists a sequence of submodules Mλ = Nk ⊃ Nk−1 ⊃ · · · ⊃ N1 ⊃ N0 = 0 such that each quotient Ni =Ni−1 is an irreducible module. We denote by [Mλ : Lµ] the multiplicity of Lµ in the sequence. Verma modules Indexed by weights (denoted Mλ for the Verma module indexed by λ). Irreducible modules can be constructed from Verma modules. Denoted by Lλ the irreducible module of highest weight λ. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 8 / 18 Verma modules Indexed by weights (denoted Mλ for the Verma module indexed by λ). Irreducible modules can be constructed from Verma modules. Denoted by Lλ the irreducible module of highest weight λ. Jordan-H¨olderseries For a Verma module Mλ, there exists a sequence of submodules Mλ = Nk ⊃ Nk−1 ⊃ · · · ⊃ N1 ⊃ N0 = 0 such that each quotient Ni =Ni−1 is an irreducible module. We denote by [Mλ : Lµ] the multiplicity of Lµ in the sequence. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 8 / 18 Verma modules can be similarly defined for basic Lie superalgebras, but their Jordan-H¨older multiplicities are not so well understood. Verma modules The Jordan-H¨oldermultiplicities of Verma modules of semisimple Lie algebras are controlled by the Weyl group. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 9 / 18 Verma modules The Jordan-H¨oldermultiplicities of Verma modules of semisimple Lie algebras are controlled by the Weyl group. Verma modules can be similarly defined for basic Lie superalgebras, but their Jordan-H¨older multiplicities are not so well understood. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 9 / 18 General linear Lie superalgebra Definition kjl k l Let V = C = C ⊕ C . The Lie superalgebra gl(kjl) is the set of (k + l) × (k + l) supermatrices even k × k odd k × l odd l × k even l × l with the superbracket defined as [x; y] = xy − (−1)jxjjyjyx; for homogeneous x; y 2 gl(kjl). Honglin Zhu Irreducible Characters for Verma Modules Oct 17 10 / 18 osp(3j4) The Lie superalgebra of interest is the orthosymplectic Lie superalgebra osp(3j4), whose even part is g0 = sp(4) ⊕ so(3). Honglin Zhu Irreducible Characters for Verma Modules Oct 17 11 / 18 We focus on the atypical case and calculate the Jordan-H¨older multiplicities for the Verma modules of osp(3j4). The problem The Jordan-H¨oldermultiplicities for Verma modules of basic Lie superalgebras are no longer solely controlled by the Weyl group due to a phenomenon called the atypicality of weights. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 12 / 18 The problem The Jordan-H¨oldermultiplicities for Verma modules of basic Lie superalgebras are no longer solely controlled by the Weyl group due to a phenomenon called the atypicality of weights. We focus on the atypical case and calculate the Jordan-H¨older multiplicities for the Verma modules of osp(3j4). Honglin Zhu Irreducible Characters for Verma Modules Oct 17 12 / 18 Standard filtration For each projective module Pλ, there exists a sequence of submodules Pλ = Nk ⊃ Nk−1 ⊃ · · · ⊃ N1 ⊃ N0 = 0 such that each quotient Ni =Ni−1 is a Verma module. We denote by (Pλ : Mµ) the multiplicity of Mµ in the sequence. Projective modules Projective modules Also indexed by weights: for each irreducible highest weight module, there exists a unique projective cover. Denoted Pλ. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 13 / 18 Projective modules Projective modules Also indexed by weights: for each irreducible highest weight module, there exists a unique projective cover. Denoted Pλ. Standard filtration For each projective module Pλ, there exists a sequence of submodules Pλ = Nk ⊃ Nk−1 ⊃ · · · ⊃ N1 ⊃ N0 = 0 such that each quotient Ni =Ni−1 is a Verma module. We denote by (Pλ : Mµ) the multiplicity of Mµ in the sequence. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 13 / 18 BGG reciprocity Theorem (BGG reciprocity) For weights λ, µ 2 h∗, we have (Pλ : Mµ) = [Mµ : Lλ]: Honglin Zhu Irreducible Characters for Verma Modules Oct 17 14 / 18 Pµ −! Pµ ⊗ V −! prλ(Pµ ⊗ V ) −! Pλ: If Pµ = Mµ1 + Mµ2 + ··· + Mµn and V has weights ν1; ν2; : : : ; νk , then X Pµ ⊗ V = Mµi +νj : Our Strategy We employ the tool of translation functors. Honglin Zhu Irreducible Characters for Verma Modules Oct 17 15 / 18 If Pµ = Mµ1 + Mµ2 + ··· + Mµn and V has weights ν1; ν2; : : : ; νk , then X Pµ ⊗ V = Mµi +νj : Our Strategy We employ the tool of translation functors. Pµ −! Pµ ⊗ V −! prλ(Pµ ⊗ V ) −! Pλ: Honglin Zhu Irreducible Characters for Verma Modules Oct 17 15 / 18 Our Strategy We employ the tool of translation functors. Pµ −! Pµ ⊗ V −! prλ(Pµ ⊗ V ) −! Pλ: If Pµ = Mµ1 + Mµ2 + ··· + Mµn and V has weights ν1; ν2; : : : ; νk , then X Pµ ⊗ V = Mµi +νj : Honglin Zhu Irreducible Characters for Verma Modules Oct 17 15 / 18 Results Theorem With some exceptions, all Verma Modules of atypical integral highest weight have Jordan-H¨olderseries given by X Mλ = (Lσλ + Lσλ−α + Lσλ−α−β) : σλλ Honglin Zhu Irreducible Characters for Verma Modules Oct 17 16 / 18 Acknowledgements I would like to thank my mentor, Arun S.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    30 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us