DEFORMATION THEORY MICHAEL KEMENY

Size: px
Start display at page:

Download "DEFORMATION THEORY MICHAEL KEMENY"

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 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 information

Algebraic Geometry Spring 2009

Algebraic 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 information

1 Hochschild Cohomology and A : Jeff Hicks

1 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 information

Notes on p-divisible Groups

Notes 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 information

3.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

3.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 information

Derivations and differentials

Derivations 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 information

REPRESENTATION THEORY, LECTURE 0. BASICS

REPRESENTATION 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 information

Rational 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 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 information

Recall: 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.,

Recall: 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 information

Stasheffs A -algebras and Homotopy Gerstenhaber Algebras. Tornike Kadeishvili A. Razmadze Mathematical Institute of Tbilisi State University

Stasheffs 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 information

The Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria

The 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 information

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

EILENBERG-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 information

THE QUANTUM CONNECTION

THE 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 information

Matsumura: Commutative Algebra Part 2

Matsumura: 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 information

DEFORMATION OF LEIBNIZ ALGEBRA MORPHISMS

DEFORMATION 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 information

Chern classes à la Grothendieck

Chern 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 information

Math 752 Week s 1 1

Math 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 information

MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 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 information

NOTES 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. 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 information

Cohomology and Base Change

Cohomology 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 information

On a cohomology of digraphs and Hochschild cohomology

On 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 information

Pacific Journal of Mathematics

Pacific 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 information

REPRESENTATION THEORY. WEEK 4

REPRESENTATION 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 information

Admissible Monomials (Lecture 6)

Admissible 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 information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC 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 information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 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 information

The 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 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 information

Math 248B. Applications of base change for coherent cohomology

Math 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 information

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

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 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 information

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES

ARITHMETICALLY 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 information

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

MATH 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 information

Fourier Mukai transforms II Orlov s criterion

Fourier 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 information

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES

AFFINE 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 information

Cyclic cohomology of projective limits of topological algebras

Cyclic 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

(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 information

2. Prime and Maximal Ideals

2. 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 information

SYMMETRIC ALGEBRAS OVER RINGS AND FIELDS

SYMMETRIC 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 information

A Primer on Homological Algebra

A 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 information

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Lecture 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 information

Geometry 10: De Rham algebra

Geometry 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 information

Lecture 9 - Faithfully Flat Descent

Lecture 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 information

n P say, then (X A Y ) P

n 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 information

On the Merkulov construction of A -(co)algebras

On 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 information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De 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 information

HIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS

HIGHER 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 information

Deformations of a noncommutative surface of dimension 4

Deformations 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 information

Smooth morphisms. Peter Bruin 21 February 2007

Smooth 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 information

Injective Modules and Matlis Duality

Injective 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 information

12. Hilbert Polynomials and Bézout s Theorem

12. 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 information

Margulis Superrigidity I & II

Margulis 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 information

Section Blowing Up

Section 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 information

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

CSC 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 information

LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS

LECTURE 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 information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The 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 information

ERRATA. 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) 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 information

Math 210B. The bar resolution

Math 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 information

Commutative Algebra MAS439 Lecture 3: Subrings

Commutative 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 information

3. The Sheaf of Regular Functions

3. 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 information

DEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1

DEFORMATIONS 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 information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be 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 information

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

COHEN-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 information

CELLULAR ALGEBRAS AND QUASI-HEREDITARY ALGEBRAS: A COMPARISON

CELLULAR 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 information

DERIVED 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 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 information

This 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:

This 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 information

Math 249B. Nilpotence of connected solvable groups

Math 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 information

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

MILNOR 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 information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY 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 information

NONSINGULAR CURVES BRIAN OSSERMAN

NONSINGULAR 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 information

DIVISORS ON NONSINGULAR CURVES

DIVISORS 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 information

LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES

LECTURE 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 information

Math 530 Lecture Notes. Xi Chen

Math 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 information

Formal Groups. Niki Myrto Mavraki

Formal 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 information

Chern forms and the Fredholm determinant

Chern 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 information

Exploring the Exotic Setting for Algebraic Geometry

Exploring 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 information

THE QUANTUM DOUBLE AS A HOPF ALGEBRA

THE 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 information

ALGEBRAIC GROUPS: PART III

ALGEBRAIC 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 information

1 Absolute values and discrete valuations

1 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 information

arxiv: v1 [math.ag] 2 Oct 2009

arxiv: 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 information

5 Dedekind extensions

5 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 information

Theorem 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.

Theorem 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 information

COMPLEX MULTIPLICATION: LECTURE 14

COMPLEX 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 information

Homework 2 - Math 603 Fall 05 Solutions

Homework 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 information

In the special case where Y = BP is the classifying space of a finite p-group, we say that f is a p-subgroup inclusion.

In 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 information

Derived Functors and Explicit Projective Resolutions

Derived 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 information

NOTES ON FINITE FIELDS

NOTES 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 information

FORMAL GLUEING OF MODULE CATEGORIES

FORMAL 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 information

Applications of the Serre Spectral Sequence

Applications 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 information

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)

BLOCKS 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 information

Thus, 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

Thus, 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 information

ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE

ON 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 information

ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS

ON 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 information

Chain Complexes and Herbrand Quotients

Chain 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 information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 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 information

Lecture 5 - Lie Algebra Cohomology II

Lecture 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 information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE 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 information

The Proj Construction

The 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 information

Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem

Homological 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 information

REPRESENTATION THEORY WEEK 9

REPRESENTATION 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 information

An introduction to derived and triangulated categories. Jon Woolf

An 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 information

Determinant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman

Determinant 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