Related papers: G-kernels and Crossed Modules

We consider a finite group acting on a vector space and the corresponding skew group algebra generated by the group and the symmetric algebra of the space. This skew group algebra illuminates the resulting orbifold and serves as a…

In this paper we extend and adapt several results on extensions of Lie algebras to topological Lie algebras over topological fields of characteristic zero. In particular we describe the set of equivalence classes of extensions of the Lie…

We develop an obstruction theory for homotopy of homomorphisms f,g : M -> N between minimal differential graded algebras. We assume that M = Lambda V has an obstruction decomposition given by V = V_0 oplus V_1 and that f and g are homotopic…

We explain some results concerning the topology of varieties and stacks equipped with an action of the multiplicative group $\mathbb{G}_m$. We apply these techniques to the moduli of Higgs bundles. Our main application is to upgrade the…

Let $C$ be a Grothendieck topos, $G$ and $H$ group objects of $C$. Let $p:P\rightarrow X$ be an $H$-torsor. Suppose that $X$ is endowed with an action of $G$. In this paper, we study the obstructions to lift the action of $G$ on $X$ to $P$…

Using the machinery of etale homotopy theory a' la Artin-Mazur we determine the etale homotopy types of moduli stacks over $\bar{\Q}$ parametrizing families of algebraic curves of genus g greater than 1 endowed with an action of a finite…

Under appropriate conditions, if one picks a commutative algebra A with action of group G in braided monoidal category C, the category of A modules in C obtains a natural crossed G-braided structure. In the case of general commutative…

We provide a foundation for working with homological and homotopical methods in categorical algebra. This involves two mutually complementary components, namely (a) the strategic selection of suitable axiomatic frameworks, some well known…

We introduce the notion of $(G, \Gamma)$-crossed action on a tensor category, where $(G, \Gamma)$ is a matched pair of finite groups. A tensor category is called a $(G, \Gamma)$-crossed tensor category if it is endowed with a $(G,…

We elaborate an algebraic framework for describing internal topological symmetries of gapped boundaries of (2+1)D topological orders. We present a categorical obstruction to the coherence of bulk group symmetry and boundary symmetries in…

We consider a surface $\Sigma$ of genus $g \geq 3$, either closed or with exactly one puncture. The mapping class group $\Gamma$ of $\Sigma$ acts symplectically on the abelian moduli space $M = \Hom(\pi_1(\Sigma), U(1)) =…

C*-endomorphisms arising from superselection structures with non-trivial centre define a 'rank' and a 'first Chern class'. Crossed products by such endomorphisms involve the Cuntz-Pimsner algebra of a vector bundle having the…

Continuing our previous work on graded twisting of Hopf algebras and monoidal categories, we introduce a graded twisting construction for equivariant comodule algebras and module categories. As an example we study actions of quantum…

Let $\Gamma$ be a finite d-valent graph and G an n-dimensional torus. An ``action'' of G on $\Gamma$ is defined by a map, $\alpha$, which assigns to each oriented edge e of $\Gamma$ a one-dimensional representation of G (or, alternatively,…

In the theory of crossed modules, considering arbitrary self-actions instead of conjugation allows for the extension of the concept of crossed modules and thus the notion of generalized crossed module emerges. In this paper we give a…

C*-algebras form a 2-category with \Star{}homomorphisms or correspondences as morphisms and unitary intertwiners as 2-morphisms. We use this structure to define weak actions of 2-categories, weakly equivariant maps between weak actions, and…

This paper introduces a categorification of $k$-algebras called 2 -algebras, where k is a commutative ring. We define the 2-algebras as a 2-category with single object in which collections of all 1-morphisms and all 2-morphisms are…

Let $H_n$ be the $n$-th group homology functor (with integer coeffcients) and let $\{G_i\} _ {i \in \mathbb{N}}$ be any tower of groups such that all maps $G_{i+1} \to G_i$ are surjective. In this work we study kernel and cokernel of the…

We develop a geometric framework that characterizes the synchronization problem --- the problem of consistently registering or aligning a collection of objects. The theory we formulate characterizes the cohomological nature of…

The purpose of this paper is to study finite dimensional equivariant moduli problems from the viewpoint of stratification theory. We show that there exists a stratified obstruction system for a finite dimensional equivariant moduli problem.…