Math 535a Homework 5

Size: px
Start display at page:

Download "Math 535a Homework 5"

Transcription

1 Math 535a Homework 5 Due Monday, March 20, 2017 by 5 pm Please remember to write down your name on your assignment. 1. Let (E, π E ) and (F, π F ) be (smooth) vector bundles over a common base M. A vector bundle morphism over M from E to F is a C map f : E F, compatible with projection, meaning that π F f = π E, so that on each fiber f p : E p F p is a linear map of vector spaces. An isomorphism of vector bundles E = F over potentially different manifolds M and N is a diffeomorphism f : M N and a vector bundle morphism covering f which is an isomorphism on each fiber. 1 We say E and F are isomorphic over M if the isomorphism of vector bundles covers the identity map; e.g, if the vector bundle morphism f : E F satisfies π F f = π E, so f maps E p to F p. 2 Let (E, π : E M) be a rank k vector bundle. We say a collection of sections s 1,..., s k Γ(E) is linearly independent if (s 1 )(p),..., (s k )(p) are linearly independent in E p for each p M (in particular, no s i (p) should be zero). Prove that there is an isomorphism of vector bundles over M, E = R k if and only if E has a basis of linearly independent sections s 1,..., s k. (Recall: R k denotes the trivial rank k bundle over M, defined as R k := M R k, with projection map π : M R k M sending (p, v) to p). 2. (double weight) Vector bundles via gluing data. Let M be a smooth manifold and U = {U α α I an open cover of M. A set of transition (or gluing) data (of rank k) for the cover U is a collection of C maps satisfying Φ αβ : U α U β GL(k, R) for all α, β I i. For any α, β I, Φ αβ Φ βα = I. 3 ii. (cocycle condition) for any α, β, γ I, Φ γα = Φ γβ Φ βα as functions on U α U β U γ. (a) Show, as asserted in class, that, given a collection of transition data T := {Φ αβ α,β I for the cover U, there is a C rank k vector bundle E U,T over M, formed by gluing 1 If f : M N is a C map, and E, π E : E M, F : π F : F N are vector bundles, a (general) bundle morphism covering f is a C map f : E F satisfying π F f = f π E, so that the induced map on fibers E p F f(p) is a linear map. 2 An implicit point is that isomorphism of bundles over M is an equivalence relation. In particular, you should check that if there is an isomorphism of vector bundles f : E F, then f is a diffeomorphism with f 1 : F E also an isomorphism of vector bundles. You do not need to prove this fact as part of your HW, but if would like to use this fact on the HW elsewhere, you should prove it as a Lemma. 3 Here and in ii., multiplication means pointwise multiplication of matrices, i.e., for f, g : V GL(k, R), (f g)(p) = f(p) g(p). Also, I means the constant function with value the identity matrix; V GL(k, R), p I. 1

2 together trivial vector bundles U α R k via the transition data maps: E U,T := (U α R k )/{(U α, p, v) (U β, p, Φ αβ (p)(v)) for all α, β, p U α U β. U α U with projection map to M defined as follows: first, define M U = U α /{(U α, p) (U β, p) for all α, β, p U α U β ; U α U check that M U is indeed a smooth manifold, and show that there is a canonical diffeomorphism i U : M U M sending [(U α, p)] to p. Then one defines π : E U,T M as the composition of the map π T : E U,T M U with i U, where π T : [(U α, p, v)] [(U α, p)] (again, you ll need to check this is C ). 4 Note: part of this problem involves verifying that (a) of M U as above is indeed a smooth manifold canonically diffeomorphic to M, and (b) E U,T has the structure of a smooth manifold with π a smooth map, and finally that (c) (E U,T, π) satisfy the axioms of a vector bundle. (b) Show that any vector bundle E on M is isomorphic, as vector bundles over M (in the sense of problem 1), to E U,T for some cover U and some transition data T. (c) Let U = {U i i I be a cover and T = {Φ αβ a set of transition data of rank k. A (Čech) 0-co-chain on U is a collection of functions F := {f α : U α GL(k, R). Given such a Čech 0-co-chain, define new transition data for the cover U by FT := {f 1 α Φ αβ f β. Show that E U,T and E U,FT are isomorphic as vector bundles over M. (d) Given an open cover of M, U = {U α α I, along with transition data T for U, a refinement of the cover U is a new open cover U = {V κ κ J along with a map of index sets f : J I such that for each κ J, V κ U f(κ). (Example: If M = R n, one can take U = {R n and U = {B ɛ (p) p J=R n. Then U, equipped with the canonical map on index sets f : J {, is a refinement of U). Given a refinement of U, call it U, the induced transition data on the refinement is T U := {Φ f(κ)f(τ) Vκ V τ κ,τ J. Show that there is an isomorphism of vector bundles over M, E U,T U = EU,T. 4 Note: In this entire problem, for clarity we re using the notation V V V := {(V, p) V V, p V. So elements of disjoint unions should be thought of as tuples (V, p) where V is one of the sets we re taking the disjoint union of and p is an element of V. 2

3 (e) Let V ect k (M) denote the set of smooth rank k vector bundles on M up to isomorphism. That is, V ect k (M) := {(E, π) a vector bundle over M/, where E F if E and F are isomorphic over M, in the terminology of problem 1. Show that there is a bijection of sets V ect k (M) = {(U, T) U is any open cover of M and T is any transition data of rank k for U/, where (U 1, T 1 ) (U 2, T 2 ) if, after passing to a common refinement U of U 1 and U 2, there is a Čech 0-co-chain F on U such that T 1 U = F(T 2 U ). Hint: there is a natural map {(U, T) as above V ect k (M) sending (U, T) to (E U,T, π). Show that this descends to a well-defined map {(U, T) as above/ V ect k (M) which is in fact a bijection. 3. (double weight) The category theory of vector bundle operations: In class, we have indicated or sketched how many vector space operations, such as direct sum, tensor product, self tensor/exterior product, quotient, etc. induce operations on vector bundles. In this homework assignment we will give a streamlined proof of all such constructions, using some category theory. First, if C 1,..., C k are categories, the product category C 1 C k has as objects elements of the Cartesian product (ob C 1 ) (ob C k ), and has morphisms, for a pair of tuples (X 1,..., X k ), (Y 1,..., Y k ), hom C1 C k ((X 1,..., X k ), (Y 1,..., Y k )) := hom C1 (X 1, Y 1 ) hom Ck (X k, Y k ), with composition given by component-wise composition (see exercise (a) below). We use the shorthand C k := C C A k-ary functor from C to D is a functor F : C k D. Now, let V := V ect iso R be the category whose objects are finite-dimensional R-linear vector spaces and whose morphisms are the R-linear isomorphisms/invertible linear transformations, with composition given by composition of linear maps (you should convince yourself this is a category). Note that in this category hom V (V, V ) = GL(V ). (a) Check that the product category C 1 C k is indeed a category if C 1,..., C k are. (b) Show that in V, hom V (V, W ) has the structure of a C manifold for any pair of finite-dimensional vector spaces V, W. Moreover, check that the composition map hom V (W, Z) hom V (V, W ) hom V (V, Z) is a C map of manifolds. (we have already seen this when V = W = Z) (in categorical language, we might say that V is 3

4 enriched in the category of smooth manifolds. ) (c) We say a k-ary functor T : V V is smooth if, for any pair of objects (V 1,..., V k ), (W 1,..., W k ) in V k, the the induced map on morphism spaces hom V (V 1, W 1 ) hom V (V k, W k ) = hom V k((v 1,..., V k ), (V 1,..., V k )) is a C map of manifolds. hom V (T (V 1,..., V k ), T (W 1,..., W k )) Show that the following give smooth k-ary functors on V. Note: you will in particular need to define a map on morphism spaces associated to the map on objects we define below. 2-ary functor T, defined on objects by T : (V, W ) V W. 2-ary functor T, defined on objects by T : (V, W ) V W. 1-ary functor T k, defined on objects by T k : V V k for some k. 1-ary functor T k, defined on objects by T k : V k V for some k. (d) Given a tuple of (smooth) vector bundles E 1,..., E k over a manifold M, and a smooth k-ary functor T as above, directly construct a smooth vector bundle T (E 1,..., E k ) with T (E 1,..., E k ) p = T ((E 1 ) p,..., (E k ) p ). Hint: This problem is very similar to the problem of constructing T M. First, as a set T (E 1,..., E k ) = {(p, v) p M, v T ((E 1 ) p,..., (E k ) p ). Next, you will need to equip this set with a topology (use a cover on M consisting of open sets for which the input vector bundles all simultaneously admit trivializations), and manifold structure, such that the projection map to M is C. Finally, you should argue that the resulting pair (T (E 1,..., E k ), π) is indeed a smooth vector bundle. (e) Give a construction of the vector bundle T (E 1,..., E k ) in terms of transition data (as in the previous problem), using as input the transition data associated to E 1,..., E k for some cover, and explain why the result is isomorphic (as vector bundles) to the construction above. Note: Now, if E, F are vector bundles, we have now defined vector bundles E F := T (E, F), E F := T (E, F), and so on for E k, and k E. Remark: A very similar argument leads to the construction of a vector bundle hom(e, F), whose fiber at a point p M is hom R (E p, F p ). (a special case of which gives a construction of E := hom(e, R)). However, the argument you ll give in this part doesn t verbatim apply because the functor sending (V, W ) hom R (V, W ) is contravariant in in the first entry V, (meaning isomorphisms V 1 V 2 induce, via pre-composition, maps in the opposite direction hom R (V 2, W ) hom R (V 1, W )). 4

5 Hence T hom := hom R (, ) should be thought of as a functor V op V V. Fortunately, there is still a (basically identical) notion for smoothness of functors T : V op op V V. The arguments of this section directly adapt over s times t times to give a construction of a vector bundle T (E 1,..., E s ; F 1,..., F t ) for such T. 4. (a) Let E = [0, 1] R/(0, t) (1, t) be the Möbius line bundle defined in class, with π : E S 1 = [0, 1]/0 1 sending (x, t) x. Verify that E is indeed a line bundle, and prove that E is not isomorphic to the trivial line bundle. (b) Let L = {(x, v) RP n R n+1 v x, 5 π : L RP n, (x, v) x denote the line bunde introduced in class; we call this bundle the tautological line bundle on RP n. Verify that L is indeed a line bundle. 5. Linear algebra of tensor products (a) Write in detail the construction of the canonical map V W α hom(v, W ), and give a careful proof that it is an isomorphism if V and W are finite dimensional (in class, we constructed the map and sketchily argued why it was surjective). (b) Let ev : V V R be the linear map induced by the bilinear map ev : V V R, (φ, v) φ(v). Given a linear operator T hom(v, V ) on a finite-dimensional vector space, define the trace of T as tr(t ) := ev(α 1 (T )), where α is the map defined in the previous section. Show that this definition agrees with the usual notion of trace, that is if v := {v 1,..., v k is any basis of V and A is the matrix of T with respect to v, then tr(t ) = tr(a) = i a ii. 6. Exterior algebra 1. (a) A formula for the determinant of 3 3 matrices. Recall from class that the determinant det(t ) of T hom R (V, V ) is defined as the scalar in R such that where v 1,..., v n is any basis for V. T (v 1 ) T (v n ) = det(t ) v 1 v n, Suppose that dim V = 3, and v = (v 1, v 2, v 3 ) is a basis for V. Let T : V V be the linear operator defined by T (v 1 ) = av 1 + dv 2 + gv 3 T (v 2 ) = bv 1 + ev 2 + hv 3 T (v 3 ) = cv 1 + fv 2 + iv 3. 5 By v x, we mean that, if x = [w], then v Span(w). 5

6 In other words, suppose the matrix of T with respect to v is M(T, v) = a b c d e f g h i Derive, using the definition we gave in class with exterior products, a formula for det(t ) in terms of a, b, c, d, e, f, h, and i. (Remark: this formula should have six terms. It is easy to find the formula online, but you should be able to derive it in terms of the definition of determinants given in lecture). 7. Exterior algebra 2. For the below problems, let V be a finite-dimensional vector space over R. (a) Let A k (V ) := AltMultiLin R (V, R) be the vector space of alternating multilinear maps from k copies of V to R (what is its vector space structure). Also let L k (V ) := MultiLin R (V, R) is the vector space of multilinear maps. Prove that there are canonical isomorphisms A k (V ) = k V = ( k V ). Similarly, prove that there is a canonical isomorphism L k (V ) = (V ) k = (V k ), and that under these inclusions, the natural map A k (V ) L k (V ) is sent to the (dual of) the projection map (V ) k k V. (here we are implicitly using the fact that (V k ) = (V ) k and similarly for the wedge product). (b) An element ω A 2 (V ) = 2 V is called non-degenerate, or a linear symplectic form, if ω(v, ) 0 hom R (V, R) for any non-zero v V. If V is finite-dimensional and V admits a linear symplectic form, prove that n = dim V is necessarily even, say n = 2m. (c) Prove that ω 2 V is non-degenerate if and only if ω m 0 in n V (where n = 2m). 8. Give a careful construction of the exterior differentiation operator d : Ω k (M) Ω k+1 (M) using local coordinates; show that this definition is independent of local coordinates and is well-defined. 9. Let M be a manifold. Prove that d satisfies the formula d(α β) = d(α) β+( 1) k α d(β), where α Ω k (M), β Ω l (M). 10. Prove that d commutes with pullback; that is, d f = f d for any smooth f : M N. 6

Topological K-theory, Lecture 2

Topological K-theory, Lecture 2 Topological K-theory, Lecture 2 Matan Prasma March 2, 2015 Again, we assume throughout that our base space B is connected. 1 Direct sums Recall from last time: Given vector bundles p 1 E 1 B and p 2 E

More information

LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES

LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EAMPLES VIVEK SHENDE Historically, sheaves come from topology and analysis; subsequently they have played a fundamental role in algebraic geometry and certain

More information

Math 396. Linear algebra operations on vector bundles

Math 396. Linear algebra operations on vector bundles Math 396. Linear algebra operations on vector bundles 1. Motivation Let (X, O) be a C p premanifold with corners, 0 p. We have developed the notion of a C p vector bundle over X as a certain kind of C

More information

(1) Let π Ui : U i R k U i be the natural projection. Then π π 1 (U i ) = π i τ i. In other words, we have the following commutative diagram: U i R k

(1) Let π Ui : U i R k U i be the natural projection. Then π π 1 (U i ) = π i τ i. In other words, we have the following commutative diagram: U i R k 1. Vector Bundles Convention: All manifolds here are Hausdorff and paracompact. To make our life easier, we will assume that all topological spaces are homeomorphic to CW complexes unless stated otherwise.

More information

Mini-Course on Moduli Spaces

Mini-Course on Moduli Spaces Mini-Course on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, One-dimensional

More information

M4P52 Manifolds, 2016 Problem Sheet 1

M4P52 Manifolds, 2016 Problem Sheet 1 Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete

More information

Chapter 2. Bundles. 2.1 Vector bundles: definitions and examples

Chapter 2. Bundles. 2.1 Vector bundles: definitions and examples 18 CHAPTER 2. BUNDLES Chapter 2 Bundles Contents 2.1 Vector bundles................... 17 2.2 Smoothness..................... 26 2.3 Operations on vector bundles.......... 28 2.4 Vector bundles with structure..........

More information

LECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

LECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment. LECTURE 3 MATH 261A LECTURES BY: PROFESSOR DAVID NADLER PROFESSOR NOTES BY: JACKSON VAN DYKE Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

More information

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday

More information

Categories and functors

Categories and functors Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called

More information

h M (T ). The natural isomorphism η : M h M determines an element U = η 1

h M (T ). The natural isomorphism η : M h M determines an element U = η 1 MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli

More information

COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY

COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an

More information

Exercises on chapter 0

Exercises on chapter 0 Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that

More information

MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY

MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY MONDAY - TALK 4 ALGEBRAIC STRUCTURE ON COHOMOLOGY Contents 1. Cohomology 1 2. The ring structure and cup product 2 2.1. Idea and example 2 3. Tensor product of Chain complexes 2 4. Kunneth formula and

More information

Categories and Quantum Informatics: Hilbert spaces

Categories and Quantum Informatics: Hilbert spaces Categories and Quantum Informatics: Hilbert spaces Chris Heunen Spring 2018 We introduce our main example category Hilb by recalling in some detail the mathematical formalism that underlies quantum theory:

More information

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES

SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there

More information

Equivalence of the Combinatorial Definition (Lecture 11)

Equivalence of the Combinatorial Definition (Lecture 11) Equivalence of the Combinatorial Definition (Lecture 11) September 26, 2014 Our goal in this lecture is to complete the proof of our first main theorem by proving the following: Theorem 1. The map of simplicial

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves

More information

EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY

EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital

More information

Math 121 Homework 4: Notes on Selected Problems

Math 121 Homework 4: Notes on Selected Problems Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W

More information

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection 3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given

More information

Math 215B: Solutions 3

Math 215B: Solutions 3 Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union

More information

Cohomology and Vector Bundles

Cohomology and Vector Bundles Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes

More information

The Algebra of Tensors; Tensors on a Vector Space Definition. Suppose V 1,,V k and W are vector spaces. A map. F : V 1 V k

The Algebra of Tensors; Tensors on a Vector Space Definition. Suppose V 1,,V k and W are vector spaces. A map. F : V 1 V k The Algebra of Tensors; Tensors on a Vector Space Definition. Suppose V 1,,V k and W are vector spaces. A map F : V 1 V k is said to be multilinear if it is linear as a function of each variable seperately:

More information

EXERCISES IN POISSON GEOMETRY

EXERCISES IN POISSON GEOMETRY EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible

More information

PICARD GROUPS OF MODULI PROBLEMS II

PICARD GROUPS OF MODULI PROBLEMS II PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

Differential geometry for physicists - Lecture 2

Differential geometry for physicists - Lecture 2 Differential geometry for physicists - Lecture 2 Manuel Hohmann 17. February 2015 4 Fiber bundles In the last lecture we have introduced the direct product of manifolds. We now discuss an important concept,

More information

An introduction to cobordism

An introduction to cobordism An introduction to cobordism Martin Vito Cruz 30 April 2004 1 Introduction Cobordism theory is the study of manifolds modulo the cobordism relation: two manifolds are considered the same if their disjoint

More information

LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.

LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS. LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one

More information

Elementary (ha-ha) Aspects of Topos Theory

Elementary (ha-ha) Aspects of Topos Theory Elementary (ha-ha) Aspects of Topos Theory Matt Booth June 3, 2016 Contents 1 Sheaves on topological spaces 1 1.1 Presheaves on spaces......................... 1 1.2 Digression on pointless topology..................

More information

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.

More information

MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.

MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra. MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.

More information

BEN KNUDSEN. Conf k (f) Conf k (Y )

BEN KNUDSEN. Conf k (f) Conf k (Y ) CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective

More information

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of

More information

Lecture 9: Sheaves. February 11, 2018

Lecture 9: Sheaves. February 11, 2018 Lecture 9: Sheaves February 11, 2018 Recall that a category X is a topos if there exists an equivalence X Shv(C), where C is a small category (which can be assumed to admit finite limits) equipped with

More information

1 Differentiable manifolds and smooth maps

1 Differentiable manifolds and smooth maps 1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set

More information

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let

More information

Vector Bundles on Algebraic Varieties

Vector Bundles on Algebraic Varieties Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general

More information

Chern classes à la Grothendieck

Chern classes à la Grothendieck Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

More information

Topological K-theory, Lecture 3

Topological K-theory, Lecture 3 Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ

More information

Assume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is.

Assume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is. COMMUTATIVE ALGERA LECTURE 2: MORE CATEGORY THEORY VIVEK SHENDE Last time we learned about Yoneda s lemma, and various universal constructions initial and final objects, products and coproducts (which

More information

Algebraic Geometry

Algebraic Geometry MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

and the diagram commutes, which means that every fibre E p is mapped to {p} V.

and the diagram commutes, which means that every fibre E p is mapped to {p} V. Part III: Differential geometry (Michaelmas 2004) Alexei Kovalev (A.G.Kovalev@dpmms.cam.ac.uk) 2 Vector bundles. Definition. Let B be a smooth manifold. A manifold E together with a smooth submersion 1

More information

Patrick Iglesias-Zemmour

Patrick Iglesias-Zemmour Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries

More information

Topological K-theory

Topological K-theory Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions

More information

Direct Limits. Mathematics 683, Fall 2013

Direct Limits. Mathematics 683, Fall 2013 Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

More information

Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18

Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results

More information

is the desired collar neighbourhood. Corollary Suppose M1 n, M 2 and f : N1 n 1 N2 n 1 is a diffeomorphism between some connected components

is the desired collar neighbourhood. Corollary Suppose M1 n, M 2 and f : N1 n 1 N2 n 1 is a diffeomorphism between some connected components 1. Collar neighbourhood theorem Definition 1.0.1. Let M n be a manifold with boundary. Let p M. A vector v T p M is called inward if for some local chart x: U V where U subsetm is open, V H n is open and

More information

Exercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1

Exercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1 Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset

More information

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,

More information

THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3

THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3 THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3 KAZUNORI NAKAMOTO AND TAKESHI TORII Abstract. There exist 26 equivalence classes of k-subalgebras of M 3 (k) for any algebraically closed field

More information

Characteristic Classes, Chern Classes and Applications to Intersection Theory

Characteristic Classes, Chern Classes and Applications to Intersection Theory Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

Adjunctions! Everywhere!

Adjunctions! Everywhere! Adjunctions! Everywhere! Carnegie Mellon University Thursday 19 th September 2013 Clive Newstead Abstract What do free groups, existential quantifiers and Stone-Čech compactifications all have in common?

More information

ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY

ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY DUSA MCDUFF AND DIETMAR A. SALAMON Abstract. These notes correct a few typos and errors in Introduction to Symplectic Topology (2nd edition, OUP 1998, reprinted

More information

Geometry 9: Serre-Swan theorem

Geometry 9: Serre-Swan theorem Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

More information

Integration and Manifolds

Integration and Manifolds Integration and Manifolds Course No. 100 311 Fall 2007 Michael Stoll Contents 1. Manifolds 2 2. Differentiable Maps and Tangent Spaces 8 3. Vector Bundles and the Tangent Bundle 13 4. Orientation and Orientability

More information

SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY

SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

Holomorphic line bundles

Holomorphic line bundles Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

More information

HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY

HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY Last Modified April 14, 2014 Some notes on homework: (1) Homework will be due every two weeks. (2) A tentative schedule is: Jan 28, Feb 11, 25, March 11, 25,

More information

NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS

NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? Let V be a finite-dimensional vector space. 1 It could be R n, it could be the tangent space to a manifold at a point, or it could just

More information

Cutting and pasting. 2 in R. 3 which are not even topologically

Cutting and pasting. 2 in R. 3 which are not even topologically Cutting and pasting We begin by quoting the following description appearing on page 55 of C. T. C. Wall s 1960 1961 Differential Topology notes, which available are online at http://www.maths.ed.ac.uk/~aar/surgery/wall.pdf.

More information

NOTES ON FIBER BUNDLES

NOTES ON FIBER BUNDLES NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement

More information

4. Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products.

4. Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products. 4. Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products. The idea is that one can require a bilinear map to be either symmetric or alternating. Definition

More information

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr ) MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle

More information

Vector spaces, duals and endomorphisms

Vector spaces, duals and endomorphisms Vector spaces, duals and endomorphisms A real vector space V is a set equipped with an additive operation which is commutative and associative, has a zero element 0 and has an additive inverse v for any

More information

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R) CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.

More information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.

More information

1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim

1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories

More information

1. Classifying Spaces. Classifying Spaces

1. Classifying Spaces. Classifying Spaces Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.

More information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic

More information

Equivalence Relations

Equivalence Relations Equivalence Relations Definition 1. Let X be a non-empty set. A subset E X X is called an equivalence relation on X if it satisfies the following three properties: 1. Reflexive: For all x X, (x, x) E.

More information

Category theory and set theory: algebraic set theory as an example of their interaction

Category theory and set theory: algebraic set theory as an example of their interaction Category theory and set theory: algebraic set theory as an example of their interaction Brice Halimi May 30, 2014 My talk will be devoted to an example of positive interaction between (ZFC-style) set theory

More information

Math 231b Lecture 16. G. Quick

Math 231b Lecture 16. G. Quick Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector

More information

NOTES ON ATIYAH S TQFT S

NOTES ON ATIYAH S TQFT S NOTES ON ATIYAH S TQFT S J.P. MAY As an example of categorification, I presented Atiyah s axioms [1] for a topological quantum field theory (TQFT) to undergraduates in the University of Chicago s summer

More information

Lectures - XXIII and XXIV Coproducts and Pushouts

Lectures - XXIII and XXIV Coproducts and Pushouts Lectures - XXIII and XXIV Coproducts and Pushouts We now discuss further categorical constructions that are essential for the formulation of the Seifert Van Kampen theorem. We first discuss the notion

More information

which is a group homomorphism, such that if W V U, then

which is a group homomorphism, such that if W V U, then 4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV

More information

Symplectic and Poisson Manifolds

Symplectic and Poisson Manifolds Symplectic and Poisson Manifolds Harry Smith In this survey we look at the basic definitions relating to symplectic manifolds and Poisson manifolds and consider different examples of these. We go on to

More information

Lecture 17: Invertible Topological Quantum Field Theories

Lecture 17: Invertible Topological Quantum Field Theories Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly

More information

Derived Algebraic Geometry I: Stable -Categories

Derived Algebraic Geometry I: Stable -Categories Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5

More information

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical

More information

THE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS

THE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists

More information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need

More information

Math 396. Quotient spaces

Math 396. Quotient spaces Math 396. Quotient spaces. Definition Let F be a field, V a vector space over F and W V a subspace of V. For v, v V, we say that v v mod W if and only if v v W. One can readily verify that with this definition

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category

More information

PART II.1. IND-COHERENT SHEAVES ON SCHEMES

PART II.1. IND-COHERENT SHEAVES ON SCHEMES PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image

More information

1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality

1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality 1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms

More information

sset(x, Y ) n = sset(x [n], Y ).

sset(x, Y ) n = sset(x [n], Y ). 1. Symmetric monoidal categories and enriched categories In practice, categories come in nature with more structure than just sets of morphisms. This extra structure is central to all of category theory,

More information

ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY

ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up

More information

An Introduction to the Stolz-Teichner Program

An Introduction to the Stolz-Teichner Program Intro to STP 1/ 48 Field An Introduction to the Stolz-Teichner Program Australian National University October 20, 2012 Outline of Talk Field Smooth and Intro to STP 2/ 48 Field Field Motivating Principles

More information

Fibre Bundles and Chern-Weil Theory. Johan Dupont

Fibre Bundles and Chern-Weil Theory. Johan Dupont Fibre Bundles and Chern-Weil Theory Johan Dupont Aarhus Universitet August 2003 Contents 1 Introduction 3 2 Vector Bundles and Frame Bundles 8 3 Principal G-bundles 18 4 Extension and reduction of principal

More information

Math 52H: Multilinear algebra, differential forms and Stokes theorem. Yakov Eliashberg

Math 52H: Multilinear algebra, differential forms and Stokes theorem. Yakov Eliashberg Math 52H: Multilinear algebra, differential forms and Stokes theorem Yakov Eliashberg March 202 2 Contents I Multilinear Algebra 7 Linear and multilinear functions 9. Dual space.........................................

More information

1 Fields and vector spaces

1 Fields and vector spaces 1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

More information