see Section 5 of [
1]
) and therefore
$t{r}_{u}$
is the composition of the trace homomorphisms corresponding to the spherical factors of
$u$
. Hence, we obtain the following result:
Proposition 1.3.
Let
$u\in {H}_{k}\left({\text{Diff}}_{0}\right(M),\mathbb{Q})$
,
$k>0$
. For cohomology classes
$x,y\in {H}^{*}(M,\mathbb{Q})$
such that
$y\in P$
(hence
$t{r}_{u}^{*}\left(y\right)=0$
) we have
$t{r}_{u}^{*}\left(xy\right)=t{r}_{u}^{*}\left(x\right)y$
. Moreover, if
$deg\left(x\right)<k$
then
$t{r}_{u}^{*}\left(xy\right)=0$
.
The above proposition yields the following corollary:
Corollary 1.4.
The natural map
$$t{r}^{*}:{H}_{k}\left({\text{Diff}}_{0}\right(M),\mathbb{Q})\to {hom}_{P}\left({H}^{*}\right(M,\mathbb{Q}),{H}^{*k}(M,\mathbb{Q}\left)\right)$$
is a homomorphism, where we regard
${H}^{*}(M,\mathbb{Q})$
as a right module over its subalgebra
$P$
and
${hom}_{P}\left({H}^{*}\right(M,\mathbb{Q}),{H}^{*k}(M,\mathbb{Q})$
denotes the group of
$P$
modulo homomorphisms.
Example 1.5.
Let
$u$
be as in the complex analog of the above proposition, where
$P$
is generated by the Chern classes of the almost complex manifold
$(M,J)$
and
$u$
belongs to
${H}_{k}\left({\text{Diff}}_{0}\right(M,J),\mathit{R})$
. Assume that
$(M,\omega )$
is a monotone closed symplectic manifold of dimension
$2n$
. So
$\left[\omega \right]$
is a multiple of
${c}_{1}\left(M\right)$
and hence it is in
$P$
. Assume further that
$M$
has the Hard Lefschetz Property, i.e.,
$$\cup [\omega {]}^{r}:{H}^{nr}(M,\mathbb{C})\to {H}^{n+r}(M,\mathbb{C})$$
is an isomorphism for any
$r\ge 0$
. So, if
$b\in {H}^{n+r}(M,\mathbb{C})$
then
$b=a[\omega {]}^{r}$
for some
$a\in {H}^{nr}(M,\mathbb{C})$
and hence
$$t{r}_{u}^{*}\left(b\right)=t{r}_{u}^{*}\left(a\right[\omega {]}^{r})=t{r}_{u}^{*}(a\left)\right[\omega {]}^{r}.$$
In particular,
$t{r}_{u}^{*}\left(\right[\omega {]}^{r})=0$
. It follows that, if
$k>n$
then
$t{r}_{u}^{*}=0$
.
2 Proof of the Theorem
To prove the above results we need to recall the definition and some basic properties of equivariant bundles: Let
$G$
be any Lie group and
$F\to E\stackrel{\pi}{\to}B$
a fiber bundle. If
$G$
acts on both
$E$
and
$B$
such that the projection map
$\pi $
is
$G$
equivariant; i.e.,
$\pi (v\cdot g)=\pi \left(v\right)\cdot g$
, for all
$g\in G$
and
$v\in E$
, we say that the bundle is
$G$
equivariant. Note that if
$X$
is also a
$G$
space and
$f:X\to B$
is a
$G$
equivariant map then the pullback bundle has an induced
$G$
equivariant structure.
Example 2.1.
i) Let
$F\to E\stackrel{\pi}{\to}B$
be a Gequivariant fiber bundle, where the action of
$G$
on
$B$
, and hence on
$E$
, is free.
Taking quotients of both the total space and the base by
$G$
, we get another fiber bundle
$F\to E/G\stackrel{\stackrel{~}{\pi}}{\to}B/G$
, whose pullback via the quotient map
$p:B\to B/G$
is isomorphic to the bundle
$F\to E\stackrel{\pi}{\to}B$
.
ii) Let
$M$
be a smooth manifold. Since any diffeomorphism of
$M$
,
$\phi :M\to M$
, extends to the tangent bundle
${\phi}_{*}:{T}_{*}M\to {T}_{*}M$
, we see that the tangent bundle is
$\text{Diff}\left(M\right)$
equivariant, where
$\text{Diff}\left(M\right)$
is the group of all diffeomorphisms of
$M$
.

Proof of Theorem 1.1 .
Let
$G$
denote the group
${\text{Diff}}_{0}\left(M\right)$
, the group of diffeomorphism of
$M$
isotopic to the identity, and
$\sigma :A\to M$
be a cycle in
$M$
representing any given class
$\alpha $
of degree
$l$
. Since the base field is either
${\mathbb{Z}}_{2}$
or
$\mathbb{Q}$
we may assume that
$A$
is a closed smooth manifold and
$\sigma :A\to M$
is a smooth map. Consider the trace map
$$tr:A\times G\to M,(a,g)\mapsto \sigma \left(a\right)\cdot g,\text{for all}(a,g)\in A\times G.$$
To prove the theorem it suffices to show that
$t{r}^{*}\left(v\right)=0$
, for any
$v\in P$
of degree
$l+k$
.
Note that
$G$
acts on
$A\times G$
by right multiplication on the second factor, which makes the trace map
$G$
equivariant. By the above example the tangent bundle
${T}_{*}M\to M$
is
$G$
equivariant and hence the pullback bundle
$t{r}^{*}\left({T}_{*}M\right)\to A\times G$
is
$G$
equivariant. Since the
$G$
action on the base space
$A\times G$
is free this bundle is induced from the quotient bundle
$t{r}^{*}\left({T}_{*}M\right)/G\to (A\times G)/G$
, which is isomorphic to
${\sigma}^{*}\left({T}_{*}M\right)\to A$
.
In particular, by the naturality of characteristic classes
$t{r}^{*}\left(v\right)$
is the pullback of a class in
${H}^{k+l}(A,\mathit{R})$
. However,
${H}^{k+l}(A,\mathit{R})=0$
, because
$A$
is
$l$
dimensional and
$k\ge 1$
. Hence,
$t{r}^{*}\left(v\right)=0$
and the proof finishes. □
Note that the above proof works also for Theorem 1.2 .
Acknowledgment
The author would like to thank Dusa McDuff for pointing out some errors in the earlier version of the article.
References

F. Lalonde, D. McDuff, Symplectic structures on fiber bundles, Topology 42 (2003) 309347.

F. Lalonde, D. McDuff, L. Polterovich, Topological rigidity of Hamiltonian loops and Quantum homology, Invent. Math. 135 (1999) 369385.

G. W. Whitehead, Elements of Homotpy Theory, 3rd Edition, SpringerVerlag, New York, 1995, pp.319.
Department of Mathematics, Middle East Technical University, 06531 Ankara, Turkey Email address : ozan@metu.edu.tr