# Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche Fakultät I, Universität Regensburg, Universitätsstraße 31, Regensburg, Germany Received: / Accepted: Abstract. We propose a machinery to calculate the set of global defect indices of a regularly defected order taking values in arbitrary parameter bundles. 1. Introduction In [2] we showed that the global defect index of an ordered medium is not in general determined by the local defect index. We also developped a method to calculate the set of global defect indices if the normal bundle of the defect as well as the order parameter bundle are trivial. In the present investigation we extend this to problems involving nontrivial bundles, such as nematics in a coordinate space with nontrivial tangent bundle. To that end we first calculate the set [, A] Γ of fibre homotopy classes of sections of A for an arbitrary locally trivial fibration p : A. Assuming that = C f is the mapping cone of a cofibration f : A X with an H-cogroup A we will present a method to calculate [, A] roughly in terms of [X, A] X and [A, F]. This applies to defects in ordered media. Keeping the notation of [2] let M be the defect of a regularly defected section σ of a fibre bundle E M and let N be the normal bundle of. The set A := x Map(SN x, E x ) carries a natural topology which makes the obvious map A a locally trivial fibration with fibre F = Map(S n 1, V ). We denote by Map(SN, E) Map(SN, E) the subset of fibre preserving maps and by Γ(A) the set of cross sections of A. The Exponential Law provides a homeomorphism Γ(A) Map(SN, E) hence a bijection between the set [, A] Γ of fibre homotopy classes of sections of A and [SN, E] (see [3], chapter VII.2). Thus we can apply our machinery to

2 2 S. Bechtluft-Sachs, M. Hien determine the set [SN, E] and the set [SN, E] ϕ of fibre homotopy classes i.e. global defect indeces with local defect index ϕ. Our approach will require to work in the category of pointed spaces first. Choose base points x 0 and ϕ F := π 1 (x 0 ). The set [[, A]] Γ of fibre homotopy classes of sections relative basepoint can be computed from an exact sequence of Baues ([1]) generalizing the ordinary homotopy sequence of a cofibration. The set [, A] Γ is then obtained by dividing out the action of π 1 (F). A subtlety arising here is the fact that the connecting map in the sequence in [1] is not simply an equivariant map with respect to the action of π 1 (F) but is itself given by a group action. Proposition 1 gives a compatibility formula for these two actions. 2. A sequence of sets of fibre homotopy classes We briefly recall the long exact sequence of sets of fibre homotopy classes of sections from [1]. This sequence generalizes the homotopy sequence of a cofibration. For the moment we are working in the category of topological spaces with basepoint. For topological spaces X and Y with basepoints we denote by [[X, Y ]] the set of homotopy classes relative basepoints and in an analogous manner by [[X, A]] Γ the set of fibre homotopy classes of sections relative basepoints. Let A be an H-cogroup and f : A X a cofibration. Let i : X C f denote the inclusion of X into the mapping cone C f := X f CA where CA is the cone over A. Furthermore we denote by SA the reduced suspension, by Σ X := X S 1 /{ } S 1. the pointed suspension of X and by B Σ X the pull-back of A via the canonical projection Σ X X. Assuming that there is a fixed cross section σ : C f A with restriction s := σ X we have the exact sequence (Theorem (B) in [1]) [[Σ X, B]] s Γ w # f [[SA, F]] σ+ [[C f, A]] Γ i # [[X, A X ]] Γ f # [[A, F]] (1) of pointed sets. Here w # f is a group homomorphism and σ+ is defined by a group action of [[SA, F]] on [[C f, A]] Γ which we will write as σ + ([α]) := [σ] Γ + [α]. We will have to take a closer look at the map σ +. First recall the definition of the group action + from [1], p. 59. Let µ : C f C f SA denote the map given by µ X := id X and (a, t) { (a, 2t) Cf for 0 t 1 2 (a, 2t 1) SA for 1 2 t 1. For every cross section σ : C f A and every map α : SA F consider the map µ s α : C f C f SA σ i α A

3 Sets of Fibre Homotopy Classes 3 where i : F A is the inclusion. s α is not a cross section, but there is a homotopy between p s α and id Cf relative X and so we have a homotopy K : C f [0, 1] A completing the commutative diagram s α σ X pr C f 0 X [0, 1] A ր p C f [0, 1] H Especially σ α := K 1 is a cross section in A C f, such that σ α X = σ X. Setting [σ] Γ +[α] := [σ α ] Γ defines an action of the abelian group [[SA, F]] on [[C f, A]] Γ. For details see [1], Lemma and Corollary C f 3. Free homotopy classes The exact sequence 1 permits to calculate the set [[C f, A]] Γ of section homotopy classes relative basepoint, whereas our proper interest lies in the set [C f, A] Γ of section homotopy classes without regarding basepoints. The latter is canonically identified with the orbit set of an action of π 1 (F) on [[C f, A]] Γ, which we now proceed to describe. The evaluation map on the space Γ(A) of sections of A (carrying the compact-open topology), π : Γ(A) F s s(x 0 ) is a fibration. Given a section s of A and a loop γ in F we can lift it to a path γ in Γ(A) starting with s. The fibre homotopy class of the endpoint s 1 does not depend on the choices involved. Thus [γ] [s] Γ := [ γ(1)] Γ. is well-defined and yields the canonical bijection [[, A]] Γ /π 1 (F) [, A] [ϕ] Γ where the right hand side denotes the set of free homotopy classes of cross sections s of p : A for which s(x 0 ) lies in the arc-component of ϕ. For the map σ + of (1) we have the following formula: Proposition 1. [γ] ([σ] Γ + [α]) = [γ] σ + ([α]) = [γ] [σ] Γ + [γ] [α] (2) Thus σ + is equivariant if and only if σ is a fixed point for the action of π 1 (F) on [[C f, A]] Γ

4 4 S. Bechtluft-Sachs, M. Hien Proof. Let γ denote a lifting of γ over the fibration Map(SA, F) F with γ(0) = α and γ denote a lifting of γ over the fibration A F with γ(0) = σ, so that [ γ(1)] = [γ] [α] and [ γ] Γ = [γ] [σ] Γ. By the Exponential Law γ and γ define maps Ḡ : SA [0, 1] F and G : Cf [0, 1] C f. Consider the map Σ : C f [0, 1] µ id (C f SA) [0, 1] G Ḡ A with µ : C f C f SA as before. Now p Σ is homotopic relative X [0, 1] to the projection pr : C f [0, 1] C f along a homotopy H : C f [0, 1] [0, 1] C f. Let K denote the mapping completing the following commutative diagram Σ Σ X pr C f [0, 1] 0 X [0, 1] [0, 1] A K p (3) C f [0, 1] [0, 1] H C f We define K t,s := K Cf {t} {s}, t, s [0, 1]. Restricting diagram (3) to C f i [0, 1], i = 0, 1, we conclude [K 0,1 ] Γ = [σ] Γ + [α] and [K 1,1 ] Γ = [γ] [σ] Γ + [γ] [α] (4) directly from the definition of the two group actions. The diagram (3) also includes the following commutative diagram from which we obtain C f 0 1 { } [0, 1] 1 K0,1 γ A K.,1 p C f [0, 1] 1 pr C f [K 1,1 ] Γ = [γ] [K 0,1 ] Γ = [γ] ([σ] Γ + [α]). Our assertion now follows combining this equation with (4).

5 Sets of Fibre Homotopy Classes 5 4. Examples and Applications If is obtained from X by attaching a single m-cell e m, i.e. = C f, where f : S n 1 X is the attaching map, (1) reads [[Σ X, B]] s Γ w # f π m (F) σ+ [[, A]] Γ i # [[X, A X ]] Γ f # π m 1 (F) Let be a connected finite cell complex of dimension N and c m be the number of m-cells of. By induction over the skeleta we immediately get an estimate: Proposition 2. #[, A] [ϕ] Γ #[[, A]][ϕ] N Γ (#π m (F)) cm. In order to apply this to the setting of defect topology, we have to compute π m (F) = π m (Map(SN x0, E x0 ), α). This group is involved in a long exact sequence m=1 π m+1 (E x0 ) ρα π m+n 1 (E x0 ) (5) π m (Map(S n 1, E x0 ), α) τ # π m (E x0 ) where ρ α : π m+1 (E x0 ) π m+n 1 (E x0 ), β [α, β] is the Whitehead product with α π n 1 (E x0 ), see [6]. We also have chosen basepoints s 0 S n 1 = SN x0, v 0 = α(s 0 ) E x0 and defined the map τ to be the evaluation at s 0. If = S m we get a bijection σ + : π m (F) [[S m, A]] Γ. The action of π 1 (F) on [[S m, A]] Γ pulls back to an action θ of π 1 (F) on π m (F) and [[S m, A]] Γ is in bijection with π m (F)/θ. We get Proposition 3. Either [S m, A] [ϕ] Γ is empty or #π m (F)/#π 1 (F) #[S m, A] [ϕ] Γ #π m(f). Together with the sequence (5) it is now possible to explicitly calculate lower and upper bounds for #[SN, E] [ϕ] Sm in cases where the corresponding homotopy groups of the fibre E x0 are known Example Let N S m be a 2-dimensional complex vector bundle and E = PN its projective bundle. The local defect index of the projection map SN E is the Hopf map η : S 3 S 2. The number ρ := #[SN, E] [η] Sm of fibre homotopy classes of mappings SN E with local defect index [η] π 3 (S 2 ) is bounded from below and above according to the following list (see [5] for the order of π k (S l )): m ρ ρ

6 6 S. Bechtluft-Sachs, M. Hien 4.2. Normal Nematics We need to consider the case where E = PN is the projective bundle of the normal bundle of. This reflects the fact that uniaxial particles are forced to be transverse to the defect. From Proposition 3 estimates for ρ := #[SN, E] [π] S m, where π : Sn 1 RP n 1 is the usual projection, are easily deduced. For instance in the case n := codim(, M) = 10, = S m we get: m ρ ρ Remark: In the following example [[S m, A]] Γ does not contain a fixed point for the action of π 1 (F), hence θ differs from the usual action for every σ. Let SN := S 3 S 2 be the Hopf map with fibre S 1 and E := S 2 V S 2 be the trivial bundle with fibre V. Assume that π 1 (V ) = 0, π 2 (V ) 0 and π 3 (V ) = 0, (e.g. V := CP ). In this situation there is only one possible local index 0 π 1 (V ), so that [SN, E] S 2 = [SN, E] 0 S 2 π 2(Map 0 (S 1, V ))/θ. In the exact sequence (5) the Whitehead products vanish and we we obtain that π 2 (Map 0 (S 1, V )) = π 2 (V ) 0. The usual action of π 1 (Map 0 (S 1, V )) on the higher homotopy groups is by automorphisms. Hence the orbit space π 2 (Map 0 (S 1, V ))/π 1 (Map 0 (S 1, V )) has at least two elements. But as E S 2 is the trivial bundle we obtain [SN, E] S 2 = [S 3, S 2 V ] S 2 = [S 3, V ] π 3 (V )/π 1 (V ), and therefore #[SN, E] S 2 = 1. This shows that in this case θ differs from the usual group action. In particular, the ambiguity of the global defect index depends non trivially on the isomorphism type of the bundles involved. References 1. H. J. Baues: Obstruction theory. Lecture Notes in Mathematics 628, 387 S., Berlin- Heidelberg-New York: Springer-Verlag, S. Bechtluft-Sachs, M. Hien: The Global Defect Index. to appear in Communications in Mathematical Physics 3. G. E. Bredon: Topology and geometry. 557 S., Berlin-Heidelberg-New York: Springer- Verlag, V. Poénaru, G. Toulouse: The crossing of defects in ordered media and the topology of 3-manifolds. J. Phys. 38 (1977), D. C. Ravenell: Complex cobordism and stable homotopy groups of spheres. 412 S., London-New York: Academic Press, G.W. Whitehead: On products in homotopy groups. Ann. of Math. 47, , 1946 This article was processed by the author using the LaT E X style file cljour1 from Springer-Verlag.

### Math 231b Lecture 35. G. Quick

Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by

### A NOTE ON TRIVIAL FIBRATIONS

A NOTE ON TRIVIAL FIBRATIONS Petar Pavešić Fakulteta za Matematiko in Fiziko, Univerza v Ljubljani, Jadranska 19, 1111 Ljubljana, Slovenija petar.pavesic@fmf.uni-lj.si Abstract We study the conditions

### A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE DANIEL A. RAMRAS In these notes we present a construction of the universal cover of a path connected, locally path connected, and semi-locally simply

### FIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3

FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges

### Classification of Bundles

CHAPTER 2 Classification of Bundles In this chapter we prove Steenrod s classification theorem of principal G - bundles, and the corresponding classification theorem of vector bundles. This theorem states

### FIXED POINT SETS OF FIBER-PRESERVING MAPS

FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics

### On the existence of G-equivariant maps

CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of G-equivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,

### FIBER BUNDLES AND UNIVALENCE

FIBER BUNDLES AND UNIVALENCE TALK BY IEKE MOERDIJK; NOTES BY CHRIS KAPULKIN This talk presents a proof that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference

### SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th

### 1 Local Brouwer degree

1 Local Brouwer degree Let D R n be an open set and f : S R n be continuous, D S and c R n. Suppose that the set f 1 (c) D is compact. (1) Then the local Brouwer degree of f at c in the set D is defined.

### Quantum manifolds. Manuel Hohmann

Quantum manifolds Manuel Hohmann Zentrum für Mathematische Physik und II. Institut für Theoretische Physik, Universität Hamburg, Luruper Chaussee 149, 22761 Hamburg, Germany Abstract. We propose a mathematical

### Singular fibers of stable maps and signatures of 4 manifolds

359 399 359 arxiv version: fonts, pagination and layout may vary from GT published version Singular fibers of stable maps and signatures of 4 manifolds OSAMU SAEKI TAKAHIRO YAMAMOTO We show that for a

### RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific

### Introduction. and set F = F ib(f) and G = F ib(g). If the total fiber T of the square is connected, then T >

A NEW ELLULAR VERSION OF LAKERS-MASSEY WOJIEH HAHÓLSKI AND JÉRÔME SHERER Abstract. onsider a push-out diaram of spaces A, construct the homotopy pushout, and then the homotopy pull-back of the diaram one

### The Topology of Fiber Bundles Lecture Notes. Ralph L. Cohen Dept. of Mathematics Stanford University

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

### 8.1 Examples, definitions, and basic properties

8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.

### EVALUATION FIBER SEQUENCE AND HOMOTOPY COMMUTATIVITY MITSUNOBU TSUTAYA

EVALUATION FIBER SEQUENCE AND HOMOTOPY COMMUTATIVITY MITSUNOBU TSUTAYA Abstract. We review the relation between the evaluation fiber sequence of mapping spaces and the various higher homotopy commutativities.

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### A numerable cover of a topological space X is one which possesses a partition of unity.

Chapter 1 I. Fibre Bundles 1.1 Definitions Definition 1.1.1 Let X be a topological space and let {U j } j J be an open cover of X. A partition of unity relative to the cover {U j } j J consists of a set

### Reidemeister coincidence invariants of fiberwise maps

Reidemeister coincidence invariants of fiberwise maps Ulrich Koschorke In memory of Jakob Nielsen (15.10.1890-3.8.1959). Abstract. Given two fiberwise maps f 1, f 2 between smooth fiber bundles over a

### The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit

The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),

### Surface bundles over S 1, the Thurston norm, and the Whitehead link

Surface bundles over S 1, the Thurston norm, and the Whitehead link Michael Landry August 16, 2014 The Thurston norm is a powerful tool for studying the ways a 3-manifold can fiber over the circle. In

### Fiber sums of genus 2 Lefschetz fibrations

Proceedings of 9 th Gökova Geometry-Topology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity

### TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS

TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS OSAMU SAEKI Dedicated to Professor Yukio Matsumoto on the occasion of his 60th birthday Abstract. We classify singular fibers of C stable maps of orientable

### Lecture 1-1,2. Definition. Sets A and B have the same cardinality if there is an invertible function f : A B.

Topology Summary This is a summary of the results discussed in lectures. These notes will be gradually growing as the time passes by. Most of the time proofs will not be given. You are supposed to be able

### Effective homotopy of the fiber of a Kan fibration

Effective homotopy of the fiber of a Kan fibration Ana Romero and Francis Sergeraert 1 Introduction Inspired by the fundamental ideas of the effective homology method (see [5] and [4]), which makes it

### A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

### (2) the identity map id : S 1 S 1 to the symmetry S 1 S 1 : x x (here x is considered a complex number because the circle S 1 is {x C : x = 1}),

Chapter VI Fundamental Group 29. Homotopy 29 1. Continuous Deformations of Maps 29.A. Is it possible to deform continuously: (1) the identity map id : R 2 R 2 to the constant map R 2 R 2 : x 0, (2) the

### Group Theory. Contents

Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

### Classification of Cartan matrices

Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

### ORIENTATIONS. Contents

ORIENTATIONS Contents 1. Generators for H n R n, R n p 1 1. Generators for H n R n, R n p We ended last time by constructing explicit generators for H n D n, S n 1 by using an explicit n-simplex which

### Singular fibers of stable maps and signatures of 4 manifolds

Geometry & Topology 10 (2006) 359 399 359 Singular fibers of stable maps and signatures of 4 manifolds OSAMU SAEKI TAKAHIRO YAMAMOTO We show that for a C 1 stable map of an oriented 4 manifold into a 3

### Note on desuspending the Adams map

Math. Proc. Camb. Phil. Soc. (1986), 99, 59 59 Printed in Qreat Britain Note on desuspending the Adams map BY F. R. COHEN AND J. A. NEISENDORFER University of Kentucky and Ohio State University (Received

### arxiv:1209.1368v1 [math.sg] 6 Sep 2012

ISOTOPY CLASSIFICATION OF ENGEL STRUCTURES ON CIRCLE BUNDLES MIRKO KLUKAS AND BIJAN SAHAMIE arxiv:1209.1368v1 [math.sg] 6 Sep 2012 Abstract. We call two Engel structures isotopic if they are homotopic

### BUNDLES, CLASSIFYING SPACES AND CHARACTERISTIC CLASSES

BUNDLES, CLASSIFYING SPACES AND CHARACTERISTIC CLASSES CHRIS KOTTKE Contents Introduction 1 1. Bundles 2 1.1. Pullback 2 1.2. Sections 3 1.3. Fiber bundles as fibrations 4 2. Vector bundles 4 2.1. Whitney

### Symplectic structures on fiber bundles

Symplectic structures on fiber bundles François Lalonde Université du Québec à Montréal (flalonde@math.uqam.ca) Dusa McDuff State University of New York at Stony Brook (dusa@math.sunysb.edu) Aug 27, 2000,

University of Oslo MAT2 Project The Banach-Tarski Paradox Author: Fredrik Meyer Supervisor: Nadia S. Larsen Abstract In its weak form, the Banach-Tarski paradox states that for any ball in R, it is possible

### Chapter 7. Homotopy. 7.1 Basic concepts of homotopy. Example: z dz. z dz = but

Chapter 7 Homotopy 7. Basic concepts of homotopy Example: but γ z dz = γ z dz γ 2 z dz γ 3 z dz. Why? The domain of /z is C 0}. We can deform γ continuously into γ 2 without leaving C 0}. Intuitively,

### FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

### Nonzero degree tangential maps between dual symmetric spaces

ISSN 1472-2739 (on-line) 1472-2747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris

### MATH 131 SOLUTION SET, WEEK 12

MATH 131 SOLUTION SET, WEEK 12 ARPON RAKSIT AND ALEKSANDAR MAKELOV 1. Normalisers We first claim H N G (H). Let h H. Since H is a subgroup, for all k H we have hkh 1 H and h 1 kh H. Since h(h 1 kh)h 1

### Mathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC. Lee Mosher

Mathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC Lee Mosher Let S be a compact surface, possibly with the extra structure of an orientation or a finite set of distinguished

### NOTES ON LINEAR TRANSFORMATIONS

NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all

### arxiv:math/0402080v1 [math.nt] 5 Feb 2004

BIEXTENSIONS OF 1-MOTIVES BY 1-MOTIVES arxiv:math/0402080v1 [math.nt] 5 Feb 2004 CRISTIANA BERTOLIN Abstract. Let S be a scheme. In this paper, we define the notion of biextensions of 1-motives by 1-motives.

### Fiber bundles and non-abelian cohomology

Fiber bundles and non-abelian cohomology Nicolas Addington April 22, 2007 Abstract The transition maps of a fiber bundle are often said to satisfy the cocycle condition. If we take this terminology seriously

### THE RELATIVE REIDEMEISTER NUMBERS OF FIBER MAP PAIRS. Fernanda S. P. Cardona Peter N.-S. Wong. 1. Introduction

Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 2, 2003, 3 45 THE RELATIVE REIDEMEISTER NUMBERS OF FIBER MAP PAIRS Fernanda S. P. Cardona Peter N.-S. Wong Dedicated

### CROSS-EFFECTS OF HOMOTOPY FUNCTORS AND SPACES OF TREES. WARNING: This paper is a draft and has not been fully checked for errors.

CROSS-EFFECTS OF HOMOTOPY FUNCTORS AND SPACES OF TREES MICHAEL CHING WARNING: This paper is a draft and has not been full checked for errors. 1. Total homotop fibres of cubes of based spaces Definition

### Row Ideals and Fibers of Morphisms

Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

### ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

### Algebraic K-Theory of Ring Spectra (Lecture 19)

Algebraic K-Theory of ing Spectra (Lecture 19) October 17, 2014 Let be an associative ring spectrum (here by associative we mean A or associative up to coherent homotopy; homotopy associativity is not

### Mathematical Physics, Lecture 9

Mathematical Physics, Lecture 9 Hoshang Heydari Fysikum April 25, 2012 Hoshang Heydari (Fysikum) Mathematical Physics, Lecture 9 April 25, 2012 1 / 42 Table of contents 1 Differentiable manifolds 2 Differential

### MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

### Lecture 4 Cohomological operations on theories of rational type.

Lecture 4 Cohomological operations on theories of rational type. 4.1 Main Theorem The Main Result which permits to describe operations from a theory of rational type elsewhere is the following: Theorem

### Introduction to Topology

Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................

### ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction

ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZ-PÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### Online publication date: 11 March 2010 PLEASE SCROLL DOWN FOR ARTICLE

This article was downloaded by: [Modoi, George Ciprian] On: 12 March 2010 Access details: Access Details: [subscription number 919828804] Publisher Taylor & Francis Informa Ltd Registered in England and

### GROUPS ACTING ON A SET

GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

### FIBER PRODUCTS AND ZARISKI SHEAVES

FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also

### tr g φ hdvol M. 2 The Euler-Lagrange equation for the energy functional is called the harmonic map equation:

Notes prepared by Andy Huang (Rice University) In this note, we will discuss some motivating examples to guide us to seek holomorphic objects when dealing with harmonic maps. This will lead us to a brief

### DEFORMATION OF DIRAC STRUCTURES ALONG ISOTROPIC SUBBUNDLES. and MARCO ZAMBON

Vol. 65 (2010) REPORTS ON MATHEMATICAL PHYSICS No. 2 DEFORMATION OF DIRAC STRUCTURES ALONG ISOTROPIC SUBBUNDLES IVÁN CALVO Laboratorio Nacional de Fusión, Asociación EURATOM-CIEMAT, E-28040 Madrid, Spain

### Degrees that are not degrees of categoricity

Degrees that are not degrees of categoricity Bernard A. Anderson Department of Mathematics and Physical Sciences Gordon State College banderson@gordonstate.edu www.gordonstate.edu/faculty/banderson Barbara

### Lifting abelian schemes: theorems of Serre-Tate and Grothendieck

Lifting abelian schemes: theorems of Serre-Tate and Grothendieck Gabriel Dospinescu Remark 0.1. J ai décidé d écrire ces notes en anglais, car il y a trop d accents auxquels il faut faire gaffe... 1 The

### Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),

### A NEW CONSTRUCTION OF 6-MANIFOLDS

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 360, Number 8, August 2008, Pages 4409 4424 S 0002-9947(08)04462-0 Article electronically published on March 12, 2008 A NEW CONSTRUCTION OF 6-MANIFOLDS

### NOTES ON CATEGORIES AND FUNCTORS

NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category

### Analytic cohomology groups in top degrees of Zariski open sets in P n

Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction

### GRAPH THEORY LECTURE 4: TREES

GRAPH THEORY LECTURE 4: TREES Abstract. 3.1 presents some standard characterizations and properties of trees. 3.2 presents several different types of trees. 3.7 develops a counting method based on a bijection

### On The Existence Of Flips

On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry

### COHOMOGENEITY ONE MANIFOLDS AND SELFMAPS OF NONTRIVIAL DEGREE

COHOMOGENEITY ONE MANIFOLDS AND SELFMAPS OF NONTRIVIAL DEGREE THOMAS PÜTTMANN Abstract. We construct natural selfmaps of compact cohomgeneity one manifolds and compute their degrees and Lefschetz numbers.

### COFINAL MAXIMAL CHAINS IN THE TURING DEGREES

COFINA MAXIMA CHAINS IN THE TURING DEGREES WEI WANG, IUZHEN WU, AND IANG YU Abstract. Assuming ZF C, we prove that CH holds if and only if there exists a cofinal maximal chain of order type ω 1 in the

### Allen Back. Oct. 29, 2009

Allen Back Oct. 29, 2009 Notation:(anachronistic) Let the coefficient ring k be Q in the case of toral ( (S 1 ) n) actions and Z p in the case of Z p tori ( (Z p )). Notation:(anachronistic) Let the coefficient

### Homotopy groups of spheres and low-dimensional topology

Homotopy groups of spheres and low-dimensional topology Andrew Putman Abstract We give a modern account of Pontryagin s approach to calculating π n+1 (S n ) and π n+2 (S n ) using techniques from low-dimensional

### G = G 0 > G 1 > > G k = {e}

Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same

### Turing Degrees and Definability of the Jump. Theodore A. Slaman. University of California, Berkeley. CJuly, 2005

Turing Degrees and Definability of the Jump Theodore A. Slaman University of California, Berkeley CJuly, 2005 Outline Lecture 1 Forcing in arithmetic Coding and decoding theorems Automorphisms of countable

### The determinant of a skew-symmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14

4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with

### Kyoto University. Note on the cohomology of finite cyclic coverings. Yasuhiro Hara and Daisuke Kishimoto

Kyoto University Kyoto-Math 2013-02 Note on the cohomology of finite cyclic coverings by Yasuhiro Hara and Daisuke Kishimoto April 2013 Department of Mathematics Faculty of Science Kyoto University Kyoto

### Geometry and Topology from Point Cloud Data

Geometry and Topology from Point Cloud Data Tamal K. Dey Department of Computer Science and Engineering The Ohio State University Dey (2011) Geometry and Topology from Point Cloud Data WALCOM 11 1 / 51

### BP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space

BP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space 1. Introduction Let p be a fixed prime number, V a group isomorphic to (Z/p) d for some integer d and

### Finite dimensional topological vector spaces

Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the

### Separation Properties for Locally Convex Cones

Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

### OSTROWSKI FOR NUMBER FIELDS

OSTROWSKI FOR NUMBER FIELDS KEITH CONRAD Ostrowski classified the nontrivial absolute values on Q: up to equivalence, they are the usual (archimedean) absolute value and the p-adic absolute values for

### Introduction to Characteristic Classes

UNIVERSITY OF COPENHAGEN Faculty of Science Department of Mathematical Sciences Mauricio Esteban Gómez López Introduction to Characteristic Classes Supervisors: Jesper Michael Møller, Ryszard Nest 1 Abstract

### Fiber Polytopes for the Projections between Cyclic Polytopes

Europ. J. Combinatorics (2000) 21, 19 47 Article No. eujc.1999.0319 Available online at http://www.idealibrary.com on Fiber Polytopes for the Projections between Cyclic Polytopes CHRISTOS A. ATHANASIADIS,

### COHOMOLOGY OF GROUPS

Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general

### Hatcher C A: [012] = [013], B : [123] = [023],

Ex 2..2 Hatcher 2. Let S = [2] [23] 3 = [23] be the union of two faces of the 3-simplex 3. Let be the equivalence relation that identifies [] [3] and [2] [23]. The quotient space S/ is the Klein bottle

### The cover SU(2) SO(3) and related topics

The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of

### Subsets of Euclidean domains possessing a unique division algorithm

Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness

### CLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS

POISSON GEOMETRY BANACH CENTER PUBLICATIONS, VOLUME 51 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 000 CLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS PHILIPP E BO

### About the inverse football pool problem for 9 games 1

Seventh International Workshop on Optimal Codes and Related Topics September 6-1, 013, Albena, Bulgaria pp. 15-133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute

### CHAPTER 1 BASIC TOPOLOGY

CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is

### EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE DEGREES

EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE ENUMERATION DEGREES AND THE ω-enumeration DEGREES MARIYA I. SOSKOVA AND IVAN N. SOSKOV 1. Introduction One of the most basic measures of the complexity of a

### MCS 563 Spring 2014 Analytic Symbolic Computation Wednesday 9 April. Hilbert Polynomials

Hilbert Polynomials For a monomial ideal, we derive the dimension counting the monomials in the complement, arriving at the notion of the Hilbert polynomial. The first half of the note is derived from

### Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006. Spectra associated with Artin-Schreier curves. Doug Ravenel

Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006 Spectra associated with Artin-Schreier curves Doug Ravenel University of Rochester September 6, 2006 1 2 1. My favorite part of the

### SMOOTH CASE FOR T or Z

SMOOTH CASE FOR T or Z Preliminaries. Theorem [DDK] Let F be a simply finite connected CW-complex and E 0 (F ) be the connected component of identity of the space of all homotopy equivalences F F. Then

### Samuel Omoloye Ajala

49 Kragujevac J. Math. 26 (2004) 49 60. SMOOTH STRUCTURES ON π MANIFOLDS Samuel Omoloye Ajala Department of Mathematics, University of Lagos, Akoka - Yaba, Lagos NIGERIA (Received January 19, 2004) Abstract.

### DIVISORS AND LINE BUNDLES

DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function

### MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI