Novikov Conjecture

(Difference between revisions)
Jump to: navigation, search
(Introduction)
(Introduction)
Line 3: Line 3:
== Introduction ==
== Introduction ==
<wikitex>;
<wikitex>;
Let $M$ be a closed oriented $n$-dimensional smooth manifold with a map $f : M \to B\pi$ for some discrete group $\pi$ and let $\alpha \in H^{n-4*}(B\pi; \Qq)$ be a rational cohomology class. The higher signature of $M$ define by $(f, \alpha)$ is the rational number
+
Let $M$ be a closed oriented $n$-dimensional smooth manifold with a map $f : M \to B\pi$ for some discrete group $\pi$ and let $\alpha \in H^{n-4*}(B\pi; \Qq)$ be a rational cohomology class. The ''higher signature'' of $M$ defined by $(f, \alpha)$ is the rational number
$$ \sigma_\alpha(M, f) = \langle L_M \cup f^*\alpha, [M] \rangle \in \Qq $$
$$ \sigma_\alpha(M, f) = \langle L_M \cup f^*\alpha, [M] \rangle \in \Qq $$
where $L_M \in H^{4*}(M; \Qq)$ is the Hirzebruch L-class of $M$. Let $h: N \to M$ be a homotopy equivalence of closed oriented smooth manifolds. The '''Novikov conjecture''' states
where $L_M \in H^{4*}(M; \Qq)$ is the Hirzebruch L-class of $M$. Let $h: N \to M$ be a homotopy equivalence of closed oriented smooth manifolds. The '''Novikov conjecture''' states
$$ \sigma_\alpha(N, f \circ h) = \sigma_\alpha(M, f).$$
+
$$ \sigma_\alpha(N, f \circ h) = \sigma_\alpha(M, f)$$
+
for all $\pi$, $f$, $\alpha$ and $h : N \to M$. For the trivial group $\pi$ the conjecture is true by Hirzebruch's signature theorem.
The original 1969 statement of the Novikov conjecture may be found in \cite{Novikov1970} and \cite{Novikov1970a}: a history and survey including the original statement in Russian with a translation into English may be found in \cite{Ferry&Ranicki&Rosenberg1995b}. In the last 40 years the Novikov conjecture and the related conjectures of Borel and Farrell-Hsiang have been the subject of a great deal of research. In \cite{Novikov2010} Novikov described how he came to formulate the conjecture.
The original 1969 statement of the Novikov conjecture may be found in \cite{Novikov1970} and \cite{Novikov1970a}: a history and survey including the original statement in Russian with a translation into English may be found in \cite{Ferry&Ranicki&Rosenberg1995b}. In the last 40 years the Novikov conjecture and the related conjectures of Borel and Farrell-Hsiang have been the subject of a great deal of research. In \cite{Novikov2010} Novikov described how he came to formulate the conjecture.

Revision as of 14:52, 6 October 2010

This page is under development. Please come back soon.

Contents

1 Introduction

Let M be a closed oriented n-dimensional smooth manifold with a map f : M \to B\pi for some discrete group \pi and let \alpha \in H^{n-4*}(B\pi; \Qq) be a rational cohomology class. The higher signature of M defined by (f, \alpha) is the rational number

\displaystyle  \sigma_\alpha(M, f) = \langle L_M \cup f^*\alpha, [M] \rangle \in \Qq

where L_M \in H^{4*}(M; \Qq) is the Hirzebruch L-class of M. Let h: N \to M be a homotopy equivalence of closed oriented smooth manifolds. The Novikov conjecture states

\displaystyle  \sigma_\alpha(N, f \circ h) = \sigma_\alpha(M, f)

for all \pi, f, \alpha and h : N \to M. For the trivial group \pi the conjecture is true by Hirzebruch's signature theorem.

The original 1969 statement of the Novikov conjecture may be found in [Novikov1970] and [Novikov1970a]: a history and survey including the original statement in Russian with a translation into English may be found in [Ferry&Ranicki&Rosenberg1995b]. In the last 40 years the Novikov conjecture and the related conjectures of Borel and Farrell-Hsiang have been the subject of a great deal of research. In [Novikov2010] Novikov described how he came to formulate the conjecture.

2 Background

The following is a list of useful sources about the Novikov Conjecture.

[Novikov1970]

[Novikov1970a]

[Ferry&Ranicki&Rosenberg1995]

[Ferry&Ranicki&Rosenberg1995a]

[Ranicki1995]

[Novikov2010]

3 References


4 External links

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox