NOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules
|
|
- Patrick Johns
- 5 years ago
- Views:
Transcription
1 NOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules EVAN WILSON Quantum groups Consder the Le algebra sl(n), whch s the Le algebra over C of n n trace matrces together wth the commutator bracket: [A, B] = AB BA It s easy to verfy that ths s generated by the elements e := E,+, f := E +,, h := E, E +,+, =,, n where E,j s the matrx wth n the th row and jth column and everywhere else and satsfes the followng relatons: () [h, h j ] =,, j =,,, n, () [e, f j ] = δ j h,, j =,,, n, (3) [h, e j ] = a j e j,, j =,,, n (4) [h, f j ] = a j f j,, j =,,, n (5) (ad e ) a j (e j ) =, (ad f ) a j (f j ) =, for j, where A = (a j ) n,j= s the matrx: and ad x (y) := [x, y] s the adjont operator In fact, sl(n) s somorphc to the Le algebra generated by e, f, h, =,,, n subject to relatons ()-(5) (see for example [H]) Ths s our motvatng example for the noton of Kac-Moody algebras, whch we defne next A standard reference s [K] Every Kac-Moody algebra s determned by a generalzed Cartan matrx (GCM), whch s a matrx A = (a j ),j I, a j Z, where I s a fnte ndex set, satsfyng the followng condtons: () a =, () a j f j, (3) a j < f and only f a j < Date: June,
2 A GCM s called symmetrzable f there exsts a dagonal matrx D = dag(s ) I such that s Z >, I and DA s a symmetrc matrx We wll consder only symmetrzable GCMs It may happen that A s sngular Fx a subset S of I of cardnalty I rank(a) Defnton Let A = (a j ),j I be a (symmetrzable) GCM The Kac-Moody algebra g(a) s the Le algebra over C generated by the elements e, f, I, and d j, j S satsfyng the followng relatons: () [h, h j ] =,, j I, [h, d j ] =, I, j S, [d, d j ] =,, j S () [e, f j ] = δ j h,, j I (3) [h, e j ] = a j e j,, j I, [d, e j ] = δ j e j, I, j S (4) [h, f j ] = a j f j,, j I, [d, f j ] = δ j f j, I, j S (5) (ad e ) a j (e j ) =, (ad f ) a j (f j ) =, for j I, Where there s no confuson about A, we wrte g for g(a) We remark that the Kac-Moody algebra g(a) s fnte dmensonal f and only f A s a postve defnte matrx In ths case, t s a fnte dmensonal semsmple Le algebra (see [H]) We recall also the noton of the unversal envelopng algebra of a Le algebra g whch s the unque assocatve algebra U(g) equpped wth a map ι : g U(g) such that ι([x, y]) = ι(x)ι(y) ι(y)ι(x) whch satsfes the followng unversal property: f A s any assocatve algebra and κ : g A s a map satsfyng κ([x, y]) = κ(x)κ(y) κ(y)κ(x) then there exsts a unque homomorphsm of algebras φ : U(g) A such that φ ι = κ, alternately, such that the followng dagram commutes: U(g) ι g κ Recall also (by the Poncaré-Brkhoff-Wtt theorem) that g embeds va ι somorphcally n U(g), whch can be realzed as a sutable quotent of the tensor algebra of g In order to quantze the unversal envelopng algebra of a Kac-Moody algebra, t s helpful to gve an explct realzaton n terms of generators and relatons: Proposton (see [HK]) Let g be a Kac-Moody algebra wth GCM A Then U(g) s somorphc to the assocatve algebra over C wth generated by e, f, h, I, d j, j S satsfyng relatons ()-(4) of defnton (wth Le bracket replaced by commutator bracket) and the followng: (5) a j k= ( )k ( aj k (6) a j k= ( )k ( aj k ) A!φ e a j k e j e k = for j, ) f a j k f j f k = for j
3 Now we are ready to gve the defnton of a quantum group Let C(q) be the feld of ratonal functons n the ndetermnate q and defne [m] q = qm q m C(q) to be q q the q nteger m [ Defne ] the q-factoral nductvely by [] q! =, [m] q! = [m] q [m] q! m [m] Fnally, defne = q! n [n] q![m n] q! to be the q bnomal coeffcent Notce that q the lmt as q of each of these functons s m, m! and ( m n) respectvely Then we make the followng defnton: Defnton Let g be a Kac-Moody algebra wth GCM A The quantum group or quantzed unversal envelopng algebra U q (g) s the assocatve algebra over C(q) wth generated by the elements e, f, K, K I and D j, D j, j S wth the followng defnng relatons: () K K = K K = D j D j = D j D j =, I, j S () [K, K j ] =,, j I, [K, D j ] =, I, j S, [D, D j ] =,, j S, (3) K e j K (4) K f j K K (5) [e, f j ] = δ K j q q (6) a j k= ( )k [ aj k (7) a j k= ( )k [ aj k Where q = q s = q a j e j,, j I, D e j D = q a j f j,, j I, D f j D for, j I, ] ] q e aj k = q δ j e j, I, j S = q δ j e j, I, j S e j e k = for j, f aj k f j f k = for j q It s possble to vew U(g) as the formal lmt as q of U q (g), hence the termnology (see [HK]) There s also an analogous theory of U q (g)-modules wth parallels to the theory of U(g)-modules (equvalently representatons of g) We outlne the man ponts next Let λ P := {λ h λ(h ), λ(d j ) Z, I, j S}, where h = span C {h, I, d j, j S} s the Cartan subalgebra of g Then there exsts a U q (g)-module V q (λ) whch s an rreducble hghest weght module wth hghest weght λ e, there exsts v λ V q (λ) such that V q (λ) = U q (g)v λ and () e v λ = {}, I () K v λ = q λ(h ) v λ, I, D v λ = q λ(d j) v λ, j S For µ P we defne the set V q (λ) µ := {v V q K v = q µ(h ) v, I, D j v = q µ(d j), j S} to be the weght space of V q (λ) of weght µ One of the man results s the followng, due to Lusztg: Theorem Let λ P + := {λ P λ(h ), λ(d ), I, j S} Then dm C(q) (V q (Λ) µ ) = dm C (V (λ) µ ), µ P where V (λ) s the rreducble hghest-weght U(g)-module wth hghest weght λ 3
4 Therefore, the characters of ntegrable U q (g)-modules are the same as the correspondng U(g)-modules Crystal Bases Crystal bases ([Ka],[Lu]) are essentally bases of U q (g) modules n the formal lmt as q Before we defne crystal bases, we need the noton of the Kashwara operators ẽ, f, I These are certan modfed root vectors for the quantum group U q (g) But frst, we need a prelmnary result: Lemma ([Ka]) Let λ P + and V q (λ) be the hghest weght U q (g)-module of hghest weght λ For each I, every weght vector u V q (λ) µ (µ P ) may be wrtten n the form u = u + f u + + f (N) u N, where N Z and u k V q (λ) µ+kα ker e for all k =,,, N, α P s defned by α (h j ) = a j,, j I, α (d j ) = δ,j, I, j S, and f (n) := f n [n] q! Here, each u k n the expresson s unquely determned by u and u k only f µ(h ) + k We now have the followng: Defnton 3 Let λ P + The Kashwara operators ẽ and f ( I) on V q (λ) are defned by N N ẽ u = f (k ) u k, f u = f (k+) u k k= We also need an auxlary defnton of a crystal lattce, whch wll make t possble to formally take the lmt as q Let A := {f C(q) f s regular at } Defnton 4 Let λ P + and V q (λ) be the hghest weght U q (g)-module of hghest weght λ A free A -submodule L of V q (λ) s called a crystal lattce f () L generates V q (λ) as a vector space over C(q), () L = µ P L µ, where L µ = L V q (λ) µ, (3) ẽ L L, f L L for all I Fnally, we have the followng: Defnton 5 A crystal base of the rreducble hghest weght U q (g)-module V q (λ), λ P + s a par (L, B) such that () L s a crystal lattce of V q (λ), () B s a C-bass of L/qL, (3) B = µ P B µ, where B µ = B (L µ /ql µ ), (4) ẽ B B {}, f B B {} for all I, (5) for any b, b B and I, we have f b = b f and only f b = ẽ b 4 k=
5 The set B s called the crystal or crystal graph of (L, B) Ths s because B can be regarded as a colored, orented graph by defnng b b f b = b Example: Let V q (m), m be the hghest weght U q (sl())-module span C(q) {v, v,, v m } wth the followng actons of the generators: K v j = q m j v j f v j = [j + ] q v j+ e v j = [m j + ] q v j where v j s understood to be f j < or j > m Then L = span A {v j j =,,, m} s a crystal lattce of V q (m) and (L, B) s a crystal base, where B = { v, v,, v m } (we wrte v for v + ql) The acton of the Kashwara operators on B s ẽ( v j ) = v j, f( v j ) = v j+, agan v j s understood to be f j < or j > m Therefore the crystal graph s: v v v v m In ths way, theory of crystal bases enables us to study combnatoral skeleton of U q (g)-modules In partcular, the crystal base of a U q (g)-module satsfes the condtons for an (abstract) crystal Defnton 6 A crystal assocated wth U q (g) s a set B together wth maps wt : B P, ẽ, f : B B {}, and ε, ϕ : B Z { }, for I satsfyng the followng propertes: () ϕ (b) = ε (b) + h, wt(b) for all I, () wt(ẽ b) = wt(b) + α f ẽ b B, (3) wt( f b) = wt(b) α f f b B, (4) ε (ẽ b) = ε (b), ϕ (ẽ b) = ϕ (b) + f ẽ b B, (5) ε ( f b) = ε (b) +, ϕ ( f b) = ϕ (b) f f b B, (6) f b = b f and only f b = ẽ b for b, b B, I, (7) f ϕ (b) = for b B, then ẽ b = f b = Then one may easly prove the followng: Proposton ([Ka]) Let (L, B) be the crystal bass of a U q (g)-module V q (λ) Then B s a crystal f we defne n addton to ẽ, f : wt(b) = µ f b B µ, ε (b) = max{k ẽ k (b) }, ϕ (b) = max{k f k (b) } 5
6 + + + Fgure Color pattern for an extended Young dagram of charge All labels are reduced modulo n 3 Realzaton of ŝl(n)-modules We probably should say combnatoral realzaton of U q (ŝl(n))-modules, but n lght of Theorem the termnology s justfed The Kac-Moody algebra ŝl(n) has GCM A = (a,j ),j I where I = {,,, n} and The Kac-Moody algebra ŝl(n) s the nfnte-dmensonal analogue of sl(n), hence the termnology Let I := {,, n } denote the ndex set for ŝl(n) An extended Young dagram s a collecton of I-colored boxes arranged n rows and columns, such that the number of boxes n each row s greater than or equal to the number of boxes n the row below To every extended Young dagram we assocate a charge, I In each box, we put a color j I gven by j a b + (mod n) where a s the number of columns from the rght and b s the number of rows from the top (see fgure ) For example, s an extended Young dagram of charge for n = 3 The null dagram wth no boxes denoted by s also consdered as an extended Young dagram A column n an extended Young dagram s -removable f the bottom box contans and can be removed leavng another extended Young dagram A column s -admssble f a box contanng could be added to gve another extended Young dagram An extended Young dagram s called n-regular f there are at most (n ) rows wth the same number of boxes Let Y(), I denote the collecton of all n-regular extended Young dagrams of charge j Then Y() can be gven the structure of a crystal wth the followng actons of ẽ j, fj, ε j, ϕ j, and wt( ) For each j I and b Y() we defne the j-sgnature of b to be the strng of + s, 6
7 and s n whch each j-admssble column receves a + and each j-removable column receves a readng from rght to left The reduced j-sgnature s the result of recursvely cancelng all + pars n the -sgnature leavng a strng of the form (,,, +, +) The Kashwara operator ẽ j acts on b by removng the box correspondng to the rghtmost, or maps b to f there are no mnus sgns Smlarly, fj adds a box to the bottom of the column correspondng to the leftmost +, or maps b to f there are no plus sgns The functon ϕ j (b) s the number of + sgns n the reduced j-sgnature of b and ε j (b) s the number of sgns We defne wt: Y() P by b Λ n j= # {j-colored boxes n b}α j where Λ P s the th fundamental weght gven by Λ (h j ) = δ j, Λ (d) = Then we have the followng: Theorem (MM) Let B(Λ ) be the crystal graph of the U q (ŝl(n))-module V q (Λ ) Then Y() = B(Λ ) as crystals We gve the top part of Y() for ŝl(n) below: References [H] Humphreys, James Introducton to Le Algebras and Representaton Theory, Sprnger- Verlag 97 [HK] Hong, J Kang, S-J Introducton to Quantum Groups and Crystal Bases, Amercan Mathematcal Socety [K] Kac, V Infnte Dmensonal Le Algebras, 3 rd edton, Cambrdge Unversty Press 99 [Ka] Kashwara, M Crystalzng the q-analogue of unversal envelopng algebras, Commun Math Phys 33 (99),
8 [Lu] Lusztg, G Canoncal bases arsng from quantzed envelopng algebras, J Amer Math Soc 3 (99), [MM] Msra, K C, Mwa, T Crystal bases for the basc representaton of U q (ŝl(n)), Commun Math Phys 34 (99),
Symmetry, Integrability and Geometry: Methods and Applications
Symmetry, Integrablty and Geometry: Methods and Applcatons Zero Acton on Perfect Crystals for U q G 1) 2 Kalash C. MISRA, Mahathr MOHAMAD and Masato OKADO Department of Mathematcs, North Carolna State
More informationLecture 14 - Isomorphism Theorem of Harish-Chandra
Lecture 14 - Isomorphsm Theorem of Harsh-Chandra March 11, 2013 Ths lectures shall be focused on central characters and what they can tell us about the unversal envelopng algebra of a semsmple Le algebra.
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationarxiv: v2 [math.rt] 12 Oct 2017
YOUNG WALL MODEL FOR A (2) 2 -TYPE ADJOINT CRYSTALS arxv:79232v2 [mathrt] 2 Oct 27 SEOK-JIN KANG Abstract We construct a Young wall model for hgher level A (2) 2 - type adjont crystals The Young walls
More informationCrystal monoids. Robert Gray (joint work with A. J. Cain and A. Malheiro) AAA90: 90th Workshop on General Algebra Novi Sad, 5th June 2015
Crystal monods Robert Gray (jont work wth A. J. Can and A. Malhero) AAA90: 90th Workshop on General Algebra Nov Sad, 5th June 05 Plactc monod va Knuth relatons Defnton Let A n be the fnte ordered alphabet
More informationGELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n
GELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n KANG LU FINITE DIMENSIONAL REPRESENTATIONS OF gl n Let e j,, j =,, n denote the standard bass of the general lnear Le algebra gl n over the feld of
More informationQuantum groups and quantized q-difference birational Weyl group actions
q Weyl Quantum groups and quantzed q-dfference bratonal Weyl group actons ( ) Gen KUROKI (Tohoku Unversty, Japan) 24 September 2010 2010 2010 9 22 25 (24 September 2010, Verson 1.7) Quantum bratonal Weyl
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationThe Pseudoblocks of Endomorphism Algebras
Internatonal Mathematcal Forum, 4, 009, no. 48, 363-368 The Pseudoblocks of Endomorphsm Algebras Ahmed A. Khammash Department of Mathematcal Scences, Umm Al-Qura Unversty P.O.Box 796, Makkah, Saud Araba
More informationWeyl group. Chapter locally finite and nilpotent elements
Chapter 4 Weyl group In ths chapter, we defne and study the Weyl group of a Kac-Moody Le algebra and descrbe the smlartes and dfferences wth the classcal stuaton Here because the Le algebra g(a) s not
More informationRepresentation theory and quantum mechanics tutorial Representation theory and quantum conservation laws
Representaton theory and quantum mechancs tutoral Representaton theory and quantum conservaton laws Justn Campbell August 1, 2017 1 Generaltes on representaton theory 1.1 Let G GL m (R) be a real algebrac
More informationHOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS. 1. Recollections and the problem
HOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS CORRADO DE CONCINI Abstract. In ths lecture I shall report on some jont work wth Proces, Reshetkhn and Rosso [1]. 1. Recollectons and the problem
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introducton to Cluster Algebra Ivan C.H. Ip Updated: Ma 7, 2017 3 Defnton and Examples of Cluster algebra 3.1 Quvers We frst revst the noton of a quver. Defnton 3.1. A quver s a fnte orented
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationA CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
More informationA how to guide to second quantization method.
Phys. 67 (Graduate Quantum Mechancs Sprng 2009 Prof. Pu K. Lam. Verson 3 (4/3/2009 A how to gude to second quantzaton method. -> Second quantzaton s a mathematcal notaton desgned to handle dentcal partcle
More informationOn the partial orthogonality of faithful characters. Gregory M. Constantine 1,2
On the partal orthogonalty of fathful characters by Gregory M. Constantne 1,2 ABSTRACT For conjugacy classes C and D we obtan an expresson for χ(c) χ(d), where the sum extends only over the fathful rreducble
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationCategorification of quantum groups
Categorfcaton of quantum groups Aaron Lauda Jont wth Mkhal Khovanov Columba Unversty June 29th, 2009 Avalable at http://www.math.columba.edu/ lauda/talks/ Aaron Lauda Jont wth Mkhal Khovanov (Columba Categorfcaton
More information12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
More informationRestricted Lie Algebras. Jared Warner
Restrcted Le Algebras Jared Warner 1. Defntons and Examples Defnton 1.1. Let k be a feld of characterstc p. A restrcted Le algebra (g, ( ) [p] ) s a Le algebra g over k and a map ( ) [p] : g g called
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More informationREGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction
REGULAR POSITIVE TERNARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. A postve defnte quadratc form f s sad to be regular f t globally represents all ntegers that are represented by the genus of f. In 997
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction
ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES TAKASHI ITOH AND MASARU NAGISA Abstract We descrbe the Haagerup tensor product l h l and the extended Haagerup tensor product l eh l n terms of
More informationDISCRIMINANTS AND RAMIFIED PRIMES. 1. Introduction A prime number p is said to be ramified in a number field K if the prime ideal factorization
DISCRIMINANTS AND RAMIFIED PRIMES KEITH CONRAD 1. Introducton A prme number p s sad to be ramfed n a number feld K f the prme deal factorzaton (1.1) (p) = po K = p e 1 1 peg g has some e greater than 1.
More informationBOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS
BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all
More informationRoot Structure of a Special Generalized Kac- Moody Algebra
Mathematcal Computaton September 04, Volume, Issue, PP8-88 Root Structu of a Specal Generalzed Kac- Moody Algebra Xnfang Song, #, Xaox Wang Bass Department, Bejng Informaton Technology College, Bejng,
More informationBallot Paths Avoiding Depth Zero Patterns
Ballot Paths Avodng Depth Zero Patterns Henrch Nederhausen and Shaun Sullvan Florda Atlantc Unversty, Boca Raton, Florda nederha@fauedu, ssull21@fauedu 1 Introducton In a paper by Sapounaks, Tasoulas,
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationMTH 819 Algebra I S13. Homework 1/ Solutions. 1 if p n b and p n+1 b 0 otherwise ) = 0 if p q or n m. W i = rw i
MTH 819 Algebra I S13 Homework 1/ Solutons Defnton A. Let R be PID and V a untary R-module. Let p be a prme n R and n Z +. Then d p,n (V) = dm R/Rp p n 1 Ann V (p n )/p n Ann V (p n+1 ) Note here that
More informationGEOMETRIC DESCRIPTION OF C-VECTORS AND REAL LÖSUNGEN. 1. Introduction
GEOMETRIC DESCRIPTION OF C-VECTORS AND REAL LÖSUNGEN KYU-HWAN LEE AND KYUNGYONG LEE Abstract. We propose a combnatoral/geometrc model and formulate several conectures to descrbe the c-matrces of an arbtrary
More informationAn Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
More informationOn crystal bases and Enright s completions
Journal of Algebra 312 (2007) 111 131 www.elsever.com/locate/jalgebra On crystal bases and Enrght s completons Djana Jakelć Department of Mathematcs, Unversty of Vrgna, Charlottesvlle, VA 22904, USA Receved
More informationOn the set of natural numbers
On the set of natural numbers by Jalton C. Ferrera Copyrght 2001 Jalton da Costa Ferrera Introducton The natural numbers have been understood as fnte numbers, ths wor tres to show that the natural numbers
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationCOMBINATORIAL CONSTRUCTIONS OF WEIGHT BASES: THE GELFAND-TSETLIN BASIS. 1. Introduction
COMBINATORIAL CONSTRUCTIONS OF WEIGHT BASES: THE GELFAND-TSETLIN BASIS PATRICIA HERSH AND CRISTIAN LENART Abstract. Ths work s part of a project on weght bases for the rreducble representatons of semsmple
More informationPerron Vectors of an Irreducible Nonnegative Interval Matrix
Perron Vectors of an Irreducble Nonnegatve Interval Matrx Jr Rohn August 4 2005 Abstract As s well known an rreducble nonnegatve matrx possesses a unquely determned Perron vector. As the man result of
More informationA p-adic PERRON-FROBENIUS THEOREM
A p-adic PERRON-FROBENIUS THEOREM ROBERT COSTA AND PATRICK DYNES Advsor: Clayton Petsche Oregon State Unversty Abstract We prove a result for square matrces over the p-adc numbers akn to the Perron-Frobenus
More informationMath 101 Fall 2013 Homework #7 Due Friday, November 15, 2013
Math 101 Fall 2013 Homework #7 Due Frday, November 15, 2013 1. Let R be a untal subrng of E. Show that E R R s somorphc to E. ANS: The map (s,r) sr s a R-balanced map of E R to E. Hence there s a group
More informationPolynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
More informationOn a Certain Subalgebra of U q (ŝl 2) Related to the Degenerate q-onsager Algebra
Symmetry, Integrablty and Geometry: Methods and Applcatons SIGMA 11 (2015), 007, 13 pages On a Certan Subalgebra of U q (ŝl 2) Related to the Degenerate q-onsager Algebra Tomoya HATTAI and Tatsuro ITO
More information8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationLinear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationAppendix B. Criterion of Riemann-Stieltjes Integrability
Appendx B. Crteron of Remann-Steltes Integrablty Ths note s complementary to [R, Ch. 6] and [T, Sec. 3.5]. The man result of ths note s Theorem B.3, whch provdes the necessary and suffcent condtons for
More informationREAL ANALYSIS I HOMEWORK 1
REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α
More informationModulo Magic Labeling in Digraphs
Gen. Math. Notes, Vol. 7, No., August, 03, pp. 5- ISSN 9-784; Copyrght ICSRS Publcaton, 03 www.-csrs.org Avalable free onlne at http://www.geman.n Modulo Magc Labelng n Dgraphs L. Shobana and J. Baskar
More informationLinear Algebra and its Applications
Lnear Algebra and ts Applcatons 4 (00) 5 56 Contents lsts avalable at ScenceDrect Lnear Algebra and ts Applcatons journal homepage: wwwelsevercom/locate/laa Notes on Hlbert and Cauchy matrces Mroslav Fedler
More informationSemilattices of Rectangular Bands and Groups of Order Two.
1 Semlattces of Rectangular Bs Groups of Order Two R A R Monzo Abstract We prove that a semgroup S s a semlattce of rectangular bs groups of order two f only f t satsfes the dentty y y, y y, y S 1 Introducton
More informationAli Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen
Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN 5493644 00 Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout
More informationA categorification of quantum sl n
A categorfcaton of quantum sl n Aaron Lauda Jont wth Mkhal Khovanov Columba Unversty January 20th, 2009 Avalable at http://www.math.columba.edu/ lauda/talks/kyoto Aaron Lauda Jont wth Mkhal Khovanov (Columba
More informationUNIQUENESS OF REPRESENTATION THEORETIC HYPERBOLIC KAC MOODY GROUPS OVER Z. 1. Introduction
UNIQUENESS OF REPRESENTATION THEORETIC HYPERBOLIC KAC MOODY GROUPS OVER Z LISA CARBONE AND FRANK WAGNER Abstract For a smply laced and hyperbolc Kac Moody group G = G(R) over a commutatve rng R wth 1,
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationOn Finite Rank Perturbation of Diagonalizable Operators
Functonal Analyss, Approxmaton and Computaton 6 (1) (2014), 49 53 Publshed by Faculty of Scences and Mathematcs, Unversty of Nš, Serba Avalable at: http://wwwpmfnacrs/faac On Fnte Rank Perturbaton of Dagonalzable
More informationWeek 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
More informationarxiv: v2 [math.co] 14 Aug 2018
A LOCAL CHARACTERIZATION OF CRYSTALS FOR THE QUANTUM QUEER SUPERALGEBRA SAMI ASSAF AND EZGI KANTARCI OGUZ arxv:8.67v [math.co] 4 Aug 8 Abstract. We defne operators on semstandard shfted tableaux and use
More informationSelf-complementing permutations of k-uniform hypergraphs
Dscrete Mathematcs Theoretcal Computer Scence DMTCS vol. 11:1, 2009, 117 124 Self-complementng permutatons of k-unform hypergraphs Artur Szymańsk A. Paweł Wojda Faculty of Appled Mathematcs, AGH Unversty
More informationOn the smoothness and the totally strong properties for nearness frames
Int. Sc. Technol. J. Namba Vol 1, Issue 1, 2013 On the smoothness and the totally strong propertes for nearness frames Martn. M. Mugoch Department of Mathematcs, Unversty of Namba 340 Mandume Ndemufayo
More informationINVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS
INVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS HIROAKI ISHIDA Abstract We show that any (C ) n -nvarant stably complex structure on a topologcal torc manfold of dmenson 2n s ntegrable
More informationCANONICAL BASES OF QUANTUM SCHUBERT CELLS AND THEIR SYMMETRIES
CANONICAL BASES OF QUANTUM SCHUBERT CELLS AND THEIR SYMMETRIES ARKADY BERENSTEIN AND JACOB GREENSTEIN Abstract. The goal of ths work s to provde an elementary constructon of the canoncal bass B(w) n each
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationP.P. PROPERTIES OF GROUP RINGS. Libo Zan and Jianlong Chen
Internatonal Electronc Journal of Algebra Volume 3 2008 7-24 P.P. PROPERTIES OF GROUP RINGS Lbo Zan and Janlong Chen Receved: May 2007; Revsed: 24 October 2007 Communcated by John Clark Abstract. A rng
More informationTANGENT DIRAC STRUCTURES OF HIGHER ORDER. P. M. Kouotchop Wamba, A. Ntyam, and J. Wouafo Kamga
ARCHIVUM MATHEMATICUM BRNO) Tomus 47 2011), 17 22 TANGENT DIRAC STRUCTURES OF HIGHER ORDER P. M. Kouotchop Wamba, A. Ntyam, and J. Wouafo Kamga Abstract. Let L be an almost Drac structure on a manfold
More informationGoogle PageRank with Stochastic Matrix
Google PageRank wth Stochastc Matrx Md. Sharq, Puranjt Sanyal, Samk Mtra (M.Sc. Applcatons of Mathematcs) Dscrete Tme Markov Chan Let S be a countable set (usually S s a subset of Z or Z d or R or R d
More informationREDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1].
REDUCTION MODULO p. IAN KIMING We wll prove the reducton modulo p theorem n the general form as gven by exercse 4.12, p. 143, of [1]. We consder an ellptc curve E defned over Q and gven by a Weerstraß
More informationChapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems
Numercal Analyss by Dr. Anta Pal Assstant Professor Department of Mathematcs Natonal Insttute of Technology Durgapur Durgapur-713209 emal: anta.bue@gmal.com 1 . Chapter 5 Soluton of System of Lnear Equatons
More informationLECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.
LECTURE V EDWIN SPARK 1. More on the Chnese Remander Theorem We begn by recallng ths theorem, proven n the preceedng lecture. Theorem 1.1 (Chnese Remander Theorem). Let R be a rng wth deals I 1, I 2,...,
More informationProblem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?
Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2
More informationSrednicki Chapter 34
Srednck Chapter 3 QFT Problems & Solutons A. George January 0, 203 Srednck 3.. Verfy that equaton 3.6 follows from equaton 3.. We take Λ = + δω: U + δω ψu + δω = + δωψ[ + δω] x Next we use equaton 3.3,
More informationSubset Topological Spaces and Kakutani s Theorem
MOD Natural Neutrosophc Subset Topologcal Spaces and Kakutan s Theorem W. B. Vasantha Kandasamy lanthenral K Florentn Smarandache 1 Copyrght 1 by EuropaNova ASBL and the Authors Ths book can be ordered
More informationThe Jacobsthal and Jacobsthal-Lucas Numbers via Square Roots of Matrices
Internatonal Mathematcal Forum, Vol 11, 2016, no 11, 513-520 HIKARI Ltd, wwwm-hkarcom http://dxdoorg/1012988/mf20166442 The Jacobsthal and Jacobsthal-Lucas Numbers va Square Roots of Matrces Saadet Arslan
More informationALGEBRA SCHEMES AND THEIR REPRESENTATIONS
ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category
More informationHomework Notes Week 7
Homework Notes Week 7 Math 4 Sprng 4 #4 (a Complete the proof n example 5 that s an nner product (the Frobenus nner product on M n n (F In the example propertes (a and (d have already been verfed so we
More informationPacific Journal of Mathematics
Pacfc Journal of Mathematcs IRREDUCIBLE REPRESENTATIONS FOR THE ABELIAN EXTENSION OF THE LIE ALGEBRA OF DIFFEOMORPHISMS OF TORI IN DIMENSIONS GREATER THAN CUIPO JIANG AND QIFEN JIANG Volume 23 No. May
More informationThe lower and upper bounds on Perron root of nonnegative irreducible matrices
Journal of Computatonal Appled Mathematcs 217 (2008) 259 267 wwwelsevercom/locate/cam The lower upper bounds on Perron root of nonnegatve rreducble matrces Guang-Xn Huang a,, Feng Yn b,keguo a a College
More informationJournal of Algebra 368 (2012) Contents lists available at SciVerse ScienceDirect. Journal of Algebra.
Journal of Algebra 368 (2012) 70 74 Contents lsts avalable at ScVerse ScenceDrect Journal of Algebra www.elsever.com/locate/jalgebra An algebro-geometrc realzaton of equvarant cohomology of some Sprnger
More informationALGEBRA SCHEMES AND THEIR REPRESENTATIONS
ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category
More information2 More examples with details
Physcs 129b Lecture 3 Caltech, 01/15/19 2 More examples wth detals 2.3 The permutaton group n = 4 S 4 contans 4! = 24 elements. One s the dentty e. Sx of them are exchange of two objects (, j) ( to j and
More informationA combinatorial problem associated with nonograms
A combnatoral problem assocated wth nonograms Jessca Benton Ron Snow Nolan Wallach March 21, 2005 1 Introducton. Ths work was motvated by a queston posed by the second named author to the frst named author
More informationRandom Walks on Digraphs
Random Walks on Dgraphs J. J. P. Veerman October 23, 27 Introducton Let V = {, n} be a vertex set and S a non-negatve row-stochastc matrx (.e. rows sum to ). V and S defne a dgraph G = G(V, S) and a drected
More informationLie Algebra Cohomology and the Borel-Weil-Bott Theorem. 1 Lie algebra cohomology and cohomology of G/T with coefficients in a line bundle
Le Algebra Cohomology and the Borel-Wel-Bott Theorem Math G4344, Sprng 2012 We have seen that rreducble fnte dmensonal representatons of a complex smple Le algebra g or correspondng compact Le group are
More informationSmarandache-Zero Divisors in Group Rings
Smarandache-Zero Dvsors n Group Rngs W.B. Vasantha and Moon K. Chetry Department of Mathematcs I.I.T Madras, Chenna The study of zero-dvsors n group rngs had become nterestng problem snce 1940 wth the
More informationLie conformal algebras and the variational complex
Le conformal algebras and the varatonal complex UMN Math Physcs Semnar February 10, 2014 Outlne Varatonal complex: a quck remnder Le conformal algebras and ther cohomology The varatonal complex as a LCA
More informationDIFFERENTIAL SCHEMES
DIFFERENTIAL SCHEMES RAYMOND T. HOOBLER Dedcated to the memory o Jerry Kovacc 1. schemes All rngs contan Q and are commutatve. We x a d erental rng A throughout ths secton. 1.1. The topologcal space. Let
More informationSUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION
talan journal of pure appled mathematcs n. 33 2014 (63 70) 63 SUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION M.R. Farhangdoost Department of Mathematcs College of Scences Shraz Unversty Shraz, 71457-44776
More information= = = (a) Use the MATLAB command rref to solve the system. (b) Let A be the coefficient matrix and B be the right-hand side of the system.
Chapter Matlab Exercses Chapter Matlab Exercses. Consder the lnear system of Example n Secton.. x x x y z y y z (a) Use the MATLAB command rref to solve the system. (b) Let A be the coeffcent matrx and
More informationPHYS 215C: Quantum Mechanics (Spring 2017) Problem Set 3 Solutions
PHYS 5C: Quantum Mechancs Sprng 07 Problem Set 3 Solutons Prof. Matthew Fsher Solutons prepared by: Chatanya Murthy and James Sully June 4, 07 Please let me know f you encounter any typos n the solutons.
More informationEXISTENCE OF KIRILLOV RESHETIKHIN CRYSTALS FOR NONEXCEPTIONAL TYPES
REPRESENTATION THEORY An Electronc Journal of the Amercan Mathematcal Socety Volume 12, Pages 186 27 (Aprl 14, 28) S 188-4165(8)329-4 EXISTENCE OF KIRILLOV RESHETIKHIN CRYSTALS FOR NONEXCEPTIONAL TYPES
More informationCOMPLEX NUMBERS AND QUADRATIC EQUATIONS
COMPLEX NUMBERS AND QUADRATIC EQUATIONS INTRODUCTION We know that x 0 for all x R e the square of a real number (whether postve, negatve or ero) s non-negatve Hence the equatons x, x, x + 7 0 etc are not
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
More informationHomework 1 Lie Algebras
Homework 1 Le Algebras Joshua Ruter February 9, 018 Proposton 0.1 Problem 1.7a). Let A be a K-algebra, wth char K. Then A s alternatve f and only f the folowng two lnear) denttes hold for all a, b, y A.
More information