Jack Morava
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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.
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 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 define a notion of groupoidal 2-quasi-categories and show that they are the fibrant objects of a model structure on the category of $Θ_2$-sets. We show that this model category is Quillen equivalent to the Kan-Quillen model category of simplicial sets and that 2-truncated groupoidal 2-quasi-categories are models for homotopy 2-types.
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.
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.
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.
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…
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.
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.
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.
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.
Presheaves of groupoids as models for homotopy types
本文引入广群（弱）测试范畴概念，证明其与弱测试范畴及测试范畴的等价关系，并由此得出带连接立方集、胞腔集和半单纯集等内部广群范畴可作为同伦类型的新模型。
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…
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.
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…
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.
Semi-coarse Spaces: Fundamental Groupoid and the van Kampen Theorem
本文构造了半粗空间上的基本广群不变量，证明了其对一般半粗空间良定义且对粗空间非平凡，并证明了其满足范坎彭定理。
Topological Fundamental Groupoid. II. An action category of the fundamental groupoid
本文证明拓扑化基本群胚的作用范畴与覆盖空间范畴同构，并据此刻画基本群胚的自由与正常作用。
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 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.
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…
If $X$ is a topological group, then its fundamental groupoid $π_1X$ is a group-groupoid which is a group object in the category of groupoids. Further if $X$ is a path connected topological group which has a simply connected cover, then the category of covering spaces of $X$ and the category of covering groupoids of $π_1X$ are equivalent. In this paper we prove that if $(X,x_0)$ is an $H$-group, then the fundamental groupoid $π_1X$ is a categorical group. This enable us to prove that the category of the covering spaces of an $H$-group $(X,x_0)$ is equivalent to the category of covering groupoid…
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.
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.
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.
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…
We show that there exists a canonical functor from the category of strict \infty-groupoids to the category of Grothendieck \infty-groupoids and that this functor is fully faithful. As a main ingredient, we prove that free strict \infty-groupoids on a globular pasting scheme are weakly contractible.
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.
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 when the property of being semi-abelian is replaced by the one of being action representable (in the sense of Borceux, Janelidze and Kelly) turns out to be rather subtle. In the present article we give a sufficient condition for this to be true: in fact we prove that the category $\mathsf{Grpd}(\mathbb C)$ is a semi-abelian action representable algebraically co…
We calculate the higher homotopy groups of the Deligne-Getzler infinity-groupoid associated to a nilpotent L-infinity algebra. As an application, we present a new approach to the rational homotopy theory of mapping spaces.
In this paper we construct a symmetric monoidal closed model category of coherently commutative Picard groupoids. We construct another model category structure on the category of (small) permutative categories whose fibrant objects are (permutative) Picard groupoids. The main result is that the Segal's nerve functor induces a Quillen equivalence between the two aforementioned model categories. Our main result implies the classical result that Picard groupoids model stable homotopy one-types.
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…
Gerbes are locally connected presheaves of groupoids. They are classified up to local weak equivalence by path components in a 2-cocycle category taking values in all sheaves of groups, their isomorphisms and homotopies. If F is a full presheaf of sheaves of groups, isomorphisms and homotopies, then [*,BF] is isomorphic to equivalence classes of gerbes locally equivalent to groups appearing in F. Giraud's non-abelian cohomology object of equivalence classes of gerbes with band L is isomorphic to morphisms in the homotopy category from the point * to the homotopy fibre over L for a map defined …
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 define a 2-category structure (Pre-Orb) on the category of reduced complex orbifold atlases. We construct a 2-functor F from (Pre-Orb) to the 2-category (Grp) of proper étale effective groupoid objects over the complex manifolds. Both on (Pre-Orb) and (Grp) there are natural equivalence relations on objects: (a natural extension of) equivalence of orbifold atlases in (Pre-Orb) and Morita equivalences in (Grp). We prove that F induces a bijection between the equivalence classes of its source and target.
In this work we deal with coverings and actions of Lie group- groupoids being a sort of the structured Lie groupoids. Firstly, we define an action of a Lie group-groupoid on some Lie group and the smooth coverings of Lie group-groupoids. Later, we show the equivalence of the category of smooth actions of Lie group-groupoids on Lie groups and the category of smooth cov- erings of Lie group-groupoids. Further, we prove a theorem which denotes how is obtained a covering Lie group-groupoid and a smooth covering morphism of Lie group-groupoids from a Lie group-groupoid.
We construct a 2-category version of tom Dieck's equivariant fundamental groupoid for representable orbifolds and show that the discrete fundamental groupoid is Morita invariant; hence an orbifold invariant for representable orbifolds.
By a ring groupoid we mean an animated ring whose i-th homotopy groups are zero for all i>1. In this expository note we give an elementary treatment of the (2,1)-category of ring groupoids (i.e., without referring to general animated rings and without using n-categories for n>2). The note is motivated by the fact that ring stacks play a central role in the Bhatt-Lurie approach to prismatic cohomology.
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.
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.
On polynomial functors and polynomial comonads over infinity groupoids
本文研究了无穷群oids上多项式函子与余monad的性质，并探讨了其与完整Segal空间的联系。
We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same as the real homotopy type of a simply connected manifold is the de Rham algebra in original Sullivan's theory. We prove the existence of a model category structure on the category of small closed tensor dg-categories and as a most simple case, confirm an equivalence between the homotopy category of spaces whose fundamental groups are finite and whose higher …
We introduce the notion of Lusternik-Schnirelmann category for differentiable stacks and establish its relation with the groupoid Lusternik-Schnirelmann category for Lie groupoids.
This is an expository paper providing an overview of the unstable motivic homotopy category using the theory of $(\infty,1)$-categories. In this paper, we examine two constructions in the literature and discuss their equivalence.
In this paper, for given an algebraic theory $T$ whose category $C$ of models is semi-abelian, we consider the topological models of $T$ called topological $T$-algebras and obtain some results related to the fundamental groups of topological $T$-algebras. We also deal with the internal groupoid structure in the category of models providing that the fundamental groupoid deduces a functor from topological $T$-algebras to the internal groupoids in $C$ and prove a criterion for the lifting of such an internal groupoid structure to the covering groupoids.
In this article we study thick ideals defined by periodic self maps in the stable motivic homotopy category over $\mathbb{C}$. In addition, we extend some results of Ruth Joachimi about the relation between thick ideals defined by motivic Morava K-theories and the preimages of the thick ideals in the stable homotopy category under Betti realization.
We prove that the folk model structure on strict $\infty$-categories transfers to the category of strict $\infty$-groupoids (and more generally to the category of strict $(\infty, n)$-categories), and that the resulting model structure on strict $\infty$-groupoids coincides with the one defined by Brown and Golasinski via crossed complexes.
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.
Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However, the cofibrant objects are not complexes of projectives, but rather all complexes of flat modules. The trivial objects are what Positselski calls contraacyclic complexes and so the homotopy category coincides with his contraderived category. We in fact construct this model on the category of chain complexes of quasi-coherent sheaves on any scheme $X$ admitting…
We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order to get a model for the motivic homotopy category.
Algebraic Topology Without Open Sets: A Net Approach to Homotopy Theory in Limit Spaces
本研究基于网理论探讨收敛空间，简化连续收敛描述并应用于同伦理论，在极限空间中定义基本广群并证明了 Seifert-van Kampen 定理的广群版本。
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 …
By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices into $\infty$-categories to model the duality between vector spaces and profinite-dimensional vector spaces, and set up a global notion of homotopy cardinality à la Baez-Hoffnung-Walker compatible with this duality. We needed these results to support our work on incidence algebras and Möbius inversion over $\infty$-groupoids; we hope that they can also be of i…
Duals of Higher Vector Spaces
本文提出n-对偶概念，研究其在同伦n-类型中的性质，并通过Dold-Kan对应关系重新表述Eilenberg-Zilber定理，计算了向量空间中群oid和2-群oid对象的对偶。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。