DOCSLIB.ORG

Hyperbolic Weyl Groups and the Four Normed Division Algebras

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Hyperbolic Weyl Groups and the Four Normed Division Algebras Hyperbolic Weyl Groups and the Four Normed Division Algebras Alex Feingold1, Axel Kleinschmidt2, Hermann Nicolai3 1 Department of Mathematical Sciences, State University of New York Binghamton, New York 13902–6000, U.S.A. 2 Physique Theorique´ et Mathematique,´ Universite´ Libre de Bruxelles & International Solvay Institutes, Boulevard du Triomphe, ULB – CP 231, B-1050 Bruxelles, Belgium 3 Max-Planck-Institut fur¨ Gravitationsphysik, Albert-Einstein-Institut Am Muhlenberg¨ 1, D-14476 Potsdam, Germany – p. Introduction Presented at Illinois State University, July 7-11, 2008 Vertex Operator Algebras and Related Areas Conference in Honor of Geoffrey Mason’s 60th Birthday – p. Introduction Presented at Illinois State University, July 7-11, 2008 Vertex Operator Algebras and Related Areas Conference in Honor of Geoffrey Mason’s 60th Birthday – p. Introduction Presented at Illinois State University, July 7-11, 2008 Vertex Operator Algebras and Related Areas Conference in Honor of Geoffrey Mason’s 60th Birthday “The mathematical universe is inhabited not only by important species but also by interesting individuals” – C. L. Siegel – p. Introduction (I) In 1983 Feingold and Frenkel studied the rank 3 hyperbolic Kac–Moody algebra = A++ with F 1 y y @ y Dynkin diagram @ 1 0 1 − Weyl Group W ( )= w , w , w wI = 2, wI wJ = mIJ F h 1 2 3 || | | | i 2 1 0 − 2(αI , αJ ) Cartan matrix [AIJ ]= 1 2 2 = − − (αJ , αJ ) 0 2 2 − 2 3 2 Coxeter exponents [mIJ ]= 3 2 ∞ 2 2 ∞ – p. Introduction (II) The simple roots, α 1, α0, α1, span the − 1 Root lattice Λ( )= α = nI αI n 1,n0,n1 Z F − ∈ ( I= 1 ) X− – p. Introduction (II) The simple roots, α 1, α0, α1, span the − 1 Root lattice Λ( )= α = nI αI n 1,n0,n1 Z F − ∈ ( I= 1 ) X− which may be given as the space of integral symmetric (2 2)-matrices × + x z + Λ( )= X = x ,x−,z Z F z x ∈ ( " − # ) with Lorentzian inner product (αI , αJ ) = det(αI ) + det(αJ ) det(αI + αJ ) − – p. Introduction (III) The matrices giving the simple roots are: 1 0 1 1 0 1 α 1 = α0 = − − α1 = − 0 1 1 0 1 0 " − # " − # " # Λ( ) is a lattice in the space H2(R) of real symmetric (2 F 2)-matrices with that Lorentzian inner product. × – p. Introduction (III) The matrices giving the simple roots are: 1 0 1 1 0 1 α 1 = α0 = − − α1 = − 0 1 1 0 1 0 " − # " − # " # Λ( ) is a lattice in the space H2(R) of real symmetric (2 F 2)-matrices with that Lorentzian inner product. × The Weyl group W ( ) of generated by fundamental reflections F F 2(α, αI ) wI (α)= α αI − (αI , αI ) is a discrete subgroup of O(1, 2; R). – p. Introduction (IV) On Λ( ) can write reflections as matrix conjugations F X X T wI ( )= MI MI with 0 1 1 1 1 0 M 1 = , M0 = − , M1 = − 1 0 1 0 0 1 " # " # " − # – p. Introduction (IV) On Λ( ) can write reflections as matrix conjugations F X X T wI ( )= MI MI with 0 1 1 1 1 0 M 1 = , M0 = − , M1 = − 1 0 1 0 0 1 " # " # " − # Then Feingold–Frenkel got the isomorphism W ( ) = P GL (Z) F ∼ 2 Projective due to quadratic appearance of MI . – p. Introduction (V) The even part of the Weyl group W +( ) = P SL (Z) F ∼ 2 is generated by 0 1 1 1 S = M 1M0 = , T = M0M1 = − − − 1 0 0 1 " − # " − # – p. Introduction (V) The even part of the Weyl group W +( ) = P SL (Z) F ∼ 2 is generated by 0 1 1 1 S = M 1M0 = , T = M0M1 = − − − 1 0 0 1 " − # " − # = Modular group P SL (Z) in hyperbolic Weyl group! ⇒ 2 Nice description of W +( ). F [[FF] also discussed relation to Siegel modular forms.] – p. Introduction (VI) P GL2(Z) acting on H2(R) preserves each hyperboloid (X, X)= c, giving model of hyperbolic space, Poincaré Disk: – p. Introduction (VI) P GL2(Z) acting on H2(R) preserves each hyperboloid (X, X)= c, giving model of hyperbolic space, Poincaré Disk: r0r1r0α−1 r1r0α−1 r0r1r0α1 r1r0α1 r0r1α0 r1α0 r0α1 α1 α0 r 0 α −1 α −1 r r r r α r r r r α 0 1 −1 0 1 −1 α −1 1 0 1 0 r−1r0α1 r0r−1r0r1r0α1 r−1r0r1r0α1 r−1r0r1α0 r−1r0r1r0α−1 – p. General Structure (I) Over-extension process of finite-dimensional simple g proceeds via non-twisted affine extension g+: αi for i = 1,...,ℓ : simple roots of g θ highest root of g A2 y 2 y 1 – p. General Structure (I) Over-extension process of finite-dimensional simple g proceeds via non-twisted affine extension g+: αi for i = 1,...,ℓ : simple roots of g θ highest root of g + A2 y 2 y Define affine simple root by 0@ @y 1 α = δ θ ; null root δ orthogonal to αi of g 0 − – p. General Structure (I) Over-extension process of finite-dimensional simple g proceeds via non-twisted affine extension g+: αi for i = 1,...,ℓ : simple roots of g θ highest root of g ++ A2 y 2 y y Define affine simple root by 1 0@ − @y 1 α = δ θ ; null root δ orthogonal to αi of g 0 − Define hyperbolic simple root by 2(α 1, α0)= (α0, α0) − − same length as α0, orthogonal to αi of g Root lattice Λ(g++) always Lorentzian. g++ often hyperbolic. – p. General Structure (II) ++ (2 2) symmetric matrix presentation of A1 root lattice fits × T into a family of Hermitian matrices X = X† = X¯ over K + ++ x z + Λ(g )= X = x ,x− Z, z Q(g) H2(K) z¯ x ∈ ∈ ⊂ ( " − # ) where K is one of the four normed division algebras over R: K = R, C, H, O equipped with conjugation z z¯. → N(z) =zz ¯ = zz¯ , N(z1z2)= N(z1)N(z2) z z =z ¯ z¯ , z z = 0 z = 0 or z = 0 1 2 2 1 1 2 ⇒ 1 2 and N(z1 + z2) N(z1) N(z2)= z1z¯2 + z2z¯1 = (z1,z2) is a Euclidean inner− product− on K. – p. 10 General Structure (II) ++ (2 2) symmetric matrix presentation of A1 root lattice fits × T into a family of Hermitian matrices X = X† = X¯ over K + ++ x z + Λ(g )= X = x ,x− Z, z Q(g) H2(K) z¯ x ∈ ∈ ⊂ ( " − # ) where K is one of the four normed division algebras over R: K = R, C, H, O equipped with conjugation z z¯. → K = R real, commutative, associative dimR(K) = 1 K = C commutative, associative dimR(K) = 2 K = H associative dimR(K) = 4 K = O alternative dimR(K) = 8 = Hyperbolic KMAs of ranks 3, 4, 6, 10 ⇒ – p. 10 General Structure (III) We have a Lorentzian inner product on H2(K) (X , X ) = det(X ) + det(X ) det(X + X ) 1 2 1 2 − 1 2 which, restricted to the subspace of H2(K) with zero diagonal 0 z1 0 z2 X1 = , X2 = H2(K) " z¯1 0 # " z¯2 0 # ∈ gives the Euclidean inner product (X1, X2)= z1z¯2 + z2z¯1 = (z1,z2) so that subspace is isometric to K. – p. 11 General Structure (IV) We can find ai K for i = 1,...,ℓ s.t. g Cartan matrix comes from K Euclidean∈ inner product (ai, aj)= aia¯j + aja¯i and the finite root lattice Q(g) K is their integral span. ⊂ Always can choose lengths so that θθ¯ = 1. – p. 12 General Structure (IV) We can find ai K for i = 1,...,ℓ s.t. g Cartan matrix comes from K Euclidean∈ inner product (ai, aj)= aia¯j + aja¯i and the finite root lattice Q(g) K is their integral span. ⊂ Always can choose lengths so that θθ¯ = 1. Prop 1. We get g++ Cartan matrix from simple roots 1 0 1 θ 0 ai α 1 = , α0 = − − , αi = − 0 1 θ¯ 0 a¯i 0 " − # " − # " # for i = 1,...,ℓ. – p. 12 General Structure (V) Thm 1. Fundamental Weyl reflections of W W (g++) are ≡ wI (X)= MI X¯M † , I = 1, 0, 1,...,ℓ I − with unit versions of g simple roots εi = ai/ N(ai) and p 0 1 θ 1 εi 0 M 1 = , M0 = − , Mi = − 1 0 0 θ¯ 0 ε¯i " # " # " − # – p. 13 General Structure (V) Thm 1. Fundamental Weyl reflections of W W (g++) are ≡ wI (X)= MI X¯M † , I = 1, 0, 1,...,ℓ I − with unit versions of g simple roots εi = ai/ N(ai) and p 0 1 θ 1 εi 0 M 1 = , M0 = − , Mi = − 1 0 0 θ¯ 0 ε¯i " # " # " − # Remarks Formula well-defined for all K, including octonions Involves complex conjugation of X, not seen for F εi = ai only if g not simply laced 6 – p. 13 General Structure (VI) For generalizations of modular group P SL2(Z) need Thm 2. Even Weyl group W + W +(g++) is generated by ≡ X X (w 1wi)( )= Si Si† , i = 0, 1,...,ℓ − with 0 θ 0 εi S0 = , Si = − , i = 1,...,ℓ θ¯ 1 ε¯i 0 " − # " # – p. 14 General Structure (VI) For generalizations of modular group P SL2(Z) need Thm 2. Even Weyl group W + W +(g++) is generated by ≡ X X (w 1wi)( )= Si Si† , i = 0, 1,...,ℓ − with 0 θ 0 εi S0 = , Si = − , i = 1,...,ℓ θ¯ 1 ε¯i 0 " − # " # Remarks Formula well-defined for all K, including octonions W + SO(1,ℓ + 1; R). If det were defined: det S = 1 ⊂ Does not involve complex conjugation of X = matrix subgroups of P SL (K) in associative cases! ⇒ 2 – p.
Load more

Recommended publications
  • Lie Algebras Associated with Generalized Cartan Matrices
    LIE ALGEBRAS ASSOCIATED WITH GENERALIZED CARTAN MATRICES BY R. V. MOODY1 Communicated by Charles W. Curtis, October 3, 1966 1. Introduction. If 8 is a finite-dimensional split semisimple Lie algebra of rank n over a field $ of characteristic zero, then there is associated with 8 a unique nXn integral matrix (Ay)—its Cartan matrix—which has the properties Ml. An = 2, i = 1, • • • , n, M2. M3. Ay = 0, implies An = 0. These properties do not, however, characterize Cartan matrices. If (Ay) is a Cartan matrix, it is known (see, for example, [4, pp. VI-19-26]) that the corresponding Lie algebra, 8, may be recon­ structed as follows: Let e y fy hy i = l, • • • , n, be any Zn symbols. Then 8 is isomorphic to the Lie algebra 8 ((A y)) over 5 defined by the relations Ml = 0, bifj] = dyhy If or all i and j [eihj] = Ajid [f*,] = ~A„fy\ «<(ad ej)-A>'i+l = 0,1 /,(ad fà-W = (J\ii i 7* j. In this note, we describe some results about the Lie algebras 2((Ay)) when (Ay) is an integral square matrix satisfying Ml, M2, and M3 but is not necessarily a Cartan matrix. In particular, when the further condition of §3 is imposed on the matrix, we obtain a reasonable (but by no means complete) structure theory for 8(04t/)). 2. Preliminaries. In this note, * will always denote a field of char­ acteristic zero. An integral square matrix satisfying Ml, M2, and M3 will be called a generalized Cartan matrix, or g.c.m.
    [Show full text]
  • Semisimple Q-Algebras in Algebraic Combinatorics
    Semisimple Q-algebras in algebraic combinatorics Allen Herman (Regina) Group Ring Day, ICTS Bangalore October 21, 2019 I.1 Coherent Algebras and Association Schemes Definition 1 (D. Higman 1987). A coherent algebra (CA) is a subalgebra CB of Mn(C) defined by a special basis B, which is a collection of non-overlapping 01-matrices that (1) is a closed set under the transpose, (2) sums to J, the n × n all 1's matrix, and (3) contains a subset ∆ of diagonal matrices summing I , the identity matrix. The standard basis B of a CA in Mn(C) is precisely the set of adjacency matrices of a coherent configuration (CC) of order n and rank r = jBj. > B = B =) CB is semisimple. When ∆ = fI g, B is the set of adjacency matrices of an association scheme (AS). Allen Herman (Regina) Semisimple Q-algebras in Algebraic Combinatorics I.2 Example: Basic matrix of an AS An AS or CC can be illustrated by its basic matrix. Here we give the basic matrix of an AS with standard basis B = fb0; b1; :::; b7g: 2 012344556677 3 6 103244556677 7 6 7 6 230166774455 7 6 7 6 321066774455 7 6 7 6 447701665523 7 6 7 d 6 7 X 6 447710665532 7 ibi = 6 7 6 556677012344 7 i=0 6 7 6 556677103244 7 6 7 6 774455230166 7 6 7 6 774455321066 7 6 7 4 665523447701 5 665532447710 Allen Herman (Regina) Semisimple Q-algebras in Algebraic Combinatorics I.3 Example: Basic matrix of a CC of order 10 and j∆j = 2 2 0 123232323 3 6 1 032323232 7 6 7 6 4567878787 7 6 7 6 5476787878 7 d 6 7 X 6 4587678787 7 ibi = 6 7 6 5478767878 7 i=0 6 7 6 4587876787 7 6 7 6 5478787678 7 6 7 4 4587878767 5 5478787876 ∆ = fb0; b6g, δ(b0) = δ(b6) = 1 Diagonal block valencies: δ(b1) = 1, δ(b7) = 4, δ(b8) = 3; Off diagonal block valencies: row valencies: δr (b2) = δr (b3) = 4, δr (b4) = δr (b5) = 1 column valencies: δc (b2) = δc (b3) = 1, δc (b4) = δc (b5) = 4.
    [Show full text]
  • Completely Integrable Gradient Flows
    Commun. Math. Phys. 147, 57-74 (1992) Communications in Maltlematical Physics Springer-Verlag 1992 Completely Integrable Gradient Flows Anthony M. Bloch 1'*, Roger W. Brockett 2'** and Tudor S. Ratiu 3'*** 1 Department of Mathematics, The Ohio State University, Columbus, OH 43210, USA z Division of Applied Sciences, Harvard University, Cambridge, MA 02138, USA 3 Department of Mathematics, University of California, Santa Cruz, CA 95064, USA Received December 6, 1990, in revised form July 11, 1991 Abstract. In this paper we exhibit the Toda lattice equations in a double bracket form which shows they are gradient flow equations (on their isospectral set) on an adjoint orbit of a compact Lie group. Representations for the flows are given and a convexity result associated with a momentum map is proved. Some general properties of the double bracket equations are demonstrated, including a discussion of their invariant subspaces, and their function as a Lie algebraic sorter. O. Introduction In this paper we present details of the proofs and applications of the results on the generalized Toda lattice equations announced in [7]. One of our key results is exhibiting the Toda equations in a double bracket form which shows directly that they are gradient flow equations (on their isospectral set) on an adjoint orbit of a compact Lie group. This system, which is gradient with respect to the normal metric on the orbit, is quite different from the repre- sentation of the Toda flow as a gradient system on N" in Moser's fundamental paper [27]. In our representation the same set of equations is thus Hamiltonian and a gradient flow on the isospectral set.
    [Show full text]
  • LIE GROUPS and ALGEBRAS NOTES Contents 1. Definitions 2
    LIE GROUPS AND ALGEBRAS NOTES STANISLAV ATANASOV Contents 1. Definitions 2 1.1. Root systems, Weyl groups and Weyl chambers3 1.2. Cartan matrices and Dynkin diagrams4 1.3. Weights 5 1.4. Lie group and Lie algebra correspondence5 2. Basic results about Lie algebras7 2.1. General 7 2.2. Root system 7 2.3. Classification of semisimple Lie algebras8 3. Highest weight modules9 3.1. Universal enveloping algebra9 3.2. Weights and maximal vectors9 4. Compact Lie groups 10 4.1. Peter-Weyl theorem 10 4.2. Maximal tori 11 4.3. Symmetric spaces 11 4.4. Compact Lie algebras 12 4.5. Weyl's theorem 12 5. Semisimple Lie groups 13 5.1. Semisimple Lie algebras 13 5.2. Parabolic subalgebras. 14 5.3. Semisimple Lie groups 14 6. Reductive Lie groups 16 6.1. Reductive Lie algebras 16 6.2. Definition of reductive Lie group 16 6.3. Decompositions 18 6.4. The structure of M = ZK (a0) 18 6.5. Parabolic Subgroups 19 7. Functional analysis on Lie groups 21 7.1. Decomposition of the Haar measure 21 7.2. Reductive groups and parabolic subgroups 21 7.3. Weyl integration formula 22 8. Linear algebraic groups and their representation theory 23 8.1. Linear algebraic groups 23 8.2. Reductive and semisimple groups 24 8.3. Parabolic and Borel subgroups 25 8.4. Decompositions 27 Date: October, 2018. These notes compile results from multiple sources, mostly [1,2]. All mistakes are mine. 1 2 STANISLAV ATANASOV 1. Definitions Let g be a Lie algebra over algebraically closed field F of characteristic 0.
    [Show full text]
  • Symmetries, Fields and Particles. Examples 1
    Michaelmas Term 2016, Mathematical Tripos Part III Prof. N. Dorey Symmetries, Fields and Particles. Examples 1. 1. O(n) consists of n × n real matrices M satisfying M T M = I. Check that O(n) is a group. U(n) consists of n × n complex matrices U satisfying U†U = I. Check similarly that U(n) is a group. Verify that O(n) and SO(n) are the subgroups of real matrices in, respectively, U(n) and SU(n). By considering how U(n) matrices act on vectors in Cn, and identifying Cn with R2n, show that U(n) is a subgroup of SO(2n). 2. Show that for matrices M ∈ O(n), the first column of M is an arbitrary unit vector, the second is a unit vector orthogonal to the first, ..., the kth column is a unit vector orthogonal to the span of the previous ones, etc. Deduce the dimension of O(n). By similar reasoning, determine the dimension of U(n). Show that any column of a unitary matrix U is not in the (complex) linear span of the remaining columns. 3. Consider the real 3 × 3 matrix, R(n,θ)ij = cos θδij + (1 − cos θ)ninj − sin θǫijknk 3 where n = (n1, n2, n3) is a unit vector in R . Verify that n is an eigenvector of R(n,θ) with eigenvalue one. Now choose an orthonormal basis for R3 with basis vectors {n, m, m˜ } satisfying, m · m = 1, m · n = 0, m˜ = n × m. By considering the action of R(n,θ) on these basis vectors show that this matrix corre- sponds to a rotation through an angle θ about an axis parallel to n and check that it is an element of SO(3).
    [Show full text]
  • Contents 1 Root Systems
    Stefan Dawydiak February 19, 2021 Marginalia about roots These notes are an attempt to maintain a overview collection of facts about and relationships between some situations in which root systems and root data appear. They also serve to track some common identifications and choices. The references include some helpful lecture notes with more examples. The author of these notes learned this material from courses taught by Zinovy Reichstein, Joel Kam- nitzer, James Arthur, and Florian Herzig, as well as many student talks, and lecture notes by Ivan Loseu. These notes are simply collected marginalia for those references. Any errors introduced, especially of viewpoint, are the author's own. The author of these notes would be grateful for their communication to [email protected]. Contents 1 Root systems 1 1.1 Root space decomposition . .2 1.2 Roots, coroots, and reflections . .3 1.2.1 Abstract root systems . .7 1.2.2 Coroots, fundamental weights and Cartan matrices . .7 1.2.3 Roots vs weights . .9 1.2.4 Roots at the group level . .9 1.3 The Weyl group . 10 1.3.1 Weyl Chambers . 11 1.3.2 The Weyl group as a subquotient for compact Lie groups . 13 1.3.3 The Weyl group as a subquotient for noncompact Lie groups . 13 2 Root data 16 2.1 Root data . 16 2.2 The Langlands dual group . 17 2.3 The flag variety . 18 2.3.1 Bruhat decomposition revisited . 18 2.3.2 Schubert cells . 19 3 Adelic groups 20 3.1 Weyl sets . 20 References 21 1 Root systems The following examples are taken mostly from [8] where they are stated without most of the calculations.
    [Show full text]
  • From Root Systems to Dynkin Diagrams
    From root systems to Dynkin diagrams Heiko Dietrich Abstract. We describe root systems and their associated Dynkin diagrams; these notes follow closely the book of Erdman & Wildon (\Introduction to Lie algebras", 2006) and lecture notes of Willem de Graaf (Italy). We briefly describe how root systems arise from Lie algebras. 1. Root systems 1.1. Euclidean spaces. Let V be a finite dimensional Euclidean space, that is, a finite dimensional R-space with inner product ( ; ): V V R, which is bilinear, symmetric, and − − p× ! positive definite. The length of v V is v = (v; v); the angle α between two non-zero 2 jj jj v; w V is defined by cos α = (v;w) . 2 jjvjjjjwjj If v V is non-zero, then the hyperplane perpendicular to v is Hv = w V (w; v) = 0 . 2 f 2 j g The reflection in Hv is the linear map sv : V V which maps v to v and fixes every w Hv; ! − 2 recall that V = Hv Span (v), hence ⊕ R 2(w; v) sv : V V; w w v: ! 7! − (v; v) In the following, for v; w V we write 2 2(w; v) w; v = ; h i (v; v) note that ; is linear only in the first component. An important observation is that each h− −i su leaves the inner product invariant, that is, if v; w V , then (su(v); su(w)) = (v; w). 2 We use this notation throughout these notes. 1.2. Abstract root systems. Definition 1.1. A finite subset Φ V is a root system for V if the following hold: ⊆ (R1)0 = Φ and Span (Φ) = V , 2 R (R2) if α Φ and λα Φ with λ R, then λ 1 , 2 2 2 2 {± g (R3) sα(β) Φ for all α; β Φ, 2 2 (R4) α; β Z for all α; β Φ.
    [Show full text]
  • The Waldspurger Transform of Permutations and Alternating Sign Matrices
    Séminaire Lotharingien de Combinatoire 78B (2017) Proceedings of the 29th Conference on Formal Power Article #41, 12 pp. Series and Algebraic Combinatorics (London) The Waldspurger Transform of Permutations and Alternating Sign Matrices Drew Armstrong∗ and James McKeown Department of Mathematics, University of Miami, Coral Gables, FL Abstract. In 2005 J. L. Waldspurger proved the following theorem: Given a finite real reflection group G, the closed positive root cone is tiled by the images of the open weight cone under the action of the linear transformations 1 g. Shortly after this − E. Meinrenken extended the result to affine Weyl groups and then P. V. Bibikov and V. S. Zhgoon gave a uniform proof for a discrete reflection group acting on a simply- connected space of constant curvature. In this paper we show that the Waldspurger and Meinrenken theorems of type A give an interesting new perspective on the combinatorics of the symmetric group. In particular, for each permutation matrix g S we define a non-negative integer 2 n matrix WT(g), called the Waldspurger transform of g. The definition of the matrix WT(g) is purely combinatorial but it turns out that its columns are the images of the fundamental weights under 1 g, expressed in simple root coordinates. The possible − columns of WT(g) (which we call UM vectors) biject to many interesting structures including: unimodal Motzkin paths, abelian ideals in the Lie algebra sln(C), Young diagrams with maximum hook length n, and integer points inside a certain polytope. We show that the sum of the entries of WT(g) is half the entropy of the corresponding permutation g, which is known to equal the rank of g in the MacNeille completion of the Bruhat order.
    [Show full text]
  • Full Text (PDF Format)
    Pure and Applied Mathematics Quarterly Volume 13, Number 2, 291–335, 2017 Self-dual Grassmannian, Wronski map, and representations of glN , sp2r, so2r+1 Kang Lu, E. Mukhin, and A. Varchenko Dedicated to Yuri Ivanovich Manin on the occasion of his 80th birthday Abstract: We define a glN -stratification of the Grassmannian of N planes Gr(N,d). The glN -stratification consists of strata ΩΛ labeled by unordered sets Λ =(λ(1),...,λ(n)) of nonzero parti- tions with at most N parts, satisfying a condition depending on ⊗n slN d,andsuchthat( i=1Vλ(i) ) = 0. Here Vλ(i) is the irreducible (i) glN -module with highest weight λ . We show that the closure of (1) (m) astratumΩΛ is the union of the strata ΩΞ, Ξ =(ξ ,...,ξ ), { } { } such that there is a partition I1,...,Im of 1, 2,...,n with (i) ⊗ ∈ (j) HomglN (Vξ , j Ii Vλ =0fori =1,...,m.TheglN -stratification of the Grassmannian agrees with the Wronski map. We introduce and study the new object: the self-dual Grass- mannian sGr(N,d) ⊂ Gr(N,d). Our main result is a similar gN - stratification of the self-dual Grassmannian governed by represen- tation theory of the Lie algebra g2r+1 := sp2r if N =2r +1 andof the Lie algebra g2r := so2r+1 if N =2r. 1. Introduction The Grassmannian Gr(N,d)ofN-dimensional subspaces of the complex d- dimensional vector space has the standard stratification by Schubert cells Ωλ labeled by partitions λ =(d − N λ1 ... λN 0). A Schubert cycle is the closure of a cell Ωλ.ItiswellknownthattheSchubertcycleΩλ is the union of the cells Ωξ such that the Young diagram of λ is inscribed into the Young diagram of ξ.
    [Show full text]
  • Quivers with Relations for Symmetrizable Cartan Matrices and Algebraic Lie Theory
    P. I. C. M. – 2018 Rio de Janeiro, Vol. 2 (117–142) QUIVERS WITH RELATIONS FOR SYMMETRIZABLE CARTAN MATRICES AND ALGEBRAIC LIE THEORY C G Abstract We give an overview of our effort to introduce (dual) semicanonical bases in the setting of symmetrizable Cartan matrices. 1 Introduction One of the original motivations of Fomin and Zelevinsky for introducing cluster algebras was “to understand, in a concrete and combinatorial way, G. Lusztig’s theory of total pos- itivity and canonical bases” Fomin [2010]. This raised the question of finding a cluster algebra structure on the coordinate ring of a unipotent cell, and to study its relation with Lusztig’s bases. In a series of works culminating with Geiß, Leclerc, and Schröer [2011] and Geiß, Leclerc, and Schröer [2012], we showed that the coordinate ring of a unipotent cell of a symmetric Kac-Moody group has indeed a cluster algebra structure, whose cluster monomials belong to the dual of Lusztig’s semicanonical basis of the enveloping algebra of the attached Kac-Moody algebra. Since the semicanonical basis is built in terms of constructible functions on the complex varieties of nilpotent representations of the prepro- jective algebra of a quiver, it is not straightforward to extend those results to the setting of symmetrizable Cartan matrices, which appears more natural from the Lie theoretic point of view. The purpose of these notes is to give an overview of Geiß, Leclerc, and Schröer [2017a] - Geiß, Leclerc, and Schröer [2017d], where we are trying to make progress into this direction. The starting point of our project was Hernandez and Leclerc [2016], where they ob- served that certain quivers with potential allowed to encode the q-characters of the Kirillov- Reshetikhin modules of the quantum loop algebra Uq(Lg), where g is a complex simple Lie algebra of arbitrary Dynkin type.
    [Show full text]
  • Cartan Matrices and Brauer's K(B)-Conjecture V
    Cartan matrices and Brauer’s k(B)-Conjecture V Cesare Giulio Ardito∗ and Benjamin Sambale† November 26, 2019 We prove Brauer’s k(B)-Conjecture for the 3-blocks with abelian defect groups of rank at most 5 and for all 3-blocks of defect at most 4. For this purpose we develop a computer algorithm to construct isotypies based on a method of Usami and Puig. This leads further to some previously unknown perfect isometries for the 5-blocks of defect 2. We also investigate basic sets which are compatible under the action of the inertial group. Keywords: number of characters, Brauer’s Conjecture, Usami–Puig method, perfect isometries AMS classification: 20C15, 20C20 1 Introduction This work continues a series of articles the last one being [27]. Before stating the main theorems we briefly explain the strategy behind all papers in this series. Let B be a block of a finite group G with respect to an algebraically closed field F of characteristic p > 0. Let D be a defect group B, and let k(B) := |Irr(B)| and l(B) := |IBr(B)|. To prove Brauer’s k(B)-Conjecture, that k(B) ≤ |D|, we investigate Brauer correspondents of B in local subgroups. More precisely, let z ∈ Z(D) and let bz be a Brauer correspondent of B in CG(z). If we can determine t the Cartan matrix Cz of bz up to basic sets (i. e. up to transformations Cz → SCzS where S ∈ GL(l(bz), Z)), then Brauer’s Conjecture usually follows from [26, Theorem 4.2] or from the much stronger result [31, Theorem A].
    [Show full text]
  • Quantum Spin Chains from Onsager Algebras and Reflection $ K $-Matrices
    QUANTUM SPIN CHAINS FROM ONSAGER ALGEBRAS AND REFLECTION K-MATRICES ATSUO KUNIBA AND VINCENT PASQUIER Abstract (1) (2) (1) We present a representation of the generalized p-Onsager algebras Op(An−1), Op(Dn+1), Op(Bn ), (1) (1) Op(B˜n ) and Op(Dn ) in which the generators are expressed as local Hamiltonians of XXZ type spin chains with various boundary terms reflecting the Dynkin diagrams. Their symmetry is described by the reflection K matrices which are obtained recently by a q-boson matrix product construction related to the 3D integrability and characterized by Onsager coideals of quantum affine algebras. The spectral decomposition of the K matrices with respect to the classical part of the Onsager algebra is described conjecturally. We also include a proof of a certain invariance property of boundary vectors in the q-boson Fock space playing a key role in the matrix product construction. 1. Introduction (1) The generalized p-Onsager algebra Op(An−1) is generated by b1,..., bn with the relations bibj − bj bi = 0 (aij = 0), 2 2 −2 2 (1) bi bj − (p + p )bibj bi + bj bi = bj (aij = −1), where we assume n ≥ 3 and the parameter p is generic. The data (aij )i,j∈Zn is the Cartan matrix of (1) the affine Lie algebra An−1 [15]. The above relation with p = 1 goes back to [29, eqs.(11),(12)]. In what follows, the algebra Op(g) introduced for any affine Lie algebra g [3] will simply be called an Onsager algebra for short. We refer to [28, Rem.
    [Show full text]