KLR algebras and knot homology II
|
|
- Heather Hamilton
- 5 years ago
- Views:
Transcription
1 KLR algebras and knot homology II Ben Webster Unversty of Vrgna June 6, 013 Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
2 The case of sl So, remember, last tme I ntroduced an algebra T l attached to the sl representaton (C ) l. = + = 0 = = = + = = 0 Ben Webster (UVA) KLR algebras and knot homology II June 6, 013 / 5
3 Representatons One natural class of T l representatons s the projectves ( just fx sequence at the top, no relatons): P 0, = P 1,0, = Under the somorphsm K(T l -mod) (C ) l, we send [P a1,,a l ] F a l ([P a1,,a l 1 ] v + ) There are also standard modules S a1,,a l, the quotent of P a1,,a l by the relatons = 0 Under the somorphsm K(T l -mod) (C ) l, we send [S a1,,a l ] F a 1 v + F a l v + Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
4 Representatons Let s look agan at the structure of the case of T wth one black lne: S 1,0 P 0,1 S 0,1 P 1,0 = S 1,0 L The only module we can see n ths dagram klled by E s L. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
5 The case of sl The cup (up to shft) s assocated to derved tensor product wth the bmodule: Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
6 The case of sl The cup (up to shft) s assocated to derved tensor product wth the bmodule: Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
7 The case of sl The cup (up to shft) s assocated to derved tensor product wth the bmodule: Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
8 The case of sl The cup (up to shft) s assocated to derved tensor product wth the bmodule: Of course, we need to have some relatons: = 0 = 0 = 0 = = Ths s nsertng two new tensor factors, and puttng n the nvarant module for those two factors. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
9 The case of sl So, for a crcle, we get elements of the bmodule for each pcture: It s easy to check that we can smplfy so that the bubble s separate. But we have to thnk a bt harder than ths; the functor for a cup sn t exact! You need to use a projectve resoluton!
10 The case of sl So, for a crcle, we get elements of the bmodule for each pcture: It s easy to check that we can smplfy so that the bubble s separate. But we have to thnk a bt harder than ths; the functor for a cup sn t exact! You need to use a projectve resoluton!
11 The case of sl So, for a crcle, we get elements of the bmodule for each pcture: It s easy to check that we can smplfy so that the bubble s separate. But we have to thnk a bt harder than ths; the functor for a cup sn t exact! You need to use a projectve resoluton! Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
12 The case of sl We can evaluate compostons by notng that = = 0 = 0 So, we can see the relatons Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
13 The case of sl We can evaluate compostons by notng that = = 0 = 0 So, we can see the relatons Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
14 The case of sl We can evaluate compostons by notng that = = 0 = 0 So, we can see the relatons Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
15 The case of sl We can evaluate compostons by notng that = = 0 = 0 So, we can see the relatons = Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
16 The case of sl We can evaluate compostons by notng that = = 0 = 0 So, we can see the relatons Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
17 The case of sl We can evaluate compostons by notng that = = 0 = 0 So, we can see the relatons = Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
18 The acton of cobordsms Theorem (Chatav) There s an acton of the cobordsm -category on the categores D b (T n -mod). In fact, one can easly check that ths acton satsfes the Bar-Natan relatons (S,T,G,NC). Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
19 The acton of cobordsms Theorem (Chatav) There s an acton of the cobordsm -category on the categores D b (T n -mod). In fact, one can easly check that ths acton satsfes the Bar-Natan relatons (S,T,G,NC). Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
20 The acton of cobordsms Theorem (Chatav) There s an acton of the cobordsm -category on the categores D b (T n -mod). In fact, one can easly check that ths acton satsfes the Bar-Natan relatons (S,T,G,NC). Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
21 The acton of cobordsms Theorem (Chatav) There s an acton of the cobordsm -category on the categores D b (T n -mod). In fact, one can easly check that ths acton satsfes the Bar-Natan relatons (S,T,G,NC). Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
22 The acton of cobordsms Theorem (Chatav) There s an acton of the cobordsm -category on the categores D b (T n -mod). In fact, one can easly check that ths acton satsfes the Bar-Natan relatons (S,T,G,NC). Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
23 The acton of cobordsms Fun game: look at a constructon n BN world, transport t to modules over T l. Dror tells us that ( ) = Cone The cone of an surjectve map of bmodules over T l s ts kernel. The kernel s the set of dagrams where we can see a par of red lnes wth no black between them. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
24 The acton of cobordsms Fun game: look at a constructon n BN world, transport t to modules over T l. Dror tells us that ( ) = Cone The cone of an surjectve map of bmodules over T l s ts kernel. The kernel s the set of dagrams where we can see a par of red lnes wth no black between them. To remnd that we have to go around, snap the red strands together. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
25 Comparson to Khovanov homology These bmodules defne a functor D b (T l 1 -mod) D b (T l -mod) for every tangle connectng l 1 ponts to l ; I should say tangle projecton but we already know sotopy nvarance! Theorem The resultng knot nvarant s Khovanov homology. Note that we can make functoralty work as usual usng the acton of cobordsms. If you want to avod sgn problems, you need to use the Morrson-Walker dsorentaton scheme. ( = Cone ) ) ) Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
26 Jones-Wenzl projectors Cooper and Krushkal constructed a categorfed JW projector n Bar-Natan s category. The mage over T l s surprsngly easy to descrbe. w/ relatons a = b You can thnk of ths as realzng T (n 1,...,n l ) -mod as a quotent category of T n 1+ +n l -mod. Ths allows us to transport ther categorfcaton of colored Jones to our pcture. Actually, ths s a very specal case of the general constructon. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
27 Dagrams So, let s move on to the general case. Let T λ be the algebra generated by dagrams of red and black lnes; red lnes are labeled by weghts, black by smple roots. λ 1 j n deg = α j, α j 1 j j+1 λ l deg = α j, α j+1 1 j λ k n deg = α j, λ k Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
28 Relatons = + = a j + a j j j j = 0 j = j + a a+b=a j 1 j b =α (λ) λ λ λ = λ + a a+b=α (λ) 1 λ b = α (λ) = 0 λ λ Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
29 Dagrams Theorem (W.) The Grothendeck group of the category C(λ) := D(T λ -mod) s the tensor product V λ = V λ1 V λl ; the categorcal g-acton nduces the usual acton of g on V λ. So, I want to defne a 4-d extended TQFT that assgns C(λ) to a dsk, and Inv(C(λ)) to a sphere labeled wth λ 1,..., λ l. Now, we want to assgn functors to cobordsms wth Wlson lnes (.e. a tangle). Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
30 Brad functors I already told you what these functors are, but let me tell you a lttle more carefully. A postve crossng s sent to the bmodule B j where the jth and j + 1st red lnes cross exactly once. All relatons nvolvng the red-red crossng are nave sotopes. λ j λ j+1 λ j λ j+1 Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
31 Brad operators Theorem The functors L B : C(λ) C(s λ) are equvalences that satsfy the brad relatons. The nduced maps on Grothendeck groups V λ V λ s the bradng/r-matrx tmes flp/map on Hlbert spaces nduced by cobordsm. Ths helps us address a naggng pont, whch s that the category depends on an orderng of the weghts λ, whereas on the surface they are allowed to move around. The brad group s exactly the mappng class group of a punctured dsk (fxng the boundary), so we expect t to act on the category C(λ). Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
32 Tangle nvarants Assocated to a cup, we also have a functor. Lke the sl case, we just draw the cup n the red lnes, but we to have somethng pop out when we ht the mnmum. Just as before, you have to nsert a copy of the unque nvarant smple. It s a bt more unpleasant to say exactly what that means; bascally you take black lnes correspondng to gong from the hghest to lowest weght vector n V µ, and get 0 f pull a strand out of the cup. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
33 Tangle nvarants Assocated to a cup, we also have a functor. Lke the sl case, we just draw the cup n the red lnes, but we to have somethng pop out when we ht the mnmum. µ µ µ µ v Just as before, you have to nsert a copy of the unque nvarant smple. It s a bt more unpleasant to say exactly what that means; bascally you take black lnes correspondng to gong from the hghest to lowest weght vector n V µ, and get 0 f pull a strand out of the cup. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
34 Cups and caps Ths pcture and ts mrror mage defne two bmodules. Theorem The functors attached to cups and caps categorfy the (co)evaluaton and quantum (co)trace maps on tensor products (that s, those assocated to the Wlson operators). These do satsfy the expected adjunctons, so we get an nvarant of flat tangles; however, we don t seem to get an acton of cobordsms n general. We only get ths when λ s are all mnuscule. Outsde the mnuscule case, we won t even get a fnte dmensonal nvarant for a crcle! The problem s that the nvarant smple mght not have a fnte resoluton. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
35 Tangle nvarants Theorem For every rbbon tangle τ n D I, we have a functor F τ : C(λ) C(λ ) between the categores assocated to the top and bottom, such that F τ τ F τ F τ, whch categorfes the Reshetkhn-Turaev constructon. In partcular, we have a doubly graded nvarant attached to lnks wth components labeled by g-representatons. The Euler characterstc of ths homology s the nvarant obtaned from Chern-Smons theory. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
36 The case of sl 3 For sl, I could rewrte everythng n terms of Dror s constructon. For sl 3, t s gong to be slghtly harder. In addton to the cups and caps, we need some trvalent vertces The relatons are qute smlar to those of the cup: = = 0 = ± Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
37 The case of sl 3 For sl, I could rewrte everythng n terms of Dror s constructon. For sl 3, t s gong to be slghtly harder. In addton to the cups and caps, we need some trvalent vertces The relatons are qute smlar to those of the cup: = = 0 = ± Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
38 The case of sl 3 The same argument as n sl shows that we have an exact sequence Usng adjunctons, one can also show that These look pretty remnscent of Khovanov s approach to sl 3 homology. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
39 Foams Khovanov descrbed an approach to categorfyng the RT nvarant for C 3 as a module over sl 3 whch s remnscent of Dror s pcture, but harder. You have to allow cobordsms wth sheets labeled by fundamental representatons, and sngulartes lke our bmodules, called foams. Theorem There s an acton of sl 3 foams on these bmodules, whch matches the bradng bmodules wth the expected complexes of foams. In partcular, the knot homologes we ve constructed match the Khovanov sl 3 homology. Ben Webster (UVA) KLR algebras and knot homology II June 6, 013 / 5
40 The case of sl n There are smlar descrptons for sl n, though consderably more complcated. You end up wth resolutons lke For experts: ths s a Koszul dual categorcal acton of sl e categorfyng skew Howe dualty, and the bradng functors are exactly the Chuang-Rouquer brad functors for ths dual acton. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
41 The case of sl n There s an already known nvarant for the defnng representaton C n of sl n : Khovanov-Rozansky homology (wth extensons to other fundamentals by Wu and Yonezawa). One queston that has bugged me for a long tme s whether ths matches the nvarants already dscussed. You can easly match my approach wth earler work of Mazorchuk and Stroppel n ths case Based on recent work of Mackaay and Yonezawa, I can now assert: Theorem? They match! I consder the queston mark to be an excess of cauton, but at the moment, the argument s unecessarly crcutous, and should be made more drect. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
42 Thanks for your attenton. Ben Webster (UVA) KLR algebras and knot homology II June 6, / 5
Categorifying quantum knot invariants
Categorfyng quantum knot nvarants Ben Webster U. of Oregon November 25, 2010 Ben Webster (U. of Oregon) Categorfyng quantum knot nvarants November 25, 2010 1 / 28 Ths talk s onlne at http://pages.uoregon.edu/bwebster/rims-ii.pdf
More informationHigher representation theory in algebra and geometry: Lecture VIII
Hgher representaton theory n algebra and geometry: Lecture VIII Ben Webster UVA Aprl 8, 2014 Ben Webster (UVA) HRT : Lecture VIII Aprl 8, 2014 1 / 36 References For ths lecture, useful references nclude:
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 informationAn introduction to categorifying quantum knot invariants
msp Geometry & Topology Monographs 18 (2012) 253 289 An ntroducton to categorfyng quantum knot nvarants BEN WEBSTER We construct knot nvarants categorfyng the quantum knot nvarants for all representatons
More informationKnot invariants via quantizations of Hecke modifications
Knot nvarants va quantzatons of Hecke modfcatons Unversty of Vrgna Unversty of Waterloo Permeter Insttute for Mathematcal Physcs Aprl 29, 2017 Two approaches to Jones polynomal (1984) Jones defnes the
More informationINTERSECTION THEORY CLASS 13
INTERSECTION THEORY CLASS 13 RAVI VAKIL CONTENTS 1. Where we are: Segre classes of vector bundles, and Segre classes of cones 1 2. The normal cone, and the Segre class of a subvarety 3 3. Segre classes
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 informationA Quantum Gauss-Bonnet Theorem
A Quantum Gauss-Bonnet Theorem Tyler Fresen November 13, 2014 Curvature n the plane Let Γ be a smooth curve wth orentaton n R 2, parametrzed by arc length. The curvature k of Γ s ± Γ, where the sgn s postve
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 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 information2-Verma modules. Grégoire Naisse Joint work with Pedro Vaz. 22 November Université catholique de Louvain
2-Verma modules Grégore Nasse Jont work wth Pedro Vaz Unversté catholque de Louvan 22 November 2017 Hghest weght representatons g s a (symmetrzable) quantum KacMoody algebra. There are 3 knds of hghest
More informationRepresentation theory through the lens of categorical actions: part II
Representaton theory through the lens of categorcal actons: part II Unversty of Vrgna June 10, 2015 Remnder from last tme Last tme, we dscussed what t meant to have sl 2 act on a category. Defnton An sl
More informationwhere a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets
11. 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 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 information( 1) i [ d i ]. The claim is that this defines a chain complex. The signs have been inserted into the definition to make this work out.
Mon, Apr. 2 We wsh to specfy a homomorphsm @ n : C n ()! C n (). Snce C n () s a free abelan group, the homomorphsm @ n s completely specfed by ts value on each generator, namely each n-smplex. There are
More informationErrata to Invariant Theory with Applications January 28, 2017
Invarant Theory wth Applcatons Jan Drasma and Don Gjswjt http: //www.wn.tue.nl/~jdrasma/teachng/nvtheory0910/lecturenotes12.pdf verson of 7 December 2009 Errata and addenda by Darj Grnberg The followng
More informationarxiv: v1 [math.gt] 20 Feb 2015
Categorfed sew Howe dualty and comparson of not homologes arxv:502.060v [math.gt] 20 Feb 205 Marco Macaay Center for Mathematcal Analyss, Geometry and Dynamcal Systems, Insttuto Superor Técnco & Mathematcs
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 informationCategorifying quantum knot invariants
Categorifying quantum knot invariants Ben Webster U. of Oregon November 26, 2010 Ben Webster (U. of Oregon) Categorifying quantum knot invariants November 26, 2010 1 / 26 This talk is online at http://pages.uoregon.edu/bwebster/rims-iii.pdf.
More informationRepresentation theory of symplectic singularities
Quantzatons Hggs and Coulomb branches Category O and the algebra T Representaton theory of symplectc sngulartes Unversty of Vrgna December 9, 2016 Representaton theory of symplectc sngulartes Quantzatons
More informationNP-Completeness : Proofs
NP-Completeness : Proofs Proof Methods A method to show a decson problem Π NP-complete s as follows. (1) Show Π NP. (2) Choose an NP-complete problem Π. (3) Show Π Π. A method to show an optmzaton problem
More informationSpectral Graph Theory and its Applications September 16, Lecture 5
Spectral Graph Theory and ts Applcatons September 16, 2004 Lecturer: Danel A. Spelman Lecture 5 5.1 Introducton In ths lecture, we wll prove the followng theorem: Theorem 5.1.1. Let G be a planar graph
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 informationCategorification of quantum groups and quantum knot invariants
Categorification of quantum groups and quantum knot invariants Ben Webster MIT/Oregon March 17, 2010 Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 1 / 29 The big picture
More informationarxiv: v3 [math.gt] 12 Aug 2015
Knot nvarants and hgher representaton theory Ben Webster 1 Department of Mathematcs Unversty of Vrgna Charlottesvlle, VA Emal: bwebster@vrgna.edu arxv:1309.3796v3 [math.gt] 12 Aug 2015 We construct knot
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 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 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 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 information9 Characteristic classes
THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct
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 informationHow to Fold a Manifold. J. Scott Carter
How to Fold a Manfold J. Scott Carter Unversty of South Alabama May 2012 KOOK Semnar Outlne 1. Jont work wth Sech Kamada Outlne 1. Jont work wth Sech Kamada 2. Thanks to organzers Outlne 1. Jont work wth
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 informationarxiv: v1 [math.qa] 9 May 2016
THE SOERGEL CATEGORY AND THE REDOTTED WEBSTER ALGEBRA arxv:1605.02678v1 [math.qa] 9 May 2016 MIKHAIL KHOVANOV AND JOSHUA SUSSAN Abstract. We descrbe a collecton of graded rngs whch surect onto Webster
More informationThe Second Eigenvalue of Planar Graphs
Spectral Graph Theory Lecture 20 The Second Egenvalue of Planar Graphs Danel A. Spelman November 11, 2015 Dsclamer These notes are not necessarly an accurate representaton of what happened n class. The
More information1 Matrix representations of canonical matrices
1 Matrx representatons of canoncal matrces 2-d rotaton around the orgn: ( ) cos θ sn θ R 0 = sn θ cos θ 3-d rotaton around the x-axs: R x = 1 0 0 0 cos θ sn θ 0 sn θ cos θ 3-d rotaton around the y-axs:
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 informationA categorification of the Temperley-Lieb algebra and Schur quotients of U(sl 2 ) via projective and Zuckerman functors
Sel. math., New ser. 5 (1999) 199 241 1022 1824/99/020199 43$1.50 + 0.20/0 c Brkhäuser Verlag, Basel, 1999 Selecta Mathematca, New Seres A categorfcaton of the Temperley-Leb algebra and Schur quotents
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 informationModule 9. Lecture 6. Duality in Assignment Problems
Module 9 1 Lecture 6 Dualty n Assgnment Problems In ths lecture we attempt to answer few other mportant questons posed n earler lecture for (AP) and see how some of them can be explaned through the concept
More informationEdge Isoperimetric Inequalities
November 7, 2005 Ross M. Rchardson Edge Isopermetrc Inequaltes 1 Four Questons Recall that n the last lecture we looked at the problem of sopermetrc nequaltes n the hypercube, Q n. Our noton of boundary
More informationLecture 7: Gluing prevarieties; products
Lecture 7: Glung prevaretes; products 1 The category of algebrac prevaretes Proposton 1. Let (f,ϕ) : (X,O X ) (Y,O Y ) be a morphsm of algebrac prevaretes. If U X and V Y are affne open subvaretes wth
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 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 informationCanonical bases and higher representation theory
Ben Webster 1 Department of Mathematcs Northeastern Unversty Boston, MA Emal: b.webster@neu.edu Abstract. We show that Lusztg s canoncal bass n the whole quantzed unversal envelopng algebra s gven by the
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 informationLectures on categorification of Verma modules
Lectures on categorfcaton of Verma modules Pedro Vaz, Unversté catholque de Louvan ABSTRACT. Ths notes are an extended verson of the materal covered n a three 90 mnute lecture seres on categorfcaton of
More informationKernel Methods and SVMs Extension
Kernel Methods and SVMs Extenson The purpose of ths document s to revew materal covered n Machne Learnng 1 Supervsed Learnng regardng support vector machnes (SVMs). Ths document also provdes a general
More informationDOUBLE POINTS AND THE PROPER TRANSFORM IN SYMPLECTIC GEOMETRY
DOUBLE POINTS AND THE PROPER TRANSFORM IN SYMPLECTIC GEOMETRY JOHN D. MCCARTHY AND JON G. WOLFSON 0. Introducton In hs book, Partal Dfferental Relatons, Gromov ntroduced the symplectc analogue of the complex
More information"The 1,2-coloured HOMFLY-PT link homology" Dos Santos Santana Forte Vaz, Pedro ; Mackaay, Marco ; Stosic, Marko
"The,-coloured HOMFLY-PT lnk homology" Dos Santos Santana Forte Vaz, Pedro ; Mackaay, Marco ; Stosc, Marko Abstract In ths paper we defne the,-coloured HOMFLY-PT trply graded lnk homology and prove that
More informationOn functors between module categories for associative algebras and for N-graded vertex algebras
On functors between module categores for assocatve algebras and for N-graded vertex algebras Y-Zh Huang and Jnwe Yang Abstract We prove that the weak assocatvty for modules for vertex algebras are equvalent
More informationarxiv: v1 [math.qa] 1 Sep 2008
THE,-COLOURED HOMFLY-PT LINK HOMOLOGY arxv:0809.09v [math.qa] Sep 008 MARCO MACKAAY, MARKO STOŠIĆ, AND PEDRO VAZ ABSTRACT. In ths paper we defne the,-coloured HOMFLY-PT lnk homology and prove that t s
More information42. Mon, Dec. 8 Last time, we were discussing CW complexes, and we considered two di erent CW structures on S n. We continue with more examples.
42. Mon, Dec. 8 Last tme, we were dscussng CW complexes, and we consdered two d erent CW structures on S n. We contnue wth more examples. (2) RP n. Let s start wth RP 2. Recall that one model for ths space
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 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 informationSOME MULTILINEAR ALGEBRA OVER FIELDS WHICH I UNDERSTAND
SOME MULTILINEAR ALGEBRA OER FIELDS WHICH I UNDERSTAND Most of what s dscussed n ths handout extends verbatm to all felds wth the excepton of the descrpton of the Exteror and Symmetrc Algebras, whch requres
More information1.45. Tensor categories with finitely many simple objects. Frobenius- Perron dimensions. Let A be a Z + -ring with Z + -basis I. Definition
86 1.45. Tensor categores wth fntely many smple objects. Frobenus- Perron dmensons. Let A be a Z + -rng wth Z + -bass I. Defnton 1.45.1. We wll say that A s transtve f for any X, Z I there exst Y 1, Y
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 informationC/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1
C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned
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 informationNOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules
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
More informationOn cyclic of Steiner system (v); V=2,3,5,7,11,13
On cyclc of Stener system (v); V=,3,5,7,,3 Prof. Dr. Adl M. Ahmed Rana A. Ibraham Abstract: A stener system can be defned by the trple S(t,k,v), where every block B, (=,,,b) contans exactly K-elementes
More informationThis model contains two bonds per unit cell (one along the x-direction and the other along y). So we can rewrite the Hamiltonian as:
1 Problem set #1 1.1. A one-band model on a square lattce Fg. 1 Consder a square lattce wth only nearest-neghbor hoppngs (as shown n the fgure above): H t, j a a j (1.1) where,j stands for nearest neghbors
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 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 informationThree lectures on categorification of Verma modules
Three lectures on categorfcaton of Verma modules Pedro Vaz Insttut de Recherche en Mathématque et Physque Unversté Catholque de Louvan Chemn du Cyclotron 2 1348 Louvan-la-Neuve Belgum ABSTRACT. We provde
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 informationSection 8.3 Polar Form of Complex Numbers
80 Chapter 8 Secton 8 Polar Form of Complex Numbers From prevous classes, you may have encountered magnary numbers the square roots of negatve numbers and, more generally, complex numbers whch are the
More informationarxiv: v5 [math.qa] 10 Mar 2018
THE sl 3 -WEB ALGEBRA M. MACKAAY, W. PAN AND D. TUBBENHAUER arxv:1206.2118v5 [math.qa] 10 Mar 2018 ABSTRACT. In ths paper we use Kuperberg ssl 3 -webs and Khovanov ssl 3 -foams to defne a new algebrak
More informationCOS 521: Advanced Algorithms Game Theory and Linear Programming
COS 521: Advanced Algorthms Game Theory and Lnear Programmng Moses Charkar February 27, 2013 In these notes, we ntroduce some basc concepts n game theory and lnear programmng (LP). We show a connecton
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 informationCSci 6974 and ECSE 6966 Math. Tech. for Vision, Graphics and Robotics Lecture 21, April 17, 2006 Estimating A Plane Homography
CSc 6974 and ECSE 6966 Math. Tech. for Vson, Graphcs and Robotcs Lecture 21, Aprl 17, 2006 Estmatng A Plane Homography Overvew We contnue wth a dscusson of the major ssues, usng estmaton of plane projectve
More informationStatistical Mechanics and Combinatorics : Lecture III
Statstcal Mechancs and Combnatorcs : Lecture III Dmer Model Dmer defntons Defnton A dmer coverng (perfect matchng) of a fnte graph s a set of edges whch covers every vertex exactly once, e every vertex
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 information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More informationPh 219a/CS 219a. Exercises Due: Wednesday 23 October 2013
1 Ph 219a/CS 219a Exercses Due: Wednesday 23 October 2013 1.1 How far apart are two quantum states? Consder two quantum states descrbed by densty operators ρ and ρ n an N-dmensonal Hlbert space, and consder
More informationTopics in Geometry: Mirror Symmetry
MIT OpenCourseWare http://ocw.mt.edu 18.969 Topcs n Geometry: Mrror Symmetry Sprng 2009 For normaton about ctng these materals or our Terms o Use, vst: http://ocw.mt.edu/terms. MIRROR SYMMETRY: LECTURE
More informationThe Second Anti-Mathima on Game Theory
The Second Ant-Mathma on Game Theory Ath. Kehagas December 1 2006 1 Introducton In ths note we wll examne the noton of game equlbrum for three types of games 1. 2-player 2-acton zero-sum games 2. 2-player
More information17. Coordinate-Free Projective Geometry for Computer Vision
17. Coordnate-Free Projectve Geometry for Computer Vson Hongbo L and Gerald Sommer Insttute of Computer Scence and Appled Mathematcs, Chrstan-Albrechts-Unversty of Kel 17.1 Introducton How to represent
More informationModeling curves. Graphs: y = ax+b, y = sin(x) Implicit ax + by + c = 0, x 2 +y 2 =r 2 Parametric:
Modelng curves Types of Curves Graphs: y = ax+b, y = sn(x) Implct ax + by + c = 0, x 2 +y 2 =r 2 Parametrc: x = ax + bxt x = cos t y = ay + byt y = snt Parametrc are the most common mplct are also used,
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 informationOne Dimension Again. Chapter Fourteen
hapter Fourteen One Dmenson Agan 4 Scalar Lne Integrals Now we agan consder the dea of the ntegral n one dmenson When we were ntroduced to the ntegral back n elementary school, we consdered only functons
More information1 GSW Iterative Techniques for y = Ax
1 for y = A I m gong to cheat here. here are a lot of teratve technques that can be used to solve the general case of a set of smultaneous equatons (wrtten n the matr form as y = A), but ths chapter sn
More informationA Note on \Modules, Comodules, and Cotensor Products over Frobenius Algebras"
Chn. Ann. Math. 27B(4), 2006, 419{424 DOI: 10.1007/s11401-005-0025-z Chnese Annals of Mathematcs, Seres B c The Edtoral Oce of CAM and Sprnger-Verlag Berln Hedelberg 2006 A Note on \Modules, Comodules,
More informationLecture 4: November 17, Part 1 Single Buffer Management
Lecturer: Ad Rosén Algorthms for the anagement of Networs Fall 2003-2004 Lecture 4: November 7, 2003 Scrbe: Guy Grebla Part Sngle Buffer anagement In the prevous lecture we taled about the Combned Input
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 informationCategorification, Lie algebras and Topology
Categorification, Lie algebras and Topology Ben Webster Northeastern University/University of Oregon June 17, 2011 Ben Webster (Northeastern/Oregon) Categorification, Lie algebras and Topology June 17,
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 informationLecture 12: Discrete Laplacian
Lecture 12: Dscrete Laplacan Scrbe: Tanye Lu Our goal s to come up wth a dscrete verson of Laplacan operator for trangulated surfaces, so that we can use t n practce to solve related problems We are mostly
More informationPOL VAN HOFTEN (NOTES BY JAMES NEWTON)
INTEGRAL P -ADIC HODGE THEORY, TALK 2 (PERFECTOID RINGS, A nf AND THE PRO-ÉTALE SITE) POL VAN HOFTEN (NOTES BY JAMES NEWTON) 1. Wtt vectors, A nf and ntegral perfectod rngs The frst part of the talk wll
More informationMechanics Physics 151
Mechancs Physcs 151 Lecture 3 Lagrange s Equatons (Goldsten Chapter 1) Hamlton s Prncple (Chapter 2) What We Dd Last Tme! Dscussed mult-partcle systems! Internal and external forces! Laws of acton and
More informationprinceton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
More informationReport on Image warping
Report on Image warpng Xuan Ne, Dec. 20, 2004 Ths document summarzed the algorthms of our mage warpng soluton for further study, and there s a detaled descrpton about the mplementaton of these algorthms.
More informationLecture 2: Prelude to the big shrink
Lecture 2: Prelude to the bg shrnk Last tme A slght detour wth vsualzaton tools (hey, t was the frst day... why not start out wth somethng pretty to look at?) Then, we consdered a smple 120a-style regresson
More informationSPECTRAL PROPERTIES OF IMAGE MEASURES UNDER THE INFINITE CONFLICT INTERACTION
SPECTRAL PROPERTIES OF IMAGE MEASURES UNDER THE INFINITE CONFLICT INTERACTION SERGIO ALBEVERIO 1,2,3,4, VOLODYMYR KOSHMANENKO 5, MYKOLA PRATSIOVYTYI 6, GRYGORIY TORBIN 7 Abstract. We ntroduce the conflct
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 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 informationFor all questions, answer choice E) NOTA" means none of the above answers is correct.
0 MA Natonal Conventon For all questons, answer choce " means none of the above answers s correct.. In calculus, one learns of functon representatons that are nfnte seres called power 3 4 5 seres. For
More informationSalmon: Lectures on partial differential equations. Consider the general linear, second-order PDE in the form. ,x 2
Salmon: Lectures on partal dfferental equatons 5. Classfcaton of second-order equatons There are general methods for classfyng hgher-order partal dfferental equatons. One s very general (applyng even to
More informationSolutions to Homework 7, Mathematics 1. 1 x. (arccos x) (arccos x) 1
Solutons to Homework 7, Mathematcs 1 Problem 1: a Prove that arccos 1 1 for 1, 1. b* Startng from the defnton of the dervatve, prove that arccos + 1, arccos 1. Hnt: For arccos arccos π + 1, the defnton
More information