Dold manifold

From Manifold Atlas
(Difference between revisions)
Jump to: navigation, search
(Invariants)
m
Line 1: Line 1:
<!-- COMMENT:
To achieve a unified layout, along with using the template below, please OBSERVE the following: besides, $...$ and $$...$$, you should use two environments:
- For statements like Theorem, Lemma, Definition etc., use e.g.
{{beginthm|Theorem 1|(Milnor)}} ... ... ... {{endthm}}.
- For references, use e.g. {{cite|Milnor1958b}}.
END OF COMMENT
-->
{{Stub}}
{{Stub}}
== Introduction ==
== Introduction ==

Latest revision as of 14:20, 20 July 2017

This page has not been refereed. The information given here might be incomplete or provisional.

Contents

[edit] 1 Introduction

A Dold manifold is a manifold of the form

\displaystyle  P(m,n):= (S^m \times \mathbb {CP}^n)/\tau,
where m>0, and the involution \tau sends (x,[y]) to (-x, [\bar y]) where \bar y = (\bar y_0,...,\bar y_n) for y =(y_0,...y_n).


Dold used these manifolds in [Dold1956] as generators for the unoriented bordism ring.

[edit] 2 Construction and examples

...

[edit] 3 Invariants

The fibre bundle p:P(m,n) \to \mathbb {RP}^m has a section s([x])  := [(x,[1,...,1])] and we consider the cohomology classes (always with \mathbb Z/2-coefficients)

\displaystyle  c:= p^*(x) \in H^1(P(m,n)),

where x is a generator of H^1(\mathbb {RP}^m), and

\displaystyle  d \in H^2(P(m,n)),

which is characterized by the property that the restriction to a fibre is non-trivial and s^*(d)=0.

Theorem [Dold1956] 3.1. The classes c \in  H^1(P(m,n)) and d\in H^2(P(m,n)) generate H^*(P(m,n);\mathbb Z/2) with only the relations

\displaystyle  c^{m+1} =0

and

\displaystyle  d^{n+1} =0.

The Steenrod squares act by

\displaystyle  Sq^0 =id, \,\, Sq^1(c) = c^2,\,\, Sq^1(d) = cd,\,\, Sq^2(d) =d^2,

and all other Squares Sq^i act trivially on c and d. On the decomposable classes the action is given by the Cartan formula.

The total Stiefel-Whitney class of the tangent bundle is

\displaystyle  w(P(m,n)) = (1+c)^{m}(1+c+d)^{n+1}.

[edit] 4 Classification/Characterization

...

[edit] 5 Further discussion

...

[edit] 6 References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox