首页/论文/2001.10233

arXiv 2001.102332020-01-28math.AThep-th

Transgression maps for crossed modules of groupoids

Xiongwei Cai

备注：: 8 pages

英文摘要：

Given a crossed module of groupoids $N\rightarrow G$, we construct (1) a natural homomorphism from the product groupoid $\mathbb{Z}\times(N\rtimes G)\rightrightarrows N$ to the crossed product groupoid $N\rtimes G\rightrightarrows N$ and (2) a transgression map from the singular cohomology $H^\ast(G_\bullet,\mathbb{Z})$ of the nerve of the groupoid $G$ to the singular cohomology $H^{\ast-1}\big((N\rtimes G)_\bullet,\mathbb{Z}\big)$ of the nerve of the crossed product groupoid $N\rtimes G$. The latter turns out to be identical to the transgression map obtained by Tu--Xu in their study of equivariant $K$-theory.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Twisted loop transgression and higher Jandl gerbes over finite groupoids

Given a double cover $π: \mathcal{G} \rightarrow \hat{\mathcal{G}}$ of finite groupoids, we explicitly construct twisted loop transgression maps, $τ_π$ and $τ_π^{ref}$, thereby associating to a Jandl $n$-gerbe $\hatλ$ on $\hat{\mathcal{G}}$ a Jandl $(n-1)$-gerbe $τ_π(\hatλ)$ on the quotient loop groupoid of $\mathcal{G}$ and an ordinary $(n-1)$-gerbe $τ^{ref}_π(\hatλ)$ on the unoriented quotient loop groupoid of $\mathcal{G}$. For $n =1,2$, we interpret the character theory (resp. centre) of the category of Real $\hatλ$-twisted $n$-vector bundles over $\hat{\mathcal{G}}$ in terms of flat secti…

2019-10-03math.ATmath.CTmath.QA

Crossed modules, double group-groupoids and crossed squares

In this paper using split extensions of group-groupoids we obtain the notion of crossed modules over group-grouoids which are also called 2-groups and we prove a categorical equivalence of these types of crossed modules and double group-groupoids which are internal to the category of group-groupoids. This equivalence enables us to produce more examples of double groupoids.

2018-05-28math.ATmath.CT

Normality and quotient in crossed modules over groupoids and double groupoids

We consider the categorical equivalence between crossed modules over groupoids and double groupoids with thin structures; and by this equivalence, we prove how normality and quotient concepts are related in these two categories and give some examples of these objects.

2018-01-26math.ATmath.CT

Covering morphisms of crossed complexes and of cubical omega-groupoids with connection are closed under tensor product

The aim is the theorems of the title and the corollary that the tensor product of two free crossed resolutions of groups or groupoids is also a free crossed resolution of the product group or groupoid. The route to this corollary is through the equivalence of the category of crossed complexes with that of cubical omega-groupoids with connections where the initial definition of the tensor product lies. It is also in the latter category that we are able to apply techniques of dense subcategories to identify the tensor product of covering morphisms as a covering morphism.

2011-02-27math.AT

Group-groupoid actions and liftings of crossed modules

The aim of this paper is to define the notion of lifting of a crossed module via a group morphism and give some properties of this type of the lifting. Further we obtain a criterion for a crossed module to have a lifting of crossed module. We also prove that the liftings of a certain crossed module constitute a category; and that this category is equivalent to the category of covers of that crossed module and hence to the category of group-groupoid actions of the corresponding groupoid to that crossed module.

2016-01-26math.ATmath.CT

Crossed extensions and equivalences of topological 2-groupoids

We provide concrete models for generalized morphisms and Morita equivalences of topological 2-groupoids by introducing the notions of crossings and crossed extensions of groupoid crossed modules. A systematic study of these objects is elaborated and an explicit description of how they do yield a groupoid and geometric picture of weak 2-groupoid morphisms is presented. Specifically, we construct a weak 3-category whose objects are crossed modules of topological groupoids and in which weak 1-isomorphisms correspond to Morita equivalences in the "category" of topological 2-groupoids.

2018-02-06math.ATmath.CTmath.GR

更多相关论文收起更多论文

Homotopies and automorphisms of crossed modules of groupoids

We give a detailed description of the structure of the actor 2-crossed module related to the automorphisms of a crossed module of groupoids. This generalises work of Brown and Gilbert for the case of crossed modules of groups, and part of this is needed for work on 2-dimensional holonomy to be developed elsewhere (see math.DG/0009082).

2001-12-10math.ATmath.CT

Coverings of internal groupoids and crossed modules in the category of groups with operations

In this paper we prove some results on the covering morphisms of internal groupoids. We also give a result on the coverings of the crossed modules of groups with operations.

2016-01-28math.ATmath.CT

Crossed complexes and homotopy groupoids as non commutative tools for higher dimensional local-to-global problems

We outline the main features of the definitions and applications of crossed complexes and cubical $ω$-groupoids with connections. These give forms of higher homotopy groupoids, and new views of basic algebraic topology and the cohomology of groups, with the ability to obtain some non commutative results and compute some homotopy types.

2008-10-10math.ATmath.CT

Normality and quotient in crossed modules, cat$^1$-groups and internal groupoids within groups with operations

In this paper we define the notions of normal subcrossed module and quotient crossed module within groups with operations; and using the equivalence of crossed modules over groups with operations and internal groupoids we prove how normality and quotient concepts are related in these two categories. Further we prove an equivalence of crossed modules over groups with operations and cat$^1$-groups with operations for a certain algebraic category; and then by this equivalence we determine normal and quotient objects in the category of cat$^{1}$-groups with operations. Finally we characterize the …

2016-01-26math.ATmath.CT

Obstruction classes of crossed modules of Lie algebroids and Lie groupoids linked to existence of principal bundles

Let K be a Lie group and P be a K-principal bundle on a manifold M. Suppose given furthermore a central extension 1\to Z\to \hat{K}\to K\to 1 of K. It is a classical question whether there exists a \hat{K}-principal bundle \hat{P} on M such that \hat{P}/Z is isomorphic to P. Neeb defines in this context a crossed module of topological Lie algebras whose cohomology class [ω_{\rm top alg}] is an obstruction to the existence of \hat{P}. In the present paper, we show that [ω_{\rm top alg}] is up to torsion a full obstruction for this problem, and we clarify its relation to crossed modules of Lie a…

2007-03-19math.AT

A new higher homotopy groupoid: the fundamental globular omega-groupoid of a filtered space

We use the n-globe with its skeletal filtration to define the fundamental globular omega--groupoid of a filtered space; the proofs use an analogous fundamental cubical omega--groupoid due to the author and Philip Higgins. This method also relates the construction to the fundamental crossed complex of a filtered space, and this relation allows the proof that the crossed complex associated to the free globular omega-groupoid on one element of dimension n is the fundamental crossed complex of the n-globe.

2007-02-22math.ATmath.CT

Crossed modules and the homotopy 2-type of a free loop space

The question was asked by Niranjan Ramachandran: how to describe the fundamental groupoid of LX, the free loop space of a space X? We give an answer by assuming X to be the classifying space of a crossed module over a group, and then describe completely a crossed module over a groupoid determining the homotopy 2-type of LX. The method requires detailed information on the monoidal closed structure on the category of crossed complexes.

2010-05-23math.AT

Combinatorial Descent Data for Gerbes

We consider descent data in cosimplicial crossed groupoids. This is a combinatorial abstraction of the descent data for gerbes in algebraic geometry. The main result is this: a weak equivalence between cosimplicial crossed groupoids induces a bijection on gauge equivalence classes of descent data.

2014-05-01math.AGmath.ATmath.KT

Galois theory and a new homotopy double groupoid of a map of spaces

The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new homotopy double groupoid of a map of spaces, which includes constructions by others of a 2-groupoid, cat^1-group or crossed module. An advantage of our construction is that the double groupoid can give an algebraic model of a foliated bundle.

2002-08-27math.ATmath.CT

Pointed homotopy and pointed lax homotopy of 2-crossed module maps

We address the (pointed) homotopy theory of 2-crossed modules (of groups), which are known to faithfully represent Gray 3-groupoids, with a single object, and also connected homotopy 3-types. The homotopy relation between 2-crossed module maps will be defined in a similar way to Crans' 1-transfors between strict Gray functors, however being pointed, thus this corresponds to Baues' homotopy relation between quadratic module maps. Despite the fact that this homotopy relation between 2-crossed module morphisms is not, in general, an equivalence relation, we prove that if $A$ and $A'$ are 2-crosse…

2013-09-04math.ATmath.CT

Further remarks on liftings of crossed modules

In this paper we define the notion of pullback lifting of a lifting crossed module over a crossed module morphism and interpret this notion in the category of group-groupoid actions as pullback action. Moreover, we give a criterion for the lifting of homotopic crossed module morphisms to be homotopic, which will be called homotopy lifting property for crossed module morphisms. Finally, we investigate some properties of derivations of lifting crossed modules according to base crossed module derivations.

2017-04-24math.ATmath.CT

Covering groups of non-connected topological groups revisited

In general a universal covering of a non connected topological group need not admit a topological group structure such that the covering map is a morphism of topological groups. This result is due to R.L. Taylor (1953). We generalise this result and relate it to the theory of obstructions to group extensions. The methods use: the equivalence between covering maps of X and covering groupoids of the fundamental groupoid of X; the equivalence between group groupoids and crossed modules; and descriptions of cohomology in terms of crossed complexes.

2006-12-18math.ATmath.CT

Two-Fold Homotopy of 2-Crossed Module Maps of Commutative Algebras

We address the homotopy theory of 2-crossed modules of commutative algebras. In particular, we define the concept of a 2-fold homotopy between a pair of 1-fold homotopies connecting 2-crossed module maps $\A \to \A'$. We also prove that if the domain 2-crossed module $\A$ is free up to order one (i.e. if the bottom algebra is a polynomial algebra) then we have a 2-groupoid of 2-crossed module maps $\A \to \A'$ and their homotopies and 2-fold homotopies.

2018-05-13math.ATmath.CT

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

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 func…

2016-02-15math.ATmath.CT

Pointed Homotopy of Maps Between 2-Crossed Modules of Commutative Algebras

We address the homotopy theory of 2-crossed modules of commutative algebras, which are equivalent to simplicial commutative algebras with Moore complex of length two. In particular, we construct for maps of 2-crossed modules a homotopy relation, and prove that it yields an equivalence relation in very unrestricted cases (freeness up to order one of the domain 2-crossed module). This latter condition strictly includes the case when the domain is cofibrant. Furthermore, we prove that this notion of homotopy yields a groupoid with objects being the 2-crossed module maps between two fixed 2-crosse…

2015-10-24math.ATmath.CT

The ring structure for equivariant twisted K-theory

We prove, under some mild conditions, that the equivariant twisted K-theory group of a crossed module admits a ring structure if the twisting 2-cocycle is 2-multiplicative. We also give an explicit construction of the transgression map $T_1: H^*(Γ;A) \to H^{*-1}((N\rtimes Γ;A)$ for any crossed module $N\to Γ$ and prove that any element in the image is $\infty$-multiplicative. As a consequence, we prove that, under some mild conditions, for a crossed module $N \to \gm$ and any $e \in \check{Z}^3(Γ;S^1)$, that the equivariant twisted K-theory group $K^*_{e,Γ}(N)$ admits a ring structure. As an a…

2009-03-23hep-thmath-phmath.AT