Access the full text.
Sign up today, get DeepDyve free for 14 days.
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE CLAUDIO MENESES AND JOSE A. ZAPATA Abstract. For a smooth manifold M, possibly with boundary and corners, and a Lie group G, we consider a suitable description of gauge ﬁelds in terms of parallel transport, as groupoid homomorphisms from a certain path groupoid in M to G. Using a cotriangulation C of M, and collections of ﬁnite-dimensional families of paths relative to C , we deﬁne a homotopical equivalence relation of parallel transport maps, leading to the concept of an extended lattice gauge (ELG) ﬁeld. A lattice gauge ﬁeld, as used in Lattice Gauge Theory, is part of the data contained in an ELG ﬁeld, but the latter contains further local topological information suﬃcient to reconstruct a principal G-bundle on M up to equivalence. The space of ELG ﬁelds of a given pair (M,C ) is a covering for the space of ﬁelds in Lattice Gauge Theory, whose connected components parametrize equivalence classes of principal G-bundles on M. We give a criterion to determine when ELG ﬁelds over diﬀerent cotriangulations deﬁne equivalent bundles. Contents 1. Introduction 1 1.1. A structural guide to our work 3 2. Terminology and fundamental notions we build our work upon 4 3. The deﬁnition of an extended lattice gauge ﬁeld 6 4. Local and global topological aspects of extended LG ﬁelds 10 5. Extended LG ﬁelds in small dimensions 18 6. The spaces of extended LG ﬁelds 21 7. Pachner moves and the dependence on cellular decompositions 27 Appendix A. Cotriangulations 31 Appendix B. Proof of the reconstruction theorem 34 Appendix C. Proof of the equivalence theorem for bundle data 36 References 39 1. Introduction The standard geometric approach to the study of ﬁeld theories with gauge symmetry such as Yang–Mills theory begins with a principal G-bundle π : 2010 Mathematics Subject Classiﬁcation. Primary 55P35, 55R10, 70S15, 81T25. arXiv:1701.00775v5 [math-ph] 23 May 2020 2 MENESES AND ZAPATA P → M over a smooth manifold M. From it, a space of states A /G P P is induced—the space of gauge ﬁelds—consisting of smooth connections in P modulo the action of the group of gauge transformations. In the usual formulation of Lattice Gauge Theory (LGT) [Cre83], the discrete analogs of a gauge ﬁeld, the so-called lattice gauge ﬁelds, arise as evaluations of the parallel transport of a connection over a discrete collection of paths gene- rated by a lattice Λ. However, the role of the topology of P (an intrinsically global problem) is less evident in the subsequent axiomatization of lattice gauge ﬁelds when M is arbitrary. Diﬀerent proposals for a mechanism to consistently associate a bundle to a lattice gauge ﬁeld exist in the literature since the introduction of LGT. Lu¨scher [L82] observed that if the parallel transporters {g ∈ SU(2)} on a 4-torus satisfy certain metric constraints, then an interpolation algorithm could be deﬁned on such a LG ﬁeld to construct the topological charge of a principal bundle. In a series of works [Phi85, PS86, PS90, PS93], Phillips and Stone provided a rigorous construction of Lu¨scher’s algorithm for arbitrary compact M and G, in terms of a combinatorial realization of the homotopy of a principal bundle and its characteristic classes. The objective of this work is to propose an alternative to the previous ideas, which is somewhat similar in spirit to the combinatorial constructions of Phillips–Stone, but with a crucial diﬀerence: instead of truncating the space of LG ﬁelds, we complement LG ﬁelds, in such a way that the topology of a principal G-bundle is incorporated as part of the data in a local manner. Our proposal is motivated by the following proposition, proved in section 4. Let M be equipped with a network of paths Γ = {γ}, and let {p } be its set −1 of vertices. For any given P and a choice of ﬁber base points {b ∈ π (p )}, σ σ consider the map on A that assigns to any given connection A ∈ A its P P set of parallel transporters {g (A) ∈ G}. Proposition 1. For any choice of LG ﬁeld {g } in (M, Γ), and any prin- cipal G-bundle with a choice of base points (P,{b }), there exists a smooth connection A ∈ A (in fact, inﬁnitely many) such that g (A) = g . P γ γ The classiﬁcation of principal G-bundles on a smooth n-manifold M can be encoded in the homotopy theory of maps to the classifying space BG [Ste51, Mil56, NR61, MS74], the conjugacy classes of covering homotopy ˇ ˇ homomorphisms [Las56], and the Cech cohomology spaces H (M, G). In our proposal, a crucial step consists on interpreting the Cech cohomology classiﬁcation combinatorially, in terms of an auxiliary “scaﬀolding” structure in M, namely a cell decomposition C dual to a triangulation in M. The crucial fact that we exploit systematically is the correspondence—via clutch- 1 k ing maps—between H S , G , k ≥ 2 and the homotopy group π (G, e), k−1 reducing the study of the space H (M, G) to the groups π (G, e), 0 < k < n. This idea is not new, and goes back to Segal [Seg68]. A variation of it appears in [PS90, PS93] as the notion of parallel transport functions (p.t.f.). HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 3 Our proposal, leading to the notion of an extended lattice gauge ﬁeld (deﬁnition 9) consists of giving a discretization mechanism for gauge ﬁelds that preserves the topology of a principal G-bundle through the decimation process. We use an arbitrary but ﬁxed LG ﬁeld as a central ingredient to deﬁne relative homotopy classes of compatible transition maps from a bundle trivialization over a k-cell to trivializations over its boundary subcells (which we call glueing maps), 1 ≤ k ≤ n. As a result, not only every ELG ﬁeld encodes a LG ﬁeld, but also an isomorphism class of principal G- bundles in a local manner, getting rid of the indeterminacy in proposition 1. The idea behind the deﬁnition of an ELG ﬁeld is based on the Barrett– Kobayashi construction [Kob54, Bar91, Lew93, CP94], which asserts that an axiomatization of the notion of holonomy of a connection [KN63], based on the structure of a suitable group of equivalence classes of based loops in M, is suﬃcient to recover a pair (P, [A]) consisting of a principal G-bundle and a gauge orbit of smooth connections on it. The framework that we propose has yet another ﬁeld theoretical motiva- tion. When dealing with a manifold with boundary representing a portion of spacetime, Hamilton’s principle of extremal action for classical ﬁelds requires the consideration of spaces of ﬁelds that are compatible with a given ﬁeld at the boundary. Similarly, quantum ﬁeld theory frameworks require the consideration of spaces of ﬁelds whose restriction to the boundary is given. Our proposal originates from the consideration of such scenarios in the case of gauge ﬁelds described through their parallel transport. Consequently, the constructions in our work are suited to study such physically fundamental problems for gauge ﬁeld theories on base spaces which may have boundary and corners, which are essential in local covariant quantization frameworks such as spin foam models [Rei94, Bae98]. 1.1. A structural guide to our work. The article is organized as follows. We begin by providing a brief glossary of facts an terminology that our work is based on, presented in section 2. The aim is to give a precise and concise introduction to the structural foundations of our constructions: intimacy of paths, groups of based loops, holonomy maps, the Barrett-Kobayashi reconstruction theorem, and lattice gauge ﬁelds. To keep the exposition as brief as possible, the additional facts on cotriangulations that we will need are provided in appendix A. In some cases of physical interest where the topology of a bundle is necessarily trivial (e.g. the dimensions n = 2, 3, and G = SU(r); see remark 14) the added data is trivial, and our proposed extension yields standard LG ﬁelds. A precursor of our work in the case of two dimensional abelian gauge ﬁeld theory is presented in [ORS05], where it is shown that extra bundle data complementing ordinary LGT is essential in the construction of a spin foam model for two-dimensional gravity. This is the case because in two-dimensional gravity, there are homotopically non trivial maps from the boundary of a disk to the structure group, which in Euclidean signature is SO(2). In dimension four the relevant structure group is SU(2), which again makes the bundle structure data essential. 4 MENESES AND ZAPATA 3 introduces the main technical notions in our work, namely path Section groupoids P and parallel transport maps relative to a cotriangulation C , which are used to deﬁne ELG ﬁelds. In order to do so, the Barrett-Kobayashi reconstruction theorem for bundles with connection is ﬁrst reformulated ac- cordingly in theorem 2, with a proof presented in appendix B. Supplementing M with a network of paths—a discrete subgroupoid of P —leads to the no- tion of the LG ﬁeld of a parallel transport map. Similarly, a special type of ﬁnite-dimensional local path subgroupoids of P are the crucial ingredient to deﬁne ELG ﬁelds as suitable classes in relative homotopy. The deﬁnition of ELG ﬁelds is chosen for being succinct. However, we study the relation between ELG ﬁelds and isomorphism classes of principal G-bundles by dissecting the former into local building blocks. The dissected data is described in theorem 4, section 4. The local building blocks contain the usual LGT data, and additionally, homotopy classes of extensions of glueing maps from the boundary of a (k+1)-cell—a k-sphere—to its interior. This allows us to identify the minimal local topological data contained in an ELG ﬁeld that is suﬃcient to reconstruct a bundle, which we name the core of an ELG ﬁeld (corollary 1). Allowing the underlying LG ﬁeld to change continuously in a family of cores of ELG ﬁelds leads the notion of cellular bundle data, introduced in deﬁnition 12. The correspondence between cellular bundle data and isomorphism classes of principal G-bundles is proved in theorem 6 in appendix C. Section 5 is devoted to describing explicitly the dissected data in small dimensions. A study of the spaces of ELG ﬁelds is given in section 6. The dissected local data reveals a covering space structure in the space of ELG ﬁelds for a given triple (M,C , Γ), ﬁbering over the space of standard LGT data—a Lie group—(corollary 2). The group of deck transformations of the cover is modeled on subgroups of a product of homotopy groups, acting on the ho- motopy classes of extensions of glueing maps. The connected components of the cover are in bijective correspondence with H (M, G). As a by-product, we reconstruct the space H (M, G) as a homogeneous space for such a group of deck transformations (corollary 3). Section 7 describes the dependence of the bundle structure of ELG ﬁelds on auxiliary cotriangulations, addressed in terms of Pachner moves. Following the theorem of U. Pachner [Pac91], we provide an algorithm to determine when two ELG ﬁelds on diﬀerent cell decompositions are homotopic and deﬁne equivalent bundles (theorem 5). 2. Terminology and fundamental notions we build our work upon Let M be a smooth manifold (possibly with boundary and corners). A path γ : [0, 1] → M will always be assumed to be continuous and piecewise- smooth, unless otherwise stated. We follow the convention of denoting The core of an ELG ﬁeld corresponds to a homotopy class of p.t.f. in the terminology of Phillips–Stone [PS90, PS93], relative to a given LG ﬁeld. HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 5 γ(0) = s(γ) and γ(1) = t(γ) (the source and target of γ). In particular, −1 a based loop is a path satisfying s(γ) = t(γ). We will denote by γ the −1 inverse path γ (t) := γ(1− t) and the path composition of a pair (γ , γ ) 1 2 such that s(γ ) = t(γ ) by γ ·γ . For a choice of base point p ∈ M, Π(M, p) 1 2 1 2 will denote the path space of M with s(γ) = p. There is a natural ﬁbration −1 pr : Π(M, p) → M given by γ 7→ t(γ). We will denote the ﬁbers pr (q) by Π(M, p, q). In particular, Π(M, p, p) is the loop space Ω(M, p). The inversion and composition of loops deﬁne operations on Ω(M, p). Deﬁnition 1 ([Bar91, CP94]). Two based paths γ , γ ∈ Π(M, p, q) are 0 1 thin homotopic if there is a piecewise-smooth homotopy γ : [0, 1] → M such that γ(s,·) ∈ Π(M, p, q) ∀s ∈ [0, 1], γ(i,·) = γ for i = 0, 1, and γ [0, 1] ⊆ γ ([0, 1]) ∪ γ ([0, 1]). 0 1 Remark 1. If p = q and γ , γ are based loops, deﬁnition 1 is a reformulation 1 2 of Barrett’s [Bar91, CP94]. Let∼ be the equivalence relation in Π(M, p, q) given by decreeing γ ∼ γ if there is a ﬁnite sequence of thin homotopies 0 R 1 connecting them. A path retracing [AL94, GP96] is any thin homotopy −1 between a path of the form γ · γ · γ · γ and its reduction γ · γ . It is 1 2 1 2 a fundamental question, postulated in [Bar91, AL94, GP96], whether two paths γ , γ ∈ Π(M, p, q) are thin homotopic if and only if they diﬀer by 0 1 a ﬁnite collection of piecewise-smooth reparametrizations and retracings. Such correspondence would provide a useful characterization (and a possible axiomatization) of thin homotopy in terms of “generators and relations”. Let P(M, p) ⊂ Π(M, p) (resp. P(M, p, q) ⊂ Π(M, p, q)) the subspace of smooth paths with sitting instants at 0, 1 [CP94] i.e. smooth paths that are constant in a neigborhood of 0 and 1. Similarly, let L(M, p) = P(M, p, p). In general, there exist a retract Π(M, p, q) → P(M, p, q), since every path γ ∈ Π(M, p, q) can always be reparametrized to a new path γ ∈ P(M, p, q). CP94], cf. [SW09, BH11]). Two paths γ , γ ∈ P(M, p, q) Deﬁnition 2 ([ 0 1 are intimate if there is a smooth map γ : [0, 1] → M and 0 < ǫ < 1/2 such that γ(s,·) ∈ P(M, p, q) ∀s ∈ [0, 1], γ(s,·) = γ and γ(1− s,·) = γ for 0 1 0 ≤ s ≤ ǫ, and Rank (dγ) < 2 everywhere. Remark 2. There is an analogous equivalence relation ∼ in the spaces P(M, p, q) given by decreeing γ ∼ γ if they are intimate. Both thin 0 R 1 homotopy and intimacy possess a fundamental feature. The operations of (possibly reparametrized) inversion and composition of based loops descend −1 −1 to equivalence classes as [γ] := γ and [γ ]· [γ ] := [γ · γ ], leading to 1 2 1 2 an induced topological group structure on the quotient spaces Ω(M, p)/ ∼ and L(M, p)/ ∼ . It is shown in [CP94] that the relation ∼ is an explicit R R 2 2 example of a holonomy relation, i.e., if a pair γ , γ ∈ L(M, p) satisﬁes 0 1 γ ∼ γ , then Hol(A, γ ) = Hol(A, γ ) for any smooth connection A on 0 R 1 0 1 CP94] was motivated by the any principal G-bundle P → M. The work [ following subtle observation: it is not straightforward to show that thin homotopy is a holonomy relation. 6 MENESES AND ZAPATA We will denote the quotient P(M, p, q)/ ∼ by P(M, p, q). We can analogously deﬁne P(M, p) through the corresponding ﬁbration over M with ﬁbers P(M, p, q). We will call L (M, p) := L(M, p)/ ∼ the group of based loops of M. Given a pair (P, b) of a principal G-bundle π : P → M −1 and a choice b ∈ π (p), holonomy based at b deﬁnes a map A ∈ A 7→ Hol(A) ∈ Hom(L (M, p), G) P 0 where Hom(L (M, p), G) is the set of topological group homomorphisms L (M, p) → G satisfying a suitable smoothness condition (condition H3 in [Bar91]; c.f. deﬁnition 6). The holonomy map is invariant under the action of −1 the group G of gauge transformations acting trivially on π (p) (or equiva- P,p lently, preserving b), and descends to a map A /G → Hom(L (M, p), G) . P P,p 0 The Barrett-Kobayashi reconstruction theorem can be stated as follows. Theorem 1 ([Bar91, Lew93, CP94]). Given a choice of based principal G- −1 1 bundles P, b ∈ π (p) for every isomorphism class {P} ∈ H (M, G), the induced map (2.1) Hol : A /G −→ Hom(L (M, p), G) P P,p 0 ˇ 1 {P}∈H (M,G) is a bijection. Remark 3. The natural function space topologies of Hom(L (M, p), G) are not explicitly discussed in the works [Bar91, Lew93, AL94, CP94, GP96]. In this work we will only consider its topology induced by the identiﬁcation (2.1). In particular, there is an induced bijection (cf. [Las56]) (2.2) π (Hom(L (M, p), G) ) ←→ H (M, G). 0 0 Let C = {c } be a cotriangulation on M with prescribed base points B = {p ∈ c | c ∈ C}, and for every c ∈ C let B = {p ∈ c | c ⊂ c }. C τ τ τ τ τ σ σ σ τ Details on cotriangulations are presented in appendix A. Deﬁnition 3. A cellular network P in a cotriangulation C of M with base points B is the groupoid generated by a collection of smooth paths Γ = {γ ∈ P(c , p , p )} indexed by pairs of an arbitrary c ∈ C and στ τ τ σ τ any 0-cell c = p ∈ ∂c , with images in the 1-skeleton Sk (B(C )) of a σ σ τ 1 barycentric subdivision of C . A lattice gauge (LG) ﬁeld on (M, Γ) is a groupoid homomorphism g : P → G. 3. The definition of an extended lattice gauge field Deﬁnition 4. Let P := P(M, p , p ), C σ σ 1 2 p ,p ∈B σ σ C 1 2 and for every c ∈ C , let P := P(c , p , p ). τ τ σ σ 1 2 p ,p ∈B σ σ τ 1 2 HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 7 Remark 4. There are obvious inclusions ι : Pτ ֒→ P ∀c ∈ C . By a τ C τ slight abuse of notation, we will identify P with its image in P whenever τ C the context requires it. Remark 5. The deﬁnition of intimacy ensures that P and each P are C τ groupoids under the operation of path composition. In particular, the groupoids P contains the loop groups L (c , p ) ∀p ∈ B . Any cellu- τ τ σ σ τ lar network relative to C is a discrete subgroupoid P ⊂ P . Γ C r r Deﬁnition 5. Let D denote the unit disk in R . For any pair c , c ∈ C , σ σ 1 2 r r an r-dimensional smooth path family F is a map φ : D → P(M, p , p ) σ σ σ σ 1 2 1 2 induced by any smooth map f : D × [0, 1] → M such that γ := f(x,·) ∈ P(M, p , p ) ∀x ∈ U . σ σ 1 2 Deﬁnition 6. Let G be a Lie group. A smooth parallel transport map, relative to a choice of cotriangulation C of M, is a groupoid homomorphism PT : P → G, C C such that for any choice of local path family F , the map induced by σ σ 1 2 evaluation g : D → G σ σ 1 2 is smooth. Two parallel transport maps PT and PT are equivalent if there is a set {g ∈ G| c ∈ C} such that for any [γ] ∈ P(M, p , p ) τ τ σ σ 1 2 ′ −1 PT ([γ]) = g PT ([γ])g . C 2 C σ Remark 6. Let G be the groupoid (thought of as a covariant functor) which to every p ∈ M assigns a G-principal homogeneous space P , and to every morphism p → q, p, q ∈ M, assigns a G-equivariant map P → P . More p q generally, a smooth parallel transport map could be deﬁned as a groupoid homomorphism PT : P → G satisfying an analogous smoothness con- M M dition, where P = P(M, p, q) (cf. [SW09]). p,q∈M Remark 7. The motivation for deﬁnition 6 is the following. Let G be the P,∗ group of gauge transformations of a principal G-bundle π : P → M acting −1 trivially along the ﬁbers π (p ) . For any choice of base points cσ∈C −1 E := {b ∈ π (p ) | c ∈ C}, any isomorphism class of triples C σ σ σ [(P,E , [A] ∈ A /G )] C P P,∗ determines an equivalence class of smooth parallel transport maps {PT } via horizontal lifts and parallel transport. That the previous correspondence is bijective is just a reformulation of the theorem of Barrett-Kobayashi in terms of parallel transport. This fact is established in the following result. Its proof is given in appendix B. 8 MENESES AND ZAPATA Theorem 2 (Reconstruction theorem). Let M be a smooth n-manifold with a cotriangulation C , and G a Lie group. There is a bijective correspondence Classes [(P,E , [A])], G-valued smooth parallel transport ↔ . maps PT in M, up to equivalence [A] ∈ A /G C P P,∗ Remark 8. When ∂M 6= ∅ and ∂C := C| is also a cotriangulation of ∂M ∂M, let ∂P := P| . We can consider a ﬁxed gauge ﬁeld [a] ∈ A /G ∂M ∂P ∂P,∗ with corresponding parallel transport map pt : P → G where P ∂C ∂C ∂C is the corresponding path groupoid on ∂M. As a corollary of theorem 2, restriction of gauge ﬁeld data to the boundary of M induces an additional correspondence G-valued smooth parallel transport Classes [(P,E , [A])], maps PT in M such that ↔ [A] ∈ A /G such . C P P,∗ PT | = pt , up to equivalence that [A]| = [a] C P ∂C ∂P ∂C It will be very convenient to introduce a special class of path families F compatible with a cotriangulation C , which will be called cellular path στ families, and which will be considered exclusively henceforth. Deﬁnition 7. Given a set of based diﬀeomorphisms n o D = ψ : D → c , ψ (0) = p | c ∈ C , k = 1, . . . , n τ τ τ τ τ k its induced cellular path groupoid is the topological subgroupoid P ⊂ P D C generated by the ﬁnite-dimensional families F of paths στ −1 x x x γ := (γ ) · γ ∈ P(c , p , p ), x ∈ c ⊂ c τ τ σ σ τ στ σ τ x x where γ and γ are the images under ψ and ψ of the corresponding linear σ τ σ τ x x rays starting at 0 and such that t (γ ) = t (γ ) = x. In the special case σ τ when x = p , we will denote γ simply by γ . σ στ στ Any cellular path groupoid P ⊂ P contains in particular a cellular D C network groupoid P ⊂ P on it, generated by the paths γ for any Γ D στ c ′ ⊂ c . Such P then determines a LG ﬁeld for any parallel transport σ σ Γ map PT by restriction. The importance of cellular path groupoids relies on the fact that a choice of them can be used to deﬁne a homotopy equivalence relation on parallel transport maps relative to its cellular network. Deﬁnition 8 ((cf. [Las56], deﬁnition 3.5)). Two parallel transport maps PT and PT are relatively homotopic with respect to a choice of sub- groupoids P ⊂ P if there is a homotopy of groupoid homomorphisms Γ D t t g : P → G such that g | = PT is a ﬁxed LG ﬁeld ∀t ∈ [0, 1], and D P Γ D D 0 1 g = PT | , g = PT | . C P P D D D C D Lemma 1. Given a cellular network groupoid P , relative homotopy of parallel transport maps is independent of the choice of extending cellular path groupoid P ⊃ P . D Γ A continuous and piecewise-smooth structure on the family F is given in terms of στ its bijection with c . In particular, dimF = dim c . σ στ σ HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 9 Proof. Let D be any other collection of diﬀeomorphisms with the same cellular network groupoid P . This topological constraint implies that there t ′ is a homotopy of diﬀeomorphisms D between D and D preserving Γ, and an induced homotopy of cellular path groupoids P between P and P ′ D D preserving P . Therefore, two parallel transport maps PT and PT with Γ C a common LG ﬁeld g : P → G are relatively homotopic with respect to P if and only if they are relatively homotopic with respect to P ′. D D Deﬁnition 9. Let (M,C ,P ) be a cotriangulated manifold with a choice of cellular network P . An extended lattice gauge (ELG) ﬁeld is a relative homotopy class of smooth parallel transport maps with respect to a ﬁxed LG ﬁeld PT : P → G and any cellular path subgroupoid P ⊂ P ⊂ P . Γ Γ Γ D C We conclude this section with some remarks on path groupoids and smooth parallel transport maps that will be useful subsequently. Lemma 2. Every element [γ] ∈ P admits a local factorization [γ] = [γ ]····· [γ ]· [γ ] , v v v 2 1 with [γ ] ∈ P for some c , . . . , c ∈ C . Therefore, the path groupoid v v v v n 1 r i i P is in particular generated by the local subgroupoids {P } . C v c ∈C v n Proof. There exist multiple factorizations for a given path, but we prescribe one with a minimality property, as follows. Choose any representative γ ∈ [γ] whose image intersects the interiors of a ﬁnite and minimal number of n-cells c , . . . , c ∈ C (in the sense that there is no subcollection of n-cells v v n 1 r with the same property, although a given n-cell may appear several times). Then, there exist subintervals [a , b ], . . . , [a , b ] in [0, 1], such that 1 1 r−1 r−1 γ([a , b ]) ⊂ c ∩ c , i i v v i i+1 r−1 while for any other t ∈ [0, 1]\ ∪ [a , b ] , γ(t) lies in the interior of one of i i i=1 the previous n-cells. For every i = 1, . . . , r − 1, choose the minimal subcell c of c ∩ c such that γ([a , b ]) ⊂ c . Then, there exists another path σ v v i i σ i i i+1 i γ , intimate to γ, with an additional factorization into r subpaths ′ ′ ′ γ = γ ····· γ , r 1 ′ ′ such that γ ([0, 1]) ⊂ c for each i = 1, . . . , r, and t(γ ) = p for each v σ i i i i i = 1, . . . , r − 1. Letting [γ ] = [γ ], the claim follows. It follows from lemma 2 that a smooth parallel transport map is equivalent to a collection of compatible groupoid homomorphisms satisfying a suitable smoothness condition {PT : P → G} , σ σ c ∈C in the sense that for any c ⊂ c and [γ] ∈ P ⊂ P , PT ([γ]) = PT ([γ]). σ τ σ τ τ σ We may consider each possibility whenever it is more convenient. The local factorization of elements in P motivates local path families as the essential building blocks for the study of local subgroupoids in P . C 10 MENESES AND ZAPATA Remark 9. The cellular path families satisfy the following property. For any ′′ ′′ k -subcell c ′′ ⊂ c ∩ c ′, k > 0, consider the families F ′ , F ′′ , F ′′ ′. σ σ σ σ σ σ σ σ σ Whenever x ∈ c ′′, a local factorization of intimacy classes is induced x x −1 x (3.1) [γ ′ ] = [γ ′′ ′] · [γ ′′ ] , σ σ σ σ σ σ x x with γ ∈ F ′′ , γ ∈ F ′′ ′, which is written symbolically as ′′ ′′ ′ σ σ σ σ σ σ σ σ −1 ′ ′′ F | = F · F , c ′′ ′ σ σ ′′ σ σ σ σ ′′ ′ and which in particular applies when c ⊂ c ⊂ c . There are several σ σ σ relevant types of collections of cellular path families. Some important ones are given in terms of a collection F = {F } . min,D vw c ,c ∈C , c ∩c 6=∅ v w n v w −1 x x x x Hence∀x ∈ c ∩c , γ ∈ F and γ ∈ F are related as [γ ] = [γ ] . v w vw wv vw wv wv vw Any F ∈ F induces an (n − 1)-dimensional cell in P from its vw min,D C bijective correspondence with c ∩ c . Together, they generate an (n− 1)- v w dimensional topological subgroupoid P ⊂ P , the core of P , which min,D D D is the minimal cellular path subgroupoid containing the families in F . min,D 4. Local and global topological aspects of extended LG fields We will now assume for simplicity that G is a connected Lie group. The extra complications of the general case are easy to sort out, as the connected component of the identity G is normal in G, and π (G, e) = G/G . For 0 0 0 c → G will be called cellularly-smooth if any c ∈ C , a continuous map h : τ τ its restriction to any subcell c ⊂ c is smooth. σ τ Deﬁnition 10. A collection of glueing maps on (M,C ) is an assignment of a cellularly-smooth map g : c → G for any ﬂag c ⊂ c in C satisfying στ σ σ τ the factorization property −1 (4.1) g | = g · g ′ στ c ′ σ τ σ σ σ whenever c ′ ⊂ c ⊂ c . A collection of clutching maps, or skeletal transition σ σ τ functions, is an assignment of a cellularly-smoot map h : c ∩ c → G for vw v w −1 any pair c , c ∈ C with c ∩ c 6= ∅ satisfying h = h and the cocycle v w n v w vw wv conditions h | = (h | ) (h | ) ∀ c ∈ C , c = c ∩ c ∩ c . uw c uv c vw c σ n−2 σ u v w σ σ σ Remark 10. Every pair (PT ,P ) of a smooth parallel transport map and C D cellular path subgroupoid determines a collection of glueing maps, according to the rule x x (4.2) g (x) = PT ([γ ]) , γ ∈ F , στ C στ στ στ On a cotriangulation, if c ∩c = c for a pair c , c ∈ C , then c ∈ C necessarily. v w τ v w n τ n−1 HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 11 and a collection of clutching maps x −1 x (4.3) h (x) = PT ([γ ]) = g · g , γ ∈ F . vw C τw vw vw τv vw In particular, the LG ﬁeld of the pair (PT ,P ) is equivalent to the set of C D values {g (p ′)| c ⊂ c , c ′ ∈ C }, where C := {c ′ ∈ C | c ′ ⊂ c }. στ σ σ τ σ 0,σ 0,σ σ 0 σ σ ∼ k Deﬁnition 11. For a ﬁnite subset Y ⊂ X, where X S or D , and a map g : Y → G, a relative homotopy class [X, G, g ] is an equivalence class of 0 0 cellularly-smooth maps g : X → G via cellularly-smooth homotopies subject to the constraint g| = g . Y 0 Deﬁnition 12. Let (M,C ) be a cotriangulated n-dimensional manifold. A choice of cellular bundle data relative to C is an equivalence class of collections of clutching maps {h : c ∩ c → G} , vw v w c ,c ∈C , c ∩c 6=∅ v w n v w where two collections are equivalent if there exists simultaneous clutching ′ ′ ′ map homotopies (h , h , h ) ∼ (h , h , h ) (cellular equivalences) for uv vw wu uv vw wu all triples {c , c , c } ⊂ C such that c ∩ c ∩ c 6= ∅. u v w n u v w Remark 11. A choice of cellular bundle data is equivalent to an isomorphism class of principal G-bundles. Details are given in theorem 6 (appendix C). Theorem 3. An ELG ﬁeld is equivalent to a class of collections of gluing maps {g | c ⊂ c } under simultaneous relative homotopies with respect to στ σ τ a ﬁxed set of values {g (p ′)| c ⊂ c , c ′ ∈ C }. In particular, to every στ σ σ τ σ 0,σ ELG ﬁeld there is associated an isomorphism class of principal G-bundles on M and a LG ﬁeld on (M, Γ). Proof. By deﬁnitions 8–9, lemma 1, and remark 10, an ELG ﬁeld determines a class of collections of gluing maps {g | c ⊂ c } under simultaneous στ σ τ relative homotopy with respect to the set {g (p ′)| c ⊂ c , c ′ ∈ C }. στ σ σ τ σ 0,σ Conversely, consider any class of collections {g | c ⊂ c } with respect to στ σ τ a ﬁxed set of values at 0-cells. Then the predetermined choice of discrete subgroupoid P ⊂ P determines a LG ﬁeld PT on M. The clutching Γ C Γ −1 maps {h = g · g } of any collection representing the class induce a vw τw τv principal G-bundle P with a set of ﬁber points E , whose isomorphism type is an invariant of the class. Any isomorphism type {P,E } can be prescribed in this way, since a choice of clutching maps representing it can always be deformed locally to have any given values at 0-cells. We will prove the existence of a right-invariant smooth horizontal distribution on P generating a collection of class representatives {g }, in terms of right-invariant lifts of στ the elements of any auxiliary choice of cellular path subgroupoid P ⊃ P . D Γ The ELG ﬁeld of the resulting connection will be independent of the choices of P and glueing map representatives. The clutching maps of a pair (PT ,P ) will play the role of transition functions C D for the principal G-bundle P of a gauge ﬁeld (cf. the parallel transport functions in [PS90, PS93]), and transform as such under homotopies of PT (proposition 3). C 12 MENESES AND ZAPATA in By construction, the bundle P is trivialized along the restrictions P| terms of P , and the gluing maps {g } compare trivializations whenever D στ c ⊂ c . In particular, this implies the existence of right-invariant collections σ τ of horizontal lifts of the elements in the smooth families {F }, στ −1 x x x x g f f g γ = γ · γ , π ◦ γ = γ , ∀ c ⊂ c , x ∈ c , σ τ σ στ σ τ στ στ in such a way that the parallel transport of the unique lift γ with source στ s γ = b equals g (x) (notice that this is an order 0 constraint on lifts). τ στ στ n o Since ∀ c ∈ C \ C the collections of induced horizontal ray lifts γ σ 0 −1 c \{p }), there is an induced 1-dimensional determine a foliation of π ( σ σ −1 right-invariant horizontal distribution on π (c \{p }), deﬁned in terms σ σ x x f f of the tangent lines T γ for any b 6= s γ in the image of any given b σ σ induced ray lift γ . In order to show the existence of the desired smooth connection on P, additional ﬁrst order constraints must be imposed by allowing deformations of the previous choices of horizontal lifts, in such a way that their sources and targets remain ﬁxed. These constrains are unobstructed, inductive, and solved by smooth (n − k + 1)-dimensional right-invariant horizontal −1 distributions K on π (c \{p }) for every c ∈ C , k ≥ 1, satisfying σ σ σ σ k suitable compatibility conditions. The constraints are given as follows: (i) ∀ c , c ∈ C , K | −1 = K | −1 . σ σ k σ σ 1 2 1 π (c ∩c ) 2 π (c ∩c ) σ σ σ σ 1 2 1 2 (ii) ∀ c ⊂ c , K | ⊂ K , −1 σ τ τ σ π (c \{p }) σ σ (iii) ∀ c ∈ C , there is a small open neighborhood p ∈ W and a smooth σ σ σ −1 n-dimensional right-invariant horizontal distribution J in π (W ) σ σ such that K | −1 ⊂ J | −1 . σ π (W ∩c \{p }) σ π (W ∩c \{p }) σ σ σ σ σ σ The distributions K are constructed inductively over n-cells, (n− 1)-cells, and so on, by combining the diﬀerent 1-dimensional distributions constructed before and deforming the lifts accordingly in such a way that the conditions (i)–(iii) are met (to do this, observe that a k-cell is in the boundary of exactly n− k + 1 diﬀerent (k + 1)-cells). Any smooth n-dimensional right-invariant horizontal distribution on P that contains each K is equivalent to a smooth connection on P inducing the collection {g } in terms of P and E . στ D C Proof of proposition 1. For any LG ﬁeld on (M, Γ) and any isomorphism class {P} ∈ H (M, G), consider any compatible cell decomposition C , and any set of clutching maps {h } representing {P} and compatible with vw ′ ′ the corresponding set of values {g (p )| c ⊂ c , c ∈ C }. It follows στ σ τ 0,σ σ σ from theorem 3 that there is an ELG ﬁeld relative to (C , Γ) extending PT whose isomorphism class of principal G-bundles is {P}. By theorem 2, any representative parallel transport map PT is equivalent to a gauge orbit of connections with prescribed LG ﬁeld on each representative P ∈ {P}. HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 13 1, it is established that the map Remark 12. In proving proposition {PT } 7→ ({π : P → M}, PT ), C Γ assigning to an ELG ﬁeld its isomorphism class of principal bundles and LG ﬁeld, is surjective. This is elaborated in section 6. The construction of glueing maps {g } from a pair (PT ,P ) leads στ C D to another set of relative homotopy data which is actually equivalent to an ELG ﬁeld dissected into local pieces. This fact provides a mechanism to identify when two smooth parallel transport maps yield isomorphic principal G-bundles. We present such data in theorem 4. The missing step for the new characterization is a glueing mechanism described in lemma 3. Lemma 3. Let C be a cotriangulation of the k-sphere S and g : C → G 0 0 be ﬁxed. If every c ∈ C has assigned a relative homotopy class [g ] ∈ τ k τ c , G, g | , such that for any c , c ∈ C with c = c ∩ c 6= ∅, we τ 0 C τ τ k σ τ τ 0,τ 1 2 1 2 have that [g | ] = [g | ] as homotopy classes in c , G, g | , then the τ c τ c σ 0 C 1 σ 2 σ 0,σ classes {[g ]} can be glued into a well-deﬁned element [g] ∈ S , G, g . τ c ∈C 0 Proof. The fundamental step to prove the lemma is a mechanism to glue neighboring classes to a new class over the union of their domain. After repeating the step as many (ﬁnite) times as necessary, we obtain an honest homotopy class in S , G, g . Denote by c an arbitrary k-cell. Consider all k-cells neighboring c , i.e. τ τ 1 1 the c ′ ∈ C such that c ∩c ′ 6= ∅, which can also be labeled as c , . . . , c . τ k τ τ τ τ 1 2 m The ﬁrst step is to construct a class of cellularly equivalent maps deﬁned 1 k over ∪ c . Such set is either homeomorphic to D , to S minus a ﬁnite i=1 i number of open disks, or to S . We will consider each case, noting that the ﬁrst one leads to the last two. 1 k Let us ﬁrst assume that ∪ c is a closed disk in S . By hypothesis, i=1 i for any pair {c , c } with c ∩ c = c , the induced classes [g | ] τ τ τ τ σ τ c 1 1 1 σ i i 1i 1i and [g | ] coincide. Since there are no local obstructions over multiple τ c i σ 1i intersections, we may choose representatives such that g | = g | , and τ c τ c 1 τ i τ 1i 1i moreover, we can apply the same principle to all intersections c = c ∩c , τ τ τ ij i j 2 ≤ i, j ≤ m , we may also assume that g | = g | . Hence, the 1 τ c τ c i τ j τ ij ij representatives g , . . . , g glue to deﬁne a piecewise-smooth function on τ τ 1 m m m 1 1 ∪ c , and hence induce a class of cellularly equivalent maps on ∪ c . τ τ i i i=1 i=1 We now add all k-cells c ′′ intersecting nontrivially with ∪ c , and repeat τ τ i=1 the previous procedure, until the complementary k-cells do not intersect pairwise. The resulting set must be S minus a ﬁnite number of open disks. Call the remaining cells c , . . . , c . Upon ordering the closures of (k− 1)- τ τ f f 1 l cells c in the boundary of each c , there is a representative g in its class σ τ τ f f j j whose values at each c coincide with the boundary values of the previously constructed g. In this way, we obtain a piecewise-smooth map g : S → G, up to piecewise-smooth homotopy ﬁxing the values at every 0-cell, whose restriction to any k-cell recovers the starting homotopy classes. 14 MENESES AND ZAPATA To see that the previous procedure is independent of the choice of k-cell in S at every step, repeat it with any other choice of k-cells at every step, ′ ′ and call g the constructed map. Since g attains the same values than g at ′ −1 k any 0-cell, and by hypothesis the restriction of g g : S → G to any of the k-cells of C determines a trivial cellular homotopy class, it follows that ′ −1 the homotopy class of g g , as an element in π (G, e), must be trivial. In ′ k particular, it follows that [g ] = [g] as elements in S , G, g . Remark 13. Let c ∈ C and g : C → G a ﬁxed map. If c ⊂ c , every σ 0 0,σ σ k σ h i element in [c , G, g ] induces an element in c ′, G, g | . We can give a σ 0 σ 0 C 0,σ recursive description of the space [c , G, g ] using lemma 3, in terms of two σ 0 types of data. The ﬁrst type is parametrized by the subspace H of h i c ′, G, g | σ 0 C 0,σ c ⊂c ′ σ of elements such that over any ∂c ′, the glueing of homotopy classes from h i lemma 3 is an element in S , G, g | that is trivial when identiﬁed 0 C 0,σ with the free homotopy class that contains it, i.e. every representative is also homotopic to a constant map, if one forgets the ﬁxed values at 0-cells. We will call H the space of boundary homotopy data. In this way, we get a surjection pr : [c , G, g ] → H , σ 0 σ whose ﬁbers are all homotopy extension classes from ∂c to c , and are σ σ a principal homogeneous space for the group π (G, e). Such structure is described in lemma 4, necessary for the proof of theorem 4 and corollary 2. Its ﬁrst part is a standard result used to prove the abelian nature of the homotopy groups of G, and we include it for the sake of completeness. Lemma 4. The groups π (G, e) can be realized as the sets of homotopy classes of maps g : D → G such that g| = e, with product induced from ∂D pointwise multiplication of maps. For any k-cell c and g : C → G, there σ 0 0,σ c , G, g ] deﬁned equivalently in terms of left is a free action of π (G, e) on [ k σ 0 or right pointwise multiplication, whose orbits are the ﬁbers of pr . Proof. Let x , . . . , x be cartesian coordinates in R . The multiplication of 1 k two classes [g], [g ] ∈ π (G, e) can be described in terms of the choice of a k k k k pair of diﬀeomorphisms ψ : D → D , where D (resp. D ) is the set of ± + − k ′ points in D such that x > 0 (resp. x < 0), by letting [g]∗ [g ] be the class k k of maps g ∗ g such that ′ ′ ′ g ∗ g | k = g ◦ ψ and g ∗ g | k = g ◦ ψ + − D D + − for any pair of representatives g, g . Upon the choice of a pair of 1-parameter k k families of open cells D (t) ⊂ D such that k k k k D (0) = D and D (1) = D , ± ± ± HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 15 and complemented with a pair of 1-parameter families of diﬀeomorphisms t k k 0 1 ψ : D (t) → D such that ψ = ψ and ψ = Id, we can deﬁne a based ± ± ± ± homotopy between any given representative g∗g and the pointwise product ′ k gg : D → G by letting g∗ g (t) to be equal to t k k k g ◦ ψ on D (t)\ D (t)∩ D (t), + + + − ′ t k k k g ◦ ψ on D (t)\ D (t)∩ D (t), − − − − t ′ t k k g ◦ ψ g ◦ ψ on D (t)∩ D (t). + − − − ′ ′ A similar argument shows the existence of a homotopy between g∗g and g g. The actions of π (G, e) on [c , G, g ] by pointwise left and right multiplica- k σ 0 tion are equivalent by the previous argument, and are free since given any c , G, g ], and [f] ∈ π (G, e), the classes [fg] = [gf] and [g] coincide [g] ∈ [ σ 0 k if and only if [f] is the identity in π (G, e). They also preserve the ﬁbers of pr , and the induced action on any given ﬁber of pr is transitive. σ σ Theorem 4 (Dissection of extended lattice gauge ﬁelds). Every ELG ﬁeld {PT } on (M,C , Γ) is equivalent to map which assigns, to every ﬂag c ⊂ c C σ τ in C , c ∈/ C , the following collection of local homotopy data of glueing σ 0 maps: (a) To every 0-subcell c ⊆ c , a group element g (p ) = PT γ ∈ G, στ σ Γ στ (b) More generally, to every k-subcell c ′ ⊆ c , k > 0, an extension class σ σ of maps [g | ] from ∂c ′ to c ′, given the inductive boundary homotopy στ c ′ σ σ h i constraint in ∂c ′, G, g | , when k ≥ 2, σ στ C 0,σ (4.4) g | = g | , στ ∂c στ c ′ ′′ σ σ {c ∈C | c ⊂c } ′′ ′′ ′ k−1 σ σ σ which is trivial when identiﬁed with the free homotopy class that contains it. Moreover, whenever c ⊂ c ⊂ c , the compatibility conditions σ σ τ g ′ (p ′′) = g ′ (p ′′)· g (p ′′), σ τ σ σ σ σ στ σ ′′ ′ are satisﬁed at every 0-cell c ⊂ c , and more generally, the compatibility σ σ condition (4.5) g ′ | = g ′ | · g | , σ τ c σ σ c στ c ′′ ′′ ′′ σ σ σ ′′ ′ ′ is satisﬁed at every k-cell c ⊆ c , k = 1, . . . , dim(c ). σ σ σ The sum in the second term of the equality denotes the glueing of homotopy classes of cellularly smooth maps to ∂c from lemma 3 for the map g | of values at 0-cells. σ στ C 0,σ The right-hand side denotes the class of products of piecewise-smooth representa- tives in the relative extension classes g |c , gστ|c , which coincides with the σ σ ′′ ′′ σ σ corresponding relative extension class of any class representative (cf. lemma 4). ⊂ ⊃ ⊂ 16 MENESES AND ZAPATA Proof. The disection of {PT } as relative extension homotopy classes with ﬁxed values over 0-cells is straightforward. The restriction of the class repre- sentatives g to any subcell c ′ determines local homotopy classes of maps στ σ over c ′ relative to the 0-cells in its boundary, that can be factored as a boundary homotopy class over ∂c ′ which is necessarily trivial as a free ho- motopy class, together with an extension class to the interior c ′. The classes associated to (k−1)-cells c ′′ in ∂c ′, for any given k-cell c ′, glue according σ σ σ to lemma 3 to class of maps over ∂c ′ that are homotopic to a constant map. The homotopical data obtained this way satisﬁes the compatibility conditions stated above. Conversely, given a collection of homotopy classes of extension maps to c ′′ for every ﬂag c ′′ ⊂ c ⊂ c , with ﬁxed values at 0-cells and satisfying σ σ σ τ the glueing compatibility conditions above, it follows from lemma 3 that we can reconstruct a class of collections of glueing maps {{g } }, under στ c ⊂c σ τ relative homotopy for the ﬁxed values at 0-cells, as there are no obstructions to extending a given map to the interior of a closed cell. Such a class of collections of glueing maps is equivalent to an ELG ﬁeld by theorem 3. | c ∈ C} of an ELG ﬁeld are intrinsically local, The restrictions {PT | C c σ as parallel transport evaluations of the ﬁeld along the plaquettes contained in c are. As an important consequence, a given ELG ﬁeld determines a given bundle structure locally, in the sense that if its restrictions are known for every n-cell in C , the ELG ﬁeld (and in particular, its principal G-bundle) can be recovered. Hence, any local action functional deﬁned on ELG ﬁelds could be expressed as a sum of functionals of restrictions over n-cells. Consider the core subgroupoid P ⊂ P generated by the cellular D,min D path subfamilies F for c , c ∈ C , c ∩ c 6= ∅. With it we can deﬁne vw v w n v w bigger homotopy classes of smooth parallel transport maps {PT } with C min ﬁxed values over the discrete subgroupoid P = P ∩ P . Denote Γ,min Γ D,min the projection of an ELG ﬁeld {PT } onto the larger class containing it by pr ({PT }). core Deﬁnition 13. The core of an extended lattice gauge ﬁeld {PT } is the resulting homotopy class of smooth parallel transport maps with respect to any core subgroupoid P , i.e. {PT } := pr ({PT }). D,min C min C core The core of an extended lattice gauge ﬁeld constitutes the minimal local homotopical information that is required to recover an isomorphism class of principal G-bundles. On a cotriangulation C , every c ∈ C determines σ n−2 two sets of triples {c , c , c } ⊂ C , {c , c , c } ⊂ C such that c = v v v n τ τ τ n−1 σ 1 2 3 1 2 3 c ∩ c ∩ c = c ∩ c ∩ c , together with a system of gapless ﬂags v v v τ τ τ 1 2 3 1 2 3 (4.6) c ⊃ c ⊂ c τ σ τ 3 2 c ⊃ c ⊂ c v τ v 2 1 3 ⊃ ⊂ HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 17 For every triple of n-cells as above, the cocycle condition for the restriction of the triple of clutching maps to their common (n−2)-cell closure c can be formulated as their equivariance under suitable S -actions, as follows. There is an action of S on G×G×G, prescribed on a choice of two generators in the following way: for the (even) 3-cycle (123), (123)· (g , g , g ) = (g , g , g ), 1 2 3 3 1 2 −1 −1 −1 and for the (odd) transposition (12), (12) · (g , g , g ) = (g , g , g ). 1 2 3 2 1 3 Consider the multiplication map T : G× G× G → G, (g , g , g ) 7→ g g g , G 1 2 3 1 2 3 −1 let V = T (e), and denote by pr the projections from G×G×G into the ith factor. It follows that V is invariant under the S -action deﬁned before, G 3 and that V G× G under the projections pr × pr to any pair of distinct i j i, j ∈ {1, 2, 3}. The previous action, which we call triadic, is faithful. Consider a triple of clutching maps for any triple of n-cells {c , c , c } v v v 1 2 3 as before. Deﬁne the maps ijk h := h | × h | × (h | ) : c × c × c → G× G× G v v c v v c v v c σ σ σ σ i j σ σ σ j k k i whose restriction to the diagonal Δ(c ×c ×c ) lies in V . The arbitrariness σ σ σ G of the labeling in the triple of n-cells is equivalent to the fact that the n o ijk S -action on the set of maps h by index permutations, is given by 3 σ postcomposition with the triadic action on their respective images. Corollary 1. The core {PT } of an extended lattice gauge ﬁeld {PT } C min C is equivalent to a collection of the following local homotopy data: (a) To every triple of elements c , c , c ∈ C such that c ∩c ∩c = c v v v n v v v σ 1 2 3 1 2 3 with c ∈ C as in (4.6), we assign σ n−2 (i) For every 0-cell c ′′ ⊂ c , a point h (c ′′) ∈ V , σ σ G σ σ 0 0 (ii) More generally, for every k-cell c ′ ⊆ c , k = 1, . . . , n− 2, a relative σ σ homotopy class of maps h | : c ′ → V , σ c σ G with ﬁxed values over 0-subcells, representing an extension class from ∂c ′ to c ′, that is determined by the inductive boundary data in σ σ h i ∂c ′, V ,h | when k ≥ 2, σ G σ C 0,σ h | = h | , σ ∂c σ c ′ ′′ σ σ {c ∈C | c ⊂c } ′′ ′′ ′ k−1 σ σ σ which is trivial when identiﬁed with the free homotopy class that contains it. The sum denotes the glueing of homotopy classes of cellularly smooth maps con- structed in lemma 3, while h | is the map of prescribed values at 0-cells. Following C ′ 0,σ lemma 4, the set of such extension classes is a principal homogeneous space for π (V , e), k G where e = (e, e, e) (cf. corollary 2). 18 MENESES AND ZAPATA The assignment is equivariant for the permutation action of the group S on the triple c , c , c and its triadic action on V . v v v G 1 2 3 (b) To every pair of elements c , c ∈ C such that c ∩ c = c with v w n v w τ c ∈ C , we assign an extension class [h : c → G] of the inductively τ n−1 vw τ glued boundary class over ∂c to c , in such a way that the resulting induced τ τ glued class [h · h ] is homotopically trivial. wv vw Proof. Follows from theorem 4 and the relation (4.3) between clutching and glueing maps, as there is an the equivalence between the core of a ELG ﬁeld and a homotopy class of collections of clutching maps {{h } } vw c ∩c 6=∅ v w with ﬁxed values over 0-cells. When the latter are dissected over compatible triples, we obtain the local homotopy data stated above, the ﬁrst part arising from any triple of cells c ∩ c ∩ c = c , while the residual data takes v v v σ 1 2 3 the form of relative extension classes over all (n−1)-cells. Conversely, given any such choice of local homotopy data, it follows from the compatibility conditions, together with lemma 3, that the homotopy classes induced by the projections π (h | ) of the maps h | into components, with i = 1, 2, 3, i σ c ′′ σ c ′′ σ σ together with the extension classes [h ], determine a homotopy class of vw collections of clutching maps with ﬁxed values at 0-cells. 5. Extended LG fields in small dimensions To suplement section 4, we provide the explicit characterization of ELG ﬁelds following from theorem 4 and corollary 1, for manifolds of dimensions 2, 3 and 4. The characterization suggests a recursive algorithm that could be implemented in general to determine a set of generators for the extension classes, based on a systematic use of the compatibility conditions (4.5). Recall that for any Lie group G, the group π (G, e) is abelian, π (G, e) is 1 2 trivial, while π (G, e) is torsion-free, and hence isomorphic to Z for some m [Mil63]. • (n = 2) This is the simplest nontrivial case. The cotriangulations are cell decompositions with exactly 3 edges merging at each vertex (4.6), such as the tetrahedral, cubical and dodecahedral cellular representations of the 2-sphere. The only ﬂags that need to be considered take the form c ⊂ c τ v with c ∈ C , and an ELG ﬁeld is simply a splitting of its core: the latter τ 1 corresponds to (i) an assignment of a parallel transporter to every path of the −1 form [γ ] ·[γ ] for any pair of 2-cells c , c sharing a common boundary σv σw v w c containing a 0-cell c , and (ii) a collection of extension classes [h ] τ σ vw relative to their boundary values, grouping together as the points {h } ⊂ V . In turn, an ELG ﬁeld corresponds to (i) an assignment of a parallel −1 transporter to every path of the form [γ ] · [γ ], and (ii) a collection στ σv of extension classes [g ] relative to their ﬁxed (and compatible) boundary τv values g (p ), g (p ′), c , c ′ ⊂ ∂c . Hence, every class representative h τv σ τv σ σ σ τ vw −1 splits as g · g , for a pair of class representatives g , g . All of such τw τv τw τv −1 −1 −1 −1 Observe that [γ ] · [γ ] = [γ ] · [γ ] · [γ ] · [γ ] . σv σw στ σv στ σw HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 19 extension classes can be parametrized by elements in π (G, e) once auxiliary choices of extension maps are made. The boundary homotopy constraints (4.4) and the compatibility conditions (4.5) are vacuous. Figure 1. Stereographic projection of a tetrahedral cellular decomposition of the 2-sphere, together with a cellular net- work. Base points are indicated with the letter p. The 2-cells are labelled with the subscripts v , the 1-cells with τ , and i j the 0-cells with σ . In fact, more can be said in dimension 2, regarding the projection of an ELG ﬁeld to its cellular bundle data. We can prescribe an equivalence class of principal G-bundles by means of a “canonical form” under cellular equivalence of an ELG ﬁeld. Recall that the equivalence classes of principal G-bundles over a surface S are parametrized by π (G, e), and correspond to homotopy classes of transition functions for a trivialization {S\{p},U }, where p is an arbitrary point in S and U is a small disk containing p, after a retraction from (S \ {p}) ∩ U to a choice of some simply closed loop γ ⊂ (S \{p})∩ U is made. If we let γ be the boundary of a 2-cell c ∈ C , p = p , and U = U , we can recover all equivalence classes by choosing any v v 1-cell c ⊂ ∂c (such that c = c ∩ c ), choosing arbitrary elements in V τ v τ v w G for every c ∈ C , and decreeing all extension classes of clutching maps to be σ 0 trivial, except for [h ]. The correspondence of such data and equivalence vw classes of principal G-bundles follows when the extension classes of clutching maps over the 1-subcells in ∂c are glued. • (n = 3) Over a 3-manifold, besides the prescription of a LG ﬁeld with h i generators corresponding to the parallel transports of all paths γ ′ joining σ σ the base point of a k-cell c , k = 1, 2, 3, and a 0-cell c ′ in its boundary, the σ σ compatible values at 0-cells c ′ for the relative homotopy classes of glueing 0 20 MENESES AND ZAPATA maps can be constructed as h i h i h i −1 p g p ′ = PT γ ′ · γ ′ = PT γ . στ στ σ σ σ σ τ 0 0 0 Then, an ELG ﬁeld can be entirely described in terms of the ﬂags of the form c ⊂ c and c ⊂ c , with c ∈ C , c ∈ C , c ∈ C . This is so since the σ τ σ v σ 1 τ 2 v 3 relative homotopy classes [g ], [g ] are determined by a single extension στ σv to c , which can be parametrized by elements in the group π (G, e) after an σ 1 auxiliary choice of extension maps is made. Then, the extensions of a class [g ] over the boundary 1-subcells c are determined recursively from the τv σ factorization property of representatives following (4.5) −1 g | = g · g , τv c σv σ στ and their glueing over ∂c is homotopic to a point in G, according to (4.4). The remaining extension class for [g ] to the 2-cell c is necessarily trivial, τv τ as a consequence of the triviality of π (G, e). • (n = 4) This case is also easy to describe. Let c ∈ C , c ∈ C , c ∈ C , 1 σ 2 τ 3 c ∈ C . Once a LG ﬁeld has been prescribed in terms of a set of generators v 4 as in the case n = 3, and the induced choice of all compatible values at 0-cells for the relative homotopy classes of glueing maps is constructed, we proceed as follows. To construct the extension classes, the fundamental scaﬀolding is determined by the relative homotopy classes [g ′ ], [g ′ ] and σ σ σ τ [g ′ ], which are determined by an extension class from ∂c ′ to c ′. As before, σ v σ σ such extension classes can be parametrized by elements in π (G, e), once an auxiliary choice of extension map is made. The homotopy classes [g | ] στ c and [g | ] are determined once again from the factorization property of τv c representatives −1 −1 g | = g · g ′ , g | = g · g ′ , ′ ′ στ c ′ σ τ τv c ′ σ v σ σ σ σ σ τ which, in turn, determine the classes [g | ]. Once the boundary homotopy σv c ′ constraint (4.4) is imposed on the glued classes [g | ] and [g | ] (which στ ∂c τv ∂c σ σ imply the same constraint for the class [g | ]), their extensions from ∂c σv ∂c σ to c are trivial since π (G, e) is so. For the same reason, the boundary σ 2 homotopy constraint for [g | ] is automatically veriﬁed. To conclude, the τv ∂c prescription of the extensions of [g ] from ∂c to c can be parametrized τv τ τ by π (G, e) once an auxiliary choice of extension map is made. A minimal example that holds in the previous cases, and in fact, for arbitrary dimensions, is the n-sphere, with a cellular decomposition induced from its realization as the boundary of an (n + 1)-simplex or an (n + 1)- cube. For instance, when n = 2, and S corresponds to the boundary of a tetrahedron (ﬁgure 1), we can list a pair of paths for every 1-cell c , joining p and the 0-cells in its boundary c , c . Each of these paths gets τ σ σ 1 2 assigned a corresponding parallel transport value PT ([γ ]), playing the σ τ role of a prototypical LG ﬁeld in the usual sense. The previous paths get h i complemented with the paths γ ′ in a cellular network, joining the base σ σ 0 HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 21 point of an arbitrary k-cell c , k ≥ 2, to a 0-cell c in its boundary, and also get assigned a parallel transport value. Together, they fully determining a LG ﬁeld. The prescription gets completed with an extension class of maps for every ﬂag c ⊂ c , and every k-subcell c ⊆ c . When n = 2, there σ τ σ σ is one such extension class for every ﬂag c ⊂ c with c ∈ C , and the τ v τ 1 extensions for the pairs c ⊂ c and c ⊂ c , such that c = c ∩ c , are τ v τ w τ v w inverse to each other. Remark 14. In the case when G is compact, simple, and simply connected, as is the case for the groups SU(r) of physical interest, the only rele- vant homotopical information in small dimensions is contained in the group π (G, e) Z [Bot56, Mil63]. Hence, we conclude a posteriori that in such case, LG and ELG ﬁelds coincide when n = 2, 3. This observation may look deceiving, but it is actually a conﬁrmation of the fundamental diﬀerence in nature between these dimensions and the case n = 4, while also conﬁrms that for the former, standard LGT methods are in fact complete from a topological perspective. We plan to return to the problem of the determina- tion of the SU(r)-topological charge of an extended lattice gauge ﬁeld when n = 4, and contrast it with the work of Phillips-Stone [PS86, PS90, PS93]. 6. The spaces of extended LG fields We will now study the spaces of ELG ﬁelds for a given Lie group G and a cotriangulation C in M. Such spaces are smooth ﬁnite-dimensional manifolds, whose topology encodes H (M, G). Given a triple (M,C , Γ), let us denote its space of LG ﬁelds by M . M Γ Γ is isomorphic to the Lie group G , where N is the number of edges in Γ, inheriting a smooth manifold structure. Denote the corresponding set of ELG ﬁelds by M . There is an obvious forgetful map (6.1) pr : M → M . C Γ which is surjective as a consequence of theorem 3 (see remark 12). In a similar way, if we let N be the set of cores of ELG ﬁelds, and N the C Γ smooth manifold of their network data, there is a surjective forgetful map (6.2) pr : N → N , C Γ min which together with the additional projections pr : M → N , and core C C pr : M → N form a commutative diagram Γ Γ Γ,min pr core M −−−−→ N C C pr pr (6.3) C min y y pr Γ,min M −−−−→ N Γ Γ There exist smooth manifold structures on M and N in such a way C C that (6.1) and (6.2) are covering maps. Such structures are encoded in a “path lifting” property implicit in the deﬁnition of ELG ﬁelds. Consider 22 MENESES AND ZAPATA t 0 any smooth path PT : [0, 1] → M joining any two given LG ﬁelds PT and Γ Γ PT . Then it follows from the inductive mechanism described in theorem 4 that for every choice of ELG ﬁeld 0 −1 0 PT ∈ pr PT , C Γ there is an induced homotopy lifting gt PT : [0, 1] → M −1 1 gt 1 whose target {PT } := t PT lies in pr PT . Moreover, for any LG C Γ Γ ﬁeld PT in a suﬃciently small neighborhood U ⊂ M of PT , its lift Γ Γ {PT } ∈ M would be independent of the choice of path joining PT and C C Γ PT , deﬁning a local bijection over U . Consequently, there is an induced smooth manifold structure on M . An analogous construction on the points of N can be implemented as well. The path lifting property on M and C C N implies that the maps (6.1) and (6.2) are covering maps. The groups of deck transformations of M and N admit an explicit C C description in terms of “generators and relations”. Consider the group Y Y e G = G , C σ c ⊂c c ′⊆c σ τ σ where G ′ = π (G, e) for c ′ ∈ C (in particular, G ′ = {e} when k = σ k σ k σ 0). We will consider a subgroup determined by a series of group relations of two kinds. For any ﬂag c ′ ⊂ c ⊂ c , and c ′′ ⊆ c ′, consider the σ σ τ σ σ homomorphisms ′′ ′′ σ σ −1 e e e ′′ Θ ′ : G × G × G → G , Θ ′ := (pr ′′ ′ ) (pr ′′ ) (pr ′′ ′ ) C C C σ σ σ σ σ στ σ σ τ σ στ σ στ where for an arbitrary c ′ ⊆ c ⊂ c , pr ′ denotes the projection from G σ σ τ C σ στ to the corresponding factor G ′ for the ﬂag c ⊂ c . The kernels of these σ σ τ maps among homotopy groups give relations that we will call multiplicative relations in homotopy. The second type of relations are described as follows. For any (k + 1)-cell c , k = 1, . . . , n− 2, deﬁne the product homomorphism α : G → π (G, e) σ k c ⊂∂c which is unambiguous since π (G, e) is abelian. Its kernel determines a relation that we will call boundary relation in homotopy. On the other hand, consider the group Y Y Y e H = H ′ × H C σ vw c ⊆c c ,c ,c ∈C ′ σ c ,c ∈C u v w n v w n c ∩c ∩c =c u v w σ c ∩c 6=∅ v w HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 23 ′ ′ where H = π (V ,e) if c ∈ C , and H = π (G, e). Consider the σ k G σ k vw n−1 homomorphisms ′ ′ µ : H × H → π (G, e), ([g], [g ]) 7→ [gg ] vw vw wv n−1 e e which, by a slight abuse of notation, will be regarded as deﬁned on H ×H C C after composing with a suitable projection map. In particular, ker(µ ) = vw ker(µ ). Similarly, for c ∈ C , k = 1, . . . , n − 3 deﬁne the product wv σ k+1 homomorphism β : π (V ,e) → π (V ,e) σ k G k G c ⊂∂ σ whose kernel deﬁnes an analogous boundary homotopy relation. Finally, we can consider a triadic action of S in H , by acting in the obvious way in the ﬁrst component, and as the identity in the second component. Such action e e determines an invariant subgroup H ⊂ H . Corollary 2. For any given LG ﬁeld PT : P → G in M , the set of Γ Γ Γ −1 ELG ﬁelds in pr (PT ) is a principal homogeneous space for the group \ \ ′′ G = ker (α ) ∩ ker Θ ′ C σ σ στ c ′⊆c ⊂c c ′′⊆c ′⊂c ⊂c σ τ σ τ σ σ σ −1 Similarly, the set of cores of ELG ﬁelds in pr (PT ) for any PT ∈ Γ,min Γ,min min N is a principal homogeneous space for the subgroup \ \ e H = ker(β ) ∩ ker(µ ) ∩ H min σ vw C c ′⊆c =c ∩c ∩c c ,c ∈C σ u v w v w n c ,c ,c ∈C u v w n c ∩c 6=∅ v w Proof. That G acts on the set of ELG ﬁelds compatible with a given lattice gauge ﬁeld PT ∈ M is a consequence of lemma 4: the action of a given Γ Γ component on an extension class is given by pointwise left multiplication of representatives, the boundary relations in homotopy are introduced to ensure that the vanishing of the obstruction to the existence of extensions to the interior of a cell ∂c on an ELG ﬁeld is preserved under the action on G . σ C Similarly, the multiplicative relations in homotopy are introduced to ensure that the compatibility conditions (4.5) of an ELG ﬁeld are preserved under the action on G , a fact that is possible due to the abelian nature of the homotopy groups of G and that the action is left and right simultaneously. Moreover, since for a given k-cell c , the set of extension classes to its interior given a ﬁxed boundary homotopy data is a principal homogeneous space for π (G, e), it readily follows that the stabilizer in G of any ELG k C ﬁeld is equal to the identity. The same applies to the group H acting on the set of cores compatible min with a given groupoid homomorphism PT : P → G, recalling the Γ,min Γ,min 24 MENESES AND ZAPATA 4.3), as a consequence of corollary 1. The invariance of deﬁning relation ( H under the triadic action ensures that the action of any of its elements in min a core is also invariant under the corresponding triadic action. Moreover, the boundary relations in homotopy ensure that the vanishing of obstructions to existence of extensions are preserved under the action of H on a core. min Together with the inversion relations determined by all ker(µ ), we ensure vw that conditions (a) and (b) in corollary 1 are preserved. Remark 15. The dissection of the core of an ELG ﬁeld in corollary 1, or what is the same, the relative homotopy classes of clutching maps, is strictly dependent on the ﬁxed values over 0-cells of the latter, i.e. the a priori choice of a collection of reference points n o ′′ ′′ ′′ h c c ∈ C , c ⊂ c . σ σ σ 0 σ σ 0 0 0 c ∈C σ n−2 This illustrates the contrast between intrinsically local objects (ELG ﬁelds), and the global notion of cellular bundle data representing an equivalence class of principal G-bundles: if a diﬀerent choice of reference points is made, there would still exist a corresponding relative homotopy class of clutch- ing maps deﬁning an equivalent principal G-bundle, but the new extension classes resulting from the dissection procedure cannot be compared to the former. The interest in getting a better understanding of the correspondence between ELG ﬁelds and equivalence classes of principal G-bundles motivates another notion of cellular equivalence of ELG ﬁelds, following from deﬁni- tion 12. Namely, two ELG ﬁelds {PT }, {PT } are said to be cellularly equivalent if the principal G-bundles they determine are equivalent. The covering maps (6.1) and (6.2) provide an alternative characterization of cel- lular equivalence, since by deﬁnition the core of an ELG ﬁeld is the minimal local homotopy data (relative to C ) extending any given LG ﬁeld that is necessary to reconstruct a principal G-bundle P → M up to equivalence. Such characterization is described in the following result. Proposition 2. Two ELG ﬁelds in M yield equivalent principal G-bundles if and only if they lie in the same connected component in M . Proof. The covering map (6.2) was deﬁned to correspond to the cellular equivalence in deﬁnition 12, as the connected components of N are in natural correspondence with the equivalence classes of principal G-bundles. Then, let us assume that two ELG ﬁelds project to the same connected component in N , i.e. any pair of representatives of their cores are cellu- larly equivalent. Using an isomorphism, we may assume that the bundles they determine are the same, equal to P. Consider any pair of gauge classes of smooth connections representing {PT } and {PT }. Since the space A /G is connected, there is a path connecting both gauge classes of connec- P P tions. Such path determines a path in M connecting {PT } and {PT }, C C and therefore, the inverse image under pr of a connected component in core HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 25 N is a connected component in M . This determines a bijection between C C the connected components of M and N , and implies the result. C C Corollary 3. Cellular equivalence determines ﬁbrations 1 1 ˇ ˇ Φ : M → H (M, G) , Ψ : N → H (M, G) C C such that Φ = Ψ ◦ pr , given by mapping the connected components in core M (resp. N ) to their corresponding isomorphism classes of principal G- C C bundles. In particular, there exists subgroups K ⊂ G and K ⊂ H C C min min such that ∼ ∼ ˇ (6.4) G /K = H /K = H (M, G) , C C min min that are the subgroups of deck transformations in M (resp. N ) preserving C C any given connected component, and thus stabilizing any given equivalence class of principal G-bundles {P}. Having understood the way a discretization of a gauge ﬁeld leads to the recovery of the topology of a principal G-bundle, we can now proceed and describe the global geometric picture that gives rise to the space of ELG ﬁelds M . In general, M decomposes into connected components C C M = M . C P,C ˇ 1 {P}∈H (M,G) Let us consider any given principal G-bundle P, with associated space of smooth connections modulo gauge transformations A /G . The gauge P P group G contains a normal subgroup G , the restricted gauge group (cf. P P,∗ [Bar91]), consisting of those gauge transformations whose value over the ﬁbers of every base point in (M,C ) is the identity, and characterized by stabilizing any given smooth parallel transport map PT . Therefore, there is a bijective correspondence between the space of smooth parallel trans- port maps on (M,C ) yielding a bundle isomorphic to P, and the quotient A /G . Moreover, there is a principal bundle P P,∗ (6.5) A /G → A /G , P P,∗ P P whose structure group is the Lie group G = G /G . P,C P P,∗ Deﬁnition 14. For E a set of ﬁber points in P covering a set of based points B in (M,C ), we say that two smooth connections over (P,E ) are C C C -equivalent, or equivalent at scale C , if their associated parallel transport maps project to the same point in M . By a microscopical deformation P,C of A ∈ A , relative to a cellular network in (M,C ), we mean a smooth path in A preserving C -equivalence and starting at A. A fundamental by-product of theorem 2 is the cellular homotopy ﬁbration (6.6) A /G → M , PT 7→ {PT } P P,∗ P,C C C mapping a given parallel transport map to its induced ELG ﬁeld. The essence of deﬁnition 14 is captured in a commutative diagram of principal G -bundles P,C 26 MENESES AND ZAPATA A /G −−−−→ M P P,∗ P,C (6.7) y y A /G −−−−→ M /G P P P,C P,C The spaces of geometric signiﬁcance in the proposed ELG theory are the quotient spaces M /G , which play the role of ﬁnite dimensional analogs P,C P,C of the spaces A /G , for every {P} ∈ H (M, G). P P An interesting consequence of corollaries 2 and 3 is the reconstruction of the space H (M, G) as a homogeneous space (6.4), in terms of homotopy data of a local nature. Understanding the space H (M, G) is reduced to understanding the groups G and K . Such a hybrid (geometric/algebraic) C C structure deserves to be thoroughly studied, as it sheds new light into the spaces H (M, G) on arbitrary manifolds, but the task seems to be far from trivial. We plan to return to it in a subsequent publication. Altogether, we have constructed a series of ﬁbrations that take the set of smooth parallel transport maps over (M,C ) as a starting point. They could be understood diagramatically as follows: ( ) Equivalence classes of smooth parallel Induced ELGT transport maps PT ❋ ❯ ❯ data ❋ ❯ ❋ ❯ ❋ ❯ ❋ ❯ ** Extended lattice Induced bundle ❋ gauge ﬁelds on (M,C ) equivalence Cellular equivalence ﬁbration ❋ ❋ Cellular of clutching maps ❋ ❋ equivalence ﬁbration Homotopy ## equivalence Equivalence classes of Homotopical cellular oo // principal G-bundles bundle data on (M,C ) ▲ t Chern-Weil t && zzt Characteristic classes of principal G-bundles Remark 16. The previous spaces have several fundamental properties in the study of quantum gauge theories on the lattice. As in the standard LGT, the spaces M are connected Lie groups (that are compact if G and M are compact), which carry a measure inherited from the Haar measure on We have excluded the ﬁnal topological ﬁbration to the characteristic classes of a principal G-bundle in the present work, as we plan to present it in a separate publication. A similar ﬁbration was already studied in [PS86, PS90, PS93]. HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 27 G. It follows that the manifolds M and their connected components also inherit a measure, but they may fail to be compact. It is then important to determine if their connected components M are always compact. The P,C spaces of physical relevance are the quotients M /G , which although P,C P,C ﬁnite-dimensional, are not necessarily smooth. To understand the properties of such quotients, it is necessary to understand M better. We plan to return to such questions in a separate publication. Consider a submanifold ι : N ֒→ M, and a cotriangulation of M which restricts to a cotriangulation of N, which we will also denote by C . Naively speaking, we are allowing N to possess a boundary and corners. Let us denote the corresponding space of extended lattice gauge ﬁelds in N by N . In particular, there are two special and fundamental cases: (1) N = c , for any c ∈ C , σ σ (2) N is a (n − 1)-dimensional and such that N = ∂M, or such that M = M ⊔ M is the identiﬁcation of two manifolds with boundary 1 N 2 M and M , along a common boundary N = M ∩ M . 1 2 1 2 We conclude this section with the following corollary, whose proof is straightforward. Corollary 4. Under the above assumptions, the following properties follow: (i) There is a projection pr : M → N , C C (ii) If M = M ⊔ M (where M inherits the cell decomposition C , 1 N 2 i i i = 1, 2), then M is isomorphic to the submanifold of M × M , C C 1 2 consisting of pairs of ELG ﬁelds ({PT } ,{PT }) such that C C 1 2 pr ({PT }) = pr ({PT }) ∈ N C C C 1 1 2 2 (iii) For any principal G-bundle P → M, let P = P| , P = P| , N N i M and G , i = 1, 2, be the subgroup of G consisting of classes of P ,C P ,C i i i i gauge transformations that are trivial along P . Then, M /G N P,C P,C is isomorphic to the quotient M /G P ,C P ,C N N N N under diagonal action, where M is the submanifold of P ,C N N e e M /G × M /G P ,C P ,C P ,C P ,C 1 1 1 1 2 2 2 2 consisting of pairs of orbits of ELG ﬁelds whose induced projections to N coincide. P ,C N N 7. Pachner moves and the dependence on cellular decompositions We now address the dependence of our constructions on the underlying cotriangulation C . A special feature of the category of cotriangulations on a manifold M is the abundance of morphisms that allows us to systematically 28 MENESES AND ZAPATA connect and compare any given pair of them, up to dual P.L. equivalence. Pachner [Pac91] proved that any two smooth triangulations of a manifold are n+1 related by a sequence of so-called Pachner moves. Let X be an abstract (n + 1)-simplex. We say that two diﬀerent P.L. structures Δ : |K| → M ′ ′ and Δ : |K | → M on M diﬀer by a Pachner move if there exists a pair of ′ ′ ′ injective simplicial maps µ : L → K and µ : L → K , where k n+1 [ [ n n+1 ′ n n+1 L = X ⊂ ∂X , L = X ⊂ ∂X , l l l=0 l=k+1 n n n+1 for some arbitrary labeling X , . . . , X of the n-simplices in ∂X and 0 n+1 0 ≤ k ≤ n, such that −1 ′ ′ (i) the map (Δ ) ◦ Δ : |K| → |K | is simplicial outside |µ (L\ ∂L)|, ′ ′ ′ (ii) Δ (|µ (L)|) = Δ (|µ (L )|), ′ ′ ′ (iii) Δ (|µ (σ)|) = Δ (|µ (σ)|) for all σ ∈ ∂L = ∂L . Therefore, any two cotriangulations of M are related by a sequence of dual Pachner moves. We will describe such transformations explicitly. Remark 17. In the deﬁnition of a Pachner move, when k + 1 diﬀerent n- simplices of the simplicial complex L meet at a common (n− k)-face σ, the n−k+1 diﬀerent n-simplices of the simplicial complex L meet at a common ′ ′ k-face σ , dual to σ (when k = 0, L = σ and σ is its complementary vertex n+1 ′ v in X , and correspondingly for k = n). Therefore, when Δ and Δ of M diﬀer by a Pachner move, the latter corresponds to the replacement of the (n− k)-face σ by the k-face σ (unless k = 0, where the Pachner move consists of a reﬁnement of an n-simplex through the extra interior vertex v, ′′ and conversely for k = n), and there is a common reﬁnement Δ containing exactly an additional 0-simplex v corresponding to the intersection of σ and ′ ′ σ . In turn, C \ {c } C \ {c ′}, and the corresponding cotriangulation σ σ ′′ ′ C diﬀers from C and C by an additional n-cell c (ﬁgure 2). The n-cell closure c is topologically equivalent to the product c × c ′. v σ σ Lemma 5. Any two cotriangulations C and C of M, with triangulations Δ and Δ related by a Pachner move as before, are degenerations of a smooth ′′ 1-parameter family of cotriangulations {C } , t∈(0,1) ′′ ′′ ′ lim C = C , lim C = C , t t + − t→0 t→1 ′′ ′′ ′ with C dual to Δ , the common reﬁnement of Δ and Δ (remark 17). ′′ Proof. Consider a choice of cellular decomposition C dual to the common ′′ ′′ reﬁnement Δ , in such a way that U = U = U ′, and C coincides with u σ σ ′ ′′ ′′ C and C on M \ U . Make C correspond with C . Using the fact that 1/2 c = c × c , deﬁne a family on (0, 1/2] by letting c degenerate to c , and v σ σ v σ c degenerate to c ′, in such a way that all cells outside on [1/2, 1) by letting v σ U remain constant, all cells neighboring c transform into the corresponding cells neighboring c , c ′, and the full family over (0, 1) is smooth (ﬁgure 2). σ σ HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 29 In the case when k = 0 (resp. k = n), one of the two degenerations would not be present: topologically, the cellular decompositions for t ∈ (0, 1] (resp. t ∈ [0, 1)) would be equivalent. Remark 18. The cotriangulation C on an n-sphere acquired by realizing it as the boundary of an (n + 1)-simplex is also a triangulation. An im- portant consequence is the following realization of the dual Pachner moves in (S ,C ). Choose a k-cell c in C . Then, there is a (n− k)-cell c in Δ σ Δ σ C , complementary to the interior of the star of c . Upon the choice of a Δ σ smooth hemisphere H in S separating c and c , we can identify each of σ σ the two components in S \ H with the open sets U and U . More can σ σ be said about the topology of the cell degenerations: It is possible to foliate S \ {c , c } as a collection of cell subcomplexes, parametrized by (0, 1), and each isomorphic to ∂c . The foliation can be extended to a foliation n+1 t of the closed disk D , with the leave L corresponding to c . This is the ∼ n+1 case since there exists a diﬀeomorphism (0, 1)× c D \{c , c ′}. v σ σ Figure 2. (A) Pachner move on a triangulated surface, with common reﬁnement shown (center). (B) The corresponding degenerations on the dual cellular decomposition. (A) (B) As an corollary of Pachner’s theorem and lemma 5, we obtain the following result, useful to ﬁnd sequences of transformations between cotriangulations. Corollary 5. Any two smooth cotriangulations of M are related by a se- quence of smooth cotriangulations via deformations and contractions of cells. 30 MENESES AND ZAPATA Remark 19. In the same way that two cotriangulations C and C in a mani- fold M related by a dual Pachner move can be thought of as degenerations ′′ of a 1-parameter family of cotriangulations {C }, a pair of choices of path groupoids P and P ′ adapted to C and C may be understood as dege- D D nerations of a 1-parameter family of path groupoids n o ′′ t∈(0,1) resulting from a 1-parameter family of cellular path groupoids interpolating ′′ P and P ′, relative to {C } . The characteristic feature of such D D t∈(0,1) degenerations follows from the isomorphism of cell complexes c = c × c ′: v σ σ for any pair of subcells c ⊂ c and c ′ ⊂ c ′, the subcell of c whose closure σ σ σ σ v c × c ′ would degenerate to c or c ′ corresponds to . Such degeneration σ σ σ 0 σ implies the fusion of the local path families supported over the closures of any two subcells in c collapsing to the same subcell in c (or c ). v σ σ Consider a pair of cotriangulations C and C related by a dual Pachner ′ ′ move as before, and coinciding over M \V = M \V , where V (resp. V ) σ σ σ σ denotes the open set in M given as the interior of the star of c –the union of all cells in C (resp. C ) whose closures intersect c (resp. c ). Let us σ σ moreover assume that C and C are equipped with choices of ELG ﬁelds ′ ′ {PT } and {PT } coinciding over all common cells in M \ V = M \ V . C C σ σ ′′ ′ Consider a family C of cotriangulations degenerating to C and C as before, and such that for all t ∈ (0, 1), the open set V –the interior of the star ′′ of c – equals V = V ′, and moreover, the restriction C | coincides σ σ v t M\Vv with the restrictions C| and C | . Finally, equip such a family M\V M\V σ ′ n o with a smooth family of adapted path groupoids P ′′ , degenerating to P and P . The next deﬁnition plays the role of a generalized cellular D D equivalence of ELG ﬁelds, suited to consider smooth 1-parameter families of cotriangulations arising from a dual Pachner move as before. Deﬁnition 15. Two ELG ﬁelds {PT } and {PT } as before coinciding C C over all cells in M \ V = M \ V ′ are called local relatives if there exists a σ σ smooth 1-parameter family nn oo ′′ PT , t∈(0,1) ′′ whose restriction to C | coincides with the respective restrictions of M\V t v {PT } and {PT } to C| and C | , and such that C C M\V M\V σ ′ n o n o lim PT ′′ = {PT }, lim PT ′′ = {PT ′}. C C C C t t + 1 t→0 t→1 Theorem 5. Let C and C be two cotriangulations of M, related by a dual Pachner move, together with a pair of ELG ﬁelds {PT } and {PT } whose C C respective cores restricted to C| and C | coincide. The principal M\V M\V ′ G-bundles P and P on M induced by the cores {PT } and {PT ′} C min C min are equivalent if and only if {PT } and {PT ′} are local relatives. C C HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 31 Proof. The proof is straightforward. When the cores of the ELG ﬁelds are considered, or what is the same, the relative homotopy classes of collections of clutching maps, the notion of local relativity for a pair of ELG ﬁelds is a (local) specialization of the notion of cellular equivalence adapted to de- generating families of cell decompositions. The extra complications implicit in the notion of (global) cellular equivalence, present in general, disappear, since the homotopy equivalence relation that deﬁnes it has been conﬁned to the (n− 1)-cells in c and the interior of its star. Appendix A. Cotriangulations Here we recall, for the sake of clarity and convenience, some standard notions on cell decompositions that we will require. We refer the reader to [Lef42, Koz07] for further details. Let M be an n-dimensional smooth manifold, assumed to be connected, not necessarily compact, and with or without boundary. A smooth cell decomposition of M is deﬁned inductively, as a collection C = {c ⊂ M} of pairwise disjoint subsets of M (called cells) whose union is equal to M, k k k together with diﬀeomorphisms φ : D → M (where D denotes the unit disk in R ) such that c \c is a union of cells in C of dimension at most k−1. Two σ σ cell decompositions are equivalent if there is a diﬀeomorphism ϕ : M → M mapping one into the other. C will denote the collection of k-dimensional cells in C . The lth-skeleton of C is deﬁned as Sk (C ) = C . l k k=0 A ﬂag of length m + 1 ≤ n + 1 in C of M is a collection of nested cell closures c ⊂ c ⊂ ··· ⊂ c in M. A ﬂag is said to be gapless if σ σ σ 0 1 m dimc − dimc = 1 for every 1 ≤ k ≤ m. A ﬂag is complete if its length σ σ k k−1 is equal to n + 1, so that dim c = k. A barycentric subdivision B(C ) of C is any cell decomposition of M for which there is a 1–1 correspondence between k-cells in B(C ) and gapless ﬂags of length k + 1 in C , in such a way that if b ∈ B(C ) corresponds σ ...σ 0 k to {c ⊂ ··· ⊂ c } ⊂ C , then b ⊂ c (notice that dim c ≥ k). In σ σ σ σ 0 k σ ...σ k k 0 k particular, there is exactly a 0-cell b ⊂ c in B(C ) ∀c ∈ C . σ σ A smooth triangulation of M is a homeomorphism Δ : |K| → M, where K is an abstract simplicial complex and |K| is its geometric realization, whose restriction to the interior of any simplex in |K| is a diﬀeomorphism. We will denote by σ, τ, . . . the elements in K (called the faces of K), and by v, w, . . . the vertices of it (in general, the maximal faces of an abstract simplicial complex K are called its facets, and K is said to be pure if all of its facets have the same dimension). Every triangulation has a canonical barycentric subdivision B(Δ). A classical result of J. H. C. Whitehead states that every smooth manifold M admits a piecewise-linear (P.L.) structure, namely, a triangulation Δ for which the link of any simplex is a P.L. sphere, and that any two P.L. structures are related by a P.L. bijection. It is suﬃcient to assume the piecewise-smoothness of any such Δ. 32 MENESES AND ZAPATA Deﬁnition 16. A cell decomposition C of M is called a cotriangulation if there exist an open cover U = {U } of M with the following properties: v c ∈C v n (i) For every σ ∈ N(U) (the nerve of U, an abstract simplicial complex), the open set U = ∩ U is contractible, σ v⊂σ v (ii) The geometric realization of N(U) is a P.L structure for M. In n+1 particular, N(U) is pure and ∩ U = ∅ for all pairwise-diﬀerent i=0 i c , . . . , c ∈ C , v v n 0 n+1 (iii) There is a 1–1 correspondence between the k-simplices σ ∈ N(U) and the (n− k)-cells c ∈ C , in such a way that c ⊂ U . σ n−k σ σ Remark 20. To avoid unnecessary pathologies, cell decompositions are as- sumed to have the following property: for every k-cell c (k ≥ 1), ∂c is σ σ is a piecewise-smooth (k − 1)-sphere (c.f. deﬁnition 12). We call such cell decompositions spherical. All cotriangulations are spherical (following from the P.L. structure), but the converse is not true: hypercubical cell decom- n n positions of R determined by a lattice Λ ⊂ R are spherical but not cotri- angulations, unless n = 1. Cotriangulations are generic among spherical cell decompositions (when n = 1, all cell decompositions are cotriangulations). Figure 3. A cotriangulation C on a surface. Lemma 6. Cotriangulations are stable under small deformations. Every spherical cell decomposition is a degeneration of a family of cotriangulations. Proof. A cell decomposition C is unstable under small deformations if there exists a family C , ǫ ∈ R of cell decompositions which are equivalent for small ǫ 6= 0 but inequivalent from C (ﬁgure 4). In that case, there exists a family of k-cells c for some 0 < k < n for which c collapses to a 0-cell σ σ 0 0 0 c in C as ǫ → 0. In particular all 0-cells in c coalesce into c . A 0-cell ǫ ǫ in c corresponds to an n-cell on the dual cell decompositions (C ) . In the 0 ∨ limit all of these n-cells unite into the single n-cell (c ) , and the number HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 33 0 ∨ of (n − 1)-cells in ∂(c ) would be larger that the number of (n − 1)-cells 0 ∨ in the boundary of any of the n-cells in (C ) that unite into ∂(c ) . Since ∨ ǫ C is a triangulation, there would be a family of n-cells in (C ) uniting into to the interior of an n-simplex in C , whose number of (n− 1)-cells in its boundary is minimal (equal to n+1), a contradiction. Hence C cannot be a degeneration of a smooth family of equivalent cell decompositions C . Given a spherical cell decomposition C of M, it is always possible to reﬁne C into a triangulation Δ whose vertices coincide with the set of 0-cells in ∨ ∨ ∨ C , i.e. Sk (C ) = Sk (Δ). Since the n-cells in Δ and C are in 1 − 1 0 0 correspondence, it is possible to construct a family C of equivalent cell decompositions in M such that for suﬃciently small ǫ 6= 0, C is equivalent ∨ 0 to Δ . The limit C coincides with C by construction. Figure 4. (A) 1-cell contraction in a cellular decomposition C on a surface. (B) The eﬀect over the dual decomposition C . (A) (B) It is of paramount importance to relate the standard cell decompositions generated by a square lattice in R to cotriangulations when the manifold M is an Euclidean space or a quotient of it by a lattice (i.e., a cylinder or a torus). The following lemma shows how the constructions and results of this work are also relevant and applicable in those standard cases. 0 n 0 n Lemma 7. The cell decomposition C of R induced by the lattice Λ = Z is a degeneration of a family of cotriangulations C , ǫ ∈ (0, 1). 0 0 Proof. Setting a 1-1 correspondence between n-cells c in C and the 0- v v subcell (i , . . . , i ) in their closure, where for each k = 1, . . . , n, i = min{i : (i , . . . , i ) ∈ c }, k 1 n v 0 0 we can identify the n-cells in C with the elements in Λ . For any ǫ ∈ (0, 1), ǫ n consider the lattice Λ in R , of n-tuples of real numbers of the form (i , i + ǫi , . . . , i + ǫi , i + ǫi ), i , . . . , i ∈ Z. 1 2 1 n−1 n−2 n n−1 1 n 34 MENESES AND ZAPATA 0 n 0 Then, in particular, Λ = Z . Just as the lattice Λ acts as the group of 0 ǫ ǫ translation symmetries of C , the lattice Λ will act on C as its symmetry group of translations. The n-cell c , as well as its closure, is then deﬁned by translating c by the vector v v ǫ 0, i , . . . , i , 1 n−1 (ﬁgure 5).Although there is a 1-1 correspondence between n-cells in C and ǫ ǫ C by construction, new k-cells, k = 0, . . . , n− 1 are created in C by sub- ǫ ǫ division of the boundary cells of each n-cell c . C is a cotriangulation for every ǫ ∈ (0, 1). Notice that over C , each 0-cell is the common intersection of 2n 1-cells. The ǫ-shifts introduced to deﬁne C separate n − 1 of these 1-cells, leaving exactly n + 1 1-cells on each old and new 0-cell. The argu- ment with the higher dimensional cells is similar, giving the combinatorial properties that determine a cotriangulation. ǫ 2 Figure 5. The cell decomposition C in R . Appendix B. Proof of the reconstruction theorem The idea to prove theorem 2 (theorem 2 in [Zap12]) is to construct a concrete principal G-bundle P from a smooth parallel transport map PT . Then a horizontal lift property implies the existence of a gauge equivalence class of smooth connections in P, under the action of the group of bundle automorphisms covering the identity map in M, and acting as the identity −1 over the ﬁbers {π (p )} , the restricted gauge transformations. The σ c ∈C group G of restricted gauge transformations is a normal subgroup of the P,∗ full gauge group G . Before proving theorem 2, we require to introduce the following result. HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 35 Proposition 3. (i) If PT and PT are equivalent, then there is a set {g ∈ G} such that the glueing maps {g ′ } and {g } σ c ∈C σ σ ′ σ c ∩c ′6=∅ c ∩c ′6=∅ σ σ σ σ σ σ induced from a choice of cellular path groupoid P are related as ′ −1 g (x) = g ′ · g ′ (x)· g . σ σ σ σ σ σ (ii) If the choice of P is changed, then there is a set of smooth maps {g (x) : c → G} , such that the maps {g ′ } induced from PT σ σ c ∈C σ σ c ∩c 6=∅ C σ σ ′ transform as −1 g ′ (x) 7→ g ′(x)g ′ (x)g (x) . σ σ σ σ σ σ Proof. (i) is a straightforward consequence of deﬁnition 6. Namely, the value ′ ′ of g (x) (and similarly for the value g (x)), for an arbitrary x ∈ c ∩c , ′ σ σ σ σ σ σ is equal to PT γ . (ii) follows as a consequence of lemma 1. The σ σ proposition applies in particular to the clutching maps h = g . vw vw Proof of theorem 2. Given a smooth parallel transport map PT , we can deﬁne a collection of principal G-bundles π : P → c for every c ∈ C in σ σ σ σ the following way. Let P = P(c , p ′) and deﬁne σ σ p ′∈B (B.1) P = P × G/ σ ∼PT ′ ′ ′ where two pairs ([γ], g) and ([γ ], g ) are related if t(γ) = t(γ ) and −1 ′ ′ g = PT γ · [γ] g. The projection of a class [γ, g] onto M is simply deﬁned as [γ, g] 7→ t(γ), determining a map π : P → c . The global right G-action on P is σ σ σ σ ′ ′ deﬁned as [γ, g ] · g = [γ, g g]. For every p ∈ B , there is a special point σ σ −1 ′ ′ ′ b ∈ π (p ), determined by considering the classes [p , e], where by a σ σ σ slight abuse of notation, [p ] represents the class of the constant path at −1 p ′. Consequently, there is an identiﬁcation of the ﬁber π (p ′) with G. σ σ A smooth and global cellular trivialization can be given for each principal G-bundle π : P → c . This can be seen by considering the smooth family σ σ σ of paths F ⊂ P(c , p ) induced by a diﬀeomorphism ψ : D → c such σ σ σ σ that ψ (0) = p , as the collection consisting of the images of linear segments σ σ in D with source at 0. This way, we get a bijection Ψ : c × G → P , (x, g) 7→ [γ , g] , σ σ σ which deﬁnes a smooth structure of manifold with corners on P , and a trivialization as a smooth principal G-bundle over c . Since whenever c ⊂ σ σ s s c , we have that P ⊂ P , we can construct a smooth bijection P 7→ P | τ σ τ c σ τ σ by restriction. Therefore, the collection of principal G-bundles{P } can σ c ∈C be glued into a single smooth bundle π : P → M. As before, such a bundle −1 would come with a preferred set of points {b ∈ π (p )} , which we will σ σ c ∈C The bundle P could also be constructed as a quotient similar to (B.1), in terms of the full path space P of all intimacy equivalence classes of piecewise-smooth paths with source an arbitrary p in M, and projection π deﬁned in a similar way. σ 36 MENESES AND ZAPATA denote by E . Thus, π (E ) = B and any other choice of complete cellular C C C path families F would determine an equivalent bundle. A horizontal lift for every path γ : [0, 1] → M and a choice of initial ′ −1 condition [γ , g] ∈ π (γ(0)) can be constructed from the smooth parallel transport map PT . Namely, horizontal lifts can ﬁrst be deﬁned if we take ′ ′ s any path γ : [0, 1] → M and an initial condition [γ , g], [γ ] ∈ P . Then by the independence under reparametrization, the path λ(γ) : [0, 1] → P with source s(λ(γ)) = [γ , g] is deﬁned as [λ(γ)](ǫ) = γ · γ | , g , ǫ ∈ [0, 1] [0,(ǫ+1)/2] satisfying π ◦ λ(γ)(ǫ) = γ(ǫ). Horizontal lifts may also be constructed as an iteration of local lifts and subsequent initial conditions, following lemma 2. Therefore, the construction of a gauge orbit of connections under the action of G follows. The construction depends on the choice of base points P,∗ E along the ﬁbers over the base points B , and determines a smooth C C connection in P, up to the action of G . P, Remark 21. The bundle P can also be constructed from local trivializa- tions and clutching maps. Consider a collection of smooth path families s s x {F } , F = {γ : x ∈ c } as before. Whenever τ ⊂ σ, the identity c ∈C σ σ σ σ σ x x ′ [γ , g] = [γ , g ] τ σ for any x ∈ c ⊂ c , together with the corresponding trivializations, allows σ τ ′ s us to express g = g (x)g for some g (x) ∈ G. If {F } is changed, g (x) στ στ στ would transform as −1 g (x) 7→ g (x)g (x)g (x) , στ σ στ τ for some well-deﬁned smooth functions g : c → G and (g : c → G)| , as σ σ τ τ σ it follows from proposition 3. Only the homotopy type of the glueing maps {g }, is relevant to determine an equivalence class of principal G-bundles σ σ on M, and ultimately, the only data that is strictly necessary to reconstruct a bundle P are the clutching maps (4.3), that determine a choice of cellular bundle data, characterizing a principal G-bundle with trivializations over C , up to equivalence, as it follows from theorem 6. Appendix C. Proof of the equivalence theorem for bundle data Given an open cover U = {U }, a Cech 1-cocycle is a collection of smooth maps g : U = U ∩ U → G satisfying vw vw v w −1 (C.1) g = g on U , g g = g on U , wv vw uv vw uw uvw vw and two cocycles{g } and{g } are cohomologous if there exist a collection vw vw of smooth maps {g : U → G} (local gauge transformations) such that v v c ∈C v n ′ −1 (C.2) g = g g g on U . vw v vw w vw It is possible to construct a system of transition functions for P if each P is instead constructed over an open set U , by extending the spaces P to consist of paths belonging to U (and not only to c ), and repeating the previous constructions verbatim. σ σ HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 37 These are statements about the 2-skeleton of the nerve N(U). It that sense it is convenient to work with cotriangulations and adapted open covers. A cover U is adapted to C if it is good, N(U) C , and for every c ∈ C , the open set U ∈ U satisﬁes c ⊂ U . σ σ σ Theorem 6. Let M be an n-manifold, n ≥ 2, together with a cotriangulation C and an adapted cover U. There is a bijective correspondence Cellular bundle data Cohomology classes of ←→ in M, relative to C Cech 1-cocycles on U Proof. Consider a class of Cech 1-cocycles {g } as above. For any given vw representative and any c ∈ C such that c ∩ c = c , the restrictions τ n−1 v w τ h := g | determine a representative of a class of cellular bundle data. vw vw c This is so since every U is contractible by deﬁnition, and any local gauge transformation g : U → G is smoothly homotopic to the identity. There- v v fore, any equivalent cocycle {g } would be homotopic to {g } trough vw vw a homotopy of cocycles, inducing a cellular equivalence of maps {h (t)}, vw t ∈ [0, 1]. Conversely, consider an arbitrary choice of cellular bundle data over C , and for each c , c ∈ C such that c ∩ c = c with c ∈ C , ﬁx data v w n v w τ τ n−1 representatives in the form of maps h : c → G such that for any (n− 2)- vw τ cell closure c , the restriction of the induced triples of maps to the diagonal Δ(c ×c ×c ) lies in V . We will construct maps g : U → G satisfying σ σ σ G vw vw the cocycle conditions (C.1) for any triple {c , c , c } ∈ C as in (4.6). v v v n 1 2 3 The construction will be done in two steps. First let us consider for every c ∈ C , the intersections U ∩ Sk (C ) τ n−1 τ n−1 (ﬁgure 6), and their subsets Z = U ∩ c ′ , τ τ τ ′ τ τ ∈C n−1 where C = {c ′ ∈ C | c ∩ c ′ = c , c ∈ C }. Each Z is topolog- τ n−1 τ τ σ σ n−2 τ n−1 ically a cylinder for ∂c without boundary. We will extend each h | to τ vw ∂c the whole Z in such a what that the cocycle conditions are still satisﬁed. Consider any triple {c , c , c } as in (4.6). For each i = 1, 2, 3 j, k 6= i, v v v 1 2 3 (ijk) ∼ (123), consider the intersection −1 I = pr h (c ∩ U ) ∩ V. i v v τ σ i j k i For i = 1, 2, 3, and c as above, consider any collection of piecewise-smooth maps H : (c ∪ c ∪ c )∩ U → G× G× G, satisfying that τ τ τ σ σ 1 2 3 (i) H ((c ∪ c ∪ c )∩ U ) ⊂ I , τ τ τ σ i σ 1 2 3 (ii) H | = (h , h , h )| , c v v v v v v c σ σ 1 2 2 3 3 1 σ 38 MENESES AND ZAPATA (iii) If for j 6= i there is c ′ such that int c ∩ c ′ ⊂ Z \ c , then τ τ τ τ τ j i i j j i i H | = H | . σ σ int c ∩c int c ∩c τ ′ τ ′ j τ j τ j j Such collections necessarily exist, since each of the sets (c ∪ c ∪ c )∩U τ τ τ σ 1 2 3 deformation retracts to c . The set of maps {H } is parametrized by the elements c ∈ C according to (4.6). σ n−2 Altogether, the functions {H } determine extensions of each h c v v σ σ∈C j k n−2 to Z , (ijk) ∼ (123). The extension to a subset U ∩c is deﬁned by means τ τ i i j of the function H . Conditions (ii) and (iii) above ensure that the overall process gives a well-deﬁned extension of h over Z , and condition (i) v v τ j i ensures that the new functions would satisfy the cocycle condition (C.1). Denote such extension by h again, now as a function on Z ∪ c . v v τ τ j i i Figure 6. The intersection of U with the (n− 1)-skeleton of C . The second step of the construction is to extend each h to the whole v v j k U , and relies in the following observation. For any triple {c , c , c } as τ v v v i 1 2 3 in (4.6), the sets B = U ∩ c ∪ c ∪ c , i 6= j, k, j 6= k, τ τ τ v v i i i j k which are open cylinders for c (whose boundary points contain Z ), satisfy τ τ i i B ∩B ∩B = ∅ (ﬁgure 6). If we consider any piecewise-smooth extension τ τ τ 1 2 3 of h to B for each c , then there is a unique way to extend such maps v v τ τ j k i i B by forcing the cocycle condition on all triple intersections to the sets U \ τ τ i i U , obtaining maps deﬁned over U . Hence, we can determine a collection σ τ {g : U → G}, deﬁning a cocycle. This set of transition functions vw vw Here, int c ∩ c ′ denotes the (k − 2)-cell whose closure is c ∩ c ′ . τ τ τ τ j j j j HOMOTOPY CLASSES OF GAUGE FIELDS AND THE LATTICE 39 c ∩ c → G for depends a priori on the choice of representatives h : vw v w each c , c ∈ C such that c ∩ c = c with c ∈ C , and the choice of v w n v w τ τ n−1 extensions of such h to the sets Z ∪ B . vw τ τ To conclude, we must show that another set of representatives for the choice of cellular bundle data or another choice of extensions of the maps h determine a cocycle which is cohomologous to the previous one. But any vw choice of extensions of any pair of representatives h and h of a given class vw vw [h ] would be homotopic through cellularly-smooth functions satisfying the vw cocycle conditions, hence the resulting homotopies g (t) between each g vw vw and g would deﬁne transition functions for every t ∈ [0, 1], equivalent to a vw principal G-bundle over M × [0, 1]. It follows from the homotopy invariance properties of principal bundles [MS74], that the bundles on M resulting by restriction to the boundary of M × [0, 1] are isomorphic. Acknowledgments. This work was partially supported by grant PAPIIT- UNAM IN 109415. CM was partially supported by the DFG SPP 2026 priority programme “Geometry at inﬁnity”, and would like to kindly thank Anthony Phillips for multiple discussions and insights. JAZ was supported by a sabbatical grant by PASPA-UNAM. References [AL94] A. Ashtekar and J. Lewandowski, Representation theory of analytic holonomy C*-algebras, Knots and quantum gravity, Clarendon press, Oxford (1994), 21– [Bae98] J. C. Baez, Spin foam models, Class. Quant. Grav. 15 (1998), 1827–1858. [Bar91] J. W. Barrett, Holonomy and path structures in general relativity and Yang-Mills theory, Int. J. Theor. Phys. 30 (1991), no. 9, 1171–1215. [BH11] J. C. Baez and J. Huerta, An invitation to higher gauge theory, Gen. Rel. Gravit. 43 (2011), no. 9, 2335–2392. [Bot56] R. Bott, An application of the Morse theory to the topology of Lie groups, Bull. Soc. Math. France 84 (1956), 251–281. [CP94] A. Caetano and R. F. Picken, An axiomatic deﬁnition of holonomy, Int. J. Math. 5 (1994), no. 6, 835–848. [Cre83] M. Creutz, Quarks, gluons and lattices (vol. 8), Cambridge Monographs on Math. Phys., Cambridge University Press, 1983. [GP96] R. Gambini and J. Pullin, Loops, knots, gauge theories and quantum gravity, Cambridge Monographs on Math. Phys., Cambridge University Press, 1996. [KN63] S. Kobayashi and K. Nomizu, Foundations of diﬀerential geometry (vol. 1, no. 2), New York, 1963. [Kob54] S. Kobayashi, La connexion des variet´es ﬁbr´ees I, II, Comptes Rendus Acad. Sci. 238 (1954), no. 3–4, 318–319,443–444. [Koz07] D. Kozlov, Combinatorial algebraic topology (vol. 21), Springer Science & Busi- ness Media, 2007. [L82] M. Lu¨scher, Topology of lattice gauge ﬁelds, Commun. Math. Phys. 85 (1982), 39–48. [Las56] R. Laschof, Classiﬁcation of ﬁbre bundles by the loop space of the base, Ann. of Math. 64 (1956), no. 3, 436–446. [Lef42] S. Lefschetz, Algebraic Topology (vol. 27), American Mathematical Society Col- loquium Publications, v. 27., 1942. 40 MENESES AND ZAPATA [Lew93] J. Lewandowski, Group of loops, holonomy maps, path bundle and path connec- tion, Class. Quantum Grav 10 (1993), no. 5, 879–904. [Mil56] J. W. Milnor, Construction of universal bundles I-II, Ann. of Math. 63 (1956), no. 2, 272–284,430–436. [Mil63] , Morse theory, Annals of Mathematics Studies, No. 51, Princeton Uni- versity Press, 1963. [MS74] J. W. Milnor and J. D. Stasheﬀ, Characteristic classes, Annals of Mathematics Studies, No. 76, Princeton University Press, 1974. [NR61] M. S. Narasimhan and S. Ramanan, Existence of universal connections, Amer. J. Math. 83 (1961), no. 2, 563–572. [ORS05] D. Oriti, C. Rovelli, and S. Speziale, Spinfoam 2D quantum gravity and discrete bundles, Class. Quantum Grav. 22 (2005), no. 1, 85–108. [Pac91] U. Pachner, P.L. homeomorphic manifolds are equivalent by elementary shellings, European J. Combin. 12 (1991), no. 2, 129–145. [Phi85] A. Phillips, Characteristic numbers of U -valued lattice gauge ﬁelds, Ann. Phys. 161 (1985), 399–422. [PS86] A. Phillips and D. Stone, Lattice gauge ﬁelds, principal bundles and the calcula- tion of topological charge, Commun. Math. Phys. 103 (1986), no. 4, 599–636. [PS90] , The computation of characteristic classes of lattice gauge ﬁelds, Com- mun. Math. Phys. 131 (1990), no. 2, 255–282. [PS93] , A topological Chern-Weil theory, Memoirs of the AMS, no. 504, 1993. [Rei94] Michael P. Reisenberger, World sheet formulations of gauge theories and gra- vity, On recent developments in theoretical and experimental general relativity, gravitation, and relativistic ﬁeld theories. Proceedings, 7th Marcel Grossmann Meeting, Stanford, USA, July 24-30, 1994. Pt. A + B, 1994. [Seg68] G. Segal, Classifying spaces and spectral sequences, Inst. Hautes Etudes Sci. Publ. Math. (1968), no. 34, 105–112. [Ste51] N. E. Steenrod, The topology of ﬁbre bundles, Vol. 14. Princeton University Press, [SW09] U. Schreiber and K. Waldorf, Parallel transport and functors, J. Homotopy Relat. Struct. 4 (2009), no. 1, 187–244. [Zap12] J. A. Zapata, Local gauge theory and coarse graining, Journal of Physics: Con- ference Series 360 (2012), no. 1, 012054. ´ ´ Centro de Investigacion en Matematicas A.C., Jalisco S/N, Valenciana, C.P. 36023, Guanajuato, Mexico Current address: Mathematisches Seminar, Christian-Albrechts Universit¨at zu Kiel, Ludewig-Meyn-Str. 4, 24118 Kiel, Germany E-mail address: meneses@math.uni-kiel.de ´ ´ ´ Centro de Ciencias Matematicas, Universidad Nacional Autonoma de Mexico UNAM-Campus Morelia, A. Postal 61-3, Morelia, Mexico, and Department of Applied Mathematics, University of Waterloo, Waterloo, Canada E-mail address: zapata@matmor.unam.mx
High Energy Physics - Theory – arXiv (Cornell University)
Published: Jan 3, 2017
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.