The stack of Yang-Mills fields on Lorentzian manifolds
Marco Benini, Alexander Schenkel, Urs Schreiber

TL;DR
This paper constructs an abstract and explicit framework for the stack of non-Abelian Yang-Mills fields on Lorentzian manifolds, linking the well-posedness of the Yang-Mills Cauchy problem to parametrized PDEs.
Contribution
It introduces a homotopy theoretical approach to define and analyze the stack of Yang-Mills fields, extending existing methods to clarify the structure of classifying stacks.
Findings
Established an explicit construction of the Yang-Mills stack on Lorentzian manifolds.
Formulated a stacky version of the Yang-Mills Cauchy problem and proved its well-posedness.
Connected the problem to a family of parametrized PDEs.
Abstract
We provide an abstract definition and an explicit construction of the stack of non-Abelian Yang-Mills fields on globally hyperbolic Lorentzian manifolds. We also formulate a stacky version of the Yang-Mills Cauchy problem and show that its well-posedness is equivalent to a whole family of parametrized PDE problems. Our work is based on the homotopy theoretical approach to stacks proposed in [S. Hollander, Israel J. Math. 163, 93-124 (2008)], which we shall extend by further constructions that are relevant for our purposes. In particular, we will clarify the concretification of mapping stacks to classifying stacks such as .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
The stack of Yang-Mills fields on Lorentzian manifolds
Marco Benini1,2,a, Alexander Schenkel3,b and Urs Schreiber4,c
1 Institut für Mathematik, Universität Potsdam,
Karl-Liebknecht-Str. 24-25, 14476 Potsdam, Germany.
2 Fachbereich Mathematik, Universität Hamburg,
Bundesstr. 55, 20146 Hamburg, Germany.
3 School of Mathematical Sciences, University of Nottingham,
University Park, Nottingham NG7 2RD, United Kingdom.
4 Mathematics Institute of the Academy,
Žitna 25, 115 67 Praha 1, Czech Republic.
a[email protected], b[email protected], c[email protected]
(March 2018)
Abstract
We provide an abstract definition and an explicit construction of the stack of non-Abelian Yang-Mills fields on globally hyperbolic Lorentzian manifolds. We also formulate a stacky version of the Yang-Mills Cauchy problem and show that its well-posedness is equivalent to a whole family of parametrized PDE problems. Our work is based on the homotopy theoretical approach to stacks proposed in [S. Hollander, Israel J. Math. 163, 93-124 (2008)], which we shall extend by further constructions that are relevant for our purposes. In particular, we will clarify the concretification of mapping stacks to classifying stacks such as .
Keywords:
Yang-Mills theory, globally hyperbolic Lorentzian manifolds, Cauchy problem, stacks, presheaves of groupoids, homotopical algebra, model categories
MSC 2010:
70S15, 18F20, 18G55
Contents
1 Introduction and summary
Understanding quantum Yang-Mills theory is one of the most important and challenging open problems in mathematical physics. While approaching this problem in a fully non-perturbative fashion seems to be out of reach within the near future, there are recent developments in classical and quantum field theory which make it plausible that quantum Yang-Mills theory could relatively soon be constructed within a perturbative approach that treats the coupling constant non-perturbatively, but Planck’s constant as a formal deformation parameter. See [BS17a, KS17, Col16] and the next paragraph for further details. The advantage of such an approach compared to standard perturbative (algebraic) quantum field theory, see e.g. [Rej16] for a recent monograph, is that by treating the coupling constant non-perturbatively the resulting quantum field theory is sensitive to the global geometry of the field configuration spaces. This is particularly interesting and rich in gauge theories, where the global geometry of the space of gauge fields encodes various topological features such as characteristic classes of the underlying principal bundles, holonomy groups and other topological charges.
Loosely speaking, the construction of a quantum field theory within this non-standard perturbative approach consists of the following three steps: 1.) Understand the smooth structure and global geometry of the space of solutions of the field equation of interest. 2.) Use the approach of [Zuc87] to equip the solution space with a symplectic form and construct a corresponding Poisson algebra of smooth functions on it. (The latter should be interpreted as the Poisson algebra of classical observables of our field theory.) 3.) Employ suitable techniques from formal deformation quantization to quantize this Poisson algebra. Even though stating these three steps in a loose language is very simple, performing them rigorously is quite technical and challenging. The reason behind this is that the configuration and solution spaces of field theories are typically infinite-dimensional, hence the standard techniques of differential geometry do not apply. In our opinion, the most elegant and powerful method to study the smooth spaces appearing in field theories is offered by sheaf topos techniques: In this approach a smooth space is defined by coherently specifying all smooth maps from all finite-dimensional manifolds to . More precisely, this means that is a (pre)sheaf on a suitable site , which we may choose as the site of all finite-dimensional manifolds that are diffeomorphic to some , . In particular, the maps from determine the points of and the maps from the smooth curves in . Employing such techniques, the first two steps of the program sketched above have been successfully solved in [BS17a] and [KS17] for the case of non-linear field theories without gauge symmetry. Concerning step 3.), Collini [Col16] obtained very interesting and promising results showing that Fedosov’s construction of a -product applies to the Poisson algebra of -theory in spacetime dimensions, leading to a formal deformation quantization of this theory that is non-perturbative in the coupling constant. Collini’s approach is different from ours as it describes the infinite-dimensional spaces of fields and solutions by locally-convex manifolds, which are less flexible. It would be an interesting problem to reformulate and generalize his results in our more elegant and powerful sheaf theoretic approach [BS17a, KS17].
The goal of this paper is to address and solve step 1.) of the program sketched above for the case of Yang-Mills theory with a possibly non-Abelian structure group on globally hyperbolic Lorentzian manifolds. A crucial observation is that, due to the presence of gauge symmetries, the sheaf topos approach of [BS17a] and [KS17] is no longer sufficient and has to be generalized to “higher sheaves” (stacks) and the “higher toposes” they form. We refer to [Sch13] for an overview of recent developments at the interface of higher topos theory and mathematical physics, and also to [Egg14] for a gentle introduction to the role of stacks in gauge theory. See also [FSS15] for a formulation of Chern-Simons theory in this framework. The basic idea behind this is as follows: The collection of all gauge fields on a manifold naturally forms a groupoid and not a set. The objects of this groupoid are principal -bundles over equipped with a connection and the morphisms are gauge transformations, i.e. bundle isomorphisms preserving the connections. There are two important points we would like to emphasize: i) This groupoid picture is essential to capture all the topological charge sectors of the gauge field (i.e. non-isomorphic principal bundles). In particular, it is intrinsically non-perturbative as one does not have to fix a particular topological charge sector to perturb around. ii) Taking the quotient of the groupoid of gauge fields, i.e. forming “gauge orbits”, one loses crucial information that is encoded in the automorphism groups of objects of the groupoid, i.e. the stabilizer groups of bundles with connections. This eventually would destroy the important descent properties (i.e. gluing connections up to a gauge transformation) that are enjoyed by the groupoids of gauge fields, but not by their corresponding sets of “gauge orbits”. It turns out that gauge fields on a manifold do not only form a groupoid but even a smooth groupoid. The latter may be described by groupoid-valued presheaves on our site , i.e. objects of the category . Following the seminal work by K. Brown, J. F. Jardine and others, in a series of papers [Hol08a, Hol08b, Hol07] Hollander developed the abstract theory of presheaves of groupoids by using techniques from model category theory/homotopical algebra, see e.g. [DS95] for a concise introduction. One of her main insights was that the usual theory of stacks [DM69, Gir71] can be formalized very elegantly and efficiently in this framework by employing homotopical techniques. In short, stacks can be identified as those presheaves of groupoids satisfying a notion of descent, which can be phrased in purely model categorical terms. With these techniques and developments in mind, we now can state more precisely the two main problems we address in this paper: (I) Understand and describe the stack of Yang-Mills fields in the framework of [Hol08a, Hol08b, Hol07]. (II) Understand what it means for the stacky version of the Yang-Mills Cauchy problem to be well-posed.
The present paper is part of a longer term research program of two of us (M.B. and A.S.) on homotopical algebraic quantum field theory. The aim of this program is to develop a novel and powerful framework for quantum field theory on Lorentzian manifolds that combines ideas from locally covariant quantum field theory [BFV03] with homotopical algebra [Hov99, DS95]. This is essential to capture structural properties of quantum gauge theories that are lost at the level of gauge invariant observables. In previous works, we could confirm for toy-models that our homotopical framework is suitable to perform local-to-global constructions for gauge field observables [BSS15] and we constructed a class of toy-examples of homotopical algebraic quantum field theories describing a combination of classical gauge fields and quantized matter fields [BS17b]. Based on the results of the present paper, we will be able to address steps 2.) and 3.) of the program outlined above for gauge theories and in particular for Yang-Mills theory. We expect that this will allow us to obtain first examples of homotopical algebraic quantum field theories which describe quantized gauge fields.
The outline of the remainder of this paper is as follows: In Section 2 we provide a rather self-contained introduction to presheaves of groupoids and their model category structures. This should allow readers without much experience with this subject to understand our statements and constructions. In particular, we review the main results of [Hol08a] which show that there are two model structures on the category , called the global and the local model structure. The local model structure, which is obtained by localizing the global one, is crucial for detecting stacks in a purely model categorical fashion as those are precisely the fibrant objects for this model structure. We then provide many examples of stacks that are important in gauge theory, including the stack represented by a manifold and some relevant classifying stacks, e.g. which classifies principal -bundles with connections. This section is concluded by explaining homotopy fiber products for stacks and (derived) mapping stacks, which are homotopically meaningful constructions on stacks that will be frequently used in our work.
In Section 3 we construct and explicitly describe the stack of gauge fields on a manifold . Our main guiding principle is the following expectation of how the stack is supposed to look: Via the functor of points perspective, the groupoid obtained by evaluating the stack on an object in should be interpreted as the groupoid of smooth maps . Because is supposed to describe principal -bundles with connections, any such smooth map will describe a smoothly -parametrized family of principal -bundles with connections on , and the corresponding morphisms are smoothly -parametrized gauge transformations. We shall obtain a precise and intrinsic definition of by concretifying the mapping stack from (a suitable cofibrant replacement of) the manifold to the classifying stack . Our concretification prescription (cf. Definition 3.3) improves the one originally proposed in [FRS16, Sch13]. In fact, as we explain in more detail in Appendix D, the original concretification does not produce the desired result (sketched above) for the stack of gauge fields, while our improved concretification fixes this issue. We then show that assigning to connections their curvatures may be understood as a natural morphism between concretified mapping stacks.
Section 4 is devoted to formalizing the Yang-Mills equation on globally hyperbolic Lorentzian manifolds in our model categorical framework. After providing a brief review of some basic aspects of globally hyperbolic Lorentzian manifolds, we shall show that, similarly to the curvature, the Yang-Mills operator may be formalized as a natural morphism between concretified mapping stacks. This then allows us to define abstractly the stack of solutions to the Yang-Mills equation by a suitable homotopy fiber product of stacks (cf. Definition 4.4). We shall explicitly work out the Yang-Mills stack and give a simple presentation up to weak equivalence in . This solves our problem (I) listed above.
Problem (II) is then addressed in Section 5. After introducing the stack of initial data on a Cauchy surface and the morphism of stacks that assigns to solutions of the Yang-Mills equation their initial data, we formalize a notion of well-posedness for the stacky Yang-Mills Cauchy problem in the language of model categories (cf. Definition 5.2). Explicitly, we say that the stacky Cauchy problem is well-posed if is a weak equivalence in the local model structure on . We will then unravel this abstract condition and obtain that well-posedness of the stacky Cauchy problem is equivalent to well-posedness of a whole family of smoothly -parametrized Cauchy problems (cf. Proposition 5.3). A particular member of this family (given by the trivial parametrization by a point ) is the ordinary Yang-Mills Cauchy problem, which is known to be well-posed in dimension [CS97, C-B91]. To the best of our knowledge, smoothly -parametrized Cauchy problems of the kind we obtain in this work have not been studied in the PDE theory literature yet. Because of their crucial role in understanding Yang-Mills theory, we believe that such problems deserve the attention of the PDE community. It is also interesting to notice that Yang-Mills theory, which is of primary interest to physics, provides a natural bridge connecting two seemingly distant branches of pure mathematics, namely homotopical algebra and PDE theory.
In Section 6 we make the interesting observation that gauge fixings may be understood in our framework as weakly equivalent descriptions of the same stack. For the sake of simplifying our arguments, we focus on the particular example of Lorenz gauge fixing, which is often used in applications to turn the Yang-Mills equation into a hyperbolic PDE. We define a stack of gauge-fixed Yang-Mills fields, which comes together with a morphism to the stack of all Yang-Mills fields. Provided certain smoothly -parametrized PDE problems admit a solution (cf. Proposition 6.2), this morphism is a weak equivalence in , which means that the gauge-fixed Yang-Mills stack is an equivalent description of .
The paper contains four appendices. In the first three appendices we work out some relevant aspects of the model category of presheaves of groupoids that were not discussed by Hollander in her series a papers [Hol08a, Hol08b, Hol07]. In Appendix A we show that is a monoidal model category, which is essential for our construction of mapping stacks. In Appendix B we obtain functorial cofibrant replacements of manifolds in , which are needed for computing our mapping stacks explicitly. In Appendix C we develop very explicit techniques to compute fibrant replacements in the -truncation (cf. [Bar10, Rez, ToVe05] and also [Lur09]) of the canonical model structure on over-categories , which are crucial for the concretification of our mapping stacks. The last Appendix D compares our concretification prescription with the original one proposed in [FRS16, Sch13]. In particular, we show that the latter does not lead to the desired stack of gauge fields, i.e. the stack describing smoothly parametrized principal -bundles with connections, which was our motivation to develop and propose an improved concretification prescription in Definition 3.3.
2 Preliminaries
We fix our notations and review some aspects of the theory of presheaves of groupoids which are needed for our work. Our main reference for this section is [Hol08a] and references therein. A good introduction to model categories is [DS95], see also [Hov99, Hir03] for more details. We shall use presheaves of groupoids as a model for stacks which are, loosely speaking, generalized smooth spaces whose ‘points’ may have non-trivial automorphisms.
2.1 Groupoids
Recall that a groupoid is a (small) category in which every morphism is an isomorphism. For a groupoid, we denote its objects by symbols like and its morphisms by symbols like . A morphism between two groupoids and is a functor between their underlying categories. We denote the category of groupoids by .
The category is closed symmetric monoidal: The product of two groupoids is the groupoid whose object (morphism) set is the product of the object (morphism) sets of and . The monoidal unit is the groupoid with only one object and its identity morphism. The functor has a right adjoint functor, which we denote by . We call the internal hom-groupoid from to . Explicitly, the objects of are all functors and the morphisms from to are all natural transformations . It is easy to see that a morphism in may be equivalently described by a functor
[TABLE]
where is the groupoid with two objects, say [math] and , and a unique isomorphism between them. (The source and target of the morphism is obtained by restricting to the objects [math] and in , and their identity morphisms, and the natural transformation is obtained by evaluating on the morphism in .) This latter perspective on morphisms in will be useful later when we discuss presheaves of groupoids.
The category can be equipped with a model structure, i.e. one can do homotopy theory with groupoids. For a proof of the theorem below we refer to [Str00, Section 6]. Recall that a model category is a complete and cocomplete category with three distinguished classes of morphisms – called fibrations, cofibrations and weak equivalences – that have to satisfy a list of axioms, see e.g. [DS95] or [Hov99, Hir03].
Theorem 2.1**.**
Define a morphism in to be
- (i)
a weak equivalence if it is fully faithful and essentially surjective;
- (ii)
a fibration if for each object in and each morphism in there exists a morphism in such that ; and
- (iii)
a cofibration if it is injective on objects.
With these choices is a model category.
In the following, we will need a simple and tractable model for the homotopy limit of a cosimplicial diagram in . See e.g. [DS95] for a brief introduction to homotopy limits and colimits. Such a model was found by Hollander in [Hol08a] in terms of the descent category.
Proposition 2.2**.**
Let be any cosimplicial diagram in , i.e.
[TABLE]
where are groupoids, for all , and we suppressed as usual the codegeneracy maps in this cosimplicial diagram. Then the homotopy limit is the groupoid whose
- •
objects are pairs , where is an object in and is a morphism in , such that and in ; and
- •
morphisms are morphisms in , such that the diagram
[TABLE]
in commutes.
2.2 Presheaves of groupoids and stacks
Let be the category with objects given by all (finite-dimensional and paracompact) manifolds that are diffeomorphic to a Cartesian space , , and morphisms given by all smooth maps . Notice that and are allowed to have different dimensions. We equip with the structure of a site by declaring a family of morphisms
[TABLE]
in to be a covering family whenever is a good open cover of and are the canonical inclusions. As usual, we denote intersections of the by . By definition of good open cover, these intersections are either empty or open subsets diffeomorphic to some , i.e. objects in . We note that our site is equivalent to the site of Cartesian spaces used in [FRS16, Sch13]. We however prefer to work with instead of , because covering families in are less intuitive as the are in general not subset inclusions. In practice, see e.g. the examples in Section 2.3, this would complicate the notations for cocycle conditions, where, instead of the familiar restrictions of functions or forms to (as it is the case for the site ), pullbacks along more general smooth maps would appear.
Let us denote by
[TABLE]
the category of presheaves on with values in . (At this point our site structure on does not yet play a role, but it will enter later when we introduce a model structure on .) An object in is a functor from the opposite category of to the category of groupoids. A morphism in is a natural transformation between functors .
Let us recall the fully faithful Yoneda embedding
[TABLE]
It assigns to an object in the functor that acts on objects as
[TABLE]
To a morphism in the Yoneda embedding assigns the morphism in whose stages are
[TABLE]
for all objects in .
Given two objects and in , their product in is given by the functor that acts on objects as
[TABLE]
The product equips with the structure of a symmetric monoidal category. The unit object is the constant presheaf of groupoids defined by the groupoid , i.e. the functor that assigns and . In the following we denote groupoids and their corresponding constant presheaves of groupoids by the same symbols. Explicitly, when is a groupoid we also denote by the presheaf of groupoids specified by and . For example, we denote the unit object in simply by .
The symmetric monoidal category has internal homs, i.e. it is closed symmetric monoidal. To describe those explicitly, we first have to introduce mapping groupoids between two objects and in . Recalling (2.1), we define to be the groupoid with objects given by all -morphisms
[TABLE]
where is the groupoid from (2.1) regarded as a constant presheaf of groupoids. The internal hom-object in is then given by the functor that acts on objects as
[TABLE]
On morphisms in , we define
[TABLE]
as follows: It is the functor that assigns to an object of the groupoid the object of the groupoid that is defined by the composition . To a morphism of the groupoid it assigns the morphism of the groupoid that is defined by the composition . For the terminal object in , we have that is the mapping groupoid.
Our category can be equipped with (at least) two model structures. To define them, let us recall that a morphism in is said to have the left lifting property with respect to a morphism in if all commutative squares of the form
[TABLE]
admit a lift , i.e. the two triangles commute. Vice versa, one says that a morphism in has the right lifting property with respect to a morphism in if all commutative squares of the form above admit a lift .
Lemma 2.3** (Global model structure on [Hol08a]).**
Define a morphism in to be
- (i)
a weak equivalence if each stage is a weak equivalence in ;
- (ii)
a fibration if each stage is a fibration in ;
- (iii)
a cofibration if it has the left lifting property with respect to all acyclic fibrations (i.e. all morphisms in that are both fibrations and weak equivalences).
With these choices becomes a model category. This is called the global model structure on .
The global model structure on is not yet the correct one as it does not encode any information about our site structure on . It was shown in [Hol08a] that one can localize the global model structure to obtain what is called the local model structure on . See also [Hir03] or [Dug01, Section 5] for details on localizations of model categories. The set of -morphisms with respect to which one localizes is given by
[TABLE]
As before, is the object in that is represented by the object in via the Yoneda embedding. By we denote the simplicial diagram in given by
[TABLE]
where denotes the coproduct in and we suppressed as usual the degeneracy maps. Moreover, denotes the homotopy colimit of the simplicial diagram (2.27) in .
To describe the weak equivalences in the local model structure on it is useful to assign sheaves of homotopy groups to presheaves of groupoids, cf. [Hol08a, Section 5].
Definition 2.4**.**
Let be an object in .
- a)
Then is the presheaf of sets defined by , for all objects in . (Here denotes the set of isomorphism classes of objects of a groupoid .)
- b)
Given any object in , then is the presheaf of groups on the over-category defined by
[TABLE]
for all objects in . (Here denotes the automorphism group of an object of a groupoid .)
The sheafifications of and , for all objects in and all objects in , are called the sheaves of homotopy groups associated to an object in .
The following theorem summarizes the relevant aspects of the local model structure on .
Theorem 2.5** (Local model structure on [Hol08a]).**
There exists a model structure on which is the localization of the global model structure on (cf. Lemma 2.3) with respect to the set of morphisms (2.24). It is called the local model structure on . The following holds true:
- (i)
A morphism in is a weak equivalence in the local model structure if and only if it induces an isomorphism on the associated sheaves of homotopy groups.
- (ii)
A morphism in is a cofibration in the local model structure if and only if it is a cofibration in the global model structure.
- (iii)
A morphism in is a fibration in the local model structure if and only if it has the right lifting property with respect to all acyclic cofibrations in the local model structure. See also **[Hol07, Proposition 4.2]** or Proposition C.3 for a more explicit characterization.
- (iv)
An object in is fibrant in the local model structure, i.e. the canonical morphism to the terminal object in is a fibration, if and only if for all good open covers the canonical morphism
[TABLE]
is a weak equivalence in , where denotes the homotopy limit of cosimplicial diagrams in .
- (v)
A morphism in between two fibrant objects and in the local model structure is a weak equivalence in the local model structure if and only if each stage is a weak equivalence in .
Remark 2.6**.**
To simplify notations, we denote the cosimplicial diagram of groupoids in (2.31) also by
[TABLE]
Then the homotopy limit in (2.31) simply reads as . ∎
Unless otherwise stated, we will always work with the local model structure on . The reason for this will be explained below. Hence, by fibration, cofibration and weak equivalence in we always mean the ones in the local model structure on .
Of particular relevance for us will be the fibrant objects in (in the local model structure). It was shown by Hollander [Hol08a] that the fibrant condition (2.31) captures the notion of descent for stacks. In particular, fibrant presheaves of groupoids provide us with an equivalent, but simpler, model for stacks than the traditional models based on lax presheaves of groupoids or categories fibered in groupoids, see e.g. [DM69, Gir71]. In our work we hence shall use the following definition of a stack [Hol08a].
Definition 2.7**.**
A stack is a fibrant object in the local model structure on . More concretely, a stack is a presheaf of groupoids such that the canonical morphism (2.31) is a weak equivalence in , for all good open covers .
We will later need the following standard
Lemma 2.8**.**
Let and be fibrant objects in the local model structure on , i.e. stacks. Then an -morphism is a fibration in the local model structure if and only if it is a fibration in the global model structure, i.e. a stage-wise fibration in .
Proof.
This is [Hir03, Proposition 3.3.16] applied to with the global model structure (cf. Lemma 2.3) and to its localization with respect to (2.24), i.e. the local model structure of Theorem 2.5. ∎
2.3 Examples of stacks
We collect some well-known examples of stacks that will play a major role in our work. We also refer to [FSS12, FRS16, Sch13] for a description of some of these stacks in the language of -stacks. All of our stacks are motivated by the structures arising in gauge theories.
Example 2.9** (Manifolds).**
To any (finite-dimensional and paracompact) manifold we may assign an object in . It is given by the functor that acts on objects as
[TABLE]
where is the set of smooth maps regarded as a groupoid with just identity morphisms, and on morphisms as
[TABLE]
Note the similarity to the Yoneda embedding (2.12), which is our motivation to use the same notation by an underline. Notice further that, when is diffeomorphic to some , then coincides with the Yoneda embedding of the object in .
Let us confirm that is a stack, i.e. that (2.31) is a weak equivalence in for all good open covers . In the notation of Remark 2.6, we have to compute the homotopy limit of the cosimplicial diagram in . Using Proposition 2.2, we find that is the groupoid whose objects are families satisfying , for all , and whose morphisms are just the identities. The canonical morphism assigns to the family , hence it is an isomorphism (and thus also a weak equivalence) because is a sheaf on .
Denoting by the category of (finite-dimensional and paracompact) manifolds, it is easy to see that our constructions above define a fully faithful functor that takes values in stacks. Hence, manifolds can be equivalently described in terms of stacks. ∎
Example 2.10** (Classifying stack of principal -bundles).**
Let be a Lie group. The object in is defined by the following functor : To an object in it assigns the groupoid that has just one object, say , with automorphisms given by the set of smooth maps from to the Lie group . The composition of morphisms in is given by the opposite point-wise product of . (We take the opposite product because we will be interested later in group representations of from the right.) Moreover, the identity morphism in is the constant map from to the unit element in . To any morphism in the functor assigns the groupoid morphism that acts on objects as and on morphisms as .
Let us confirm that is a stack. Let be any good open cover. Using Proposition 2.2, we find that is the groupoid whose objects are families satisfying , for all , and the cocycle condition , for all . The morphisms of from to are families satisfying , for all . The canonical morphism assigns to the object in the object , i.e. the trivial cocycle, and to a morphism in the isomorphism of the trivial cocycle. The canonical morphism is a weak equivalence in (cf. Theorem 2.1) because of the following reasons: 1.) It is fully faithful because is a sheaf on . 2.) It is essentially surjective because all cocycles are trivializable on manifolds diffeomorphic to ( in this case), i.e. one can find such that , for all . Hence, we have shown that is a stack. It is called the classifying stack of principal -bundles, see also [FSS12, Section 3.2].
Our classifying stack is a smooth and stacky analog of the usual classifying space of a topological group [Seg68, Section 3], which is the topological space obtained as the geometric realization of the simplicial topological space
[TABLE]
Notice that (2.39) may be obtained by equipping the nerve of the groupoid with the topologies induced by . ∎
Example 2.11** (Classifying stack of principal -bundles with connections).**
Let again be a Lie group, which we assume to be a matrix Lie group in order to simplify some formulas below. Let denote the Lie algebra of . The object in is defined by the following functor : To an object in it assigns the groupoid whose set of objects is , i.e. the set of Lie algebra valued -forms on , and whose set of morphisms is . The source and target of a morphism is as follows
[TABLE]
where denotes the de Rham differential and is the usual right action of gauge transformations on gauge fields . The identity morphism is and composition of two composable morphisms in is given by
[TABLE]
To any morphism in the functor assigns the groupoid morphism that acts on objects as (i.e. via pullback of differential forms) and on morphisms as .
Let us confirm that is a stack. Let be any good open cover. Using Proposition 2.2, we find that is the groupoid whose objects are pairs of families , such that , for all , , for all , and , for all . The morphisms of from to are families satisfying , for all , and , for all . The canonical morphism assigns to an object of the pair of families , with the trivial cocycle, and to a morphism in the family . With a similar argument as in Example 2.10 we find that the canonical morphism is a weak equivalence in and hence that is a stack. It is called the classifying stack of principal -bundles with connections, see also [FSS12, Section 3.2]. ∎
Example 2.12** (Classifying stack of principal -bundles with adjoint bundle valued -forms).**
Let be a matrix Lie group and its Lie algebra. For , we define the object in by the following functor : To an object in it assigns the groupoid whose set of objects is the set of -valued -forms and whose set of morphisms is . The source and target of a morphism is, similarly to Example 2.11, given by
[TABLE]
where is the usual right adjoint action of gauge transformations on -valued -forms . The identity morphism is and the composition of two composable morphisms in is given by
[TABLE]
To any morphism in the functor assigns the groupoid morphism that acts on objects and morphisms via pullback, i.e. and . The fact that is a stack can be proven analogously to Examples 2.10 and 2.11. We call it the classifying stack of principal -bundles with adjoint bundle valued -forms. We will later use to describe, for example, the curvatures of connections. ∎
2.4 Fiber product of stacks and mapping stacks
Our constructions in this paper will use a variety of techniques to produce new stacks out of old ones, e.g. out of the stacks described in Section 2.3. Of particular relevance for us will be fiber products of stacks and mapping stacks.
The following observation is standard in homotopy theory, however it is crucial to understand the definitions below: Given a pullback diagram
[TABLE]
in , we may of course compute the fiber product in the usual way by taking the limit of this diagram. (Recall that is complete, hence all limits exist in .) The problem with this construction is that it does not preserve weak equivalences in , i.e. replacing the pullback diagram by a weakly equivalent one in general leads to a fiber product that is not weakly equivalent to . These problems are avoided by replacing the limit with the homotopy limit, which is a derived functor of the limit functor [DS95]. We denote the homotopy limit of the diagram (2.54) by and call it the homotopy fiber product in . A similar problem arises when we naively use the internal hom-object in in order to describe an “object of mappings” from to ; replacing and by weakly equivalent objects in in general leads to an internal hom-object that is not weakly equivalent to . These problems are avoided by replacing the internal-hom functor with its derived functor.
We now give rather explicit models for the homotopy fiber product and the derived internal hom. The following model for the homotopy fiber product in was obtained in [Hol08b].
Proposition 2.13**.**
The homotopy fiber product in , i.e. the homotopy limit of the pullback diagram (2.54), is the presheaf of groupoids defined as follows: For all objects in ,
- •
the objects of are triples , where is an object in , is an object in and is a morphism in ; and
- •
the morphisms of from to are pairs , where is a morphism in and is a morphism in , such that the diagram
[TABLE]
in commutes.
If , and in (2.54) are stacks, then is a stack too.
Our model for the derived internal hom-functor is the standard one resulting from the theory of derived functors, see [DS95] and also [Hov99] for details. For the theory of derived functors to apply to our present situation, it is essential that (with the local model structure) is a monoidal model category, see Appendix A for a proof.
Proposition 2.14**.**
The derived internal hom-functor in is
[TABLE]
where is any cofibrant replacement functor and is any fibrant replacement functor. The following holds true:
- (i)
If is any object in and is a stack, then is weakly equivalent to the object in .
- (ii)
If is a cofibrant object in and is a stack, then is weakly equivalent to the ordinary internal hom-object in .
- (iii)
If is any object in and is a stack, then is a stack too. (This follows from **[Hov99, Remark 4.2.3]**.)
Remark 2.15**.**
In our work we shall only need derived internal hom-objects for the case where is a stack and is the stack represented by a manifold , cf. Example 2.9. We develop in Appendix B a suitable cofibrant replacement functor {\mathchoice{{\ooalign{\hbox{\raise 7.31482pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.31482pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=7.5pt\vrule height=0.0pt,width=11.11113pt}}}}}\cr\hbox{\displaystyle(-)}}}}{{\ooalign{\hbox{\raise 7.31482pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.31482pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=7.5pt\vrule height=0.0pt,width=11.11113pt}}}}}\cr\hbox{\textstyle(-)}}}}{{\ooalign{\hbox{\raise 6.56482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.56482pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=5.25pt\vrule height=0.0pt,width=7.77779pt}}}}}\cr\hbox{\scriptstyle(-)}}}}{{\ooalign{\hbox{\raise 6.06482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.06482pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.75pt\vrule height=0.0pt,width=5.55554pt}}}}}\cr\hbox{\scriptscriptstyle(-)}}}}}:\mathsf{Man}_{\hookrightarrow}\to\mathsf{H} on the category of (finite-dimensional and paracompact) manifolds with morphisms given by open embeddings. Proposition 2.14 then implies that we can compute, up to a weak equivalence, such derived internal hom-objects by Y^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}. ∎
3 Gauge fields on a manifold
Let be a matrix Lie group and a (finite-dimensional and paracompact) manifold. The goal of this section is to construct and study the stack of principal -bundles with connections on , which we shall also call the stack of gauge fields on . Let us recall our main guiding principle: The stack is supposed to describe smoothly parametrized families of principal -bundles with connections on , which is motivated by the functor of points perspective. More precisely, this means that evaluating the stack on an object in , we would like to discover (up to weak equivalence) the groupoid describing smoothly -parametrized principal -bundles with connections on and their smoothly -parametrized gauge transformations. We shall obtain the stack by an intrinsic construction in that is given by a concretification of the derived mapping stack from to the classifying stack of principal -bundles with connections (cf. Example 2.11). Using Proposition 2.14, we may compute (up to a weak equivalence) the derived mapping stack in terms of the ordinary internal-hom {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}, where
is the canonical cofibrant replacement of (cf. Appendix B). It is important to emphasize that our concretification prescription improves the one originally proposed in [FRS16, Sch13], which fails to give the desired result, i.e. a stack describing smoothly parametrized families of principal -bundles with connections, together with smoothly parametrized gauge transformations, see Appendix D for details.
By construction, our model {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.56482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.56482pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=5.25pt\vrule height=0.0pt,width=7.77779pt}}}}}\cr\hbox{\displaystyle(-)}}}}{{\ooalign{\hbox{\raise 6.56482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.56482pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=5.25pt\vrule height=0.0pt,width=7.77779pt}}}}}\cr\hbox{\textstyle(-)}}}}{{\ooalign{\hbox{\raise 6.03981pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.03981pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.67499pt\vrule height=0.0pt,width=5.44443pt}}}}}\cr\hbox{\scriptstyle(-)}}}}{{\ooalign{\hbox{\raise 5.68982pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.68982pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.625pt\vrule height=0.0pt,width=3.88889pt}}}}}\cr\hbox{\scriptscriptstyle(-)}}}}}}:\mathsf{Man}_{\hookrightarrow}^{\mathrm{op}}\to\mathsf{H} for the derived mapping stacks is functorial on the category of (finite-dimensional and paracompact) manifolds with morphisms given by open embeddings. The same holds true for the stacks of gauge fields, i.e. we will obtain a functor . This is an advantage compared to the usual approach to construct the stack of gauge fields by using a (necessarily non-functorial) good open cover to obtain a cofibrant replacement for , see e.g. [FSS12].
3.1 Mapping stack
We now compute the object {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} in , which by Proposition 2.14 is a weakly equivalent model for the derived internal-hom object from to . Its underlying functor {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}:\mathsf{C}^{\mathrm{op}}\to\mathsf{Grpd} assigns to an object in the mapping groupoid
[TABLE]
By definition, an object in this groupoid is a morphism f:\underline{U}\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}\to\mathrm{B}G_{\mathrm{con}} in and a morphism in this groupoid is a morphism u:\underline{U}\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}\times\Delta^{1}\to\mathrm{B}G_{\mathrm{con}} in . We would like to describe the objects and morphisms of the groupoid (3.17) by more familiar data related to gauge fields and gauge transformations. To achieve this goal, we have to explicate the stages of the -morphisms and .
Let us start with and consider the associated groupoid morphism f:\underline{U}(U^{\prime})\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}(U^{\prime})\to\mathrm{B}G_{\mathrm{con}}(U^{\prime}) at stage in . Using the explicit description of {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}(U^{\prime}) given in Appendix B, we may visualize the objects in \underline{U}(U^{\prime})\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}(U^{\prime}) by diagrams
[TABLE]
of smooth maps, where runs over all open subsets of that are diffeomorphic to and the last arrow points to the right. Morphisms in \underline{U}(U^{\prime})\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}(U^{\prime}) may be visualized by commutative diagrams
[TABLE]
of smooth maps. The groupoid morphism f:\underline{U}(U^{\prime})\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}(U^{\prime})\to\mathrm{B}G_{\mathrm{con}}(U^{\prime}) is then given by an assignment
[TABLE]
satisfying the following compatibility conditions: 1.) For all morphisms in \underline{U}(U^{\prime})\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}(U^{\prime}),
[TABLE]
The property of f:\underline{U}(U^{\prime})\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}(U^{\prime})\to\mathrm{B}G_{\mathrm{con}}(U^{\prime}) being the stages of an -morphism (i.e. natural transformation of functors ) leads to the following coherence conditions: For all morphisms in and all objects in \underline{U}(U^{\prime\prime})\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}(U^{\prime\prime}),
[TABLE]
These coherences constrain the amount of independent data described by (3.36): Given any object in \underline{U}(U^{\prime})\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}(U^{\prime}), we notice that there is a factorization
[TABLE]
which implies that
[TABLE]
In words, this means that the of the form , for all open subsets diffeomorphic to , determine all the others. As there are no further coherences between ’s of the form , it follows that the action of the functor (3.36) on objects is uniquely specified by choosing
[TABLE]
for all open subsets diffeomorphic to . A similar argument applies to the morphisms assigned by (3.36), which are determined by
[TABLE]
for all open subsets and diffeomorphic to , and the coherences
[TABLE]
for all morphisms in \underline{U}(U^{\prime})\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}(U^{\prime}). The morphisms of the groupoid (3.17) can be analyzed analogously. In summary, we obtain
Lemma 3.1**.**
The objects of the groupoid (3.17) are pairs of families
[TABLE]
where and run over all open subsets diffeomorphic to , which satisfy the following conditions:
- •
For all open subsets and diffeomorphic to ,
[TABLE]
- •
For all open subsets diffeomorphic to , .
- •
For all open subsets , and diffeomorphic to ,
[TABLE]
The morphisms of the groupoid (3.17) from to are families
[TABLE]
where runs over all open subsets diffeomorphic to , which satisfy the following conditions:
- •
For all open subsets diffeomorphic to ,
[TABLE]
- •
For all open subsets and diffeomorphic to ,
[TABLE]
Moreover, the functor {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}:\mathsf{C}^{\mathrm{op}}\to\mathsf{Grpd} assigns to a morphism in the groupoid morphism {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(\ell):{\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U^{\prime})\to{\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U) specified by
[TABLE]
This completes our description of the mapping stack {\mathrm{B}G_{\mathrm{con}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}.
Remark 3.2**.**
As a consequence of our functorial cofibrant replacement of manifolds (cf. Corollary B.3), the mapping stacks {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.56482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.56482pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=5.25pt\vrule height=0.0pt,width=7.77779pt}}}}}\cr\hbox{\displaystyle(-)}}}}{{\ooalign{\hbox{\raise 6.56482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.56482pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=5.25pt\vrule height=0.0pt,width=7.77779pt}}}}}\cr\hbox{\textstyle(-)}}}}{{\ooalign{\hbox{\raise 6.03981pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.03981pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.67499pt\vrule height=0.0pt,width=5.44443pt}}}}}\cr\hbox{\scriptstyle(-)}}}}{{\ooalign{\hbox{\raise 5.68982pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.68982pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.625pt\vrule height=0.0pt,width=3.88889pt}}}}}\cr\hbox{\scriptscriptstyle(-)}}}}}}:\mathsf{Man}_{\hookrightarrow}^{\mathrm{op}}\to\mathsf{H} are functorial on the category of manifolds with open embeddings. Explicitly, given any open embedding , the stages of the associated -morphism {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.43518pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.43518pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.8611pt\vrule height=0.0pt,width=4.18057pt}}}}}\cr\hbox{\displaystyle f}}}}{{\ooalign{\hbox{\raise 6.43518pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.43518pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.8611pt\vrule height=0.0pt,width=4.18057pt}}}}}\cr\hbox{\textstyle f}}}}{{\ooalign{\hbox{\raise 5.94907pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.94907pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.40277pt\vrule height=0.0pt,width=2.92639pt}}}}}\cr\hbox{\scriptstyle f}}}}{{\ooalign{\hbox{\raise 5.625pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.625pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.43054pt\vrule height=0.0pt,width=2.09029pt}}}}}\cr\hbox{\scriptscriptstyle f}}}}}}:{\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.77222pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.77222pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=5.87222pt\vrule height=0.0pt,width=8.63214pt}}}}}\cr\hbox{\displaystyle M^{\prime}}}}}{{\ooalign{\hbox{\raise 6.77222pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.77222pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=5.87222pt\vrule height=0.0pt,width=8.63214pt}}}}}\cr\hbox{\textstyle M^{\prime}}}}}{{\ooalign{\hbox{\raise 6.19019pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.19019pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.1261pt\vrule height=0.0pt,width=6.05789pt}}}}}\cr\hbox{\scriptstyle M^{\prime}}}}}{{\ooalign{\hbox{\raise 5.87129pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.87129pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.16943pt\vrule height=0.0pt,width=4.54706pt}}}}}\cr\hbox{\scriptscriptstyle M^{\prime}}}}}}}\to{\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} are given by
[TABLE]
where , , and are open subsets diffeomorphic to and denotes the restriction of to and its image . (The smooth map is defined similarly.) ∎
3.2 Concretification
The mapping stack {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} we described in the previous subsection (see in particular Lemma 3.1) is not yet the correct stack of gauge fields on the manifold . Even though the groupoid of global points {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(\mathbb{R}^{0}) correctly describes the gauge fields and gauge transformations on , the smooth structure on {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}, which is encoded in the groupoids {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U) for all other objects in , is not the desired one yet. In fact, the groupoid {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U) describes by construction gauge fields and gauge transformations on the product manifold , while the correct stack of gauge fields on , when evaluated on , should be the groupoid of smoothly -parametrized gauge fields and gauge transformations on . Hence, the problem is that {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U) includes also gauge fields along the parameter space and not only along .
This problem has already been observed in [FRS16, Sch13], where a solution in terms of concretification was proposed. The goal of this subsection is to work out explicitly the concretification of our mapping stack {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}. This is achieved by using the results on fibrant replacements in the -truncation of the model structure on over-categories that we develop in Appendix C. As we explain in more detail in Appendix D, the original concretification prescription of [FRS16, Sch13] fails to produce the desired result, i.e. a stack which describes smoothly parametrized families of principal -bundles with connections, together with smoothly parametrized gauge transformations. Hence, we propose an improved concretification prescription that is valid for the case of interest in this paper, namely principal bundles and connections on manifolds . A general concretification prescription for the -stacks of higher bundles and connections is beyond the scope of this paper and will be developed elsewhere.
Crucial for concretification is existence of the following Quillen adjunction
[TABLE]
The left adjoint functor assigns to an object in the object given by the following presheaf of groupoids : To any object in , it assigns , i.e. the groupoid of global points of , and to any -morphism it assigns the identity morphism . The action of on morphisms in is the obvious one. Loosely speaking, is something like a ‘discrete space’ as it forgot all the smooth structure on . The right adjoint functor assigns to an object in the object defined as follows: To any object in , it assigns the groupoid
[TABLE]
where the product goes over all points , and to any -morphism it assigns the groupoid morphism defined by universality of products and the commutative diagrams
[TABLE]
for all points , where denote the projection -morphisms associated to the products. The action of on morphisms in is the obvious one. It is easy to prove that is a Quillen adjunction by using the explicit characterization of fibrations in (in the local model structure) given by [Hol07, Proposition 4.2], see also Proposition C.3. The conceptual interpretation of is as follows: For any object in , there exist isomorphisms of groupoids
[TABLE]
where we make use of the Yoneda lemma and the adjunction property of . This shows that, loosely speaking, the groupoid is given by ‘evaluating’ on the discrete space . The key idea behind concretification is, again loosely speaking, to make use of the passage to discrete spaces to avoid gauge fields along the parameter spaces .
Let us now focus on our explicit example. Consider the object \sharp({\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}) in , which is a stack because {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} is a stack and is a right Quillen functor. The objects (respectively morphisms) of the groupoid \sharp({\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}})(U) describe by construction families of gauge fields (respectively gauge transformations) on that are labeled by the points . In particular, there appear no gauge fields along the parameter space . Unfortunately, there is no smoothness requirement on such families. To solve this problem, consider the canonical -morphism
[TABLE]
Notice that the naive image of this groupoid morphism would solve our problem: It describes families of gauge fields and gauge transformations on which are smoothly parametrized by because they arise as pullbacks along the point embeddings of smooth gauge fields and gauge transformations on . Unfortunately, the stage-wise naive image of is in general not a homotopically meaningful construction in the sense that it does not preserve weak equivalences. We thus have to solve our problem in a more educated manner to ensure that its solution is homotopically meaningful.
For this let us consider the following pullback diagram
[TABLE]
in . Here {\mathrm{B}G}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} is the mapping stack from
to the classifying stack of principal -bundles (cf. Example 2.10), is a canonical -morphism similar to (3.84) and is the -morphism that forgets the connections. (The mapping stack {\mathrm{B}G}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} is similar to {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}, cf. Lemma 3.1, however without the connection data.) Note that there exists a canonical -morphism
[TABLE]
to the homotopy fiber product associated to (3.167). We shall use the following abstract
Definition 3.3**.**
The differential concretification of the mapping stack {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}, which we will also call the stack of gauge fields on , is defined by
[TABLE]
where denotes the -image, i.e. the fibrant replacement in the -truncation of the canonical model structure on the over-category \mathsf{H}\big{/}\sharp({\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}})\times^{h}_{\sharp({\mathrm{B}G}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.38426pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.38426pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=1.70833pt\vrule height=0.0pt,width=2.69789pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}})}{\mathrm{B}G}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}, see Appendix C.
We shall now explicitly compute in order to confirm that our abstract definition leads to the desired stack of gauge fields on , i.e. the stack describing smoothly parametrized gauge fields and gauge transformations on . It is practically very convenient to compute instead of defined in Definition 3.3 a weakly equivalent object of that has a simpler and more familiar explicit description.
As a first step towards a simplified description of , we notice that we actually do not have to compute the homotopy fiber product in Definition 3.3 by using the explicit construction of Proposition 2.13. The reason is as follows: Using Proposition C.3 it is easy to prove that the morphism is a fibration (in the local model structure on ). Because (-)^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}:\mathsf{H}\to\mathsf{H} and are right Quillen functors, it follows that the right-pointing arrow in the pullback diagram (3.167) is a fibration too. Using that is a right proper model category (cf. [Hol08a, Corollary 5.8]), the statement in [Hir03, Corollary 13.3.8] implies that the canonical -morphism
[TABLE]
from the ordinary fiber product to the homotopy fiber product is a weak equivalence. Hence, we may replace the homotopy fiber product in Definition 3.3 by the ordinary fiber product in order to find a weakly equivalent description of . The ordinary fiber product is much easier to compute: For any object in , the groupoid has as objects all pairs of families
[TABLE]
where , run over all open subsets diffeomorphic to and runs over all points of , such that is an object in \sharp({\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}})(U). The morphisms in from to are all families
[TABLE]
where runs over all open subsets diffeomorphic to , such that is a morphism in \sharp({\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}})(U) from to . For a morphism in , the associated -morphism is given by
[TABLE]
As a side remark, notice that has the desired morphisms, however the gauge fields are not smoothly -parametrized yet.
As a further simplification in our explicit description of , we may combine Proposition C.10 and Proposition C.11 to compute (again up to weak equivalence) the -image in Definition 3.3 by the full image sub-presheaf of groupoids corresponding to the canonical morphism {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}\to P to the ordinary fiber product . This defines the following object in , which is weakly equivalent to given in Definition 3.3.
Proposition 3.4**.**
Up to weak equivalence in , the stack of gauge fields defined in Definition 3.3 has the following explicit description: For all objects in , the objects of the groupoid are pairs of families
[TABLE]
where and run over all open subsets diffeomorphic to and denotes the vertical -forms on , which satisfy the following conditions:
- •
For all open subsets and diffeomorphic to ,
[TABLE]
where is the vertical action of gauge transformations that is defined by the vertical de Rham differential on .
- •
For all open subsets diffeomorphic to , .
- •
For all open subsets , and diffeomorphic to ,
[TABLE]
The morphisms of the groupoid from to are families
[TABLE]
where runs over all open subsets diffeomorphic to , which satisfy the following conditions:
- •
For all open subsets diffeomorphic to ,
[TABLE]
- •
For all open subsets and diffeomorphic to ,
[TABLE]
For all morphisms in , the groupoid morphism is given by
[TABLE]
Definition 3.5**.**
Let be an object in . We call an object of the groupoid a smoothly -parametrized gauge field on . More precisely, we call a smoothly -parametrized principal -bundle on and a smoothly -parametrized connection on . A morphism of the groupoid is called a smoothly -parametrized gauge transformation.
Remark 3.6**.**
Similarly to Remark 3.2, our explicit model for the stack of gauge fields presented in Proposition 3.4 provides a functor on the category of manifolds with open embeddings. Given any open embedding , we also use the simplified notation
[TABLE]
for any stage in of the -morphism . ∎
Remark 3.7**.**
The abstract description of provided in Definition 3.3 is automatically a stack, i.e. a fibrant object in . This is a consequence of the following facts: 1.) All three objects entering the homotopy fiber product are stacks, hence the homotopy fiber product is a stack too, see Proposition 2.13. 2.) is constructed by a fibrant replacement in the -truncation of the corresponding over-category (see Appendix C for the relevant terminology), hence the induced -morphism from to the homotopy fiber product is a fibration in . (Recall that fibrant objects in the -truncation of the over-category, i.e. -local objects, are by Definition C.1 in particular fibrations in .) Combining 1.) and 2.), it follows that is a stack because the morphism to the terminal object factorizes over the homotopy fiber product in terms of two fibrations in , and thus is a fibration too.
This unfortunately does not automatically imply that our weakly equivalent simplified description of given in Proposition 3.4 is a stack too. One can, however, verify explicitly that the stack condition (2.31) holds true for the presheaf of groupoids presented in Proposition 3.4. This is a straightforward, but rather tedious, calculation using Proposition 2.2 to compute the relevant homotopy limits. As this calculation is not very instructive, we shall not write it out in full detail and just mention that it uses arguments similar to those in Example 2.11. (In particular, it uses that all cocycles on manifolds diffeomorphic to some may be trivialized, and that -valued functions and -valued forms are sheaves.) ∎
We introduce the following notation for the mapping stack \mathrm{B}G^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} in order to match the notations established in Proposition 3.4 and Definition 3.5.
Definition 3.8**.**
We call G\mathbf{Bun}(M):=\mathrm{B}G^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} the stack of principal -bundles on . For any object in , we denote the objects of by symbols like and the morphisms of by symbols like .
3.3 Curvature morphism
Recalling the definition of the classifying stack of principal -bundles with adjoint bundle valued -forms (cf. Example 2.12), we consider the canonical curvature -morphism
[TABLE]
whose stages are the groupoid morphisms given by
[TABLE]
Given any manifold , we have an induced -morphism F^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}:{\mathrm{B}G_{\mathrm{con}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}\to{\mathrm{B}G_{\Omega^{2}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} between mapping stacks. We shall now construct the counterpart of this morphism on concretified mapping stacks. This will later be used to formalize the Yang-Mills equation on .
As a first step, we explicitly describe the mapping stack from
to , , following the lines of Section 3.1. Up to weak equivalence in , the associated presheaf of groupoids
[TABLE]
has a description similar to Lemma 3.1: For any object in , the objects of the groupoid {\mathrm{B}G_{\Omega^{p}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U) are pairs of families
[TABLE]
where and run over all open subsets diffeomorphic to , which satisfy
[TABLE]
for all open subsets , and diffeomorphic to . The morphisms of the groupoid {\mathrm{B}G_{\Omega^{p}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U) from to are families
[TABLE]
where runs over all open subsets diffeomorphic to , which satisfy
[TABLE]
for all open subsets and diffeomorphic to . Moreover, the functor {\mathrm{B}G_{\Omega^{p}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}:\mathsf{C}^{\mathrm{op}}\to\mathsf{Grpd} assigns to a morphism in the groupoid morphism {\mathrm{B}G_{\Omega^{p}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(\ell):{\mathrm{B}G_{\Omega^{p}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U^{\prime})\to{\mathrm{B}G_{\Omega^{p}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U) specified by
[TABLE]
The stages of the -morphism
[TABLE]
are by construction the groupoid morphisms from {\mathrm{B}G_{\mathrm{con}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U)=\mathsf{Grpd}(\underline{U}\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}},\mathrm{B}G_{\mathrm{con}}) to {\mathrm{B}G_{\Omega^{2}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U)=\mathsf{Grpd}(\underline{U}\times{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}},\mathrm{B}G_{\Omega^{2}_{\mathrm{ad}}}) resulting from post-composition by . More explicitly, using the description of {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U) given in Lemma 3.1 and the one of {\mathrm{B}G_{\Omega^{2}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} provided above, we find that F^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}:{\mathrm{B}G_{\mathrm{con}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U)\to{\mathrm{B}G_{\Omega^{2}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}(U) is the groupoid morphism
[TABLE]
for all objects in . It is easy to confirm directly that F^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}:{\mathrm{B}G_{\mathrm{con}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}\to{\mathrm{B}G_{\Omega^{2}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} is a natural transformation between functors .
Our concretification prescription for {\mathrm{B}G_{\mathrm{con}}}_{~{}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} (cf. Definition 3.3) can be also applied to the mapping stacks {\mathrm{B}G_{\Omega^{p}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}, . The relevant pullback diagram (replacing (3.167)) is
[TABLE]
where now the -morphism is the one which forgets the adjoint bundle valued -forms. We define in analogy to Definition 3.3 the concretification of {\mathrm{B}G_{\Omega^{p}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} abstractly by
[TABLE]
Similarly to Proposition 3.4, the concretified mapping stack has the following explicit description, up to weak equivalence in . For any object in , the objects of the groupoid are pairs of families
[TABLE]
where and run over all open subsets diffeomorphic to and denotes the vertical -forms on , which satisfy the conditions in (3.536). The morphisms of the groupoid from to are families
[TABLE]
where runs over all open subsets diffeomorphic to , which satisfy the conditions in (3.538). The groupoid morphisms associated to -morphisms are analogous to the ones in Proposition 3.4. Similarly to Remark 3.7, one can verify that this simplified, weakly equivalent description of is a stack too, for all .
From our abstract concretification prescription and the -morphism F^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}:{\mathrm{B}G_{\mathrm{con}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}\to{\mathrm{B}G_{\Omega^{2}_{\mathrm{ad}}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} we obtain an -morphism
[TABLE]
between the concretified mapping stacks. Explicitly, using our simplified, but weakly equivalent, models for both concretified mapping stacks, the stages of this -morphism read as
[TABLE]
where is the vertical curvature defined by the vertical de Rham differential on .
Remark 3.9**.**
Similar to Remark 3.6 it is easy to see that is a functor, for all . It is also easy to check that the -morphisms constructed above are the components of a natural transformation
[TABLE]
between functors from to . ∎
4 Yang-Mills equation
We formalize the Yang-Mills equation on globally hyperbolic Lorentzian manifolds in terms of a morphism between concretified mapping stacks. The corresponding stack of Yang-Mills solutions is defined by an appropriate homotopy fiber product and it will be worked out explicitly, up to weak equivalence in . Our constructions are functorial on the usual category of oriented and time-oriented globally hyperbolic Lorentzian manifolds (of a fixed but arbitrary dimension ), which we shall review below.
4.1 Globally hyperbolic Lorentzian manifolds
Spacetimes in physics are described by globally hyperbolic Lorentzian manifolds, see [BEE96, Chapter 3], [ONe83, Chapter 14] and also [BGP07, Section 1.3] for a more concise introduction. Recall that a Lorentzian manifold is a manifold that is equipped with a metric of Lorentzian signature . We further assume our Lorentzian manifolds to be equipped with an orientation and a time-orientation, and that they are of a fixed but arbitrary dimension . For notational simplicity, we denote oriented and time-oriented Lorentzian manifolds by symbols like , i.e. we suppress the orientation, time-orientation and metric from our notation.
A Cauchy surface in a Lorentzian manifold is a subset such that every inextensible timelike curve in meets exactly once. A Lorentzian manifold that admits a Cauchy surface is called globally hyperbolic. Globally hyperbolic Lorentzian manifolds provide us with a suitable geometric framework to study hyperbolic partial differential equations, whose initial data are assigned on a spacelike Cauchy surface . Later we will also need an equivalent characterization of global hyperbolicity given in terms of strong causality and compactness of double-cones. Concretely, this means that every point admits a basis of causally convex open neighborhoods and that is compact, for all . Recall that a subset is called causally convex if (in other words, causal curves with endpoints in lie entirely in it), where denotes the causal future/past of . (This is the subset consisting of all points of that can be reached by a future/past-directed piecewise smooth causal curve emanating from .)
Let us denote by the category of all -dimensional oriented and time-oriented globally hyperbolic Lorentzian manifolds with morphisms given by all causal embeddings (see [FV12, Section 2.2]). Explicitly, the latter are orientation and time-orientation preserving isometric embeddings, whose image is a causally convex open subset of .
Let be an open cover of (the manifold underlying) an object in . Then each may be equipped with the induced Lorentzian metric, orientation and time-orientation, however it is not necessarily globally hyperbolic and hence not necessarily an object in . This motivates us to introduce the notion of causally convex open covers of objects in , which are open covers such that each is causally convex. By the characterization of global hyperbolicity in terms of strong causality and compactness of double-cones, it follows that each is an object of when equipped with the induced Lorentzian metric, orientation and time-orientation, and that the canonical inclusion is a -morphism. Moreover, if non-empty, is a causally convex open subset of (as well as of and of ) and thus may be regarded as an object in . The canonical inclusion of into (as well as the ones into and ) is a -morphism. A similar statement holds true for all higher intersections .
Similarly to Corollary B.3, there exists a canonical cofibrant replacement in for objects in which makes use of causally convex open covers. For an object in , we define
[TABLE]
to be the set of all causally convex open subsets of that are diffeomorphic to .111It is easy to see that (4.1) indeed defines a cover of : Given any point , choose a Cauchy surface such that . Taking any open neighborhood of that is diffeomorphic to , the Cauchy development contains and belongs to (in particular, is diffeomorphic to because is one of its Cauchy surfaces). See [ONe83, Definition 14.35 and Lemma 14.43] for the relevant statements from Lorentzian geometry that we used in this argument. We denote the corresponding presheaf of Čech groupoids by {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}{}^{\mathrm{cc}}:={\mathchoice{{\ooalign{\hbox{\raise 7.49443pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.49443pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=8.03886pt\vrule height=0.0pt,width=13.54333pt}}}}}\cr\hbox{\displaystyle\mathcal{V}{M}^{\mathrm{cc}}}}}}{{\ooalign{\hbox{\raise 7.49443pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.49443pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=8.03886pt\vrule height=0.0pt,width=13.54333pt}}}}}\cr\hbox{\textstyle\mathcal{V}{M}^{\mathrm{cc}}}}}}{{\ooalign{\hbox{\raise 6.69629pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.69629pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=5.64444pt\vrule height=0.0pt,width=9.56665pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}{M}^{\mathrm{cc}}}}}}{{\ooalign{\hbox{\raise 6.24074pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.24074pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=4.27777pt\vrule height=0.0pt,width=8.06665pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}{M}^{\mathrm{cc}}}}}}} and note that by the same arguments as in Appendix B (see in particular Proposition B.2 and Corollary B.3) this defines a functorial cofibrant replacement in of objects in . The corresponding functor and natural transformation will be denoted by
[TABLE]
When working with objects in , we may use these causally convex cofibrant replacements to compute the mapping stacks and their concretifications presented in Section 3 up to a weak equivalence in . This is a consequence of
Proposition 4.1**.**
For all objects in , there exists a natural weak equivalence {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}{}^{\mathrm{cc}}\to{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}} in from the causally convex cofibrant replacement to the one of Corollary B.3.
Proof.
Notice that given in (4.1) is a sub-cover of the cover
[TABLE]
used in Appendix B. Hence, there exists a natural -morphism {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}{}^{\mathrm{cc}}={\mathchoice{{\ooalign{\hbox{\raise 7.49443pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.49443pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=8.03886pt\vrule height=0.0pt,width=13.54333pt}}}}}\cr\hbox{\displaystyle\mathcal{V}{M}^{\mathrm{cc}}}}}}{{\ooalign{\hbox{\raise 7.49443pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.49443pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=8.03886pt\vrule height=0.0pt,width=13.54333pt}}}}}\cr\hbox{\textstyle\mathcal{V}{M}^{\mathrm{cc}}}}}}{{\ooalign{\hbox{\raise 6.69629pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.69629pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=5.64444pt\vrule height=0.0pt,width=9.56665pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}{M}^{\mathrm{cc}}}}}}{{\ooalign{\hbox{\raise 6.24074pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.24074pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=4.27777pt\vrule height=0.0pt,width=8.06665pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}{M}^{\mathrm{cc}}}}}}}\to{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=13.54333pt}}}}}\cr\hbox{\displaystyle\mathcal{V}{M}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=13.54333pt}}}}}\cr\hbox{\textstyle\mathcal{V}{M}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=9.56665pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}{M}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=8.06665pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}{M}}}}}}={\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}} between the associated presheaves of Čech groupoids. Explicitly, the stage at in is specified by
[TABLE]
where runs over all causally convex open subsets diffeomorphic to . The commutative diagram
[TABLE]
in and the fact that both and are weak equivalences implies via the 2-out-of-3 property of weak equivalences that {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}{}^{\mathrm{cc}}\to{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}} is a weak equivalence too. ∎
Corollary 4.2**.**
*Let be a stack in and an object in . Then the natural weak equivalence {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}{}^{\mathrm{cc}}\to{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}} of Proposition 4.1 induces a natural weak equivalence Y^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}}\to Y^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}{}^{\mathrm{cc}}} of mapping stacks. Hence, up to natural weak equivalence, all mapping stacks and their concretifications in Section 3 can be computed using the cofibrant replacement {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}{}^{\mathrm{cc}} instead of
.*
Remark 4.3**.**
In practice, the statement of Corollary 4.2 means that when working on an object in , all open subsets diffeomorphic to entering our explicit models for mapping stacks and their concretifications (see e.g. Proposition 3.4) may be assumed to be also causally convex. We shall use this weakly equivalent description from now on. ∎
4.2 Yang-Mills morphism
Let us first fix some notations. Let be an object in that is diffeomorphic (as a manifold) to . Consider the vector space of -forms on . Because is in particular an oriented Lorentzian manifold, we may introduce the Hodge operator . Using also the de Rham differential , we may define the codifferential . These operations extend to the vector space of -valued -forms. Given , we also define
[TABLE]
and
[TABLE]
Interpreting as a gauge field, the Yang-Mills equation on reads as , where is the curvature of .
Given also an object in , the Hodge operator, the de Rham differential and the codifferential on may be extended vertically along to the vector space of vertical -forms on . We denote the vertical Hodge operator by , the vertical de Rham differential by and the vertical codifferential by . Of course, these operations extend to the vector space of vertical -valued -forms on . Given , we also define
[TABLE]
and
[TABLE]
Interpreting as a smoothly -parametrized gauge field, the vertical Yang-Mills equation on reads as , where is the vertical curvature of , see also Section 3.3.
Let now be any object in . The gauge fields on are described by the stack . In the following we shall always use the weakly equivalent explicit description given by Proposition 3.4 and Corollary 4.2. (Recall also Remark 4.3 for what this means in practice.) We define the Yang-Mills -morphism
[TABLE]
in terms of the vertical Yang-Mills operators mimicking the definition of the curvature -morphism in terms of the vertical curvatures , cf. (3.3). Explicitly, at stage in , the associated groupoid morphism is defined as
[TABLE]
To confirm that this indeed defines a groupoid morphism observe that under gauge transformations. Naturality with respect to a change of stage under any -morphism is clear because, loosely speaking, all vertical operations do not involve the objects in by definition. Finally, it is easy to confirm that the Yang-Mills -morphisms are the components of a natural transformation
[TABLE]
between the functors and . (This uses the fact that morphisms in preserve causally convex open subsets and intertwine the Hodge operators. The same holds true for their restrictions to all causally convex open subsets .)
4.3 Yang-Mills stack
A naive way to define the stack of solutions to the Yang-Mills equation on is as follows: For any object in , define to be the full sub-groupoid of consisting of all objects satisfying
[TABLE]
where is the Yang-Mills morphism (4.83) and are the vanishing vertical -forms on . The groupoid morphism associated to a -morphism clearly induces a groupoid morphism , hence is a functor, i.e. an object in . The problem with this naive construction is that it is not clear whether it is homotopically meaningful, i.e. whether it preserves weak equivalences in .
To ensure that the stack of solutions to the Yang-Mills equation is a homotopically meaningful concept, we will propose an abstract definition. Recall the stack of principal -bundles on from Definition 3.8. For any , we introduce the -morphism
[TABLE]
whose stages are the groupoid morphisms
[TABLE]
(Similarly to the curvature -morphism in Section 3.3, the -morphism may be obtained more abstractly by inducing the canonical -morphism between the classifying stacks to their corresponding mapping stacks and concretifications.) In words, the -morphism assigns to a smoothly -parametrized principal -bundle the vanishing smoothly -parametrized -form with values in the associated adjoint bundle. It is clear that are the components of a natural transformation between functors from to .
Definition 4.4**.**
Let be an object in . We define the Yang-Mills stack on as the homotopy fiber product
[TABLE]
of the pullback diagram
[TABLE]
in . Notice that the pullback diagram is natural in , hence this construction defines a functor . Furthermore, on account of Proposition 2.13 and recalling that , and are stacks, is a stack too.
Remark 4.5**.**
Using Proposition 2.13, we may explicitly compute . Due to reasons explained below, this computation can be simplified considerably. Nonetheless, we find it instructive to see explicitly how the homotopy fiber product enforces the Yang-Mills equation, hence we briefly sketch the interesting part of the computation of the objects in . Let be any object in . By Proposition 2.13, the objects of are given by triples
[TABLE]
where is an object in , is an object in and
[TABLE]
is a morphism in . Observe that this does not enforce the Yang-Mills equation in the strict sense as above in our naive construction (cf. (4.85)), but it demands that is isomorphic to one of the zeros in . It is important to notice that every morphism in with target given by necessarily has to originate from an object of the form , because the vanishing vertical -forms are invariant under the adjoint action of gauge transformations. As a consequence, the fact that the morphism (4.93) exists implies already the strict condition that for all . Summing up, we observe that even though a priori the homotopy fiber product enforces a weaker version of the Yang-Mills equation (i.e. up to isomorphism), a specific feature of the -morphism turns this weaker version into a strict equality similar to (4.85). Below we shall make this statement precise by proving that is a fibration in , hence the homotopy fiber product may be computed (up to weak equivalence) by the ordinary fiber product. This will eventually show that is weakly equivalent to our naive solution stack discussed at the beginning of this subsection. ∎
As already mentioned in the remark above, there exists a weakly equivalent simplified description of the Yang-Mills stack given in Definition 4.4. It relies on the following observation.
Lemma 4.6**.**
For every , the -morphism is a fibration in the local model structure on .
Proof.
Because and (the simplified description of) are stacks, by Lemma 2.8 the thesis follows if we show that is a stage-wise fibration in (recall Theorem 2.1). Using the explicit expressions for the stages (4.87), one immediately realizes that this is indeed the case because the functor is fully faithful and any object of the groupoid isomorphic to one in the image of has to lie in the image too. ∎
As a consequence of this lemma, the homotopy fiber product in Definition 4.4 is weakly equivalent to the ordinary fiber product. Therefore, similarly to Proposition 3.4, we obtain a weakly equivalent simplified description of , which agrees with our naive solution stack from the beginning of this subsection. Summing up, we obtained
Proposition 4.7**.**
Up to weak equivalence in , the Yang-Mills stack defined in Definition 4.4 has the following explicit description: For all objects in , the groupoid is the full sub-groupoid of (cf. Proposition 3.4) consisting of all objects satisfying the vertical Yang-Mills equation
[TABLE]
for all causally convex open subsets diffeomorphic to . For all morphisms in , the groupoid morphism is the one induced by (cf. Proposition 3.4).
Remark 4.8**.**
Similarly to Remark 3.6, it is easy to see that our weakly equivalent simplified model for the Yang-Mills stack given in Proposition 4.7 is functorial, i.e. we have a functor . Moreover, by an explicit computation similar to the one in Remark 3.7, one can show that the above mentioned model for is a stack too. ∎
5 Stacky Cauchy problem
In this section we introduce and discuss a stacky version of the Yang-Mills Cauchy problem. It turns out that well-posedness of the stacky Cauchy problem is a stronger statement than well-posedness of the ordinary Cauchy problem for gauge equivalence classes of Yang-Mills fields. In particular, the solution for each given initial datum in the stacky Cauchy problem must be unique up to a unique isomorphism, which is stronger than uniqueness of their associated gauge equivalence classes. To set up the stacky Cauchy problem, we first introduce a stack that describes initial data on a Cauchy surface for the Yang-Mills equation and an -morphism that assigns to Yang-Mills fields their initial data on . This will allow us to define well-posedness of the stacky Yang-Mills Cauchy problem using the language of model categories. We conclude explaining that this condition is equivalent to a family of parametrized PDE problems, which may be addressed by ordinary PDE-theoretical techniques.
5.1 Initial data stack
Let be any object in and any spacelike Cauchy surface. Recall that . In the usual approach, see e.g. [CS97, C-B91], an initial datum on for the Yang-Mills equation on is a triple consisting of a principal -bundle on with connection and a -form on with values in the corresponding adjoint bundle, which satisfies the Yang-Mills constraint . Here is the covariant codifferential on that is obtained from the induced Hodge operator on . As a refinement of the set of initial data used in [CS97, C-B91], our approach allows us to introduce a stack of initial data on . Abstractly, this stack may be obtained by the following construction: Consider the stack of gauge fields on and form its tangent stack using similar techniques as in [Hep09]. Then implement the Yang-Mills constraint by a homotopy fiber product similarly to Section 4.3. Since for our practical purposes the construction of tangent stacks in [Hep09] is too involved, we shall not employ this abstract perspective and instead define directly the stack of initial data (up to weak equivalence) in an explicit form.
Definition 5.1**.**
Let be any object in and any spacelike Cauchy surface. The stack of initial data on is the following presheaf of groupoids :
- •
For all objects in , the objects of the groupoid are triples
[TABLE]
such that is an object in and an object in , satisfying the vertical Yang-Mills constraint
[TABLE]
for all open subsets diffeomorphic to . The morphisms of the groupoid are
[TABLE]
such that is a morphism in and a morphism in .
- •
For all -morphisms , the groupoid morphism is given by
[TABLE]
where our pullback notation is analogous to the one introduced in Proposition 3.4.
5.2 Initial data morphism
Let be any object in and any spacelike Cauchy surface. We denote by the embedding of the Cauchy surface into . We further choose and fix any normalized future-directed timelike vector field on whose restriction to is normal to the Cauchy surface. Given any object in , we denote by the same symbol also the vector field on that is obtained by extending constantly along . The restrictions of to open subsets of are also denoted by in order to simplify our notations.
The aim of this subsection is to define the initial data -morphism
[TABLE]
from the Yang-Mills stack (cf. Proposition 4.7) to the initial data stack (cf. Definition 5.1) whose role is to assign to solutions of the Yang-Mills equation their initial data.
This requires some preparations. Let be any open subset of the Cauchy surface that is diffeomorphic to . We denote by the Cauchy development of in . By definition, see e.g. [ONe83, Definition 14.35], is the subset of points such that every inextensible causal curve in emanating from meets . By [ONe83, Lemma 14.43], we may regard the Cauchy development equipped with the induced metric, orientation and time-orientation as an object in . It is diffeomorphic (as a manifold) to because defines a Cauchy surface for and is by hypothesis diffeomorphic to . We denote by the restriction of the embedding to the domain and the codomain . Let us now consider two open subsets and of the Cauchy surface that are both diffeomorphic to . Because and are both subsets of the same Cauchy surface, it is easy to show that . The latter is again a causally convex open subset of (not necessarily diffeomorphic to ). We denote by the restriction of the embedding to the domain and the codomain . Similar statements hold for higher intersections.
For any object in , we define the stage of the -morphism (5.5) as the groupoid morphism specified by the assignment
[TABLE]
where we used an intuitive compact notation. Explicitly, for and , we set
[TABLE]
where denotes the contraction of the vertical curvature with our fixed normalized timelike vector field . (As explained above, the vector field on is extended constantly to and then restricted to .) Using the vertical Yang-Mills equations , it is an elementary check that satisfies the vertical Yang-Mills constraint of Definition 5.1. Verifying that (5.6) indeed defines a groupoid morphism and confirming naturality in are also elementary checks. Hence, we defined the initial data -morphism in (5.5).
5.3 Cauchy problem
Using the language of model categories, we can now define the concept of a well-posed stacky Cauchy problem associated to the Yang-Mills equation. We will then show that our definition is equivalent to a family of parametrized PDE problems, which generalize the ordinary Yang-Mills Cauchy problem, cf. [CS97, C-B91]. The purpose of this section is thus to establish a bridge between our model categorical perspective on Yang-Mills theory and the language more familiar to PDE theorists.
Definition 5.2**.**
Let be an object in and a spacelike Cauchy surface. We say that the stacky Cauchy problem for the Yang-Mills equation is well-posed if the initial data -morphism , cf. (5.5), is a weak equivalence.
Our goal is to rephrase this abstract definition in terms of more explicit conditions. To begin with, observe that both and are stacks, i.e. fibrant objects in . Hence, by Theorem 2.5, the -morphism is a weak equivalence if and only if for each object in the groupoid morphism is a weak equivalence, i.e. a fully faithful and essentially surjective functor.
Recalling the explicit description in Section 5.2, we observe that is essentially surjective if and only if the following holds true: For every object in , there exists an object in and a morphism in . Note that may be interpreted as a solution for the initial datum up to the isomorphism of initial data. In other words, given any smoothly -parametrized initial datum on , essential surjectivity of is equivalent to the statement that we can find a smoothly -parametrized Yang-Mills field on , whose initial datum is isomorphic to by a smoothly -parametrized gauge transformation of initial data.
We now analyze what full faithfulness of implies. Explicitly, this property means that, given any two objects and in and any morphism in , there exists a unique morphism in such that . In other words, this means that every smoothly -parametrized gauge transformation between the initial data of two smoothly -parametrized Yang-Mills fields admits a unique extension from the Cauchy surface to the whole spacetime .
Full faithfulness of is equivalent to the following more practical condition: Given any object in and any two morphisms and in , there exists a unique morphism in such that . In fact, assuming full faithfulness, the desired morphism in is the one uniquely obtained from the morphism in . Conversely, given any morphism in , take to be the identity. It follows from the condition stated above that there exists a unique morphism in such that .
We summarize the results obtained above in the following
Proposition 5.3**.**
Let be an object in and a spacelike Cauchy surface. Then the stacky Cauchy problem for the Yang-Mills equation is well-posed, cf. Definition 5.2, if and only if the following conditions hold true, for all objects in :
Given any object in , there exists an object in together with a morphism in . 2. 2.
Given any other object in and morphism in , there exists a unique morphism in such that diagram
[TABLE]
in commutes.
Remark 5.4**.**
In more explicit words, item 1. of this proposition demands that there exists for every smoothly -parametrized initial datum a smoothly -parametrized solution of the Yang-Mills equation whose initial datum is isomorphic to the given one by a smoothly -parametrized gauge transformation . Item 2. demands that any two such solutions are isomorphic by a unique smoothly -parametrized gauge transformation . This is clearly a stronger condition than existence and uniqueness of solutions to the Cauchy problem for gauge equivalence classes, where the uniqueness aspect in item 2. does not play a role. ∎
Remark 5.5**.**
The fact that the conditions in Proposition 5.3 have to hold true for all objects in is very important from our stacky perspective. This is because the groupoids and encode the smooth structure of the Yang-Mills stack and initial data stack. Thus, well-posedness of the stacky Cauchy problem does not only formalize the usual notion of well-posedness (i.e. existence and uniqueness of solutions for given initial data), but it also demands smooth dependence (in the sense of stacks) of solutions on their initial data. The latter may be interpreted as a smooth analogue of the condition of continuous dependence of solutions on their initial data, which is more familiar in PDE theory. ∎
Remark 5.6**.**
As a final remark, we note that the conditions in Proposition 5.3 are known to hold for and spacetime dimension [CS97, C-B91]. However, we are not aware of any results for other objects in , which leads to the more complicated realm of smoothly -parametrized PDE problems. Being crucial for a better understanding of the geometry of the stack of Yang-Mills fields, we believe that a detailed study of the explicit conditions of Proposition 5.3 is a very interesting and compelling PDE problem. This problem is clearly beyond the scope of the present work. However, we would like to mention that analogous results for the simpler case of smoothly -parametrized normally hyperbolic linear PDEs can be established via the theory of symmetric hyperbolic systems [BHS]. We expect such techniques to be sufficient for proving that the stacky Cauchy problem is well-posed for Abelian Yang-Mills theory with structure group . ∎
6 Yang-Mills stack in Lorenz gauge
We briefly discuss how gauge fixings may be interpreted in our framework as weak equivalences of stacks. For simplicity, we shall focus on the particular example given by Lorenz gauge fixing, even though our ideas apply to other gauge fixings as well. Recall from Proposition 4.7 the stack of Yang-Mills fields on a globally hyperbolic Lorentzian manifold . For an object in , the objects of the groupoid are smoothly -parametrized gauge fields that solve the vertical Yang-Mills equation , for all causally convex open subsets diffeomorphic to . We say that satisfies the Lorenz gauge condition if
[TABLE]
for all causally convex open subsets diffeomorphic to . As a consequence of (6.1) and the conditions , it follow that the have to satisfy the conditions
[TABLE]
for all causally convex open subsets and diffeomorphic to . Notice that these are smoothly -parametrized hyperbolic PDEs which are similar to the wave map equation, see e.g. [C-B87]. Given any morphism in between two objects that satisfy the Lorenz gauge condition, it follows from (6.1) and the conditions that the have to satisfy the smoothly -parametrized PDEs
[TABLE]
for all causally convex open subsets diffeomorphic to .
Definition 6.1**.**
Let be an object in . The stack of Lorenz gauge-fixed Yang-Mills fields on is defined as the presheaf of groupoids whose stage at in is the full sub-groupoid of specified by the Lorenz gauge condition (6.1). Because Lorenz gauge is natural in , this construction defines a functor .
By construction, there exists a natural transformation of functors , whose components are just the sub-presheaf embeddings. It is an interesting question to ask whether the morphisms are weak equivalences in . This would allow us to describe the Yang-Mills stack in terms of the weakly equivalent stack , which has the practical advantage that all of its gauge fields and gauge transformations satisfy a smoothly parametrized hyperbolic PDE. (Recall (6.2) and (6.3), as well as the fact that the Yang-Mills equation in Lorenz gauge is hyperbolic.) Proving that is a weak equivalence in requires assumptions on solvability of smoothly parametrized PDEs similar to those in Proposition 5.3. We summarize the relevant statement in the following
Proposition 6.2**.**
Let be an object in . Then the -morphism is a weak equivalence if and only if the following holds true: For all objects in and all objects in there exists a solution of the smoothly -parametrized PDE
[TABLE]
for all causally convex open subsets diffeomorphic to .
Proof.
Using Theorem 2.5 and that both and are stacks, is a weak equivalence in if and only if is a weak equivalence of groupoids, for all objects in . By construction of , all these stages are fully faithful, hence is a weak equivalence if and only if all stages are essentially surjective. The latter means that for all objects in and all objects in , there exists a morphism in , such that satisfies the Lorenz gauge condition (6.1). Applying on the conditions that every morphism has to satisfy, one realizes that the Lorenz gauge condition for coincides with the smoothly parametrized PDEs (6.4). Hence, essential surjectivity of is equivalent to solvability of the smoothly -parametrized PDEs (6.4) for all causally convex open subsets diffeomorphic to . ∎
Remark 6.3**.**
For the unparametrized case , solvability of PDEs of the form (6.4) has been studied in [C-B87] for spacetime dimension . However, we are not aware of any results for other objects in . We believe that, together with the smoothly parametrized PDEs explained in Remark 5.6, these are very interesting problems for PDE theorists as they are crucial for understanding the geometry of the Yang-Mills stack. For the case of Abelian Yang-Mills theory with structure group , we expect that similar techniques as in [BHS], which are based on the theory of symmetric hyperbolic systems, can be used to prove that the conditions in Proposition 6.2 hold true and hence that is a weak equivalence in . We hope to come back to this issue in future work. ∎
Acknowledgments
The work of M.B. is supported by a Postdoctoral Fellowship of the Alexander von Humboldt Foundation (Germany). A.S. gratefully acknowledges the financial support of the Royal Society (UK) through a Royal Society University Research Fellowship, a Research Grant and an Enhancement Award. U.S. was supported by RVO:67985840.
Appendix A Monoidal model structure on
The goal of this appendix is to show that the local (as well as the global) model structure on is compatible with the closed symmetric monoidal structure discussed in Section 2.2. More precisely, we show that is a symmetric monoidal model category, see e.g. [Hov99, Chapter 4]. For this purpose we first need the symmetric monoidal model structure on . It is well-known that the closed symmetric monoidal structure and model structure on that we introduced in Section 2.1 define a symmetric monoidal model category structure on . As we could not find a proof of this statement in the literature, we shall provide it here.
Proposition A.1**.**
* is a symmetric monoidal model category with respect to the closed symmetric monoidal structure and the model structure presented in Section 2.1.*
Proof.
Since all objects in are cofibrant, so is the unit object . Therefore, to conclude that is a symmetric monoidal model category, it is sufficient to prove that the monoidal bifunctor is a Quillen bifunctor, cf. [Hov99, Chapter 4.2].
Take two cofibrations and in and form their pushout product
[TABLE]
We have to show that is a cofibration, which is acyclic whenever either or is. Recall that cofibrations in are functors that are injective on objects. Computing the pushout in , one finds that objects of are equivalence classes of pairs of the form or of the form under the relation . (By the subscript 0 we denote the set of objects of a groupoid.) Since and are by hypothesis injective on objects, it follows by using our equivalence relation that is injective on objects too. Hence, it is a cofibration.
The case where one of the cofibrations is acyclic may be simplified by using that is cofibrantly generated (cf. [Hol08a]) and [Hov99, Corollary 4.2.5]. Using also symmetry of the monoidal structure, it is sufficient to show that for the generating acyclic cofibration , given by and , the pushout product
[TABLE]
is an acyclic cofibration for any cofibration in . The pushout groupoid can be computed explicitly: Its set of objects is , i.e. an object is either an object in or an object in . Its morphisms are characterized by
[TABLE]
The groupoid morphism in (A.2) is the functor that acts on objects as
[TABLE]
where it is important to recall the definition of morphisms in , see (A.3). It is clear that is fully faithful and essentially surjective (and of course injective on objects), hence it is an acyclic cofibration. This completes our proof. ∎
Proposition A.1 enables us to show that is a symmetric monoidal model category.
Theorem A.2**.**
When equipped with the local or global model structure, is a symmetric monoidal model category with respect to the closed symmetric monoidal structure presented in Section 2.2.
Proof.
The result follows immediately from Proposition A.1 by using the techniques developed in [Bar10]: Explicitly, by [Bar10, Corollary 4.53], equipped with the global model structure is a symmetric monoidal model category because our site has all products . Using also [Bar10, Theorem 4.58], it follow that equipped with the local model structure is a symmetric monoidal model category. ∎
Appendix B Cofibrant replacement of manifolds in
Let be a (finite-dimensional and paracompact) manifold and any cover by open subsets. The goal of this appendix is to prove that the presheaf of Čech groupoids associated to is always weakly equivalent to in . Moreover, it provides a cofibrant replacement of when all are diffeomorphic to . It is important to stress that the latter statement does not require that the cover is good, in particular may be neither empty nor diffeomorphic to . We shall always work with the local model structure on , see Theorem 2.5.
We define the object
in by the following functor {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}:\mathsf{C}^{\mathrm{op}}\to\mathsf{Grpd}: To any object in , it assigns the groupoid {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(U) with objects given by diagrams
[TABLE]
where is a smooth map and is the canonical inclusion . There exists a unique morphism in {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(U) if and only if the diagram
[TABLE]
commutes. To any -morphism , we assign the groupoid morphism {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(\ell):{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(U^{\prime})\to{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(U) defined by
[TABLE]
The action of {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(\ell) on morphisms is fixed by their uniqueness.
There exists a canonical -morphism
[TABLE]
where is the stack represented by our manifold , cf. Example 2.9. Explicitly, recalling that , for all objects in , the stages of are given by the groupoid morphisms
[TABLE]
Naturality of these stages in is obvious by definition.
Proposition B.1**.**
Let be a (finite-dimensional and paracompact) manifold and any cover by open subsets. Then the -morphism q:{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}\to\underline{M} is a weak equivalence in the local model structure on .
Proof.
By Theorem 2.5, we have to show that induces an isomorphism on the associated sheaves of homotopy groups. This can be easily confirmed by verifying the local lifting conditions in [Hol08a, Definition 5.6 and Theorem 5.7]. Because is stage-wise fully faithful, it remains to prove the following property, for all objects in : Given any object in , there exists a good open cover of such that all restrictions lie in the image of , i.e. all can be factorized as
[TABLE]
This property indeed holds true by using any good open refinement of the open cover of . ∎
The following proposition shows that q:{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}\to\underline{M} is a cofibrant replacement when consists of open subsets diffeomorphic to .
Proposition B.2**.**
*Let be a (finite-dimensional and paracompact) manifold and any cover by open subsets diffeomorphic to . Then
is a cofibrant object in the local model structure on .*
Proof.
We have to prove that for all acyclic fibrations in and all -morphisms f^{\prime}:{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}\to Y there exists a lift
[TABLE]
in . Because the classes of cofibrations and acyclic fibrations coincide in both model structures on , the morphism is a stage-wise acyclic fibration in , i.e. is surjective on objects and fully faithful.
Let us first analyze this lifting problem stage-wise: For any object in , we can always solve the stage-wise lifting problem
[TABLE]
because every groupoid is cofibrant, see e.g. [Hol08a]. Such stage-wise liftings f^{\prime\prime}:{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(U)\to X(U) can be classified as follows: For every object in {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(U), choose any object in satisfying . (There always exists such a choice because is by hypothesis surjective on objects.) Such choice defines a unique groupoid morphism f^{\prime\prime}:{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(U)\to X(U) because is fully faithful and hence (B.100) enforces a unique choice for the action of on morphisms.
The crucial point is now to prove that the stage-wise liftings f^{\prime\prime}:{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(U)\to X(U) can be chosen to form a natural transformation, thus providing the stages of a morphism f^{\prime\prime}:{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}\to X in . In order to do so, we take advantage of the fact that each is assumed to be an object of . Given any morphism of the form in (also regarded as a smooth map of manifolds), naturality is expressed as commutativity of the diagram
[TABLE]
in . Taking the object in {\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(V_{\alpha}), this commutative diagram implies that
[TABLE]
Hence, the stages f^{\prime\prime}:{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\displaystyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=7.50002pt}}}}}\cr\hbox{\textstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=5.25pt}}}}}\cr\hbox{\scriptstyle\mathcal{V}}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=3.75pt}}}}}\cr\hbox{\scriptscriptstyle\mathcal{V}}}}}}(U)\to X(U) of a natural lift are uniquely determined by their actions on the objects , for all . Because there are no further coherence conditions for the restriction of to objects of the form , it follows from our discussion at the end of the previous paragraph of this proof that there exists a lift for our original problem (B.71), which is determined by (B.162) and by the choice of a preimage along of the object , for each . As a consequence,
is a cofibrant object in . ∎
Because the results of this appendix hold true for every cover of by open subsets diffeomorphic to (without the requirement of a good open cover), we can make a particular choice which eventually leads to a functorial cofibrant replacement. For any manifold , we take the open cover given by all open subsets diffeomorphic to . We denote the corresponding presheaf of Čech groupoids by
[TABLE]
and notice that this defines a functor
[TABLE]
from the category of (finite-dimensional and paracompact) manifolds with morphisms given by open embeddings . Explicitly, given any open embedding the stage at in of the -morphism {\mathchoice{{\ooalign{\hbox{\raise 7.12962pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.12962pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.94444pt\vrule height=0.0pt,width=5.97226pt}}}}}\cr\hbox{\displaystyle f}}}}{{\ooalign{\hbox{\raise 7.12962pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.12962pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.94444pt\vrule height=0.0pt,width=5.97226pt}}}}}\cr\hbox{\textstyle f}}}}{{\ooalign{\hbox{\raise 6.43518pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.43518pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.8611pt\vrule height=0.0pt,width=4.18057pt}}}}}\cr\hbox{\scriptstyle f}}}}{{\ooalign{\hbox{\raise 5.97221pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.97221pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.47221pt\vrule height=0.0pt,width=2.98611pt}}}}}\cr\hbox{\scriptscriptstyle f}}}}}:{\mathchoice{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 7.09259pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.09259pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=6.83331pt\vrule height=0.0pt,width=10.79166pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.9537pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.9537pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.41666pt\vrule height=0.0pt,width=5.39581pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}\to{\mathchoice{{\ooalign{\hbox{\raise 7.6111pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.6111pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=8.38887pt\vrule height=0.0pt,width=12.33165pt}}}}}\cr\hbox{\displaystyle M^{\prime}}}}}{{\ooalign{\hbox{\raise 7.6111pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.6111pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=8.38887pt\vrule height=0.0pt,width=12.33165pt}}}}}\cr\hbox{\textstyle M^{\prime}}}}}{{\ooalign{\hbox{\raise 6.77963pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.77963pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=5.89444pt\vrule height=0.0pt,width=8.65414pt}}}}}\cr\hbox{\scriptstyle M^{\prime}}}}}{{\ooalign{\hbox{\raise 6.32407pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.32407pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=4.52777pt\vrule height=0.0pt,width=6.4958pt}}}}}\cr\hbox{\scriptscriptstyle M^{\prime}}}}}} is defined by
[TABLE]
Notice that the image is an open subset of diffeomorphic to by hypothesis on the morphisms in . (Notice that .) By we denote the -morphisms associated to by restricting the domain to and the codomain to the image . For the particular cover , we denote the canonical -morphism (B.32) by
[TABLE]
It is easy to see that are the components of a natural transformation q:{\mathchoice{{\ooalign{\hbox{\raise 7.31482pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.31482pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=7.5pt\vrule height=0.0pt,width=11.11113pt}}}}}\cr\hbox{\displaystyle(-)}}}}{{\ooalign{\hbox{\raise 7.31482pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.31482pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=7.5pt\vrule height=0.0pt,width=11.11113pt}}}}}\cr\hbox{\textstyle(-)}}}}{{\ooalign{\hbox{\raise 6.56482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.56482pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=5.25pt\vrule height=0.0pt,width=7.77779pt}}}}}\cr\hbox{\scriptstyle(-)}}}}{{\ooalign{\hbox{\raise 6.06482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.06482pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.75pt\vrule height=0.0pt,width=5.55554pt}}}}}\cr\hbox{\scriptscriptstyle(-)}}}}}\to\underline{(-)} of functors from to . Summing up, we obtained
Corollary B.3**.**
The functor {\mathchoice{{\ooalign{\hbox{\raise 7.31482pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.31482pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=7.5pt\vrule height=0.0pt,width=11.11113pt}}}}}\cr\hbox{\displaystyle(-)}}}}{{\ooalign{\hbox{\raise 7.31482pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.31482pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=7.5pt\vrule height=0.0pt,width=11.11113pt}}}}}\cr\hbox{\textstyle(-)}}}}{{\ooalign{\hbox{\raise 6.56482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.56482pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=5.25pt\vrule height=0.0pt,width=7.77779pt}}}}}\cr\hbox{\scriptstyle(-)}}}}{{\ooalign{\hbox{\raise 6.06482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.06482pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.75pt\vrule height=0.0pt,width=5.55554pt}}}}}\cr\hbox{\scriptscriptstyle(-)}}}}}:\mathsf{Man}_{\hookrightarrow}\to\mathsf{H} together with the natural transformation q:{\mathchoice{{\ooalign{\hbox{\raise 7.31482pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.31482pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=7.5pt\vrule height=0.0pt,width=11.11113pt}}}}}\cr\hbox{\displaystyle(-)}}}}{{\ooalign{\hbox{\raise 7.31482pt\hbox{\scalebox{1.0}[-1.0]{\lower 7.31482pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=7.5pt\vrule height=0.0pt,width=11.11113pt}}}}}\cr\hbox{\textstyle(-)}}}}{{\ooalign{\hbox{\raise 6.56482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.56482pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=5.25pt\vrule height=0.0pt,width=7.77779pt}}}}}\cr\hbox{\scriptstyle(-)}}}}{{\ooalign{\hbox{\raise 6.06482pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.06482pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=3.75pt\vrule height=0.0pt,width=5.55554pt}}}}}\cr\hbox{\scriptscriptstyle(-)}}}}}\to\underline{(-)} define a functorial cofibrant replacement of manifolds (with open embeddings) in .
Appendix C Fibrant replacement in the -truncation of
We describe an explicit, albeit rather involved, construction of fibrant replacements in the -truncation of the canonical model structure on the over-category , for an object in . These are needed to concretify our mapping stacks in Section 3.2. For the general theory of -truncations in simplicial model categories, see [Bar10, Section 5, Application II] and [Rez, Section 7]. See also [Lur09] for -truncations in the language of -categories. For an explicit construction of -truncations of simplicial presheaves we also refer to [ToVe05, Section 3.7]. In this appendix we shall freely use the concept of (left) Bousfield localization of a simplicial model category with respect to a set of morphisms , see [Hir03] or [Dug01, Section 5] for details. We shall nevertheless briefly review the relevant terminology, such as -local objects and -local equivalences. (The set of morphisms (C.10) at which we shall localize is denoted by , hence we shall speak of -local objects and - local equivalences in what follows.)
Let us consider equipped with the local model structure of Theorem 2.5. Let be any object in and form the over-category . Recall that an object in is a morphism in and a morphism from to in is a commutative diagram
[TABLE]
in . There exists a canonical model structure on : A morphism (C.5) in is a fibration, cofibration or weak equivalence if and only if is a fibration, cofibration or weak equivalence in . In particular, the fibrant objects in are the fibrations with target in .
We localize this model structure on with respect to the set of -morphisms
[TABLE]
where we note that the morphism is fixed by commutativity of the diagram. By we denote the groupoid with two objects, [math] and together with their identity morphisms, and is the obvious groupoid morphism. We call the -localized model structure on the -truncation of . For , our definition is a special instance of the general construction of -truncations for simplicial presheaves given in [ToVe05, Corollary 3.7.4]. (Choose and truncate also to groupoid-valued presheaves.) For completeness, we observe that by slightly adapting [ToVe05, Section 3.7] we can define sets , for all , such that the localization of with respect to describes the -truncation of . In the following we shall only focus on the case that we need in the main part of this paper.
The fibrant objects in the -truncation of coincide with the so-called -local objects in (cf. [Hir03, Definition 3.1.4 and Proposition 3.4.1]), which are defined using the mapping groupoids of : For objects and of , the mapping groupoid has as objects all commutative diagrams (C.5) in and as morphisms all commutative diagrams
[TABLE]
in , where is the projection -morphism.
Definition C.1**.**
An -local object in is a fibration in (i.e. a fibrant object in the un-truncated model structure on ) such that the induced morphism
[TABLE]
between mapping groupoids (see above) is a weak equivalence in for all -morphisms in , see (C.10), namely for all -morphisms and all objects in .
Lemma C.2**.**
A fibration in is an -local object in if and only if is fully faithful, for all objects in .
Proof.
Using the Yoneda lemma, the objects of the source groupoid in (C.16) can be described by commutative diagrams
[TABLE]
in , where is uniquely fixed by . Equivalently, the objects are all -morphisms
[TABLE]
such that . (In particular, and .) The morphisms of this groupoid are all commutative -diagrams
[TABLE]
such that and . By a similar argument, we find that the objects of the target groupoid in (C.16) are all pairs of -objects (no arrow between them!)
[TABLE]
such that and , and the morphisms are all -diagrams
[TABLE]
such that and . The groupoid morphism in (C.16) is
[TABLE]
This is a weak equivalence for all -morphisms if and only if is fully faithful. The proof then follows by applying this result to all objects in . ∎
In the following we will use frequently an explicit characterization of the fibrations in the local model structure on that was obtained in [Hol07, Proposition 4.2].
Proposition C.3** (Local fibrations in [Hol07]).**
A morphism in is a fibration in the local model structure if and only if
* is a fibration in , for all objects in ; and* 2. 2.
for all good open covers , the commutative diagram
[TABLE]
is a homotopy pullback diagram in .
Remark C.4**.**
Item 2. is equivalent to the condition that the canonical morphism
[TABLE]
to the homotopy fiber product is a weak equivalence in , for all good open covers . The homotopy fiber product in is analogous to the one in , see Proposition 2.13. ∎
We prove a technical lemma that provides us with a useful characterization of the -local objects up to (un-truncated) weak equivalences in . Given any object in , we denote by the object in given by the full image sub-presheaf of . Explicitly, for any object in , the groupoid has as objects all objects in , for all objects in , and as morphisms all morphisms in . There is a canonical commutative diagram
[TABLE]
in , i.e. a canonical -morphism from to .
Lemma C.5**.**
Let be any -local object in . Then is an -local object in and the canonical -morphism in (C.62) is a (un-truncated) weak equivalence.
Proof.
By Lemma C.2, is stage-wise fully faithful. By construction of , we then find that is stage-wise fully faithful and also stage-wise surjective on objects, hence a weak equivalence in .
It remains to show that is an -local object. For this we make use of Lemma C.2 and Proposition C.3. It is immediately clear by construction that is stage-wise fully faithful and a stage-wise fibration. (To prove the latter statement, use that is by hypothesis a stage-wise fibration.) Thus, it remains to prove that
[TABLE]
is a weak equivalence in , for all good open covers . The target groupoid can be computed explicitly by using Propositions 2.2 and 2.13. One finds that its objects are tuples
[TABLE]
where is an object in , are objects in , are morphisms in , and are morphisms in . This data has to satisfy , for all , , for all , and , for all . The morphisms of the target groupoid are tuples
[TABLE]
where is a morphism in and are morphisms in , satisfying , for all , and , for all . The canonical morphism (C.63) is explicitly given by
[TABLE]
from which one immediately observes that it is fully faithful. Using that is -local, we can show that the canonical morphism (C.63) is also essentially surjective and thus a weak equivalence: Given any object of the target groupoid in (C.63), we obtain from the property that is stage-wise fully faithful an object of the homotopy fiber product
[TABLE]
defined by means of the -morphism . Explicitly, the -morphisms are uniquely determined by full faithfulness and . Because is a (local) fibration, there exists a morphism in (C.67) from , where is an object in , to . Explicitly, is a morphism in and are morphisms in , such that , for all , and , for all . The associated morphism in the target groupoid of (C.63) from to proves that the canonical morphism in (C.63) is essentially surjective. This completes our proof. ∎
The weak equivalences in the -truncation of are by construction the so-called -local equivalences in . We say that a morphism (C.5) in is an -local equivalence if
[TABLE]
is a weak equivalence in , for all -local objects in . Here is a cofibrant replacement functor in and is the corresponding -morphism
[TABLE]
Remark C.6**.**
By Lemma C.5, -local equivalences may be equivalently characterized by the condition that the groupoid morphism
[TABLE]
is a weak equivalence, for all -local objects in . This condition is easier to analyze because is not only an -local object, but also a stage-wise injection on objects. ∎
Lemma C.7**.**
Let be any object in and any -local object in . Then the mapping groupoid is either or (isomorphic to) .
Proof.
We have to show that whenever is not empty it is (isomorphic to) . Consider two objects in , i.e.
[TABLE]
and let be any object in . Commutativity of the diagrams implies that , hence by stage-wise injectivity on objects of we find that , for all objects in . Given any morphism in , this result implies that the two morphisms and in have the same source and target. Commutativity of the diagrams implies that , hence we find by stage-wise full faithfulness of that . As a consequence, which implies that the groupoid cannot have more than one object.
It remains to prove that the object in cannot have non-trivial automorphisms. Consider any morphism
[TABLE]
in , which is necessarily an automorphism of due to the result above. Let be any object in . This automorphism of is uniquely determined by the -morphisms , for all objects in . Commutativity of the diagram implies that , for all objects in . As a consequence of stage-wise full faithfulness of , this implies , for all objects in . Hence, the only automorphism of is the identity. ∎
We can now give a sufficient condition for a morphism in to be an -local equivalence. Recall from Definition 2.4 the notion of sheaves of homotopy groups associated to objects in .
Proposition C.8**.**
A morphism (C.5) in is an -local equivalence in if induces an epimorphism of sheaves of [math]-th homotopy groups.
Proof.
Because induces by hypothesis an epimorphism of sheaves of [math]-th homotopy groups, so does its cofibrant replacement . Let us denote the corresponding presheaf morphism by and recall that its sheafification is a sheaf epimorphism if and only if the following condition holds true, see e.g. [MacLM94, Section III.7]: For each object in and each element , there exists a good open cover and a tuple such that , for all . Equivalently, for each object in and each object in , there exists a good open cover , objects in and morphisms in .
Using Remark C.6 and Lemma C.7, our claim would follow by proving that
[TABLE]
is never a groupoid morphism from to , for all -local objects . Let us therefore assume that the target groupoid is . We have to prove that there exists a dashed arrow
[TABLE]
completing the commutative diagram. It is sufficient to define the dashed arrow on objects as its action on morphisms is then fixed uniquely by the commutative diagram and stage-wise full faithfulness of . Moreover, if the dashed arrow exists it is unique because of Lemma C.7. Let be any object in and any object in . Because induces an epimorphism on sheaves of [math]-th homotopy groups, by our discussion above there exists a good open cover , a family of objects in and a family of morphism in . We use these data and our diagram (C.92) to define an object
[TABLE]
of the homotopy fiber product
[TABLE]
Explicitly, the -morphisms are defined by using stage-wise full faithfulness of and the commutative diagrams
[TABLE]
The -morphisms are defined by the commutative diagrams
[TABLE]
Because is a (local) fibration in , there exists a morphism in the groupoid (C.94) from an object , where is an object in , to (C.93). Using that is a stage-wise fibration, the object in may be chosen such that . Because is stage-wise injective on objects, such is unique and we may define the dashed arrow by setting . Naturality of our construction of follows immediately from uniqueness, which completes our proof. ∎
We developed sufficient technology to obtain a functorial fibrant replacement in the -truncation of . Let be any object in . We define a new object in , which we call the -image of and denote as , by the following construction: For an object in , the groupoid has as objects all objects in for which there exist a good open cover , objects in and -morphisms . The morphisms between two objects and in are all -morphisms . For a morphism in , the groupoid morphism is the one induced by . (To show that is an object in for any object in use refinements of open covers to good open covers.) The -morphism is then given by stage-wise full subcategory embedding. There is a canonical commutative diagram
[TABLE]
in , i.e. a canonical -morphism from to .
Proposition C.9**.**
Let be any object in . Then (C.109) is a fibrant replacement in the -truncation of . More explicitly, this means that is an -local object in and is an -local equivalence in .
Proof.
By construction of , it is clear that induces an epimorphism on sheaves of [math]-th homotopy groups, hence is an -local equivalence because of Proposition C.8. We now prove that is -local, cf. Lemma C.2. By construction, it is clear that is stage-wise fully faithful and a stage-wise fibration. It remains to verify item 2. of Proposition C.3, i.e. that the canonical morphism
[TABLE]
is a weak equivalence in , for all good open covers . Similarly to the proof of Lemma C.5, objects in the target groupoid are tuples , where is an object in , are objects in , are -morphisms and are -morphisms. This data has to satisfy , for all , , for all , and , for all . The morphisms are tuples , where is a -morphism and are -morphisms, satisfying , for all , and , for all . We prove that the canonical morphism (C.110) is essentially surjective. For each object of the target groupoid, there exists a morphism . Notice that is an object in : There are -morphisms to objects in , for all . By definition, there exists a good open cover , objects in and -morphisms , for all . Taking any good open cover of refining the (not necessarily good) open cover , one shows that is indeed an object in and hence that (C.110) is essentially surjective. Full faithfulness of the canonical morphism (C.110) is easy to confirm, which completes our proof. ∎
The -image of an object in , which according to Proposition C.9 is a fibrant replacement in the -truncation of , is not very convenient to work with practically. We conclude this appendix by showing that the canonical morphism
[TABLE]
from the full image of to its -image is a weak equivalence in the un-truncated model structure on . This allows us to use the simpler concept of full image instead of the -image in the main body of this paper.
Proposition C.10**.**
Let be any object in . Then the canonical -morphism (C.115) is a weak equivalence in the un-truncated model structure on .
Proof.
One has to show that the corresponding -morphism is a weak equivalence in the local model structure on , i.e. that it induces an isomorphism on sheaves of homotopy groups (cf. Theorem 2.5). This can be easily confirmed by verifying the local lifting conditions in [Hol08a, Definition 5.6 and Theorem 5.7], making use of the facts that is stage-wise fully faithful and that it induces an epimorphism on sheaves of [math]-th homotopy groups. ∎
Let be a weak equivalence in . We establish a relation induced by between our fibrant replacements in the -truncations of and .
Proposition C.11**.**
Let be a weak equivalence in and an object in . Then there exist canonical weak equivalences and in .
Proof.
Notice that there exists a unique dashed -morphism such that the diagram
[TABLE]
in commutes. Recall that and induce epimorphisms on sheaves of [math]-th homotopy groups. Moreover, and are stage-wise fully faithful, hence they induce monomorphisms on sheaves of [math]-th homotopy groups and isomorphisms on all sheaves of -st homotopy groups. Taking sheaves of homotopy groups in (C.120), a diagram chasing argument shows that the dashed morphism induces isomorphisms on sheaves of homotopy groups. Hence, the canonical morphism is a weak equivalence in , cf. Theorem 2.5.
Replacing the -image in (C.120) by the full image , one can also show that there exists a unique -morphism such that the corresponding diagram commutes. Moreover, it is compatible with the canonical morphism , i.e. the diagram
[TABLE]
in commutes. Because and the horizontal arrows are weak equivalences (cf. Proposition C.10), it follows by the 2-out-of-3 property of weak equivalences that is a weak equivalence too. ∎
Appendix D Concretification
For the sake of completeness, we compare our concretification prescription of Section 3.2 with the original construction proposed by [FRS16, Sch13]. In particular, we highlight why the latter fails to produce the desired result, i.e. the stack describing smoothly parametrized families of principal -bundles with connections, and how the former fixes this aspect. Since this issue arises already for manifolds diffeomorphic to , for simplicity here we restrict to this case. As any such manifold may be regarded as an object in , the corresponding object in is representable and thus already cofibrant. As a consequence, the mapping stack {\mathrm{B}G_{\mathrm{con}}}^{{\mathchoice{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\displaystyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\displaystyle M}}}}{{\ooalign{\hbox{\raise 6.40926pt\hbox{\scalebox{1.0}[-1.0]{\lower 6.40926pt\hbox{\textstyle\widehat{\vrule width=0.0pt,height=4.78333pt\vrule height=0.0pt,width=7.55415pt}}}}}\cr\hbox{\textstyle M}}}}{{\ooalign{\hbox{\raise 5.93092pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.93092pt\hbox{\scriptstyle\widehat{\vrule width=0.0pt,height=3.34833pt\vrule height=0.0pt,width=5.2879pt}}}}}\cr\hbox{\scriptstyle M}}}}{{\ooalign{\hbox{\raise 5.61203pt\hbox{\scalebox{1.0}[-1.0]{\lower 5.61203pt\hbox{\scriptscriptstyle\widehat{\vrule width=0.0pt,height=2.39166pt\vrule height=0.0pt,width=3.77707pt}}}}}\cr\hbox{\scriptscriptstyle M}}}}}} is weakly equivalent to the internal hom-object in .
According to [FRS16, Sch13], the concretification of is obtained by a two-step construction: First, one forms the fibrant replacements of both and in the respective -truncations of and , cf. Appendix C. (In the language of [FRS16, Sch13] this is called “-image factorization”.) Using the weakly equivalent model provided by Proposition C.10, we obtain the factorizations
[TABLE]
where we introduce the notation for ease of comparison with [FRS16, Sch13]. Explicitly, at each stage in , the groupoid has only one object and morphisms given by families \{g_{p}\in C^{\infty}(M,G)\big{\}}, where runs over all points of . The groupoid has as objects all smoothly -parametrized gauge fields , where denotes the vertical -forms on , and as morphisms from to all families , where runs over all points of , such that , for all points . Notice that induces an -morphism
[TABLE]
Let us stress that this is not a fibration in . Loosely speaking, this happens because acting with a non-smoothly parametrized gauge transformation on a smoothly parametrized gauge field in general results in a non-smoothly parametrized gauge field.
Notice that has the desired objects, i.e. smoothly parametrized families of gauge fields, however the morphisms are general families of gauge transformations between smoothly parametrized gauge fields. The construction of [FRS16, Sch13] claims to fix this issue in a second step, that consists of taking the homotopy fiber product in of the diagram
[TABLE]
which we shall denote by . Note that the ordinary fiber product would produce the desired result, i.e. smoothly parametrized gauge fields and gauge transformations. However, none of the -morphisms in this pullback diagram is a fibration, which prevents us from computing the homotopy fiber product as the ordinary one (as opposed to the situation in Section 3.2). We may still compute by using Proposition 2.13. Explicitly, at stage in , the objects of the groupoid are tuples
[TABLE]
where runs over all points of , and the morphisms from to are tuples
[TABLE]
where runs over all points of , satisfying
[TABLE]
for all points . Note that, loosely speaking, contains “too many objects”. More precisely, it is not true that for each object there exists a morphism to an object of the form , where is the constant map to the identity of . In fact, existence of such morphism would imply the identities
[TABLE]
for all points , which in general cannot be satisfied because is a generic family, while both and must be smoothly parametrized.
Our proposal is to fix this issue as follows: Consider the canonical -morphism to the homotopy fiber product of (D.9). Explicitly, it projects -forms on onto their vertical parts on (and attaches the family ). Computing the fibrant replacement of in the -truncation of (cf. Proposition C.10 for a convenient weakly equivalent model) then yields a factorization
[TABLE]
where correctly describes smoothly parametrized gauge fields and gauge transformations. Explicitly, at stage in , the objects of are all and the morphisms from to are specified by , such that . Here is the vertical action of gauge transformations that is defined by the vertical de Rham differential on .
Remark D.1**.**
In the main body of this paper, starting from Section 3.2, we use a simplified, but equivalent, version of our concretification prescription proposed above (cf. Definition 3.3). This is based on the observation that one may skip and the homotopy fiber product of (D.9). (The only reason why we introduced here is to compare with [FRS16, Sch13].) Our simplified construction goes as follows: Instead of (D.9), consider the pullback diagram
[TABLE]
in , whose homotopy fiber product is weakly equivalent in to the ordinary one (because the right-pointing morphism is a fibration). Denoting the fiber product by , the fibrant replacement of the canonical -morphism in the -truncation of (use again Proposition C.10 for a convenient weakly equivalent model) yields a factorization
[TABLE]
where is the concretified mapping stack that was found above. ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[Bar 10] C. Barwick, “On left and right model categories and left and right Bousfield localizations,” Homology, Homotopy and Applications 12 , 245–320 (2010).
- 2[BGP 07] C. Bär, N. Ginoux and F. Pfäffle, “Wave equations on Lorentzian manifolds and quantization,” Zürich, Switzerland: Eur. Math. Soc. (2007) [ar Xiv:0806.1036 [math.DG]].
- 3[BEE 96] J. K. Beem, P. E. Ehrlich and K. L. Easley, Global Lorentzian geometry , Marcel Dekker, New York (1996).
- 4[BHS] M. Benini, F. Hanisch and A. Schenkel, “Locally covariant Poisson algebra for non-linear scalar fields in the Cahiers topos,” in preparation.
- 5[BS 17a] M. Benini, A. Schenkel, “Poisson algebras for non-linear field theories in the Cahiers topos,” Ann. Henri Poincaré 18 , 1435 (2017) [ar Xiv:1602.00708 [math-ph]].
- 6[BS 17b] M. Benini and A. Schenkel, “Quantum field theories on categories fibered in groupoids,” Commun. Math. Phys. 356 , no. 1, 19 (2017) [ar Xiv:1610.06071 [math-ph]].
- 7[BSS 15] M. Benini, A. Schenkel and R. J. Szabo, “Homotopy colimits and global observables in Abelian gauge theory,” Lett. Math. Phys. 105 , no. 9, 1193 (2015) [ar Xiv:1503.08839 [math-ph]].
- 8[BFV 03] R. Brunetti, K. Fredenhagen and R. Verch, “The generally covariant locality principle: A new paradigm for local quantum field theory,” Commun. Math. Phys. 237 , 31 (2003) [math-ph/0112041].
