### November 27, 2006

1991 Mathematics Subject Classification. Primary 57S05. Secondary 53D35.The author is partially supported by the Turkish Academy of Sciences (TUBA-GEBIP-2004-17).
<ph f="cmbx">Trace Homomorphism for Smooth Manifolds</ph>

### Yıldıray Ozan

Department of Mathematics, Middle East Technical University, 06531 Ankara, Turkey E-mail address : ozan@metu.edu.tr
• Abstract. Let $M$  be a closed connected smooth manifold and $G={\text{Diff}}_{0}\left(M\right)$  denote the connected component of the diffeomorphism group of $M$  containing the identity. The natural action of $G$  on $M$  induces the trace homomorphism on homology. We show that the image of trace homomorphism is annihilated by the subalgebra of the cohomology ring of $M$  , generated by the characteristic classes of $M$  . Analogously, if $J$  is an almost complex structure on $M$  and $G$  denotes the identity component of the group of diffeomorphisms of $M$  preserving $J$  then the image of the corresponding trace homomorphism is annihilated by subalgebra generated by the Chern classes of $\left(M,J\right)$  .
1

1 Introduction and the results

Let $G$  be any topological group acting on a topological space $X$  and $\mathit{R}$  any commutative ring. We define the trace homomorphism, ${H}_{k}\left(G,\mathit{R}\right)×{\mathit{H}}_{\mathit{l}}\left(\mathit{X},\mathit{R}\right)\stackrel{\mathit{t}{\mathit{r}}_{*}}{\to }{\mathit{H}}_{\mathit{k}+\mathit{l}}\left(\mathit{X},\mathit{R}\right),$  corresponding to this action as follows: if $\phi :U\to G$  and $\sigma :A\to X$  are cycles in $G$  and $X$  of degrees $k$  and $l$  representing classes $\upsilon$  , $\alpha$  , respectively, let $t{r}_{*}\left(\upsilon ,\alpha \right)$  be the class represented by the homology cycle $\left(u,a\right)↦\phi \left(u\right)\left(a\right)$  , $\left(u,a\right)\in U×A$  . In 2003, it is proved in [1, 2that the trace homomorphism of the Hamiltonian group of a closed symplectic manifold $\left(M,\omega \right)$  on the rational homology of $M$  , ${H}_{k}\left(\text{Ham}\left(M,\omega \right),\mathbb{Q}\right)×{H}_{l}\left(M,\mathbb{Q}\right)\stackrel{t{r}_{*}}{\to }{H}_{k+l}\left(M,\mathbb{Q}\right),$  is trivial, for $k\ge 1$  . Inspired by this result we prove the following smooth analog:
Theorem 1.1. Let $M$  be a closed connected smooth manifold and $\mathit{R}$  denote the either field ${\mathbb{Z}}_{2}$  or $\mathbb{Q}$  . Also let $P$  denote the subalgebra of the cohomology algebra ${H}^{*}\left(M,\mathit{R}\right)$  , generated by the Stiefel-Whitney classes ${w}_{i}\left(M\right)$  , if $\mathit{R}={\mathbb{Z}}_{2}$  , and the subalgebra generated by the Pontryagin classes ${p}_{i}\left(M\right)$  and the Euler class $e\left(M\right)$  , if $\mathit{R}=\mathbb{Q}$  . If ${\text{Diff}}_{0}\left(M\right)$  denotes the connected component of the diffeomorphism group of $M$  containing the identity then the image of the trace homomorphism ${H}_{k}\left({\text{Diff}}_{0}\left(M\right),\mathit{R}\right)×{\mathit{H}}_{\mathit{l}}\left(\mathit{M},\mathit{R}\right)\stackrel{\mathit{t}{\mathit{r}}_{*}}{\to }{\mathit{H}}_{\mathit{k}+\mathit{l}}\left(\mathit{M},\mathit{R}\right)$  is in the annihilator of $P$  , provided that $k\ge 1$  .
The proof of the above result yields immediately the following almost complex analog:
Theorem 1.2. Assume that $M$  is a closed connected smooth manifold and $J$  is an almost complex structure on $M$  . Let $P$  denote the subalgebra of the cohomology algebra ${H}^{*}\left(M,\mathbb{Q}\right)$  , generated by the Chern classes ${c}_{i}\left(M\right)$  . If ${\text{Diff}}_{0}\left(M,J\right)$  denotes the identity component of the group of diffeomorphisms of $M$  preserving $J$  , then the image of the trace homomorphism ${H}_{k}\left({\text{Diff}}_{0}\left(M,J\right),\mathbb{Q}\right)×{H}_{l}\left(M,\mathbb{Q}\right)\stackrel{t{r}_{*}}{\to }{H}_{k+l}\left(M,\mathbb{Q}\right)$  is in the annihilator of $P$  , provided that $k\ge 1$  .

1.1 Trace homomorphism on cohomology

For $\mathit{R}={\mathbb{Z}}_{2}$  or $\mathbb{Q}$  we have ${H}^{p}\left(M,\mathit{R}\right)=\text{Hom}\left({\mathit{H}}_{\mathit{p}}\left(\mathit{M},\mathit{R}\right),\mathit{R}\right)$  and using this duality we may define trace homomorphism in cohomology: Let $u\in {H}_{k}\left({\text{Diff}}_{0}\left(M\right),\mathit{R}\right)$  and define $t{r}_{u}^{*}:{H}^{p}\left(M,\mathit{R}\right)\to {\mathit{H}}^{\mathit{p}-\mathit{k}}\left(\mathit{M},\mathit{R}\right)$  by the formula $a↦t{r}_{u}^{*}\left(a\right)$  , $a\in {H}^{p}\left(M,\mathit{R}\right)$  , where $t{r}_{u}^{*}\left(a\right):{H}_{p-k}\left(M,\mathit{R}\right)\to \mathit{R},\mathit{t}{\mathit{r}}_{\mathit{u}}^{*}\left(\mathit{a}\right)\left(\alpha \right)=\mathit{a}\left(\mathit{t}{\mathit{r}}_{*}\left(\mathit{u},\alpha \right)\right),\alpha \in {\mathit{H}}_{\mathit{p}-\mathit{k}}\left(\mathit{M},\mathit{R}\right).$  Hence, the conclusions of Theorem  1.1 and of Theorem  1.2 can be written as $t{r}_{u}^{*}\left(P\right)=0$  , for all $u\in {H}_{k}\left({\text{Diff}}_{0}\left(M\right)\right)$  , $k\ge 1$  .
Suppose that $u\in {H}_{k}\left({\text{Diff}}_{0}\left(M\right),\mathit{R}\right)$  is a spherical class. Using any cycle representing $u$  we can build a fiber bundle $M\to E\to {S}^{k+1}$  , such that the connecting homomorphism in the Wang sequence corresponding to this bundle is nothing but the trace homomorphism:
$\to {H}^{p-1}\left(E,\mathit{R}\right)\to {\mathit{H}}^{\mathit{p}-1}\left(\mathit{M},\mathit{R}\right)\stackrel{\mathit{t}{\mathit{r}}_{\mathit{u}}^{*}}{\to }{\mathit{H}}^{\mathit{p}-\mathit{k}-1}\left(\mathit{M},\mathit{R}\right)\to {\mathit{H}}^{\mathit{p}}\left(\mathit{E},\mathit{R}\right)\to$  It is well known that the connecting homomorphism in the Wang sequence is a derivation of degree $k$  ([3). In other words, for any $x,y\in {H}^{*}\left(M,\mathit{R}\right)$  , $t{r}_{u}^{*}\left(xy\right)=t{r}_{u}^{*}\left(x\right)y+\left(-1{\right)}^{kdeg\left(x\right)}xt{r}_{u}^{*}\left(y\right).$  On the other hand, for general $u$  , since ${\text{Diff}}_{0}\left(M\right)$  is an $H$  -space any rational homology class $u$  is a product of spherical classes (cf.
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}\left(M\right),\mathbb{Q}\right)$  , $k>0$  . For cohomology classes $x,y\in {H}^{*}\left(M,\mathbb{Q}\right)$  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)  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}\left(M\right),\mathbb{Q}\right)\to {hom}_{P}\left({H}^{*}\left(M,\mathbb{Q}\right),{H}^{*-k}\left(M,\mathbb{Q}\right)\right)$  is a homomorphism, where we regard ${H}^{*}\left(M,\mathbb{Q}\right)$  as a right module over its subalgebra $P$  and ${hom}_{P}\left({H}^{*}\left(M,\mathbb{Q}\right),{H}^{*-k}\left(M,\mathbb{Q}\right)$  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 $\left(M,J\right)$  and $u$  belongs to ${H}_{k}\left({\text{Diff}}_{0}\left(M,J\right),\mathit{R}\right)$  . Assume that $\left(M,\omega \right)$  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 \left[\omega {\right]}^{r}:{H}^{n-r}\left(M,\mathbb{C}\right)\to {H}^{n+r}\left(M,\mathbb{C}\right)$  is an isomorphism for any $r\ge 0$  . So, if $b\in {H}^{n+r}\left(M,\mathbb{C}\right)$  then $b=a\left[\omega {\right]}^{r}$  for some $a\in {H}^{n-r}\left(M,\mathbb{C}\right)$  and hence $t{r}_{u}^{*}\left(b\right)=t{r}_{u}^{*}\left(a\left[\omega {\right]}^{r}\right)=t{r}_{u}^{*}\left(a\right)\left[\omega {\right]}^{r}.$  In particular, $t{r}_{u}^{*}\left(\left[\omega {\right]}^{r}\right)=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 \left(v\cdot g\right)=\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 G-equivariant 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×G\to M,\left(a,g\right)↦\sigma \left(a\right)\cdot g,\text{for all}\left(a,g\right)\in A×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×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×G$  is $G$  -equivariant. Since the $G$  -action on the base space $A×G$  is free this bundle is induced from the quotient bundle $t{r}^{*}\left({T}_{*}M\right)/G\to \left(A×G\right)/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}\left(A,\mathit{R}\right)$  . However, ${H}^{k+l}\left(A,\mathit{R}\right)=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

1. F. Lalonde, D. McDuff, Symplectic structures on fiber bundles, Topology 42 (2003) 309-347.
2. F. Lalonde, D. McDuff, L. Polterovich, Topological rigidity of Hamiltonian loops and Quantum homology, Invent. Math. 135 (1999) 369-385.
3. G. W. Whitehead, Elements of Homotpy Theory, 3rd Edition, Springer-Verlag, New York, 1995, pp.319.

Department of Mathematics, Middle East Technical University, 06531 Ankara, Turkey E-mail address : ozan@metu.edu.tr