Pontryagin duality for bornological quantum hypergroups

We develop a theory of bornological quantum hypergroups, aiming to extend the theory of algebraic quantum hypergroups in the sense of Delvaux and Van Daele to the framework of bornological vector spaces. It is very similar to the theory of bornological quantum groups established by Voigt, except that the coproduct is no longer assumed to be a homomorphism. We still require the existence of a left and of a right integral. There is also an antipode but it is characterized in terms of these integrals. We study the Fourier transform and develop Pontryagin duality theory for a bornological quantum hypergroup. As an application, we prove a formula relating the fourth power of the antipode with the modular functions of a bornological quantum hypergroup and its dual.     

Pairing and Quantum Double of Multiplier Hopf Algebras

We define and investigate pairings of multiplier Hopf (*-)algebras which are nonunital generalizations of Hopf algebras. Dual pairs of multiplier Hopf algebras arise naturally from any multiplier Hopf algebra A with integral and its dual Â. Pairings of multiplier Hopf algebras play a basic rôle, e.g., in the study of actions and coactions, and, in particular, in the relation between them. This aspect of the theory is treated elsewhere. In this paper we consider the quantum double construction out of a dual pair of multiplier Hopf algebras. We show that two dually paired regular multiplier Hopf (*-)algebras A and B yield a quantum double which is again a regular multiplier Hopf (*-)algebra. If A and B have integrals, then the quantum double also has an integral. If A and B are Hopf algebras, then the quantum double multiplier Hopf algebra is the usual quantum double. The quantum double construction for dually paired multiplier Hopf (*-)algebras yields new nontrivial examples of multiplier Hopf (*-)algebras.     

I-factorial quantum torsors and Heisenberg algebras of quantized universal enveloping type

We introduce a notion of I-factorial quantum torsor, which consists of an integrable ergodic action of a locally compact quantum group on a type I-factor such that also the crossed product is a type I-factor. We show that any such I-factorial quantum torsor is at the same time a I-factorial quantum torsor for the dual locally compact quantum group, in such a way that the construction is involutive. As a motivating example, we show that quantized compact semisimple Lie groups, when amplified via a crossed product construction with the function algebra on the associated weight lattice, admit I-factorial quantum torsors, and give an explicit realization of the dual quantum torsor in terms of a deformed Heisenberg algebra for the Borel part of a quantized universal enveloping algebra.     

Traces on Multiplier Hopf Algebras

In this article we lay the algebraic foundations to establish the existence of trace functions on infinite-dimensional (multiplier) Hopf algebras. We solve the problem within the framework of multiplier Hopf algebra with integrals. By applying this theory to group-cograded multiplier Hopf algebras, we prove the existence of group-traces on group-cograded multiplier Hopf algebras with possibly infinite-dimensional components. We generalize the results as obtained by Virelizier in the case of finite-type Hopf group-coalgebras.     

DG-Modules vs. Relative Hopf Modules

In this note we show the interlacing between homological algebra and the category of relative Hopf modules. We show that many well-known concepts related with differential graded algebras can be performed as purely Hopf algebraic phenomenons.     

Hypergroups and polygroups in diffeology

Abstract

We introduce diffeological algebraic hyperstructures such as diffeological hypergroups and diffeological polygroups, which are generalizations of diffeological groups. After providing some examples of these notions, we investigate the relationships between diffeological hypergroups and diffeological groups. It is proved that there is an equivalence of categories between subductions over diffeological groups and diffeological complete hypergroups. We finally show how every diffeological polygroup is a subpolygroup of a diffeological poly-monoid of hyper-diffeomorphisms.

Communicated by J. L. Gomez Pardo     

Continuous Gabor Transform for Strong Hypergroups

We define a continuous Gabor transform for strong hypergroups and prove a Plancherel formula, an L ² inversion formula and an uncertainty principle for it. As an example, we show how these techniques apply to the Bessel–Kingman hypergroups and to the dual Jacobi polynomial hypergroups. These examples have an interpretation in the setting of radial functions on R ^d and zonal functions on compact two-point homogeneous spaces, where they provide a new transform which possesses many properties of the classical Gabor transform.     

A New Cyclic Module for Hopf Algebras

We define a new cyclic module, dual to the Connes–Moscovici cocyclic module, for Hopf algebras, and give a characteristic map for coactions of Hopf algebras. We also compute the resulting cyclic homology for cocommutative Hopf algebras, and some quantum groups.     

On Hopf Algebras and Their Generalizations

We survey Hopf algebras and their generalizations. In particular, we compare and contrast three well-studied generalizations (quasi-Hopf algebras, weak Hopf algebras, and Hopf algebroids), and two newer ones (Hopf monads and hopfish algebras). Each of these notions was originally introduced for a specific purpose within a particular context; our discussion favors applicability to the theory of dynamical quantum groups. Throughout the note, we provide several definitions and examples in order to make this exposition accessible to readers with differing backgrounds.     

Group-cograded Multiplier Hopf ${\left( { * {\text{ - }}} \right)}$algebras

Let G be a group and assume that (A _p ) _p∈G is a family of algebras with identity. We have a Hopf G-coalgebra (in the sense of Turaev) if, for each pair p,q ∈ G, there is given a unital homomorphism Δ _p,q : A _pq → A _p ⊗ A _q satisfying certain properties. Consider now the direct sum A of these algebras. It is an algebra, without identity, except when G is a finite group, but the product is non-degenerate. The maps Δ _p,q can be used to define a coproduct Δ on A and the conditions imposed on these maps give that (A,Δ) is a multiplier Hopf algebra. It is G-cograded as explained in this paper. We study these so-called group-cograded multiplier Hopf algebras. They are, as explained above, more general than the Hopf group-coalgebras as introduced by Turaev. Moreover, our point of view makes it possible to use results and techniques from the theory of multiplier Hopf algebras in the study of Hopf group-coalgebras (and generalizations). In a separate paper, we treat the quantum double in this context and we recover, in a simple and natural way (and generalize) results obtained by Zunino. In this paper, we study integrals, in general and in the case where the components are finite-dimensional. Using these ideas, we obtain most of the results of Virelizier on this subject and consider them in the framework of multiplier Hopf algebras. Presented by Ken Goodearl.     

Harmonic functions on hypergroups

We initiate a study of harmonic functions on hypergroups. In particular, we introduce the concept of a nilpotent hypergroup and show such hypergroup admits an invariant measure as well as a Liouville theorem for bounded harmonic functions. Further, positive harmonic functions on nilpotent hypergroups are shown to be integrals of exponential functions. For arbitrary hypergroups, we derive a Harnack inequality for positive harmonic functions and prove a Liouville theorem for compact hypergroups. We discuss an application to harmonic spherical functions.     

Hyperoctahedral Chen calculus for effective Hamiltonians

We tackle the problem of unraveling the algebraic structure of computations of effective Hamiltonians. This is an important subject in view of applications to chemistry, solid state physics or quantum field theory. We show, among other things, that the correct framework for these computations is provided by the hyperoctahedral group algebras. We define several structures on these algebras and give various applications. For example, we show that the adiabatic evolution operator (in the time-dependent interaction representation of an effective Hamiltonian) can be written naturally as a Picard-type series and has a natural exponential expansion.     

Compact Ovoids in Quadrangles III: Clifford Algebras and Isoparametric Hypersurfaces

In this third part, we consider those compact quadrangles which arise from isoparametric hypersurfaces of Clifford type and their focal manifolds. Sections 9–11 give a comprehensive introduction to these quadrangles from the incidence-geometric point of view. Section 10 contains also a new (algebraic) proof that these geometries are quadrangles.We determine which of these quadrangles have ovoids or spreads and also whether the normal sphere bundles of the focal manifolds admit sections, or whether they are topologically trivial. We give explicit geometric constructions for spreads, ovoids, and sections.     

Non-commutative Hopf algebra of formal diffeomorphisms

This paper deals with two Hopf algebras which are the non-commutative analogues of two different groups of formal power series. The first group is the set of invertible series with the group law being multiplication of series, while the second is the set of formal diffeomorphisms with the group law being a composition of series. The motivation to introduce these Hopf algebras comes from the study of formal series with non-commutative coefficients. Invertible series with non-commutative coefficients still form a group, and we interpret the corresponding new non-commutative Hopf algebra as an alternative to the natural Hopf algebra given by the co-ordinate ring of the group, which has the advantage of being functorial in the algebra of coefficients. For the formal diffeomorphisms with non-commutative coefficients, this interpretation fails, because in this case the composition is not associative anymore. However, we show that for the dual non-commutative algebra there exists a natural co-associative co-product defining a non-commutative Hopf algebra. Moreover, we give an explicit formula for the antipode, which represents a non-commutative version of the Lagrange inversion formula, and we show that its coefficients are related to planar binary trees. Then we extend these results to the semi-direct co-product of the previous Hopf algebras, and to series in several variables. Finally, we show how the non-commutative Hopf algebras of formal series are related to some renormalization Hopf algebras, which are combinatorial Hopf algebras motivated by the renormalization procedure in quantum field theory, and to the renormalization functor given by the double-tensor algebra on a bi-algebra.     

Connected components of compact matrix quantum groups and finiteness conditions

We introduce the notion of identity component of a compact quantum group and that of total disconnectedness. As a drawback of the generalized Burnside problem, we note that totally disconnected compact matrix quantum groups may fail to be profinite. We consider the problem of constructing the identity component by introducing canonical approximating transfinite sequences of subgroups. These sequences have lengths ≤1 in the classical case but can be countably infinite for duals of discrete groups. We give examples of free product quantum groups where the identity component is not normal and the associated sequence has length 1.     

Finite GK-dimensional pre-Nichols algebras of super and standard type

We prove that finite GK-dimensional pre-Nichols algebras of super and standard type are quotients of the corresponding distinguished pre-Nichols algebras, except when the braiding matrix is of type super A and the dimension of the braided vector space is three. For these two exceptions we explicitly construct substitutes as braided central extensions of the corresponding pre-Nichols algebras by a polynomial ring in one variable. Via bosonization this gives new examples of finite GK-dimensional Hopf algebras.     

An Algebraic Framework for Group Duality

A Hopf algebra is a pair (A, Δ) whereAis an associative algebra with identity andΔa homomorphism formAtoA⊗Asatisfying certain conditions. If we drop the assumption thatAhas an identity and if we allowΔto have values in the so-called multiplier algebraM(A⊗A), we get a natural extension of the notion of a Hopf algebra. We call this a multiplier Hopf algebra. The motivating example is the algebra of complex functions with finite support on a group with the comultiplication defined as dual to the product in the group. Also for these multiplier Hopf algebras, there is a natural notion of left and right invariance for linear functionals (called integrals in Hopf algebra theory). We show that, if such invariant functionals exist, they are unique (up to a scalar) and faithful. For a regular multiplier Hopf algebra (A, Δ) (i.e., with invertible antipode) with invariant functionals, we construct, in a canonical way, the dual (Â, Δ). It is again a regular multiplier Hopf algebra with invariant functionals. It is also shown that the dual of (Â, Δ) is canonically isomorphic with the original multiplier Hopf algebra (A, Δ). It is possible to generalize many aspects of abstract harmonic analysis here. One can define the Fourier transform; one can prove Plancherel's formula. Because any finite-dimensional Hopf algebra is a regular multiplier Hopf algebra and has invariant functionals, our duality theorem applies to all finite-dimensional Hopf algebras. Then it coincides with the usual duality for such Hopf algebras. But our category of multiplier Hopf algebras also includes, in a certain way, the discrete (quantum) groups and the compact (quantum) groups. Our duality includes the duality between discrete quantum groups and compact quantum groups. In particular, it includes the duality between compact abelian groups and discrete abelian groups. One of the nice features of our theory is that we have an extension of this duality to the non-abelian case, but within one category. This is shown in the last section of our paper where we introduce the algebras of compact type and the algebras of discrete type. We prove that also these are dual to each other. We treat an example that is sufficiently general to illustrate most of the different features of our theory. It is also possible to construct the quantum double of Drinfel'd within this category. This provides a still wider class of examples. So, we obtain many more than just the compact and discrete quantum within this setting.     

Z 分次表示理论

箭图Hecke 代数的Z 分次表示理论是“代数群、量子群及Hecke 代数” 领域中当前最活跃的研究方向之一. 箭图Hecke 代数及其分圆版本产生于对量子群及其可积最高权表示的范畴化的研究, 它们与数学及数学物理的许多不同分支如Lie 代数、量子群、Kazhdan-Lusztig 理论、代数几何(箭图簇,反常层)、扭结理论、拓扑量子场论(TQFT) 等都有着紧密的联系与相互作用. 本文详细介绍了该方向的最新进展、前沿以及研究前景.     

A note on Marino-Vafa formula

Hodge integrals over moduli spaces of curves appear naturally during the localization procedure in computation of Gromov-Witten invariants. A remarkable formula of Marino-Vafa expresses a generation function of Hodge integrals via some combinatorial and algebraic data seemingly unrelated to these apriori algebraic geometric objects. We prove in this paper by directly expanding the formula and estimating the involved terms carefully that except a specific type all the other Hodge integrals involving up to three Hodge classes can be calculated from this formula. This implies that amazingly rich information about moduli spaces and Gromov-Witten invariants is encoded in this complicated formula. We also give some low genus examples which agree with the previous results in literature. Proofs and calculations are elementary as long as one accepts Mumford relations on the reductions of products of Hodge classes.     

A note on Marino-Vafa formula

Hodge integrals over moduli spaces of curves appear naturally during the localization procedure in computation of Gromov-Witten invariants. A remarkable formula of Marino-Vafa expresses a generation function of Hodge integrals via some combinatorial and algebraic data seemingly unrelated to these apriori algebraic geometric objects. We prove in this paper by directly expanding the formula and estimating the involved terms carefully that except a specific type all the other Hodge integrals involving up to three Hodge classes can be calculated from this formula. This implies that amazingly rich information about moduli spaces and Gromov-Witten invariants is encoded in this complicated formula. We also give some low genus examples which agree with the previous results in literature. Proofs and calculations are elementary as long as one accepts Mumford relations on the reductions of products of Hodge classes.