A Semigroup Approach to Automaticity

We present an abstract, yet rather natural concept of automaticity which is based on semigroup actions. The standard notion of k-automaticity as well as many, if not all of its generalizations are recovered by specifying appropriate semigroup actions on $ \mathbb{N}_0 $ or $ \mathbb{N}^N_0 $ or other similar objects—e.g., the standard notion of k-automaticity is recovered by considering a certain "natural" action of the free semigroup with k generators on $ \mathbb{N}_0 $. We show that the main results characterizing automatic sequences (Cobham, 1972, Math. Systems Theory 6) hold almost verbatim in the general context, too.AMS Subject Classification: 11B85, 68Q45, 16W22, 18DXX.     

Vaught's conjecture on analytic sets

Let be a Polish group. We characterize when there is a Polish space with a continuous -action and an analytic set (that is, the Borel image of some Borel set in some Polish space) having uncountably many orbits but no perfect set of orbit inequivalent points.

Such a Polish -space and analytic exist exactly when there is a continuous, surjective homomorphism from a closed subgroup of onto the infinite symmetric group, , consisting of all permutations of equipped with the topology of pointwise convergence.

     

Bounded automorphisms of surfaces

The equivalence among bounded homeomorphisms of a surface, reducible homeomorphisms of the surface, bounded automorphisms of the surface group, induced or exchange automorphisms of the surface group, and the stabilizer of the translation length function of the tree action is established.     

Existence and uniqueness of solutions to superdifferential equations

We state and prove the theorem of existence and uniqueness of solutions to ordinary superdifferential equations on supermanifolds. It is shown that any supervector field, X = X₀ + X₁, has a unique integral flow, Г: ^1¦1 x (M, A_M) → (M, A_M), satisfying a given initial condition. A necessary and sufficient condition for this integral flow to yield an ^1¦1-action is obtained: the homogeneous components, X₀, and, X₁, of the given field must define a Lie superalgebra of dimension (1, 1). The supergroup structure on ^1¦1, however, has to be specified: there are three non-isomorphic Lie supergroup structures on ^1¦1, all of which have addition as the group operation in the underlying Lie group . On the other extreme, even if X₀, and X₁ do not close to form a Lie superalgebra, the integral flow of X is uniquely determined and is independent of the Lie supergroup structure imposed on ^1¦1. This fact makes it possible to establish an unambiguous relationship between the algebraic Lie derivative of supergeometric objects (e.g., superforms), and its geometrical definition in terms of integral flows. It is shown by means of examples that if a supergroup structure in ^1¦1 is fixed, some flows obtained from left-invariant supervector fields on Lie supergroups may fail to define an ^1¦1-action of the chosen structure. Finally, necessary and sufficient conditions for the integral flows of two supervector fields to commute are given.     

Groups acting transitively on compact CR manifolds of hypersurface type

Let be a compact homogeneous manifold with acting effectively and with a -invariant CR structure of hypersurface type; then any maximal compact subgroup acts transitively on .

     

Fundamental groups of moduli and the Grothendieck-Teichmüller group

Let denote the moduli space of Riemann spheres with ordered marked points. In this article we define the group of quasi-special symmetric outer automorphisms of the algebraic fundamental group for all to be the group of outer automorphisms respecting the conjugacy classes of the inertia subgroups of and commuting with the group of outer automorphisms of obtained by permuting the marked points. Our main result states that is isomorphic to the Grothendieck-Teichmüller group for all .

     

Topological structure of candidates for positive curvature

In light of recent advances in the study of manifolds admitting Riemannian metrics of positive sectional curvature, the study of certain infinite families of seven dimensional manifolds has become a matter of interest. We determine the cohomology ring structures of manifolds belonging to these families. This particular ring structure indicates the existence of topological invariants distinguishing the corresponding homeomorphism and diffeomorphism type. We show that all families contain representatives of infinitely many homotopy types.