Related papers: Around Gromov's injectivity lemma and applications…

We prove a long-standing conjecture of Geck which predicts that cuspidal unipotent characters remain irreducible after $\ell$-reduction. To this end, we construct a progenerator for the category of representations of a finite reductive…

We present a uniform version of a result of M. Gromov on the surjunctivity of maps commuting with expansive group actions and discuss several applications. We prove in particular that for any group $\Gamma$ and any field $\K$, the space of…

Let $G,H$ be two countable amenable groups. We introduce the notion of group charts, which gives us a tool to embed an arbitrary $H$-subshift into a $G$-subshift. Using an entropy addition formula derived from this formalism we prove that…

We study the classification of cellular-automaton update rules into Wolfram's four classes. We start with the notion of the input entropy of a spatiotemporal block in the evolution of a cellular automaton, and build on it by introducing two…

We prove a derived version of the Gabriel-Popescu theorem in the framework of dg-categories and t-structures. This exhibits any pretriangulated dg-category with a suitable t-structure (such that its heart is a Grothendieck abelian category)…

We provide an inductive algorithm computing Gromov-Witten invariants in all genera with arbitrary insertions of all smooth complete intersections in projective space. We also prove that all Gromov-Witten classes of all smooth complete…

Let $X$ be a set and let $S$ be an inverse semigroup of partial bijections of $X$. Thus, an element of $S$ is a bijection between two subsets of $X$, and the set $S$ is required to be closed under the operations of taking inverses and…

Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A…

We mainly discuss the cardinal invariants and generalized metric properties on paratopological groups or rectifiable spaces, and show that: (1) If $A$ and $B$ are $\omega$-narrow subsets of a paratopological group $G$, then $AB$ is…

It is shown that a ring is left semihereditary if and only each homomorphic image of its injective hull as left module is FP-injective. It is also proven that a commutative ring R is reduced and arithmetical if and only if E/U if…

Higher-order cellular automata (HOCA) are a variant of cellular automata (CA) used in many applications (ranging, for instance, from the design of secret sharing schemes to data compression and image processing), and in which the global…

We show that for various natural classes of groups and appropriately defined K- and L-theoretic functors, injectivity or bijectivity of the assembly map follows from the Isomorphism Conjecture being true for acyclic groups lying within that…

Let $G$ be an affine algebraic group scheme over an algebraically closed field $k$ of characteristic $p>0$, and let $G_r$ denote the $r$-th Frobenius kernel of $G$. Motivated by recent work of Friedlander, the authors investigate the class…

In this article we generalize the theory of subgroup graphs of subgroups of free groups to finite index subgroups $H$ of finitely generated groups $G$. We study and prove various properties of $H$ in relation to its subgroup graph…

Some conditions for the Galois map to be injective are given in the groupoid acting on a noncommutative ring context. In the particular case in which the Galois extension is a central Galois algebra, it is given a complete characterization…

$\lambda$-graph systems are labeled Bratteli diagram with shift operations. They present subshifts. Their matrix presentations are called symbolic matrix systems. We define skew products of $\lambda$-graph systems and study extensions of…

In the paper we study inverse semigroups $\mathscr{B}(G)$, $\mathscr{B}^+(G)$, $\bar{\mathscr{B}}(G)$ and $\bar{\mathscr{B}}\,^+(G)$ which are generated by partial monotone injective translations of a positive cone of a linearly ordered…

We study an abstract group of reversible Turing machines. In our model, each machine is interpreted as a homeomorphism over a space which represents a tape filled with symbols and a head carrying a state. These homeomorphisms can only…

We prove that the forgetful functor from groupoids to pregroupoids has a left adjoint, with the front adjunction injective. Thus we get an enveloping groupoid for any pregroupoid. We prove that the category of torsors is equivalent to that…

For profinite branch groups, we first demonstrate the equivalence of the Bergman property, uncountable cofinality, Cayley boundedness, the countable index property, and the condition that every non-trivial normal subgroup is open; compact…