Related papers: Groups of tree automorphisms as diffeological grou…

In the 1970s Stallings showed that one could learn a great deal about free groups and their automorphisms by viewing the free groups as fundamental groups of graphs and modeling their automorphisms as homotopy equivalences of graphs.…

We consider the space of all configurations of finitely many (potentially nested) circles in the plane. We prove that this space is aspherical, and compute the fundamental group of each of its connected components. It turns out these…

Although structural maps such as subductions and inductions appear naturally in diffeology, one of the challenges is providing suitable analogous for submersions, immersions, and \'{e}tale maps (i.e., local diffeomorphisms) consistent with…

We show that every effective smooth action of a Lie group G on a manifold M is a diffeomorphism from G onto its image in Diff(M), where the image is equipped with the subset diffeology of the functional diffeology.

Deformational structures, in many aspects generalizing standard elasticity theory, are investigated in abstract form. Within free deformational structures we define algebra of deformations, classify them by its special properties, define…

It is shown that certain diffeomorphism or homeomorphism groups with no restriction on support of an open manifold with finite number of ends are bounded. It follows that these groups are uniformly perfect. In order to characterize the…

Tree sets are abstract structures that can be used to model various tree-shaped objects in combinatorics. Finite tree sets can be represented by finite graph-theoretical trees. We extend this representation theory to infinite tree sets.…

We describe some of the geometric properties of the automorphism group Aut(F) of Thompson's group F. We give realizations of Aut(F) geometrically via periodic tree pair diagrams, which lead to natural presentations and give effective…

We identify the group of framed diffeomorphisms of the torus as a semi-direct product of the torus with the braid group on 3 strands; we also identify the topological monoid of framed local-diffeomorphisms of the torus in similar terms. It…

For r at least 3, p at least 2, we classify all actions of the groups Diff^r_c(R) and Diff^r_+(S1) by C^p -diffeomorphisms on the line and on the circle. This is the same as describing all nontrivial group homomorphisms between groups of…

We prove that a "random" free group outer automorphism is an ageometric fully irreducible outer automorphism whose ideal Whitehead graph is a union of triangles. In particular, we show that its attracting (and repelling) tree is a…

The existence of quasimorphisms on groups of homeomorphisms of manifolds has been extensively studied under various regularity conditions, such as smooth, volume-preserving, and symplectic. However, in this context, nothing is known about…

Using the categorical description of supergeometry we give an explicit construction of the diffeomorphism supergroup of a compact finite-dimensional supermanifold. The construction provides the diffeomorphism supergroup with the structure…

A singular foliation is a partition of a manifold into leaves of perhaps varying dimension. Stefan and Sussmann carried out fundamental work on singular foliations in the 1970s. We survey their contributions, show how diffeological objects…

We study groups of homeomorphic bijections on spaces that are finite unions of compact connected linearly ordered subsets. We prove that all such groups when endowed with the topology of point-wise convergence are topological groups. }

We study groups of homeomorphisms of R, each of whose elements have at most one fixed point. In particular we prove that any such group of C^2 diffeomorphisms is topologically conjugate to an affine group.

Contour trees have been developed to visualize or encode scalar data in imaging technologies and scientific simulations. Contours are defined on a continuous scalar field. For discrete data, a continuous function is first interpolated,…

We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…

Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to…

Since they became observable, neuron morphologies have been informally compared with biological trees but they are studied by distinct communities, neuroscientists, and ecologists. The apparent structural similarity suggests there may be…