Searcharxiv⌕ Search

arXiv subjects

K. Szlachanyi

Publications and source records attributed to K. Szlachanyi.

17 recordsLinked to original sources
arXiv2016

On the tensor product of modules over skew monoidal actegories

This paper is about skew monoidal tensored V-categories (= skew monoidal hommed V-actegories) and their categories of modules. A module over is an algebra for the monad T = R * _ on M. We study in detail the skew monoidal structure of M^T and construct a skew monoidal forgetful functor from M^T to the category of E-objects in M where E=M(R,R) is the endomorphism monoid of the unit object R. Then we give conditions for the forgetful functor to be strong monoidal and for the category M^T of modules to be monoidal. In formulating these conditions a notion of `self-cocomplete' subcategories of presheaves appears to be useful which provides also some insight into the problem of monoidality of the skew monoidal structures found by Altenkirch, Chapman and Uustalu on functor categories [C,M].

math.CT↗
arXiv2016

Skew monoidal monoids

Skew monoidal categories are monoidal categories with non-invertible `coherence' morphisms. As shown in a previous paper bialgebroids over a ring R can be characterized as the closed skew monoidal structures on the category Mod R in which the unit object is R. This offers a new approach to bialgebroids and Hopf algebroids. Little is known about skew monoidal structures on general categories. In the present paper we study the one-object case: skew monoidal monoids (SMM). We show that they possess a dual pair of bialgebroids describing the symmetries of the (co)module categories of the SMM. These bialgebroids are submonoids of their own base and are rank 1 free over the base on the source side. We give various equivalent definitions of SMM, study the structure of their (co)module categories and discuss the possible closed and Hopf structures on a SMM.

math.CT↗
arXiv2009

Fiber functors, monoidal sites and Tannaka duality for bialgebroids

What are the fiber functors on small additive monoidal categories C which are not abelian? We give an answer which leads to a new Tannaka duality theorem for bialgebroids generalizing earlier results by Phung Ho Hai. The construction reveals a sheaf theoretic interpretation in so far as the reconstructed bialgebroid H has comodule category equivalent to the category of T-sheaves w.r.t. a monoidal Grothendieck topology on C. We also prove an existence theorem for fiber functors on small additive monoidal categories with bounded fusion and weak kernels. For certain autonomous categories a generalized Ulbrich Theorem can be formulated which relates fiber functors to Hopf algebroid Galois extensions.

math.QA↗
arXiv2009

On the field algebra construction

A pure algebraic variant of John Roberts' field algebra construction is presented and applied to bialgebroid Galois extensions and certain generalized fusion categories.

math.QA↗
arXiv2004

Finitary Galois extensions over noncommutative bases

We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An algebra extension is Galois precisely if it is balanced, depth 2, and Frobenius. Then we show that Yetter-Drinfeld categories over H are always braided and their braided commutative algebras play the role of noncommutative scalar extensions by the Brzezinski-Militaru Theorem. Contravariant "fiber functors" are used to prove an analogue of Ulbrich's Theorem and to get a monoidal embedding of the category of modules over the endomorphism Hopf algebroid E=End(_N M_N).

math.QA↗
arXiv2004

Monoidal Morita equivalence

The monoidal version of classical Morita theory is a theory of bialgebroids. To make this explicit we construct a bicategory the objects of which are the bialgebroids and in which equivalence of objects means that the corresponding module categories are monoidally equivalent. The module categories of bialgebroids and of Frobenius Hopf algebroids are characterized by the existence of strong comonoid progenerators and strong Frobenius progenerators, respectively.

math.QA↗
arXiv2003

Adjointable monoidal functors and quantum groupoids

Every monoidal functor G: C --> M has a canonical factorization through the category of bimodules over some monoid R in M such that the factor U: C -->_R M_R is strongly unital. Using this result and the characterization of the forgetful functors M_A -->_R M_R of bialgebroids A over R given by Schauenburg together with their bimonad description given by the author recently here we characterize the "long" forgetful functors M_A -->_R M_R --> M of both bialgebroids and weak bialgebras.

math.QA↗
arXiv2002

The monoidal Eilenberg-Moore construction and bialgebroids

Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive Tannaka duality between left adjointable monoidal functors and bimonads. Bialgebroids, i.e., Takeuchi's x_R-bialgebras, appear as the special case when T has also a right adjoint. Street's 2-category of monads then leads to a natural definition of the 2-category of bialgebroids.

math.QA↗
arXiv2002

Galois actions by finite quantum groupoids

Proposing a certain category of bialgebroid maps we show that the balanced depth 2 extensions appear as they were the finitary Galois extensions in the context of quantum groupoid actions, i.e., actions by finite bialgebroids, weak bialgebras or weak Hopf algebras. We comment on deformation of weak bialgebras, on half grouplike elements, on uniqueness of weak Hopf algebra reconstructions and discuss the example of separable field extensions.

math.QA↗
arXiv2001

Dual Bialgebroids for Depth Two Ring Extensions

We introduce a general notion of depth two for ring homomorphism N --> M, and derive Morita equivalence of the step one and three centralizers, R = C_M(N) and C = End_{N-M}(M ø_N M), via dual bimodules and step two centralizers A = End_NM_N and B = (M ø_N M)^N, in a Jones tower above N --> M. Lu's bialgebroids End_k A' and A' ø_k {A'}^op over a k-algebra A' are generalized to left and right bialgebroids A and B with B the R-dual bialgebroid of A. We introduce Galois-type actions of A on M and B on End_NM when M_N is a balanced module. In the case of Frobenius extensions M | N, we prove an endomorphism ring theorem for depth two. Further in the case of irreducible extensions, we extend previous results on Hopf algebra and weak Hopf algebra actions in subfactor theory [Szymanski, Nikshych-Vainerman] and its generalizations [Kadison-Nikshych: RA/0107064, RA/0102010] by methods other than nondegenerate pairing. As a result, we have concrete expressions for the Hopf or weak Hopf algebra structures on the step two centralizers. Semisimplicity of B is equivalent to separability of the extension M | N. In the presence of depth two, we show that biseparable extensions are QF.

math.RA↗
arXiv2000

Weak Hopf algebra symmetries of C^*-algebra inclusions

After a summary on module algebra actions of C^*-weak Hopf algebras we outline the proof of a reconstruction theorem stating that every finite index depth 2 inclusion N < M of unital C^*-algebras with finite dimensional centers is isomorphic to the invariant subalgebra inclusion M^A < M with respect to a regular weak Hopf algebra action. The proof uses the language of C^*-2-categories.

math.QA↗
arXiv2000

Finite quantum groupoids and inclusions of finite type

Bialgebroids, separable bialgebroids, and weak Hopf algebras are compared from a categorical point of view. Then properties of weak Hopf algebras and their applications to finite index and finite depth inclusions of von Neumann algebras are shortly reviewed. A hint is given at a duality between bialgebroid actions and abstract inclusions in 2-categories.

math.QA↗
arXiv1999

Weak Hopf Algebras I: Integral Theory and C^*-structure

We give an introduction to the theory of weak Hopf algebras proposed recently as a coassociative alternative of weak quasi-Hopf algebras. We follow an axiomatic approach keeping as close as possible to the "classical" theory of Hopf algebras. The emphasis is put on the new structure related to the presence of canonical subalgebras A^L and A^R in any weak Hopf algebra A that play the role of non-commutative numbers in many respects. A theory of integrals is developed in which we show how the algebraic properties of A, such as the Frobenius property, or semisimplicity, or innerness of the square of the antipode, are related to the existence of non-degenerate, normalized, or Haar integrals. In case of C^*-weak Hopf algebras we prove the existence of a unique Haar measure h in A and of a canonical grouplike element g in A implementing the square of the antipode and factorizing into left and right algebra elements. Further discussion of the C^*-case will be presented in Part II.

math.QA↗
arXiv1999

Weak Hopf Algebras II: Representation theory, dimensions and the Markov trace

If A is a weak C^*-Hopf algebra then the category of finite dimensional unitary representations of A is a monoidal C^*-category with monoidal unit being the GNS representation D_eps associated to the counit \eps. This category has isomorphic left dual and right dual objects which leads, as usual, to the notion of dimension function. However, if \eps is not pure the dimension function is matrix valued with rows and columns labelled by the irreducibles contained in D_eps. This happens precisely when the inclusions A^L < A and A^R < A are not connected. Still there exists a trace on A which is the Markov trace for both inclusions. We derive two numerical invariants for each C^*-WHA of trivial hypercenter. These are the common indices I and δ, of the Haar, respectively Markov conditional expectations of either one of the inclusions A^{L/R} < A and Adual^{L/R} < Adual. In generic cases I > δ. In the special case of weak Kac algebras we show that I=δis an integer.

math.QA↗
arXiv1998

Weak C^*-Hopf Algebras and Multiplicative Isometries

We show how the data of a finite dimensional weak C^*-Hopf algebra can be encoded into a pair (H,V) where H is a finite dimensional Hilbert space and V: H øH --> H øH is a partial isometry satisfying, among others, the pentagon equation. In case of V being unitary we recover the Baaj-Skandalis multiplicative unitary of the discrete compact type. Relation to the pseudo- multiplicative unitary approach proposed by J.-M. Vallin and M. Enock is also discussed.

math.QA↗
arXiv1995

A Coassociative C*-Quantum Group with Non-Integral Dimensions

By weakening the counit and antipode axioms of a C*-Hopf algebra and allowing for the coassociative coproduct to be non-unital we obtain a quantum group, that we call a weak C*-Hopf algebra, which is sufficiently general to describe the symmetries of essentially arbitrary fusion rules. This amounts to generalizing the Baaj-Skandalis multiplicative unitaries to multipicative partial isometries. Every weak C*-Hopf algebra has a dual which is again a weak C*-Hopf algebra. An explicit example is presented with Lee-Yang fusion rules. We shortly discuss applications to amalgamated crossed products, doubles, and quantum chains.

q-alg↗