Results 1  10
of
61
Morava Ktheories and localisation
 Mem. Amer. Math. Soc
, 1999
"... Abstract. We study the structure of the categories of K(n)local and E(n)local spectra, using the axiomatic framework developed in earlier work of the authors with John Palmieri. We classify localising and colocalising subcategories, and give characterisations of small, dualisable, and K(n)nilpoten ..."
Abstract

Cited by 63 (18 self)
 Add to MetaCart
Abstract. We study the structure of the categories of K(n)local and E(n)local spectra, using the axiomatic framework developed in earlier work of the authors with John Palmieri. We classify localising and colocalising subcategories, and give characterisations of small, dualisable, and K(n)nilpotent spectra. We give a number of useful extensions to the theory of vn self maps of finite spectra, and to the theory of Landweber exactness. We show that certain rings of cohomology operations are left Noetherian, and deduce some powerful finiteness results. We study the Picard group of invertible K(n)local spectra, and the problem of grading homotopy groups over it. We prove (as announced by Hopkins and Gross) that the BrownComenetz dual of MnS lies in the Picard group. We give a detailed analysis of some examples when n =1 or 2, and a list of open problems.
From subfactors to categories and topology I. Frobenius algebras in and Morita equivalence of tensor categories
 J. Pure Appl. Alg
, 2003
"... We consider certain categorical structures that are implicit in subfactor theory. Making the connection between subfactor theory (at finite index) and category theory explicit sheds light on both subjects. Furthermore, it allows various generalizations of these structures, e.g. to arbitrary ground f ..."
Abstract

Cited by 52 (6 self)
 Add to MetaCart
We consider certain categorical structures that are implicit in subfactor theory. Making the connection between subfactor theory (at finite index) and category theory explicit sheds light on both subjects. Furthermore, it allows various generalizations of these structures, e.g. to arbitrary ground fields, and the proof of new results about topological invariants in three dimensions. The central notion is that of a Frobenius algebra in a tensor category A, which reduces to the classical notion if A = FVect, where F is a field. An object X ∈ A with twosided dual X gives rise to a Frobenius algebra in A, and under weak additional conditions we prove a converse: There exists a bicategory E with ObjE = {A, B} such that EndE(A) ⊗ ≃ A and such that there are J, J: B ⇋ A producing the given Frobenius algebra. Many properties (additivity, sphericity, semisimplicity,...) of A carry over to the bicategory E. We define weak monoidal Morita equivalence of tensor categories, denoted A ≈ B, and establish a correspondence between Frobenius algebras in A and tensor categories B ≈ A. While considerably weaker than equivalence of tensor categories, weak monoidal Morita equivalence A ≈ B has remarkable consequences: A and B have equivalent (as braided tensor categories) quantum doubles (‘centers’) and (if A, B are semisimple spherical or ∗categories) have equal dimensions and give rise the same state sum invariant of closed oriented 3manifolds as recently defined by Barrett and Westbury. An instructive example is provided by finite dimensional semisimple and cosemisimple Hopf algebras, for which we prove H − mod ≈ ˆH − mod. The present formalism permits a fairly complete analysis of the center of a semisimple spherical category, which is the subject of the companion paper math.CT/0111205. 1
Mapping class group action on quantum doubles
 Commun. Math. Phys
, 1995
"... Abstract: We study representations of the mapping class group of the punctured torus on the double of a finite dimensional possibly nonsemisimple Hopf algebra that arise in the construction of universal, extended topological field theories. We discuss how for doubles the degeneracy problem of TQFT’ ..."
Abstract

Cited by 29 (2 self)
 Add to MetaCart
Abstract: We study representations of the mapping class group of the punctured torus on the double of a finite dimensional possibly nonsemisimple Hopf algebra that arise in the construction of universal, extended topological field theories. We discuss how for doubles the degeneracy problem of TQFT’s is circumvented. We find compact formulae for the S ±1matrices using the canonical, non degenerate forms of Hopf algebras and the bicrossed structure of doubles rather than monodromy matrices. A rigorous proof of the modular relations and the computation of the projective phases is supplied using Radford’s relations between the canonical forms and the moduli of integrals. We analyze the projective SL(2,Z)action on the center of Uq(sl2) for q an l = 2m + 1st root of unity. It appears that the 3m + 1dimensional representation decomposes into an m + 1dimensional finite representation and a 2mdimensional, irreducible representation. The latter is the tensor product of the two dimensional, standard representation of SL(2,Z) and the finite, mdimensional representation, obtained from the truncated TQFT Since the seminal paper of Atiyah [A] on the abstract definition of a topological quantum field theory (TQFT) much progress has been made in finding non trivial examples and
From subfactors to categories and topology III. Triangulation invariants of 3manifolds and Morita equivalence of tensor categories
 In preparation
"... ..."
Frobenius monads and pseudomonoids
 2CATEGORIES COMPANION 73
, 2004
"... Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only i f it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What i t means for a morphism of a bicategory to be a projective equivalenc ..."
Abstract

Cited by 19 (4 self)
 Add to MetaCart
Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only i f it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What i t means for a morphism of a bicategory to be a projective equivalence is defined; this concept is related to "strongly separable " Frobenius algebras and "weak monoidal Morita equivalence". Wreath products of Frobenius algebras are discussed.
Quantum Chains of Hopf Algebras with Quantum Double Cosymmetry
, 1995
"... Given a finite dimensional C Hopf algebra H and its dual H we construct the infinite crossed product A = : : : ? / H ? / H ? / H ? / : : : and study its superselection sectors. A is the observable algebra of a generalized quantum spin chain with Horder and Hdisorder symmetries, where ..."
Abstract

Cited by 16 (5 self)
 Add to MetaCart
Given a finite dimensional C Hopf algebra H and its dual H we construct the infinite crossed product A = : : : ? / H ? / H ? / H ? / : : : and study its superselection sectors. A is the observable algebra of a generalized quantum spin chain with Horder and Hdisorder symmetries, where by a duality transformation the role of order and disorder may also appear interchanged. If H = j CG is a group algebra then A becomes an ordinary Gspin model. We classify all DHRsectors of A  relative to some Haag dual vacuum representation  and prove that their symmetry is described by the Drinfeld double D(H). To achieve this we construct localized coactions ae : A ! A\Omega D(H) and use a certain compressibility property to prove that they are universal amplimorphisms on A. In this way the double D(H) can be recovered from the observable algebra A as a universal cosymmetry. 1 Email: NILL@omega.physik.fuberlin.de Supported by the DFG, SFB 288 "Differentialgeometrie und Quant...
Integral theory for quasiHopf algebras
"... Abstract. We generalize the fundamental structure Theorem on Hopf (bi)modules by Larson and Sweedler to quasiHopf algebras H. For dim H < ∞ this proves the existence and uniqueness (up to scalar multiples) of integrals in H. Among other applications we prove a Maschketype Theorem for diagonal cros ..."
Abstract

Cited by 16 (0 self)
 Add to MetaCart
Abstract. We generalize the fundamental structure Theorem on Hopf (bi)modules by Larson and Sweedler to quasiHopf algebras H. For dim H < ∞ this proves the existence and uniqueness (up to scalar multiples) of integrals in H. Among other applications we prove a Maschketype Theorem for diagonal crossed products as constructed by the authors in [HN, HN99].
Weak Hopf Algebras and Reducible Jones Inclusions of Depth 2. I: From Crossed Products to Jones Towers
, 1998
"... We apply the theory of finite dimensional weak C*Hopf algebras A as developed by G. Bohm, F. Nill and K. Szlachányi [BSz,Sz,N1,N2,BNS] to study reducible inclusion triples of vonNeumann algebras N ae M ae M ? / A, where M is an Amodule algebra with left Aaction . : A\Omega M ! M, N j M A i ..."
Abstract

Cited by 15 (4 self)
 Add to MetaCart
We apply the theory of finite dimensional weak C*Hopf algebras A as developed by G. Bohm, F. Nill and K. Szlachányi [BSz,Sz,N1,N2,BNS] to study reducible inclusion triples of vonNeumann algebras N ae M ae M ? / A, where M is an Amodule algebra with left Aaction . : A\Omega M ! M, N j M A is the fixed point algebra and M ? / A is the crossed product extension. Here "weak" means that the coproduct \Delta on A is nonunital, requiring various modifications of the standard definitions for Hopf (co)actions and crossed products. We show that normalized positive and nondegenerate left integrals l 2 A give rise to faithful conditional expectations E l : M ! N via E l (m) := l . m, where under certain regularity conditions this correspondence is onetoone. Associated with such left integrals we construct "Jones projections" e l 2 A obeying for all m 2 M the Jones relations e l me l = E l (m)e l = e l E l (m) as an identity in M ? / A. We also present a concept of Plancherel...
Nondegenerate invariant bilinear forms on non–associative algebras, Preprint Freiburg THEP 92/3, to appear
 Acta Math. Univ. Comenianae
"... Abstract. A bilinear form f on a nonassociative algebra A is said to be invariant iff f(ab, c) = f(a, bc) for all a, b, c ∈ A. Finitedimensional complex semisimple Lie algebras (with their Killing form) and certain associative algebras (with a trace) carry such a structure. We discuss the ideal st ..."
Abstract

Cited by 15 (0 self)
 Add to MetaCart
Abstract. A bilinear form f on a nonassociative algebra A is said to be invariant iff f(ab, c) = f(a, bc) for all a, b, c ∈ A. Finitedimensional complex semisimple Lie algebras (with their Killing form) and certain associative algebras (with a trace) carry such a structure. We discuss the ideal structure of A if f is nondegenerate and introduce the notion of T ∗extension of an arbitrary algebra B (i.e. by its dual space B ∗ ) where the natural pairing gives rise to a nondegenerate invariant symmetric bilinear form on A: = B ⊕ B ∗. The T ∗extension involves the third scalar cohomology H3 (B, K) if B is Lie and the second cyclic cohomology HC 2 (B) if B is associative in a natural way. Moreover, we show that every nilpotent finitedimensional algebra A over an algebraically closed field carrying a nondegenerate invariant symmetric bilinear form is a suitable T ∗extension. As a Corollary, we prove that every complex Lie algebra carrying a nondegenerate invariant symmetric bilinear form is always a special type of Manin pair in the sense of Drinfel’d but not always isomorphic to a Manin triple. Examples involving the Heisenberg and filiform Lie algebras (whose third scalar cohomology is computed) are discussed. 1.
On injective modules for infinitesimal algebraic groups
 I, J. London Math. Soc
, 1985
"... Let G be a connected, semisimple algebraic group defined over an algebraically closed field k of characteristic p> 0. We assume that G is defined and split over the prime field k0. In general, for any positive integer r, and any affine fcgroup scheme H defined over k0, the rth infinitesimal subgro ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
Let G be a connected, semisimple algebraic group defined over an algebraically closed field k of characteristic p> 0. We assume that G is defined and split over the prime field k0. In general, for any positive integer r, and any affine fcgroup scheme H defined over k0, the rth infinitesimal subgroup scheme Hr of H is defined to be the (schemetheoretic) kernel of the rth power of the Frobenius morphism o\H> H. In this paper we study injective modules for Gr and various other important subgroup schemes of G. Fix a maximal torus T of G defined and split over k0, and let H be any connected (reduced) Tstable closed subgroup of G. Form the subgroup scheme THr, the pullback of T under a r on TH: THr TH>TH A 77/rmodule is by definition a rational module in the usual sense of group schemes, cf. [3] or [7]. Equivalently, these are the hy(i/r)7modules studied by Jantzen [11] (where hy (Hr) is the hyperalgebra of Hr [3]). Let O be the root system of T in G. For ae<D, let Ua be the corresponding