Quantizations and classical non-commutative non-associative algebras

Size: px
Start display at page:

Download "Quantizations and classical non-commutative non-associative algebras"

Transcription

1 Journal of Generalized Lie Theory and Applications Vol. (008), No., Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics, Tromsø University, N-9037 Tromsø, Norway s: and Abstract In this paper we study quantizations, associativity constraints and braidings in the monoidal category of monoid graded modules over a commutative ring. All of them can be described in terms of the cohomology of underlying monoid. The case when the monoid is a finite topology has the main interest for us. The cohomology classes which are invariant with respect to homeomorphism group produce remarkable algebraic constructions. We study in details the Sierpinski and discrete topology and show the relations with the Clifford algebras, the Cayley algebra and their quantizations. All of them are α-associative and σ-commutative for suitable associativity constraints α and braidings σ. The monoidal category of graded modules Dedicated to Maks A. Akivis on the occasion of his 85th birthday and 65 years of scientific activity Throughout this paper, let M be a finite commutative monoid. Let k be a commutative ring with unit. Denote by k M -mod the strict monoidal category of M-graded k-modules. The objects in the category are M-graded k-modules and the arrows are the M-graded morphisms. k M -mod has the strict monoidal structure where the tensor product of two objects X = i M X i and X = j M X j is the k-module X k X with grading (X k X ) m = i+j=m (X i k X j) The ring k is a unit object e as we define k to be indexed by 0 M and components indexed by m M, m 0, are all zeros. Thus we have isomorphisms λ and ρ, e k X λ ρ = X = X k e. An algebra A, µ, η in the monoidal category k M -mod is called M-graded k-algebra. Here µ and η are morphisms of multiplication µ : A A A and unit η : e A such that µ is associative and unit-preserving. Note that µ maps A i A j to A i+j. In the same manner one defines an M-graded A-module as a module X with an action ν : A X X in the monoidal category k M -mod. Let X be a M-graded k-module. Denote by {π m : X X} m M a family of projectors where π m is the projector X on X m, X m = Im (π m ), π m = X and π m π m = 0 m M if m m. Any such family of projectors determines a M-grading on a k-module X. Consider the algebra of all k-valued functions on M, k (M). Then functions {θ m } m M, θ m ( m ) = { 0 if m m, if m = m

2 36 H. L. Huru and V. Lychagin for m, m M, constitute a basis of the algebra. We define a k (M)-module structure on the M-graded k-module X by putting θ m x = π m (x) for m M and x X m. For any function f k (M) we define the action of f on X as follows f x = ( m M f (m) θ m ) x def = m M f (m) π m (x) If X is a k-module, then X is a k (M)-module if and only if it is a M-graded k-module. Hence, we get an isomorphism between the monoidal category of M-graded k-modules and the category of k (M)-modules.. Group gradings and actions Let G be a finite abelian group and Ĝ be the dual group of G consisting of all group homomorphisms G T, Ĝ = Hom (G, T), where T = {z C z = } is the -dimensional torus. In this section we will show that Ĝ-grading gives G-action, and the other way around, and that we have an isomorphism between the Ĝ-graded C-modules and G-modules. This isomorphism will be useful in applications of the theory developed in this paper. Denote by {δ g } g G = { θg } the the basis consisting of Dirac δ-functions in the dual of g G the function algebra C [G] = C (G) = Hom C (C (G), C), where C [G] is the group algebra of G. Note that G-module structure and C[G]-module structure induce each other. ) The Fourier transform F is the algebra isomorphism between C [G] = C (G) and C (Ĝ ) F : C [G] C (Ĝ given by F (δ g ) (κ) = κ (g), for g G, κ Ĝ, and F (f) = λ κ κ ( g ) δ g G κ Ĝ g G where f = ) κ Ĝ λ κθ κ C (Ĝ. We get the following commutative diagram: C[G] X X F id id C(Ĝ) X X ) which shows that if X is a G-module we get a C (Ĝ -module structure on X by f x = F (f) x, ) for x X, f C (Ĝ, and, conversely, if X is a Ĝ-graded C-module, then we get an action of G on X by g x = F (δ g ) x, for x X, g G. This establishes an isomorphism between the monoidal category of G-modules and Ĝ-graded modules over C, [3]. Associativity constraints, braidings and quantizations Recall that an associativity constraint α, see [7], in a monoidal category C is a natural isomorphism α : X (Y Z) (X Y ) Z, X, Y, Z Ob (C)

3 Quantizations and classical non-commutative non-associative algebras 37 that satisfies the Mac Lane coherence condition. A braiding of a monoidal category C is a natural isomorphism σ = σ X,Y : X Y Y X for X, Y Ob (C), which preserves the unit and the associativity constraint, α σ α = σ α σ and α (σ ) α = σ α σ. Let A Ob (C) be an algebra with multiplication µ : A A A. We say that A is σ-commutative if µ = µ σ, see [5]. A quantization, see [6], of a monoidal category C is a natural isomorphism of the tensor bifunctor q X,Y : X Y X Y for X, Y Ob (C), which preserves the unit and the associativity, q (q ) α = (q ) q α. Any braiding σ can be quantized as follows σ q X,Y = q Y,X σ X,Y q X,Y and σ q is a braiding too. We define a quantization A q of an algebra A given by a quantization q in the category C to be the same object A equipped with a new multiplication µ q = µ q A,A : A A A A q = (A, µ q, η) is an algebra, see [6]. If an algebra A is σ-commutative, then A q is σ- commutative. If X is a left A-module in the category with the action ν : A X X, then by a quantization X q of the A-module X we mean the same object X equipped with a new action ν q = ν q A,X : A X X X q = (X, ν q ) is also a left A-module in C, see [6]. The following theorems give the complete description of the associativity constraints, quantizations and braidings in the category of graded modules as in [3]. Theorem. Any associativity constraint α in the category k M -mod of M-graded k-modules has the form α : x i (y j z l ) α (i, j, l) (x i y j ) z l where α : M M M U (k) is a normalized 3-cocycle, α Z 3 ( M, U (k)) with values in the group of units U (k). Furthermore, the orbits of all associativity constraints under the action of natural isomorphisms of the tensor bifunctor are in one-to-one correspondence with the 3 rd cohomology group H 3 (M, U (k)). Theorem. Any quantization q of the category of M-graded k-modules has the form q : x i y j q (i, j) x i y j where q : M M U (k) is a normalized -cocycle. Moreover, the orbits of all quantizations under the action of unit-preserving natural isomorphisms of the identity functor are in one-toone correspondence with the nd cohomology group, H (M, U (k)).

4 38 H. L. Huru and V. Lychagin Theorem 3. A braiding σ in the category k M -mod a normalized -cochain of M such that σ (i, l) σ (l, i) =, that is, any braiding in k M -mod is a symmetry. Furthermore, the following equations are satisfied α (i, l, j) σ (i + j, l) = σ (i, l) σ (j, l) α (i, j, l) α (l, i, j) (.) α (i, j, l) α (j, l, i) σ (i, j + l) = σ (i, j) σ (i, l) α (j, i, l) (.) If the associativity constraint α is trivial we get the bihomomorphism conditions σ (i + j, l) = σ (i, l) σ (j, l), σ (i, j + l) = σ (i, j) σ (i, l) 3 Cohomology of the Sierpinski topology In this section we calculate the zero, first, second and third cohomology groups of the Sierpinski topology. We will use these groups to find possible quantizations and associativity constraints of the category of modules graded by the Sierpinski topology. The Sierpinski topology τ is the topology of the Sierpinski set; the two-point set Ω = {a, b} where the point a is open and the point b is closed. Hence, the topology τ consists of {, {a}, Ω}. Denote by 0, {a} by a and Ω by, then the monoid structure on τ is given by 0 + a = a + 0 = a, + t = t + = and a + a = a, t = a, 0 Note that, a τ-graded k-algebra can be viewed as algebra A = A 0 A a A where A 0 is a k-algebra, A a and A are A 0 -algebras and, in addition, A is an A a -algebra. Straight forward calculations, see [], show that cohomology groups of the Sierpinski topology with coefficients in an abelian group G are the following: H 0 (τ, G) = G, H (τ, G) =, H (τ, G) =, H 3 (τ, G) = G Hence, for the category of τ-graded k-modules there are no non-trivial quantizations, but there are non-trivial associativity constraints. They have the following description. Theorem 4. Any 3-cocycle α : τ τ τ U (k), on the Sierpinski topology τ has the following form: α (i, j, l) = r f (i,j) r f (j,l) where r U (k), i, j, l τ, and f, f : τ τ τ, are functions such that f (a, ) = f (, a) = and f (i, j) = f (i, j) = 0 for all other (i, j) τ τ. 4 The power algebra P (Ω) Let Ω be a set consisting of n elements Ω = {a,..., a n } and let P (Ω) denote the power algebra of Ω, that is, the algebra of all subsets of Ω. P (Ω) has the group structure with respect to symmetric difference (A, B) A B = A B\A B. The passing to characteristic functions gives us an isomorphism from this group to the additive group of characteristic functions on Ω with values in Z = {0, }, hence P (Ω) = (Z ) n. From now on we distinguish the following two group structures; the multiplicative group, (Z, ) = ({, }, ), denoted by Z, and the additive group, (Z, +) = ({0, }, +), denoted by Z +.

5 Quantizations and classical non-commutative non-associative algebras The Fourier-Hadamard transform Let k Q and X be a k-module and ρ : Z Aut R (X) be a representation. ρ ( ) = ρ () =. Then the operators Note that π = (ρ () ρ ( )) and π = π = (ρ () +ρ ( )) are projectors such that X = π (X) π (X) is a Z -graded k-module. Let {θ, θ } be the basis of k (Z ) as a vector space over k and let {δ, δ } = { θ, } θ the basis of k [Z ] = k (Z ). We have δ m X = ρ (m) (X) for all m Z. If we define θ X = π (X) = (δ + δ ) X and θ X = π (X) = (δ δ ) then we get k (Z )-module structure on X. This operator one can consider as a change of rings, see [3], with respect to the algebra isomorphism where F : k (Z ) k [Z ] θ (δ + δ ) and θ (δ δ ) This is the Fourier transform for Z. For (Z )n we define an algebra isomorphism k ((Z ) n F F ) = k (Z ) k (Z ) }{{} n times k [(Z ) n ] = k [Z ] k [Z ] }{{} n times This is the Fourier-Hadamard transform and it allows us to establish an isomorphisms between the monoidal categories of Z -graded modules and of Z -modules. 4. The cohomology group of P (Ω) with coefficients in U (R). Here we describe cohomology of the power algebra P (Ω) with coefficients U (R) in a form suitable for us. Let k = R and U (k) = R \ {0}. We only need to calculate the cohomology with coefficients in Z U (R). Now, H r ( Z +, Z ) = (Z, ) for all r 0. The trivial cohomology classes are represented by f =. The non-trivial cohomology classes are represented by f Z r ( Z +, Z ), with f (x,..., x r ) = ( ) x x r. Hence, H (Z, Z ) = Z [l] where Z [l] is the polynomial algebra with coefficients in Z. Let n. The correspondence P C r ( M, Z + ) ( ) P C r (M, Z ) establishes an isomorphism between H r ( M, Z + ) and H r (M, Z ) for any monoid M. Therefore H (( Z + ) n ), = Z H (( Z + ) n ), Z + = H ( Z +, ) Z+... H ( Z +, ) Z+ }{{} n times X

6 40 H. L. Huru and V. Lychagin by the Künneth formula, we get H (( Z + ) n ), = Z Z [l ]... Z [l n ] = Z [l,..., l n ] where each l i is the i th coordinate function from (Z, +) n to the commutative ring Z. Hence, for the power algebra we get H r (P (Ω), Z ) = Z r [l,..., l n ] which is the subspace of the polynomial algebra consisting of all homogeneous polynomials of degree r with coefficients in (Z, +, ). Each f C r (P (Ω), Z ) has the form where f (x,..., x r ) = ( ) P (l,...,l n )(x,...,x r ) P (l,..., l n ) (x,..., x r ) = n i,...i r = a i...i r l i (x ) l ir (x r ) is a homogeneous polynomial of degree r and a i...i r Z +. It follows that a representative f for the cohomology classes of degree is represented by a vector in the vector space (Z ) n a representative of the cohomology of degree is represented by a symmetric n n matrix A = (a ij ) with entries in Z +, and similarly for higher dimensions. 5 Aut (Ω)-invariant cohomology groups In this section we investigate quantizations and associativity constraints on P (Ω)-graded algebras invariant under permutations. Denote by Aut (Ω) = S n the group of all automorphisms of Ω. Any s Aut (Ω) introduces an automorphism on the power algebra P (Ω) by B χ B s B P (Ω) and χ B is the characteristic function of B on Ω. We need cohomologies represented by Aut (Ω)-invariant cohomology classes, i.e. that are independent on the labelling of the elements of Ω. They correspond to f Z r (P (Ω), Z ), f = ( )P, P Z r ( P (Ω), Z + ) where if P is symmetric and therefore is a polynomial of the elementary symmetric polynomials s,..., s n in n variables l,..., l n. 5. The Aut (Ω)-invariant second cohomology and quantizations Let a representative of a non-trivial second cohomology class f = ( ) P Z (P (Ω), Z ) be Aut (Ω)-invariant. Then P is a Z -linear combination of the symmetric polynomials P { s, s, s + s } 5.. Quantizations of the two-point algebra For the case n =, Ω has only one point, P (Ω) (Z, +) and we have only one symmetric quantization, q = ( ) s.

7 Quantizations and classical non-commutative non-associative algebras 4 Consider invariant quantizations of the Z + -graded algebra A = A 0 A = R [ Z + ] (the twopoint algebra) with the basis {, e}, with the property e =. We get the quantized R-algebra A s by introducing a new multiplication, s, on A. For e A, e s e = ( ) s e = ( ) l()l() = A s has as the basis {, e} with the property e =, hence A s = C. If we now again quantize A s by q we are back at the monoidal algebra R [ Z + ]. 5.. Quantizations of the four-point algebra For n we have the three non-trivial possibilities for P described above. For the case n =, Ω consists of two [ points and P (Ω) has four elements. (Z ) ] + Let A = R be the four-point algebra of rank 4 over R with the basis {, e, e, e e } where e corresponds to the grading by (, 0) and e to (0, ) and has the properties e = = e and e e = e e. We get the following quantizations of this algebra. The matrix algebra, Mat (R) : algebra with properties Take P = s = l l. Then the quantized algebra A s is the e s e = e s e = e s e + e s e = 0 This algebra is isomorphic to Mat (R). The tensor algebra, C R C : Now take P = s = l + l. Then for the quantized algebra is the algebra with properties A s e s e = e s e = e s e = e s e which is isomorphic to C R C. Quaternions, H : Take P = s + s = l l + l + l. Then in the quantized algebra A s +s is the algebra with properties e s +s e = e s +s e = e s +s e + e s +s e = 0 which is isomorphic to the quaternion algebra H. Remark. The 3 algebras we now have described, C R C, Mat (R), H, make out the complete list of the semisimple R-algebras of rank 4, and the two last ones are the Clifford algebras.

8 4 H. L. Huru and V. Lychagin 5..3 Quantization of the n-point algebra For the case n we get 3 different quantizations of the n-point algebra A n = R [( Z + ) n ]. For the cohomology class represented by P = s the quantized algebra A n s has a basis consisting of all combinations e i e ir with i < < i r, r n satisfying e i s e i =, e i s e j + e j s e i = 0, i =,..., n i, j =,..., n A n s is isomorphic to the Clifford algebra C n. For P = s the algebra An has the same basis but with the properties s A n s e i s e i =, e i s e j = e j s e i, i =,..., n i, j =,..., n is isomorphic to C R R C. }{{} n times Further, for P = s + s we get the algebra An with the basis as above with the properties s +s e i s +s e i =, e i s +s e j + e j s +s e i = 0, i =,..., n i, j =,..., n A n s +s is isomorphic to the Clifford algebra C n. 5. The Aut (Ω)-invariant third cohomology and associativity constraints For Ω with n elements let α = ( ) P Z 3 (P (Ω), Z ) be an Aut (Ω)-invariant representation of a third cohomology class of P (Ω) with coefficients in Z. There are 7 possibilities for Aut (Ω)- invariant P : P { s 3, s s, s 3, s 3 + s s, s 3 + s 3, s s + s 3, s 3 + s s + s 3 } The representatives α of cohomology groups of degree 3 are associativity constraints on P (Ω)- graded R-algebras A = i P(Ω) A i such that a i (a j a l ) = α (i, j, l) (a i a j ) a l We require α (i, i, i) = ( ) P (i,i,i) =, that is, P (i, i, i) = 0. Let Ω consist of one point. Then we have one possible symmetric associativity constraint P = s 3 = l3, but this does not satisfy P (i, i, i) = 0. Let Ω consist of two points. We have 3 possibilities for P, that is, s 3, s s and s 3 + s s. Only P = s s does satisfy the condition P (i, i, i) = 0, but s s = 0 as a function over (Z, +), so in this case we only have the trivial associativity constraint. 6 The Cayley algebra Let Ω consist of three points. For algebras graded by P (Ω) there are 7 possibilities for P, but only P = s s + s 3 satisfies the property P (i, i, i) = 0.

9 Quantizations and classical non-commutative non-associative algebras 43 Let {, e, e, e 3, e e, e e 3, e e 3, e e e 3 } be the basis of the Cayley algebra or octonions C, [8], with the multiplication table e e e e e 3 e e 3 e e 3 e e e 3 e e e e e 3 e e 3 e e 3 e e e 3 e e e e e e e 3 e 3 e e e 3 e e 3 e e e e e e e 3 e e e 3 e 3 e e 3 e e e e e e e e e 3 e e 3 e e 3 e 3 e 3 e 3 e e 3 e e 3 e e e 3 e e e e e e 3 e e 3 e 3 e e e 3 e e 3 e e e e e e 3 e e 3 e e e 3 e 3 e e 3 e e e e e e e 3 e e e 3 e e 3 e e 3 e 3 e e e e. C is an alternating algebra of rank 8 over R and is in classical point of view nonassociative and noncommutative C is obviously graded by P (Ω). Let, e, e and e 3 have the gradings (0, 0, 0), (, 0, 0), (0,, 0) and (0, 0, ) respectively in ( Z + ) 3. We see that the Cayley algebra is α-associative with respect to the associativity constraint α = ( ) s s +s 3 and is σ-commutative with respect to the symmetry σ = ( ) l l +l l +l l 3 +l 3 l +l l 3 +l 3 l +δ(g) where g ((,, )) = and g (x) = 0 for x (,, ). If we now quantize C, the three non-trivial Aut (Ω)-invariant quantizations, q = ( ) s, q = ( ) s and q 3 = ( ) s +s, the result is new α-associative algebras with commutativities different from the commutativity of C. Denote these by C s, C s and C s +s respectively. All are α-associative as quantizations preserve the associativity given by α. They have the basis of, e, e, e 3 and all combinations e i e ir with i < < i r, r 3 satisfying e i (e j e l ) = (e i e j ) e l, i, j, l =,, 3 For C s the basis has the properties e i =, e i e j = e j e i, i, j =,, 3 Further, the properties of C s are e i =, e i e j = e j e i, i, j =,, 3 C s +s has the properties e i =, e i e j = e j e i, i, j =,, 3 Assume Ω is of dimension n. The n -dimensional Cayley algebra C n is in the category of P (Ω) -graded modules equipped with the associativity constraint α = ( ) s s +s 3 and the symmetry σ = ( ) l l +l l +l l 3 +l 3 l +l l 3 +l 3 l +δ(g) Note that C n has the basis consisting of all combinations e i e ir satisfying with i < < i r, r n e i =, i =,..., n

10 44 H. L. Huru and V. Lychagin e i e j = e j e i, e i (e j e l ) = (e i e j ) e l, i, j =,..., n i, j, l =,..., n When C n is quantized we get the following 3 algebras with the same basis and all are α-associative with respect to α = ( ) s s +s 3 such that e i (e j e l ) = (e i e j ) e l for all i, j, l =,..., n. The quantization q = ( ) s produces the algebra C n,s such that e i =, e i e j = e j e i, i =,..., n i, j =,..., n C n,s is σ -commutative with respect to the symmetry σ = ( ) δ(g) The quantization q = ( ) s gives the algebra C n,s with the properties e i =, i =,..., n e i e j = e j e i, i, j =,..., n which is σ-commutative with respect to the symmetry σ = ( ) l l +l l +l l 3 +l 3 l +l l 3 +l 3 l +δ(g) Furthermore, the quantization q 3 = ( ) s +s produces C n,s +s with the properties e i =, e i e j = e j e i, i =,..., n i, j =,..., n which is σ -commutative, with respect to σ = ( ) δ(g) References [] S. Eilenberg and S. Mac Lane. Cohomology Theory in Abstract Groups. I. Ann. of Math. 48 (947), [] H. L. Huru. Quantizations and associativity constraints of the category of graded modules. Cand. Scient. Theses in Mathematics, University of Tromsø, 00. [3] H. L. Huru. Associativity constraints, braidings and quantizations of modules with grading and action. Lobachevskii J. Math. 3 (006), 5 7; [4] D. Husemoller. Fibre Bundles. Grad. Texts in Math. 0, Springer-Verlag, New York, 994. [5] V. V. Lychagin. Calculus and quantizations over Hopf algebras. Acta Appl. Math. 5 (998), [6] V. Lychagin. Quantizations of differential equations. Nonlinear Analysis, 47 (00), [7] S. Mac Lane. Categories for the Working Mathematician. Grad. Texts in Math. 5, Springer-Verlag, New York, 998. [8] R. D. Schafer. An Introduction to Nonassociative Algebras. Pure and Appl. Math., Academic Press, New York-London, 966. Received August 0, 007 Revised September 6, 007

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists

More information

The mod-2 cohomology. of the finite Coxeter groups. James A. Swenson University of Wisconsin Platteville

The mod-2 cohomology. of the finite Coxeter groups. James A. Swenson University of Wisconsin Platteville p. 1/1 The mod-2 cohomology of the finite Coxeter groups James A. Swenson swensonj@uwplatt.edu http://www.uwplatt.edu/ swensonj/ University of Wisconsin Platteville p. 2/1 Thank you! Thanks for spending

More information

Thus we get. ρj. Nρj i = δ D(i),j.

Thus we get. ρj. Nρj i = δ D(i),j. 1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :

More information

Categories and functors

Categories and functors Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called

More information

A geometric solution of the Kervaire Invariant One problem

A geometric solution of the Kervaire Invariant One problem A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :

More information

NOTES ON CHAIN COMPLEXES

NOTES ON CHAIN COMPLEXES NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which

More information

Categorical techniques for NC geometry and gravity

Categorical techniques for NC geometry and gravity Categorical techniques for NC geometry and gravity Towards homotopical algebraic quantum field theory lexander Schenkel lexander Schenkel School of Mathematical Sciences, University of Nottingham School

More information

Graded modules over classical simple Lie algebras

Graded modules over classical simple Lie algebras Graded modules over classical simple Lie algebras Alberto Elduque Universidad de Zaragoza (joint work with Mikhail Kochetov) Graded modules. Main questions Graded Brauer group Brauer invariant Solution

More information

Cartesian Closed Topological Categories and Tensor Products

Cartesian Closed Topological Categories and Tensor Products Cartesian Closed Topological Categories and Tensor Products Gavin J. Seal October 21, 2003 Abstract The projective tensor product in a category of topological R-modules (where R is a topological ring)

More information

Lecture 17: Invertible Topological Quantum Field Theories

Lecture 17: Invertible Topological Quantum Field Theories Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly

More information

MacLane s coherence theorem expressed as a word problem

MacLane s coherence theorem expressed as a word problem MacLane s coherence theorem expressed as a word problem Paul-André Melliès Preuves, Programmes, Systèmes CNRS UMR-7126, Université Paris 7 ÑÐÐ ÔÔ ºÙ ÙºÖ DRAFT In this draft, we reduce the coherence theorem

More information

Atiyah classes and homotopy algebras

Atiyah classes and homotopy algebras Atiyah classes and homotopy algebras Mathieu Stiénon Workshop on Lie groupoids and Lie algebroids Kolkata, December 2012 Atiyah (1957): obstruction to existence of holomorphic connections Rozansky-Witten

More information

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

Overview of Atiyah-Singer Index Theory

Overview of Atiyah-Singer Index Theory Overview of Atiyah-Singer Index Theory Nikolai Nowaczyk December 4, 2014 Abstract. The aim of this text is to give an overview of the Index Theorems by Atiyah and Singer. Our primary motivation is to understand

More information

Math 602, Fall 2002, HW 2, due 10/14/2002

Math 602, Fall 2002, HW 2, due 10/14/2002 Math 602, Fall 2002, HW 2, due 10/14/2002 Part A AI) A Fermat prime, p, is a prime number of the form 2 α + 1. E.g., 2, 3, 5, 17, 257,.... (a) Show if 2 α + 1 is prime then α = 2 β. (b) Say p is a Fermat

More information

Defects between Gapped Boundaries in (2 + 1)D Topological Phases of Matter

Defects between Gapped Boundaries in (2 + 1)D Topological Phases of Matter Defects between Gapped Boundaries in (2 + 1)D Topological Phases of Matter Iris Cong, Meng Cheng, Zhenghan Wang cong@g.harvard.edu Department of Physics Harvard University, Cambridge, MA January 13th,

More information

Adjunctions! Everywhere!

Adjunctions! Everywhere! Adjunctions! Everywhere! Carnegie Mellon University Thursday 19 th September 2013 Clive Newstead Abstract What do free groups, existential quantifiers and Stone-Čech compactifications all have in common?

More information

Vector Bundles on Algebraic Varieties

Vector Bundles on Algebraic Varieties Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general

More information

arxiv:math/ v2 [math.ra] 14 Dec 2005

arxiv:math/ v2 [math.ra] 14 Dec 2005 arxiv:math/0512273v2 [math.ra] 14 Dec 2005 AUTOMORPHISMS OF THE SEMIGROUP OF ENDOMORPHISMS OF FREE ASSOCIATIVE ALGEBRAS A. KANEL-BELOV, A. BERZINS AND R. LIPYANSKI Abstract. Let A = A(x 1,...,x n) be a

More information

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016

The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we

More information

Complexes of Hilbert C -modules

Complexes of Hilbert C -modules Complexes of Hilbert C -modules Svatopluk Krýsl Charles University, Prague, Czechia Nafpaktos, 8th July 2018 Aim of the talk Give a generalization of the framework for Hodge theory Aim of the talk Give

More information

sset(x, Y ) n = sset(x [n], Y ).

sset(x, Y ) n = sset(x [n], Y ). 1. Symmetric monoidal categories and enriched categories In practice, categories come in nature with more structure than just sets of morphisms. This extra structure is central to all of category theory,

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

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

Betti numbers of abelian covers

Betti numbers of abelian covers Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers

More information

A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds

A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn

More information

What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher ( )

What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher ( ) What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher (1935-2014) Robert Paré November 7, 2014 Many subjects How many subjects are there in mathematics? Many subjects How many subjects

More information

p,q H (X), H (Y ) ), where the index p has the same meaning as the

p,q H (X), H (Y ) ), where the index p has the same meaning as the There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore

More information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open

More information

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013

More information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

More information

LOOP GROUPS AND CATEGORIFIED GEOMETRY. Notes for talk at Streetfest. (joint work with John Baez, Alissa Crans and Urs Schreiber)

LOOP GROUPS AND CATEGORIFIED GEOMETRY. Notes for talk at Streetfest. (joint work with John Baez, Alissa Crans and Urs Schreiber) LOOP GROUPS AND CATEGORIFIED GEOMETRY Notes for talk at Streetfest (joint work with John Baez, Alissa Crans and Urs Schreiber) Lie 2-groups A (strict) Lie 2-group is a small category G such that the set

More information

A Leibniz Algebra Structure on the Second Tensor Power

A Leibniz Algebra Structure on the Second Tensor Power Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any

More information

AG NOTES MARK BLUNK. 3. Varieties

AG NOTES MARK BLUNK. 3. Varieties AG NOTES MARK BLUNK Abstract. Some rough notes to get you all started. 1. Introduction Here is a list of the main topics that are discussed and used in my research talk. The information is rough and brief,

More information

Deformation groupoids and index theory

Deformation groupoids and index theory Deformation groupoids and index theory Karsten Bohlen Leibniz Universität Hannover GRK Klausurtagung, Goslar September 24, 2014 Contents 1 Groupoids 2 The tangent groupoid 3 The analytic and topological

More information

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

1 Categorical Background

1 Categorical Background 1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,

More information

arxiv: v1 [math.ag] 13 Dec 2007

arxiv: v1 [math.ag] 13 Dec 2007 An example of noncommutative deformations Eivind Eriksen arxiv:0712.2146v1 [math.ag] 13 Dec 2007 Oslo University College Postboks 4, St. Olavs plass N-0130 Oslo, Norway E-mail: eeriksen@hio.no October

More information

SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS

SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon

More information

Math 210B. Profinite group cohomology

Math 210B. Profinite group cohomology Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the

More information

Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

More information

1 Moduli spaces of polarized Hodge structures.

1 Moduli spaces of polarized Hodge structures. 1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an

More information

FOURIER - SATO TRANSFORM BRAID GROUP ACTIONS, AND FACTORIZABLE SHEAVES. Vadim Schechtman. Talk at

FOURIER - SATO TRANSFORM BRAID GROUP ACTIONS, AND FACTORIZABLE SHEAVES. Vadim Schechtman. Talk at , BRAID GROUP ACTIONS, AND FACTORIZABLE SHEAVES Vadim Schechtman Talk at Kavli Institute for the Physics and Mathematics of the Universe, Kashiwa-no-ha, October 2014 This is a report on a joint work with

More information

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr ) MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle

More information

FUNCTORS AND ADJUNCTIONS. 1. Functors

FUNCTORS AND ADJUNCTIONS. 1. Functors FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,

More information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic

More information

An introduction to calculus of functors

An introduction to calculus of functors An introduction to calculus of functors Ismar Volić Wellesley College International University of Sarajevo May 28, 2012 Plan of talk Main point: One can use calculus of functors to answer questions about

More information

Realization problems in algebraic topology

Realization problems in algebraic topology Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization

More information

Math 210C. The representation ring

Math 210C. The representation ring Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let

More information

The Ring of Monomial Representations

The Ring of Monomial Representations Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents

More information

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection

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

Symbol Index Group GermAnal Ring AbMonoid

Symbol Index Group GermAnal Ring AbMonoid Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a

More information

E ring spectra and Hopf invariant one elements

E ring spectra and Hopf invariant one elements University of Aberdeen Seminar 23rd February 2015 last updated 22/02/2015 Hopf invariant one elements Conventions: Everything will be 2-local. Homology and cohomology will usually be taken with F 2 coefficients,

More information

A category theoretic framework for noncommutative and nonassociative geo

A category theoretic framework for noncommutative and nonassociative geo A category theoretic framework for noncommutative and nonassociative geometry Joint work with A. Schenkel and R. J. Szabo [arxiv:1409.6331, arxiv:1507.02792, arxiv:1601.07353] CLAP Scotland 2016, Edinburgh

More information

REGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES

REGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES REGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES MAKIKO SUMI TANAKA 1. Introduction This article is based on the collaboration with Tadashi Nagano. In the first part of this article we briefly review basic

More information

Fun with Dyer-Lashof operations

Fun with Dyer-Lashof operations Nordic Topology Meeting, Stockholm (27th-28th August 2015) based on arxiv:1309.2323 last updated 27/08/2015 Power operations and coactions Recall the extended power construction for n 1: D n X = EΣ n Σn

More information

From Hypergroups to Anyonic Twines. Jesse Liptrap

From Hypergroups to Anyonic Twines. Jesse Liptrap 1 From Hypergroups to Anyonic Twines Jesse Liptrap Outline Feudal hypergroups Feudal fusion categories Fermionic Moore-Read twines Fractional quantum Hall wavefunctions 3 Outline Feudal hypergroups Feudal

More information

Formal Homotopy Quantum Field Theories and 2-groups.

Formal Homotopy Quantum Field Theories and 2-groups. Formal Homotopy Quantum Field Theories and 2-groups. ex-university of Wales, Bangor; ex-univertiy of Ottawa; ex-nui Galway, still PPS Paris, then...? All have helped! June 21, 2008 1 Crossed Modules, etc

More information

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R) CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.

More information

Modular Categories and Applications I

Modular Categories and Applications I I Modular Categories and Applications I Texas A&M University U. South Alabama, November 2009 Outline I 1 Topological Quantum Computation 2 Fusion Categories Ribbon and Modular Categories Fusion Rules and

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

Noetherian property of infinite EI categories

Noetherian property of infinite EI categories Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result

More information

Loop Groups and Lie 2-Algebras

Loop Groups and Lie 2-Algebras Loop Groups and Lie 2-Algebras Alissa S. Crans Joint work with: John Baez Urs Schreiber & Danny Stevenson in honor of Ross Street s 60th birthday July 15, 2005 Lie 2-Algebras A 2-vector space L is a category

More information

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014 Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally

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

BERTRAND GUILLOU. s G q+r

BERTRAND GUILLOU. s G q+r STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an

More information

Exercises on chapter 4

Exercises on chapter 4 Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain

More information

Curves on P 1 P 1. Peter Bruin 16 November 2005

Curves on P 1 P 1. Peter Bruin 16 November 2005 Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the

More information

The Ordinary RO(C 2 )-graded Cohomology of a Point

The Ordinary RO(C 2 )-graded Cohomology of a Point The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important

More information

Gauge Theory and Mirror Symmetry

Gauge Theory and Mirror Symmetry Gauge Theory and Mirror Symmetry Constantin Teleman UC Berkeley ICM 2014, Seoul C. Teleman (Berkeley) Gauge theory, Mirror symmetry ICM Seoul, 2014 1 / 14 Character space for SO(3) and Toda foliation Support

More information

UNIVERSAL DERIVED EQUIVALENCES OF POSETS

UNIVERSAL DERIVED EQUIVALENCES OF POSETS UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for

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

The Dirac-Ramond operator and vertex algebras

The Dirac-Ramond operator and vertex algebras The Dirac-Ramond operator and vertex algebras Westfälische Wilhelms-Universität Münster cvoigt@math.uni-muenster.de http://wwwmath.uni-muenster.de/reine/u/cvoigt/ Vanderbilt May 11, 2011 Kasparov theory

More information

Dirac Structures on Banach Lie Algebroids

Dirac Structures on Banach Lie Algebroids DOI: 10.2478/auom-2014-0060 An. Şt. Univ. Ovidius Constanţa Vol. 22(3),2014, 219 228 Dirac Structures on Banach Lie Algebroids Vlad-Augustin VULCU Abstract In the original definition due to A. Weinstein

More information

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank

More information

Two-sided multiplications and phantom line bundles

Two-sided multiplications and phantom line bundles Two-sided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard

More information

EXACT BRAIDS AND OCTAGONS

EXACT BRAIDS AND OCTAGONS 1 EXACT BRAIDS AND OCTAGONS Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Lewisfest, Dublin, 23 July 2009 Organized by Eva Bayer-Fluckiger, David Lewis and Andrew Ranicki. 2 3 Exact braids

More information

The Global Defect Index

The Global Defect Index Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) The Global Defect Index Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche Fakultät I, Universität Regensburg,

More information

Iterated Bar Complexes of E-infinity Algebras and Homology Theories

Iterated Bar Complexes of E-infinity Algebras and Homology Theories Iterated Bar Complexes of E-infinity Algebras and Homology Theories BENOIT FRESSE We proved in a previous article that the bar complex of an E -algebra inherits a natural E -algebra structure. As a consequence,

More information

Applications of geometry to modular representation theory. Julia Pevtsova University of Washington, Seattle

Applications of geometry to modular representation theory. Julia Pevtsova University of Washington, Seattle Applications of geometry to modular representation theory Julia Pevtsova University of Washington, Seattle October 25, 2014 G - finite group, k - field. Study Representation theory of G over the field

More information

TENSOR CATEGORIES P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik

TENSOR CATEGORIES P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik TENSOR CATEGORIES P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik Contents 1. Monoidal categories 4 1.1. The definition of a monoidal category 4 1.2. Basic properties of unit objects in monoidal categories

More information

NOTES ON RESTRICTED INVERSE LIMITS OF CATEGORIES

NOTES ON RESTRICTED INVERSE LIMITS OF CATEGORIES NOTES ON RESTRICTED INVERSE LIMITS OF CATEGORIES INNA ENTOVA AIZENBUD Abstract. We describe the framework for the notion of a restricted inverse limit of categories, with the main motivating example being

More information

Lecture 4 Super Lie groups

Lecture 4 Super Lie groups Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is

More information

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of

More information

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are

More information

Curtis Heberle MTH 189 Final Paper 12/14/2010. Algebraic Groups

Curtis Heberle MTH 189 Final Paper 12/14/2010. Algebraic Groups Algebraic Groups Curtis Heberle MTH 189 Final Paper 12/14/2010 The primary objects of study in algebraic geometry are varieties. Having become acquainted with these objects, it is interesting to consider

More information

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract

Permutation groups/1. 1 Automorphism groups, permutation groups, abstract Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.

More information

NOTES ON MODULES AND ALGEBRAS

NOTES ON MODULES AND ALGEBRAS NOTES ON MODULES AND ALGEBRAS WILLIAM SCHMITT 1. Some Remarks about Categories Throughout these notes, we will be using some of the basic terminology and notation from category theory. Roughly speaking,

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

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

1 Hermitian symmetric spaces: examples and basic properties

1 Hermitian symmetric spaces: examples and basic properties Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................

More information

An extension of the LMO functor

An extension of the LMO functor An extension of the LMO functor Yuta Nozaki The Univ. of Tokyo December 23, 2014 VII Y. Nozaki (The Univ. of Tokyo) An extension of the LMO functor December 23, 2014 1 / 27 Introduction Contents 1 Introduction

More information

REPRESENTATION THEORY WEEK 5. B : V V k

REPRESENTATION THEORY WEEK 5. B : V V k REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +

More information

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0

NOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0 NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of

More information

Cohomology and Vector Bundles

Cohomology and Vector Bundles Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes

More information

Category Theory. Categories. Definition.

Category Theory. Categories. Definition. Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling

More information

DEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.

DEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ. DEFINITIONS: OPERADS, ALGEBRAS AND MODULES J. P. MAY Let S be a symmetric monoidal category with product and unit object κ. Definition 1. An operad C in S consists of objects C (j), j 0, a unit map η :

More information