-
arXiv:2407.21147 [pdf, ps, other]
Galois theory of differential schemes
Abstract: Since 1883, Picard-Vessiot theory had been developed as the Galois theory of differential field extensions associated to linear differential equations. Inspired by categorical Galois theory of Janelidze, and by using novel methods of precategorical descent applied to algebraic-geometric situations, we develop a Galois theory that applies to morphisms of differential schemes, and vastly generalises… ▽ More
Submitted 30 July, 2024; originally announced July 2024.
MSC Class: 12H05; 18F20; 18D40; 18E50; 14L30
-
arXiv:1910.01422 [pdf, ps, other]
Twisted loop transgression and higher Jandl gerbes over finite groupoids
Abstract: 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 l… ▽ More
Submitted 3 October, 2019; originally announced October 2019.
Comments: 33 pages
MSC Class: Primary: 57R56; Secondary 19L50; 20C30
Journal ref: Algebr. Geom. Topol. 22 (2022) 1663-1712
-
arXiv:1507.07054 [pdf, ps, other]
Moduli of non-commutative polarized schemes
Abstract: We construct, using geometric invariant theory, a quasi-projective Deligne-Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded A-infinity-algebras. The tangent complex of the derived scheme is given by graded Hochschild cohomology, which we relate to ordinary Hochschild cohomology. We obtain a version of Hilbert stabil… ▽ More
Submitted 24 July, 2015; originally announced July 2015.
MSC Class: 14D23; 16S80; 13D03; 32Q26
-
arXiv:1502.04995 [pdf, ps, other]
Singular chains on topological stacks
Abstract: We extend the functor Sing of singular chains to the category of topological stacks and establish its main properties. We prove that Sing respects weak equivalences and takes a morphism of topological stacks that is both a Serre and a Reedy fibration to a Kan fibration of simplicial sets. When restricted to the category of topological spaces Sing coincides with the usual singular functor.
Submitted 29 August, 2016; v1 submitted 17 February, 2015; originally announced February 2015.
-
Group actions on stacks and applications to equivariant string topology for stacks
Abstract: This paper is a continuations of the project initiated in the book string topology for stacks. We construct string operations on the SO(2)-equivariant homology of the (free) loop space $L(X)$ of an oriented differentiable stack $X$ and show that $H^{SO(2)}_{*+dim(X) -2}(L(X))$ is a graded Lie algebra. In the particular case where $X$ is a 2-dimensional orbifold we give a Goldman-type description f… ▽ More
Submitted 12 January, 2016; v1 submitted 25 June, 2012; originally announced June 2012.
Comments: Several new examples added, 57 pages
-
arXiv:1010.1748 [pdf, ps, other]
Fibrations of topological stacks
Abstract: In this note we define fibrations of topological stacks and establish their main properties. We prove various standard results about fibrations (fiber homotopy exact sequence, Leray-Serre and Eilenberg-Moore spectral sequences, etc.). We prove various criteria for a morphism of topological stacks to be a fibration, and use these to produce examples of fibrations. We prove that every morphism of to… ▽ More
Submitted 8 October, 2010; originally announced October 2010.
Comments: 25 pages
-
arXiv:0910.1818 [pdf, ps, other]
Integrating morphisms of Lie 2-algebras
Abstract: We show how to integrate a weak morphism of Lie algebra crossed-modules to a weak morphism of Lie 2-groups. To do so we develop a theory of butterflies for 2-term L_infty algebras. In particular, we obtain a new description of the bicategory of 2-term L_infty algebras. We use butterflies to give a functorial construction of connected covers of Lie 2-groups. We also discuss the notion of homotopy… ▽ More
Submitted 28 April, 2010; v1 submitted 9 October, 2009; originally announced October 2009.
Comments: discussion of connected covers of Lie 2-groups expanded, 26 pages
Journal ref: Compositio Math. 149 (2013) 264-294
-
arXiv:0909.3350 [pdf, ps, other]
Butterflies II: Torsors for 2-group stacks
Abstract: We study torsors over 2-groups and their morphisms. In particular, we study the first non-abelian cohomology group with values in a 2-group. Butterfly diagrams encode morphisms of 2-groups and we employ them to examine the functorial behavior of non-abelian cohomology under change of coefficients. We re-interpret the first non-abelian cohomology with coefficients in a 2-group in terms of gerbes… ▽ More
Submitted 19 March, 2010; v1 submitted 17 September, 2009; originally announced September 2009.
Comments: 57 pages; typos fixed; some comments added. To appear in Adv. in Mathematics
Report number: FSU09-09
Journal ref: Advances in Mathematics 225 (2010), 922-976
-
arXiv:0902.0161 [pdf, ps, other]
Group cohomology with coefficients in a crossed-module
Abstract: We compare three different ways of defining group cohomology with coefficients in a crossed-module: 1) explicit approach via cocycles; 2) geometric approach via gerbes; 3) group theoretic approach via butterflies. We discuss the case where the crossed-module is braided and the case where the braiding is symmetric. We prove the functoriality of the cohomologies with respect to weak morphisms of c… ▽ More
Submitted 26 January, 2010; v1 submitted 1 February, 2009; originally announced February 2009.
Comments: A discussion on braided 2-crossed-modules added to Section 5.3. References added
-
arXiv:0809.2373 [pdf, ps, other]
Mapping stacks of topological stacks
Abstract: We prove that the mapping stack Map(Y,X) of topological stacks X and Y is again a topological stack if Y admits a compact groupoid presentation. If Y admits a locally compact groupoid presentation, we show that Map(Y,X) is a paratopological stack. In particular, it has a classifying space (hence, a natural weak homotopy type). We prove an invariance theorem which shows that the weak homotopy typ… ▽ More
Submitted 22 April, 2009; v1 submitted 13 September, 2008; originally announced September 2008.
Comments: 16 pages
-
arXiv:0808.3799 [pdf, ps, other]
Homotopy types of topological stacks
Abstract: We define the notion of {\em classifying space} of a topological stack and show that every topological stack \X has a classifying space X which is a topological space well-defined up to weak homotopy equivalence. Under a certain paracompactness condition on \X, we show that X is actually well-defined up to homotopy equivalence. These results are formulated in terms of functors from the category… ▽ More
Submitted 30 April, 2010; v1 submitted 27 August, 2008; originally announced August 2008.
Comments: 33 pages
-
arXiv:0808.3627 [pdf, ps, other]
Butterflies I: morphisms of 2-group stacks
Abstract: Weak morphisms of non-abelian complexes of length 2, or crossed modules, are morphisms of the associated 2-group stacks, or gr-stacks. We present a full description of the weak morphisms in terms of diagrams we call butterflies. We give a complete description of the resulting bicategory of crossed modules, which we show is fibered and biequivalent to the 2-stack of 2-group stacks. As a consequen… ▽ More
Submitted 18 September, 2008; v1 submitted 27 August, 2008; originally announced August 2008.
Comments: 89 pages, comments on weak morphisms moved to new section 4.2, appendix A removed
Report number: FSU08-15
Journal ref: Advances in Mathematics 221 (2009), 687-773
-
arXiv:0712.3857 [pdf, ps, other]
String topology for stacks
Abstract: We establish the general machinery of string topology for differentiable stacks. This machinery allows us to treat on an equal footing free loops in stacks and hidden loops. In particular, we give a good notion of a free loop stack, and of a mapping stack $\map(Y,\XX)$, where $Y$ is a compact space and $\XX$ a topological stack, which is functorial both in $\XX$ and $Y$ and behaves well enough wit… ▽ More
Submitted 4 January, 2011; v1 submitted 22 December, 2007; originally announced December 2007.
Comments: extended version, 152 pages
-
arXiv:0710.2615 [pdf, ps, other]
Fundamental groups of topological stacks with slice property
Abstract: The main result of the paper is a formula for the fundamental group of the coarse moduli space of a topological stack. As an application, we find simple general formulas for the fundamental group of the coarse quotient of a group action on a topological space in terms of the fixed point data. The formulas seem, surprisingly, to be new. In particular, we recover, and vastly generalize, results of… ▽ More
Submitted 13 October, 2007; originally announced October 2007.
MSC Class: 22F05; 22A22; 54H15; 57S
Journal ref: Algebr. Geom. Topol. 8 (2008) 1333-1370
-
Group actions on algebraic stacks via butterflies
Abstract: We introduce an explicit method for studying actions of a group stack G on an algebraic stack X. As an example, we study in detail the case where X=P(n_0,...,n_r) is a weighted projective stack over an arbitrary base S. To this end, we give an explicit description of the group stack of automorphisms of, the weighted projective general linear 2-group PGL(n_0,...,n_r). As an application, we use a re… ▽ More
Submitted 4 September, 2013; v1 submitted 7 April, 2007; originally announced April 2007.
Comments: Revised version of the preprint previously titled "Automorphism 2-group of a weighted projective stack"
-
arXiv:0704.1009 [pdf, ps, other]
Lectures on derived and triangulated categories
Abstract: These notes are meant to provide a rapid introduction to triangulated categories. We start with the definition of an additive category and end with a glimps of tilting theory. Some exercises are included.
Submitted 7 April, 2007; originally announced April 2007.
Comments: Lecture notes. To appear in the proceedings volume of the "International Workshop on Noncommutative Geometry", IPM, Tehran 2005
-
arXiv:0704.1008 [pdf, ps, other]
Explicit HRS-Tilting
Abstract: For an abelian category $A$ equipped with a torsion pair, we give an explicit description for the abelian category $B$ introduced by Happel-Reiten-Smalo, and also for the category of chain complexes $Ch(B)$ and the derived category $D(B)$ of $B$. We also describe the DG structure on $Ch(B)$. As a consequence, we find new proofs of certain results of Happel-Reiten-Smalo. The main ingredient is th… ▽ More
Submitted 27 August, 2008; v1 submitted 7 April, 2007; originally announced April 2007.
Comments: 31 pages, introduction expanded, minor errors corrected
-
arXiv:math/0512106 [pdf, ps, other]
Notes on 2-groupoids, 2-groups and crossed-modules
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 pape… ▽ More
Submitted 13 July, 2008; v1 submitted 5 December, 2005; originally announced December 2005.
Comments: An error in Definition 8.4 corrected. 29 pages
Journal ref: Homotopy, Homology, and Applications, 9, (2007), no. 1, 75--106
-
arXiv:math/0506313 [pdf, ps, other]
On weak maps between 2-groups
Abstract: We give an explicit handy (and cocycle-free) description of the groupoid of weak maps between two crossed-modules in terms of certain digrams of groups which we we call a {\em butterflies}. We define composition of butterflies and this way find a bicategory that is naturally biequivalent to the 2-category of pointed homotopy 2-types. We indicate how certain standard notions of 2-group theory (e.… ▽ More
Submitted 13 July, 2008; v1 submitted 15 June, 2005; originally announced June 2005.
Comments: A news section added and Section 9 expanded. Some minor errors corrected (and possibly new ones added). 48 pages
-
arXiv:math/0504309 [pdf, ps, other]
Uniformization of Deligne-Mumford curves
Abstract: We compute the fundamental groups of non-singular analytic Deligne-Mumford curves, classify the simply connected ones, and classify analytic Deligne-Mumford curves by their uniformization type. As a result, we find an explicit presentation of an arbitrary Deligne-Mumford curve as a quotient stack. Along the way, we compute the automorphism 2-groups of weighted projective stacks… ▽ More
Submitted 14 April, 2005; originally announced April 2005.
Comments: 39 pages, 2 figures
MSC Class: 14A20; 14H30; 30F10; 30F20
-
arXiv:math/0503247 [pdf, ps, other]
Foundations of Topological Stacks I
Abstract: This is the first in a series of papers devoted to foundations of topological stacks. We begin developing a homotopy theory for topological stacks along the lines of classical homotopy theory of topological spaces. In this paper we go as far as introducing the homotopy groups and establishing their basic properties. We also develop a Galois theory of covering spaces for a (locally connected se… ▽ More
Submitted 13 March, 2005; originally announced March 2005.
Comments: 81 pages
MSC Class: 22A22; 14A20; 58A03; 58H05
-
arXiv:math/0201021 [pdf, ps, other]
Fundamental Groups of Algebraic Stacks
Abstract: We study fundamental groups of algebraic stacks. We show that these fundamental groups carry an additional structure coming from the inertia groups. Then use this additional structure to analyze geometric/ topological properties of stacks. We give an explicit formula for the fundamental group of the coarse moduli space. Also, we use these additional structures to give a necessary and sufficient… ▽ More
Submitted 3 January, 2002; originally announced January 2002.
Comments: 31 pages