DOCSLIB.ORG

Classification of Bundles

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Classification of Bundles CHAPTER 2 Classification of Bundles In this chapter we prove Steenrod’s classification theorem of principal G - bundles, and the corresponding classification theorem of vector bundles. This theorem states that for every group G, there is a “classifying space” BG with a well defined homotopy type so that the homotopy classes of maps from a space X, [X, BG], is in bijective correspondence with the set of isomorphism classes of principal G - bundles, P rinG(X). We then describe various examples and constructions of these classifying spaces, and use them to study structures on principal bundles, vector bundles, and manifolds. 1. The homotopy invariance of fiber bundles The goal of this section is to prove the following theorem, and to examine certain applications such as the classification of principal bundles over spheres in terms of the homotopy groups of Lie groups. Theorem 2.1. Let p : E B be a fiber bundle with fiber F , and let f : X B and f : X B → 0 → 1 → be homotopic maps.Then the pull - back bundles are isomorphic, f0∗(E) ∼= f1∗(E). The main step in the proof of this theorem is the basic Covering Homotopy Theorem for fiber bundles which we now state and prove. Theorem 2.2. Covering Homotopy theorem. Let p : E B and q : Z Y be fiber 0 → → bundles with the same fiber, F , where B is normal and locally compact. Let h0 be a bundle map h˜ E 0 Z −−−−→ p q B Y " −−−h0−→ " 45 46 2. CLASSIFICATION OF BUNDLES Let H : B I Y be a homotopy of h0 (i.e h0 = H B 0 .) Then there exists a covering of the × → | ×{ } homotopy H by a bundle map ˜ E I H Z × −−−−→ p 1 q × B I Y. "× −−−H−→ " Proof. We prove the theorem here when the base space B is compact. The natural extension is to when B has the homotopy type of a CW - complex. The proof in full generality can be found in Steenrod’s book [39]. The idea of the proof is to decompose the homotopy H into homotopies that take place in local neighborhoods where the bundle is trivial. The theorem is obviously true for trivial bundles, and so the homotopy H can be covered on each local neighborhood. One then must be careful to patch the coverings together so as to obtain a global covering of the homotopy H. Since the space X is compact, we may assume that the pull - back bundle H∗(Z) B I has → × locally trivial neighborhoods of the form U I , where U is a locally trivial covering of B (i.e { α × j} { α} 1 there are local trivializations φ : U F p− (U )), and I , , I is a finite sequence of open α,β α × → α 1 · · · r intervals covering I = [0, 1], so that each Ij meets only Ij 1 and Ij+1 nontrivially. Choose numbers − 0 = t < t < < t = 1 0 1 · · · r so that t I I . We assume inductively that the covering homotopy H˜ (x, t) has been defined j ∈ j ∩ j+1 E [0, t ] so as to satisfy the theorem over this part. × j For each x B, there is a pair of neighborhoods (W, W $) such that for x W , W¯ W $ and ∈ ∈ ⊂ W¯ $ U for some U . Choose a finite number of such pairs (W , W $), (i = 1, , s) covering B. ⊂ α α i i · · · Then the Urysohn lemma implies there is a map u : B [t , t ] such that u (W¯ ) = t and i → j j+1 i i j+1 u (B W $) = t . Define τ (x) = t for x B, and j − i j 0 j ∈ τ (x) = max(u (x), , u (x)), x B, i = 1, , s. i 1 · · · i ∈ · · · Then t = τ (x) τ (x) t (x) = t . j 0 ≤ 1 ≤ · · · ≤ s j+1 Define B to be the set of pairs (x, t) such that t t τ (x). Let E be the part of E I lying i j ≤ ≤ i i × over Bi. Then we have a sequence of total spaces of bundles E t = E E E = E [t , t ]. × j 0 ⊂ 1 ⊂ · · · ⊂ s × j j+1 We suppose inductively that H˜ has been defined on Ei 1 and we now define its extension over Ei. − By the definition of the τ’s, the set Bi Bi 1 is contained in Wi$ [tj, tj+1]; and by the definition − − × of the W ’s, W¯ [t , t ] U I which maps via H to a locally trivial neighborhood, say V , $i × j j+1 ⊂ α × j k 1. THE HOMOTOPY INVARIANCE OF FIBER BUNDLES 47 1 for q : Z Y . Say φ : V F q− (V ) is a local trivialization. In particular we can define → k k × → k 1 ρ : q− (V ) F to be the inverse of φ followed by the projection onto F . We now define k k → k H˜ (e, t) = φk(H(x, t), ρ(H˜ (e, τi 1(x))) − where (e, t) Ei Ei 1 and x = p(e) B. ∈ − − ∈ It is now a straightforward verification that this extension of H˜ is indeed a bundle map on Ei. This then completes the inductive step. ! We now prove theorem 2.1 using the covering homotopy theorem. Proof. Let p : E B, and f ; X B and f : X B be as in the statement of the theorem. → 0 → 1 → Let H : X I B be a homotopy with H = f and G = f . Now by the covering homotopy × → 0 0 1 1 theorem there is a covering homotopy H˜ : f ∗(E) I E that covers H : X I B. By definition 0 × → × → this defines a map of bundles over X I, that by abuse of notation we also call H˜ , × H˜ f ∗(E) I H∗(E) 0 × −−−−→ X I X I. "× −−−=−→ "× This is clearly a bundle isomorphism since it induces the identity map on both the base space and on the fibers. Restricting this isomorphism to X 1 , and noting that since H = f , we get × { } 1 1 a bundle isomorphism H˜ f0∗(E) f1∗(E) −−−∼=−→ X 1 X 1 . ×"{ } −−−=−→ ×"{ } This proves theorem 2.1 ! We now derive certain consequences of this theorem. Corollary 2.3. Let p : E B be a principal G - bundle over a connected space B. Then for → any space X the pull back construction gives a well defined map from the set of homotopy classes of maps from X to B to the set of isomorphism classes of principal G - bundles, ρ : [X, B] P rin (X). E → G 48 2. CLASSIFICATION OF BUNDLES Definition 2.1. A principal G - bundle p : EG BG is called universal if the pull back → construction ρ : [X, BG] P rin (X) EG → G is a bijection for every space X. In this case the base space of the universal bundle BG is called a classifying space for G (or for principal G - bundles). The main goal of this chapter is to prove that universal bundles exist for every group G, and that the classifying spaces are unique up to homotopy type. Applying theorem 2.1 to vector bundles gives the following, which was claimed at the end of chapter 1. Corollary 2.4. If f : X Y and f : X Y are homotopic, they induce the same 0 → 1 → homomorphism of abelian monoids, f ∗ = f ∗ : V ect∗(Y ) V ect∗(X) 0 1 → V ect∗ (Y ) V ect∗ (X) R → R and hence of K theories f ∗ = f ∗ : K(Y ) K(X) 0 1 → KO(Y ) KO(X) → Corollary 2.5. If f : X Y is a homotopy equivalence, then it induces isomorphisms → ∼= f ∗ : P rin (Y ) P rin (X) G −−−−→ G ∼= V ect∗(Y ) V ect∗(X) −−−−→ K(Y ) ∼= K(X) −−−−→ Corollary 2.6. Any fiber bundle over a contractible space is trivial. Proof. If X is contractible, it is homotopy equivalent to a point. Apply the above corollary. ! The following result is a classification theorem for bundles over spheres. It begins to describe why understanding the homotopy type of Lie groups is so important in Topology. Theorem 2.7. There is a bijective correspondence between principal bundles and homotopy groups n P rinG(S ) = πn 1(G) ∼ − 1. THE HOMOTOPY INVARIANCE OF FIBER BUNDLES 49 n 1 where as a set πn 1G = [S − , x0; G, 1 ], which refers to (based) homotopy classes of basepoint − { } n 1 n 1 preserving maps from the sphere S − with basepoint x S − , to the group G with basepoint the 0 ∈ identity 1 G. ∈ Proof. Let p : E Sn be a G - bundle. Write Sn as the union of its upper and lower → hemispheres, n n n n 1 S = D+ S − D . ∪ − n n Since D+ and D are both contractible, the above corollary says that E restricted to each of − these hemispheres is trivial. Morever if we fix a trivialization of the fiber of E at the basepoint n 1 n x S − S , then we can extend this trivialization to both the upper and lower hemispheres. 0 ∈ ⊂ We may therefore write n n E = (D+ G) θ (D G) × ∪ − × n 1 where θ is a clutching function defined on the equator, θ : S − G. That is, E consists of → n n n 1 n the two trivial components, (D+ G) and (D G) where if x S − , then (x, g) (D+ G) × − × ∈ ∈ × is identified with (x, θ(x)g) (Dn G). Notice that since our original trivializations extended a ∈ − × n 1 n 1 common trivialization on the basepoint x S − , then the trivialization θ : S − G maps the 0 ∈ → basepoint x to the identity 1 G.
Load more

Recommended publications
  • The Jouanolou-Thomason Homotopy Lemma
    The Jouanolou-Thomason homotopy lemma Aravind Asok February 9, 2009 1 Introduction The goal of this note is to prove what is now known as the Jouanolou-Thomason homotopy lemma or simply \Jouanolou's trick." Our main reason for discussing this here is that i) most statements (that I have seen) assume unncessary quasi-projectivity hypotheses, and ii) most applications of the result that I know (e.g., in homotopy K-theory) appeal to the result as merely a \black box," while the proof indicates that the construction is quite geometric and relatively explicit. For simplicity, throughout the word scheme means separated Noetherian scheme. Theorem 1.1 (Jouanolou-Thomason homotopy lemma). Given a smooth scheme X over a regular Noetherian base ring k, there exists a pair (X;~ π), where X~ is an affine scheme, smooth over k, and π : X~ ! X is a Zariski locally trivial smooth morphism with fibers isomorphic to affine spaces. 1 Remark 1.2. In terms of an A -homotopy category of smooth schemes over k (e.g., H(k) or H´et(k); see [MV99, x3]), the map π is an A1-weak equivalence (use [MV99, x3 Example 2.4]. Thus, up to A1-weak equivalence, any smooth k-scheme is an affine scheme smooth over k. 2 An explicit algebraic form Let An denote affine space over Spec Z. Let An n 0 denote the scheme quasi-affine and smooth over 2m Spec Z obtained by removing the fiber over 0. Let Q2m−1 denote the closed subscheme of A (with coordinates x1; : : : ; x2m) defined by the equation X xixm+i = 1: i Consider the following simple situation.
    [Show full text]
  • Vector Bundles on Projective Space
    Vector Bundles on Projective Space Takumi Murayama December 1, 2013 1 Preliminaries on vector bundles Let X be a (quasi-projective) variety over k. We follow [Sha13, Chap. 6, x1.2]. Definition. A family of vector spaces over X is a morphism of varieties π : E ! X −1 such that for each x 2 X, the fiber Ex := π (x) is isomorphic to a vector space r 0 0 Ak(x).A morphism of a family of vector spaces π : E ! X and π : E ! X is a morphism f : E ! E0 such that the following diagram commutes: f E E0 π π0 X 0 and the map fx : Ex ! Ex is linear over k(x). f is an isomorphism if fx is an isomorphism for all x. A vector bundle is a family of vector spaces that is locally trivial, i.e., for each x 2 X, there exists a neighborhood U 3 x such that there is an isomorphism ': π−1(U) !∼ U × Ar that is an isomorphism of families of vector spaces by the following diagram: −1 ∼ r π (U) ' U × A (1.1) π pr1 U −1 where pr1 denotes the first projection. We call π (U) ! U the restriction of the vector bundle π : E ! X onto U, denoted by EjU . r is locally constant, hence is constant on every irreducible component of X. If it is constant everywhere on X, we call r the rank of the vector bundle. 1 The following lemma tells us how local trivializations of a vector bundle glue together on the entire space X.
    [Show full text]
  • Stable Isomorphism Vs Isomorphism of Vector Bundles: an Application to Quantum Systems
    Alma Mater Studiorum · Universita` di Bologna Scuola di Scienze Corso di Laurea in Matematica STABLE ISOMORPHISM VS ISOMORPHISM OF VECTOR BUNDLES: AN APPLICATION TO QUANTUM SYSTEMS Tesi di Laurea in Geometria Differenziale Relatrice: Presentata da: Prof.ssa CLARA PUNZI ALESSIA CATTABRIGA Correlatore: Chiar.mo Prof. RALF MEYER VI Sessione Anno Accademico 2017/2018 Abstract La classificazione dei materiali sulla base delle fasi topologiche della materia porta allo studio di particolari fibrati vettoriali sul d-toro con alcune strut- ture aggiuntive. Solitamente, tale classificazione si fonda sulla nozione di isomorfismo tra fibrati vettoriali; tuttavia, quando il sistema soddisfa alcune assunzioni e ha dimensione abbastanza elevata, alcuni autori ritengono in- vece sufficiente utilizzare come relazione d0equivalenza quella meno fine di isomorfismo stabile. Scopo di questa tesi `efissare le condizioni per le quali la relazione di isomorfismo stabile pu`osostituire quella di isomorfismo senza generare inesattezze. Ci`onei particolari casi in cui il sistema fisico quantis- tico studiato non ha simmetrie oppure `edotato della simmetria discreta di inversione temporale. Contents Introduction 3 1 The background of the non-equivariant problem 5 1.1 CW-complexes . .5 1.2 Bundles . 11 1.3 Vector bundles . 15 2 Stability properties of vector bundles 21 2.1 Homotopy properties of vector bundles . 21 2.2 Stability . 23 3 Quantum mechanical systems 28 3.1 The single-particle model . 28 3.2 Topological phases and Bloch bundles . 32 4 The equivariant problem 36 4.1 Involution spaces and general G-spaces . 36 4.2 G-CW-complexes . 39 4.3 \Real" vector bundles . 41 4.4 \Quaternionic" vector bundles .
    [Show full text]
  • LECTURE 6: FIBER BUNDLES in This Section We Will Introduce The
    LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class of fibrations given by fiber bundles. Fiber bundles play an important role in many geometric contexts. For example, the Grassmaniann varieties and certain fiber bundles associated to Stiefel varieties are central in the classification of vector bundles over (nice) spaces. The fact that fiber bundles are examples of Serre fibrations follows from Theorem ?? which states that being a Serre fibration is a local property. 1. Fiber bundles and principal bundles Definition 6.1. A fiber bundle with fiber F is a map p: E ! X with the following property: every ∼ −1 point x 2 X has a neighborhood U ⊆ X for which there is a homeomorphism φU : U × F = p (U) such that the following diagram commutes in which π1 : U × F ! U is the projection on the first factor: φ U × F U / p−1(U) ∼= π1 p * U t Remark 6.2. The projection X × F ! X is an example of a fiber bundle: it is called the trivial bundle over X with fiber F . By definition, a fiber bundle is a map which is `locally' homeomorphic to a trivial bundle. The homeomorphism φU in the definition is a local trivialization of the bundle, or a trivialization over U. Let us begin with an interesting subclass. A fiber bundle whose fiber F is a discrete space is (by definition) a covering projection (with fiber F ). For example, the exponential map R ! S1 is a covering projection with fiber Z. Suppose X is a space which is path-connected and locally simply connected (in fact, the weaker condition of being semi-locally simply connected would be enough for the following construction).
    [Show full text]
  • Recent Developments in Representation Theory
    RECENT DEVELOPMENTS IN REPRESENTATION THEORY Wilfried 5chmid* Department of Mathematics Harvard University Cambridge, MA 02138 For the purposes of this lecture, "representation theory" means representation theory of Lie groups, and more specifically, of semisimple Lie groups. I am interpreting my assignment to give a survey rather loosely: while I shall touch upon various major advances in the subject, I am concentrating on a single development. Both order and emphasis of my presentation are motivated by expository considerations, and do not reflect my view of the relative importance of various topics. Initially G shall denote a locally compact topological group which is unimodular -- i.e., left and right Haar measure coincide -- and H C G a closed unimodular subgroup. The quotient space G/H then carries a G- invariant measure, so G acts unitarily on the Hilbert space L2(G/H). In essence, the fundamental problem of harmonic analysis is to decompose L2(G/H) into a direct "sum" of irreducibles. The quotation marks allude to the fact that the decomposition typically involves the continuous ana- logue of a sum, namely a direct integral, as happens already for non- compact Abelian groups. If G is of type I -- loosely speaking, if the unitary representations of G behave reasonably -- the abstract Plan- cherel theorem [12] asserts the existence of such a decomposition. This existence theorem raises as many questions as it answers: to make the decomposition useful, one wants to know it explicitly and, most impor- tantly, one wants to understand the structure of the irreducible sum- mands. In principle, any irreducible unitary representation of G can occur as a constituent of L2(G/H), for some H C G.
    [Show full text]
  • Classifying Spaces for 1-Truncated Compact Lie Groups
    CLASSIFYING SPACES FOR 1-TRUNCATED COMPACT LIE GROUPS CHARLES REZK Abstract. A 1-truncated compact Lie group is any extension of a finite group by a torus. In G this note we compute the homotopy types of Map(BG; BH) and (BGH) for compact Lie groups G and H with H 1-truncated, showing that they are computed entirely in terms of spaces of homomorphisms from G to H. These results generalize the well-known case when H is finite, and the case of H compact abelian due to Lashof, May, and Segal. 1. Introduction By a 1-truncated compact Lie group H, we mean one whose homotopy groups vanish in dimensions 2 and greater. Equivalently, H is a compact Lie group with identity component H0 a torus (isomorphic to some U(1)d); i.e., an extension of a finite group by a torus. The class of 1-truncated compact Lie groups includes (i) all finite groups, and (ii) all compact abelian Lie groups, both of which are included in the class (iii) all groups which are isomorphic to a product of a compact abelian Lie group with a finite group, or equivalently a product of a torus with a finite group. The goal of this paper is to extend certain results, which were already known for finite groups, compact abelian Lie groups, or products thereof, to all 1-truncated compact Lie groups. We write Hom(G; H) for the space of continuous homomorphisms, equipped with the compact- open topology. Our first theorem relates this to the space of based maps between classifying spaces.
    [Show full text]
  • 4. Coherent Sheaves Definition 4.1. If (X,O X) Is a Locally Ringed Space
    4. Coherent Sheaves Definition 4.1. If (X; OX ) is a locally ringed space, then we say that an OX -module F is locally free if there is an open affine cover fUig of X such that FjUi is isomorphic to a direct sum of copies of OUi . If the number of copies r is finite and constant, then F is called locally free of rank r (aka a vector bundle). If F is locally free of rank one then we way say that F is invertible (aka a line bundle). The group of all invertible sheaves under tensor product, denoted Pic(X), is called the Picard group of X. A sheaf of ideals I is any OX -submodule of OX . Definition 4.2. Let X = Spec A be an affine scheme and let M be an A-module. M~ is the sheaf which assigns to every open subset U ⊂ X, the set of functions a s: U −! Mp; p2U which can be locally represented at p as a=g, a 2 M, g 2 R, p 2= Ug ⊂ U. Lemma 4.3. Let A be a ring and let M be an A-module. Let X = Spec A. ~ (1) M is a OX -module. ~ (2) If p 2 X then Mp is isomorphic to Mp. ~ (3) If f 2 A then M(Uf ) is isomorphic to Mf . Proof. (1) is clear and the rest is proved mutatis mutandis as for the structure sheaf. Definition 4.4. An OX -module F on a scheme X is called quasi- coherent if there is an open cover fUi = Spec Aig by affines and ~ isomorphisms FjUi ' Mi, where Mi is an Ai-module.
    [Show full text]
  • 256B Algebraic Geometry
    256B Algebraic Geometry David Nadler Notes by Qiaochu Yuan Spring 2013 1 Vector bundles on the projective line This semester we will be focusing on coherent sheaves on smooth projective complex varieties. The organizing framework for this class will be a 2-dimensional topological field theory called the B-model. Topics will include 1. Vector bundles and coherent sheaves 2. Cohomology, derived categories, and derived functors (in the differential graded setting) 3. Grothendieck-Serre duality 4. Reconstruction theorems (Bondal-Orlov, Tannaka, Gabriel) 5. Hochschild homology, Chern classes, Grothendieck-Riemann-Roch For now we'll introduce enough background to talk about vector bundles on P1. We'll regard varieties as subsets of PN for some N. Projective will mean that we look at closed subsets (with respect to the Zariski topology). The reason is that if p : X ! pt is the unique map from such a subset X to a point, then we can (derived) push forward a bounded complex of coherent sheaves M on X to a bounded complex of coherent sheaves on a point Rp∗(M). Smooth will mean the following. If x 2 X is a point, then locally x is cut out by 2 a maximal ideal mx of functions vanishing on x. Smooth means that dim mx=mx = dim X. (In general it may be bigger.) Intuitively it means that locally at x the variety X looks like a manifold, and one way to make this precise is that the completion of the local ring at x is isomorphic to a power series ring C[[x1; :::xn]]; this is the ring where Taylor series expansions live.
    [Show full text]
  • Notes on Principal Bundles and Classifying Spaces
    Notes on principal bundles and classifying spaces Stephen A. Mitchell August 2001 1 Introduction Consider a real n-plane bundle ξ with Euclidean metric. Associated to ξ are a number of auxiliary bundles: disc bundle, sphere bundle, projective bundle, k-frame bundle, etc. Here “bundle” simply means a local product with the indicated fibre. In each case one can show, by easy but repetitive arguments, that the projection map in question is indeed a local product; furthermore, the transition functions are always linear in the sense that they are induced in an obvious way from the linear transition functions of ξ. It turns out that all of this data can be subsumed in a single object: the “principal O(n)-bundle” Pξ, which is just the bundle of orthonormal n-frames. The fact that the transition functions of the various associated bundles are linear can then be formalized in the notion “fibre bundle with structure group O(n)”. If we do not want to consider a Euclidean metric, there is an analogous notion of principal GLnR-bundle; this is the bundle of linearly independent n-frames. More generally, if G is any topological group, a principal G-bundle is a locally trivial free G-space with orbit space B (see below for the precise definition). For example, if G is discrete then a principal G-bundle with connected total space is the same thing as a regular covering map with G as group of deck transformations. Under mild hypotheses there exists a classifying space BG, such that isomorphism classes of principal G-bundles over X are in natural bijective correspondence with [X, BG].
    [Show full text]
  • A Classification of Fibre Bundles Over 2-Dimensional Spaces
    A classification of fibre bundles over 2-dimensional spaces∗ Yu. A. Kubyshin† Department of Physics, U.C.E.H., University of the Algarve 8000 Faro, Portugal 22 November 1999 Abstract The classification problem for principal fibre bundles over two-dimensional CW- complexes is considered. Using the Postnikov factorization for the base space of a universal bundle a Puppe sequence that gives an implicit solution for the classifica- tion problem is constructed. In cases, when the structure group G is path-connected or π1(G) = 0, the classification can be given in terms of cohomology groups. arXiv:math/9911217v1 [math.AT] 26 Nov 1999 ∗Talk given at the Meeting New Developments in Algebraic Topology (July 13-14, 1998, Faro, Portugal) †On leave of absence from the Institute for Nuclear Physics, Moscow State University, 119899 Moscow, Russia. E-mail address: [email protected] 0 1 Introduction In the present contribution we consider the classification problem for principal fibre bun- dles. We give a solution for the case when M is a two-dimensional path-connected CW- complex. A motivation for this study came from calculations in two-dimensional quantum Yang- Mills theories in Refs. [AK1], [AK2]. Consider a pure Yang-Mills (or pure gauge) theory on a space-time manifold M with gauge group G which is usually assumed to be a compact semisimple Lie group. The vacuum expectation value of, say, traced holonomy Tγ(A) for a closed path γ in M is given by the following formal functional integral: 1 < T > = Z(γ), (1) γ Z(0) −S(A) Z(γ) = DA e Tγ (A), (2) ZA where A is a local 1-form on M, describing the gauge potential, and S(A) is the Yang- Mills action.
    [Show full text]
  • Regulators and Characteristic Classes of Flat Bundles
    Centre de Recherches Math´ematiques CRM Proceedings and Lecture Notes Regulators and Characteristic Classes of Flat Bundles Johan Dupont, Richard Hain, and Steven Zucker Abstract. In this paper, we prove that on any non-singular algebraic variety, the characteristic classes of Cheeger-Simons and Beilinson agree whenever they can be interpreted as elements of the same group (e.g. for flat bundles). In the universal case, where the base is BGL(C)δ, we show that the universal Cheeger-Simons class is half the Borel regulator element. We were unable to prove that the universal Beilinson class and the universal Cheeger-Simons classes agree in this universal case, but conjecture they do agree. Contents 1. Introduction 1 2. Universal Connections 6 3. The Cheeger-Simons Chern Class 8 4. Deligne-Beilinson Cohomology 14 5. Proof of Theorem 3 23 6. Towards a Proof of Conjecture 4 29 Appendix A. Fiber integration and the homotopy formula 32 Appendix B. Universal weak F 1-connections 33 Appendix C. Simplicial de Rham Theory 34 Appendix D. Additional techniques 42 References 43 1. Introduction For each complex algebraic variety X, Deligne and Beilinson [2] have defined cohomology groups Hk (X; Z(p)) k; p N D 2 First-named author supported in part by grants from the Aarhus Universitets Forskningsfond, Statens Naturvidenskabelige Forskningsraad, and the Paul and Gabriella Rosenbaum Foundation. Second-named author supported in part by the National Science Foundation under grants DMS-8601530 and DMS-8901608. Third-named author supported in part by the National Science Foundation under grants DMS-8800355 and DMS-9102233.
    [Show full text]
  • Arxiv:1505.02430V1 [Math.CT] 10 May 2015 Bundle Functors and Fibrations
    Bundle functors and fibrations Anders Kock Introduction The notions of bundle, and bundle functor, are useful and well exploited notions in topology and differential geometry, cf. e.g. [12], as well as in other branches of mathematics. The category theoretic set up relevant for these notions is that of fibred category, likewise a well exploited notion, but for certain considerations in the context of bundle functors, it can be carried further. In particular, we formalize and develop, in terms of fibred categories, some of the differential geometric con- structions: tangent- and cotangent bundles, (being examples of bundle functors, respectively star-bundle functors, as in [12]), as well as jet bundles (where the for- mulation of the functorality properties, in terms of fibered categories, is probably new). Part of the development in the present note was expounded in [11], and is repeated almost verbatim in the Sections 2 and 4 below. These sections may have interest as a piece of pure category theory, not referring to differential geometry. 1 Basics on Cartesian arrows We recall here some classical notions. arXiv:1505.02430v1 [math.CT] 10 May 2015 Let π : X → B be any functor. For α : A → B in B, and for objects X,Y ∈ X with π(X) = A and π(Y ) = B, let homα (X,Y) be the set of arrows h : X → Y in X with π(h) = α. The fibre over A ∈ B is the category, denoted XA, whose objects are the X ∈ X with π(X) = A, and whose arrows are arrows in X which by π map to 1A; such arrows are called vertical (over A).
    [Show full text]