Related papers: Recognizability of morphisms
We characterize universally generalizing morphisms which satisfy descent of algebraic cycles integrally as those universally generalizing morphisms which are surjective with generically reduced fibres. In doing so, we introduce a naive…
This is the first in a sequence of papers that will develop the theory of automorphisms of nonsolvable finite groups. The sequence will culminate in a new proof of McBride's Nonsolvable Signalizer Functor Theorem, which is one of the…
We characterise finite axiomatisability and intractability of deciding membership for universal Horn classes generated by finite loop-free hypergraphs.
We study the homomorphisms between scalar generalized Verma modules. We conjecture that any homomorphism between is composition of elementary homomorphisms. The purpose of this article is to show the conjecture is affirmative for many…
We define a class of languages of infinite words over infinite alphabets, and the corresponding automata. The automata used for recognition are a generalisation of deterministic Muller automata to the setting of nominal sets. Remarkably,…
In this note we present a characterisation of all unary and binary patterns that do not only contain variables, but also reversals of their instances. These types of variables were studied recently in either more general or particular…
We give a complete topological classification of germs of holomorphic foliations in the plane under rather generic conditions. The key point is the introduction of a new topological invariant called monodromy representation. This monodromy…
For representation by partial functions in the signature with intersection, composition and antidomain, we show that a representation is meet complete if and only if it is join complete. We show that a representation is complete if and only…
We study morphisms from certain classes and their action on episturmian words. The first class is $P_{ret}$. In general, a morphism of class $P_{ret}$ can map an infinite word having zero palindromic defect to a word having infinite…
We explore a family of nested recurrence relations with arbitrary levels of nesting, which have an interpretation in terms of fixed points of morphisms over a countably infinite alphabet. Recurrences in this family are related to a number…
The idea of this approach towards proving the consistency of Quine's New Foundations set theory is to go in a completely untyped manner. So no contemplation about types is utilized here. All conceptualization pivots around proving a handful…
We interpret realizations of a graph on the sphere up to rotations as elements of a moduli space of curves of genus zero. We focus on those graphs that admit an assignment of edge lengths on the sphere resulting in a flexible object. Our…
In this short note, we will explain that the good moduli space morphisms behave as if they are proper when we consider sheaf operations, though they are not separated. For example, the decomposition theorem and the base change theorem hold…
The aim of this article is to investigate central-valued identities involving pairs of endomorphisms on prime rings equipped with an involution of the second kind. Extending the recent contributions of Mir et al. (2020) and Boua et al.…
Eventually after Dieudonn\'e-Grothendieck, we give intrinsic definitions of \'etale, lisse and non-ramifi\'e morphisms for general adic rings and general locally convex rings. And we investigate the corresponding \'etale-like, lisse-like…
We characterize absorption in finite idempotent algebras by means of J\'onsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the…
We study endomorphisms of a free group of finite rank by means of their action on specific sets of elements. In particular, we prove that every endomorphism of the free group of rank 2 which preserves an automorphic orbit (i.e., acts ``like…
We prove that epimorphisms are surjective in certain categories of ordered F-algebras. It then turns out that epimorphisms are also surjective in the category of all (unordered) algebras of type F.
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.
We develop properties of unramified, \'etale and smooth morphisms between Berkovich spaces over $\mathbb{Z}$. We prove that they satisfy properties analogous to those of morphisms of schemes and we provide analytification criteria. Our…