Related papers: Internal object actions in homological categories
Let $A$ be a condensable algebra in a modular tensor category $\mathcal{C}$. We define an action of the fusion category $\mathcal{C}_A$ of $A$-modules in $\mathcal{C}$ on the morphism space $\mbox{Hom}_{\mathcal{C}}(x,A)$ for any $x$ in…
In the context of ideally exact categories, we introduce the notions of internal coherent action and internal ideal action that generalise different aspects of unital actions of rings and algebras. We prove that every ideal action is…
We show that the category A(G) of actions of a locally compact group G on C*-algebras (with equivariant nondegenerate *-homomorphisms into multiplier algebras) is equivalent, via a full-crossed-product functor, to a comma category of…
When $\mathbb C$ is a semi-abelian category, it is well known that the category $\mathsf{Grpd}(\mathbb C)$ of internal groupoids in $\mathbb C$ is again semi-abelian. The problem of determining whether the same kind of phenomenon occurs…
For finitely generated groups $G$ and $H$ equipped with word metrics, a translation-like action of $H$ on $G$ is a free action where each element of $H$ moves elements of $G$ a bounded distance. Translation-like actions provide a geometric…
We consider a fixed free and proper action of a locally compact group $G$ on a space $T$, and actions $\alpha:G\to \Aut A$ on $C^*$-algebras for which there is an equivariant embedding of $(C_0(T),\rt)$ in $(M(A),\alpha)$. A recent theorem…
Let $G$ and $A$ be finite groups with $A$ acting on $G$ by automorphisms. In this paper we introduce the concept of "good action"; namely we say the action of $A$ on $G$ is good, if $H=[H,B]C_H(B)$ for every subgroup $B$ of $A$ and every…
We define the action of a locally compact group $G$ on a topological graph $E$. This action induces a natural action of $G$ on the $C^*$-correspondence ${\mathcal H}(E)$ and on the graph $C^*$-algebra $C^*(E)$. If the action is free and…
Let a countable amenable group $G$ act on a \zd\ compact metric space $X$. For two clopen subsets $\mathsf A$ and $\mathsf B$ of $X$ we say that $\mathsf A$ is \emph{subequivalent} to $\mathsf B$ (we write $\mathsf A\preccurlyeq \mathsf…
The main results of the paper are: \begin{Prop}\label{GenSvarc-Milnor} A group $G$ acting coarsely on a coarse space $(X,\CC)$ induces a coarse equivalence $g\to g\cdot x_0$ from $G$ to $X$ for any $x_0\in X$. \end{Prop} Theorem:…
Using the strong relation between coactions of a discrete group G on C*-algebras and Fell bundles over G, we prove a new version of Mansfield's imprimitivity theorem for coactions of discrete groups. Our imprimitivity theorem works for the…
The aim of this paper is to characterize the notion of internal category (groupoid) in the category of Leibniz algebras and investigate the properties of well-known notions such as covering groupoid and groupoid operations (actions) in this…
This paper generalizes the basic notions of additive and multiplicative combinatorics to the setting of group actions: if $G$ is a group acting on a set $X$, and we have subsets $A\subseteq G$ and $Y\subseteq X$ such that the set of pairs…
Using the close relationship between coactions of discrete groups and Fell bundles, we introduce a procedure for inducing a C*-coaction of a quotient group G/N of a discrete group G to a C*-coaction of G itself on an induced C*-algebra. We…
An action of a compact, in particular finite group on a C*-algebra is called properly outer if no automorphism of the group that is distinct from identity is implemented by a unitary element of the algebra of local multipliers of the…
Using the group $G(1)$ of invertible elements and the maximal ideals $\mathfrak{m}_x$ of the commutative algebra $C(X)$ of real-valued functions on a compact regular space $X$, we define a Borel action of the algebra on the measure space…
After recalling basic definitions and constructions for a finite group $G$ action on a $k$-linear category we give a concise proof of the following theorem of Elagin: if $\mathcal{C} = \langle \mathcal{A}, \mathcal{B} \rangle$ is a…
An action of a finite group $G$ is a pair $(S,\hat{G})$, where $S$ is a compact Riemann surface of genus $g \geqslant 2$ and $\hat{G} \leqslant {\rm Aut}(S)$ is isomorphic to $G$. To each action $(S,\hat{G})$ there is associated a signature…
A Mackey type decomposition for group actions on abelian categories is described. This allows us to define new Mackey functors which associates to any subgroup the $K$-theory of the corresponding equivariantized abelian category. In the…
We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups.…