Related papers: The Orchard Morphism
We develop a theory of umkehr maps for twisted generalized homology theories. In this theory, interesting umkehr maps, including generalizations of important classical ones, are induced by cartesian morphisms of a certain category opfibred…
Various characterizations are offered of injectivity of the canonical fundamental group homomorphism for a certain class of inverse limit spaces. One application characterizes the existence of a kind of generalized universal cover.
A map on a group into itself is called a local automorphism if at any two points of the group, it can be interpolated by an automorphism of that group. In this paper we investigate the question of how local automorphisms of some classical…
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…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
We investigate automorphism groups of planar graphs. The main result is a complete recursive description of all abstract groups that can be realized as automorphism groups of planar graphs. The characterization is formulated in terms of…
We study some properties of smooth sets in the sense defined by Hungerford. We prove a sharp form of Hungerford's Theorem on the Hausdorff dimension of their boundaries on Euclidean spaces and show the invariance of the definition under a…
This article aims to obtain a characterization of the canonical extension of Boolean homomorphisms through the Stone-\v{C}ech compactification. Then, we will show that one-to-one homomorphisms and onto homomorphisms extend to one-to-one…
We investigate the profinite completions of a certain family of groups acting on trees. It turns out that for some of the groups considered, the completions coincide with the closures of the groups in the full group of tree automorphisms.…
We show that any collection of n-dimensional orbifolds with sectional curvature and volume uniformly bounded below, diameter bounded above, and with only isolated singular points contains orbifolds of only finitely many orbifold…
We prove that for every $d\geq 3$ the homomorphism order of the class of line graphs of finite graphs with maximal degree $d$ is universal. This means that every finite or countably infinite partially ordered set may be represented by line…
We initiate the study of analogues of symmetric spaces for the family of finite dihedral groups. In particular, we investigate the structure of the automorphism group, characterize the involutions of the automorphism group, and determine…
In this article, we present a new method to study uniqueness of form extensions in a rather general setting. The method is based on the theory of ordered Hilbert spaces and the concept of domination of semigroups. Our main abstract result…
We survey the theory of totally symmetric sets, with applications to homomorphisms of symmetric groups, braid groups, linear groups, and mapping class groups.
We establish a braid of interlocking exact sequences containing the group of homotopy self-equivalences of a smooth or topological 4-manifold. The braid is computed for manifolds whose fundamental group is finite of odd order.
Orbits of automorphism groups of partially ordered sets are not necessarily congruence classes, i.e. images of an order homomorphism. Based on so-called orbit categories a framework of factorisations and unfoldings is developed that…
In this PhD thesis we discuss methods of recognizing finite groups by the structure of normalizers of certain 3-subgroups. We explain a method for characterizing groups using character theoretic and block theoretic methods and we use these…
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
The orbifold braid groups of two dimensional orbifolds were defined in [1] (arXiv:math/9907194) to understand certain Artin groups as subgroups of some suitable orbifold braid groups. We studied orbifold braid groups in some more detail in…
Let ${\rm GK}(G)$ be the prime graph associated with a finite group $G$ and $D(G)$ be the degree pattern of $G$. A finite group $G$ is said to be $k$-fold OD-characterizable if there exist exactly $k$ non-isomorphic groups $H$ such that…