We give a commentary on Newelski’s suggestion or conjecture [8] that topological dynamics, in the sense of Ellis [3], applied to the action of a definable group G(M) on its type space SG(M), can explain, account for, or give rise to, the quotient G/G00, at least for suitable groups in NIP theories. We give a positive answer for measure-stable (or fsg) groups in NIP theories. As part of our anal...

We systematically analyze regularization of different kinds of ultradistribution semigroups and sines, in general, with nondensely defined generators and contemplate several known results concerning the regularization of Gevrey type ultradistribution semigroups. We prove that, for every closed linear operator A which generates an ultradistribution semigroup (sine), there exists a bounded inject...

The interaction of automatic semigroups and Bruck–Reilly extensions is studied. It is proved that every automatic Bruck–Reilly extension has an automatic base semigroup. This result is then applied to answer negatively the question of Andrade et al. on whether automatic structures for Bruck–Reilly extensions of groups are characterized by the fellow traveller property. An example is exhibited t...

We derive the actions for type II Green-Schwarz strings up to second order in the fermions, for general bosonic backgrounds. We base our work on the so-called normal coordinate expansion. The resulting actions are κ-symmetric and, for the case of surviving background supersymmetries, supersymmetric. We first obtain the type IIa superstring action from the 11D supermembrane by double dimensional...

For a unital foundation topological *-semigroup S whose representations separate points of S, we show that the spectrum of the Fourier-Stieltjes algebra B(S) is a compact semitopological semigroup. We also calculate B(S) for several examples of S.

There are two notions of amenability for discrete equivalence relations. The \global" amenability (which is usually referred to just as \amenability") is the property of existence of leafwise invariant means, which, by a theorem of Connes{Feldman{Weiss, is equivalent to hyperrniteness, or, to being the orbit equivalence relation of a Z-action. The notion of \local" amenability applies to equiva...