Petrie conjecture

(Difference between revisions)
Jump to: navigation, search
Line 3: Line 3:
The Petrie conjecture was formulated in the following context: suppose that a Lie group $G$ acts smoothly on a closed smooth manifold $M$, what constraints does this place on the topology of $M$ in general and on the Pontrjagin classes of $M$ in particular.
The Petrie conjecture was formulated in the following context: suppose that a Lie group $G$ acts smoothly on a closed smooth manifold $M$, what constraints does this place on the topology of $M$ in general and on the Pontrjagin classes of $M$ in particular.
Petrie {\cite|Petrie1972} restricted his attention to smooth actions of the Lie group $S^1$ (or more generally, the torus $T^k$ for $k \geq 1$) on manifolds $M$ which are [[Fake complex projective spaces|homotopy equivalent to $\CP^n$]]. He has formulated the following conjecture.
+
Petrie restricted his attention to smooth actions of the Lie group $S^1$ {{cite|Petrie1972}}} (or more generally, the torus $T^k$ for $k \geq 1$ {{cite|Petrie1973}}}) on manifolds $M$ which are [[Fake complex projective spaces|homotopy equivalent to $\CP^n$]]. He has formulated the following conjecture.
{{beginthm|Conjecture|{{cite|Petrie1972}}}}
{{beginthm|Conjecture|{{cite|Petrie1972}}}}

Revision as of 03:35, 30 November 2010

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

1 Introduction

The Petrie conjecture was formulated in the following context: suppose that a Lie group G acts smoothly on a closed smooth manifold M, what constraints does this place on the topology of M in general and on the Pontrjagin classes of M in particular.

Petrie restricted his attention to smooth actions of the Lie group S^1 [Petrie1972]} (or more generally, the torus T^k for k \geq 1 [Petrie1973]}) on manifolds M which are homotopy equivalent to \CP^n. He has formulated the following conjecture.

Conjecture 0.1 [Petrie1972]. Suppose that M is a closed smooth manifold homotopy equivalent to \CP^n and that S^1 acts effectively on M. Then the total Pontrjagin class of M agrees with that of \CP^n, i.e., p(M) = (1+x^2)^{n+1} for a generato x \in H^2(M; \mathbb{Z}).

2 References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox