Orbits of linear maps and regular languages

The equivalence is established of the problem of hitting a polyhedral set by the orbit of a linear map and the intersection of a regular language and a language of permutations of binary words ( P_\mathbbBP_\mathbb{B}-realizability problem). The decidability of the both problems is presently unknown, and the first one is a straightforward generalization of the famous Skolem problem and the nonnegativity problem in the theory of linear recurrent sequences.     

A palindromization map on free monoids

This paper is a survey of several results of combinatorial nature which have been obtained starting from a palindromization map on a free monoid A* introduced by the author in 1997 in the case of a binary alphabet and, successively, generalized by other authors for arbitrary finite alphabets. If one extends the action of the palindromization map to infinite words, one can generate the class of all standard episturmian words, which includes standard Sturmian words and Arnoux-Rauzy words. In this framework, an essential role is played by the class of palindromic prefixes of all standard episturmian words called epicentral words. These words are precisely the images of A* under the palindromization map. Epicentral words have several different representations and satisfy interesting combinatorial properties. A further extension of the palindromization map to a t9-palindromization map, where t9 is an arbitrary involutory antimorphism of A*, is also briefly discussed.     

Counting unrooted maps on the plane

A planar map is a 2-cell embedding of a connected planar graph, loops and parallel edges allowed, on the sphere. A plane map is a planar map with a distinguished outside (“infinite”) face. An unrooted map is an equivalence class of maps under orientation-preserving homeomorphism, and a rooted map is a map with a distinguished oriented edge. Previously we obtained formulae for the number of unrooted planar n-edge maps of various classes, including all maps, non-separable maps, eulerian maps and loopless maps. In this article, using the same technique we obtain closed formulae for counting unrooted plane maps of all these classes and their duals. The corresponding formulae for rooted maps are known to be all sum-free; the formulae that we obtain for unrooted maps contain only a sum over the divisors of n. We count also unrooted two-vertex plane maps.     

Flow equivalence,hyperbolic systems and a new zeta function for flows

We analyze the dynamics of diffeomorphisms in terms of their suspension flows. For many Axion A diffeomorphisms we find simplest representatives in their flow equivalence class and so reduce flow equivalence to conjugacy. The zeta functions of maps in a flow equivalence class are correlated with a zeta function ζ _H for their suspended flow. This zeta function is defined for any flow with only finitely many closed orbits in each homology class, and is proven rational for Axiom A flows. The flow equivalence of Anosov diffeomorphisms is used to relate the spectrum of the induced map on first homology to the existence of fixed points. For Morse-Smale maps, we extend a result of Asimov on the geometric index. Partially supported by MCS 76-08795.     

Non-uniform hyperbolicity and universal bounds for S-unimodal maps

An S-unimodal map f is said to satisfy the Collet-Eckmann condition if the lower Lyapunov exponent at the critical value is positive. If the infimum of the Lyapunov exponent over all periodic points is positive then f is said to have a uniform hyperbolic structure. We prove that an S-unimodal map satisfies the Collet-Eckmann condition if and only if it has a uniform hyperbolic structure. The equivalence of several non-uniform hyperbolicity conditions follows. One consequence is that some renormalization of an S-unimodal map has an absolutely continuous invariant probability measure with exponential decay of correlations if and only if the Collet-Eckmann condition is satisfied. The proof uses new universal bounds that hold for any S-unimodal map without periodic attractors. Oblatum 4-VII-1996 & 4-VII-1997     

On the splitting problem for manifold pairs with boundaries

The problem of splitting a homotopy equivalence along a submanifold is closely related to the surgery exact sequence and to the problem of surgery of manifold pairs. In classical surgery theory there exist two approaches to surgery in the category of manifolds with boundaries. In the rel ∂ case the surgery on a manifold pair is considered with the given fixed manifold structure on the boundary. In the relative case the surgery on the manifold with boundary is considered without fixing maps on the boundary. Consider a normal map to a manifold pair (Y, ∂Y) ⊂ (X, ∂X) with boundary which is a simple homotopy equivalence on the boundary∂X. This map defines a mixed structure on the manifold with the boundary in the sense of Wall. We introduce and study groups of obstructions to splitting of such mixed structures along submanifold with boundary (Y, ∂Y). We describe relations of these groups to classical surgery and splitting obstruction groups. We also consider several geometric examples.     

Generalized isoclinism and characters of finite groups

In this paper, we deal with equivalence relations on groups, inspired by the relation of isoclinism due to P. Hall. Isoclinism is — essentially — defined by the commutator map of groups. We take another map and define related equivalence relations. We shall show that modular character degrees and modular monomiality of finite groups are preserved under such an equivalence relation.     

An Inverse Problem of Calderón Type with Partial Data

A generalized variant of the Calderón problem from electrical impedance tomography with partial data for anisotropic Lipschitz conductivities is considered in an arbitrary space dimension n ≥ 2. The following two results are shown: (i) The selfadjoint Dirichlet operator associated with an elliptic differential expression on a bounded Lipschitz domain is determined uniquely up to unitary equivalence by the knowledge of the Dirichlet-to-Neumann map on an open subset of the boundary, and (ii) the Dirichlet operator can be reconstructed from the residuals of the Dirichlet-to-Neumann map on this subset.     

An approximate,multivariable version of Specht's theorem

In this article we provide generalizations of Specht's theorem which states that two n × n matrices A and B are unitarily equivalent if and only if all traces of words in two non-commuting variables applied to the pairs (A, A?) and (B, B?) coincide. First, we obtain conditions which allow us to extend this to simultaneous similarity or unitary equivalence of families of operators, and secondly, we show that it suffices to consider a more restricted family of functions when comparing traces. Our results do not require the traces of words in (A, A?) and (B, B?) to coincide, but only to be close.     

Full groups of Cantor minimal systems

We associate different types of full groups to Cantor minimal systems. We show how these various groups (as abstract groups) are complete invariants for orbit equivalence, strong orbit equivalence and flip conjugacy, respectively. Furthermore, we introduce a group homomorphism, the socalled mod map, from the normalizers of the various full groups to the automorphism groups of the (ordered)K ⁰-groups, which are associated to the Cantor minimal systems. We show how this in turn is related to the automorphisms of the associatedC ^*-crossed products. Our results are analogues in the topological dynamical setting of results obtained by Dye, Connes-Krieger and Hamachi-Osikawa in measurable dynamics. Research supported in part by operating grants from NSERC (Canada). Research supported in part by the Norwegian Research Council for Science and Humanities.     

Aspherical Kähler manifolds with solvable fundamental group

We survey recent developments which led to the proof of the Benson-Gordon conjecture on Kähler quotients of solvable Lie groups. In addition, we prove that the Albanese morphism of a Kähler manifold which is a homotopy torus is a biholomorphic map. The latter result then implies the classification of compact aspherical Kähler manifolds with (virtually) solvable fundamental group up to biholomorphic equivalence. They are all biholomorphic to complex manifolds which are obtained as a quotient of $\mathbb{C}^{n}We survey recent developments which led to the proof of the Benson-Gordon conjecture on K?hler quotients of solvable Lie groups. In addition, we prove that the Albanese morphism of a K?hler manifold which is a homotopy torus is a biholomorphic map. The latter result then implies the classification of compact aspherical K?hler manifolds with (virtually) solvable fundamental group up to biholomorphic equivalence. They are all biholomorphic to complex manifolds which are obtained as a quotient of \mathbbCⁿ\mathbb{C}^{n} by a discrete group of complex isometries.     

Homotopy invariants of Gauss words

By defining combinatorial moves, we can define an equivalence relation on Gauss words called homotopy. In this paper we define a homotopy invariant of Gauss words. We use this to show that there exist Gauss words that are not homotopic to the empty Gauss word, disproving a conjecture by Turaev. In fact, we show that there are an infinite number of equivalence classes of Gauss words under homotopy.     

On the symmetry of images of word maps in groups

Word maps on a group are defined by substitution of formal words. Lubotzky gave a characterization of the images of word maps in finite simple groups, and a consequence of his characterization is the existence of a group G such that the image of some word map on G is not closed under inversion. We show that there are only two groups with order less than 108 with the property that there is a word map with image not closed under inversion. We also study this behavior in nilpotent groups.     

Sequences of reflection functors and the preprojective component of a valued quiver

This paper concerns preprojective representations of a finite connected valued quiver without oriented cycles. For each such representation, an explicit formula in terms of the geometry of the quiver gives a unique, up to a certain equivalence, shortest (+)-admissible sequence such that the corresponding composition of reflection functors annihilates the representation. The set of equivalence classes of the above sequences is a partially ordered set that contains a great deal of information about the preprojective component of the Auslander-Reiten quiver. The results apply to the study of reduced words in the Weyl group associated with an indecomposable symmetrizable generalized Cartan matrix.     

The bracket semigroup of knots

The paper is devoted to a coding of links with marked point on an oriented component by means of regular bibracket structures, i.e., by some words in the alphabet (,),[,]. In this way we naturally obtain the semigroup of knots with concatenation as the semigroup operation, and with the equivalence classes modulo so-called “global relations” as elements. An important step in the construction of this semigroup is the coding of links with the help of so-calledd-diagrams. Translated fromMatematicheskie Zametki, Vol. 67, No. 4, pp. 549–562, April, 2000.     

On the Proper Homotopy Invariance of the Tucker Property

A non-compact polyhedron P is Tucker if, for any compact subset K begong to P, the fundamental group π1 （P - K） is finitely generated. The main result of this note is that a manifold which is proper homotopy equivalent to a Tucker polyhedron is Tucker. We use Poenaru＇s theory of the equivalence relations forced by the singularities of a non-degenerate simplicial map.     

Weak Graph Map Homotopy and Its Applications∗

The authors introduce a notion of a weak graph map homotopy (they call it M-homotopy), discuss its properties and applications. They prove that the weak graph map homotopy equivalence between graphs coincides with the graph homotopy equivalence defined by Yau et al in 2001. The difference between them is that the weak graph map homotopy transformation is defined in terms of maps, while the graph homotopy transformation is defined by means of combinatorial operations. They discuss its advantages over the graph homotopy transformation. As its applications, they investigate the mapping class group of a graph and the 1-order MP-homotopy group of a pointed simple graph. Moreover, they show that the 1-order MP-homotopy group of a pointed simple graph is invariant up to the weak graph map homotopy equivalence.     

Deformation of Tensor Product (Co)Algebras via Non-(Co)Normal Twists

We study new coalgebra structures on the tensor product of two coalgebras C and D by twisting the tensor product coalgebra via a twist map Ψ: C ? D → D ? C. We deal with the general case in which the counit of the tensor product coalgebra is deformed as well. Some classes of such deformations are analysed, and a notion of equivalence of twists is discussed. We also present the dual deformation of tensor product algebras and provide examples.     

Local equivalence relations

In this paper, we investigate the concept of local equivalence relation, a notion suggested by Grothendieck. A local equivalence relation on a topological space X is a global section of the sheaf of germs of equivalence relations on X. We investigate the extent to which a local equivalence relation can be described by a global one and analogously when can a global equivalence relation be recovered from its associated local one. We also look at the notion of a fiber map, which sheds further light on these concepts. A motivating example is that of a foliation on a manifold.     

On dos languages and dos mappings

Roughly speaking,DOS systems formalize the notion of generatively deterministic context free grammars. We explore the containment relationships among the class of languages generated byDOS systems and other subclasses of the class of context free languages. Leaving the axiom of aDOS system unspecified yields aDOS scheme, which defines a mapping from words to languages over a given alphabet. We explore the algebraic properties ofDOS mappings and obtain an algebraic characterization of a fundamental subclass of theDOS mappings generated byDOS schemes which are propagating (non erasing) and have no cycles of derivability among letters of the alphabet. We apply this characterization to show that the mapping equivalence problem for propagatingDOS schemes is decidable.