DEFORMATION THEORY MICHAEL KEMENY
|
|
- Louise Morgan
- 5 years ago
- Views:
Transcription
1 DEFORMATION THEORY MICHAEL KEMENY 1. Lecture 1: Deformations of Algebras We wish to first illustrate the theory with a technically simple case, namely deformations of algebras. We follow On the Deformation of Rings and Algebras by Murray Gerstenhaber (Annals 1964) closely. Let k be any field. Definition 1.1. An associative algebra over k is a vector space V over k together with a bilinear map f : V V V such that f is associative, i.e. f(f(a, b), c) = f(a, f(b, c)). Let A = (V, f) be an associative algebra. We say A is a commutative algebra if f is commutative, i.e. f(a, b) = f(b, a). Let V be a vector space over k and let K = k((t)) be the quotient power series field of R = k[[t]], the power series ring. Consider the K vector space There is a natural inclusion of k-vector spaces. V K := V k K. V V K Definition 1.2. A bilinear map f t : V K V K V K is called a one parameter family of deformations of A if (1) f t has the form f t (a, b) = ab + tf 1 (a, b) + t 2 F 2 (a, b) +... where F i : V V V is a bilinear function and a, b V (by linearity, it is enough to specify f t on V ). (2) f t is associative. Note that (ii) says that we have an algebra A t = (V t, f t ) over K = k((t)). In (i), ab denotes the product f(a, b) on A. Condition (i) is in fact a flatness condition in disguise. Remark 1.3. Note that we did not impose any convergence type conditions on (i), which is a purely formal property. On the other hand, if we are very lucky and say F j = 0 for j n 0 + 1, then for any s k we may set t = s and obtain a k algebra with product f s (a, b) = ab + sf 1 (a, b) + s 2 F 2 (a, b) s n 0 F n0 (a, b). In this case we would have an actual (or algebraic) family of algebras in the intuitive sense. In general, it is hard to decide when (formal) one parameter families of deformations come from algebraic families. Date: October 21,
2 2 MICHAEL KEMENY Goal. Classify one parameter families of deformations of A = (V, f) up to equivalence, under suitable conditions. Definition 1.4. Fix an associative algebra A = (V, f). Let f t, g t : V K V K be two oneparameter families of deformations of A. Then f t g t (in words f t and g t are equivalent), if there exists a linear automorphism Φ t : V K V K of the form for a V, ψ i for a, b V. Φ t (a) = a + tψ 1 (a) + t 2 ψ 2 (a) +... : V V linear maps, such that we have g t (a, b) = Φ 1 t f t (Φ t (a), Φ t (b)) We say f t is trivial if f t f, where f(a, b) = ab is the product on A. If f t is trivial, then in fact A t = (V K, f t ) is isomorphic to A K := A k K (check!) Hochschild cohomology for algebras. One parameter families of deformations of associative algebras are described by Hochschild cohomology. Let k be a field and A an associative k-algebra. Let M be an A-A bimodule. Define We have a chain complex C 0 (A, M) := M C n (A, M) := Hom k (A n, M) for n > 0 C n (A, M) := 0 for n < 0 C n 1 (A, M) d C n (A, M) d C n+1 (A, M) with differentials d : C n (A, M) C n+1 (A, M) defined as for n+1 d = ( 1) i i, i=0 r 0 f(r 1,..., r n ) if i = 0 i f(r 0,..., r n ) := f(r 0,..., r i 1 r i,..., r n ) if 1 i n f(r 0,..., r n 1 )r n if i = n + 1. If n = 0, d : M Hom k (A, M) is defined by Exercise 1. Check d 2 = 0. d(m)(a) := am ma. We will do the above exercise for degree zero: d(dm)(r 0, r 1 ) = r 0 (dm)(r 1 ) dm(r 0 r 1 ) + (dm(r 0 ))r 1 = r 0 (r 1 m mr 1 ) (r 0 r 1 m mr 0 r 1 ) + (r 0 m mr 0 )r 1 = 0 The Hochschild cohomology module H n (A, M) is then the cohomology in the middle of Clearly C n 1 (A, M) d C n (A, M) d C n+1 (A, M). H 0 (A, M) = {m M am = ma a A}.
3 DEFORMATION THEORY 3 In particular, is the centre of A. H 0 (A, A) = {a A ab = ba b A} = Z(A) Exercise 2. A k-linear function f : A M is called a k-derivation if f(rs) = rf(s) + f(r)s. Let Der k (A, M) denote the k-vector space of derivations, and let PDer k (A, M) be the space of principal derivations, i.e. derivations of the form g m : A M, g m (a) = am ma for some fixed m M. Show H 1 (R, M) = Der k (A, M)/PDer k (A, M). If R is a commutative algebra and M and R module, then PDer k (R, M) = 0 and the above exercise shows H 1 (R, M) = Der k (R, M) Hom R (Ω R/k, M), where Ω R/k is the module of Kähler differentials (see Hartshorne) Classifying 1-par. Families of Defs. of Algebras. Let f t be a bilinear map V K V K V K satisfying f t (ab) = ab + tf 1 (a, b) + t 2 F 2 (a, b) +... for a, b V, F i ; V V V bilinear. Then the associativity condition for all a, b, c V holds if and only if Comparing coefficients in t we find f t (f t (a, b), c) = f t (a, f t (b, c)) f t (a, b)c + tf 1 (f t (a, b), c) + t 2 F 2 (f t (a, b), c) +... =af t (b, c) + tf 1 (a, f t (b, c)) + t 2 F 2 (a, f t (b, c)) +... F 1 (a, b)c + F 1 (ab, c) = af 1 (b, c) + F 1 (a, bc). Exercise 3. Check the condition above is equivalent to F 1 Ker(d : C 2 (A, A) C 3 (A, A)) := Z 2 (A, A). Definition 1.5. If f t V K V K V K is a 1-par family of defs of A, then F 1 Z 2 (A, A) is called a first order deformation of A. An arbitrary element G Z 2 (A, A) is called integrable if it is a first order deformation, i.e. if G is the differential of some 1-para family of defs g t : V K V K V K. Lemma 1.6. Let f t : V K V K V K be a 1-par family of defs of A, and assume g t is equivalent to f t. Let F 1 resp. G 1 be the associated first order deformations to f t resp. g t. Then [F 1 ] = [G 1 ] H 2 (A, A). Proof. Write f t (a, b) = ab + tf 1 (a, b) +... g t (a, b) = ab + tg 1 (a, b) +... By assumption, there exists Φ t V K V K, Φ t (a) = a + tψ 1 (a) + t 2 ψ 2 (a) +... such that or in other words g t (a, b) = Φ 1 t (f t (Φ t (a), Φ t (b)) Φ t (ab + tg 1 (a, b) +...) = Φ t (a)φ t (b) + tf 1 (Φ t (a), Φ t (b)) +... Expanding this out and collecting coefficients in t we get ψ 1 (a, b) + G 1 (a, b) = ψ 1 (a)b + aψ 1 (b) + F 1 (a, b).
4 4 MICHAEL KEMENY Hence we see G 1 (a, b) F 1 (a, b) = aψ 1 (b) ψ 1 (ab) + ψ 1 (a)b = (dψ 1 )(a, b). Exercise 4. Verify the following converse. Suppose f t is a 1-par family of defs with differential F 1 Z 2 (A, A). Assume G 1 Z 2 (A, A) has [F 1 ] = [G 1 ] H 2 (A, A). Show there is some g t f t with differential G t. To be precise, show the equivalence is defined by Φ t (a) = a + tψ 1 (a), where G 1 F 1 = dψ 1. As a result of this exercise and the lemma, we call H 2 (A, A) the group of first order deformations of A. We also have Corollary 1.7. Integrability of an element G Z 2 (A, A) depends only on [G] H 2 (A, A). We now give a criterion for [G] H 2 (A, A) to be integrable, that is, realised as the differential of a 1-par family of defs of A. We first record: Exercise 5. Show f t is associative if and only if (1) : V K V K V K of the form f t (a, b) = ab + tf 1 (a, b) + t 2 F 2 (a, b) +... F i (F j (a, b), c) F i (a, F j (b, c)) = 0 for al k = 1, 2,..., where F 0 (a, b) := f(a, b) = ab is the product on A. Note that we have already used Equation (1) for k = 1, where it gives that F 1 C 2 (A, A) must lie in Z 2 (A, A). If we set k = 2 into Equation (1) we get F 1 (F 1 (a, b), c) F 1 (a, F 1 (b, c)) = af 2 (b, c) F 2 (ab, c) + F 2 (a, bc) F 2 (a, b)c = (df 2 )(a, b, c) For any G C 2 (A, A), define the associator G C 3 (A, A) by G(a, b, c) := G(G(a, b), c) G(a, G(b, c)) C 3 (A, A). It is easily checked that if G Z 2 (A, A) then G Z 3 (A, A). From Equation (1) for k = 2 we thus see: Lemma 1.8. A necessary condition for G Z 2 (A, A) to be integrable is [ G] = 0 H 3 (A, A). We wish to show a converse. Firstly, note that Equation (1) can be rewritten as (2) F i (F j (a, b), c) F i (a, F j (b, c)) = (df k )(a, b, c). In the case k = 1, the left hand side is non-existent and the equation should be interpreted as saying df 1 = 0. A necessary and sufficient condition for F 1 := G Z 2 (A, A) to be integrable is that there exist F 1, F 2,... C 2 (A, A) such that Equation (2) holds for all k (F 0 := f, the product on A, as usual). We will prove: Theorem 1.9 (Gerstenhaber). Assume H 3 (A, A) = 0. integrable. To establish Gerstenhaber s Theorem, it suffices to prove the following. Then every element in H 2 (A, A) is
5 DEFORMATION THEORY 5 Claim Let F 1,..., F n 1 C 2 (A, A) satisfy equation (2) for k = 1, 2,..., n 1. Set G n (a, b, c) := F i (F j (a, b), c) F i (a, F j (b, c)) C 3 (A, A). Then G n Z 3 (A, A). Proof of Theorem 1.9 assuming Claim Assume H 3 (A, A) = 0. Assume in addition F 1 Z 2 (A, A), i.e. we are assuming Equation (1) holds for k = 1. Then we have that the associator F 1 lies in Z 3 (A, A) (as we saw above) so we can find F 2 C 2 (A, A) with G 2 = F 1 = df 2. By the claim we then have that G 3 Z 3 (A, A), and so there exists F 3 C 2 (A, A) with G 3 = df 3. Using induction, we then define elements F 2, F 3,... C 2 (A, A) satisfying Equation (2) for all k. 2. Lecture 2 To finish the proof of Gerstenhaber s theorem, it remains to prove Claim In order to do this, we first introduce some structures on C (A, A) := n C n (A, A). Let f C m+1 (A, A), g C n+1 (A, A), m, n 0. Then one defines f i g C n+m+1 (A, A) by the formula f i g(a 0,..., a i 1, b 0,..., b n, a i+1,..., a m ) := f(a 0,..., a i 1, g(b 0,..., b n ), a i+1,..., a m ). We define f g C n+m+1 (A, A) by m f g = ( 1) ni f i g i=0 We have f g = { f 0 g + f 1 g f m g if n even, f 0 g f 1 g ( 1) m f m g if n odd Note that if f, g C 2 (A, A) then f g C 3 (A, A) is given as f g(a, b, c) = f(g(a, b), c) f(a, g(b, c)). Thus Equation 2 can be rewritten as (3) F i F j = (df k ). The -product is not associative in general. However, we have: Exercise 6. Assume f, g, h C 2 (A, A). Show (1) (f g) g = f (g g) (2) f (g h + h g) = (f g) h + (f h) g
6 6 MICHAEL KEMENY We next define a cup-product on C (A, A). For f C m (A, A), g C n (A, A) we define f g C n+m (A, A) by f g(a 1,..., a m, b 1,..., b n ) = f(a 1,..., a m )g(b 1,..., b n ). The cup product makes C (A, A) into an associative algebra over k. It is easy to see that if f C m (A, A), g C n (A, A) then Exercise 7. Assume f, g C 2 (A, A). Show d(f g) = df g + ( 1) m f dg. d(f g) = f dg df g + g f f g. Proof of Claim Let F 1,..., F n 1 C 2 (A, A) satisfy equation (2). Set G n (a, b, c) := F i F j C 3 (A, A). We need to prove dg n = 0. We have, by the previous exercise dg n = F i df j df i F j + (F j F i F i F j ) = F i df j df i F j by anti-symmetry of the term F j F i F i F j in (i, j). By hypothesis, we further have F i df j df i F j = F α (F β F γ ) (F α F β ) F γ α+β+γ=k α,β,γ>0 All terms with β = γ vanish by Exercise 6 (1). By collecting terms (α, β, γ) and (α, γ, β) for β γ, it suffices to show F α (F β F γ + F γ F β ) ((F α F β ) F γ + (F α F γ ) F β ) = 0. This follows from Exercise 6 (2) Infinitesimal automorphisms. We have seen that we may interpret H 2 (A, A) as the group of first order deformations of A, whereas we may interpret H 3 (A, A) as containing all obstructions to integrating first-order deformations. How about H 1 (A, A)? We will show that this is related to infinitesimal automorphisms of the associative algebra A. A one parameter family of automorphisms of A is an automorphism Φ t of A K := A k K expressible in the form Φ t (A) = a + tψ 1 (a) + t 2 ψ 2 (a) +... for a V, ψ i : V V linear. Since Φ t is an automorphisms of algebras which gives Φ t (ab) = Φ t (a)φ t (b) ab + tψ 1 (ab) + t 2 ψ 2 (ab) +... = (a + tψ 1 (a) + t 2 ψ 2 (a) +...)(b + tψ 1 (b) + t 2 ψ 2 (b) +...). Collecting terms in t k, we see that this is equivalent to (4) ψ i (a)ψ j (b) = ψ k (ab)
7 DEFORMATION THEORY 7 where we set ψ 0 = id. By moving terms with i = 0 or j = 0 to the RHS, and using the cup-product notation for the LHS we can rewrite Equation (4) as (5) ψ i ψ j = dψ k. For k = 1 we interpret this equation as stating dψ 1 = 0 i.e. ψ 1 Z 1 (A, A). By setting k = 2 into Equation (5) we get ψ 1 ψ 1 = dψ 2. Definition 2.1. An element α Z 1 (A, A) is called integrable if there is a one parameter family of automorphisms Φ t with differential α, i.e. Φ t is of the form Φ t (a) = a + tα(a) + t 2 ψ 2 (a) +... One necessary condition for some ψ Z 1 (A, A) to be integrable is that ψ ψ = dφ for some φ C 1 (A, A). Since we have d(ψ ψ) = dψ ψ ψ dψ = 0 this means we need [ψ ψ] = 0 H 2 (A, A). In fact we have many integrability conditions of this nature. Lemma 2.2. Let ψ 1,..., ψ n 1 C 1 (A, A) satisfy Equation (5) for k = 1, 2,..., n 1. Set H n := ψ i ψ j C 2 (A, A). Then H n Z 2 (A, A). Proof. We have dh n = i+j=n = = 0 α+β+γ=n α,β,γ>0 i+j=n by the hypothesis (and associativity of ). [dψ i ψ j ψ i dψ j ] [(ψ α ψ β ) ψ γ ψ α (ψ β ψ γ )] As in the case of deformations of algebras, the lemma gives necessary (and, if worded correctly, sufficient) conditions for integrability of an element ψ 1 Z 1 (A, A). Indeed, for integrability, we must have [ψ 1 ψ 1 ] = 0 H 2 (A, A), so let ψ 2 be such that By the lemma H 3 := ψ 1 ψ 1 = dψ 2. i+j=3 ψ i ψ j Z 2 (A, A). Assume [H 3 ] = 0. Then we can find ψ 3 such that H 3 = dψ 3 and define H 4 and so on. Continuing in this way, we see that if all elements H i arising in this way satisfy [H i ] = 0 H 2 (A, A), the ψ i is integrable. In particular, we have: Corollary 2.3. Assume H 2 (A, A) = 0. Then each element ψ 1 Z 1 (A, A) is integrable.
8 8 MICHAEL KEMENY Thus the case H 2 (A, A) = 0 is very special. First of all, it implies that the group of first order deformations of A is trivial. Secondly, it implies that all first order automorphisms (or infinitesimal automorphisms ) can be integrated. We further have the following important result, which states that if H 2 (A, A) = 0 then A is rigid, i.e. it has no-nontrivial deformations up to equivalence. Proposition 2.4. Assume H 2 (A, A) = 0 and let f t = t i F i be a one parameter family of deformations of A, where the F i s are extensions of products on V to V K. Then f t is equivalent to the trivial deformation F 0 := f. Proof. As we saw in an exercise last week, since H 2 (A, A) = 0, there exists and element ψ 1 C 1 (A, A) and a one parameter family f 1,t with zero differential, i.e. f 1,t (a, b) = ab + t 2 F 1,t (a, b) +... such that f 1,t is equivalent to f t via φ 1 := id + tψ 1. Next, the associativity of f 1,t gives the equation F 1,i F 1,j = df 1,k, where F 1,1 := 0, and setting k = 2 we see df 1,2 = 0. Let ψ 2 C 1 (A, A) be such that F 1,2 = dψ 2 and set φ 2 := id + t 2 ψ 2. Then φ 2 defines an equivalence from f 1,t to a one parameter family f 2,t of the form f 2,t (a, b) = ab + t 3 F 2,3 (a, b) By associativity, we have df 2,3 = 0. Thus we may continue in this way, and define elements ψ i C 1 (A, A) for all positive integers i, together with one parameter families f i,t of the form such that f i,t is equivalent to f t via setting φ j := id + t j ψ j. Now define β j is the sum of all terms f i,t (a, b) = ab + t i+1 F i,i+1 (a, b) +... φ i := φ i φ i 1... φ 1, φ := β j t j ψ l1 ψ l2... ψ lk with s l s = j and l 1 > l 2 >... > l k > 0 (we set β 0 = id). Note that φ agrees with φ i for all terms of order less than i. Thus φ defines an equivalence from f t to the trivial deformation. Humboldt-Universität zu Berlin, Institut für Mathematik, Unter den Linden Berlin, Germany address: michael.kemeny@gmail.com
Hochschild cohomology
Hochschild cohomology Seminar talk complementing the lecture Homological algebra and applications by Prof. Dr. Christoph Schweigert in winter term 2011. by Steffen Thaysen Inhaltsverzeichnis 9. Juni 2011
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More information1 Hochschild Cohomology and A : Jeff Hicks
1 Hochschild Cohomology and A : Jeff Hicks Here s the general strategy of what we would like to do. ˆ From the previous two talks, we have some hope of understanding the triangulated envelope of the Fukaya
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationRational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley
Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given
More informationRecall: a mapping f : A B C (where A, B, C are R-modules) is called R-bilinear if f is R-linear in each coordinate, i.e.,
23 Hom and We will do homological algebra over a fixed commutative ring R. There are several good reasons to take a commutative ring: Left R-modules are the same as right R-modules. [In general a right
More informationStasheffs A -algebras and Homotopy Gerstenhaber Algebras. Tornike Kadeishvili A. Razmadze Mathematical Institute of Tbilisi State University
1 Stasheffs A -algebras and Homotopy Gerstenhaber Algebras Tornike Kadeishvili A. Razmadze Mathematical Institute of Tbilisi State University 1 Twisting Elements 2 A dg algebra (A, d : A A +1, : A A A
More informationThe Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Pasteurgasse 6/7 Institute for Mathematical Physics A-1090 Wien, Austria On Twisted Tensor Products of Algebras Andreas Cap Hermann Schichl Jir Vanzura Vienna, Preprint
More informationEILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationMatsumura: Commutative Algebra Part 2
Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more
More informationDEFORMATION OF LEIBNIZ ALGEBRA MORPHISMS
Homology, Homotopy and Applications, vol. 9(1), 2007, pp.439 450 DEFORMATION OF LEIBNIZ ALGEBRA MORPHISMS ASHIS MANDAL (communicated by Jean-Louis Loday) Abstract We study formal deformations of Leibniz
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationNOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.
NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More informationOn a cohomology of digraphs and Hochschild cohomology
On a cohomology of digraphs and Hochschild cohomology Alexander Grigor yan Department of Mathematics University of Bielefeld 33613 Bielefeld, Germany Yuri Muranov Department of Mathematics University of
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics GROUP ACTIONS ON POLYNOMIAL AND POWER SERIES RINGS Peter Symonds Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 GROUP ACTIONS ON POLYNOMIAL
More informationREPRESENTATION THEORY. WEEK 4
REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators
More informationAdmissible Monomials (Lecture 6)
Admissible Monomials (Lecture 6) July 11, 2008 Recall that we have define the big Steenrod algebra A Big to be the quotient of the free associated F 2 - algebra F 2 {..., Sq 1, Sq 0, Sq 1,...} obtained
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationThe Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori
The Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori Allan Yashinski Abstract Given a smooth deformation of topological algebras, we define Getzler s Gauss-Manin
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationCyclic cohomology of projective limits of topological algebras
Cyclic cohomology of projective limits of topological algebras Zinaida Lykova Newcastle University 9 August 2006 The talk will cover the following points: We present some relations between Hochschild,
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationSYMMETRIC ALGEBRAS OVER RINGS AND FIELDS
SYMMETRIC ALGEBRAS OVER RINGS AND FIELDS THOMAS C. CRAVEN AND TARA L. SMITH Abstract. Connections between annihilators and ideals in Frobenius and symmetric algebras are used to provide a new proof of
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More informationGeometry 10: De Rham algebra
Geometry 10: De Rham algebra Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationLecture 9 - Faithfully Flat Descent
Lecture 9 - Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
More informationOn the Merkulov construction of A -(co)algebras
On the Merkulov construction of A -(co)algebras Estanislao Herscovich Abstract The aim of this short note is to complete some aspects of a theorem proved by S. Merkulov in [7], Thm. 3.4, as well as to
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationHIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS
HIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS XUEJUN GUO 1 ADEREMI KUKU 2 1 Department of Mathematics, Nanjing University Nanjing, Jiangsu 210093, The People s Republic of China guoxj@nju.edu.cn The
More informationDeformations of a noncommutative surface of dimension 4
Deformations of a noncommutative surface of dimension 4 Sue Sierra University of Edinburgh Homological Methods in Algebra and Geometry, AIMS Ghana 2016 In this talk, I will describe the work of my student
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationMargulis Superrigidity I & II
Margulis Superrigidity I & II Alastair Litterick 1,2 and Yuri Santos Rego 1 Universität Bielefeld 1 and Ruhr-Universität Bochum 2 Block seminar on arithmetic groups and rigidity Universität Bielefeld 22nd
More informationSection Blowing Up
Section 2.7.1 - Blowing Up Daniel Murfet October 5, 2006 Now we come to the generalised notion of blowing up. In (I, 4) we defined the blowing up of a variety with respect to a point. Now we will define
More informationCSC 344 Algorithms and Complexity. Proof by Mathematical Induction
CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results
More informationLECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS
LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS In this lecture, we study the commutative algebra properties of perfect prisms. These turn out to be equivalent to perfectoid rings, and most of the lecture
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)
ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) These are errata for the Third Edition of the book. Errata from previous editions have been
More informationMath 210B. The bar resolution
Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial
More informationCommutative Algebra MAS439 Lecture 3: Subrings
Commutative Algebra MAS439 Lecture 3: Subrings Paul Johnson paul.johnson@sheffield.ac.uk Hicks J06b October 4th Plan: slow down a little Last week - Didn t finish Course policies + philosophy Sections
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationDEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1
DEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1 TRAVIS SCHEDLER Note: it is possible that the numbers referring to the notes here (e.g., Exercise 1.9, etc.,) could change
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
More informationCELLULAR ALGEBRAS AND QUASI-HEREDITARY ALGEBRAS: A COMPARISON
ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 5, Pages 71 75 (June 24, 1999) S 1079-6762(99)00063-3 CELLULAR ALGEBRAS AND QUASI-HEREDITARY ALGEBRAS: A COMPARISON STEFFEN
More informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
More informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationLECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationFormal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More informationChern forms and the Fredholm determinant
CHAPTER 10 Chern forms and the Fredholm determinant Lecture 10: 20 October, 2005 I showed in the lecture before last that the topological group G = G (Y ;E) for any compact manifold of positive dimension,
More informationExploring the Exotic Setting for Algebraic Geometry
Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology
More informationTHE QUANTUM DOUBLE AS A HOPF ALGEBRA
THE QUANTUM DOUBLE AS A HOPF ALGEBRA In this text we discuss the generalized quantum double construction. treatment of the results described without proofs in [2, Chpt. 3, 3]. We give several exercises
More informationALGEBRAIC GROUPS: PART III
ALGEBRAIC GROUPS: PART III EYAL Z. GOREN, MCGILL UNIVERSITY Contents 10. The Lie algebra of an algebraic group 47 10.1. Derivations 47 10.2. The tangent space 47 10.2.1. An intrinsic algebraic definition
More information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More informationarxiv: v1 [math.ag] 2 Oct 2009
THE GENERALIZED BURNSIDE THEOREM IN NONCOMMUTATIVE DEFORMATION THEORY arxiv:09100340v1 [mathag] 2 Oct 2009 EIVIND ERIKSEN Abstract Let A be an associative algebra over a field k, and let M be a finite
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationCOMPLEX MULTIPLICATION: LECTURE 14
COMPLEX MULTIPLICATION: LECTURE 14 Proposition 0.1. Let K be any field. i) Two elliptic curves over K are isomorphic if and only if they have the same j-invariant. ii) For any j 0 K, there exists an elliptic
More informationHomework 2 - Math 603 Fall 05 Solutions
Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether
More informationIn the special case where Y = BP is the classifying space of a finite p-group, we say that f is a p-subgroup inclusion.
Definition 1 A map f : Y X between connected spaces is called a homotopy monomorphism at p if its homotopy fibre F is BZ/p-local for every choice of basepoint. In the special case where Y = BP is the classifying
More informationDerived Functors and Explicit Projective Resolutions
LECTURE 12 Derived Functors and Explicit Projective Resolutions A Let X and Y be complexes of A-modules. Recall that in the last lecture we defined Hom A (X, Y ), as well as Hom der A (X, Y ) := Hom A
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationApplications of the Serre Spectral Sequence
Applications of the Serre Spectral Seuence Floris van Doorn November, 25 Serre Spectral Seuence Definition A Spectral Seuence is a seuence (E r p,, d r ) consisting of An R-module E r p, for p, and r Differentials
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free
More informationON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE
ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte
More informationON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS
Communications in Algebra, 36: 388 394, 2008 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870701715712 ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS
More informationChain Complexes and Herbrand Quotients
LECTURE 7 Chain Complexes and Herbrand Quotients Last time, we defined the Tate cohomology groups Ĥ0 (G, M) and Ĥ1 (G, M) for cyclic groups. Recall that if G = Z/nZ with generator σ, then a G-module is
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationLecture 5 - Lie Algebra Cohomology II
Lecture 5 - Lie Algebra Cohomology II January 28, 2013 1 Motivation: Left-invariant modules over a group Given a vector bundle F ξ G over G where G has a representation on F, a left G- action on ξ is a
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationThe Proj Construction
The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of
More informationHomological Decision Problems for Finitely Generated Groups with Solvable Word Problem
Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem W.A. Bogley Oregon State University J. Harlander Johann Wolfgang Goethe-Universität 24 May, 2000 Abstract We show
More informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
More informationAn introduction to derived and triangulated categories. Jon Woolf
An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes
More informationDeterminant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman
Commun. Math. Phys. 211, 359 363 2000) Communications in Mathematical Physics Springer-Verlag 2000 Determinant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman Hélène snault 1, I-Hsun
More information