Unstable K 1 -group [Σ 2n 2 CP 2, U(n)] and homotopy type of certain gauge groups
|
|
- Egbert Nash
- 6 years ago
- Views:
Transcription
1 Unstable K 1 -group [Σ n CP, U(n)] an homotopy type of certain gauge groups by Hiroai Hamanaa Department of Natural Science Hyogo University of Eucation Yashiro, Hyogo , JAPAN hammer@sci.hyogo-u.ac.jp an Aira Kono Department of Mathematics Kyoto University Kyoto , JAPAN ono@math.yoto-u.ac.jp October, 00 1 Introuction Let G be a compact connecte Lie group an let P be a principal G-bunle over a connecte finite complex B. We enote by G(P ), the group of G-equivariant self-maps of P covering the ientity map on B. G(P ) is calle the gauge group of P. For fixe B an G, M.C.Crabb an W.A.Sutherlan show as P ranges over all principal G-bunles with base space B, the number of homotopy types of G(P ) is finite ([]). Principal SU(n)-bunles over S are classifie by their secon Chern class. Denote by P n, the principal SU(n)-bunle over S with c (P n, ) =. The secon author shows in [6] G(P, ) is homotopy equivalent to G(P, ) if an only if (1, ) = (1, ). Therefore when B is S an G = SU(), there are precisely six homotopy types of G(P ). The purpose of this paper is to show the following: 1
2 Theorem 1. G(P 3, ) is homotopy equivalent to G(P 3, ) if an only if (, ) is equal to (, ). Theorem. If G(P n, ) is homotopy equivalent to G(P n, ), then (n(n 1), ) = (n(n 1), ). Remar 3. In [9] W.A.Sutherlan shows if G(P n, ) is homotopy equivalent to G(P n, ) then (n(n 1)/(, n + 1), ) is equal to (n(n 1)/(, n + 1), ). Therefore if n is even, then Theorem is the result of Sutherlan. If n is o, Theorem is an improvement of [9]. Denote by x 0 an y 0, the base points of S an BSU(n). Denote by ɛ a generator of π (BSU(n)). Note that ɛ is the classifying map of P n,. Put M n, = {f : S BSU(n) f ɛ } M n, = {f M n, f(x 0 ) = y 0 }. By Atiyah-Bott [1] M n, BG(P n, ). Note that M n, M n,0. Consier the fibre sequence () G(P n, ) SU(n) h n, Mn,0 M n, e BSU(n). In [SU(n), Mn,0] = [Σ SU(n), BSU(n)] = [Σ 3 SU(n), SU(n)], h n, is equal to γ (ɛ 1 SU(n) ) where γ is the commutator map an ɛ is a generator of π 3 (SU(n)) (see Lang [7]). Define ξ : [Σ n 5 CP, SU(n)] [Σ n CP, SU(n)] by ξ (α) = γ (ɛ α) for α [Σ n 5 CP, SU(n)]. In section, for o n, we etermine [Σ n CP, U(n)] an show Coerξ is finite an the orer of Coerξ is equal to the orer of Coerξ if an only if (n(n 1), ) is equal to (n(n 1), ). Applying the functor [Σ n 5 CP, ] to (), we get an exact sequence [Σ n 5 CP, SU(n)] [Σ n 5 CP, Mn,0] [Σ n 5 CP, M n, ] 0, = (h n, ) [Σ n CP, SU(n)] since [Σ n 5 CP, BSU(n)] = K 1 (Σ n 5 CP ) = 0. Note that (h n, ) is equal to ξ. If G(P n, ) G(P n, ) then (as a set) [Σ n 5 CP, M n, ] = [Σ n 5 CP, M n, ]. Therefore we get Theorem. Let ˆM 3,0 be the -connecte cover of M3,0. Since SU(3) is -connecte, [SU(3), ˆM 3,0] [SU(3), M3,0] is bijective. Note that ˆM 3,0 is a loop space, π j ( ˆM 3,0) is finite for any j an h 3, = h 3,1. In section 3 we show h 3,1 = 0. If (, ) = (, ), then we construct a homotopy equivalence ( ) : ˆM n,0 ˆM n,0 ( ) such that (h 3,1 ) h 3,1. Therefore Ω ˆM 3, Ω ˆM 3, if (, ) = (, ). Then we show G(P 3, ) S 1 Ω ˆM 3, an prove Theorem 1.
3 The group [Σ n CP, U(n)] In this section we assume n is o. Put W n = U( )/U(n) an consier the fibre sequence ΩU( ) Ωπ ΩW n U(n) U( ) π W n. Since (W n ) (n+3) S n+1 η e n+3, where η is the generator of π n+ (S n+1 ). Denote a generator of H n+ (K(Z, n + 1)) by ɛ an consier the -stage Postniov system E K(Z, n + 1) ɛ K(Z, n + ). Let x be the generator of H n+1 (W n ) = Z. Since H n+ (W n ) = 0, x has a lift x : W n E, such that x is a (n + 3)-equivalence. Therefore if im X n +, then Ω x : [X, ΩW n ] [X, ΩE] is an isomorphism. Define a homomorphism λ : [X, ΩW n ] H n (X) H n+ (X) by λ(α) = (α (a n ), α (a n+ )), where a n an a n+ are generators of H n (ΩW n ) = H n+ (ΩW n ) = Z an α [X, ΩW n ]. If X = Σ n CP, we have the following: Lemma.1. If X = Σ n CP, λ : [X, ΩW n ] H n (X) H n+ (X) is monic an Imλ = {(a, b) a b mo }. Lemma.. If X = Σ n CP, Imλ (Ωπ) is generate by (n!, 1 (n + 1)!) an (0, (n + 1)!). Proof. First recall that (Ωπ) (a n ) = n!ch n an (Ωπ) (a n+ ) = (n + 1)!ch n+1. Denote by ξ n a generator of K(S n ). K(CP ) = Z[x]/(x 3 ), H (CP ) = Z[t]/(t 3 ) an chx = t + t. Therefore ch(ξ n 1 ˆ x) = σ n t + (σ n t /), ch(ξ n 1 ˆ x ) = σ n t. Note that [X, U( )] = K(X). Then λ (Ωπ) (ξ n 1 ˆ x) = (n!, 1 (n + 1)!) λ (Ωπ) (ξ n 1 ˆ x ) = (0, (n + 1)!). Since K 1 (Σ n CP ) = 0, we get Lemma.3. [Σ n CP, U(n)] = Coer(Ωπ). 3
4 Put u = (1, 1), v = (0, ) an l = 1 n!. Then (n!, 1 ( ) n 1 (n + 1)!) = (l, (n + 1)l) = lu + lv If n 3 mo, an therefore Note that (0, (n + 1)!) = (0, (n + 1)l) = (n + 1)lv. l(u + n 3 v) = lu + n 3 lv lv mo Im(Ωπ) l(n + 1)(u + n 3 v) = l(n + 1)v 0 mo Im(Ωπ). l(n + n 1 v) lu + Since 1 n 3 n 1 ( n 1 = n 1 ) lv 0 mo Im(Ωπ). n 3 = 1, u = (u+ n 3 v) an v = (u+ n 1 v) are generators of Imλ. Note that the orer of Coer(Ωπ) = (n + 1)l an we have Coer(Ωπ) = Z/(n + 1)! Z/( 1 n!). If l 1 mo l(u + n 3 ( ) n 3 v) = lu + lv lv mo Im(Ωπ) an therefore Note that (n + 1)l(u + n 3 v) (n + 1)lv 0 mo Im(Ωπ). Since n 3 1 n 1 l(u + n 1 v) 0 mo Im(Ωπ). = n 1 n 3 = 1, u = u+ n 3 v an v = u+ n 1 v are generators of Imλ. Note that the orer of Coer(Ωπ) = (n + 1)l an we have Coer(Ωπ) = Z/ ( 1 (n + 1)!) Z/(n!). { Theorem.. [Σ n CP Z/(n + 1)! Z/( 1, U(n)] = n!) if n 3 mo Z/ ( 1 (n + 1)!) Z/n! if n 1 mo.
5 Consier the Samelson prouct ξ : [Σ n 5 CP, U(n)] [Σ n CP, U(n)] given by ξ (α) = γ (ɛ α). Note that [Σ n 5 CP, U(n)] = K(Σ n CP ). The basis of K(Σ n CP ) = Z Z is ξ n ˆ x, ξ n ˆ x. Put L = (n )!. c n 1 (ξ n ˆ x) = Lσ n t, c n (ξ n ˆ x) = 1 (n 1)Lσn t c n 1 (ξ n ˆ x ) = 0, c n (ξ n ˆ x ) = (n 1)Lσ n t Let α j be the ajoint of ξ n ˆ x j (j = 1, ). For α : Σ n 5 CP U(n), put α = γ (ɛ α), where γ is the lift of γ constructe in []. Note that H (U(n)) = (σ(c 1 ),, σ(c n )). an γ (a n ) = Using the metho in [], we have i+j=n 1 γ (a n+ ) = i+j=n σ(c i ) σ(c j ). σ(c i ) σ(c j ). Therefore λ( α 1 ) = (L, 1 (n 1)L) an λ( α ) = (0, (n 1)L). If n 3 mo then v = v u. Put α = α +(n 1)α 1 then α 1 = Lu an α = 1 (n 1)Lv. If n 1 mo then v = v u. Put α = α + (n 1)α 1 then α 1 = 1 Lu an α = (n 1)Lv. Therefore we have Lemma.5. The orer of Coerξ is equal to 1 (n )!(n(n 1), ) (n 1)!(n, ) Corollary.6. The orer of Coerξ is equal to the orer of Coerξ only if (n(n 1), ) = (n(n 1), ). if an 3 Proof of Theorem 1 Consier the cofibering S 11 Σ 5 CP Σ SU(3). Since Σ 5 CP is 6-connecte, the suspension map Σ : [S 11, Σ 5 CP ] { S 11, Σ 5 CP } 5
6 is an isomorphism (see [10]). Note that Σ () = 0 (see [5]). Therefore = 0, Σ SU(3) Σ 5 CP S 1 an [Σ SU(3), BSU(3)] = [Σ 5 CP, BSU(3)] π 1 (BSU(3)) (1) = [Σ CP, SU(3)] π 11 (SU(3)) () = Z/ Z/3 Z/, (3) where π 11 (SU(3)) = Z/ (see [8]). Therefore we have: Lemma 3.1. (γ (ɛ 1 SU(3) )) = 0. Let X be a connecte loop space, its base point, µ : X X X its loop multiplication an ι : X X its homotopy inverse. For an integer n efine self map n : X X as follows: 0 =, 1 = 1 X, n = µ ((n 1) 1 X ) for a positive integer n. If n < 0 then n = ι ( n). Let Y be a finite complex an α : Y X. In the group [Y, X], nα is represente by n α. For a prime p, consier the localization l (p) : X X (p). For a map f : X X, there exists a map f (p) : X (p) X (p) satisfying f (p) l (p) l (p) f. f (p) is unique up to homotopy. X (p) is a loop space an l (p) is a loop map. In X (p), n ( (p) n. If (n, p) = 1, n : X (p) X (p) is a homotopy equivalence. For a ) b Z(p) ((a, b) = 1, (b, p) = 1)), b : X (p) X (p) is a homotopy equivalence, an efine ( ) a b = a b 1. If (a, p) = 1, ( ) a b is a homotopy equivalence. Lemma 3.. Let, an be non zero integers satisfying (, ) = (, ). If π j (X) is finite for any j an α = 0, then there exists a homotopy equivalence ( ) : X X ( ) satisfying α α. Proof. For an integer n 0 an n = p r q s is the factorization into prime powers, we efine ν p (n) = r. Define h p : X (p) X (p) by h p = {( ) if ν p () > ν p () 1 X(p) if ν p () ν p () an h = p h p. Since ν p ((, )) = min(ν p (), ν p ()), if ν p () > ν p (), then ν p () > ν p ( ) an ν p ( ) = ν p (). The orer of l (p) α is a power of p. If ν p () ν p () then ν p () ν p ( ) an therefore l (p) α l (p) α 0. Consier l = ( ( ) l (p) ) : X ΠX (p). l is a homotopy equivalence. Put = l 1 h l. We nee only show h l α l α or h (p) l (p) α l (p) α. If ν p () > ν p () h (p) l (p) α h (p) l (p) α 1 l (p) α l (p) α l (p) α. 6
7 If ν p () ν p (), h (p) = 1 X (p) an we have ( Therefore h (p) l (p) α h (p) l (p) α 0. ( ) is clearly a homotopy equivalence. ) α α. Now we can prove Theorem 1. Since BSU(3) is 3-connecte M 3, M 3,0 M 3, is -equivalence. Note that π 1 (M 3,0) = π 5 (BSU(3)) = 0 an π (M 3,0) = π 6 (BSU(3)) = Z. Denote the generators of H (M 3, ) = H (M 3,0) = Z by b an b respectively. The homotopy fibre of b an b are enote by ˆM 3, an ˆM 3,0 respectively. Therefore Ω ˆM 3, is the universal covering of ΩM 3, G 3,. Since π 1 (G 3, ) = Z, G 3, S 1 Ω ˆM 3,. Note that p : [SU(3), ˆM 3,0] [SU(3), M 3,0] is a bijection where p : ˆM 3,0 M 3,0 is the projection. Therefore there exists ĥ 3, : SU(3) ˆM 3,0 such that p ĥ3, h 3, an Ω ˆM 3, is the homotopy fibre of ĥ3,. ĥ 3, is unique up to homotopy an ĥ3, ĥ3,1. Since h 3,1 = 0, ĥ3,1 = 0. ˆM 3,0 is a loop space an π j ( ˆM 3,0) is finite for any j. Now by Lemma 3. we get if (, ) = (, ) then Ω ˆM 3, Ω ˆM 3,, an Theorem 1 is proven. References [1] M.F.Atiyah an R.Bott, The Yang-Mills equations over Riemann surfaces, Phils. Trans. Ray. Soc. Lonon Ser A., 308 (198), [] M.C.Crabb an W.A.Sutherlan, Counting homotopy types of gauge groups, Proc. Lonon. Math. Soc., (3)81(000), [3] H.Hamanaa, On [X, U(n)] when im X = n + 1, to appear in J. Math. Kyoto Univ. [] H.Hamanaa an A.Kono, On [X, U(n)] when im X = n, J. Math. Kyoto Univ., (003). [5] R.Kane, The homotopy of Hopf spaces, North-Hollan Math. Library 0. [6] A.Kono, A note on the homotopy type of certain gauge groups, Proc. Royal Soc. Einburgh, 117A(1991), [7] G.E.Lang, The evaluation map an EHP sequence, Pacific J. Math., (1973), [8] H.Matsunaga, The homotopy groups π n+i (U(n)) for i = 3, an 5. Mem. Fac. Sci. Kyushu Univ., 15(1961), [9] W.A.Sutherlan, Function spaces relate to gauge groups, Proc. Roy. Soc. Einburgh, 11A(199), [10] H.Toa, A survey of homotopy theory, Av. in Math. 10(1973),
SAMELSON PRODUCTS IN Sp(2) 1. Introduction We calculated certain generalized Samelson products of Sp(2) and give two applications.
SAMELSON PRODUCTS IN Sp(2) HIROAKI HAMANAKA, SHIZUO KAJI, AND AKIRA KONO 1. Introduction We calculated certain generalized Samelson products of Sp(2) and give two applications. One is the classification
More informationCohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions
Cohomology of the classifying spaces of gauge groups over 3-manifolds in low dimensions by Shizuo Kaji Department of Mathematics Kyoto University Kyoto 606-8502, JAPAN e-mail: kaji@math.kyoto-u.ac.jp Abstract
More informationTHE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS. Osaka Journal of Mathematics. 52(1) P.15-P.29
Title THE HOMOTOPY TYPES OF SU(5)-GAUGE GROUPS Author(s) Theriault, Stephen Citation Osaka Journal of Mathematics. 52(1) P.15-P.29 Issue Date 2015-01 Text Version publisher URL https://doi.org/10.18910/57660
More informationA note on Samelson products in the exceptional Lie groups
A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, 2008 1 Introduction Samelson products have been studied extensively for the classical groups ([5],
More informationComparing the homotopy types of the components of Map(S 4 ;BSU(2))
Journal of Pure and Applied Algebra 161 (2001) 235 243 www.elsevier.com/locate/jpaa Comparing the homotopy types of the components of Map(S 4 ;BSU(2)) Shuichi Tsukuda 1 Department of Mathematical Sciences,
More informationThe homotopy types of Sp(2)-gauge groups
The homotopy types of -gauge groups Stephen D. Theriault bstract There are countably many equivalence classes of principal -bundles over S 4, classified by the integer value of the second Chern class.
More informationThe Mod 3 Homology of the Space of Loops on the Exceptional Lie Groups and the Adjoint Action
The Mod Homology of the Space of Loops on the Exceptional Lie Groups and the Adjoint Action Hiroaki HAMANAKA Department of Mathematics, Kyoto University and Shin-ichiro HARA Nagaoka University of Technology.
More informationTHE HOMOTOPY TYPE OF THE SPACE OF RATIONAL FUNCTIONS
THE HOMOTOPY TYPE OF THE SPACE OF RATIONAL FUNCTIONS by M.A. Guest, A. Kozlowski, M. Murayama and K. Yamaguchi In this note we determine some homotopy groups of the space of rational functions of degree
More informationFINITE CHEVALLEY GROUPS AND LOOP GROUPS
FINITE CHEVALLEY GROUPS AND LOOP GROUPS MASAKI KAMEKO Abstract. Let p, l be distinct primes and let q be a power of p. Let G be a connected compact Lie group. We show that there exists an integer b such
More informationSYMPLECTIC GEOMETRY: LECTURE 3
SYMPLECTIC GEOMETRY: LECTURE 3 LIAT KESSLER 1. Local forms Vector fiels an the Lie erivative. A vector fiel on a manifol M is a smooth assignment of a vector tangent to M at each point. We think of M as
More informationMAT 545: Complex Geometry Fall 2008
MAT 545: Complex Geometry Fall 2008 Notes on Lefschetz Decomposition 1 Statement Let (M, J, ω) be a Kahler manifol. Since ω is a close 2-form, it inuces a well-efine homomorphism L: H k (M) H k+2 (M),
More informationMath Homotopy Theory Spring 2013 Homework 13 Solutions
Math 527 - Homotopy Theory Spring 2013 Homework 13 Solutions Definition. A space weakly equivalent to a product of Eilenberg-MacLane spaces is called a generalized Eilenberg-MacLane space, or GEM for short.
More informationChromatic homotopy theory at height 1 and the image of J
Chromatic homotopy theory at height 1 and the image of J Vitaly Lorman Johns Hopkins University April 23, 2013 Key players at height 1 Formal group law: Let F m (x, y) be the p-typification of the multiplicative
More informationEXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES
EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES RAVI A.RAO AND RICHARD G. SWAN Abstract. This is an excerpt from a paper still in preparation. We show that there are
More informationA UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3
Homology, Homotopy and Applications, vol. 11(1), 2009, pp.1 15 A UNIVERSAL PROPERTY FOR Sp(2) AT THE PRIME 3 JELENA GRBIĆ and STEPHEN THERIAULT (communicated by Donald M. Davis) Abstract We study a universal
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationThe relationship between framed bordism and skew-framed bordism
The relationship between framed bordism and sew-framed bordism Pyotr M. Ahmet ev and Peter J. Eccles Abstract A sew-framing of an immersion is an isomorphism between the normal bundle of the immersion
More informationRational Hopf G-spaces with two nontrivial homotopy group systems
F U N D A M E N T A MATHEMATICAE 146 (1995) Rational Hopf -spaces with two nontrivial homotopy group systems by Ryszard D o m a n (Poznań) Abstract. Let be a finite group. We prove that every rational
More informationAgmon Kolmogorov Inequalities on l 2 (Z d )
Journal of Mathematics Research; Vol. 6, No. ; 04 ISSN 96-9795 E-ISSN 96-9809 Publishe by Canaian Center of Science an Eucation Agmon Kolmogorov Inequalities on l (Z ) Arman Sahovic Mathematics Department,
More informationALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS
ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS MARK SCHACHNER Abstract. When consiere as an algebraic space, the set of arithmetic functions equippe with the operations of pointwise aition an
More informationOn the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8
213 226 213 arxiv version: fonts, pagination and layout may vary from GTM published version On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional
More informationCHAPTER 1 : DIFFERENTIABLE MANIFOLDS. 1.1 The definition of a differentiable manifold
CHAPTER 1 : DIFFERENTIABLE MANIFOLDS 1.1 The efinition of a ifferentiable manifol Let M be a topological space. This means that we have a family Ω of open sets efine on M. These satisfy (1), M Ω (2) the
More informationWe 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 informationCharacteristic Classes in K-Theory General Theory
Characteristic Classes in K-Theory General Theory Robert Bruner Department of Mathematics Wayne State University Topology Seminar Universitetet i Bergen 10 August 2011 Robert Bruner (Wayne State University)
More informationnx ~p Us x Uns2"'-1,» i
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 4, April 1986 LOOP SPACES OF FINITE COMPLEXES AT LARGE PRIMES C. A. MCGIBBON AND C. W. WILKERSON1 ABSTRACT. Let X be a finite, simply
More information7. Localization. (d 1, m 1 ) (d 2, m 2 ) d 3 D : d 3 d 1 m 2 = d 3 d 2 m 1. (ii) If (d 1, m 1 ) (d 1, m 1 ) and (d 2, m 2 ) (d 2, m 2 ) then
7. Localization To prove Theorem 6.1 it becomes necessary to be able to a enominators to rings (an to moules), even when the rings have zero-ivisors. It is a tool use all the time in commutative algebra,
More informationSTABLE SELF-HOMOTOPY GROUPS OF COMPLEX PROJECTIVE PLANE
Math. J. Okayama Univ. 47 (2005), 147 158 STABLE SELF-HOMOTOPY GROUPS OF COMPLEX PROJECTIVE PLANE Shinichiro OMAE Abstract. We compute the stable homotopy group G k (CP 2 ) = {Σ k CP 2, CP 2 } of the complex
More informationCharacteristic classes of vector bundles
Characteristic classes of vector bunles Yoshinori Hashimoto 1 Introuction Let be a smooth, connecte, compact manifol of imension n without bounary, an p : E be a real or complex vector bunle of rank k
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationSOME EXERCISES. By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra.
SOME EXERCISES By popular demand, I m putting up some fun problems to solve. These are meant to give intuition for messing around with spectra. 1. The algebraic thick subcategory theorem In Lecture 2,
More informationTRANSFERRED CHERN CLASSES IN MORAVA K-THEORY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 132, Number 6, Pages 1855 1860 S 0002-9939(03)07265-4 Article electronically published on December 18, 2003 TRANSFERRED CHERN CLASSES IN MORAVA K-THEORY
More informationBundle gerbes. Outline. Michael Murray. Principal Bundles, Gerbes and Stacks University of Adelaide
Bundle gerbes Michael Murray University of Adelaide http://www.maths.adelaide.edu.au/ mmurray Principal Bundles, Gerbes and Stacks 2007 Outline 1 Informal definition of p-gerbes 2 Background 3 Bundle gerbes
More informationBOTT PERIODICITY PETER MAY
BOTT PERIODICITY PETER MAY Bott s 1957 announcement of his periodicity theorem transformed algebraic topology forever. To quote Atiyah in his obituary for Bott This paper was a bombshell. The results were
More informationREAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of ba
REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of based gauge equivalence classes of SO(n) instantons on
More informationPoles of Instantons and Jumping Lines of Algebraic Vector Bundles on P
No. 5] Proc. Japan Acad., 5, Ser. A (1979) 185 Poles of Instantons and Jumping Lines of Algebraic Vector Bundles on P By Motohico ]V[ULASE Research Institute for Mathematical Science.s, Kyoto University
More informationMorse theory and stable pairs
Richard A. SCGAS 2010 Joint with Introduction Georgios Daskalopoulos (Brown University) Jonathan Weitsman (Northeastern University) Graeme Wilkin (University of Colorado) Outline Introduction 1 Introduction
More informationA FURTHER REFINEMENT OF MORDELL S BOUND ON EXPONENTIAL SUMS
A FURTHER REFINEMENT OF MORDELL S BOUND ON EXPONENTIAL SUMS TODD COCHRANE, JEREMY COFFELT, AND CHRISTOPHER PINNER 1. Introuction For a prime p, integer Laurent polynomial (1.1) f(x) = a 1 x k 1 + + a r
More informationON ADIC GENUS AND LAMBDA-RINGS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9947(XX)0000-0 ON ADIC GENUS AND LAMBDA-RINGS DONALD YAU Abstract. Sufficient conditions on a space are given
More informationTHE BORSUK-ULAM THEOREM FOR GENERAL SPACES
THE BORSUK-ULAM THEOREM FOR GENERAL SPACES PEDRO L. Q. PERGHER, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Let X, Y be topological spaces and T : X X a free involution. In this context, a question
More informationMath 752 Week s 1 1
Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following
More informationRECURRENCE RELATIONS IN THOM SPECTRA. The squaring operations themselves appear as coefficients in the resulting polynomial:
RECURRENCE RELATIONS IN THOM SPECTRA ERIC PETERSON (Throughout, H will default to mod- cohomology.). A HIGHLY INTERESTING SPACE We begin with a love letter to P. Its first appearance in the theory of algebraic
More informationCharacteristic Classes in K-Theory Connective K-theory of BG, G Compact Lie
Characteristic Classes in K-Theory Connective K-theory of BG, G Compact Lie Robert Bruner Department of Mathematics Wayne State University Topology Seminar Universitetet i Bergen 10 August 2011 Robert
More informationSection The Chain Rule and Implicit Differentiation with Application on Derivative of Logarithm Functions
Section 3.4-3.6 The Chain Rule an Implicit Differentiation with Application on Derivative of Logarithm Functions Ruipeng Shen September 3r, 5th Ruipeng Shen MATH 1ZA3 September 3r, 5th 1 / 3 The Chain
More informationMath 2163, Practice Exam II, Solution
Math 63, Practice Exam II, Solution. (a) f =< f s, f t >=< s e t, s e t >, an v v = , so D v f(, ) =< ()e, e > =< 4, 4 > = 4. (b) f =< xy 3, 3x y 4y 3 > an v =< cos π, sin π >=, so
More informationJournal of Algebra. A class of projectively full ideals in two-dimensional Muhly local domains
Journal of Algebra 32 2009 903 9 Contents lists available at ScienceDirect Journal of Algebra wwwelseviercom/locate/jalgebra A class of projectively full ieals in two-imensional Muhly local omains aymon
More informationCHM 532 Notes on Creation and Annihilation Operators
CHM 53 Notes on Creation an Annihilation Operators These notes provie the etails concerning the solution to the quantum harmonic oscillator problem using the algebraic metho iscusse in class. The operators
More informationON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes
ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes Abstract. Let k[x] (x) be the polynomial ring k[x] localized in the maximal ideal (x) k[x]. We study the Hilbert functor parameterizing ideals
More informationLocalizing groups with action
Localizing groups with action by Georg Peschke Publicacions Matemátiques 33 (1989) 227 234 1 Localization and genus in group theory and homotopy theory Georg Peschke 1 Abstract: When localizing the semidirect
More informationEXCERPT FROM A REGENERATIVE PROPERTY OF A FIBRE OF INVERTIBLE ALTERNATING MATRICES
EXCERPT FROM A REGENERATIVE PROPERTY OF A FIBRE OF INVERTIBLE ALTERNATING MATRICES RAVI A.RAO AND RICHARD G. SWAN Abstract. This is an excerpt from a paper still in preparation. It gives an example of
More informationThe chromatic number of graph powers
Combinatorics, Probability an Computing (19XX) 00, 000 000. c 19XX Cambrige University Press Printe in the Unite Kingom The chromatic number of graph powers N O G A A L O N 1 an B O J A N M O H A R 1 Department
More informationOn the chromatic Ext 0 (Mn 1 1 ) on Γ(m + 1) for an odd prime
On the chromatic Ext 0 Mn 1 1 on Γm + 1 for an odd prime Rié Kitahama and Katsumi Shimomura Received Xxx 00, 0000 Abstract. Let Mn 1 1 denote the coernel of the localization map BP /I v 1 n 1 BP /I, here
More informationarxiv: v1 [math.sg] 13 Apr 2010
Pre-quantization of the Moduli Space of Flat G-Bundles arxiv:1004.2286v1 [math.sg] 13 Apr 2010 by Derek Krepski A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy
More informationMathematical Journal of Okayama University
Mathematical Journal of Okayama University Volume 44, Issue 1 2002 Article 1 JANUARY 2002 On the Group π(σa B,X) Seiya Sasao Tokyo Institute of Technology Copyright c 2002 by the authors. Mathematical
More informationLOOP GROUPS AND CATEGORIFIED GEOMETRY. Notes for talk at Streetfest. (joint work with John Baez, Alissa Crans and Urs Schreiber)
LOOP GROUPS AND CATEGORIFIED GEOMETRY Notes for talk at Streetfest (joint work with John Baez, Alissa Crans and Urs Schreiber) Lie 2-groups A (strict) Lie 2-group is a small category G such that the set
More informationHamiltonian Toric Manifolds
Hamiltonian Toric Manifolds JWR (following Guillemin) August 26, 2001 1 Notation Throughout T is a torus, T C is its complexification, V = L(T ) is its Lie algebra, and Λ V is the kernel of the exponential
More informationZachary Scherr Math 503 HW 5 Due Friday, Feb 26
Zachary Scherr Math 503 HW 5 Due Friay, Feb 26 1 Reaing 1. Rea Chapter 9 of Dummit an Foote 2 Problems 1. 9.1.13 Solution: We alreay know that if R is any commutative ring, then R[x]/(x r = R for any r
More informationMath 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 informationMath 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 informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationSome Weak p-hyponormal Classes of Weighted Composition Operators
Filomat :9 (07), 64 656 https://oi.org/0.98/fil70964e Publishe by Faculty of Sciences an Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Some Weak p-hyponormal Classes
More informationGeometric dimension of stable vector bundles over spheres
Morfismos, Vol. 18, No. 2, 2014, pp. 41 50 Geometric dimension of stable vector bundles over spheres Kee Yuen Lam Duane Randall Abstract We present a new method to determine the geometric dimension of
More informationERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY
ERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY DUSA MCDUFF AND DIETMAR A. SALAMON Abstract. These notes correct a few typos and errors in Introduction to Symplectic Topology (2nd edition, OUP 1998, reprinted
More informationIntroduction 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 informationNon-separable AF-algebras
Non-separable AF-algebras Takeshi Katsura Department of Mathematics, Hokkaido University, Kita 1, Nishi 8, Kita-Ku, Sapporo, 6-81, JAPAN katsura@math.sci.hokudai.ac.jp Summary. We give two pathological
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationBEYOND ELLIPTICITY. Paul Baum Penn State. Fields Institute Toronto, Canada. June 20, 2013
BEYOND ELLIPTICITY Paul Baum Penn State Fields Institute Toronto, Canada June 20, 2013 Paul Baum (Penn State) Beyond Ellipticity June 20, 2013 1 / 47 Minicourse of five lectures: 1. Dirac operator 2. Atiyah-Singer
More informationarxiv: v1 [math.at] 15 Aug 2017
GENERALIZED JIANG AND GOTTLIEB GROUPS MAREK GOLASIŃSKI AND THIAGO DE MELO arxiv:1708.04708v1 [math.at] 15 Aug 2017 Abstract. Given a map f: X Y, we extend a Gottlieb s result to the generalized Gottlieb
More informationEndomorphisms of Jacobians of Modular Curves
Enomorphisms of Jacobians of Moular Curves E. Kani Department of Mathematics an Statistics, Queen s University, Kingston, Ontario, Canaa, K7L 3N6 Email: Kani@mast.queensu.ca 1 Introuction Let X Γ = Γ\H
More informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationTopological 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 informationApplications of Homotopy
Chapter 9 Applications of Homotopy In Section 8.2 we showed that the fundamental group can be used to show that two spaces are not homeomorphic. In this chapter we exhibit other uses of the fundamental
More informationWilliam G. Dwyer Clarence W. Wilkerson
Maps of BZ/pZ to BG William G. Dwyer Clarence W. Wilkerson The purpose of this note is to give an elementary proof of a special case of the result of [Adams Lannes 2 Miller-Wilkerson] characterizing homotopy
More informationExercises on characteristic classes
Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives
More informationOn adic genus, Postnikov conjugates, and lambda-rings
On adic genus, Postnikov conjugates, and lambda-rings Donald Yau April 25, 2002 Department of Mathematics, MIT Room 2-588, 77 Massachusetts Avenue, Cambridge, MA 02139, USA Abstract Sufficient conditions
More informationDonaldson Invariants and Moduli of Yang-Mills Instantons
Donaldson Invariants and Moduli of Yang-Mills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants
More informationDarboux s theorem and symplectic geometry
Darboux s theorem an symplectic geometry Liang, Feng May 9, 2014 Abstract Symplectic geometry is a very important branch of ifferential geometry, it is a special case of poisson geometry, an coul also
More informationMath. Res. Lett. 13 (2006), no. 1, c International Press 2006 ENERGY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ.
Math. Res. Lett. 3 (2006), no., 6 66 c International Press 2006 ENERY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ Katrin Wehrheim Abstract. We establish an energy identity for anti-self-dual connections
More informationDEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS
DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain
More informationRELATIVE CHERN CHARACTER, BOUNDARIES AND INDEX FORMULÆ
RELATIVE CHERN CHARACTER, BOUNDARIES AND INDEX FORMULÆ PIERRE ALBIN AND RICHARD MELROSE.9A; Revise: 5-15-28; Run: August 1, 28 Abstract. For three classes of elliptic pseuoifferential operators on a compact
More informationJUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson
JUST THE MATHS UNIT NUMBER 10.2 DIFFERENTIATION 2 (Rates of change) by A.J.Hobson 10.2.1 Introuction 10.2.2 Average rates of change 10.2.3 Instantaneous rates of change 10.2.4 Derivatives 10.2.5 Exercises
More informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationCHARACTERISTIC CLASSES
1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact
More informationA complement to the theory of equivariant finiteness obstructions
F U N D A M E N T A MATHEMATICAE 151 (1996) A complement to the theory of equivariant finiteness obstructions by Paweł A n d r z e j e w s k i (Szczecin) Abstract. It is known ([1], [2]) that a construction
More informationWitten s Proof of Morse Inequalities
Witten s Proof of Morse Inequalities by Igor Prokhorenkov Let M be a smooth, compact, oriente manifol with imension n. A Morse function is a smooth function f : M R such that all of its critical points
More informationLie symmetry and Mei conservation law of continuum system
Chin. Phys. B Vol. 20, No. 2 20 020 Lie symmetry an Mei conservation law of continuum system Shi Shen-Yang an Fu Jing-Li Department of Physics, Zhejiang Sci-Tech University, Hangzhou 3008, China Receive
More informationPseudogroups of foliations Algebraic invariants of solenoids The discriminant group Stable actions Wild actions Future work and references
Wild solenoids Olga Lukina University of Illinois at Chicago Joint work with Steven Hurder March 25, 2017 1 / 25 Cantor laminations Let M be a compact connected metrizable topological space with a foliation
More informationMath Implicit Differentiation. We have discovered (and proved) formulas for finding derivatives of functions like
Math 400 3.5 Implicit Differentiation Name We have iscovere (an prove) formulas for fining erivatives of functions like f x x 3x 4x. 3 This amounts to fining y for 3 y x 3x 4x. Notice that in this case,
More informationThe 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 informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationEXPLICIT BOUNDS ON MONOMIAL AND BINOMIAL EXPONENTIAL SUMS
EXPLICIT BOUNDS ON MONOMIAL AND BINOMIAL EXPONENTIAL SUMS TODD COCHRANE AND CHRISTOPHER PINNER Abstract. Let p be a prime an e p = e 2πi /p. First, we make explicit the monomial sum bouns of Heath-Brown
More informationThe Wiener Index of Trees with Prescribed Diameter
011 1 15 4 ± Dec., 011 Operations Research Transactions Vol.15 No.4 The Wiener Inex of Trees with Prescribe Diameter XING Baohua 1 CAI Gaixiang 1 Abstract The Wiener inex W(G) of a graph G is efine as
More informationTHE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP
THE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP ALESSANDRA PANTANO, ANNEGRET PAUL, AND SUSANA A. SALAMANCA-RIBA Abstract. We classify all genuine unitary representations of the metaplectic
More information1 Lecture 20: Implicit differentiation
Lecture 20: Implicit ifferentiation. Outline The technique of implicit ifferentiation Tangent lines to a circle Derivatives of inverse functions by implicit ifferentiation Examples.2 Implicit ifferentiation
More informationON BEAUVILLE STRUCTURES FOR PSL(2, q)
ON BEAUVILLE STRUCTURES FOR PSL(, q) SHELLY GARION Abstract. We characterize Beauville surfaces of unmixe type with group either PSL(, p e ) or PGL(, p e ), thus extening previous results of Bauer, Catanese
More informationINERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS. Osaka Journal of Mathematics. 53(2) P.309-P.319
Title Author(s) INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS Ramesh, Kaslingam Citation Osaka Journal of Mathematics. 53(2) P.309-P.319 Issue Date 2016-04 Text Version publisher
More informationMATH 205 HOMEWORK #5 OFFICIAL SOLUTION
MATH 205 HOMEWORK #5 OFFICIAL SOLUTION Problem 1: An inner product on a vector space V over F is a bilinear map, : V V F satisfying the extra conditions v, w = w, v, and v, v 0, with equality if and only
More informationTHE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction
THE VORTEX EQUATION ON AFFINE MANIFOLDS INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Let M be a compact connected special affine manifold equipped with an affine Gauduchon metric. We show
More informationCohomological Hall algebra of a preprojective algebra
Cohomological Hall algebra of a preprojective algebra Gufang Zhao Institut de Mathématiques de Jussieu-Paris Rive Gauche Conference on Representation Theory and Commutative Algebra Apr. 24, 2015, Storrs,
More informationOn stable James numbers of quaternionic projective spaces. Osaka Journal of Mathematics. 12(1) P.209-P.213
Title Author(s) On stable James numbers of quaternionic projective spaces Ōshima, Hideaki Citation Osaka Journal of Mathematics. 12(1) P.209-P.213 Issue Date 1975 Text Version publisher URL https://doi.org/10.18910/4783
More informationThe cohomology of orbit spaces of certain free circle group actions
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 1, No. 1, February 01, pp. 79 86. c Indian Academy of Sciences The cohomology of orbit spaces of certain free circle group actions HEMANT KUMAR SINGH and TEJ BAHADUR
More information