arxiv:math/ v1 [math.ct] 2 Nov 2004

Transcription

1 arxiv:math/04055v [math.ct] 2 Nov 2004 Rack and quandle homology Nicholas Jackson Mathematics Institute, University of Warwick, Coventry CV4 7AL, United Kingdom Abstract nicholas@maths.warwick.ac.uk A rack is a set X equipped with a bijective, self-right-distributive binary operation, and a quandle is a rack which satisfies an idempotency condition. In this paper, we further develop the theory of rack and quandle modules introduced in [8], in particular defining a tensor product X, the notion of a free X module, and the rack algebra (or wring) ZX. We then apply this theory to define homology theories for racks and quandles which generalise and encapsulate those developed by Fenn, Rourke and Sanderson[6, 7]; Carter, Elhamdadi, Jelsovsky, Kamada, Langford and Saito [2, 3]; and Andruskiewitsch, Etingof and Graña [, 4]. AMS Classification numbers Primary: 8G60 Secondary: 8G35, 8E0 Keywords: Racks, quandles, modules, homology, cohomology

2 Introduction A rack (or wrack) is a set X equipped with an asymmetric binary operation (often written as exponentiation) such that: (R) For every a,b X there is a unique c X such that c b = a. (R2) For every a, b, c X, the rack identity holds: a bc = a cbc In the first of these axioms, the unique element c may be denoted a b, although b should not itself be regarded as an element of the rack. Association of exponents should be understood to follow the usual conventions for exponential notation. In particular, the expressions a bc and a cbc should be interpreted as (a b ) c and (a c ) (bc) respectively. A rack which, in addition, satisfies the following idempotency criterion is said to be a quandle. (Q) For every a X, a a = a. A rack (or quandle) homomorphism is a function f : X Y such that f(a b ) = f(a) f(b) for all a,b X. Thus, there exist categories Rack and Quandle. For any rack X, we may construct the inverted rack X {x : x X} with rack operation x y := (x y ). which is the set A detailed exposition may be found in the paper by Fenn and Rourke [5]. A trunk T is an object analogous to a category, and consists of a class of objects and, for each ordered pair (A,B) of objects, a set Hom T (A,B) of morphisms. In addition, T has a number of preferred squares g A C f k B h D of morphisms, a concept analogous to that of composition in a category. Given two trunks S and T, a trunk map or functor F : S T is a map which assigns to every object A of S an object F(A) of T, and to every morphism 2

3 f : A B of S a morphism F(f): F(A) F(B) of T such that preferred squares are preserved: F(f) F(A) F(B) or F(g) F(g) F(C) F(k) F(A) F(f) F(D) F(B) F(h) F(h) F(C) F(k) F(D) A trunk map of the first kind is said to be covariant, while a trunk map of the second kind is said to be contravariant. For any category C there is a well-defined trunk Trunk(C) which has the same objects and morphisms as C, and whose preferred squares are the commutative diagrams in C. In particular, we will consider the case Trunk(Ab), which we will denote Ab where there is no ambiguity, and which denotes the trunk of Abelian groups. Trunks were first introduced and studied by Fenn, Rourke and Sanderson [6]. Given a rack X we define a trunk T(X) as follows: Let T(X) have one object for each element x X, and for each ordered pair (x,y) of elements of X, a morphism α x,y : x x y and a morphism β y,x : y y x such that the squares x α x,y x y y β y,x x y α x,z x z α x z,y z α x y,z x yz = x zyz are preferred for all x, y, z X. α y,z y z β y z,x z α x y,z x yz = x zyz A trunk map A: T(X) Ab determines an Abelian group A x for each element x X, and for each ordered pair (x,y) of elements of X, Abelian group homomorphisms φ x,y : A x A x y and ψ y,x : A y A x y such that φ x y,zφ x,y φ x y,zψ y,x = φ x z,y zφ x,z = ψ y z,x zφ y,z 3

4 for all x,y,z X. It may often be convenient to denote such a trunk map by a triple (A, φ, ψ). A rack module over X (or an X module) is a (covariant) trunk map A = (A,φ,ψ): T(X) Ab such that φ x,y : A x = Ax y is an isomorphism, and ψ z,x y(a) = φ x z,y zψ z,x(a) + ψ y z,x zψ z,y(a) () for all a A z and x,y,z X. If x,y lie in the same orbit of X then this implies that A x = Ay (although the isomorphism is not necessarily unique). For racks with more than one orbit it follows that if x y then A x need not be isomorphic to A y. Rack modules where the constituent groups are nevertheless all isomorphic are said to be homogeneous, and those where this is not the case are said to be heterogeneous. It is clear that modules over transitive racks (racks with a single orbit) must be homogeneous. An X module A of the form (A,Id,0) (so that φ x,y = Id: A x A x y ψ y,x is the zero map A y A x y ) is said to be trivial. Given two X modules A = (A,φ,ψ) and B = (B,χ,ω), a homomorphism of X modules, or an X map, is a natural transformation f : A B. That is, a collection f = {f x : A x B x : x X} of Abelian group homomorphisms such that and φ x,y f x = f x yφ x,y for all x,y X. ψ y,x f y = f x yψ y,x As shown in a previous paper [8], these objects are the Beck modules in the category Rack, and hence form an Abelian category (denoted RMod X ) suitable for the definition of homology and cohomology theories. Specialising to the subcategory Quandle yields a related construct suitable for use in quandle homology and cohomology theories. A quandle module is a rack module A = (A, φ, ψ) which satisfies the additional criterion ψ x,x (a) + φ x,x (a) = a (2) for all a A x and x X. These objects form a category QMod X, which is equivalent to the category of Beck modules in Quandle. This paper contains part of my doctoral thesis [9]. I am grateful to my supervisor Colin Rourke, and to Alan Robinson, Ronald Brown, and Simona Paoli for many helpful discussions, comments and advice over the past few years. 4

5 2 Right X modules A contravariant trunk map A = (A,φ,ψ): T(X) Ab determines, as in the covariant case, an Abelian group A x for each x X. In addition, we obtain homomorphisms φ x,y : A x y A x and ψ y,x : A x y A y, satisfying and φ x,y φ xy,z = φ x,z φ xz,y z ψ y,x φ xy,z = φ y,z ψ yz,x z for all x,y,z X. A right rack module over X (or a right X module), is such a trunk map in which each φ x,y is an isomorphism, and for all x,y,z X. ψ z,xy = ψ z,x φ xz,y z + ψ z,y ψ yz,x z We may choose to refer to the rack modules earlier defined[8] as left rack modules where necessary. Given two right X modules A = (A,φ,ψ) and B = (B,χ,ω), a homomorphism (or X map) f : A B is a natural transformation. That is, an Abelian group homomorphism f x : A x B x for each x X, such that and f x φ x,y = χ x,y f x y f y ψ y,x = ω y,x f x y for all x,y X. We denote the category thus formed by RMod X. Proposition 2. For any rack X, there is a categorical equivalence RMod X = RMod X, where X denotes the inverted rack of X. Proof Let A = (A,φ,ψ) be an arbitrary left X module. We may construct a right X module as follows. For each x X, let B x = A x, and define Abelian group homomorphisms χ x,y : B x y B x ω y,x : B x y B y ; a φ xȳ,y(a) ; a ψxȳ,yy xȳ(a). A routine calculation confirms that B = (B,χ,ω) is a right X module. Furthermore, given another left X module C = (C,γ,η) and a homomorphism f : A C of left X modules, we may construct another right X module D = (D,δ,θ) and a homomorphism g: B D of right X modules such that 5

6 g x = f x for all x X. Another routine calculation verifies that g is a natural transformation. This assignment (A B, f g) determines a functor F : RMod X RMod X. Conversely, given a right X module B = (B,χ,ω), we may construct a left X module A = (A,φ,ψ) by setting A x = B x and φ x,y : A x A x y ψ y,x : A y A x y ; a χ x y,y (a) ; b ω x y,y y x y (b) for all x,y X, a A x, and b A y. Given another right X module D = (D,δ,θ) and a homomorphism g: B D of right X modules, we may construct another left X module C as before, and a left X module homomorphism f : A C by setting f x = g x for all x X. This process determines a functor G: RMod X RMod X which is the inverse of F. Corollary 2.2 For any rack X, the categories RMod X and RMod X are equivalent Proof This follows immediately from the observation that X = X. There is a corresponding notion of a right quandle module. This is a right X module A = (A,φ,ψ) such that ψ x,x (a) + φ x,x (a) = a for all x X and a A x. We thus obtain a category QMod X which is equivalent to QMod X. 3 Free X modules For an arbitrary rack X, the discrete trunk D(X) on X is the trunk with one object for each x X, and no morphisms. A trunk map S : D(X) Set, then, determines a set S x for each element x X. We denote by Set D(X) the category whose objects are these trunk maps, and whose morphisms are natural transformations. There is an obvious forgetful functor U : RMod X Set D(X), which, for any X module A = (A,φ,ψ) maps the Abelian group A x to its underlying set, and discards the structure maps φ x,y and ψ y,x, for all x,y X. For any trunk map S : D(X) Set, we define the free rack module (over X) F S to be the module F = (F,Λ,P) where F x is the free abelian group generated by symbols of the form 6

7 (i) ρ x w,w(a) where w As X and a S x w (ii) ρ x w,wλ y,x wȳ(b) where w As X, y X, and b S y modulo the relations (i) ρ x u,vρ x,u = ρ x v,u vρ x,v = ρ x,uv (ii) ρ x y,vλ y,x = λ y v,x vρ y,v (iii) λ z,x y = λ y z,x zλ z,y + ρ x z,y zλ z,x (iv) ρ x,w (p + q) = ρ x,w (p) + ρ x,w (q) (v) λ y,x (s + t) = λ y,x (s) + λ y,x (t) for all x,y,z X; u,v,w As X; p,q F x ; and s,t F y. The symbol (c) should be interpreted as ρ x, (c) for any c S x, with denoting the identity in AsX. The structure maps are defined as follows: P x,y : F x F x y; p ρ x,y p Λ y,x : F y F x y; s λ y,x s. For any two trunk maps S, T : D(X) Set and any natural transformation f : S T, there is a unique X map Ff : F S F T given by linearly extending f. This functor F : Set D(X) RMod X is left adjoint to the forgetful functor U. For any rack X, we define the rack algebra (or wring) ZX of X to be the free X module on the singleton trunk map S : x {( )}. A typical element of (ZX) x is of the form n w ρ x w,w( ) + w As X where n w,m t,v Z. t X,v As X m t,v ρ x v,vλ t,x v t( ) The composition of the structure maps in ZX yields a multiplicative structure as follows: ρ x,v ( ) ρ xū,u( ) := ρ x,v ρ xū,u( ) = ρ xū,uv( ) ρ x,v ( ) ρ xū,uλ s,x ū s( ) := ρ x,v ρ xū,uλ s,x ū s( ) = ρ xū,uvλ s,x ū s( ) ρ x,v λ t,x t( ) ρ tū,u( ) := ρ x,v λ t,x tρ tū,u( ) = ρ xū,uvλ tū,x tū( ) ρ x,v λ t,x t( ) ρ tū,uλ s,t ū s( ) := ρ x,v λ t,x tρ tū,uλ s,t ū s( ) = ρ xū,uvλ s,x ū s( ) ρ,utvλ s,x tū s( ) x tū 7

8 This product operation is associative and distributes over addition, giving ZX a structure analogous to that of a preadditive category or ring with several objects [0]. Considering Z as a trivial X module, we may define an X map ε: ZX Z (the augmentation map) as follows: n w ρ x w,w( ) + m t,v ρ x v,vλ t,x v t( ) = ε x w As X t X,v As X w As X The augmentation module of X is the kernel IX = ker ε of this map. There are analogous constructions for quandle modules. For any quandle X, and trunk map S : D(X) Set, the free quandle module (over X) F S is the free rack X module F on S, modulo the relation (vi) λ x,x (a) + ρ x,x (a) = a for all x X and a F x. The quandle algebra (or wring) of X, which we also denote ZX, is the free quandle X module on the singleton trunk map S : x {( )}, equipped with the same multiplicative structure as the rack algebra of X. n w 4 Tensor products Given a rack X, let A = (A,φ,ψ) be a right X module, and B = (B,χ,ω) be a left X module. Then the tensor product A X B is defined as follows. Let D be the free Abelian group with basis (A x B x ). That is, let D be generated by symbols of the form (a,b) where a A x and b B x for all x X. Then we define A X B to be the group D modulo the relations (i) (a + a 2,b) = (a,b) + (a 2,b) (ii) (a,b + b 2 ) = (a,b ) + (a,b 2 ) (iii) (na,b) = n(a,b) = (a,nb) (iv) (φ x,y c,b) = (c,χ x,y b) (v) (ψ y,x c,d) = (c,ω y,x d) for all x,y X; a,a,a 2 A x ; c A x y ; b,b,b 2 B x ; d B y ; and n Z. We denote the equivalence class of (a, b) by a b. x X 8

9 An X biadditive map is an Abelian group homomorphism f : (A x B x ) C such that x X (i) f(a + a 2,b) = f(a,b) + f(a 2,b) (ii) f(a,b + b 2 ) = f(a,b ) + f(a,b 2 ) (iii) f(na,b) = nf(a,b) = f(a,nb) (iv) f(φ x,y c,b) = f(c,χ x,y b) (v) f(ψ y,x c,d) = f(c,ω y,x d) for all x,y X; a,a,a 2 A x ; c A x y ; b,b,b 2 B x ; d B y ; and n Z. The tensor product A X B, then, has the universal property that, for any Abelian group C and X biadditive map f : (A x B x ) C, there is a unique Abelian group homomorphism g: A X B C making the diagram (A x B x ) h A X B x X f x X g C commute. The tensor product is unique up to isomorphism by the usual universality argument. We may give the set Hom Ab (B,C) a canonical right X module structure. Let H x = Hom Ab (B x,c), which has an obvious Abelian group structure defined by (f x + g x )(b) := f x (b) + g x (b) for all f x,g x : B x C. Now define structure maps η x,y : H x y H x and ζ y,x : H x y H y by η x,y (f) = fχ x,y : B x C ζ y,x (f) = fω y,x : B y C for all x,y X, and f : B x y C. Then H = (H,η,ζ) is a right X module, and this construction gives a functor H B ( ) = Hom Ab (B, ): Ab RMod X. Proposition 4. For any right X module A = (A,φ,ψ), left X module B = (B,χ,ω), and abelian group C, there is a natural isomorphism Hom Ab (A X B,C) = Hom RMod X(A,Hom Ab (B,C)). That is, the functor X B: RMod X Ab is left adjoint to the functor H B = Hom Ab (B, ): Ab RMod X. 9

10 Proof An element f of Hom RMod X(A,Hom Ab (B,C)) assigns, to each x X and a A x, an Abelian group homomorphism f x (a): B x C, in a natural way. That is, f x (a + a 2 )(b) = f x (a )(b) + f x (a 2 )(b) f x (a)(b + b 2 ) = f x (a)(b ) + f x (a)(b 2 ) f x (na)(b) = nf x (a)(b) = f x (a)(nb) f x (φ x,y (c)(b) = (η y,x f x y(c)) (b) = f x y(c)(χ x,y b) f y (ψ x,y (c)(d) = (ζ y,x f x y(c)) (d) = f x y(c)(ω y,x d) for all x,y X; a,a,a 2 A x ; c A x y ; b,b,b 2 B x ; d B y ; and n Z. The first three identities follow from the fact that each f x is an abelian group homomorphism, and the remaining two from the fact that f is a homomorphism of right X modules (and hence a natural transformation of contravariant trunk maps T(X) Ab). The required natural isomorphism is defined by τ A,C : Hom Ab (A X B,C) Hom RMod X(A,Hom Ab (B,C)) for all x X,a A x, and b B x. f(a b) f x (a)(b) Although the tensor product of two X modules is an Abelian group, in certain circumstances it may itself be regarded as an X module in a canonical way. Proposition 4.2 For any left X module A = (A,φ,ψ), the tensor product ZX X A has a canonical left X module structure such that ZX X A = A. Proof The tensor product ZX X A is the free Abelian group generated by symbols of the form r (ZX) x (where ZX is considered as a right X module) and a A x, for all x X, such that (i) ρ x,y ( ) a = ( ) φ x,y (a) (ii) λ y,x ( ) b = ( ) ψ y,x (b) where a A x and b A y. For each x X, let B x be the free Abelian group generated by symbols of the form ( ) a where a A x. We may then define homomorphisms χ x,y : B x B x y ω y,x : B y B x y ; ( ) a ρ x,y ( ) a = ( ) φ x,y (a) ; ( ) b λ x,y ( ) b = ( ) ψ y,x (b) which satisfy the criteria for the structure maps of a left X module. This X module B = (B,χ,ω) is isomorphic to A. 0

11 5 Homology and cohomology Given a rack X and an X module A = (A,φ,ψ), the group Ext(X, A) (defined in [8]) is the group of equivalence classes of (factor sets corresponding to) extensions of X by A. This may be defined to be the quotient Z(X, A)/B(X, A), where Z(X, A) consists of factor sets σ satisfying the condition σ x y,z + φ x y,z(σ x,y ) = ψ y z,x z(σ y,z) + σ x z,y z + φ x z,y z(σ x,z) and B(X, A) is the subgroup of Z(X, A) consisting of factor sets of the form σ x,y = ψ y,x (υ y ) υ x y + φ x,y (υ x ) for all x,y,z X, and some set υ = {υ x A x : x X} In the case where A is a trivial X module, this reduces to the definition of the second cohomology H 2 (X;A) of (the rack space of) X with coefficients in the Abelian group A. We wish to formalise this connection with rack cohomology, and devise suitable generalisations of the higher homology and cohomology groups of X to the case where the coefficient object is an arbitrary X module, rather than just an Abelian group. We begin by considering the elements of B(X, A), expecting them to be the image, under some suitable coboundary operator, of functions f : X A. This concept is not yet well-defined, as it is not immediately clear what is meant by a function from a rack (which is a set with some additional structure imposed on it) to a rack module (which is a trunk map). Initially, then, we define a coboundary to be a family υ = {υ x A x : x X} of group elements such that υ x y = ψ y,x (υ y ) + φ x,y (υ x ). In order to reformulate this notion in a more useful manner, we must find some way of describing the rack X as a trunk map D(X) Set. Let S denote the trunk map D(X) Set where (S ) x = {x} for all x X. Then a coboundary υ is a natural transformation υ: S UA, where U denotes the forgetful functor RMod X Set D(X). This set Hom Set D(X)(S,UA) has an Abelian group structure defined by setting (υ + ω) x (x) = υ x (x) + ω x (x) for all x X. Similarly, define S 2 : D(X) Set by (S 2 ) x = {(p,q) X X : p q = x}. A factor set σ may be regarded as a natural transformation σ: S 2 UA. The set Hom Set D(X)(S 2,UA) also has an obvious Abelian group structure, defined by setting (σ + τ) p q(p,q) = σ p q(p,q) + τ p q(p,q) for all p,q X.

12 If we now define a map d 2 : Hom Set D(X)(S,UA) Hom Set D(X)(S 2,UA) by (d 2 f) x y(x,y) = ψ x,y f y (y) f x y(x y ) + φ x,y f x (x) then B(X, A) may be seen to be exactly im d 2. This map d 2 is an Abelian group homomorphism. In general, define the trunk map S n : D(X) Set by for n > 0, and (S n ) x = {(x,...,x n ) X n : x x 2...x n = x} (S 0 ) x = {( )} for all x X. Let d 3 : Hom Set D(X)(S 2,UA) Hom Set D(X)(S 3,UA) such that (d 3 f) x yz(x,y,z) = ψ y z,x zf y z(y,z) + f x zy z (x z,y z ) f x yz(x y,z) + φ x z,y zf x z(x,z) φ x y,zf x y(x,y). Then Z(X, A) = ker d 3. A routine calculation confirms that im d 2 ker d 3, and so we now have a fragment Hom Set D(X)(S,UA) d2 Hom Set D(X)(S 2,UA) d3 Hom Set D(X)(S 3,UA) of a cochain complex of Abelian groups. This is equivalent to Hom X (F, A) d2 Hom X (F 2, A) d3 Hom X (F 3, A) where F n is the free X module with basis S n. We thus have a description of the second cohomology of X in terms of the application of the contravariant functor Hom X (, A) to part of a complex of free X modules. Seeking a similar perspective for the first cohomology H (X; A), we define a derivation f : X A to be a natural transformation f : S UA such that f x y(x y ) = ψ y,x f y (y) + φ x,y f x (x); that is, an element of ker d 2. We denote the group of such maps by Der(X, A). If A is a trivial X module, then Der(X, A) = Hom X (F, A). If z is an arbitrary fixed element of X, then a z principal derivation is a natural transformation f : S UA such that f x (x) = ψ z,x z(a) for each x X and some fixed element a A z. As the terminology suggests, such a map is itself a derivation. Furthermore, the set PDer(X, A) of all z principal derivations (of 2

13 X into A) has an Abelian group structure, and may be regarded as the image of the X map d z : Hom Set D(X)(S 0,UA) Hom Set D(X)(S,UA) given by (d z f) x(x) = ψ z,x z( ). We may define H (X; A) z, the first cohomology group of X (with respect to z) with coefficients in A, to be the quotient Der(X, A)/ PDer(X, A). We have thus extended our cochain complex fragment by one dimension: Hom X (F 0, A) d z Hom X (F, A) d2 Hom X (F 2, A) d3 Hom X (F 3, A). In many cases (when A is a homogeneous trivial, dihedral, or Alexander module, for example) the first cohomology is independent of the choice of fixed element of X, and we may omit the z subscript. In particular, when A is a trivial module, the group PDer(X, A) is itself trivial. With this discussion in mind, we now define the (z )standard complex of a rack X to be d F z = 2 d z ε F F 0 Z 0 where F n is the free X module with basis S n, and the boundary maps are given by n d n = ( ) i+ d i n where (d i n ) x x 2...xn (x,...,x n ) = for i n, for n >, and i= ρ x x 2... x i+...xn,x x i+2...xn i+ (x,..., x i+,...,x n ) (d n x n) x 2...xn(x,...,x n ) = ( ) n+ λ x x 3...xn (d z ) x : (x) λ z,x z( ) (x x i+,...,x x i+ i,x i+2,...,x n ) 2,x x 3...xn (x 2,...,x n ) where. denotes elision of the marked symbol, and where z is an arbitrarily chosen, fixed element of X. In particular, both F and F 0 are isomorphic to the rack algebra ZX. We set the map d 0 : F 0 Z to be the augmentation map ε: ZX Z. 3

14 Lemma 5. If i < j < n then If i < n then And Proof If i < j < n, (d i n ) x x 2...xn If i < n, (d i n ) x x 2...xn Finally, d i n d j n = d j n di n. d i n d n n = d n n di+ n. d n n dn n = ( ) n d n n d n (d j n ) x x 2...xn (x,...,x n ) = ρ x x 2... x j+...xn,x x j+2...xn ρ x j+ x 2... x i+... x j+...xn,x x i+2...xn i+ ρ x x 2... x j+...xn (x,..., x i+,..., x j+,...,x n ),x x j+2...xn j+ ρ x x 2... x i+...xn,x x i+2...xn i+ (x x i+,...,x x i+ i,x i+2,...,x n ) (x x j+,...,x x j+ j,x j+2,...,x n ) + (x x i+x j+,...,x x i+x j+ i,x x j+ i+2,...,xx j+ j,x j+2,...,x n ) (d n x n) x 2...xn(x,...,x n ) = = ( ) n+ λ x x 3...xn (dn n ) x x 2...xn = (d j n ) x x 2...xn 2,x x 3...xn ρ x x 3... x i+...xn 2,x x i+2...xn i+ ( ) n+ λ x x 3...xn 2,x x 3...xn (d i n ) x x 2...xn (x,...,x n ). (x 2,..., x i+,...,x n ) (x x i+ 2,...,x x i+ i,x i+2,...,x n ) = (d n (d n x n) x 2...xn(x,...,x n ) = ( ) 2n+ λ x x 3...xn ( ) 2n ρ x x 3...xn n ) x x 2...xn 2,x x 3...xn λ x x 4...xn 3,x x 4...xn 2,x x 3...xn λ x 2 x 4...xn 3,x x 4...xn ( ) 2n λ x x 4...xn 3,x x 2 x 4...xn ( ) n (d n (d i+ n ) x x 2...xn(x,...,x n ). (x 3,...,x n ) = (x 3,...,x n ) (x 3,...,x n ) = n ) x x 2...xn (d n ) x x 2...xn (x,...,x n ). Theorem 5.2 The standard complex is indeed a chain complex of X modules. 4

15 Proof Using the above lemma, we find that d n d n = as asserted. n i= j= n ( ) i+j d i n d j n = n 2 i= j= i ( ) i+j d i n d j n + n 2 + n 2 n i= j=i+ ( ) i+j d j n 2 ( ) i+n d i n dn n + ( ) i+n d n i= i= n di n n di+ n + ( ) n d n n dn n + ( ) 2n d n n d n = 0 We may now use this complex to define the homology and cohomology groups of a rack X, with coefficients in an arbitrary X module A: for n 0. H n (X; A) z = H n (F z X A) H n (X; A) z = H n (Hom X (F z, A)) In the case where the coefficient module is a trivial homogeneous X module (equivalently, an Abelian group), this homology and cohomology theory is equivalent to the (topological) homology and cohomology of the rack space BX, as introduced by Fenn, Rourke and Sanderson [6]. If the coefficient module A = (A,φ,ψ) is homogeneous, then we recover the rack homology and cohomology theories described by Andruskiewitsch and Graña [], and if, in addition, the ψ maps are zero (giving A the structure of an As X module) then we recover the cohomology theory studied by Etingof and Graña [4]. We now investigate the specialisation to the subcategory Quandle. The construction of the standard complex F Q z for quandle homology and cohomology is very similar to that for rack homology and cohomology, with F n = F S n where (S n ) x = {(x,...,x n ) X n : x x 2...x n = x,and x i x i+ for i n } and the same boundary maps d n : F n F n. This complex may be used to define quandle homology and cohomology groups H Q n (X; A) z = H n (F Q z X A) H n Q(X; A) z = H n (Hom X (F Q z, A)) 5

16 for n 0. If the coefficient module is a trivial homogeneous quandle X module (equivalently, an Abelian group), this theory is equivalent to the one introduced by Carter, Jelsovsky, Kamada, Langford and Saito[2], and if the coefficient module is a homogeneous Alexander module [8, Example 2.4], we recover Carter, Elhamdadi and Saito s twisted quandle homology theory[3]. References [] Nicolás Andruskiewitsch, Matías Graña, From racks to pointed Hopf algebras, arxiv:math.qa/ [2] J Scott Carter, Daniel Jelsovsky, Seiichi Kamada, Laurel Langford, Masahico Saito, Quandle cohomology and state-sum invariants of knotted curves and surfaces, arxiv:math.gt/ [3] J Scott Carter, Mohamed Elhamdadi, Masahico Saito, Twisted quandle homology theory and cocycle knot invariants, Algebraic and Geometric Topology 2 (2002) [4] Pavel Etingof, Matías Graña, On rack cohomology, Journal of Pure and Applied Algebra 77 (2003) [5] Roger Fenn, Colin Rourke, Racks and links in codimension 2, Journal of Knot Theory and its Ramifications (992) [6] Roger Fenn, Colin Rourke, Brian Sanderson, Trunks and classifying spaces, Applied Categorical Structures 3 (995) [7] Roger Fenn, Colin Rourke, Brian Sanderson, James bundles and applications, arxiv:math.at/ [8] Nicholas Jackson, Extensions of racks and quandles, arxiv:math.ct/ [9] Nicholas Jackson, Homological algebra of racks and quandles, PhD thesis, Mathematics Institute, University of Warwick (2004) [0] Barry Mitchell, Rings with several objects, Advances in Mathematics 8 (972) 6 6