Related papers: A Functorial Generalization of Coxeter Groups
We enumerate traceless square matrices over finite quotients of compact discrete valuation rings by their image sizes. We express the associated rational generating functions in terms of statistics on symmetric and hyperoctahedral groups,…
Group-theoretical fusion categories are defined by data concerning finite groups and their cohomology: A finite group $G$ endowed with a three-cocycle $\omega$, and a subgroup $H\subset G$ endowed with a two-cochain whose coboundary is the…
Gaussian elimination answers any question about a finitely presented vector space. However, a "uniform family" of such presentations--given as generic relations among an unspecified number of generators--is susceptible to elimination only…
The Dowling lattice $Q_n(\mathfrak{G})$, $\mathfrak{G}$ a finite group, generalizes the geometric lattice generated by all vectors, over a field, with at most two nonzero components. Abstractly, it is a fundamental object in the…
Let $\mathbb{F}$ be a field of characteristic $\neq 2$ and $3$, let $V$ be a $\mathbb{F}$-vector space of dimension $6$, and let $\Omega \in \wedge ^2V^\ast $ be a non-degenerate form. A system of generators for polynomial invariant…
We define ``star reducible'' Coxeter groups to be those Coxeter groups for which every fully commutative element (in the sense of Stembridge) is equivalent to a product of commuting generators by a sequence of length-decreasing star…
Composing with the inclusion $\mathsf{Set}\to\mathsf{Cat} $, a graph $G$ internal to $\mathsf{Set} $ becomes a graph of discrete categories, the coinserter of which is the category freely generated by $G$. Introducing a suitable definition…
We construct a natural generalization of the Grothendieck group $\mathrm{K}_0$ to the case of possibly unpointed categories admitting pushouts by using the concept of heaps recently introduced by Brezinzki. In case of a monoidal category,…
In [5], Elnitsky constructed three elegant bijections between classes of reduced words for Type $\mathrm{A}$, $\mathrm{B}$ and $\mathrm{D}$ families of Coxeter groups and certain tilings of polygons. This paper offers a particular…
We introduce what we call `generalized higher rank $k$-graphs' as a class of categories equipped with a notion of size. They extend not only the higher rank $k$-graphs, but also the Levi categories introduced by the first author as a…
We give explicit necessary and sufficient conditions for the abstract commensurability of certain families of 1-ended, hyperbolic groups, namely right-angled Coxeter groups defined by generalized theta-graphs and cycles of generalized…
This paper studies the rigidity properties of the abstract commensurator of the outer automorphism group of a universal Coxeter group of rank $n$, which is the free product $W_n$ of $n$ copies of $\mathbb{Z}/2\mathbb{Z}$. We prove that for…
We derive presentations of the interval groups related to all quasi-Coxeter elements in the Coxeter group of type $D_n$. Type $D_n$ is the only infinite family of finite Coxeter groups that admits proper quasi-Coxeter elements. The…
Following the theory of principal $\infty$-bundles of Niklaus-Schreiber-Steveson, we develop a homotopy categorification of Hopf algebras, which model quantum groups. We study their higher-representation theory in the setting of…
This paper is dedicated to triangulated categories endowed with weight structures (a new notion; D. Pauksztello has independently introduced them as co-t-structures). This axiomatizes the properties of stupid truncations of complexes in…
In this paper we introduce the framed pure braid group on $n$ strands of an oriented surface, a topological generalisation of the pure braid group $P_n$. We give different equivalents definitions for framed pure braid groups and we study…
In "The Gel'fand-Kalinin-Fuks class and characteristic classes of transversely symplectic foliations", arXiv:0910.3414, (October 2009) by D.Kotschick and S.Morita, the relative Gel'fand-Kalinin-Fuks cohomology groups of the formal…
We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several…
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…
For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…