• Aucun résultat trouvé

Deduce that∩makesS∗(X) into a leftS∗(X)-module andH∗(X) into a left H∗(X)-module

N/A
N/A
Protected

Academic year: 2022

Partager "Deduce that∩makesS∗(X) into a leftS∗(X)-module andH∗(X) into a left H∗(X)-module"

Copied!
1
0
0

Texte intégral

(1)

EXERCISES FOR TOPOLOGY III, WS05/06 Sheet 7, December 1st 2005

Solutions due on Thursday, 8th of December.

Exercise 7.1.

(a)Let∩:S(X)⊗RS(X)→S(X) be defined as∩= (1⊗h−,−i)◦ (AW∆)⊗1 , and assume that the cup product on the cochains level is also defined using AW.

Prove that if σ ∈Sp+q(X), α ∈Sp(X) and β ∈Sq(X), then the formula hβ, σ∩αi=hβ∪α, σi

holds. Deduce that∩makesS(X) into a leftS(X)-module andH(X) into a left H(X)-module. State and prove the corresponding results for relative homology and cohomology.

(b) Show that for any z ∈Hp+q(X, A) the diagram Hp(X, A) //

z∩−

Hp(X)

z∩−

Hq(X) // Hq(X, A) is commutative

Exercise 7.2. Let X = Sn1 × · · · ×Snk for k > 1 and nj > 1. Let Mg be the orientable surface of genusg. Compute

(a) H(X;Z) as a module over H(X;Z), (b) H(Mg;Z) as a module over H(Mg;Z),

(c) H(RPn;F2) as a module over H(RPn;F2), and (d) H(CPn;Z) as a module over H(CPn;Z).

For all these cases, deduce that ifm is maximal such that Hm is non-zero, then Hm is free of rank one on a generatorz andz∩ −:Hk →Hm−k is an isomorphism for any k. Show that the space in question is a compact topological manifold of dimension m.

Exercise 7.3. Let n>1. Show that RPn is Z-orientable if and only if n is odd.

Exercise 7.4. Show that R-orientations of a topological manifold M are in 1-1 correspondence with sections s∈Γ(M) such that s(M)⊂ε−1(1).

Typeset byAMS-TEX

1

Références

Documents relatifs

Cette limite dépend de a, mais pas de x, variable « consommée » lors. du passage à

Let us recall that a space is locally compact if each neighbourhood of a point x contains a compact neighbourhood. (Notice that the product of two locally compact spaces is

[r]

[r]

[r]

Pour montrer que cette conjecture est toujours vraie, on désigne le premier des quatre entiers par la lettre n.. Exprime alors les

Pour montrer que cette conjecture est toujours vraie, on désigne le premier des quatre entiers par la lettre n.. Exprime alors les

According to the idea of a paper [20], one can construct irreducible nonlocal representations of the group of measurable G-valued func- tions on X, G being a Lie