88 research outputs found
Introduction to the language of stacks and gerbes
This is an introduction to gerbes for topologists, with emphasis on
non-abelian cohomology.Comment: 30 page
Orbifolds as Groupoids: an Introduction
This is a survey paper based on my talk at the Workshop on Orbifolds and
String Theory, the goal of which was to explain the role of groupoids and their
classifying spaces as a foundation for the theory of orbifolds
A definability theorem for first order logic
For any first order theory T we construct a Boolean valued model M, in which
precisely the T--provable formulas hold, and in which every (Boolean valued)
subset which is invariant under all automorphisms of M is definable by a first
order formula. Our presentation is entirely selfcontained, and only requires
familiarity with the most elementary properties of model theory
On the derived category of an algebra over an operad
We present a general construction of the derived category of an algebra over
an operad and establish its invariance properties. A central role is played by
the enveloping operad of an algebra over an operad.Comment: References and remark 2.5 adde
Axiomatic homotopy theory for operads
We give sufficient conditions for the existence of a model structure on
operads in an arbitrary symmetric monoidal model category. General invariance
properties for homotopy algebras over operads are deduced.Comment: 29 pages, revised for publicatio
A Homology Theory for Etale Groupoids
Etale groupoids arise naturally as models for leaf spaces of foliations, for
orbifolds, and for orbit spaces of discrete group actions. In this paper we
introduce a sheaf homology theory for etale groupoids. We prove its invariance
under Morita equivalence, as well as Verdier duality between Haefliger
cohomology and this homology. We also discuss the relation to the cyclic and
Hochschild homologies of Connes' convolution algebra of the groupoid, and
derive some spectral sequences which serve as a tool for the computation of
these homologies.Comment: 34 page
simplicial cohomology of orbifolds
For any orbifold M, we explicitly construct a simplicial complex S(M) from a
given triangulation of the `coarse' underlying space together with the local
isotropy groups of M. We prove that, for any local system on M, this complex
S(M) has the same cohomology as M. The use of S(M) in explicit calculations is
illustrated in the example of the `teardrop' orbifold.Comment: 23 pages, 4 figures, 6 diagram
Dendroidal Segal spaces and infinity-operads
We introduce the dendroidal analogs of the notions of complete Segal space
and of Segal category, and construct two appropriate model categories for which
each of these notions corresponds to the property of being fibrant. We prove
that these two model categories are Quillen equivalent to each other, and to
the monoidal model category for infinity-operads which we constructed in an
earlier paper. By slicing over the monoidal unit objects in these model
categories, we derive as immediate corollaries the known comparison results
between Joyal's quasi-categories, Rezk's complete Segal spaces, and Segal
categories.Comment: We replaced a wrong technical lemma by a correct proposition at the
begining of Section 8. This does not affect the main results of this article
(in particular, the end of Section 8 is unchanged). To appear in J. Topo
- …