Related papers: Coherent configurations associated with TI-subgrou…

Let M be an open, connected manifold. A classical theorem of McDuff and Segal states that the sequence of configuration spaces of n unordered, distinct points in M is homologically stable with coefficients in Z: in each degree, the integral…

We give new characterizations of sofic groups: -- A group $G$ is sofic if and only if it is a subgroup of a quotient of a direct product of alternating or symmetric groups. -- A group $G$ is sofic if and only if any system of equations…

We establish a general bijective framework for encoding faces of some classical hyperplane arrangements. Precisely, we consider hyperplane arrangements in $\mathbb{R}^n$ whose hyperplanes are all of the form $\{x_i-x_j=s\}$ for some…

A linear group G on a finite vector space V, (that is, a subgroup of GL(V)) is called (1/2)-transitive if all the G-orbits on the set of nonzero vectors have the same size. We complete the classification of all the (1/2)-transitive linear…

For each subchain $X'$ of a chain $X$, let $T_{RE}(X, X')$ denote the semigroup under composition of all full regressive transformations, $\alpha:X\rightarrow X'$ satisfying $x\alpha\leq x$ for all $x\in X$. Necessary and sufficient…

We give sufficient conditions for stability of a continuous-time linear switched system consisting of finitely many subsystems. The switching between subsystems is governed by an underlying graph. The results are applicable to switched…

Given a graph G = (V,E), a vertex subset S is called t-stable (or t-dependent) if the subgraph G[S] induced on S has maximum degree at most t. The t-stability number of G is the maximum order of a t-stable set in G. We investigate the…

We prove that every quasi-complete intersection ideal is obtained from a pair of nested complete intersection ideals by way of a flat base change. As a by-product we establish a rigidity statement for the minimal two-step Tate complex…

Suppose a residually finite group $G$ acts cocompactly on a contractible complex with strict fundamental domain $Q$, where the stabilizers are either trivial or have normal $\mathbb{Z}$-subgroups. Let $\partial Q$ be the subcomplex of $Q$…

The coupling of the tangent bundle $TM$ with the Lie algebra bundle $L$ (K.Mackenzie,2005, Definition 7.2.2) plays the crucial role in the classification of the transitive Lie algebroids for Lie algebra bundle $L$ with fixed finite…

Using Cohen's classification of symplectic reflection groups, we prove that the parabolic subgroups, that is, stabilizer subgroups, of a finite symplectic reflection group are themselves symplectic reflection groups. This is the symplectic…

If a finite p-group G acts continuously on a compact topological manifold M then, with some bound C depending on M alone, G has a subgroup H of index at most C such that the H-action on M has at most C stabilizer subgroups. This result…

Let $\Gamma$ denote a finite, undirected, connected graph, with vertex set $X$. Fix a vertex $x \in X$. Associated with $x$ is a certain subalgebra $T=T(x)$ of ${\rm Mat}_X(\mathbb C)$, called the subconstituent algebra. The algebra $T$ is…

The commuting graph of a group $G$ is the graph whose vertices are the elements of $G$, two distinct vertices joined if they commute. Our purpose in this paper is twofold: we discuss the computational problem of deciding whether a given…

For each finite classical group $G$, we classify the subgroups of $G$ which act transitively on a $G$-invariant set of subspaces of the natural module, where the subspaces are either totally isotropic or nondegenerate. Our proof uses the…

A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a…

We consider an arbitrary topological group $G$ definable in a structure $\mathcal M$, such that some basis for the topology of $G$ consists of sets definable in $\mathcal M$. To each such group $G$ we associate a compact $G$-space of…

A group is boundedly simple if, for some constant N, every nontrivial conjugacy class generates the whole group in N steps. For a large class of trees, Tits proved simplicity of a canonical subgroup of the automorphism group, which is…

A subshift on a group G is a closed, G-invariant subset of A^G, for some finite set A. It is said to be a subshift of finite type (SFT) if it is defined by a finite collection of 'forbidden patterns', to be strongly aperiodic if all point…

For a NIP theory $T$, a sufficiently saturated model $\mathfrak{C}$ of $T$, and an invariant (over some small subset of $\mathfrak{C}$) global type $p$, we prove that there exists a finest relatively type-definable over a small set of…