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

Size: px
Start display at page:

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

Transcription

1 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 manifold, there is a bijection between (1) codimension q foliations on M up to integral homotopy and (2) homotopy classes of fibrewise surjective vector bundle maps T M NΓ q. 1. Defining the map Recall that Γ q is the topological groupoid of germs of local diffeomorphisms of R q, the topology being that of the étalé space of the discrete sheaf of local diffeomorphisms. The space BΓ q carries a Γ q -structure U with the following universal property: for any space X, f f 1 (U) induces a bijection between homotopy classes of maps [X, BΓ q ] and Γ q -structures on X up to homotopy. To define the map in Haefliger s theorem, we need to promote this bijection at least to an equivalence of groupoids, following the general theory of classifying spaces. To any Γ q -structure on a space X is associated a map f : X BΓ q together with a homotopy H from f 1 (U) to. This data is canonically defined up to homotopy: given (f 0, H 0 ) corresponding to 0, (f 1, H 1 ) corresponding to 1, we can associate to any homotopy from 0 to 1 a homotopy f from f 0 to f 1 and a Γ q -structure K on X [0, 1] 2 with restrictions given by H 0 K H 1 f 1 (U) and the homotopy type of this data depends only on the homotopy type of. There is a map of topological groupoids d: Γ q GL q given by (x, g) dg. or any Γ q -structure with classifying map f, we define its normal bundle N to be the vector bundle classified by Bd f. In other words, if NΓ q is the pullback by Bd of the universal bundle on BGL q, then N = f (NΓ q ). If f 0 and f 1 are part of different classifying data for, then they are related by a canonical homotopy class of homotopy, so there exists a canonical homotopy class of isomorphisms f 0 (NΓ q ) = f 1 (NΓ q ). By definition, the normal bundle is functorial in that N r 1 () = r (N ) for r a continuous map. Let now M be a manifold. A Γ q -structure on M is called smooth if it is represented by a cocycle {U α, φ αβ } in which the maps φ α : U α R q are smooth. If is a smooth Γ q -structure, we can define a bundle map T M N over the covering {U α } as follows: T U α dφ α N U α T R q U α U α φ α R q, Date: Lecture ebruary 14, Last edited on ebruary 19,

2 where the right-hand square is a pullback by definition of N. By construction, this bundle map is natural in M: if r : N M is a smooth map, then the Γ q -structure r 1 () is represented by the cocycle {r 1 (U α ), φ αβ r}, so we have a commutative square T N dr T M N r 1 () N. Our goal is now to classify Γ q -foliations on M, the set of which we denote by ol q (M). These are the smooth Γ q -structures on M whose associated bundle map T M N is fibrewise surjective. Thus to any ol q (M) we can associate an element T M NΓ q M f BΓ q in the space Map surj Vect (T M, NΓ q) of fibrewise surjective bundle maps. We wish to show that this gives a well-defined map (1) ol q (M) π 0 Map surj Vect (T M, NΓ q). Suppose that (f 0, H 0 ) and (f 1, H 1 ) are two choices of classifying data for, defining bundles maps (f 0, 0 ) and (f 1, 1 ), and let (f, K) be associated to the identity homotopy p 1 () of, where p: M [0, 1] M is the projection. Then N K is a bundle on M [0, 1] 2 that restricts to the normal bundles of p 1 () and f 1 (U) on the top and bottom sides. By homotopy invariance of vector bundles this gives an isomorphism N p 1 () = N f 1 (U) = f (NΓ q ), and hence a path T M [0, 1] N [0, 1] = N p 1 () = f (NΓ q ) NΓ q M [0, 1] M [0, 1] f BΓ q in Map surj Vect (T M, NΓ q) between (f 0, 0 ) and (f 1, 1 ). urther, suppose that is an integrable homotopy between 0 and 1, that is, is a Γ q -foliation on M [0, 1] whose restriction to M {t} is a foliation for all t. If f : M [0, 1] BΓ q is a classifying map for, we can choose f t as classifying maps for t = i 1 t (). Let (f, ) be the bundle map associated to f and (f t, t ) that associated to f t. Then T M [0, 1] T (M [0, 1]) M [0, 1] f NΓ q BΓ q is a path from (f 0, 0 ) to (f 1, 1 ) in Map surj Vect (T M, NΓ q), since for each t the restriction of the top map to T M {t} is di t = t which is fibrewise surjective. So the map (1) descends to where is the relation of integrable homotopy. Haef : ol q (M)/ π 0 Map surj Vect (T M, NΓ q) 2

3 2. Proof of the theorem Suppose that M and E are manifolds and that is a Γ q -foliation on E. Then Map (M, E) denotes the space of smooth maps s: M E that are transversal to, i.e., such that the composite T M ds T E NΓ q is fiberwise surjective. This is just the bundle map associated to the smooth Γ q -structure s 1 ( ), so we have a map (2) Map (M, E) ol q (M), s s 1 ( ). What happens if we take homotopy classes? Suppose that s: M [0, 1] E is a smooth homotopy such that s t : M E is transversal to for all t [0, 1]. Then s 1 ( ) is a homotopy between s 1 0 ( ) and s 1 1 ( ), and we claim that it is an integrable homotopy. The restriction of s 1 ( ) to M {t} is s 1 t ( ) which is a foliation by assumption, so it remains to show that s 1 ( ) itself is a foliation, or equivalently that s is transversal to. This follows from the the transversality of all the s t, since the composition T M dit T (M [0, 1]) ds T E NΓ q is fibrewise surjective and each fiber of T (M [0, 1]) is accounted for in this way. Thus, the map (2) descends to π 0 Map (M, E) ol q (M)/. We can summarize the situation by the commutative square (3) π 0 Map (M, E) ol q (M)/ = π 0 Map surj Vect (T M, N ) Haef π 0 Map surj Vect (T M, NΓ q) in which the left-hand map is a bijection when M is open, by the Gromov-Phillips theorem. This square will be used to prove both the surjectivity and the injectivity of Haef, by using appropriate pairs (s, ). These will be given by the following technical lemma. Lemma 2.1. Let be a Γ q -structure on a manifold M. Then there exists a manifold E, a closed embedding s: M E, and a Γ q -foliation on E such that s 1 ( ) =. Proof. Let be represented by the cocycle {U α, φ αβ : U αβ Γ q }. By paracompactness we can assume that the cover {U α } is locally finite. Consider the topological groupoid Γ M q of germs of diffeomorphisms of M R q that are of locally the form (x, v) (x, γ(v)) where γ is a local diffeomorphism of R q, i.e., all germs are of the form id g for some g Γ q. The obvious map of sheaves induces an inclusion i: Γ q Γ M q that sends a germ g to id g. Observe that the diagram φ αβ Γ q i Γ M q U αβ (id,φ α) M R q. is commutative. This means that i φ αβ is a section of Γ M q over the graph of φ α Uαβ. Extending the germs of this section at every point to a neighborhood and then using a partition of unity on U αβ R q, we can extend this section to a global section U αβ R q Γ M q. Such a section corresponds 3

4 to a diffeomorphism Φ αβ defined on U αβ R q, locally of the form (x, v) (x, γ(v)), and whose germ at (x, φ α (x)) is id φ αβ (x) for any x U αβ. or x M, denote by V x M R q the set on which: Φ αα is defined and the identity, whenever x U α ; Φ 1 βα Φ αβ is defined and the identity, whenever x U αβ ; Φ βγ Φ αβ and Φ αγ are defined and equal, whenever x U αβγ. Now because all these identites hold true of the germs at (x, φ α (x)) and our cover is locally finite, V x is a neighborhood of (x, φ α (x)). or each α, therefore, the set x U α V x U α R q is a neighborhood of the graph of φ α : U α R q ; let E α be an open subneighborhood. Let E = E α / α where (α, x, v) (β, y, w) iff x = y in U αβ and Φ αβ (x, v) = (y, w). This is an equivalence relation because of the way we constructed the neighborhoods E α. Clearly there is an induced smooth map π : E M, [α, x, v] x. To make sure that E is actually a manifold, we must still check that it is Hausdorff. So let [α, x, v], [β, y, w] E be distinct. If x y, then the points are separated by π. Otherwise, Φ αβ (x, v) (y, w), so in this case the points are separated by the second component of the inclusion E α U α R q. Define s: M E to be x [α, x, φ α (x)] for x U α. inally, let be defined by the cocycle {E α, φ αβ }, where φ αβ : E αβ Γ q sends [α, x, v] to the germ g such that id g is the germ of Φ αβ at (x, v). It is then straightforward to check that is a Γ q -structure and that s 1 ( ) =. Moreover, φ α : E α R q is just the composition of the open embedding E α U α R q and the projection to the second factor, hence is smooth and a submersion. Proof of surjectivity. Take a bundle map T M NΓ q M f BΓ q in the target, and let = f 1 (U). By the lemma, there exists s: M E and a foliation on E such that s 1 ( ) =. Let f : E BΓ q be a map classifying. Because s is a cofibration, we can choose it so that f = f s. Then the left-hand square in T M N NΓ q M s E f BΓ q is an element of Map surj Vect (T M, N ) mapping to (f, ) by the bottom map in the square (3). This square completes the proof. Proof of injectivity. Let 0 and 1 be Γ q -foliations on M and suppose that there is a path T M [0, 1] NΓ q M [0, 1] 4 f BΓ q

5 between the associated bundles maps (f 0, 0 ) and (f 1, 1 ). We can assume that 0 = f0 1 (U) and 1 = f1 1 (U). Then = f 1 (U) is a homotopy from 0 to 1. By the lemma, there exists s: M [0, 1] E and a foliation on E such that s 1 ( ) =. Since s 1 0 () = 0 and s 1 1 () = 1 are foliations, s 0 and s 1 belong to Map (M, E), and they map to 0 and 1 by the top map of the square (3). Using this square it will suffice to show that the images of s 0 and s 1 in Map surj Vect (T M, N ) are in the same connected component. A path between them is given by the left-hand square in T M [0, 1] N NΓ q M [0, 1] s E f BΓ q, since 0 = ds 0 and 1 = ds 1. This completes the proof of Haefliger s classification. To understand its meaning, let s pretend for a moment that BΓ q is a manifold and that U is a Γ q -foliation on it. Then we have a commutative triangle π 0 Map U (M, BΓ q ) = ol q (M)/ Haef π 0 Map surj Vect (T M, NΓ q) in which the top map is an isomorphism by the theorem of Gromov and Phillips, and Haefliger s theorem is equivalent to the vertical map being an isomorphism. Morally speaking, therefore, Haefliger s theorem is the statement that U is the universal Γ q -foliation. 3. Some consequences The following proposition gives Haefliger s classification a more homotopy-theoretic flavor. Proposition 3.1. If dim M = n, π 0 Map surj Vect (T M, NΓ q) is naturally identified with the set of lifts BΓ q BGL n q Bd id BGL q BGL n q M BGL n τ up to homotopy, i.e., the set of maps M BΓ q BGL n q in the homotopy category of spaces over BGL n. Equivalently, this is π 0 of the space of sections of the fibration τ 1 (BΓ q BGL n q ) on M, where τ classifies the tangent bundle of M. Proof. Such a lift is the same thing as a map M BΓ q BGL n q together with a homotopy between the two maps M BGL n, up to homotopy. This is equivalent to a map f : M BΓ q, a rank n q vector bundle K on M, and an isomorphism T M = K f (NΓ q ), up to homotopy. Any homotopy class of such data has a representative in which the injection K T M is the inclusion of a subbundle. Since a splitting of this inclusion is unique up to homotopy, this data is equivalent to a map f : M BΓ q together with a fibrewise surjective map T M f (NΓ q ), up to homotopy. This is exactly π 0 Map surj Vect (T M, NΓ q). 5

6 Corollary 3.2. If M is contractible, there exists a unique Γ q -foliation on M up to integrable homotopy. Proof. There is a unique lift in Proposition 3.1, since BΓ q BGL n q and BGL n are connected. Corollary 3.3. If M is open and parallelizable, then there exists at least one Γ q -foliation on M. Proof. The map M BGL n factors through a point, so it can be lifted by the previous corollary. Define BΓ q by the homotopy fiber sequence BΓ q BΓ q Bd BGL q. In other words, BΓ q classifies Γ q -structures with trivialized normal bundle. Proposition 3.4. Bd: BΓ q BGL q is q-connected. Proof. Let 0 k q 1. There exists a unique codimension q foliation on the open manifold S k R q k, since it has dimension q. By Proposition 3.1, there exists a unique lift BΓ q S k R q k BGL q up to homotopy. But S k R q k has trivial tangent bundle, so the bottom map is null-homotopic and therefore these lifts identify with homotopy classes of maps S k BΓ q. Corollary 3.5. Let M be open and k-truncated. If q k, then any rank n q subbundle of T M is the tangent bundle of a Γ q -foliation, which is unique up to integrable homotopy if q > k. References [1] Haefliger, André. Lectures on the theorem of Gromov. Proceedings of Liverpool Singularities Symposium, II (1969/1970), pp Lecture Notes in Math., Vol. 209, Springer, Berlin, [2] Lawson, Blaine. oliations. Bull. Amer. Math. Soc. 80 (1974),

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

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

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

A QUICK NOTE ON ÉTALE STACKS

A QUICK NOTE ON ÉTALE STACKS A QUICK NOTE ON ÉTALE STACKS DAVID CARCHEDI Abstract. These notes start by closely following a talk I gave at the Higher Structures Along the Lower Rhine workshop in Bonn, in January. I then give a taste

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

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

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in

More information

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: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds

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

On Normal Stratified Pseudomanifolds

On Normal Stratified Pseudomanifolds E extracta mathematicae Vol. 18, Núm. 2, 223 234 (2003) On Normal Stratified Pseudomanifolds G. Padilla Universidad Central de Venezuela, Escuela de Matemáticas, Facultad de Ciencias, Ciudad Universitaria,

More information

Transversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2

Transversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2 Transversality Abhishek Khetan December 13, 2017 Contents 1 Basics 1 2 The Transversality Theorem 1 3 Transversality and Homotopy 2 4 Intersection Number Mod 2 4 5 Degree Mod 2 4 1 Basics Definition. Let

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

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

Hodge Theory of Maps

Hodge Theory of Maps Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar

More information

arxiv:math/ v1 [math.at] 2 Oct 2002

arxiv:math/ v1 [math.at] 2 Oct 2002 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 ON NORMAL STRATIFIED PSEUDOMANIFOLDS arxiv:math/0210022v1 [math.at] 2 Oct 2002 G. PADILLA Devoted

More information

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.

More information

The maximal atlas of a foliation. 1 Maximal atlas, isonomy, and holonomy

The maximal atlas of a foliation. 1 Maximal atlas, isonomy, and holonomy The maximal atlas of a foliation Talk at 62. PSSL, Utrecht Oct. 1996 Anders Kock We shall describe such maximal atlas and provide it with an algebraic structure that brings along the holonomy groupoid

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

in path component sheaves, and the diagrams

in path component sheaves, and the diagrams Cocycle categories Cocycles J.F. Jardine I will be using the injective model structure on the category s Pre(C) of simplicial presheaves on a small Grothendieck site C. You can think in terms of simplicial

More information

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By

More information

We then have an analogous theorem. Theorem 1.2.

We then have an analogous theorem. Theorem 1.2. 1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.

More information

Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim

Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).

More information

LECTURE 11: TRANSVERSALITY

LECTURE 11: TRANSVERSALITY LECTURE 11: TRANSVERSALITY Let f : M N be a smooth map. In the past three lectures, we are mainly studying the image of f, especially when f is an embedding. Today we would like to study the pre-image

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

HOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS

HOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS j. differential geometry 58 (2001) 467-500 HOLONOMY GROUPOIDS OF SINGULAR FOLIATIONS CLAIRE DEBORD Abstract We give a new construction of Lie groupoids which is particularly well adapted to the generalization

More information

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39) 2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ

More information

Math 754 Chapter III: Fiber bundles. Classifying spaces. Applications

Math 754 Chapter III: Fiber bundles. Classifying spaces. Applications Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle

More information

EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B

EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B SEBASTIAN GOETTE, KIYOSHI IGUSA, AND BRUCE WILLIAMS Abstract. When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic,

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

1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0

1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0 1. Classification of 1-manifolds Theorem 1.1. Let M be a connected 1 manifold. Then M is diffeomorphic either to [0, 1], [0, 1), (0, 1), or S 1. We know that none of these four manifolds are not diffeomorphic

More information

arxiv: v1 [math.at] 13 Nov 2007

arxiv: v1 [math.at] 13 Nov 2007 SMOOTH PARAMETRIZED TORSION A MANIFOLD APPROACH arxiv:0711.1911v1 [math.at] 13 Nov 2007 BERNARD BADZIOCH, WOJCIECH DORABIA LA, AND BRUCE WILLIAMS Abstract. We give a construction of a torsion invariant

More information

Bordism and the Pontryagin-Thom Theorem

Bordism and the Pontryagin-Thom Theorem Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such

More information

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold

More information

Dynamics of Group Actions and Minimal Sets

Dynamics of Group Actions and Minimal Sets University of Illinois at Chicago www.math.uic.edu/ hurder First Joint Meeting of the Sociedad de Matemática de Chile American Mathematical Society Special Session on Group Actions: Probability and Dynamics

More information

Homotopy and geometric perspectives on string topology

Homotopy and geometric perspectives on string topology Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known

More information

Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität

Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität 1 Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität Corrections for the first printing Page 7 +6: j is already assumed to be an inclusion. But the assertion

More information

ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES

ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES ASIAN J. MATH. c 2008 International Press Vol. 12, No. 3, pp. 289 298, September 2008 002 ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES RAUL QUIROGA-BARRANCO Abstract.

More information

Lecture 4 Super Lie groups

Lecture 4 Super Lie groups Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is

More information

The transverse index problem for Riemannian foliations

The transverse index problem for Riemannian foliations The transverse index problem for Riemannian foliations John Lott UC-Berkeley http://math.berkeley.edu/ lott May 27, 2013 The transverse index problem for Riemannian foliations Introduction Riemannian foliations

More information

Theorem 3.11 (Equidimensional Sard). Let f : M N be a C 1 map of n-manifolds, and let C M be the set of critical points. Then f (C) has measure zero.

Theorem 3.11 (Equidimensional Sard). Let f : M N be a C 1 map of n-manifolds, and let C M be the set of critical points. Then f (C) has measure zero. Now we investigate the measure of the critical values of a map f : M N where dim M = dim N. Of course the set of critical points need not have measure zero, but we shall see that because the values of

More information

1.4 The Jacobian of a map

1.4 The Jacobian of a map 1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p

More information

EMBEDDINGS OF TOPOLOGICAL MANIFOLDS

EMBEDDINGS OF TOPOLOGICAL MANIFOLDS EMBEDDINGS OF TOPOLOGICAL MANIFOLDS ERIK KJÆR PEDERSEN It is the purpose of this paper to combine the methods of [8] and [9] to prove Haefliger type embedding theorems for topological manifolds. We prove

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

IndCoh Seminar: Ind-coherent sheaves I

IndCoh Seminar: Ind-coherent sheaves I IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of

More information

Math 751 Week 6 Notes

Math 751 Week 6 Notes Math 751 Week 6 Notes Joe Timmerman October 26, 2014 1 October 7 Definition 1.1. A map p: E B is called a covering if 1. P is continuous and onto. 2. For all b B, there exists an open neighborhood U of

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

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f)) 1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical

More information

DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM

DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such

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

Introduction to higher homotopy groups and obstruction theory

Introduction to higher homotopy groups and obstruction theory Introduction to higher homotopy groups and obstruction theory Michael Hutchings February 17, 2011 Abstract These are some notes to accompany the beginning of a secondsemester algebraic topology course.

More information

Convex Symplectic Manifolds

Convex Symplectic Manifolds Convex Symplectic Manifolds Jie Min April 16, 2017 Abstract This note for my talk in student symplectic topology seminar in UMN is an gentle introduction to the concept of convex symplectic manifolds.

More information

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define

More information

Transverse Euler Classes of Foliations on Non-atomic Foliation Cycles Steven HURDER & Yoshihiko MITSUMATSU. 1 Introduction

Transverse Euler Classes of Foliations on Non-atomic Foliation Cycles Steven HURDER & Yoshihiko MITSUMATSU. 1 Introduction 1 Transverse Euler Classes of Foliations on Non-atomic Foliation Cycles Steven HURDER & Yoshihiko MITSUMATSU 1 Introduction The main purpose of this article is to give a geometric proof of the following

More information

RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan

RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On multiframings of 3 manifolds Tatsuro Shimizu 1

More information

Stable complex and Spin c -structures

Stable complex and Spin c -structures APPENDIX D Stable complex and Spin c -structures In this book, G-manifolds are often equipped with a stable complex structure or a Spin c structure. Specifically, we use these structures to define quantization.

More information

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring

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

The Atiyah bundle and connections on a principal bundle

The Atiyah bundle and connections on a principal bundle Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 3, June 2010, pp. 299 316. Indian Academy of Sciences The Atiyah bundle and connections on a principal bundle INDRANIL BISWAS School of Mathematics, Tata

More information

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for

More information

EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS

EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS EXPLICIT l 1 -EFFICIENT CYCLES AND AMENABLE NORMAL SUBGROUPS CLARA LÖH Abstract. By Gromov s mapping theorem for bounded cohomology, the projection of a group to the quotient by an amenable normal subgroup

More information

Lecture 6: Classifying spaces

Lecture 6: Classifying spaces Lecture 6: Classifying spaces A vector bundle E M is a family of vector spaces parametrized by a smooth manifold M. We ask: Is there a universal such family? In other words, is there a vector bundle E

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

Homology lens spaces and Dehn surgery on homology spheres

Homology lens spaces and Dehn surgery on homology spheres F U N D A M E N T A MATHEMATICAE 144 (1994) Homology lens spaces and Dehn surgery on homology spheres by Craig R. G u i l b a u l t (Milwaukee, Wis.) Abstract. A homology lens space is a closed 3-manifold

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

Math 6530: K-Theory and Characteristic Classes

Math 6530: K-Theory and Characteristic Classes Math 6530: K-Theory and Characteristic Classes Taught by Inna Zakharevich Notes by David Mehrle dmehrle@math.cornell.edu Cornell University Fall 2017 Last updated December 12, 2017. The latest version

More information

Groupoids and Orbifold Cohomology, Part 2

Groupoids and Orbifold Cohomology, Part 2 Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012 Motivation Orbifolds:

More information

Math 147, Homework 5 Solutions Due: May 15, 2012

Math 147, Homework 5 Solutions Due: May 15, 2012 Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is

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

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, ) II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups

More information

Geometric Aspects of Quantum Condensed Matter

Geometric Aspects of Quantum Condensed Matter Geometric Aspects of Quantum Condensed Matter January 15, 2014 Lecture XI y Classification of Vector Bundles over Spheres Giuseppe De Nittis Department Mathematik room 02.317 +49 09131 85 67071 @ denittis.giuseppe@gmail.com

More information

Math Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:

Math Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems: Math 132 - Topology II: Smooth Manifolds. Spring 2017. Homework 2 Solution Submit solutions to the following problems: 1. Let H = {a + bi + cj + dk (a, b, c, d) R 4 }, where i 2 = j 2 = k 2 = 1, ij = k,

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

The Differential Structure of an Orbifold

The Differential Structure of an Orbifold The Differential Structure of an Orbifold AMS Sectional Meeting 2015 University of Memphis Jordan Watts University of Colorado at Boulder October 18, 2015 Introduction Let G 1 G 0 be a Lie groupoid. Consider

More information

Math 535a Homework 5

Math 535a Homework 5 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

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

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

LIE GROUPOIDS AND LIE ALGEBROIDS LECTURE NOTES, FALL Contents 1. Lie groupoids Definitions 30

LIE GROUPOIDS AND LIE ALGEBROIDS LECTURE NOTES, FALL Contents 1. Lie groupoids Definitions 30 LIE GROUPOIDS AND LIE ALGEBROIDS LECTURE NOTES, FALL 2017 ECKHARD MEINRENKEN Abstract. These notes are very much under construction. They contain many errors, and the references are very incomplete. Apologies!

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

Lecture on Equivariant Cohomology

Lecture on Equivariant Cohomology Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove

More information

Nodal symplectic spheres in CP 2 with positive self intersection

Nodal symplectic spheres in CP 2 with positive self intersection Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic

More information

KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS

KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show

More information

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X

More information

Exotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017

Exotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017 Exotic spheres Overview and lecture-by-lecture summary Martin Palmer / 22 July 2017 Abstract This is a brief overview and a slightly less brief lecture-by-lecture summary of the topics covered in the course

More information

On the homotopy invariance of string topology

On the homotopy invariance of string topology On the homotopy invariance of string topology Ralph L. Cohen John Klein Dennis Sullivan August 25, 2005 Abstract Let M n be a closed, oriented, n-manifold, and LM its free loop space. In [3] a commutative

More information

Chern Classes and the Chern Character

Chern Classes and the Chern Character Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

The stable moduli space of Riemann surfaces: Mumford s conjecture

The stable moduli space of Riemann surfaces: Mumford s conjecture version: July 14, 2004 The stable moduli space of Riemann surfaces: Mumford s conjecture Ib Madsen 1, and Michael Weiss 2, 1) Institute for the Mathematical Sciences Aarhus University 8000 Aarhus C, Denmark

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

10. The subgroup subalgebra correspondence. Homogeneous spaces.

10. The subgroup subalgebra correspondence. Homogeneous spaces. 10. The subgroup subalgebra correspondence. Homogeneous spaces. 10.1. The concept of a Lie subgroup of a Lie group. We have seen that if G is a Lie group and H G a subgroup which is at the same time a

More information

Geometry Qualifying Exam Notes

Geometry Qualifying Exam Notes Geometry Qualifying Exam Notes F 1 F 1 x 1 x n Definition: The Jacobian matrix of a map f : N M is.. F m F m x 1 x n square matrix, its determinant is called the Jacobian determinant.. When this is a Definition:

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

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric

More information

Math 396. Subbundles and quotient bundles

Math 396. Subbundles and quotient bundles Math 396. Subbundles and quotient bundles 1. Motivation We want to study the bundle analogues of subspaces and quotients of finite-dimensional vector spaces. Let us begin with some motivating examples.

More information

ON A THEOREM OF CAMPANA AND PĂUN

ON A THEOREM OF CAMPANA AND PĂUN ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified

More information

1 Introduction and preliminaries notions

1 Introduction and preliminaries notions Bulletin of the Transilvania University of Braşov Vol 2(51) - 2009 Series III: Mathematics, Informatics, Physics, 193-198 A NOTE ON LOCALLY CONFORMAL COMPLEX LAGRANGE SPACES Cristian IDA 1 Abstract In

More information

Theta divisors and the Frobenius morphism

Theta divisors and the Frobenius morphism Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following

More information

Division Algebras and Parallelizable Spheres III

Division Algebras and Parallelizable Spheres III Division Algebras and Parallelizable Spheres III Seminar on Vectorbundles in Algebraic Topology ETH Zürich Ramon Braunwarth May 8, 2018 These are the notes to the talk given on April 23rd 2018 in the Vector

More information

A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction

A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM GAUTAM BHARALI, INDRANIL BISWAS, AND GEORG SCHUMACHER Abstract. Let X and Y be compact connected complex manifolds of the same dimension

More information

Atiyah-Singer Revisited

Atiyah-Singer Revisited Atiyah-Singer Revisited Paul Baum Penn State Texas A&M Universty College Station, Texas, USA April 1, 2014 From E 1, E 2,..., E n obtain : 1) The Dirac operator of R n D = n j=1 E j x j 2) The Bott generator

More information