Related papers: Combinatorial categories and permutation groups

We show that the isomorphism problem is solvable in the class of central extensions of word-hyperbolic groups, and that the isomorphism problem for biautomatic groups reduces to that for biautomatic groups with finite centre. We describe an…

A generic rectangulation is a partition of a rectangle into finitely many interior-disjoint rectangles, such that no four rectangles meet in a point. In this work we present a versatile algorithmic framework for exhaustively generating a…

A graph $\Gamma$ is $G$-symmetric if $G$ is a group of automorphisms of $\Gamma$ which is transitive on the set of ordered pairs of adjacent vertices of $\Gamma$. If $V(\Gamma)$ admits a nontrivial $G$-invariant partition ${\cal B}$ such…

We prove that, to every abstract group $G$, we can associate a sequence of graphs $\Gamma_n$ such that the automorphism group of $\Gamma_n$ is isomorphic to $G$ and the genus of $\Gamma_n$ is an unbounded function of $n$.

Let $G$ be a finite group and let $N$ be a normal subgroup of $G$. We attach to $N$ two graphs ${\Gamma}_G(N)$ and ${\Gamma}^{\ast}_G(N)$ related to the conjugacy classes of $G$ contained in $N$ and to the set of primes dividing the sizes…

Moments of secular and inverse secular coefficients, averaged over random matrices from classical groups, are related to the enumeration of non-negative matrices with prescribed row and column sums. Similar random matrix averages are…

We introduce the \emph{Generalized Latin Square Graph} $\Gamma(S)$ of a finite semigroup $S$. Since we record global factorization multiplicities and local alternative counts, we define three counting invariants $N_S,N_R,N_C$. This gives…

A regular equivalence between two graphs $\Gamma,\Gamma'$ is a pair of uniformly proper Lipschitz maps $V\Gamma\to V\Gamma'$ and $V\Gamma'\to V\Gamma$. Using separation profiles we prove that there are $2^{\aleph_0}$ regular equivalence…

Matrices over the ring of formal power series are considered. Normal forms with respect to various sub-groups of the two-sided transformations are constructed. The construction is based on the special property of the action: it induces a…

A generalized numerical semigroup is a submonoid $S$ of $\mathbb{N}^d$ with finite complement in it. We characterize isomorphisms between these monoids in terms of permutation of coordinates. Considering the equivalence relation that…

The category of I-spaces is the diagram category of spaces indexed by finite sets and injections. This is a symmetric monoidal category whose commutative monoids model all E-infinity spaces. Working in the category of I-spaces enables us to…

In a series of papers the authors associated to an $L^2$-acyclic group $\Gamma$ an invariant $\mathcal{P}(\Gamma)$ that is a formal difference of polytopes in the vector space $H_1(\Gamma;\Bbb{R})$. This invariant is in particular defined…

In this note, we establish an equivalence of categories between the category of all eight-dimensional composition algebras with any given quadratic form $n$ over a field $k$ of characteristic not two, and a category arising from an action…

A closed 3-form $H \in \Omega^3_0(M)$ defines an extension of $\Gamma(TM)$ by $\Omega^2_0(M)$. This fact leads to the definition of the group of $H$-twisted Hamiltonian symmetries $\Ham(M, \JJ; H)$ as well as Hamiltonian action of Lie group…

Let $G$ be a closed highly homogeneous subgroup of $S_{\infty}$ not involving circular orderings. We show that the closure of a conjugacy class from $G$ contains a conjugacy class which is comeagre in it. Furthermore, we show that the…

A discrete subgroup $\Gamma$ of a locally compact group $H$ is called a uniform lattice if the quotient $H/\Gamma$ is compact. Such an $H$ is called an envelope of $\Gamma$. In this paper we study the problem of classifying envelopes of…

In this paper we introduce a notion of {\it generalized operad} containing as special cases various kinds of operad--like objects: ordinary, cyclic, modular, properads etc. We then construct inner cohomomorphism objects in their categories…

We compare the algebras of the quantum automorphism group of finite-dimensional C$^\ast$-algebra $B$, which includes the quantum permutation group $S_N^+$, where $N = \dim B$. We show that matrix amplification and crossed products by…

Let $G$ be a right-angled Artin group with defining graph $\Gamma$ and let $H$ be a finitely generated group quasi-isometric to $G(\Gamma)$. We show if $G$ satisfies (1) its outer automorphism group is finite; (2) $\Gamma$ does not have…

We show that every word hyperbolic, surface-by-(noncyclic) free group Gamma is as rigid as possible: the quasi-isometry group of Gamma equals the abstract commensurator group Comm(Gamma), which in turn contains Gamma as a finite index…