Ronald Brown
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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.
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.
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.
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).
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.
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 …
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.
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.
We propose a notion of 1-homotopy for generalized maps. This notion generalizes those of natural transformation and ordinary homotopy for functors. The 1-homotopy type of a Lie groupoid is shown to be invariant under Morita equivalence. As an application we consider orbifolds as groupoids and study the notion of orbifold 1-homotopy type induced by a 1-homotopy between presentations of the orbifold maps.
We prove that any homotopy type can be recovered canonically from its associated weak omega-groupoid. This implies that the homotopy category of CW-complexes can be embedded in the homotopy category of Batanin's weak higher groupoids.
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.
We show that the category of presheaves of simplicial groupoids on a site $\mathcal{C}$ is a right proper simplicial model category. We define $G$-torsor of presheaf of 2-groupoids $G$, presheaf of simplicial groups $G$ and presheaf of simplicial groupoids $G$ on a site $\mathcal{C}$ and classify $G$-torsors by the homotopy classes $[\ast, \bar{W}G]$.
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and here we deal with homotopy types represented by double groupoids satisfying a natural `filling condition'. Any such double groupoid characteristically has associated to it `homotopy groups', which are defined using only its algebraic structure. Thus arises the notion of `weak equivalence' between such double groupoids, and a corresponding `homotopy category…
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…
It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively.
The purpose of this text is the study of the class of homotopy types which are modelized by strict \infty-groupoids. We show that the homotopy category of simply connected \infty-groupoids is equivalent to the derived category in homological degree greater or equal to 2 of abelian groups. We deduce that the simply connected homotopy types modelized by strict \infty-groupoids are precisely the products of Eilenberg-Mac Lane spaces. We also briefly study 3-categories with weak inverses. We finish by two questions about the problem suggested by the title of this text.
We present a slight variation on a notion of weak \infty-groupoid introduced by Grothendieck in Pursuing Stacks and we study the homotopy theory of these \infty-groupoids. We prove that the obvious definition for homotopy groups of Grothendieck \infty-groupoids does not depend on any choice. This allows us to give equivalent characterizations of weak equivalences of Grothendieck \infty-groupoids, generalizing a well-known result for strict \infty-groupoids. On the other hand, given a model category M in which every object is fibrant, we construct, following Grothendieck, a fundamental \infty-g…
The classifying space of a crossed complex generalises the construction of Eilenberg-Mac Lane spaces. We show how the theory of fibrations of crossed complexes allows the analysis of homotopy classes of maps from a free crossed complex to such a classifying space. This gives results on the homotopy classification of maps from a CW-complex to the classifying space of a crossed module and also, more generally, of a crossed complex whose homotopy groups vanish in dimensions between 1 and n. The results are analogous to those for the obstruction to an abstract kernel in group extension theory.
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…
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.
Presheaves of groupoids as models for homotopy types
本文引入广群（弱）测试范畴概念，证明其与弱测试范畴及测试范畴的等价关系，并由此得出带连接立方集、胞腔集和半单纯集等内部广群范畴可作为同伦类型的新模型。
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…
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 equiva…
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.
This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a suitable tool for nonabelian, 2-dimensional, local-to-global problems. The methods are analogous to those developed by Brown and Higgins for similar theorems for other higher homotopy groupoids. An integral part of the proof is a detailed discussion of commutative cubes in a double category with connections, and a proof of the key result that any composition…
We look at strict $n$-groupoids and show that if $\Re$ is any realization functor from the category of strict $n$-groupoids to the category of spaces satisfying a minimal property of compatibility with homotopy groups, then there is no strict $n$-groupoid $G$ such that $\Re (G)$ is the $n$-type of $S^2$ (for $n\geq 3$). At the end we speculate on how one might fix this problem by introducing a notion of ``snucategory'', a strictly associative $n$-category with only weak units.
The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of homotopy coherence theory for crossed complexes, using detailed results on the appropriate Eilenberg-Zilber theory from Tonks' thesis, and of its relation to simplicial homotopy coherence. Again, our results give information not just on the homotopy classification of certain equivariant maps, but also on the weak equivariant homotopy type of the corresponding equ…
We explain how the computation of induced crossed modules allows the computation of certain homotopy 2-types and, in particular, second homotopy groups. We discuss various issues involved in computing induced crossed modules and give some examples and applications.
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…
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial semi-model category of weak infinity groupoids, whose objects are all fibrant and which is in a precise sense "freely generated by an object". We show that all those semi model categories are Quillen equivalent together and Quillen to the model category of spaces. A general procedure is given to produce such coherator, and several explicit examples are presented: one…
We explore the relations among quadratic modules, 2-crossed modules, crossed squares and simplicial groups with Moore complex of length 2.
A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in terms of a long exact sequence. As an application, we give an obstruction to presentability of proper regular Lie groupoids.
We propose a new homotopy invariant for Lie groupoids which generalizes the classical Lusternik-Schnirelmann category for topological spaces. We use a bicategorical approach to develop a notion of contraction in this context. We propose a notion of homotopy between generalized maps given by the 2-arrows in a certain bicategory of fractions. This notion is invariant under Morita equivalence. Thus, when the groupoid defines an orbifold, we have a well defined LS-category for orbifolds. We prove an orbifold version of the classical Lusternik-Schnirelmann theorem for critical points.
This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids effectively replace higher homotopy groups in quasi-category homotopy theory.
This belongs to a series of papers devoted to the study of the cohomology of classifying spaces of Lie groupoids. Our aim here is to introduce and study the notion of representation up to homotopy of Lie groupoids, the resulting derived category, and to show that the adjoint representation is well defined as a representation up to homotopy. As an application, we extend Bott's spectral sequence converging to the cohomology of classifying spaces from Lie groups to Lie groupoids.
Omar Antol{\'ı}n Camarena pointed out a gap in the proofs in \cite{Brown15,BrownJordan} of a condition for the Phragmen--Brouwer Property not to hold; this note gives the correction in terms of a result on a pushout of groupoids, and some additional background.
We prove that the operad B of natural operations on the Hochschild cohomology has the homotopy type of the operad of singular chains on the little disks operad. To achieve this goal, we introduce crossed interval groups and show that B is a certain crossed interval extension of an operad T whose homotopy type is known. This completes the investigation of the algebraic structure on the Hochschild cochain complex that has lasted for several decades.
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.
The paper contains an application of van Kampen theorem for groupoids for computation of homotopy types of certain class of non-compact foliated surfaces obtained by gluing at most countably many strips $\mathbb{R}\times(0,1)$ with boundary intervals in $\mathbb{R}\times\{\pm1\}$ along some of those intervals.
Crossed modules are known to be a model of pointed connected homotopy 2-types; formally, the homotopy category of crossed modules is equivalent to the category of pointed connected homotopy 2-types. In forming the homotopy category of crossed modules, one must resort to computing derived morphisms using non-constructive topological methods, but Behrang Noohi was able to find an algebraic model of these derived morphisms called butterflies. The result is a completely algebraic model of pointed connected homotopy 2-types. Reduced crossed complexes are a generalization of crossed modules and mode…
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.
This very speculative sketch suggests that a theory of fundamental groupoids for tensor triangulated categories could be used to describe the ring of integers as the singular fiber in a family of ring-spectra parametrized by a structure space for the stable homotopy category, and that Bousfield localization might be part of a theory of `nearby' cycles for stacks or orbifolds.
In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete Segal space model structure on the category of simplicial spaces. Here, we show that these results still hold if we instead use groupoid or "invertible" cases. Namely, we show that model structures on the categories of simplicial groupoids, Segal pregroupoids, and invertible simplicial spaces are all Quillen equivalent to one another and to the standard mod…
Lie $\infty$-groupoids are simplicial Banach manifolds that satisfy an analog of the Kan condition for simplicial sets. An explicit construction of Henriques produces certain Lie $\infty$-groupoids called `Lie $\infty$-groups' by integrating finite type Lie $n$-algebras. In order to study the compatibility between this integration procedure and the homotopy theory of Lie $n$-algebras introduced in the companion paper arXiv:1809.05999, we present a homotopy theory for Lie $\infty$-groupoids. Unlike Kan simplicial sets and the higher geometric groupoids of Behrend and Getzler, Lie $\infty$-group…
Homotopy 3-types can be modelled algebraically by Tamsamani's weak 3-groupoids as well as, in the path-connected case, by cat^2-groups. This paper gives a comparison between the two models in the path-connected case. This leads to two different semistrict algebraic models of connected 3-types using the Tamsamani's model. Both are then related to Gray groupoids.
Given an infinity-category C, one can naturally construct an infinity-category Fam(C) of families of objects in C indexed by infinity-groupoids. An ordinary categorical version of this construction was used by Borceux and Janelidze in the study of generalized covering maps in categorical Galois theory. In this paper, we develop the homotopy theory of such "parametrized families" as generalization of the classical homotopy theory of spaces. In particular, we study homotopy-theoretical constructions that arise from the fundamental infinity-groupoids of families in an infinity-category. In the sa…
In this paper, we generalize the notion of Serre fibration to the Morita category of topological groupoids and derive the associated long exact sequence of homotopy groups. We use this results for calculation of homotopy groups of various groupoids, such as the foliation groupoid of a Riemannian foliation.
We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types.
We prove that if $M$ is a CW-complex, then the homotopy type of the skeletal filtration of $M$ does not depend on the cell decomposition of $M$ up to wedge products with $n$-disks $D^n$, when the later are given their natural CW-decomposition with unique cells of order 0, $(n-1)$ and $n$; a result resembling J.H.C. Whitehead's work on simple homotopy types. From the Colimit Theorem for the Fundamental Crossed Complex of a CW-complex (due to R. Brown and P.J. Higgins), follows an algebraic analogue for the fundamental crossed complex $Π(M)$ of the skeletal filtration of $M$, which thus depends …
The fundamental bigroupoid of a topological space is one way of capturing its homotopy 2-type. When the space is semilocally 2-connected, one can lift the construction to a bigroupoid internal to the category of topological spaces, as Brown and Danesh-Naruie lifted the fundamental groupoid to a topological groupoid. For locally relatively contractible spaces the resulting topological bigroupoid is locally trivial in a way analogous to the case of the topologised fundamental groupoid.
Lie groupoids generalize transformation groups, and so provide a natural language for studying orbifolds and other noncommutative geometries. In this paper, we investigate a connection between orbifolds and equivariant stable homotopy theory using such groupoids. A different sort of twisted sector, along with a classical theorem of tom Dieck, allows for a natural definition of stable orbifold homotopy groups, and motivates defining extended unstable orbifold homotopy groups generalizing previous definitions.
An n-truncated model structure on simplicial (pre-)sheaves is described having as weak equivalences maps that induce isomorphisms on certain homotopy sheaves only up to degree n. Starting from one of Jardine's intermediate model structures we construct such an n-type model structure via Bousfield-Friedlander localization and exhibit useful generating sets of trivial cofibrations. Injectively fibrant objects in these categories are called n-hyperstacks. The whole setup can consequently be viewed as a description of the homotopy theory of higher hyperstacks. More importantly, we construct analog…
Semi-coarse Spaces: Fundamental Groupoid and the van Kampen Theorem
本文构造了半粗空间上的基本广群不变量，证明了其对一般半粗空间良定义且对粗空间非平凡，并证明了其满足范坎彭定理。
The aim of this article is to explain a philosophy for applying higher dimensional Seifert-van Kampen Theorems, and how the use of groupoids and strict higher groupoids resolves some foundational anomalies in algebraic topology at the border between homology and homotopy. We explain some applications to filtered spaces, and special cases of them, while a sequel will show the relevance to n-cubes of pointed spaces.
The aim of this paper is to explain how, through the work of a number of people, some algebraic structures related to groupoids have yielded algebraic descriptions of homotopy n-types. Further, these descriptions are explicit, and in some cases completely computable, in a way not possible with the traditional Postnikov systems, or with other models, such as simplicial groups.
A categorification of Quinn's finite total homotopy TQFT with application to TQFTs and once-extended TQFTs derived from strict omega-groupoids
本文基于同伦理论重新审视并推广了Quinn的有限全同伦TQFT，提出了一种范畴化的一次扩展TQFT构造，适用于所有维度，并显式计算了同伦有限omega-群胚分类空间的情形，为离散高阶规范理论建模提供了工具。
We prove that Getzler's higher generalization of the Deligne groupoid commutes with totalization and homotopy limits.
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.
$K$-theory of crossed products via homotopy theory
本文通过同伦理论方法，研究如何从$K$-理论谱及诱导$G$作用计算约化交叉积的$K$-理论，并展示该方法的实用性，主要关注有限群。
We describe various equivalent ways of associating to an orbifold, or more generally a higher étale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we show that for a differentiable stack X arising from a Lie groupoid G, the weak homotopy type of X agrees with that of BG. Using this machinery, we are able to find new presentations for the weak homotopy type of certain classifying spaces. In particular, we give a new presentation for the Borel construction of an almost free action of a Lie group G on a smooth …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。