Fiber Bundles and Intersectional Feminism 1

Total Page:16

File Type:pdf, Size:1020Kb

Fiber Bundles and Intersectional Feminism 1 FIBER BUNDLES AND INTERSECTIONAL FEMINISM DAGAN KARP Abstract. This note provides an introduction to, and call for ac- tion for, intersectional feminism for mathematicians. It also serves as an example of mathematical models of social structures, provid- ing an application of geometry to social theory. 1. Gender Inequity in Mathematics Gender inequity is historically severe and remains extant in math- ematics. Although nearly half of all bachelor's1 degrees2 in the U.S. in mathematics are awarded to women according to the Conference Board of the Mathematical Sciences (CBMS) [4], only about 30% of the PhD's in mathematics in the U.S. are awarded to women, and fur- ther only 14% of tenured mathematics faculty are women, according to the American Mathematical Society (AMS) Annual Survey [19]. See Section 2 for a discussion of gender and gendered terms. The underrepresentation of women in mathematics is persistent and pervasive. Comparing previous CMBS and AMS Annual Survey Data3, we see that these critical transition points are persistent. For example, the percentage of women PhD recipients in mathematics has remained at roughly 30% for at least two decades. Hence, there is persistent gender inequity at the level of participation and representation. It is worth noting that such underrepresentation extends throughout the profession. For example, \women are underrepresented as authors of mathematics papers on the arχiv, even in comparison to the proportion of women who hold full-time positions in mathematics departments"[7]. Such patters continue to appear in peer-reviewed publications [32]. Women are also underrepresented in journal editorial boards in the mathematical sciences [39]. Gender inequity in mathematics extends well beyond representation { beyond counting bodies in the profession. The non-academic obstruc- tions to success in mathematics for women are myriad. These include not only lack of role models and senior mentors as above, but also individual bias and structural inequities within and across institutions. Date: February 24, 2020. 1An unmarried man, according to Merriam-Webster, whereas a maid is therein defined as an unmarried girl or woman, especially when young or a virgin. 2Note the persistent misogyny in the use of B.S. and B.A. degrees. Why not all maid's degrees? 3AMS data is archived and updated at http://www.ams.org/profession/data/ annual-survey/annual-survey 1 Individual bias (inherent, implicit, intentional, or otherwise) is one cause of gender inequity in mathematics. Moss-Racusin et al performed a seminal study demonstrating such bias in the sciences. In a randomized double-blind study (n = 127), science faculty from research-intensive universities rated the ap- plication materials of a student { who was randomly assigned either a male or female name { for a laboratory manager position. Faculty participants rated the male applicant as significantly more competent and hireable than the (identical) female applicant.[35] Similarly, in another major study, over 6,500 faculty from 89 insti- tutions were sent emails from fictitious students inquiring about re- search opportunities prior to applying to a doctoral program. These emails were identical in all but the name of the students; names were randomly assigned to signal gender and race. The study found \fac- ulty were significantly more responsive to Caucasian males than to all other categories of students, collectively, particularly in higher-paying disciplines and private institutions" [33]. Harvard's Project Implicit4 has generated thousands of citations demonstrating implicit bias along axes of gender identity (among others). For example, in one publi- cation, Zitelny et al find that \Implicit measures of the gender-science stereotype are often better than explicit measures in predicting relevant outcomes"[41]. Much more important than bias held by individuals, there are sys- temic obstructions to success for women in mathematics. Although actions are taken by individuals, when they coalesce into clearly de- fined patters, it is necessary to recognize bias in the underlying in- stitution or system in place. For example, beginning in kindergarten and increasing with age, \Teachers consistently rate girls mathemati- cal proficiency lower than that of boys with similar achievement and learning behaviors" [10]. The evidence suggests that the U.S. educa- tion system is biased against women and privileges men from the very beginning of school. This is much more dangerous than individual bias. For an important, sophisticated, and nuanced critique of the emphasis on individual implicit bias and diversity, see [36]. In addition to a system of education biased against women, women face countless other obstructions to success in mathematics. These include, but are not limited to, macroaggressions, microaggressions, cultural exclusion, lack of role models, lack of peer support, and sexual harassment. An (problematized) attempt was made to describe some of the landscape of obstructions to equitable participation in mathematics conferences here [31]. It is imperative to listen to women and those targeted by heteronormative misogyny themselves, as Izabella Laba persuasively points out [28]. I suggest looking to the blogs of Laba5, 4https://implicit.harvard.edu/implicit/ 5https://ilaba.wordpress.com/ 2 Piper H.6, Chanda Prescod-Weinstein7 and the Inclusion/Exclusion8 blog of the AMS. A word on essentialism and reduction. I have neither the lived ex- perience nor professional training to exhaustively analyze systemic and institutional misogyny in mathematics. Rather, here I am only try- ing to give a glimpse of biased systems, as motivation for engaging in feminist work. Of course it would be ridiculous and essentializing to assume that any single individual, woman or otherwise, could speak on behalf of All Women, cis and trans, regardless of income, race, ethnic- ity, country of origin, first language, and all other aspects of identity. As Audre Lorde points out, \It is a particular academic arrogance to assume any discussion of feminist theory without examining our many differences, and without a significant input from poor women, Black and Third World women, and lesbians"[29]. Also, as women are nei- ther the architects nor the beneficiaries of misogyny, it is necessary for all people, but especially men and those who are privileged by misog- yny, to engage in the lifelong process of critical self-examination and the urgent work to dismantle systems of gender bias. 2. Language The moduli space of genders is neither connected nor equidimen- sional. It is certainly not the disjoint union of two points. It is also certainly not linear with a canonical well ordering. It is not even fixed in time. So the gender binary is an incorrect model mathematically, as is a linear gender spectrum. There is instead a rich moduli space of gender identities determined by self-identification, including people who are nonbinary, agender individuals, and people with genders that are multiple or change as a function of time. The word woman hence of course must be used to refer to an individual who self-identifies as such at a given point it time. However historical surveys of the mathemat- ical sciences not only assume the false gender binary, but also assign gender based on presentation. As such, there is an insufficiently an- alyzed disconnect between historical and current language and survey data. For an introduction to gender studies, including importantly the performative nature of gender, I refer the reader to the canonical text by Butler [8]. I am also intentional in my use of the phrase intersectional feminism. Because mathematicians use existential and universal quantifiers pro- fessionally, there is an unfortunate tendency by some in the field to propose an All Lives Matter approach to issues of equity in mathemat- ics. I use intersectional feminism, as opposed to intersectionality, to highlight intersectionality as a feminist movement and framework and to highlight the brilliance and work of women, especially queer women 6http://www.theliberatedmathematician.com/blog/ 7https://medium.com/@chanda 8https://blogs.ams.org/inclusionexclusion/ 3 of color, who have lead this struggle for social justice and continue to do so in greater society and also in mathematics. 3. Feminism In the Feminism and Visual Culture Reader, Amelia Jones writes Feminism is, of course, not a singular discourse to be easily defined or pinned down. Although its emergences (from the burgeoning of the suffragette movements in the late nineteenth and early twentieth centuries to the rise of women's lib in the 1960s and beyond) can be loosely mapped, its parameters and positions are under contin- ual negotiation. This book takes feminism seriously but does not seek to patrol its boarders by, for example, la- beling authors [...] 'feminist' or 'not feminist.' This kind of strategy is antithetical to the best impulses of what I take to be feminism. [25] To give a comprehensive introduction and history of feminism is not only beyond the scope of this article, and my capabilities, but in ad- dition I am not interested in pursuing a definitive treatment for the reasons Jones expresses above. Rather, I'll provide here a very terse in- troduction, intended for mathematicians who consider themselves gen- erally unaware of the subject. There is a universe of scholarship sur- rounding feminist history and thought. To recommend just three texts, I suggest [1], [2], and [37]. Feminism may (reductively) be described in terms of waves of the movement. First wave feminism, from the mid-nineteenth to the early twentieth century, was centrally concerned with women's legal and po- litical rights, such as the basic rights to vote, own property, control property, and earn and control their own income (i.e. have separate economy). The first wave of feminism roughly ends with the ratifica- tion of the 19th Amendment in 1920. Key figures include Elizabeth Cady Stanton and Sojourner Truth. Second wave feminism dates roughly from the 1960s through the 1980s. Second wave feminism moved the fight from equality under the law to social equality.
Recommended publications
  • NOTES on FIBER DIMENSION Let Φ : X → Y Be a Morphism of Affine
    NOTES ON FIBER DIMENSION SAM EVENS Let φ : X → Y be a morphism of affine algebraic sets, defined over an algebraically closed field k. For y ∈ Y , the set φ−1(y) is called the fiber over y. In these notes, I explain some basic results about the dimension of the fiber over y. These notes are largely taken from Chapters 3 and 4 of Humphreys, “Linear Algebraic Groups”, chapter 6 of Bump, “Algebraic Geometry”, and Tauvel and Yu, “Lie algebras and algebraic groups”. The book by Bump has an incomplete proof of the main fact we are proving (which repeats an incomplete proof from Mumford’s notes “The Red Book on varieties and Schemes”). Tauvel and Yu use a step I was not able to verify. The important thing is that you understand the statements and are able to use the Theorems 0.22 and 0.24. Let A be a ring. If p0 ⊂ p1 ⊂···⊂ pk is a chain of distinct prime ideals of A, we say the chain has length k and ends at p. Definition 0.1. Let p be a prime ideal of A. We say ht(p) = k if there is a chain of distinct prime ideals p0 ⊂···⊂ pk = p in A of length k, and there is no chain of prime ideals in A of length k +1 ending at p. If B is a finitely generated integral k-algebra, we set dim(B) = dim(F ), where F is the fraction field of B. Theorem 0.2. (Serre, “Local Algebra”, Proposition 15, p. 45) Let A be a finitely gener- ated integral k-algebra and let p ⊂ A be a prime ideal.
    [Show full text]
  • Vanishing Cycles, Plane Curve Singularities, and Framed Mapping Class Groups
    VANISHING CYCLES, PLANE CURVE SINGULARITIES, AND FRAMED MAPPING CLASS GROUPS PABLO PORTILLA CUADRADO AND NICK SALTER Abstract. Let f be an isolated plane curve singularity with Milnor fiber of genus at least 5. For all such f, we give (a) an intrinsic description of the geometric monodromy group that does not invoke the notion of the versal deformation space, and (b) an easy criterion to decide if a given simple closed curve in the Milnor fiber is a vanishing cycle or not. With the lone exception of singularities of type An and Dn, we find that both are determined completely by a canonical framing of the Milnor fiber induced by the Hamiltonian vector field associated to f. As a corollary we answer a question of Sullivan concerning the injectivity of monodromy groups for all singularities having Milnor fiber of genus at least 7. 1. Introduction Let f : C2 ! C denote an isolated plane curve singularity and Σ(f) the Milnor fiber over some point. A basic principle in singularity theory is to study f by way of its versal deformation space ∼ µ Vf = C , the parameter space of all deformations of f up to topological equivalence (see Section 2.2). From this point of view, two of the most basic invariants of f are the set of vanishing cycles and the geometric monodromy group. A simple closed curve c ⊂ Σ(f) is a vanishing cycle if there is some deformation fe of f with fe−1(0) a nodal curve such that c is contracted to a point when transported to −1 fe (0).
    [Show full text]
  • Linear Subspaces of Hypersurfaces
    LINEAR SUBSPACES OF HYPERSURFACES ROYA BEHESHTI AND ERIC RIEDL Abstract. Let X be an arbitrary smooth hypersurface in CPn of degree d. We prove the de Jong-Debarre Conjecture for n ≥ 2d−4: the space of lines in X has dimension 2n−d−3. d+k−1 We also prove an analogous result for k-planes: if n ≥ 2 k + k, then the space of k- planes on X will be irreducible of the expected dimension. As applications, we prove that an arbitrary smooth hypersurface satisfying n ≥ 2d! is unirational, and we prove that the space of degree e curves on X will be irreducible of the expected dimension provided that e+n d ≤ e+1 . 1. Introduction We work throughout over an algebraically closed field of characteristic 0. Let X ⊂ Pn be an arbitrary smooth hypersurface of degree d. Let Fk(X) ⊂ G(k; n) be the Hilbert scheme of k-planes contained in X. Question 1.1. What is the dimension of Fk(X)? In particular, we would like to know if there are triples (n; d; k) for which the answer depends only on (n; d; k) and not on the specific smooth hypersurface X. It is known d+k classically that Fk(X) is locally cut out by k equations. Therefore, one might expect the d+k answer to Question 1.1 to be that the dimension is (k + 1)(n − k) − k , where negative dimensions mean that Fk(X) is empty. This is indeed the case when the hypersurface X is general [10, 17]. Standard examples (see Proposition 3.1) show that dim Fk(X) must depend on the particular smooth hypersurface X for d large relative to n and k, but there remains hope that Question 1.1 might be answered positively for n large relative to d and k.
    [Show full text]
  • Set Theory in Computer Science a Gentle Introduction to Mathematical Modeling I
    Set Theory in Computer Science A Gentle Introduction to Mathematical Modeling I Jose´ Meseguer University of Illinois at Urbana-Champaign Urbana, IL 61801, USA c Jose´ Meseguer, 2008–2010; all rights reserved. February 28, 2011 2 Contents 1 Motivation 7 2 Set Theory as an Axiomatic Theory 11 3 The Empty Set, Extensionality, and Separation 15 3.1 The Empty Set . 15 3.2 Extensionality . 15 3.3 The Failed Attempt of Comprehension . 16 3.4 Separation . 17 4 Pairing, Unions, Powersets, and Infinity 19 4.1 Pairing . 19 4.2 Unions . 21 4.3 Powersets . 24 4.4 Infinity . 26 5 Case Study: A Computable Model of Hereditarily Finite Sets 29 5.1 HF-Sets in Maude . 30 5.2 Terms, Equations, and Term Rewriting . 33 5.3 Confluence, Termination, and Sufficient Completeness . 36 5.4 A Computable Model of HF-Sets . 39 5.5 HF-Sets as a Universe for Finitary Mathematics . 43 5.6 HF-Sets with Atoms . 47 6 Relations, Functions, and Function Sets 51 6.1 Relations and Functions . 51 6.2 Formula, Assignment, and Lambda Notations . 52 6.3 Images . 54 6.4 Composing Relations and Functions . 56 6.5 Abstract Products and Disjoint Unions . 59 6.6 Relating Function Sets . 62 7 Simple and Primitive Recursion, and the Peano Axioms 65 7.1 Simple Recursion . 65 7.2 Primitive Recursion . 67 7.3 The Peano Axioms . 69 8 Case Study: The Peano Language 71 9 Binary Relations on a Set 73 9.1 Directed and Undirected Graphs . 73 9.2 Transition Systems and Automata .
    [Show full text]
  • A Fiber Dimension Theorem for Essential and Canonical Dimension
    A FIBER DIMENSION THEOREM FOR ESSENTIAL AND CANONICAL DIMENSION ROLAND LOTSCHER¨ Abstract. The well-known fiber dimension theorem in algebraic geometry says that for every morphism f : X → Y of integral schemes of finite type, the dimension of every fiber of f is at least dim X − dim Y . This has recently been generalized by P. Brosnan, Z. Reichstein and A. Vistoli to certain morphisms of algebraic stacks f : X →Y, where the usual dimension is replaced by essential dimension. We will prove a general version for morphisms of categories fibered in groupoids. Moreover we will prove a variant of this theorem, where essential dimension and canonical dimension are linked. These results let us relate essential dimension to canonical dimension of algebraic groups. In particular, using the recent computation of the essential dimension of algebraic tori by M. MacDonald, A. Meyer, Z. Reichstein and the author, we establish a lower bound on the canonical dimension of algebraic tori. Contents 1. Introduction 1 2. Preliminaries 4 2.1. Conventions 4 2.2. Torsors and twists 4 2.3. CFG’s, stacks and gerbes 5 2.4. Essential and canonical dimension of CFG’s 8 3. Fibers for morphisms of CFG’s 10 4. p-exhaustive subgroups 14 5. Canonical dimension of group schemes 22 Acknowledgments 26 References 26 1. Introduction A category fibered in groupoids (abbreviated CFG) over a field F is roughly a category X equipped with a functor π : X → SchF to the category SchF of schemes over F for which pullbacks exist and are unique up to canonical isomorphism.
    [Show full text]
  • The Vanishing Cohomology of Non-Isolated Hypersurface Singularities
    THE VANISHING COHOMOLOGY OF NON-ISOLATED HYPERSURFACE SINGULARITIES LAURENT¸IU MAXIM, LAURENT¸IU PAUNESCU,˘ AND MIHAI TIBAR˘ Abstract. We employ the perverse vanishing cycles to show that each reduced cohomol- ogy group of the Milnor fiber, except the top two, can be computed from the restriction of the vanishing cycle complex to only singular strata with a certain lower bound in di- mension. Guided by geometric results, we alternately use the nearby and vanishing cycle functors to derive information about the Milnor fiber cohomology via iterated slicing by generic hyperplanes. These lead to the description of the reduced cohomology groups, except the top two, in terms of the vanishing cohomology of the nearby section. We use it to compute explicitly the lowest (possibly nontrivial) vanishing cohomology group of the Milnor fiber. 1. Introduction In his search for exotic spheres, Milnor [Mi] initiated the study of the topology of com- plex hypersurface singularity germs. For a germ of an analytic map f :(Cn+1; 0) ! (C; 0) having a singularity at the origin, Milnor introduced what is now called the Milnor fibration −1 ∗ ∗ n+1 f (Dδ ) \ B ! Dδ (in a small enough ball B ⊂ C and over a small enough punctured ∗ −1 disc Dδ ⊂ C), and the Milnor fiber F := f (t) \ B of f at 0. Around the same time, Grothendieck [SGA7I] proved Milnor's conjecture that the eigenvalues of the monodromy acting on H∗(F ; Z) are roots of unity, and Deligne [SGA7II] defined the nearby and van- ishing cycle functors, f and 'f , globalizing Milnor's construction.
    [Show full text]
  • A Note on the Fiber Dimension Theorem
    Proyecciones Vol. 28, No 1, pp. 57—73, May 2009. Universidad Cat´olica del Norte Antofagasta - Chile A NOTE ON THE FIBER DIMENSION THEOREM JACQUELINE ROJAS ∗ UFPB, BRASIL and RAMON´ MENDOZA UFPE, BRASIL Received : February 2009. Accepted : April 2009 Abstract The aim of this work is to prove a version of the Fiber Dimension Theorem, emphasizing the case of non-closed points. Resumo El objetivo de este trabajo es probar una versi´on del Teorema de la Dimensi´on de la Fibra, enfatizando el caso de puntos no cerrados. MSC 2000: 14A15 Key words: Fiber dimension theorem, non-closed points ∗Partially supported by PADCT - CNPq 58 Jacqueline Rojas and Ram´on Mendoza 1. INTRODUCTION The fiber dimension theorem is an important mathematical tool in the everyday life of an algebraic geometer. For example, we can calculate the dimension of the space of matrices whose rank is less than or equal to k; the dimension of the incidence variety Γ = (π, , p) p π where π is a plane, is a line and p is a point in some{ projective| space∈ ⊂ as} indicated in the figure below (see Harris [8] for other applications). We can also use this theorem to know for example if a nonsingular hy- persurface contains a finite number of lines, planes, etc., in particular, we can show that a nonsingular cubic surface in the three-dimensional projec- tive space contains exactly 27 lines (seeReid[12],Beauville[3],Crauder- Miranda [4]). The aim of this article is to prove the following theorem. 1.1. Theorem. (Fiber dimension theorem) Let X and Y be integral affine schemes of finite type over a field K, f : X Y be a dominant morphism.
    [Show full text]
  • Monodromy of Elliptic Surfaces 1 Introduction
    Monodromy of elliptic surfaces Fedor Bogomolov and Yuri Tschinkel January 25, 2006 1 Introduction Let E → B be a non-isotrivial Jacobian elliptic fibration and Γ˜ its global monodromy group. It is a subgroup of finite index in SL(2, Z). We will assume that E is Jacobian. Denote by Γ the image of Γ˜ in PSL(2, Z) and by H the upper half-plane completed by ∞ and by rational points in R ⊂ C. 1 The j-map B → P decomposes as jΓ ◦ jE , where jE : B → MΓ = H/Γ 1 and jΓ : MΓ → P = H/PSL(2, Z). In an algebraic family of elliptic fi- brations the degree of j is bounded by the degree of the generic element. It follows that there is only a finite number of monodromy groups for each family. The number of subgroups of bounded index in SL(2, Z) grows superex- ponentially [8], similarly to the case of a free group (since SL(2, Z) con- tains a free subgroup of finite index). For Γ of large index, the number of 2 MΓ-representations of the sphere S is substantially smaller, however, still superexponential (see 3.5). Our goal is to introduce some combinatorial structure on the set of mon- odromy groups of elliptic fibrations which would help to answer some natural questions. Our original motivation was to describe the set of groups corre- sponding to rational or K3 elliptic surfaces, explain how to compute the dimensions of the spaces of moduli of surfaces in this class with given mon- odromy group etc.
    [Show full text]
  • 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". For example, given any smooth manifold M of dimension n, the tangent bundle TM = f(p; Xp) j p 2 M; Xp 2 TpMg is \linear in tangent variables". We have seen in PSet 2 Problem 9 that TM is a smooth manifold of dimension 2n so that the canonical projection π : TM ! M is a smooth submersion. A local chart of TM is given by −1 n T' = (π; d'): π (U) ! U × R ; where f'; U; V g is a local chart of M. Note that the local chart map T' \preserves" the −1 linear structure nicely: it maps the vector space π (p) = TpM isomorphically to the vector space fpg × Rn. As a result, if you choose another chart ('; ~ U;e Ve) containing p, −1 n n then the map T 'e◦T' : fpg ×R ! fpg ×R is a linear isomorphism which depends smoothly on p. In general, we define Definition 1.1. Let E; M be smooth manifolds, and π : E ! M a surjective smooth map. We say (π; E; M) is a vector bundle of rank r if for every p 2 M, there exits an open neighborhood Uα of p and a diffeomorphism (called the local trivialization) −1 r Φα : π (Uα) ! Uα × R so that −1 r (1) Ep = π (p) is a r dimensional vector space, and ΦαjEp : Ep ! fpg × R is a linear map.
    [Show full text]
  • Characteristic Foliation on Vertical Hypersurfaces in Holomorphic
    Characteristic foliation on vertical hypersurfaces in holomorphic symplectic manifolds with Lagrangian Fibration Abugaliev Renat December 9, 2020 Laboratoire de Math´ematiques d’Orsay, Univ. Paris-Sud, CNRS, Universit´eParis-Saclay, 91405 Orsay, France. E-mail address: [email protected] Abstract Let Y be a smooth hypersurface in a projective irreducible holomorphic symplectic manifold X of dimension 2n. The characteristic foliation F is the kernel of the sym- plectic form restricted to Y . Assume that X is equipped with a Lagrangian fibration π : X → Pn and Y = π−1D, where D is a hypersurface in Pn. It is easy to see that the leaves of F are contained in the fibers of π. We prove that a general leaf is Zariski dense in a fiber of π. Introduction In this paper we are going to study the characteristic foliation F on a smooth hypersurface Y on a projective irreducible holomorphic symlpectic manifold (X, σ) of dimension 2n. The characteristic foliation F on a hypersurface Y is the kernel of the symplectic form σ restricted to TY . If the leaves of a rank one foliation are quasi-projective curves, this foliation is called arXiv:1909.07260v2 [math.AG] 8 Dec 2020 algebraically integrable. Jun-Muk Hwang and Eckart Viehweg showed in [14] that if Y is of general type, then F is not algebraically integrable. In paper [1] Ekaterina Amerik and Fr´ed´eric Campana completed this result to the following. Theorem 0.1. [1, Theorem 1.3] Let Y be a smooth hypersurface in an irreducible holomorphic symplectic manifold X of dimension at least 4.
    [Show full text]
  • The Topology of Fiber Bundles Lecture Notes Ralph L. Cohen
    The Topology of Fiber Bundles Lecture Notes Ralph L. Cohen Dept. of Mathematics Stanford University Contents Introduction v Chapter 1. Locally Trival Fibrations 1 1. Definitions and examples 1 1.1. Vector Bundles 3 1.2. Lie Groups and Principal Bundles 7 1.3. Clutching Functions and Structure Groups 15 2. Pull Backs and Bundle Algebra 21 2.1. Pull Backs 21 2.2. The tangent bundle of Projective Space 24 2.3. K - theory 25 2.4. Differential Forms 30 2.5. Connections and Curvature 33 2.6. The Levi - Civita Connection 39 Chapter 2. Classification of Bundles 45 1. The homotopy invariance of fiber bundles 45 2. Universal bundles and classifying spaces 50 3. Classifying Gauge Groups 60 4. Existence of universal bundles: the Milnor join construction and the simplicial classifying space 63 4.1. The join construction 63 4.2. Simplicial spaces and classifying spaces 66 5. Some Applications 72 5.1. Line bundles over projective spaces 73 5.2. Structures on bundles and homotopy liftings 74 5.3. Embedded bundles and K -theory 77 5.4. Representations and flat connections 78 Chapter 3. Characteristic Classes 81 1. Preliminaries 81 2. Chern Classes and Stiefel - Whitney Classes 85 iii iv CONTENTS 2.1. The Thom Isomorphism Theorem 88 2.2. The Gysin sequence 94 2.3. Proof of theorem 3.5 95 3. The product formula and the splitting principle 97 4. Applications 102 4.1. Characteristic classes of manifolds 102 4.2. Normal bundles and immersions 105 5. Pontrjagin Classes 108 5.1. Orientations and Complex Conjugates 109 5.2.
    [Show full text]
  • Fiber Bundles in Analytic, Zariski, and Étale Topologies
    Fiber Bundles in Analytic, Zariski, and Étale Topologies Takumi Murayama Adviser: János Kollár a senior thesis submitted in partial fulfillment of the requirements for the degree of Bachelor of Arts in Mathematics at Princeton University May 5, 2014 Acknowledgments My time here at Princeton University has been quite an adventure, and it is hard to decide who to thank and acknowledge on these pages. First of all, I would like to thank my adviser, János Kollár. It is only through his guidance and patience that I was able to pinpoint a good topic to write about in this thesis, and then complete it to the state where it is at now. No one knows better than he does how confused I can get even with the most basic parts of mathematics, and I cannot stress enough the extent to which I am indebted to his teaching. I know that the lessons and ideas I have learned from him will stay with me for years to come. I would also like to express my sincerest thanks to my second reader for this thesis, Zsolt Patakfalvi. My experience with him in the last year working on algebraic geometry has been an enlightening one, and I especially appreciate the effort he put into making sure I understood the foundations of modern algebraic geometry, without losing track of the geometric insight and intuition at its core. My teachers and colleagues in the mathematics department are also very deserving of recognition. I came to Princeton not sure whether or not I wanted to pursue mathematics as my undergraduate career, and without their encouragement and the conversations I had with them, I might not be writing this thesis today.
    [Show full text]