On the centre of crossed modules of groups

Mariam Pirashvili

2023-11-02

Abstract:Crossed modules are algebraic models of homotopy 2-types and hence have $\pi_1$ and $\pi_2$. We propose a definition of the centre of a crossed module whose essential invariants can be computed via the group cohomology $H^i(\pi_1,\pi_2)$. This definition therefore has much nicer properties than one proposed by Norrie in the 80s.

K-Theory and Homology,Algebraic Topology

What problem does this paper attempt to address?

Crossed modules

Johannes Huebschmann

DOI: https://doi.org/10.1090/noti2831

2024-03-24

Abstract:This is an overview of the idea of a crossed module. For a group, the triple that consists of the group, its group of automorphisms, and the canonical homomorphism from the group to its group of automorphisms constitutes a crossed module. Crossed modules arise from the identities among the relations of the presentation of a group, from the extension problem for groups and, more generally, in low dimensional topology. Also, the (successful) attempt to extend the idea of a normal extension of commutative fields to the realm of non-commutative algebras leads to crossed modules. Crossed modules appear implicitly in a forgotten paper by A. Turing which in principle settles the extension problem for groups. Crossed modules make perfect sense for Lie algebras.

Group Theory,Algebraic Topology
From Simplicial Homotopy to Crossed Module Homotopy in Modified Categories of Interest

Kadir Emir,Selim Çetin

DOI: https://doi.org/10.1515/gmj-2018-0069

2016-02-15

Abstract:We address the (pointed) homotopy of crossed module morphisms in modified categories of interest; which generalizes the groups and various algebraic structures. We prove that, the homotopy relation gives rise to an equivalence relation; furthermore a groupoid structure, without any restriction on neither domain nor co-domain of the crossed module morphism. Additionally, we consider the particular cases such as associative algebras, Leibniz algebras, Lie algebras and dialgebras of crossed modules of this generalized homotopy definition. Then as the main part of the paper, we prove that the functor from simplicial objects to crossed modules in modified categories of interest preserves the homotopy and also the homotopy equivalence.

Category Theory,Algebraic Topology
On finite induced crossed modules and the homotopy 2-type of mapping cones

Ronald Brown,Christopher D. Wensley

DOI: https://doi.org/10.48550/arXiv.math/9503202

1995-03-09

Group Theory

Abstract:Results on the finiteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applications are given to the 2-types of mapping cones of classifying spaces of groups. Calculations of the cohomology classes of some finite crossed modules are given, using crossed complex methods.
The transition from Population III to normal galaxies: Ly-a and HeII 1640 emission and the ionising properties of high redshift starburst galaxies

Daniel Schaerer

DOI: https://doi.org/10.1051/0004-6361%3A20021525

2002-10-21

Abstract:We examine spectral properties of the ionising continua, the Lyman-break, and the Ly-a and HeII 1640 recombination lines in starbursts. The transition from primordial galaxies to currently observed metallicities, is examined. For the average properties of starbursts, the main findings are: 1) The Lyman continuum flux increases with decreasing metallicity. For a universal Salpeter IMF from 1-100 Msun the enhancement reaches typically a factor of ~3 between solar metallicity and Pop III objects. 2) While for metallicities Z >~ 1/50 Zsun the amplitude of the Lyman-break depends little on Z, a reduction by a factor ~2 is found at lower Z, due to the strong increase of the average stellar temperature. 3) Using theoretical models and empirical constraints we discuss the expected evolution of the hardness of He+ to H ionising photons with metallicity and possible uncertainties. We also provide a simple estimate of the possible impact of hot WR like stars on Q(He+)/Q(H) at very low metallicities. 4) Calibrations for star formation rate determinations from various recombination lines at all metallicities and for various IMFs are derived. For young bursts the maximum Ly-a equivalent width is shown to increase strongly with decreasing metallicity for the same IMF. However, for well known reasons, the Ly-a emission predicted likely represents an upper limit. Non-negligible HeII 1640 emission due to stellar photoionisation appears to be limited to very low metallicities and Population III objects.(abridged abstract)

Astrophysics
Crossed modules and cohomology of algebras over an operad

Johan Leray,Salim Rivière,Friedrich Wagemann

2024-11-07

Abstract:We introduce a general definition of a $n$-crossed module of $P$-algebras over an algebraic operad $P$, which coincides with historical definitions in the cases of the operads As and Lie and $n = 1$. We establish a natural isomorphism between the abelian group of equivalence classes of $n$-crossed modules over a pair $(A,M)$ for an operad $P$ and the $(n+1)^\text{th}$ operadic cohomology group of $A$ with coefficients in $M$.

K-Theory and Homology,Algebraic Topology,Category Theory
On the non-balanced property of the category of crossed modules in groups

Simona Paoli

DOI: https://doi.org/10.1016/j.jpaa.2004.08.010

IF: 0.834

2005-05-01

Journal of Pure and Applied Algebra

Abstract:An algebraic category C is called balanced if the cotriple cohomology of any object of C vanishes in positive dimensions on injective coefficient modules. Important examples of balanced and of non-balanced categories occur in the literature. In this paper we prove that the category of crossed modules in groups is non-balanced.

mathematics, applied
A crossed homomorphism for groups acting on the circle

Shuhei Maruyama

DOI: https://doi.org/10.1142/s1793525324500092

2024-02-07

Journal of Topology and Analysis

Abstract:Journal of Topology and Analysis, Ahead of Print. In this paper, we construct a crossed homomorphism by using a group action on the circle and the Poincaré translation number. We relate it to the Euler class of the action in terms of the Hochschild–Serre spectral sequence. As an application, we answer a question of Calegari and Chen, which is on an explicit form of a certain crossed homomorphism on the mapping class group of the sphere minus a Cantor set.

mathematics
Crossed modules and doi-hopf modules

S. Caenepeel,G. Militaru,Zhu Shenglin

DOI: https://doi.org/10.1007/BF02773642

1997-01-01

Israel Journal of Mathematics

Abstract:We prove that crossed modules (or Yetter-Drinfel’d modules) are special cases of Doi’s unified Hopf modules. The category of crossed H -modules is therefore a Grothendieck category (if we work over a field), and the Drinfel’d double appears as a type of generalized smash product.
On bicrossed modules of Hopf algebras

Xiao Han

2023-12-16

Abstract:We use Hopf algebroids to formulate a notion of a noncommutative and non-cocommutative Hopf 2-algebra. We show how these arise from a bicrossproduct Hopf algebra with Peiffer identities. In particular, we show that for a Hopf algebra $H$ with bijective antipode, the mirror bicrossproduct Hopf algebra $H\triangleright\!\!\!\blacktriangleleft H_{cop}$ is a Hopf 2-algebra. We apply the theorem on Sweedler's Hopf algebra as an example.

Quantum Algebra
Crossed squares of cocommutative Hopf algebras

Florence Sterck

DOI: https://doi.org/10.1016/j.jalgebra.2021.05.018

2021-06-17

Abstract:In this paper, we define the notion of Hopf crossed square for cocommutative Hopf algebras extending the notions of crossed squares of groups and of Lie algebras. We prove the equivalence between the category of Hopf crossed squares and the category of double internal groupoids in the category of cocommutative Hopf algebras. The Hopf crossed squares turn out to be the internal crossed modules in the category of crossed modules in the category of cocommutative Hopf algebras.

Category Theory
Derived Representation Type and Gorenstein Projective Modules of an Algebra under Crossed Product

Fang Li,LongGang Sun

DOI: https://doi.org/10.1007/s11425-012-4469-9

2012-01-01

Science China Mathematics

Abstract:Let H and its dual H * be finite dimensional semisimple Hopf algebras. In this paper, we firstly prove that the derived representation types of an algebra A and the crossed product algebra A # σ H are coincident. This is an improvement of the conclusion about representation type of an algebra in Li and Zhang [Sci China Ser A, 2006, 50: 1–13]. Secondly, we give the relationship between Gorenstein projective modules over A and that over A # σH . Then, using this result, it is proven that A is a finite dimensional CM-finite Gorenstein algebra if and only if so is A # σ H .
On internal categories and crossed objects in the category of monoids

Ilia Pirashvili

2024-01-04

Abstract:It is a well-known fact that the category $\mathsf{Cat}(\mathbf{C})$ of internal categories in a category $\mathbf{C}$ has a description in terms of crossed modules, when $\mathbf{C}=\mathbf{Gr}$ is the category of groups. The proof of this result heavily uses the fact that any split epimorphism decomposes as a semi-direct product. An equivalent statement does not hold in the category $\mathbf{Mon}$ of monoids. In a previous work on quadratic algebras, I constructed an internal category in the category of monoids, see Section 6. Based on this construction, this paper will introduce the notion of a crossed semi-bimodule and show that it gives rise to an object in $\mathsf{Cat}(\mathbf{Mon})$. I will also relate this new notion to the crossed semi-modules introduced earlier by A. Patchkoria.

Category Theory
Center construction for group-crossed tensor categories

Mizuki Oikawa

2024-04-16

Abstract:We define the notion of the $(G,\Gamma)$-crossed center of a $(G,\Gamma)$-crossed tensor category in the sense of Natale. We show that the $(G, \Gamma)$-crossed center is a $(G \bowtie \Gamma, G \times \Gamma)$-braided tensor category. This construction generalizes the graded center construction for graded tensor categories and the equivariant center construction for tensor categories with group actions.

Quantum Algebra,Category Theory
The Category of Crossed Modules of Crossed Modules and Its Associated Double Groupoids

Nelson Martins-Ferreira,Ahmet Emin Tatar

DOI: https://doi.org/10.48550/arXiv.1802.01204

2018-02-04

Category Theory

Abstract:In this work we study the notion of Whitehead sequence in the category of crossed modules and actions of crossed modules. As expected, Whitehead sequences in that context are the same as crossed squares. We investigate under which conditions a Whitehead sequence of crossed modules gives rise to an internal groupoid in the category of crossed modules. In other words, we explicitly investigate the so called "Smith is Huq" condition in the category of crossed modules.
Crossed Modules with Action

Selim Çetin,Utku Gürdal

DOI: https://doi.org/10.1007/s11253-024-02345-4

2024-09-25

Ukrainian Mathematical Journal

Abstract:Following the idea of a group with action in a higher dimension, we consider crossed modules with a given crossed-module action upon themselves. A category of these objects XMod * is given by replacing the set of morphisms in the category Gr * of groups with action by the set of φ-crossed homomorphisms of a modified form. Moreover, the connections of XMod * with some other known categories, such as Gr * and XMod , are given by describing some related functors.

mathematics, applied
Crossed Modules for Lie 2-Algebras

Honglei Lang,Zhangju Liu

DOI: https://doi.org/10.1007/s10485-015-9389-8

2016-01-01

Abstract:We define the notion of crossed modules for Lie 2-algebras. To a given crossed module, we associate a strict Lie 3-algebra structure on its mapping cone complex and a strict Lie 2-algebra structure on its derivations. Finally, we classify strong crossed modules by means of the third cohomology group of Lie 2-algebras.
On crossed modules of pre-Lie algebras

Xuedan Luo

2024-06-05

Abstract:Given a Lie algebra $\mathfrak g$ and a $\mathfrak{g}$-module $V$, it is due to Gerstenhaber that there is an isomorphism between $H^3(\mathfrak{g}, V )$ and the group of equivalence classes of crossed modules with kernel $V$ and cokernel $\mathfrak {g}$. The goal of this article is to obtain this result for pre-Lie algebras and their modules.

Representation Theory,Rings and Algebras
Notes on 2-groupoids, 2-groups and crossed-modules

Behrang Noohi

DOI: https://doi.org/10.48550/arXiv.math/0512106

2008-07-14

Abstract:This paper contains some basic results on 2-groupoids, with special emphasis on computing derived mapping 2-groupoids between 2-groupoids and proving their invariance under strictification. Some of the results proven here are presumably folklore (but do not appear in the literature to the author's knowledge) and some of the results seem to be new. The main technical tool used throughout the paper is the Quillen model structure on the category of 2-groupoids introduced by Moerdijk and Svensson.

Category Theory
Commutators and crossed modules of color Hopf algebras

Andrea Sciandra

2023-12-01

Abstract:In a previous paper we showed that the category of cocommutative color Hopf algebras is semi-abelian in case the group $G$ is abelian and finitely generated and the characteristic of the base field is different from 2 (not needed if $G$ is finite of odd cardinality). Here we describe the commutator of cocommutative color Hopf algebras and we explain the Hall's criterion for nilpotence and the Zassenhaus Lemma. Furthermore, we introduce the category of color Hopf crossed modules and we explicitly show that this is equivalent to the category of internal crossed modules in the category of cocommutative color Hopf algebras and to the category of simplicial cocommutative color Hopf algebras with Moore complex of length 1.

Category Theory,Quantum Algebra,Rings and Algebras,Representation Theory
Universal central extensions of braided crossed modules of groups

José Manuel Casas,Alejandro Fernández-Fariña,Manuel Ladra

DOI: https://doi.org/10.1016/j.jpaa.2024.107715

IF: 0.834

2024-05-17

Journal of Pure and Applied Algebra

Abstract:In this paper, we give a canonical braiding on the universal central extension of a crossed module with a given braiding in the category of crossed modules. We also construct the universal central extension of a braided crossed module in the category of braided crossed modules, showing that when one of these constructions exists, both of them exist and coincide.

mathematics, applied

On the centre of crossed modules of groups

Crossed modules

From Simplicial Homotopy to Crossed Module Homotopy in Modified Categories of Interest

On finite induced crossed modules and the homotopy 2-type of mapping cones

The transition from Population III to normal galaxies: Ly-a and HeII 1640 emission and the ionising properties of high redshift starburst galaxies

Crossed modules and cohomology of algebras over an operad

On the non-balanced property of the category of crossed modules in groups

A crossed homomorphism for groups acting on the circle

Crossed modules and doi-hopf modules

On bicrossed modules of Hopf algebras

Crossed squares of cocommutative Hopf algebras

Derived Representation Type and Gorenstein Projective Modules of an Algebra under Crossed Product

On internal categories and crossed objects in the category of monoids

Center construction for group-crossed tensor categories

The Category of Crossed Modules of Crossed Modules and Its Associated Double Groupoids

Crossed Modules with Action

Crossed Modules for Lie 2-Algebras

On crossed modules of pre-Lie algebras

Notes on 2-groupoids, 2-groups and crossed-modules

Commutators and crossed modules of color Hopf algebras

Universal central extensions of braided crossed modules of groups