K-theoretic computations in enumerative geometry
|
|
- Olivia Gray
- 6 years ago
- Views:
Transcription
1 K-theoretc computatons n enumeratve geometry Shua Wang Oct 206 Introducton Recently, I m readng Prof. Okounkov s Lectures on K-theoretc computatons n enumeratve geometry, so ths notes s just a readng notes... 2 The localzaton theorem Let X be a smooth projectve scheme wth an smooth acton of the smooth dagonal group D. We want to consder the Grothendeck group K D (X) of D-lnearzed coherent sheaf on X. 2. Basc notatons and constructons Frst recall the followng notatons and constructons K D (X) the Grothendeck group of the category of D-equvarant locally free sheaves on X. K D (X) the Grothendeck group of the category of D-equvarant coherent sheaves on X. K D (X D ) the Grothendeck group of D-equvarant locally free sheaves on the fxed locus X D. K D (X D ) the Grothendeck group of category of D-equvarant locally free sheaves on the fxed locus X D., X(D): character group of D R(D) = Z[ ]. Z-group algebra assocated to the character group = X(T ), or smply the representaton rng of D. It s an ntegral doman. For χ, we usually use e χ to denote the correspondng element n R(D). And let S R(D) be the multplcatve subset generated by ( e χ ) for all non-trval χ, then we know 0 / S. cl(f ), [F ] The class represented by F n K D (X).
2 K D (Spec(k)) = R(D). From ths pont of vew K D (Spec(k)) contans more nformaton than the ordnary K(Spec(k)) = Z. pull-back f!. For f a D-equvarant morphsm, f! = K D (f), whch s nduced by the ordnary pull-back operaton of sheaves. push-forward f!. For f a D-equvarant morphsm, f! = K D (f), whch s nduced by the ordnary push-forward operaton of sheaves, or we can say, t s nduced by the drect mage functor f. ch, tr Let E be a k-lnear representaton of D, then tr(e) := (dm k E χ )e χ R(D). It s just the decomposton of a representaton nto the drect sum of -dmensonal rreducbles. tr X. If D actc trvally on X, then F = F χ. We forget the D-equvarant structure of F χ, and just vew t as an element n K(X), then we can defne a map tr x or tr? tr X : K D (X) K(X) Z R(D) E F χ e χ If x s a (closed) fxed pont of the D=-acton on X, whch means tr z : K D (x) K(x) Z R(D) s the somorphsm we just defned, however, t s just the map tr, snce a class n K(X) s represented by ts dmenson. tr : K D (x) R(D); E m χ E χ. χ λ-operaton. λ : K D (X) K D (X); [F ] [ F ]. λ t : K D (X) + tk D [[t]]; [F ] + + = λ [F ]t. Note that λ s a group homomorphsm. tr X s an somorphsm(we already know the case when X = Spec(k).) A = Sym k E. The symmetrc algebra assocated to the representaon E over k, t s also an ntegral doman. It has a natrual gradng, whch we can secretly take as k[x 0,..., x n ]. D A-graded modules. A D A-graded module M s a A-graded module wth a D acton on each graded pece subjected to d(am) = d(a)d(m); d D, a A, m M. The morphsms n the category of D A-graded modules are those graded of degree 0, A-lnear, D-lnear. 2
3 twsted D A-graded modules. Gven a graded D A-graded module, the twsted D A-graded module M χ s somorphc to M as A-modules, but wth a twsted acton by D: Note that we have d m := χ(d)dm. Hom D A graded (A χ ( n), N) = (N n ) χ. (N n ) χ means the submodule of N n wth the D-acton of weght χ. H (X, F ) s a representaton of D. Consder Čech cohomology and a theorem by Hdeyasu Sumhro whch says that we can fnd a D- onvarant affne open cover of X. There s another way to defne t, namely we have σ F d F F where the second map s gven by the lnearzaton of F, thus we have H (X, F ) H (X, σ F ) H (X, F ). The Lefschtz trace χ D (X, F ). Snce the functor F ( ) trh (X, F ) s addtve, so t nduces the Lefschtz trace Ch(F ) T odd(f ) T odd(x) := T odd(t X ). The Todd class of the tangent sheaf of X. ct D s the composton χ D (X, F ) : K D (X) R(D). tr K D (X) X Ch d R(D) K(X) Z R(D) A(X) Z Q Z R(D) T odd D s the composton K(X) Z R(D) T odd d R(D) A(X) Z Q Z R(D) 2.2 K D (X) and K D (X);! and! Proposton 2. (coherent sheaves v.s vector bundles, K D (X) = K D (X)). The natural of K D (X) nto the Grothendck group of the category of D-lnearzed coherent sheaves on X s an somorphsm. 3
4 Remark (tensor product s not the multplcaton n K D (X)). Snce tensor product s only rght exact, ths s not the multplcaton n K D (X),.e f we have a short exact sequence of coherent sheaves 0 E E 2 E 3 0. Then n K D (X), we have [E 2 ] = [E ] + [E 3 ], however, f F, a coherent sheaf, but not flat, then [E 2 F ] [(E E ) F ]. On the other hand, by the theorem above, we know K D (X) = K D (X) for a smooth projectve scheme X, tensor product s the multplcaton n K D (X), so we know K D (X) does have a rng structure. That s by Hlbert syzygy theorem, we can always fnd a free resoluton then we also have By the defnton of K D (X), we know 0 V n+ V 0 V = E 0 0 V n+ F V 0 F E F 0. [E ][F ] = ( ) [V ][F ]. Then by some general fact from homologcal algebra, we also get [E ][F ] = ( ) T or O X (E, F ). Example 2.2 (transverse ntersecton). Let Y, Y 2 be two closed subschmes of X n general poston, then we have [O Y ][O Y2 ] = [O Y Y 2 ]. Let : Y X be a D-equvarant closed mmerson of smooth projectve schemes wth D-acton. Proposton 2.3 (the projecton formula, push-pull). For any x K D (X), y K D (y), we have Proposton 2.4 (the self-ntersecton formula). Proposton 2.5 (the Cartsan formula). Let! (! x y) = x! y!! y = yλ N Y/X. T Z j j Y X be a Cartsan square of D-equvarant mmersons between smooth projectve schemes wth D-acton. Then there exsts γ T K D (T ), such that for y K D (y) 2.3 basc propertes!(γ T j! y) = j! (! y). Proposton 2.6 (Hdeyasu Sumhro). A normal varety over an algebracally closed feld wth an acton of a torus s covered by nvarant affne open subsets. Remark (normalty s necessary). Consder P /{0, }, or the projectve nodal curve. 4
5 Remark (Torus acton s necessary). Ba lynck-brula and Sweccka s paper On complete orbt spaces of SL(2) actons II. Proposton 2.7 (X D s smooth). Proposton 2.8 (Yur, Mann). Let Z be an smooth projectve varety(?), z Z a closed pont, j z : z Z the ncluson, then we have K(Z) = Z ker(j z ) and ker(j ) s nlpotent. If Z s an rreducble component of X D, consder the somorphsm tr Z, we actually have K D (Z) = (Z ker(j )) Z R(D) = R(D) ker(j! ) and ker(j! ) s nlpotent. the last dentty s due to the fact that K D (Z) s a natural R(D)-algebra, ker(j ) Z R(D) = ker(j! ). Proof. See Mann, Lectures on K-functors n algebrac geometry. 2.4 the localzaton theorem Theorem 2.9 (the localzaton theorem). The ncluson : X D X nduces an R(D)-lnear map! : K D (X) K D (X D ) whch s an somorphsm after localzaton w.r.t S, ts nverse s gven by Before provng ths theorem, we mght ask S K D (X D ) S K D (X) y S! (y(λ N X D /X ) ). why λ N s nvertble n S K D (X D ), n other words, why λ N S? 2.5 compute χ D (X, F ) va χ(x D,! F ) Proposton 2.0 (just lke H (Y, F ) = H (X, F )). Let : Y X be a D-equvarant closed mmerson, then χ D (Y, y) = χ D (X,! (y)). Remark (when H (Y, F ) = H (X, F )?). Proposton 2. (compute χ D (X D, )). If D acts trvally on X, then the followng dagram commutes: K D (X) tr X K(X) Z R(D) χ D (X, ) R(D) χ(x, ) d R(D) The frst proposton tells us f a coherent sheaf s the push-forward of some coherent sheaf on Y, then ther characters are the same. The second proposton tells us f you want to compute the character on the fxed locus, you can just use the ordnary, unlnearzed χ. And the localzaton theorem tells us proposton s always true, f we consder the localzaton w.r.t S, that s Proposton 2.2 (local-global). Let : X D X, x X X D (X, x) = S χ D (X D,! (X) (λ N ) ) n S R(D). 5
6 Proof. By the localzaton theorem, after takng the localzaton, we have x =! (! (x) (λ N ) ) then apply the frst proposton above, we get χ D (X, x) = S χ D (X D,! (x) (λ N ) ). Example 2.3 (χ(x, λ Ω X ) = χ(x T, λ Ω T )). Consder the cotangent sequence Snce λ-operaton s a group homomorphsm, we get Note that 0 N X D /X Ω X Ω X D 0. λ [ Ω X ] = λ N λ [Ω X D] λ [ Ω X ] =! [λ Ω X ] by defnton. In general, we don t have ths knd of dentty, but snce X s smooth, Ω X s a vector bundle, thus flat, so s ts restrcton on X D, thus! [Ω X ] contans only the frst term, that s Ω X = f Ω X f O Y O X D. λ Ω X D =! [λ Ω X ] (λ N ) Thus by the local-global proposton above, we get χ D (X, λ Ω X ) = χ D (X D, λ Ω X D) n S R(D). Specally, f D = T s an algebrac torus, then the dentty golds n R(D). So no need to worry about the denomnator, let e χ =, for all χ, then we get χ(x, λ Ω X ) = χ(x D, λ Ω X D). Remark (what s the dfference between D and an algebrac torus?). 2.6 Lefschtz fxed pont theorem Theorem 2.4 (Lefschtz fxed-pont theorem, solated, fnte). If X D s solated and fnte, for a D- equvarant coherent sheaf F on X, we have Proof. Because! [F ] = [F z ]. N z/x = T z/x. ( ) trh (X, F ) = z X D trf z ( ) tr T z X. Remark (! F = F = F z?). Ths s for sure true f F s a vector bundle, here because z s an solated pont, K D (z) = Z, so t s true n general. Example 2.5 (Weyl character formula). 6
7 Theorem 2.6 (the cohomologcal formula). ct D ( F )T odd D (X D ) χ D (X, F ) = X ct D D (λ N X D /X ). Theorem 2.7 (the Woods-Hole formula). Let σ D(k). The evaluaton map ev σ : R(D) k; χ χ(σ) gves us the ordnary trace,.e ev σ (T r(e)) = T r(σ, E), the trace of the σ on E. If σ s a dense(regualr) element(.e χ(σ) for all non-trval character χ), then ev σ can be extended to be a map We have where d z s the dfferental at z. ev σ : S R(D) k. ( ) T r(σ, H (X, F )) = T r(σ, F z ) Det( d z σ) z X D Theorem 2.8 (Specalzaton to the Wtt rng). Assume that char(k) = p 0. For an element σ D(k), the composte of the evaluaton map ev σ and the Techmuller lftng w : k W tt(k) gves a map b σ ; R(D) W tt(k), such that we have b σ (tr(e)) = BT r(σ, E), the Brauer trace for the operaton of σ on E. If we assume further that D s fnte cyclc wth generator d D(k), d s regular(dense), then b σ can be extended to be R(D) S R(D) W tt(k) then we can get a formula of P.Donovan(Thm5.3, The Lefschtz-Remann-Roch formula) 2.7 Some comparsons Example 2.9 (K(X) and P c(x)). Example 2.20 (Lefschtz fxed-pont theorem and Lefschtz hyperplane theorem). Example 2.2 (K(X) and CH(X) = A(X)). 3 Equvarant K-theory of Grassmannans 4 Equvarant K-theory of Flag varetes 5 K-theoretc proof of the Weyl Character formula 6 Comparsons between ntersecton theory and K-theory 7 Exercses n Andre s notes, Chapter 2 Example 7. (Ex2..5). ( s) k χ k V (t) = Π( st µ ) = exp( n sn χ V (t n )). Choose a bass {e,..., e k } for the weght decomposton of V, {e... e r < 2 < r r} s a bass for the weght decomposton of r V, and the second dentty comes from ln( + x) = x x2 2 + x
8 Example 7.2 (Ex2..7, Koszul complex). Construct an GL(V )-equvarant exact sequence 2 V S V V S V S V C 0. Example 7.3 (Ex2..9). Consder V = Spec(C[x,..., x n ]) as an algebrac varety on whch GL(V ) acts. Construct a GL(V )-equvarant resoluton of O 0, the struture sheaf of 0 V by vector bundles on V. 0 O (n n) C n O(n ) C n (x,...,x n) O C n O 0 0. But ths s the same as gven by the Koszul complex. We need somethng else. Example 7.4 (Ex 2..2,Ex 2..4 µ = 0 s not a weght of V ). Snce µ = 0 s not a weght of V, we have S V = ( ) rkv detv S V. k 0 k 0 Then S V = ( ) rkv detv S V s nothng but χ Sk V (t) = t µ χ S k V (t) = t µ χ detv (t) = t µ. t t = ( ) t. Wth ths descrpton, we naturally get S (V V 2 ) = S V S V 2, specally S ( V ) = V = ( ) V. Example 7.5 (Ex2..7, 2..8, the map S ). K T K T,localzed S (a b) = b a, a b S q = Π q n b n 0 q n a S a ( q) k+ = Π n 0( q n a) (n+k n ) Here, I thnk a, b represent some vrtual -dmensonal T -representatons wth non-trval character. Then S a = a, S b = b. Together wth the taylor expanson of q and ( q) k+, we get the formula above(note that S turns drect sums nto tensor products). Example 7.6 (nverse of S ). Prove that the nverse to S s gven by χ V (t) = n>0 µ(n) n lnχ S V (t n ) 8
9 where µ s the Mobus fucton µ(n) = { ( ) #prme factors, n square free 0, otherwse. () Let s prove a specal case frst, the -dmensonal representaton χ V (t) = t. We need to prove t = n µ(n) n ln( t n ) plug n t = 0, they are the same. Then we compute the dervatves, = n In the RHS, the coeffcent of t k, k s gven by µ(n) = (n )+rn=k µ(n)t n t n. n (k+) µ(n) = 0. The last equalty follows from the prme factorzaton of k + and the defnton of µ(n). Actually, ths does gve us a proof. By changes of the varable, we have t µ = n µ(n) n ln( t nµ ) thus = n χ V (t) = µ(n) n t µ = n ln(π t ) = nµ n>0 µ(n) n ln( t nµ ) µ(n) n lnχ S V (t n ). Example 7.7 (Balynck-Brula decomposton, page23). We use ths method(nstead of Morse theory), to compute the Poncaré polynomal of several Hlbert schemes of ponts. Example 7.8 (Ex 2.2.3, KG (X) K G(X)). Consder X = Spec(C[x, x 2 ]/(x x 2 )) C 2 wth the natural t 0 acton of the maxmal torus T = GL(2). Let F = O 0 be the structure sheaf of the orgn 0 X. 0 t 2 We want to compute the mnmal T -equvarant resoluton 2 d 2 R R d R 0 d F 0 of F by sheaves(not necessarly vector bundles!) of the form R = O X R where R s a fnte dmensonal T -module. To do ths let R 0 = O X, H 0 (O X ) = span{, x k, x k 2 k } 9
10 Smlarly, we defne R = O X (Ce Cf ), wt(e ) = t, wt(f ) = t 2 d : t n e t n t, t n f t n t 2. It s straghtforward to check that Now we know R k = O X (Ce k Cf k ), wt(e k ) = t 2 t k, wt(f k ) = t t k 2 d k : t n e k (t n t ) f (k ), t n f k (t 2 t n ) e (k ), ker(d k ) = span{t n 2 e k, t n f k n } = m(d (k+) ). R k F = (O X F ) R = R, χ R Tor (F, F ) := H (R F ) = R. = t 2 t k + t t k 2. The last equalty s because of Schur s lemma and the fact that dfferent R s have dfferent weghts. Ths already tells us F s not n the mage of K T (X) K T (X). We also know ( ) χ(f )2 χ Tor (F,F) = χ(o X ) = 2 t + t 2 ( t )( t = t t 2 Remark ( ( ) χ Tor (F,F) = χ(f)2 χ(o X )). In the derved category of coherent sheaves, we have F L G F G If we assume the free resolutons are T -equvarant and of the form O X F, O X G, for some T -modules F and G. We get 2 ). χ(f L G ) = ( ) χ Tor (F,G ) = ( ) χ( m+n= (O X F m ) (O X G n )) = thus n ths stuaton, we have χ(o X ) ( ) ( m+n= = χ(f L G ) = χ(o X F m )χ(o X G n )) χ(f )χ(g ), χ(o X ) what we want n the example s above s just a specal case. χ(f )χ(g ), χ(o X ) Remark (every coherent sheaf on a smooth varety s perfect). Example 7.9 (Ex 2.2.6). Generalze the last dentty above to the case X = Spec(C[x,..., x d ]/I) where I I are monomal deals. F = C[x,..., x n ]/I 0
11 Example 7.0 (Ex 2.2.0, 2.3.4, compute χ(p n, O(k)) by localzaton). Take X = P n = P(C n+ ) and GL(n + ) naturally acts on X. {D + (x )} n+ = s a T -nvarant Čech coverng of Pn. We denote O(k) by F n+=k t t t n+ n+ k 0 χ(p n, O(k)) = 0 n < k < 0 (t t 2... t n ) +... n+= k n t t tn+ k n (2) fxed ponts weght of the stalk. p = [0,..., 0, x =, 0,..., 0] wt(f p ) = t k weght of λ N p /P n, use the fact that N p/p n = T P n p, the localzaton theorem tells us that wt(n p /P n) = j t t j (λ N p /P n) = Π j ( t t j ) χ(p n, O(k)) = n+ = t k Π j ( t t j ). to convnce yourself ths s s the correct answer, check for example χ(p, O(k)) = t k t k 2 + t t 2 t2 = t k 2 t t k t 2 = t k 2 t ( ( t2 t ) k+ ) t t 2 t t 2 = t k 2 (t t 2 )( + t2 t + + ( t2 t ) k ) t t 2 = t t j 2. +j=k We note that ths only checks the k 0 cases, because we need the factorzaton of x k+, but t s not a problem at all, use the factorzaton of x k y k nstead. Ths also gves us a way to check the two expresson of χ(p n, O(k)), we leave t as an exercse. Remark (Euler sequence, tangent sequence are not T -equvarant ). We know N p/p n = O() n, but we can not use ths somorphsm to compute the character of the normal bundle, because t s not a T -equvarant somorphsm. To be more precse, as vector bundles they re the same, but the T -acton on the normal bundle n ths exercse doesn t agree wth the natural T -acton on O() n. Remark (S k C n s rreducble). We can use the computaton of the character to prove that S n C n s rreducble as a representaton of GL(n). Example 7. (Ex 2.3.5, χ(g/b, L λ )). t
12 Example 7.2 (χ(x a,b, O(k)), character of sheaves on a weghted projectve space). For a, b > 0, consder the weghted projectve lne z a 0 X a,b := C 2 \ {0}/, z C. 0 z b Then D + (x), D + (y) are two orbfold charts. Lke any C -quotent, t nherts an orbfold lne bundle O(k) whose sectons are functons φ on C 2 \ {0} such that φ(z x) = z k φ(x). These sectons are just the vector space spanned by monomals of the form Then we easly get the character formula χ(x a,b, O(k))s k = k 0 x y j, a + bj = k. ( t sa )( t 2 sb ). We can also get ths result by applyng the localzaton theorem(for orbfolds), qute smlar lke the P case, we have χ(x a,b, O(k)) = t k + t k 2 COMPUTING TORUS-EQUIVARIANT K-THEORY OF SINGULAR VARIETIES A celebraton of algebrac geometry Example 7.3 (Ex Projecton formula). f (F f E ) = f (F ) E. Example 7.4 (fractonal power of the canoncal bundle). Let X be a proper nonsngular varety wth a nontrval acton of T = C, Assume that a fractonal power K p, 0 < p < of the canoncal bundle K X exsts n Pc(X). Replacng T by a fnte cover, we can make t act on K p. Show that χ(x, K p ) = 0. What does ths say about projectve spaces? Concretely, whch are the bundles K p, 0 < p <, for X = P n and what do we know about ther cohomology? Serre dualty, K s t = O P n( s(n+) t ), f we assume (s, t) =, we then need t (n + ). Example 7.5 (χ(x, λ Ω X ) = χ(x T, λ Ω T )). Consder the cotangent sequence Snce λ-operaton s a group homomorphsm, we get Note that 0 N X D /X Ω X Ω X D 0. λ [ Ω X ] = λ N λ [Ω X D] λ [ Ω X ] =! [λ Ω X ] by defnton. In general, we don t have ths knd of dentty, but snce X s smooth, Ω X s a vector bundle, thus flat, so s ts restrcton on X D, thus! [Ω X ] contans only the frst term, that s Ω X = f Ω X f O Y O X D. 2
13 λ Ω X D =! [λ Ω X ] (λ N ) Thus by the local-global proposton above, we get χ D (X, λ Ω X ) = χ D (X D, λ Ω X D) n S R(D). Specally, f D = T s an algebrac torus, then the dentty golds n R(D). So no need to worry about the denomnator, let e χ =, for all χ, then we get χ(x, λ Ω X ) = χ(x D, λ Ω X D). Example 7.6 (Ex 2.4.2, localzaton formula for χ(x, λ Ω X )). Let X be proper and smooth wth an acton of a connected reductve group G. Wrte a localzaton formula for the torus acton of T G on ( z) p χ(x, Ω p ) p and conclude that every term n ths sum s a trval G-module. Wthout losng of generalty, we may assume X T s an rreducble subvarety(otherwse, the localzaton formula s just the summaton over all the components, whch makes no essental dfference). From the example above, we know χ(x, λ Ω X ) = χ(x T, λ Ω X T ), and ths s essentally what we need, we can wrte down the localzaton theorem ( z) p χ(x, Ω p ) = χ(x, λ z Ω X ) = tr(λ zω X X T ) tr(λ N X T /X ) p = tr(λ zn X T /X )tr(λ zω X T ) tr(λ N X T /X ). Note that the torus acton on X T s just the dentty acton, thus the formula tr(λ z N X T /X)( z)dmxt tr(λ N X T /X ) Let tr(n X T /X ) = w + + w k,where w are Laurent polynomals w.r.t t,..., t dmt, then we fnally have ( z) p χ(x, Ω p ) = χ(x, λ z Ω X ) = ( Π k z)dmxt = ( zw ) Π k = ( w. ) p No matter what knd of lmt we take w.r.t t, the formula above s always well-defned, ths tells us that t s actually of the form ( z) p χ(x, Ω p ) = a p z p, a p Z 0. p p Ths tells us exactly every term Ω p s a trval G-module. Remark. compact Kähler + Hodge theory gves trvalty of G-acton on each 8 Chapter 3 H q (X, Ω p ) H p+q (X, C). Example 8. (Ex3.3.3, 3.3.4, 3.3.5, Spn representatons of SO(V )). 3
where 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationA FORMULA FOR EULER CHARACTERISTICS OF TAUTOLOGICAL LINE BUNDLES ON THE DELIGNE-MUMFORD MODULI SPACES. Y.P. Lee. U. C. Berkeley
A FORMULA FOR EULER CHARACTERISTICS OF TAUTOLOGICAL LINE BUNDLES ON THE DELIGNE-MUMFORD MODULI SPACES Y.P. Lee U. C. Berkeley Abstract. We compute holomorphc Euler characterstcs of the lne bundles n L
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 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 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 informationSome notes on Futaki invariant
Some notes on Futak nvarant Ch L Analytc Defnton of Futak Invarant Let be an n dmensonal normal varety. Assume t s Fano,.e. ts antcanoncal lne bundle K s ample. If s smooth, then for any Kähler form ω
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 informationLIMITS OF ALGEBRAIC STACKS
LIMITS OF ALGEBRAIC STACKS 0CMM Contents 1. Introducton 1 2. Conventons 1 3. Morphsms of fnte presentaton 1 4. Descendng propertes 6 5. Descendng relatve objects 6 6. Fnte type closed n fnte presentaton
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 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 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 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ÉTALE COHOMOLOGY. Contents
ÉTALE COHOMOLOGY GEUNHO GIM Abstract. Ths note s based on the 3-hour presentaton gven n the student semnar on Wnter 2014. We wll bascally follow [MlEC, Chapter I,II,III,V] and [MlLEC, Sectons 1 14]. Contents
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 informationShort running title: A generating function approach A GENERATING FUNCTION APPROACH TO COUNTING THEOREMS FOR SQUARE-FREE POLYNOMIALS AND MAXIMAL TORI
Short runnng ttle: A generatng functon approach A GENERATING FUNCTION APPROACH TO COUNTING THEOREMS FOR SQUARE-FREE POLYNOMIALS AND MAXIMAL TORI JASON FULMAN Abstract. A recent paper of Church, Ellenberg,
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 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 informationarxiv:math/ v1 [math.ag] 28 Mar 2003
GROMOV-WITTEN INVARIANTS OF THE HILBERT SCHEME OF 3-POINTS ON P 2 arxv:math/0303367v1 [math.ag] 28 Mar 2003 DAN EDIDIN 1, WEI-PING LI 2, AND ZHENBO QIN 3 Abstract. Usng obstructon bundles, composton law
More information763622S ADVANCED QUANTUM MECHANICS Solution Set 1 Spring c n a n. c n 2 = 1.
7636S ADVANCED QUANTUM MECHANICS Soluton Set 1 Sprng 013 1 Warm-up Show that the egenvalues of a Hermtan operator  are real and that the egenkets correspondng to dfferent egenvalues are orthogonal (b)
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 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 informationZeros and Zero Dynamics for Linear, Time-delay System
UNIVERSITA POLITECNICA DELLE MARCHE - FACOLTA DI INGEGNERIA Dpartmento d Ingegnerua Informatca, Gestonale e dell Automazone LabMACS Laboratory of Modelng, Analyss and Control of Dynamcal System Zeros and
More informationCategorifying 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 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 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 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 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 informationarxiv:alg-geom/ v3 6 Mar 2014
The Homogeneous Coordnate Rng of a Torc Varety Revsed June 21, 1993 Davd A. Cox Department of Mathematcs and Computer Scence Amherst College Amherst, MA 01002 arxv:alg-geom/9210008v3 6 Mar 2014 Ths paper
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 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 informationBezier curves. Michael S. Floater. August 25, These notes provide an introduction to Bezier curves. i=0
Bezer curves Mchael S. Floater August 25, 211 These notes provde an ntroducton to Bezer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of the
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 informationDifferential Polynomials
JASS 07 - Polynomals: Ther Power and How to Use Them Dfferental Polynomals Stephan Rtscher March 18, 2007 Abstract Ths artcle gves an bref ntroducton nto dfferental polynomals, deals and manfolds and ther
More informationON THE GRAYSON SPECTRAL SEQUENCE. Andrei Suslin
ON THE GRAYSON SPECTRAL SEQUENCE Andre Susln Introducton The man purpose of these notes s to show that Grayson s motvc cohomology concdes wth the usual defnton of motvc cohomology - see [V2, S-V] for example
More informationMEM 255 Introduction to Control Systems Review: Basics of Linear Algebra
MEM 255 Introducton to Control Systems Revew: Bascs of Lnear Algebra Harry G. Kwatny Department of Mechancal Engneerng & Mechancs Drexel Unversty Outlne Vectors Matrces MATLAB Advanced Topcs Vectors A
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 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 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 information1 (1 + ( )) = 1 8 ( ) = (c) Carrying out the Taylor expansion, in this case, the series truncates at second order:
68A Solutons to Exercses March 05 (a) Usng a Taylor expanson, and notng that n 0 for all n >, ( + ) ( + ( ) + ) We can t nvert / because there s no Taylor expanson around 0 Lets try to calculate the nverse
More informationQuantum Mechanics for Scientists and Engineers. David Miller
Quantum Mechancs for Scentsts and Engneers Davd Mller Types of lnear operators Types of lnear operators Blnear expanson of operators Blnear expanson of lnear operators We know that we can expand functons
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 informationEQUIVALENCES OF DERIVED CATEGORIES AND K3 SURFACES DMITRI ORLOV
EQUIVALENCES OF DERIVED CATEGORIES AND K3 SURFACES DMITRI ORLOV Abstract. We consder derved categores of coherent sheaves on smooth projectve varetes. We prove that any equvalence between them can be represented
More informationKLR algebras and knot homology II
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, 013 1 / 5 The case of sl So, remember, last tme I ntroduced an algebra
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 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 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 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 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 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 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 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 informationDeformation quantization and localization of noncommutative algebras and vertex algebras
Deformaton quantzaton and localzaton of noncommutatve algebras and vertex algebras TOSHIRO KUWABARA 1 The present paper s a report for the proceengs of 59th Algebra Symposum held at the Unversty of Tokyo
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 informationLOCAL COHOMOLOGY AND D-MODULES
LOCAL COHOMOLOGY AND D-MODULES talk gven at the Unversty of Mchgan Student Commutatve Algebra Semnar 4 & 11 October, 2011 by Ashley K. Wheeler Ths talk follows the frst half of Mel Hochster s notes D-modules
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 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 informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #25 12/05/2013
18.782 Introducton to Arthmetc Geometry Fall 2013 Lecture #25 12/05/2013 25.1 Overvew of Mordell s theorem In the last lecture we proved that the torson subgroup of the ratonal ponts on an ellptc curve
More informationDECOUPLING THEORY HW2
8.8 DECOUPLIG THEORY HW2 DOGHAO WAG DATE:OCT. 3 207 Problem We shall start by reformulatng the problem. Denote by δ S n the delta functon that s evenly dstrbuted at the n ) dmensonal unt sphere. As a temporal
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 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 informationFACTORIAL P- AND Q-SCHUR FUNCTIONS REPRESENT EQUIVARIANT QUANTUM SCHUBERT CLASSES
Ikeda, T., Mhalcea, L.C. and Naruse, H. Osaka J. Math. 53 (2016), 591 619 FACTORIAL P- AND Q-SCHUR FUNCTIONS REPRESENT EQUIVARIANT QUANTUM SCHUBERT CLASSES TAKESHI IKEDA, LEONARDO C. MIHALCEA and HIROSHI
More informationDistribution det x s on p-adic matrices
January 30, 207 Dstruton det x s on p-adc matrces aul arrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Let e a p-adc feld wth ntegers o, local parameter, and resdue feld cardnalty q. Let A
More informationTHE CLASS NUMBER THEOREM
THE CLASS NUMBER THEOREM TIMUR AKMAN-DUFFY Abstract. In basc number theory we encounter the class group (also known as the deal class group). Ths group measures the extent that a rng fals to be a prncpal
More informationDeriving the X-Z Identity from Auxiliary Space Method
Dervng the X-Z Identty from Auxlary Space Method Long Chen Department of Mathematcs, Unversty of Calforna at Irvne, Irvne, CA 92697 chenlong@math.uc.edu 1 Iteratve Methods In ths paper we dscuss teratve
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 informationarxiv: v1 [math.rt] 19 Jul 2008
arxv:0807.105v1 [math.rt] 19 Jul 008 Broué s Abelan Defect Group Conjecture for the Tts Group Danel Robbns Abstract In ths paper we prove that Broué s abelan defect group conjecture holds for the Tts group
More information