Related papers: The snail lemma for internal groupoids

We introduce a general theory of parametrized objects in the setting of infinity categories. Although spaces and spectra parametrized over spaces are the most familiar examples, we establish our theory in the generality of objects of a…

A key invariant of a braided categorical group is its quadratic form, introduced by Joyal and Street. We show that the categorical group is braided equivalent to a simultaneously skeletal and strictly associative one if and only if the…

We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the…

Golan and Sapir \cite{MR3978542} proved that the Thompson's groups $F$, $T$ and $V$ have linear divergence. In the current paper, we focus on the divergence properties of several generalisation of the Thompson's groups, we first consider…

We define the notion of whiskered categories and groupoids, showing that whiskered groupoids have a commutator theory. So also do whiskered $R$-categories, thus answering questions of what might be `commutative versions' of these theories.…

We compute the Bieri-Neumann-Strebel invariants $\Sigma^1$ for the generalized solvable Baumslag-Solitar groups $\Gamma_n$ and their finite index subgroups. Using $\Sigma^1$, we show that certain finite index subgroups of $\Gamma_n$ cannot…

We study the behavior of irregular fibrations of a variety under derived equivalence of its bounded derived category. In particular we prove the derived invariance of the existence of an irregular fibration over a variety of general type,…

We revisit the linearization theorems for proper Lie groupoids around general orbits (statements and proofs). In the the fixed point case (known as Zung's theorem) we give a shorter and more geometric proof, based on a Moser deformation…

Brauer and Fowler noted restrictions on the structure of a finite group G in terms of the order of the centralizer of an involution t in G. We consider variants of these themes. We first note that for an arbitrary finite group G of even…

Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups,…

We construct an explicit basis for the coordinate ring of the Bott-Samelson variety Z_i associated to G = GL(n) and an arbitrary sequence of simple reflections i. Our basis is parametrized by certain standard tableaux and generalizes the…

Consider an abelian variety $A$ defined over a global field $K$ and let $L/K$ be a $\Z_p^d$-extension, unramified outside a finite set of places of $K$, with $\Gal(L/K)=\Gamma$. Let $\Lambda(\Gamma):=\Z_p[[\Gamma]]$ denote the Iwasawa…

We prove the existence of minimal models for fibrations between dendroidal sets in the model structure for infinity-operads, as well as in the covariant model structure for algebras and in the stable one for connective spectra. In an…

We prove that the folk model structure on strict $\infty$-categories transfers to the category of strict $\infty$-groupoids (and more generally to the category of strict $(\infty, n)$-categories), and that the resulting model structure on…

We present a general abstract framework for combinatorial Dyson-Schwinger equations, in which combinatorial identities are lifted to explicit bijections of sets, and more generally equivalences of groupoids. Key features of combinatorial…

Regardless of its environment, the category of internal groupoids is shown to be equivalent to the full subcategory of involutive-2-links that are unital and associative. The new notion of involutive-2-link originates from the study of…

The genus of a fibration was introduced by Schwarz in 1962. Given a continuous map $g:A\to B$, the usual sectional number $\text{sec}_u(g)$ is the least integer~$m$ such that $B$ can be covered by $m$ open subsets, each of which admits a…

A generalization of the topological fundamental group is developed in order to exhibit a topologically complete braid group containing Artin's braid group on infinitely many strands with respect to the following notion of convergence: A…

Clifford theory relates the representation theory of finite groups to those of a fixed normal subgroup by means of induction and restriction, which is an adjoint pair of functors. We generalize this result to the situation of a…

Gottschalk's surjunctivity conjecture states that for all group universes and finite alphabets, every equivariant and continuous selfmap of the full shift, known as cellular automaton, cannot be a strict embedding. Not all surjective…