Quantizations and classical non-commutative non-associative algebras
|
|
- Scot Jenkins
- 5 years ago
- Views:
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 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 informationThe 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 informationThus 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 informationCategories 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 informationA 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 informationNOTES 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 informationCategorical 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 informationGraded 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 informationCartesian 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 informationLecture 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 informationMacLane 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 informationAtiyah 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 informationON 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 informationRepresentations 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 informationOverview 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 informationMath 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 informationDefects 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 informationAdjunctions! 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 informationVector 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 informationarxiv: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 informationThe 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 informationComplexes 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 informationsset(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 informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationBetti 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 informationA 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 informationWhat 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 informationp,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 informationALGEBRAIC 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 informationOn 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 informationALGEBRA 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 informationLOOP 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 informationA 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 informationAG 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 informationDeformation 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 informationAzumaya 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 information1. 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 information1 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 informationarxiv: 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 informationSECTION 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 informationMath 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 informationClifford 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 information1 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 informationFOURIER - 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 informationWe 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 informationFUNCTORS 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 informationA 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 informationAn 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 informationRealization 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 informationMath 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 informationThe 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 informationA 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 informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
More informationSymbol 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 informationE 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 informationA 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 informationREGULAR 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 informationFun 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 informationFrom 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 informationFormal 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 informationCATEGORICAL 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 informationModular 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 informationMATH 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 informationNoetherian 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 informationLoop 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 informationIntroduction 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 informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationBERTRAND 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 informationExercises 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 informationCurves 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 informationThe 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 informationGauge 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 informationUNIVERSAL 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 informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
More informationThe 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 informationDirac 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 informationSERRE 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 informationTwo-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 informationEXACT 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 informationThe 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 informationIterated 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 informationApplications 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 informationTENSOR 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 informationNOTES 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 informationLecture 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 informationExercises 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 informationLECTURE 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 informationCurtis 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 informationPermutation 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 informationNOTES 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 informationarxiv: v1 [math.ag] 2 Oct 2009
THE GENERALIZED BURNSIDE THEOREM IN NONCOMMUTATIVE DEFORMATION THEORY arxiv:09100340v1 [mathag] 2 Oct 2009 EIVIND ERIKSEN Abstract Let A be an associative algebra over a field k, and let M be a finite
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More information1 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 informationAn 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 informationREPRESENTATION 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 informationNOTES 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 informationCohomology 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 informationCategory 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 informationDEFINITIONS: 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