546 research outputs found

    Conditions implying the uniqueness of the weak*-topology on certain group algebras

    Get PDF
    We investigate possible preduals of the measure algebra M(G) of a locally compact group and the Fourier algebra A(G) of a separable compact group. Both of these algebras are canonically dual spaces and the canonical preduals make the multiplication separately weak*-continuous so that these algebras are dual Banach algebras. In this paper we find additional conditions under which the preduals C0(G) of M(G) and C*(G) of A(G) are uniquely determined. In both cases we consider a natural comultiplication and show that the canonical predual gives rise to the unique weak*-topology making both the multiplication separately weak*-continuous and the comultiplication weak*-continuous. In particular, dual cohomological properties of these algebras are well defined with this additional structure

    Preduals of semigroup algebras

    Get PDF
    For a locally compact group G, the measure convolution algebra M(G) carries a natural coproduct. In previous work, we showed that the canonical predual C 0(G) of M(G) is the unique predual which makes both the product and the coproduct on M(G) weak*-continuous. Given a discrete semigroup S, the convolution algebra ℓ 1(S) also carries a coproduct. In this paper we examine preduals for ℓ 1(S) making both the product and the coproduct weak*-continuous. Under certain conditions on S, we show that ℓ 1(S) has a unique such predual. Such S include the free semigroup on finitely many generators. In general, however, this need not be the case even for quite simple semigroups and we construct uncountably many such preduals on ℓ 1(S) when S is either ℤ+×ℤ or (ℕ,⋅)

    Quantum Eberlein compactifications and invariant means

    Get PDF
    We propose a definition of a "C∗C^*-Eberlein" algebra, which is a weak form of a C∗C^*-bialgebra with a sort of "unitary generator". Our definition is motivated to ensure that commutative examples arise exactly from semigroups of contractions on a Hilbert space, as extensively studied recently by Spronk and Stokke. The terminology arises as the Eberlein algebra, the uniform closure of the Fourier-Stieltjes algebra B(G)B(G), has character space GEG^{\mathcal E}, which is the semigroup compactification given by considering all semigroups of contractions on a Hilbert space which contain a dense homomorphic image of GG. We carry out a similar construction for locally compact quantum groups, leading to a maximal C∗C^*-Eberlein compactification. We show that C∗C^*-Eberlein algebras always admit invariant means, and we apply this to prove various "splitting" results, showing how the C∗C^*-Eberlein compactification splits as the quantum Bohr compactification and elements which are annihilated by the mean. This holds for matrix coefficients, but for Kac algebras, we show it also holds at the algebra level, generalising (in a semigroup-free way) results of Godement

    The approximation property implies that convolvers are pseudo-measures

    Get PDF
    This paper (not for formal publication) grew out of the authors' attempts to understand Cowling's argument that for a locally compact group GG with the approximation property, we have that PMp(G)=CVp(G)PM_p(G)=CV_p(G) ("all convolvers are pseudo-measures".) We have ended up giving a somewhat self-contained survey of Cowling's construction of a predual for CVp(G)CV_p(G), together with a survey of old ideas of Herz relating to Herz-Schur multipliers. Thus none of the results are new, but we make some claim to originality of presentation. We hope this account may help other researchers, and in particular, that this might spur others to study this problem

    Shift invariant preduals of &#8467;<sub>1</sub>(&#8484;)

    Get PDF
    The Banach space &#8467;&lt;sub&gt;1&lt;/sub&gt;(&#8484;) admits many non-isomorphic preduals, for example, C(K) for any compact countable space K, along with many more exotic Banach spaces. In this paper, we impose an extra condition: the predual must make the bilateral shift on &#8467;&lt;sub&gt;1&lt;/sub&gt;(&#8484;) weak&lt;sup&gt;*&lt;/sup&gt;-continuous. This is equivalent to making the natural convolution multiplication on &#8467;&lt;sub&gt;1&lt;/sub&gt;(&#8484;) separately weak*-continuous and so turning &#8467;&lt;sub&gt;1&lt;/sub&gt;(&#8484;) into a dual Banach algebra. We call such preduals &lt;i&gt;shift-invariant&lt;/i&gt;. It is known that the only shift-invariant predual arising from the standard duality between C&lt;sub&gt;0&lt;/sub&gt;(K) (for countable locally compact K) and &#8467;&lt;sub&gt;1&lt;/sub&gt;(&#8484;) is c&lt;sub&gt;0&lt;/sub&gt;(&#8484;). We provide an explicit construction of an uncountable family of distinct preduals which do make the bilateral shift weak&lt;sup&gt;*&lt;/sup&gt;-continuous. Using Szlenk index arguments, we show that merely as Banach spaces, these are all isomorphic to c&lt;sub&gt;0&lt;/sub&gt;. We then build some theory to study such preduals, showing that they arise from certain semigroup compactifications of &#8484;. This allows us to produce a large number of other examples, including non-isometric preduals, and preduals which are not Banach space isomorphic to c&lt;sub&gt;0&lt;/sub&gt;

    Parametric LTL on Markov Chains

    Full text link
    This paper is concerned with the verification of finite Markov chains against parametrized LTL (pLTL) formulas. In pLTL, the until-modality is equipped with a bound that contains variables; e.g., ◊≤x φ\Diamond_{\le x}\ \varphi asserts that φ\varphi holds within xx time steps, where xx is a variable on natural numbers. The central problem studied in this paper is to determine the set of parameter valuations V≺p(φ)V_{\prec p} (\varphi) for which the probability to satisfy pLTL-formula φ\varphi in a Markov chain meets a given threshold ≺p\prec p, where ≺\prec is a comparison on reals and pp a probability. As for pLTL determining the emptiness of V>0(φ)V_{> 0}(\varphi) is undecidable, we consider several logic fragments. We consider parametric reachability properties, a sub-logic of pLTL restricted to next and ◊≤x\Diamond_{\le x}, parametric B\"uchi properties and finally, a maximal subclass of pLTL for which emptiness of V>0(φ)V_{> 0}(\varphi) is decidable.Comment: TCS Track B 201

    Influence of surface pretreatment in resistance spot welding of aluminum AA1050

    Get PDF
    Resistance spot welding (RSW) of aluminum alloys implies a major problem of inconsistent quality from weld to weld due to problems of varying thickness of the oxide layer. The high resistivity of oxide layer causes strong heat development, which has significant influence on electrode life and weld quality. An experimental study of the influence of pretreatment on weld quality in RSW of AA1050 sheets with three thicknesses, comparing welding of as-received sheet with pretreated sheet by either pickling in NaOH or glass-blasting were investigated. Different weld settings were applied with low-, medium-, and high-energy inputs. The as-received sheet showed higher electrical contact resistance because of thicker oxide layer. Lower values were noticed with pickled surfaces, whereas the lowest electrical contact resistance was obtained when glass blasting, resulting in the roughest surface topography, which facilitated breakdown the oxide layer. Highest strength and smaller scatter in strength were obtained by pickling in NaOH
    • …
    corecore