Restricted Lie Algebras. Jared Warner
|
|
- Virgil Norton
- 6 years ago
- Views:
Transcription
1 Restrcted Le Algebras Jared Warner
2
3 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 the p-operaton such that for all a k and for all x, y g we have: (ax) [p] = a p x [p] ad x [p] =ad p x and (x + y) [p] = x [p] + y [p] + expresson ad tx+y(x) =1 s (x, y) where s (x, y) s the coeffcent of t 1 n the Recall that for any x g ad x : g g s the lnear map defned by ad x (y) = [x, y] for all y g. Example 1.2. Let g be any abelan Le algebra, e, a Le algebra such that [x, y] = 0 for all x, y g. Notce that blnearty and alternatvty ([x, x] = 0 for all x g) mply that any one-dmensonal Le algebra s abelan. The p-operaton defned by x [p] = 0 for all x g gves g the structure of a restrcted Le algebra. Notce that the condton that g be abelan s necessary, for f we consder gl n, the Le algebra of n n matrces wth entres n k whose bracket s gven by commutaton, t can be shown that the second and thrd condtons lsted above are not satsfed by the p-operaton A [p] = 0 for all matrces A gl n. Example 1.3. Let A be any assocatve, untal algebra over k (from here on, unless otherwse specfed, by algebra we mean an assocatve, untal algebra over k). Defne a bracket and p-operaton on elements of A by x [p] := x p and [x, y] := xy yx for all x, y A. We check that such defntons gve A the structure of a restrcted Le algebra. Let x, y A and a k. (ax) p = a p x p = a p x [p], so the frst condton above holds. ( ) n ad x [p](y) =ad x p(y) = [x p, y] = x p y yx p. Usng the combnatoral dentty + ( ) n n ( ) n along wth nducton, one can show that ad n 1 x(y) = ( 1) x n yx. ( ) =0 p Snce s dvsble by p for all = 1, 2,...,, t follows that ad p x(y) = x p y yx p, and hence the second condton above holds. The thrd condton s dffcult to check n generalty. Usng the above formula, we ( ) p 1 have that ad tx+y(x) = ( 1) (tx + y) x(tx + y). I clam that the =0 coeffcent of t j 1 n ths expresson s j (all words of length p n x and y that have j x s). From the formula, t can be seen that the coeffcent of t j 1 s equal ( ) p 1 (all to ( 1) words of length p n x and y wth j x s, whose (p ) th =0 entry s x). Gven a word of length p n x and y wth j x s, we would lke to know how many tmes ths word s counted n the gven sum. Fx a word w of the desred 3
4 type and let J {0, 1, 2,..., } be the subset of j elements such that for all J, w has an x n the (p ) th poston. Then ths word s counted ( ) p 1 ( 1) ( ) J p 1 many tmes. Snce ( 1) 1modp for all {0, 1, 2,..., p 1} as can be checked wth the above combnatoral dentty, t follows that each word s counted j tmes, provng the clam. Now (x + y) [p] = (x + y) p = x p + y p + (words n x and y of length p) = x [p] + y [p] + =1 s (x, y), and the thrd condton holds as well. Denote by A L the restrcted Le algebra assocated to the algebra A. We use the same notaton for the Le algebra (not restrcted) assocated to A (wth bracket gven by the commutator as defned above). 2. Envelopng Algebras Here we desre to dscuss the restrcted envelopng algebra u(g) of a restrcted Le algebra g. We frst brefly revew the defnton of the unversal envelopng algebra. Defnton 2.1. Let k be a feld of any characterstc, and let g be a Le algebra over k. The unversal envelopng algebra of g s an algebra U together wth a map of Le algebras h : g U L satsfyng the followng unversal property: gven any algebra A and any map of Le algebras f : g A L, there exsts a unque map of algebras g : U A such that f = g h. Note that the unversal property descrbed mples that f a unversal envelopng algebra exsts for g, then t s unque up to unque somorphsm. That s, f U and U both satsfy the unversal property, then there s a unque algebra somorphsm U U. Ths can be seen as follows. Let h : g U L and h : g U L both satsfy the unversal property. Hence, there exst unque maps g : U U and g : U U satsfyng h = g h and h = g h. Hence h = g g h. Snce we also have h = d U h, by unqueness, t follows that g g = d U. The same argument apples to g g, so that g and g are algebra somorphsms. We now show that the unversal envelopng algebra always exsts for for any Le algebra. Theorem 2.2. Let g be a Le algebra. exsts. The unversal envelopng algebra of g always Proof. Let T (g) = n 0 T n (g) be the tensor algebra of g where T n (g) = g g... g n-tmes, and multplcaton s defned by concatenaton of smple tensors. Notce that ths multplcaton turns T (g) nto a graded algebra. Notce that g T (g) by takng x g to tself n T 1 (g) = g T (g). Next, let I be the two-sded deal generated by elements of the form x y y x [x, y] where x, y g, and let U = T (g)/i. Let h : g U L take x g to the coset x + I n U. Notce ths s a map of Le algebras precsely because x y y x = [x, y] n U. We show that the par (U, h) satsfy the unversal property descrbed above. Suppose A s an algebra, and f : g A L s a map of Le algebras. Defne a map of algebras g : U A by mappng x + I to f(x) and extendng lnearly and multplcatvely. Thus, 4
5 g h(x) = g(x+i) = f(x), and g s unque because any map of algebras U A s determned by where t sends a set of generators, n ths case, {x + I} x g=t 1 (g). The dscusson before the proof justfes the notaton U(g) for the unversal envelopng algebra of a Le algebra g. Let s calculate some unversal envelopng algebras for some specfc Le algebras. Example 2.3. Let g = g m := k L, e, g m s a one dmensonal k vector space wth bracket gven by the commutator n k. Snce g m s one dmensonal, t s necessarly abelan. Hence the unversal envelopng algebra s commutatve. We have mplctly defned two functors n the precedng pages. The functor U( ) : {Le algebras} {algebras} takes a Le algebra to ts unversal envelopng algebra. The functor ( ) L : {algebras} {Le algebras} takes an algebra to ts assocated Le algebra. Notce that the unversal property states that any f Hom Le alg (g, A L ) unquely defnes a g Hom alg (U(g), A). Conversely, any algebra map U(g) A unquely defnes a map of Le algebras g A L. Hence there s a bjecton between the Hom sets Hom Le alg (g, A L ) and Hom alg (U(g), A) for any Le algebra g and algebra A. Moreover, ths bjecton s natural wth respect to g and A, meanng the correspondence of Hom sets s consstent wth Le algebra maps h g and algebra maps B A. In other words, for all maps g h, B A, the followng dagram commutes: (1) Hom Le alg (g, A L ) Hom alg (U(g), A) Hom Le alg (h, B L ) Hom alg (U(h), B) Here the vertcal arrows are nduced by the maps g h, and B A. To see why ths s true, start n the bottom rght wth a map of algebras U(h) B. Movng left gves us a map of Le algebras h B L nduced by restrcton. Movng up then yelds a map of Le algebras g h B L A L. If we ntally move up, we have the map of algebras U(g) U(h) B A, and then movng left, we restrct to g U(g), yeldng g h B L A L. Functors that gve such a correspondence on Hom sets are called adjont functors, and are now defned n greater generalty. Defnton 2.4. Let C and D be two categores, and G : C D and F : D C be two functors. Suppose for all objects X C and Y D there s a natural bjecton Hom C (F (Y ), X) Hom D (Y, G(X)), e, a bjecton such that for all morphsms Y Y and X X the followng dagram commutes: Hom D (Y, G(X)) Hom C (F (Y ), X) (2) Hom D (Y, G(X ) Hom C (F (Y ), X ) Then F s called left adjont to G and G s sad to be rght adjont to F. 5
6 In our defnton of adjont functors, we recover the case just dscussed f C s the category of algebras, D s the category of Le algebras, F = U( ) and G = ( ) L. Havng suffcently revewed the unversal envelopng algebra of a Le algebra, we now defne the restrcted envelopng algebra of a restrcted Le algebra. To do so, we need the noton of a map of restrcted Le algebras. Defnton 2.5. Let g and h be restrcted Le algebras. A k-lnear map f : g h s a homomorphsm of restrcted Le algebras f: f([x, y] g ) = [f(x), f(y)] h and f(x [p]g ) = f(x) [p] h for all x, y g. Ths s the clear defnton of a homomorphsm n any category respectng the algebrac structure. We now defne the restrcted envelopng algebra analagously to how we defned the unversal envelopng algebra, through a unversal property. As above, we wll show f t exsts, the restrcted envelopng algebra s unque up to unque somorphsm, and we wll construct t as a quotent of the unversal envelopng algebra. Defnton 2.6. Let g be a restrcted Le algebra. The restrcted envelopng algebra of g s an algebra u together wth a map of restrcted Le algebras h : g u L satsfyng the followng unversal property: gven any algebra A and any map of restrcted Le algebras f : g A L, there exsts a unque map of algebras g : u A such that f = g h. Theorem 2.7. The restrcted envelopng algebra of a restrcted Le algebra g exsts, and s unque up to unque somorphsm. Proof. The proof of unqueness s no dfferent than that for the unversal envelopng algebra. To construct the restrcted envelopng algebra, let J U(g) be the two-sded deal generated by elements of the form x x... x x [p] + I, where the tensor occurs p tmes. Let u = U(g)/J. We can stll thnk of g as sttng nsde of u by sendng x g to the element (x + I) + J u. Notce that ths embeddng nduces a map of restrcted Le algebras h : g u L precsely because quotentng by J forces the p-operaton n u L to agree wth that of g nsde of u L. We show that the par (u, h) satsfy the unversal property descrbed above. Suppose A s an algebra, and f : g A L s a map of restrcted Le algebras. Defne a map of algebras g : u A by mappng (x + I) + J to f(x) and extendng lnearly and multplcatvely. Thus, g h(x) = g((x + I) + J) = f(x), and g s unque because any map of algebras u A s determned by where t sends a set of generators, n ths case, {(x + I) + J} x g u. Agan, by unqueness, we may use the notaton u(g) when speakng of the restrcted envelopng algebra assocated to g. 3. Representatons Before movng on to our desred dscusson of the connecton between restrcted Le algebras and heght 1 nfntesmal group schemes, t makes sense that we dscuss representatons of Le algebras and restrcted Le algebras, havng just spent a consderable amount of tme developng the concept of envelopng algebras. 6
7 Defnton 3.1. Let g be a Le algebra. A representaton of g s a map of Le algebras ρ : g gl(v ) where V s a k vector space. If g s a restrcted Le algebra, then a representaton of g s a map of restrcted Le algebras ρ : g gl(v ) where the p-operaton n gl(v ) s gven by p th -powers of matrces. We now show that a representaton of g s equvalent to a module over the approprate envelopng algebra. Workng wth modules s often easer than workng wth maps of Le algebras, so ths correspondence s qute useful. Theorem 3.2. A representaton of a (restrcted) Le algebra g defnes a (u(g)-) U(g)- module structure on V. Smlarly, a (u(g)-) U(g)-module V defnes a representaton of g. Proof. We start wth the case of a Le algebra g. Let ρ : g gl(v ) be a representaton. Defne a U(g)-module structure on V by x v := ρ(x)v for all x g U(g) and all v V, and extend multplcatvely and lnearly. To show ths scalar multplcaton s well-defned, we must show that x y y x and [x, y] n U(g) yeld the same acton on v for all x, y g. Ths follows from the fact that ρ s a map of Le algebras, and that the bracket n gl(v ) s gven by commutaton. Now suppose we are gven a U(g) module V. Defne a map ρ : g gl(v ) by ρ(x)v := x v. Lnearty follows from the module structure, and ρ preserves the bracket because x y y x = [x, y] n U(g). For the case of restrcted Le algebras, everythng from above holds, wth one extra step to deal wth the p-operaton. The detals are nearly dentcal to how we dealt wth the bracket. Example 3.3. Let g be a restrcted Le algebra. Consder the map: ρ : g gl(g) x ad x We check that ths s ndeed a map of restrcted Le algebras. Lnearty follows from that of the bracket. The Jacob dentty shows that the above map s a map of Le algebras (e, the bracket s preserved). Snce restrcted Le algebras satsfy ad x [p] =ad p x, the above map also preserves the p-operaton. Hence we have a representaton of g called the adjont representaton. Notce that f we forget the p-operaton, we stll have a representaton of a Le algebra. 4. Hopf Algebra Structure 5. Infntesmal Groups Schemes of Heght 1 In ths secton we would lke to establsh an equvalence of categores between heght 1 nfntesmal group schemes G and fnte-dmensonal restrcted Le algebras g. Let C be the category of heght 1 nfntesmal group schemes, and let D be the category of restrcted Le algebras. We begn by defnng a functor E : C D. Let G C. There are many ways to defne E, and all such are naturally somorphc. We take the vew of k-lnear ɛ-dervatons, e, E(G) := Der(k[G], k), where for a commutatve rng R and an R-module M, Der(R, M) s all k-lnear maps satsfyng f(rs) = rf(s) + sf(r) for all r, s R. Here we vew k as a k[g]-module va the augmentaton map ɛ. To gve Der(k[G], k) the structure of a restrcted Le algebra, frst notce that Der(k[G], k) s a k-sapce va pontwse addton and scalar multplcaton. Turn Der(k[G], k) nto a untal, assocatve k-algebra by defnng a multplcaton as follows: f g := (f g). It can be shown 7
8 that Der(k[G], k) s closed under ths multplcaton. Havng defned an algebra structure on Der(k[G], k), we can now make t a restrcted Le algebra as n 1 by defnng the bracket to be the commutator and the p-operaton to be p th -powers. Now we construct a functor F : D C. Let g D. Then as shown prevously, u(g) s a local, commutatve Hopf algebra, satsfyng x p = 0 for all x m where m s the unque maxmal deal n u(g). Hence, g defnes a heght one nfntesmal group scheme G g := Hom k alg (u(g), ). Let φ : g h be a map of restrcted Le algebras. We make explct a number of computatons to further clarfy the above equvalence. Example 5.1. Let G = G a(1), the frst Frobenus kernel of G a. Then k[g = G a(1) = k[t ]/T p, where T s a prmtve element n the Hopf algebra structure. Usng the propertes of a k-lnear ɛ dervaton, tt can be shown that n ths case, f f Der(k[G], k), then f(a 0 + a 1 T a T ) = a 1 f(t ), and s thus completely determned by where t maps T. Thus, Der(k[G], k) s a one-dmensonal k-algebra. Now suppose f(t ) = a and g(t ) = b for f, g Der(k[G], k). Then (f g)(t ) = a + b so that both the bracket and p-operaton are trval. Hence we see that E(G) = g a. In the other drecton, let s consder the trval restrcted Le algebra, g a, a one-dmensonal (necessarly abelan) Le algebra wth trval p- operaton, e, x [p] = 0 for all x g a. I clam that the heght one group scheme correspondng to g a s G a,(1), the frst Frobenus kernel of G a. We have that k[g a,(1) ] = k[t ]/(T p ) = kg m,(1), e, k[t ]/(T p ) s self-dual. The clam s a result of the computaton of the restrcted envelopng algebra of g a done above, whch s k[t ]/(T p ). Example 5.2. Generalzng the prevous example, let us consder g r a, the r-dmensonal trval restrcted Le-algebra. u(g r a ) = k[x 1,..., x r ]/(x p 1,..., x p r) as was shown above, and snce ths Hopf algebra s also self dual, we are lookng for a heght one group scheme whose coordnate algebra s k[x 1,..., x r ]/(x p 1,..., x p r). The desred group scheme s G r a,(1). Example 5.3. Let g = g m := k L, e, g m s a one dmensonal k vector space wth bracket and p-operaton gven by commutator and p th powers respectvely. The calculaton of u(g m ) was done above, yeldng the result u(g m ) = k[x]/(x p x). I clam that the heght one group scheme correspondng to g m s G m,(1), the frst Frobenus kernel of G m. We have that k[g m,(1) ] = k[t ]/(T p 1) and kg m,(1) = k Z/pZ so to prove the clam, t suffces to exhbt a Hopf algebra somorphsm f : k[x]/(x p x) k Z/pZ. The approprate map s gven by x e. Snce algebra maps preserve multplcatve denttes, we must have 1 e. =1 Extendng ths map multplcatvely, we see that x n n e because the e are mutually orthogonal dempotents. That x p x maps to zero s a result of Fermat s lttle theorem. It can also be shown that f preserves the count, comultplcaton, and the antpode. If we let {1, x, x 2,..., x } and {e 0, e 1, e 2,..., e } be ordered bases for k[x]/(x p x) and k Z/pZ respectvely, then the matrx of f, vewed as a lnear transformaton s gven by: 8 =1 =0
9 (3) f = p 1 (p 1) 2 (p 1) 3... (p 1) where the entres are to be reduced mod p. Ths matrx has a non-zero determnant because t has the same determnant as ts p 1 p 1 Vandermonde sub-matrx excludng the frst row and column. Ths sub-matrx has non-zero determnant because each row s generated by powers of the dstnct numbers 1, 2, 3,..., p 1. Thus, the matrx s nvertble and f s an somorphsm. The nverse s gven by the followng matrx: (4) f 1 = p 2 3 p 2... (p 1) p p 3 3 p 3... (p 1) p (p 1) (p 1) I ve wrtten the matrces wth entres that suggest the pattern nvolved, neglectng to reduce mod p. Here I wrte out the matrces for the case p = 5, reducng the entres approprately: (5) f = f 1 = Notce that f 1 gves a system of p mutually orthogonal dempotents n the k[x]/(x p x) as the mages of the e, a nontrval result. To be explct, we have: (6) e 0 1 x e n n 1 x p n = 1, 2,..., p 1 =1 Example 5.4. Combnng the prevous examples, we see that f g = g r m, then G g = G r m,(1). Example 5.5. In ths example we would lke to make explct the result suggested by notaton, that s, that the restrcted Le algebras gl n and sl n correspond to the heght one groups schemes GL n,(1) and SL n,(1) respectvely. Here k[gl n,(1) ] = k[x j ]/(x p j δ j) and k[sl n,(1) ] = 9
An 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 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 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 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 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 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 informationMath 594. Solutions 1
Math 594. Solutons 1 1. Let V and W be fnte-dmensonal vector spaces over a feld F. Let G = GL(V ) and H = GL(W ) be the assocated general lnear groups. Let X denote the vector space Hom F (V, W ) of lnear
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 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 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 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 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 informationALGEBRA MID-TERM. 1 Suppose I is a principal ideal of the integral domain R. Prove that the R-module I R I has no non-zero torsion elements.
ALGEBRA MID-TERM CLAY SHONKWILER 1 Suppose I s a prncpal deal of the ntegral doman R. Prove that the R-module I R I has no non-zero torson elements. Proof. Note, frst, that f I R I has no non-zero torson
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 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 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 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 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 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 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 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 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 informationALGEBRA HW 7 CLAY SHONKWILER
ALGEBRA HW 7 CLAY SHONKWILER 1 Whch of the followng rngs R are dscrete valuaton rngs? For those that are, fnd the fracton feld K = frac R, the resdue feld k = R/m (where m) s the maxmal deal), and a unformzer
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 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 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 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 informationFormulas for the Determinant
page 224 224 CHAPTER 3 Determnants e t te t e 2t 38 A = e t 2te t e 2t e t te t 2e 2t 39 If 123 A = 345, 456 compute the matrx product A adj(a) What can you conclude about det(a)? For Problems 40 43, use
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 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 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 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 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 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 informationDifference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
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 informationp-adic Galois representations of G E with Char(E) = p > 0 and the ring R
p-adc Galos representatons of G E wth Char(E) = p > 0 and the rng R Gebhard Böckle December 11, 2008 1 A short revew Let E be a feld of characterstc p > 0 and denote by σ : E E the absolute Frobenus endomorphsm
More informationDescent is a technique which allows construction of a global object from local data.
Descent Étale topology Descent s a technque whch allows constructon of a global object from local data. Example 1. Take X = S 1 and Y = S 1. Consder the two-sheeted coverng map φ: X Y z z 2. Ths wraps
More informationR n α. . The funny symbol indicates DISJOINT union. Define an equivalence relation on this disjoint union by declaring v α R n α, and v β R n β
Readng. Ch. 3 of Lee. Warner. M s an abstract manfold. We have defned the tangent space to M va curves. We are gong to gve two other defntons. All three are used n the subject and one freely swtches back
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 informationNOTES ON SIMPLIFICATION OF MATRICES
NOTES ON SIMPLIFICATION OF MATRICES JONATHAN LUK These notes dscuss how to smplfy an (n n) matrx In partcular, we expand on some of the materal from the textbook (wth some repetton) Part of the exposton
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 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 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 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 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 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 informationAffine and Riemannian Connections
Affne and Remannan Connectons Semnar Remannan Geometry Summer Term 2015 Prof Dr Anna Wenhard and Dr Gye-Seon Lee Jakob Ullmann Notaton: X(M) space of smooth vector felds on M D(M) space of smooth functons
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 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 informationLecture 4: Universal Hash Functions/Streaming Cont d
CSE 5: Desgn and Analyss of Algorthms I Sprng 06 Lecture 4: Unversal Hash Functons/Streamng Cont d Lecturer: Shayan Oves Gharan Aprl 6th Scrbe: Jacob Schreber Dsclamer: These notes have not been subjected
More informationPRIMES 2015 reading project: Problem set #3
PRIMES 2015 readng project: Problem set #3 page 1 PRIMES 2015 readng project: Problem set #3 posted 31 May 2015, to be submtted around 15 June 2015 Darj Grnberg The purpose of ths problem set s to replace
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 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 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 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 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 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 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 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 informationHomotopy Type Theory Lecture Notes
15-819 Homotopy Type Theory Lecture Notes Evan Cavallo and Stefan Muller November 18 and 20, 2013 1 Reconsder Nat n smple types s a warmup to dscussng nductve types, we frst revew several equvalent presentatons
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 information= s j Ui U j. i, j, then s F(U) with s Ui F(U) G(U) F(V ) G(V )
1 Lecture 2 Recap Last tme we talked about presheaves and sheaves. Preshea: F on a topologcal space X, wth groups (resp. rngs, sets, etc.) F(U) or each open set U X, wth restrcton homs ρ UV : F(U) F(V
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 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 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 informationMath 396. Bundle pullback and transition matrices
Math 396. Bundle pullback and transton matrces 1. Motvaton Let f : X X be a C p mappng between C p premanfolds wth corners (X, O) and (X, O ), 0 p. Let π : E X and π : E X be C p vector bundles. Consder
More information= z 20 z n. (k 20) + 4 z k = 4
Problem Set #7 solutons 7.2.. (a Fnd the coeffcent of z k n (z + z 5 + z 6 + z 7 + 5, k 20. We use the known seres expanson ( n+l ( z l l z n below: (z + z 5 + z 6 + z 7 + 5 (z 5 ( + z + z 2 + z + 5 5
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 informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationAn Exposition on The Laws of Finite Pointed Groups
An Exposton on The Laws of Fnte Ponted Groups Justn Laverdure August 21, 2017 We outlne the detals of The Laws of Fnte Ponted Groups [1], wheren a fnte ponted group s constructed wth no fnte bass for ts
More informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
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 informationSupplement: Proofs and Technical Details for The Solution Path of the Generalized Lasso
Supplement: Proofs and Techncal Detals for The Soluton Path of the Generalzed Lasso Ryan J. Tbshran Jonathan Taylor In ths document we gve supplementary detals to the paper The Soluton Path of the Generalzed
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 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 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 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 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 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 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 informationThe Multiple Classical Linear Regression Model (CLRM): Specification and Assumptions. 1. Introduction
ECONOMICS 5* -- NOTE (Summary) ECON 5* -- NOTE The Multple Classcal Lnear Regresson Model (CLRM): Specfcaton and Assumptons. Introducton CLRM stands for the Classcal Lnear Regresson Model. The CLRM s also
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 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 informationTHERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q.
THERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q. IAN KIMING We shall prove the followng result from [2]: Theorem 1. (Bllng-Mahler, 1940, cf. [2]) An ellptc curve defned over Q does not have a
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 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 information332600_08_1.qxp 4/17/08 11:29 AM Page 481
336_8_.qxp 4/7/8 :9 AM Page 48 8 Complex Vector Spaces 8. Complex Numbers 8. Conjugates and Dvson of Complex Numbers 8.3 Polar Form and DeMovre s Theorem 8.4 Complex Vector Spaces and Inner Products 8.5
More informationPolynomials. 1 What is a polynomial? John Stalker
Polynomals John Stalker What s a polynomal? If you thnk you already know what a polynomal s then skp ths secton. Just be aware that I consstently wrte thngs lke p = c z j =0 nstead of p(z) = c z. =0 You
More informationA CLASS OF RECURSIVE SETS. Florentin Smarandache University of New Mexico 200 College Road Gallup, NM 87301, USA
A CLASS OF RECURSIVE SETS Florentn Smarandache Unversty of New Mexco 200 College Road Gallup, NM 87301, USA E-mal: smarand@unmedu In ths artcle one bulds a class of recursve sets, one establshes propertes
More informationQuantum Mechanics I - Session 4
Quantum Mechancs I - Sesson 4 Aprl 3, 05 Contents Operators Change of Bass 4 3 Egenvectors and Egenvalues 5 3. Denton....................................... 5 3. Rotaton n D....................................
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 information7. Products and matrix elements
7. Products and matrx elements 1 7. Products and matrx elements Based on the propertes of group representatons, a number of useful results can be derved. Consder a vector space V wth an nner product ψ
More informationFrom Biot-Savart Law to Divergence of B (1)
From Bot-Savart Law to Dvergence of B (1) Let s prove that Bot-Savart gves us B (r ) = 0 for an arbtrary current densty. Frst take the dvergence of both sdes of Bot-Savart. The dervatve s wth respect to
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 informationCoordinate-Free Projective Geometry for Computer Vision
MM Research Preprnts,131 165 No. 18, Dec. 1999. Beng 131 Coordnate-Free Proectve Geometry for Computer Vson Hongbo L, Gerald Sommer 1. Introducton How to represent an mage pont algebracally? Gven a Cartesan
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 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 information