Show Summary Details
More options …

# Journal für die reine und angewandte Mathematik

Managing Editor: Weissauer, Rainer

Ed. by Colding, Tobias / Huybrechts, Daniel / Hwang, Jun-Muk / Williamson, Geordie

IMPACT FACTOR 2018: 1.859

CiteScore 2018: 1.14

SCImago Journal Rank (SJR) 2018: 2.554
Source Normalized Impact per Paper (SNIP) 2018: 1.411

Mathematical Citation Quotient (MCQ) 2018: 1.55

Online
ISSN
1435-5345
See all formats and pricing
More options …
Volume 2015, Issue 705

# Weak multiplier Hopf algebras I. The main theory

Alfons Van Daele
/ Shuanhong Wang
Published Online: 2013-07-23 | DOI: https://doi.org/10.1515/crelle-2013-0053

## Abstract

A weak multiplier Hopf algebra is a pair (A, Δ) of a non-degenerate idempotent algebra A and a coproduct Δ on A. The coproduct is a coassociative homomorphism from A to the multiplier algebra M(AA) with some natural extra properties (like the existence of a counit). Further we impose extra but natural conditions on the ranges and the kernels of the canonical maps T1 and T2 defined from AA to M(AA) by T1(ab) = Δ(a)(1 ⊗ b) and T2(ab) = (a ⊗ 1)Δ(b). The first condition is about the ranges of these maps. It is assumed that there exists an idempotent element EM(AA) such that Δ(A)(1 ⊗ A) = E(AA) and (A ⊗ 1)Δ(A) = (AA)E. This element is unique if it exists. Then it is possible to extend the coproduct in a unique way to a homomorphism Δ˜: M(A) → M(AA) such that Δ˜(1) = E. In the case of a multiplier Hopf algebra we have E = 1 ⊗ 1 but this is no longer assumed for weak multiplier Hopf algebras. The second condition determines the behavior of the coproduct on the legs of E. We require (Δ ⊗ ι)(E) = (ι ⊗ Δ)(E) = (1 ⊗ E)(E ⊗ 1) = (E ⊗ 1)(1 ⊗ E). Finally, the last condition determines the kernels of the canonical maps T1 and T2 in terms of this idempotent E by a very specific relation.

From these conditions we develop the theory. In particular, we construct a unique antipode satisfying the expected properties and various other data. Special attention is given to the regular case (that is when the antipode is bijective) and the case of a *-algebra (where regularity is automatic).

Weak Hopf algebras are special cases of such weak multiplier Hopf algebras. Conversely, if the underlying algebra of a (regular) weak multiplier Hopf algebra has an identity, it is a weak Hopf algebra. Also any groupoid, finite or not, yields two weak multiplier Hopf algebras in duality. We will give more and interesting examples of weak multiplier Hopf algebras in parts II and III of this series of papers.

Revised: 2013-05-02

Published Online: 2013-07-23

Published in Print: 2015-08-01

Funding Source: K.U. Leuven

Award identifier / Grant number: research fellowship

Citation Information: Journal für die reine und angewandte Mathematik (Crelles Journal), Volume 2015, Issue 705, Pages 155–209, ISSN (Online) 1435-5345, ISSN (Print) 0075-4102,

Export Citation