A geometric solution of the Kervaire Invariant One problem
|
|
- Maurice Booker
- 5 years ago
- Views:
Transcription
1 A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009
2 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g : N n 2 R n be the immersion of the double points intersection of g. The Kervaire invariant of f is defined by Θ sf (f) = η n 2 2 N ; [N n 2 ], where η N = w 2 (N n 2 ) is the second normal Stiefel-Whitney class of N n 2.
3 In particular, if n = 2, Θ sf (f) is the parity of the number of self-intersection points of the curve f on the plane R 2. Let us denote by Imm sf (n 1, 1) the cobordism group of immersions in the codimension 1 of (non-oriented) closed (n 1) manifold ( sf stands for skew-framed).
4 Theorem The Kervaire invariant is a well-defined homomorphism: Θ sf : Imm sf (4k + 1, 1) Z/2. 1. This homomorphism is trivial if 4k l 2, l For k = 0, 1, 3, 7, 15 the homomorphism Θ sf is an epimorphism.
5 Part 1 is the Theorem by W. Browder, The Kervaire invariant of framed manifolds and its generalization, Ann. of Math., (2) 90 (1969) A special case of this theorem was discovered by M. Kervaire, A manifold which does not admit any differentiable structure, Comment. Math. Helv., 34 (1960) Part 2 (in the case k = 7) was proved by M.E. Mahowald and M.C. Tangora, Some differentials in the Adams spectral sequence, Topology 6 (1967), The case k = 15 was proved by M. G. Barratt, J. D. S. Jones and M. E. Mahowald, Relations amongst Toda brackets and the Kervaire invariant in dimension 62, J.London Math.Soc. (2) 30 (1984), no. 3,
6 Main Theorem There exists an integer l 0, such that for an arbitrary l l 0, the Kervaire invariant Θ sf : Imm sf (2 l 3, 1) Z/2 is the trivial homomorphism. The proof of this theorem is based on the approach proposed by P.J.Eccles Codimension One Immersions and the Kervaire Invariant One Problem, Math. Proc. Cambridge Phil. Soc., vol.90 (1981)
7 A commutative diagram that we use to define dihedral structure of self-intersection manifold of skew-framed immersions: Imm sf (n 1, 1) J k sf Imm sf (n k, k) δ Z/2 [2] δ k Z/2 [2] Imm Z/2[2] (n 2, 2) J k Z/2 [2] Imm Z/2[2] (n 2k, 2k).
8 A commutative diagram that we use to define the Kervaire invariant in the codimension k: Imm sf (n k, k) δ k Z/2 [2] Imm Z/2[2] (n 2k, 2k) Θ k sf Z/2 skew framed immersions Θ k Z/2 [2] Z/2 dihedral immersions.
9 Structure groups of immersions Let us consider the following collection of (d 1) sets Υ d, Υ d 1,..., Υ 2, where each set consists of proper coordinate subspaces of R 2d 1. The set of the subspaces Υ i, 2 i d, (we will use only the case d = 6) consists of 2 i 1 coordinate subspaces generated by the basis vectors: ((e 1,... e 2 d i),..., (e 2 d 1 2 d i +1,..., e 2 d 1)).
10 Let us denote by Z/2 [d] the subgroup Z/2 Σ 2 d 1 O(2 d 1 ) under the following condition: the transformation Z/2 [d] R 2d 1 R 2d 1 admits the invariant collection of sets Υ d, Υ d 1,..., Υ 2. In particular, in the case d = 2 we get that Υ 2 contains only one collection of subspaces and this collection is ((e 1 ), (e 2 )). Therefore Z/2 [2] is a dihedral group.
11 Imm Z/2[2] (n 2, 2) Imm Z/2[2] (n 2k, 2k) δ Z/2 [3] δ k Z/2 [3] Imm Z/2[3] (n 4, 4) J k Z/2 [3] Imm Z/2[3] (n 4k, 4k) δ Z/2 [4] δ k Z/2 [4] Imm Z/2[4] (n 8, 8) J k Z/2 [4] Imm Z/2[4] (n 8k, 8k) δ Z/2 [5] δ k Z/2 [5] Imm Z/2[5] (n 16, 16) J k Z/2 [5] Imm Z/2[5] (n 16k, 16k) δ Z/2 [6] δ k Z/2 [6] Imm Z/2[6] (n 32, 32) J k Z/2 [6] Imm Z/2[6] (n 32k, 32k).
12 Imm Z/2[2] (n 2k, 2k) Z/2 δ k Z/2 [3] Imm Z/2[3] (n 4k, 4k) δ k Z/2 [4] Imm Z/2[4] (n 8k, 8k) δ k Z/2 [5] Imm Z/2[5] (n 16k, 16k) δ k Z/2 [6] Θ k Z/2 [3] Z/2 Θ k Z/2 [4] Z/2 Θ k Z/2 [5] Z/2 Imm Z/2[6] (n 32k, 32k) Θ k Z/2 [6] Z/2.
13 I d İd [2] Abelian Z/2 structure i [3] I a İd Z/2 [3] cyclic Abelian structure i [4] I a İa Z/2 [4] bicyclic structure i [5] Q İa Z/2 [5] quaternionic cyclic structure i [6] Q Q Z/2 [6] biquaternionic structure.
14 Dihedral group The dihedral group (of the order 8) Z/2 [2] O(2): {a, b a 4 = b 2 = e, [a, b] = a 2 }. Let {f 1, f 2 } be the standard base of the plane R 2. The element a is represented by the rotation through the angle π: 2 f 1 f 2 ; f 2 f 1. The element b is represented by the permutation of the base vectors f 1 f 2 ; f 2 f 1.
15 Elementary 2-group The elementary subgroup I d İd Z/2 [2] of the rank 2: {a 2, b a 4 = b 2 = e, [a 2, b] = e}. This group preserves the vectors f 1 + f 2, f 1 f 2. Let τ [2] H 2 (Z/2 [2] ; Z/2) be the universal class, i d d (τ [2]) H 2 (I d İd; Z/2) is the pull-back of τ [2] under the inclusion i d d : I d İd Z/2 [2]. i d d (τ [2]) = κ d κd, κ d H 1 (I d İd; Z/2). p d : I d Id I d, κ d = p d (t d), e t d I d Z/2, and κd H1 (I d İd; Z/2) is defined analogously.
16 f : M n k R n, x = [(f, Ξ, κ M )] Imm sf (n k, k), κ M is a line bundle over M n k, Ξ is a skew-framing of the normal bundle of f, i.e. an isomorphism Ξ : ν f = kκ M. y = δ k Z/2 [2] (x) = (g, Ψ, η N ) Imm Z[2] (n 2k, 2k), g : N n 2k R n, η N is a Z/2 [2] bundle over N n 2k, Ψ is a dihedral framing of the normal bundle of f, i.e. an isomorphism Ψ : ν g = kη N.
17 Definition of Abelian structure A skew-framed immersion (f, Ξ, κ M ) admits an Abelian structure if there exists a map η d d,n : N n 2k K(I d İd, 1) (Eilenberg-Mac Lain space), satisfying the following condition: η n 2k 2 N ; [N n 2k ] = Θ k Z/2 [2] (y) = η 15k N η n 32k 2 d d ; [N]. η d d = η d d,n (i d d (τ [2])) H 2 (N n 2k ; Z/2), [N] is the fundamental class of N n 2k, η N H 2 (N n 2k ; Z/2) is the characteristic class of Z/2 [2] framing.
18 Definition of a Desuspension A skew-framed cobordism class x = [(f, Ξ, κ M )] Imm sf (n k, k) admits a desuspension of order q, if this class is represented by a triple, such that κ M = I κ (q), κ (q) : M n k RP n k q 1, I : RP n k q 1 RP.
19 Desuspension theorem For an arbitrary q there exists an integer l 0 = l 0 (q), such that an arbitrary element x Imm sf (2 l 3, 1), l l 0, admits a desuspension of order q.
20 Abelian structure immersion theorem Let q be an arbitrary integer divisible by 16, and let n = 2 l 2 with l is sufficiently large. Put k = k(q) = n q 16. Let us assume that x Imm sf (n k, k) admits a desuspension of order q. Then the class x is represented by a triple (f, Ξ, κ M ), such that this skew-framed immersion admits an Abelian structure.
21 Cyclic group The cyclic index 2 subgroup of the order 4: I a = {a a 4 = e} Z/2 [2]. Bicyclic group The bicyclic index 2 11 subgroup of the order 16: I a İa Z/2 [2] Z/2 [2] Z/2 [4].
22 The universal cohomology class of the bicyclic group There exists τ [4] H 8 (Z/2 [4] ; Z/2) (the universal class), i a ȧ(τ [4] ) H 8 (I a İa; Z/2) is the pull-back of τ [4] under the inclusion i a ȧ : I a İa Z/2 [4]. i a ȧ(τ [4] ) = ηaη 2 ȧ, 2 η a, ηȧ H 2 (I a İa; Z/2). Here η a, ηȧ are defined similar to κ a, κȧ.
23 x Imm sf (n k, k), y = δ Z/2 [2](x) Imm Z/2[2] (n 2k, 2k), z = δ Z/2 [3] δ Z/2 [2] Imm Z/2[3] (n 4k, 4k), u = δ Z [4] δ Z [3] δ Z [2](x) u = [(h, Λ, ζ L )] Imm Z/2[4] (n 8k, 8k), h : L n 8k R n, ζ L is a Z/2 [4] bundle over L n 8k, Λ is a an 8 dimensional Z/4 [4] -framing of the normal bundle of h, i.e. an isomorphism Λ : ν h kζ L.
24 Definition of bicyclic structure A Z/2 [3] immersion [(g, Ψ, η N )] = δ Z/2 [3] δ Z/2 [2](x) Imm Z/2[3] (n 4k, 4k) admits a bicyclic structure if there exists a map ζ a ȧ,l : L n 8k K(I a İa, 1) (Eilenberg-Mac Lain space), satisfying the following equation: Θ k Z/2 (z) = π [3] d d,a ȧ,l (ζ L) 3k n 32k 2 ζ d d,l ; [ L d d ]. Here the cohomology class ζ d d,l ζ a ȧ,l. is defined by means of
25 In the previous formula: L n 8k is the double-point Z/2 [4] manifold of g [ L d d ] is the fundamental class of the corresponding 4-sheeted cover π d d,a ȧ n 8k : L d d L n 8k, induced from the 4-sheeted cover of Eilenberg-Maclain spaces K(I d İd, 1) K(I a İa, 1) by the map ζ a ȧ,l : L n 8k K(I a İa, 1) ζd d,l H2 ( L n 8k ; Z/2) is the universal cohomological d d I d İd-class, constructed by means of the map ζ Q Q,L
26 ζ L H 8 (L n 8k ; Z/2) is the top characteristic class of the Z/2 [4] framing and it is the pull-back of the universal class τ [4] H 8 (Z/2 [4] ; Z/2) under the classifying map L n 8k K(Z/2 [4], 1) of the corresponded Z/2 [4] bundle previously denoted by ζ L. π d d,a ȧ,l (ζ L) H 8 ( L n 8k d d ; Z/2) is the pull-back of the class ζ L under the 4-sheeted cover π d d,a ȧ n 8k : L d d L n 8k.
27 Bicyclic structure immersion Theorem Let us assume that x Imm sf (n k, k), k = n 2s +2 32, s 6, admits a desuspension of the order q = 2s 2 2. Then the class z = δ k Z [3] δ k [2](x) Imm Z/2[3] (n 4k, 4k) is represented by a triple (h, Λ, ζ L ), such that this skew-framed immersion admits an Abelian structure.
28 Quaternionic group The quaternionic group of the order 8: Q = {i, j, k ij = k = ji, jk = i = kj, ki = j = ik, i 2 = j 2 = k 2 = 1}. This is an index 16 subgroup Q Z/2 [3]. The standard representation χ + : Q Z/2 [3] transforms the quaternions i, j, k into the following matrices:
29 i = ,
30 j = ,
31 k =
32 Biquaternionic group The biquaternionic index 2 57 subgroup of the order 64: Q Q Z/2 [3] Z/2 [3] Z/2 [6].
33 The universal cohomology class of the biquaternionic group There exists τ [6] H 32 (Z/2 [6] ; Z/2) (the universal class), i Q Q (τ [6]) H 32 (Q Q; Z/2) is the pull-back of τ [6] under the inclusion i Q Q : Q Q Z/2 [6]. i Q Q (τ [6]) = ζqζ 4 4 Q, ζ Q, ζ Q H4 (Q Q; Z/2). Here ζ Q, ζ Q to η a, ηȧ. are defined similar
34 x Imm sf (n k, k), y = δ Z/2 [2](x) Imm Z/2[2] (n 2k, 2k), z = δ Z/2 [3] δ Z/2 [2] Imm Z/2[3] (n 4k, 4k), u = δ Z [4] δ Z [3] δ Z [2](x) Imm Z/2[3] (n 4k, 4k), v = δ Z [5] δ Z [4] δ Z [3] δ Z [2](x) Imm Z/2[4] (n 8k, 8k), w = δ Z [6] δ Z [5] δ Z [4] δ Z [3] δ Z [2](x) Imm Z/2[5] (n 16k, 16k).
35 Definition of biquaternionic structure A Z/2 [5] immersion [(h, Λ, ζ L )] = δ Z/2 [5] δ Z/2 [4] δ Z/2 [3] δ Z/2 [2](x) Imm Z/2[5] (n 16k, 16k) admits a biquaternionic structure if there exists a map ω Q Q,K : Kn 32k K(Q Q, 1) (Eilenberg-Mac Lain space satisfying the following equation: Θ k Z/2 (w) = ω n 32k [5] 2 d d,k ; [ K d d ]. Here the cohomology class ω d d,k ω Q Q,K. is defined by means of
36 In the previous formula: K n 32k is the double-point Z/2 [6] manifold of h [ K d d ] is the fundamental class of the 16-sheeted cover π d d,q n 32k Q : K d d K n 32k, induced from the 16-sheeted cover of Eilenberg-Mac Lain spaces K(I d İd, 1) K(Q Q, 1) by the map ω Q Q,K : Kn 32k K(Q Q, 1) ω d d,k H2 n 32k ( K d d ; Z/2) is the universal cohomology I d İd-class, constructed by means of the map ω Q Q,K.
37 Biquaternionic structure immersion theorem Let k = n 2s +2 32, s 6, (q = 2s 2 2 ), q be an integer divisible by 16, and let n = 2 l 2 with l sufficiently large. Put k = k(q) = n q 16. Let us assume that x Imm sf (n k, k) admits a desuspension of the order q = 2s 2 2. Then the class w = δ k Z [5] δ k Z [ 4] δk Z [3] δ k Z [ 2] (x) ImmZ/2[5] (n 16k, 16k) is represented by a triple (h, Λ, ζ L ) such that this triple admits a biquaternionic structure.
38 Biquaternionic Kervaire Invariant Theorem Assume that w Imm Z/2[5] (n 16k, 16k), n = 2 l 2, k = 0 (mod 64), k > 0, n 32k > 0 admits a biquaternionic structure. Then Θ Z/2 [5](w) = 0. As a corollary we get Main Theorem There exists an integer l 0, such that for an arbitrary l l 0, the Kervaire invariant Θ sf : Imm sf (2 l 3, 1) Z/2 is the trivial homomorphism.
39 Proof of Biquaternionic Theorem Let w Imm Z/2[5] (n 16k, 16k), w = [(e, Ω, ω K )], S n 32k be the double point manifold of the immersion e, ω Q ω Q : Sn 32k K(Q, 1) K( Q, 1) be the biquaternionic map. Recall that n 32k = dim(s) 14. Let i T : T 14 S n 32k be a closed submanifold dual to the cohomology class (ω S;Q ω S; Q ) n 32k 14 8 H n 32k 14 (S n 32k ; Z/2), where ω S;Q = ω Q (ζ Q); ω S; Q = ω Q (ζ Q ) H4 (S n 32k ; Z/2).
40 The following (non-standard) representation χ : Q Z/2 [3] transforms the quaternions i, j, k into the following matrices: i =,
41 j = ,
42 k =
43 Let us define the vector bundles ζ +, ζ be over S 15 /Q a. The bundle ζ + is defined by means of the representation χ +. The bundle ζ is defined by means of the representation χ. The bundle ζ + admits a complex structure. Note that c 1 (ζ + ) = 0, because the restriction of the bundle ζ + over S 3 /Q S 15 /Q is the trivial complex bundle and H 2 (S 15 /Q; Z) H 2 (S 3 /Q; Z) is an isomorphism.
44 Therefore, p 1 (2ζ + ) = c 2 1(2ζ + ) 2c 2 (2ζ + ) = 4c 2 1(ζ + ) 4c 2 (ζ + ) = 4ζ Q H 4 (K(Q, 1); Z). By the analogical computation: p 1 (2 ζ + ) = 4ζ Q H4 (K( Q, 1); Z).
45 The bundle ζ admits a complex structure. Note that c 1 (ζ ) = 0 by analogical calculations. Therefore, p 1 (ζ + ζ ) = c 2 1(ζ + ζ ) 2c 2 (ζ + ζ ) = c 2 1(ζ + ) + c 2 1(ζ ) + 2c 1 (ζ + )c 1 (ζ ) 2c 2 (ζ + ) 2c 2 (ζ ) = 0, because the Euler classes e(ζ + ) H 4 (S 15 /Q; Z) e(ζ ) H 4 (S 15 /Q; Z) are opposite: e(ζ + ) = e(ζ ).
46 The normal bundle ν T is stably isomorphic to the bundle lζ T,+ l ζ T,+, where l is an integer, l = 2 (mod 4). The bundle ζ T,+ is the 4-dimensional vector bundle over T defined as ζ T,+ = ωt,q(ζ + ), ω T,Q = ω Q T : T 14 K(Q, 1). The bundle ζ T,+ is the 4-dimensional vector bundle over T defined as ζ T,+ = ω T, Q (ζ +), ω T, Q = ω Q T : T 14 K( Q, 1).
47 Put T 14 to be T 14 with the opposite orientation. The normal bundle ν T is stably isomorphic to the bundle (l 1)ζ T,+ ζ T, l ζ T,+ (we will put after l = 2 for the shortness). The bundle ζ T,+ is the 4-dimensional vector bundle defined as ζ T,+ = ω T,Q(ζ + ), ω T,Q = ω Q T : T 14 K(Q, 1). The bundle ζ T, is the 4-dimensional vector bundle defined as ζ T, = ω T,Q(ζ ).
48 The bundle ζ T,+ is the 4-dimensional vector bundle defined as ζ T,+ = ω T, Q (ζ +), ω T, Q = ω T, Q T : T 14 K( Q, 1).
49 Let us assume that Θ Z/5 (w) = 1.. Then the decomposition of the cycle ω Q Q, ([T ]) in the standard base of H 14 (Q Q; Z) involves the element u 7 v 7, where u 7 H 7 (K(Q, 1); Z) = Z/8, v 7 H 7 (K( Q, 1); Z) = Z/8 are the generators, H 7 (K(Q, 1); Z) H 7 (K( Q, 1); Z) H 14 (K(Q Q, 1); Z).
50 Let F = id id : T 14 T 14 T 14 be the standard degree 0 map. Let us consider the following homology class: ℵ = (ω Q Q F ) ([p 1 (ν T )] op + [p 1 (ν T )] op ]) H 10 (K(Q Q, 1); Z), where the upper index op stands for Poincaré dual.
51 Let us prove that ℵ involves the element 4u 3 v 7 H 3 (K(Q, 1); Z) H 7 (K( Q, 1); Z) H 10 (K(Q Q, 1); Z). Without loss of the generality we may assume that ω Q Q, ([T ]) = u 7 v 7 + xu 3 v , where x is an arbitrary integer. (For all last terms in this formula the characteristic class ℵ does not involve the element u 3 v 7 by the dimension reason). Under this assumption by the computation above we get: F ([p 1 (ν T )] op ) = 4u 3 v 7 + 4xu 3 v 7 + H 3 (K(Q, 1); Z) H 7 (K( Q, 1); Z) H 10 (K(Q Q, 1); Z), F ([p 1 (ν T )] op ) = 4xu 3 v
52 Therefore the first (normal) Pontrjagin class satisfy the equation: 0 4u 3 v 7 + = (ω Q Q F ) ([p 1 (ν T )] op + [p 1 (ν T )] op ]). In particular, F is not cobordant to zero. But the mapping F is cobordant to zero by definition. Contradiction. Therefore Θ Z/5 (w) = 0.
The 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 informationOn the non-existence of elements of Kervaire invariant one
On the non-existence of elements of Kervaire invariant one Michael University of Virginia ICM Topology Session, Seoul, Korea, 2014 Poincaré Conjecture & Milnor s Question Milnor s Questions How many smooth
More informationOxford 13 March Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall
Oxford 13 March 2017 Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall In 1956 Milnor amazed the world by giving examples of smooth manifolds homeomorphic but not diffeomorphic
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS On self-intersection of singularity sets of fold maps. Tatsuro SHIMIZU.
RIMS-1895 On self-intersection of singularity sets of fold maps By Tatsuro SHIMIZU November 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On self-intersection of singularity
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 informationExotic spheres and topological modular forms. Mark Behrens (MIT) (joint with Mike Hill, Mike Hopkins, and Mark Mahowald)
Exotic spheres and topological modular forms Mark Behrens (MIT) (joint with Mike Hill, Mike Hopkins, and Mark Mahowald) Fantastic survey of the subject: Milnor, Differential topology: 46 years later (Notices
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationA Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds
arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn
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 informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationNONNEGATIVE CURVATURE AND COBORDISM TYPE. 1. Introduction
NONNEGATIVE CURVATURE AND COBORDISM TYPE ANAND DESSAI AND WILDERICH TUSCHMANN Abstract. We show that in each dimension n = 4k, k 2, there exist infinite sequences of closed simply connected Riemannian
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationThe 3-primary Arf-Kervaire invariant problem University of Virginia
The 3-primary Arf-Kervaire invariant problem Mike Hill Mike Hopkins Doug Ravenel University of Virginia Harvard University University of Rochester Banff Workshop on Algebraic K-Theory and Equivariant Homotopy
More informationCLOSED (J-I)-CONNECTED (2J+1)-MANIFOLDS, s = 3, 7.
CLOSED (J-I)-CONNECTED (2J+1)-MANIFOLDS, s = 3, 7. DAVID L. WILKENS 1. Introduction This paper announces certain results concerning closed (s l)-connected (2s +1)- manifolds P, where s = 3 or 7. (Here
More informationREPRESENTATION THEORY WEEK 5. B : V V k
REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationAn introduction to cobordism
An introduction to cobordism Martin Vito Cruz 30 April 2004 1 Introduction Cobordism theory is the study of manifolds modulo the cobordism relation: two manifolds are considered the same if their disjoint
More 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 information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationBackground and history
lecture[1]browder's work on the Arf-Kervaire invariant problemlecture-text Browder s work on Arf-Kervaire invariant problem Panorama of Topology A Conference in Honor of William Browder May 10, 2012 Mike
More informationExotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017
Exotic spheres Overview and lecture-by-lecture summary Martin Palmer / 22 July 2017 Abstract This is a brief overview and a slightly less brief lecture-by-lecture summary of the topics covered in the course
More informationCharacteristic Classes, Chern Classes and Applications to Intersection Theory
Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2
More 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 informationON r-neighbourly SUBMANIFOLDS IN R N. Victor A. Vassiliev. 1. Introduction. Let M be a k-dimensional manifold, and r a natural number.
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 11, 1998, 273 281 ON r-neighbourly SUBMANIFOLDS IN R N Victor A. Vassiliev (Submitted by A. Granas) To Jürgen Moser
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
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 Classification of (n 1)-connected 2n-manifolds
The Classification of (n 1)-connected 2n-manifolds Kyler Siegel December 18, 2014 1 Prologue Our goal (following [Wal]): Question 1.1 For 2n 6, what is the diffeomorphic classification of (n 1)-connected
More informationOrientation transport
Orientation transport Liviu I. Nicolaescu Dept. of Mathematics University of Notre Dame Notre Dame, IN 46556-4618 nicolaescu.1@nd.edu June 2004 1 S 1 -bundles over 3-manifolds: homological properties Let
More informationarxiv: v1 [math.at] 25 Feb 2010
NON-FACTORISATION OF ARF-KERVAIRE CLASSES THROUGH RP RP arxiv:1002.4845v1 [math.at] 25 Feb 2010 VICTOR P. SNAITH Abstract. As an application of the upper triangular technology method of [8] it is shown
More informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized
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 informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More informationMath Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:
Math 132 - Topology II: Smooth Manifolds. Spring 2017. Homework 2 Solution Submit solutions to the following problems: 1. Let H = {a + bi + cj + dk (a, b, c, d) R 4 }, where i 2 = j 2 = k 2 = 1, ij = k,
More informationTopological rigidity for non-aspherical manifolds by M. Kreck and W. Lück
Topological rigidity for non-aspherical manifolds by M. Kreck and W. Lück July 11, 2006 Abstract The Borel Conjecture predicts that closed aspherical manifolds are topological rigid. We want to investigate
More informationSome examples of free actions on products of spheres
Topology 45 (2006) 735 749 www.elsevier.com/locate/top Some examples of free actions on products of spheres Ian Hambleton Department of Mathematics and Statistics, McMaster University, Hamilton, ON L8S
More informationOn Galois cohomology and realizability of 2-groups as Galois groups II. Author copy
Cent. Eur. J. Math. 9(6) 2011 1333-1343 DOI: 10.2478/s11533-011-0086-z Central European Journal of Mathematics On Galois cohomology and realizability of 2-groups as Galois groups II Research Article Ivo
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationIntroduction to surgery theory
Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory
More informationEXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B
EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B SEBASTIAN GOETTE, KIYOSHI IGUSA, AND BRUCE WILLIAMS Abstract. When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic,
More informationHOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE
HOMOTOPY THEORY OF THE SUSPENSIONS OF THE PROJECTIVE PLANE J. WU Abstract. The homotopy theory of the suspensions of the real projective plane is largely investigated. The homotopy groups are computed
More informationTRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap
TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationNORMAL VECTOR FIELDS ON MANIFOLDS1 W. S. MASSEY
NORMAL VECTOR FIELDS ON MANIFOLDS1 W. S. MASSEY 1. Introduction. Let Mn be a compact, connected, orientable, differentiable, «-dimensional manifold which is imbedded differentiably (without self intersections)
More informationGROUP ACTIONS AND THE SINGULAR SET by DANIEL H. GOTTLIEB and MURAD OZAYDIN
GROUP ACTIONS AND THE SINGULAR SET by DANIEL H. GOTTLIEB and MURAD OZAYDIN 1. Introduction Suppose a compact Lie group G is acting on a G CW complex X. Thesingular set X S consists of all points in X with
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 informationAPPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 18, 1993, 307 3 APPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES E. Bujalance, A.F. Costa, and D. Singerman Universidad
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
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 informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
More informationThe Kervaire invariant in homotopy theory
The Kervaire invariant in homotopy theory Mark Mahowald and Paul Goerss June 20, 2011 Abstract In this note we discuss how the first author came upon the Kervaire invariant question while analyzing the
More informationThe Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016
The Kervaire Invariant One Problem, Talk 0 (Introduction) Independent University of Moscow, Fall semester 2016 January 3, 2017 This is an introductory lecture which should (very roughly) explain what we
More informationTransverse geometry. consisting of finite sums of monomials of the form
Transverse geometry The space of leaves of a foliation (V, F) can be described in terms of (M, Γ), with M = complete transversal and Γ = holonomy pseudogroup. The natural transverse coordinates form the
More informationEXERCISES IN POISSON GEOMETRY
EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible
More informationMonomial equivariant embeddings of quasitoric manifolds and the problem of existence of invariant almost complex structures.
Monomial equivariant embeddings of quasitoric manifolds and the problem of existence of invariant almost complex structures. Andrey Kustarev joint work with V. M. Buchstaber, Steklov Mathematical Institute
More informationEXACT BRAIDS AND OCTAGONS
1 EXACT BRAIDS AND OCTAGONS Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Lewisfest, Dublin, 23 July 2009 Organized by Eva Bayer-Fluckiger, David Lewis and Andrew Ranicki. 2 3 Exact braids
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
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 informationPolynomial Hopf algebras in Algebra & Topology
Andrew Baker University of Glasgow/MSRI UC Santa Cruz Colloquium 6th May 2014 last updated 07/05/2014 Graded modules Given a commutative ring k, a graded k-module M = M or M = M means sequence of k-modules
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationHYPERKÄHLER MANIFOLDS
HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationStable complex and Spin c -structures
APPENDIX D Stable complex and Spin c -structures In this book, G-manifolds are often equipped with a stable complex structure or a Spin c structure. Specifically, we use these structures to define quantization.
More informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More informationBackground and history. Classifying exotic spheres. A historical introduction to the Kervaire invariant problem. ESHT boot camp.
A historical introduction to the Kervaire invariant problem ESHT boot camp April 4, 2016 Mike Hill University of Virginia Mike Hopkins Harvard University Doug Ravenel University of Rochester 1.1 Mike Hill,
More informationIntroduction to Modern Quantum Field Theory
Department of Mathematics University of Texas at Arlington Arlington, TX USA Febuary, 2016 Recall Einstein s famous equation, E 2 = (Mc 2 ) 2 + (c p) 2, where c is the speed of light, M is the classical
More informationSOME EXERCISES IN CHARACTERISTIC CLASSES
SOME EXERCISES IN CHARACTERISTIC CLASSES 1. GAUSSIAN CURVATURE AND GAUSS-BONNET THEOREM Let S R 3 be a smooth surface with Riemannian metric g induced from R 3. Its Levi-Civita connection can be defined
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics INVARIANTS OF GENERIC IMMERSIONS Tobias Ekholm Volume 199 No. 2 June 2001 PACIFIC JOURNAL OF MATHEMATICS Vol. 199, No. 2, 2001 INVARIANTS OF GENERIC IMMERSIONS Tobias Ekholm
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 informationPin Structures on Low dimensional Manifolds by R. C. Kirby 1 and L. R. Taylor 1. Introduction
Pin Structures on Low dimensional Manifolds by R. C. Kirby 1 and L. R. Taylor 1 Introduction Pin structures on vector bundles are the natural generalization of Spin structures to the case of nonoriented
More informationNON FORMAL COMPACT MANIFOLDS WITH SMALL BETTI NUMBERS
NON FORMAL COMPACT MANIFOLDS WITH SMALL BETTI NUMBERS MARISA FERNÁNDEZ Departamento de Matemáticas, Facultad de Ciencia y Tecnología, Universidad del País Vasco, Apartado 644, 48080 Bilbao, Spain E-mail:
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationInvariance of tautological equations
Invariance of tautological equations Y.-P. Lee 28 June 2004, NCTS An observation: Tautological equations hold for any geometric Gromov Witten theory. Question 1. How about non-geometric GW theory? e.g.
More informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationHOMOTOPICALLY EQUIVALENT SMOOTH MANIFOLDS. I
HOMOTOPICALLY EQUIVALET SMOOTH MAIFOLDS. I S. P. OVIKOV In this paper we introduce a method for the investigation of smooth simply connected manifolds of dimension n 5 that permits a classification of
More informationCYCLES, SUBMANIFOLDS, AND STRUCTURES ON NORMAL BUNDLES
CYCLES, SUBMANIFOLDS, AND STRUCTURES ON NORMAL BUNDLES C. BOHR, B. HANKE, AND D. KOTSCHICK Abstract. We give explicit examples of degree 3 cohomology classes not Poincaré dual to submanifolds, and discuss
More informationQuasi Riemann surfaces II. Questions, comments, speculations
Quasi Riemann surfaces II. Questions, comments, speculations Daniel Friedan New High Energy Theory Center, Rutgers University and Natural Science Institute, The University of Iceland dfriedan@gmail.com
More informationarxiv: v2 [math.gt] 26 Sep 2013
HOMOLOGY CLASSES OF NEGATIVE SQUARE AND EMBEDDED SURFACES IN 4-MANIFOLDS arxiv:1301.3733v2 [math.gt] 26 Sep 2013 M. J. D. HAMILTON ABSTRACT. Let X be a simply-connected closed oriented 4-manifold and A
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationThe coincidence Nielsen number for maps into real projective spaces
F U N D A M E N T A MATHEMATICAE 140 (1992) The coincidence Nielsen number for maps into real projective spaces by Jerzy J e z i e r s k i (Warszawa) Abstract. We give an algorithm to compute the coincidence
More informationRemarks on the Milnor number
José 1 1 Instituto de Matemáticas, Universidad Nacional Autónoma de México. Liverpool, U. K. March, 2016 In honour of Victor!! 1 The Milnor number Consider a holomorphic map-germ f : (C n+1, 0) (C, 0)
More informationClassification of (n 1)-connected 2n-dimensional manifolds and the discovery of exotic spheres
Classification of (n 1)-connected 2n-dimensional manifolds and the discovery of exotic spheres John Milnor At Princeton in the fifties I was very much interested in the fundamental problem of understanding
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationWild ramification and the characteristic cycle of an l-adic sheaf
Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle
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 informationTHE TOTAL SURGERY OBSTRUCTION III
THE TOTAL SURGERY OBSTRUCTION III TIBOR MACKO Abstract. The total surgery obstruction s(x) of a finite n-dimensional Poincaré complex X is an element of a certain abelian group S n(x) with the property
More informationTwisted Projective Spaces and Linear Completions of some Partial Steiner Triple Systems
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 49 (2008), No. 2, 341-368. Twisted Projective Spaces and Linear Completions of some Partial Steiner Triple Systems Ma lgorzata
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationTHE EULER CLASS OF A SUBSET COMPLEX
THE EULER CLASS OF A SUBSET COMPLEX ASLI GÜÇLÜKAN AND ERGÜN YALÇIN Abstract. The subset complex (G) of a finite group G is defined as the simplicial complex whose simplices are nonempty subsets of G. The
More informationNOTES ON THE DEGREE FORMULA
NOTES ON THE DEGREE FORMULA MARKUS ROST The major aim of this text is to provide a proof of Remark 10.4 in [1]. I am indebted to A. Suslin for helpful and encouraging comments. 1. The invariants ρ i Let
More information