ar X iv : 0 90 5 . 12 96 v 1 [ m at h . O A ] 8 M ay 2 00 9 CONVOLUTION SEMIGROUPS OF STATES
نویسنده
چکیده
Convolution semigroups of states on a quantum group form the natural noncommutative analogue of convolution semigroups of probability measures on a locally compact group. Here we initiate a theory of weakly continuous convolution semigroups of functionals on a C∗bialgebra, the noncommutative counterpart of locally compact semigroup. On locally compact quantum groups we obtain a bijective correspondence between such convolution semigroups and a class of C0semigroups of maps which we characterise. On C∗-bialgebras of discrete type we show that all weakly continuous convolution semigroups of states are automatically norm-continuous. As an application we deduce a known characterisation of continuous conditionally positive-definite Hermitian functions on a compact group.
منابع مشابه
ar X iv : 0 90 5 . 25 85 v 1 [ m at h . C O ] 1 5 M ay 2 00 9 CHARACTERISTIC POINTS OF RECURSIVE SYSTEMS
Characteristic points have been a primary tool in the study of a generating function defined by a single recursive equation. We investigate the proper way to adapt this tool when working with multi-equation recursive systems.
متن کاملar X iv : 0 90 5 . 11 71 v 1 [ m at h . N T ] 8 M ay 2 00 9 Ramification of local fields and Fontaine ’ s property ( P m )
The ramification subgroup of the absolute Galois group of a complete discrete valuation field with perfect residue field is characterized by Fontaine’s property (Pm).
متن کاملar X iv : 0 90 5 . 03 71 v 1 [ m at h . L O ] 4 M ay 2 00 9 Complete Types in an Extension of the System AF 2
In this paper, we extend the system AF2 in order to have the subject reduction for the βη-reduction. We prove that the types with positive quantifiers are complete for models that are stable by weak-head expansion.
متن کاملar X iv : 0 90 5 . 45 11 v 1 [ m at h . A G ] 2 8 M ay 2 00 9 BLOWUPS IN TAME MONOMIAL IDEALS
We study blowups of affine n-space with center an arbitrary monomial ideal and call monomial ideals that render smooth blowups tame ideals. We give a combinatorial criterion to decide whether the blowup is smooth and apply this criterion to discuss a smoothing procedure proposed by Rosenberg, monomial building sets and permutohedra.
متن کاملar X iv : 0 90 5 . 03 57 v 1 [ m at h . L O ] 4 M ay 2 00 9 A completeness result for the simply typed λ μ - calculus
In this paper, we define a realizability semantics for the simply typed λµ-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the computational behavior of some closed typed terms. We also prove a completeness result of our realizability semantics using a particular term model.
متن کامل