, , November 27, 2006

Let

G

be any topological group acting on a topological space

X

and

R

any commutative ring. We define the trace homomorphism,

H_{k} (G, R) \times H_{l} (X, R) \overset{t r_{*}}{\to} H_{k + l} (X, R),

corresponding to this action as follows: if

φ : U \to G

and

σ : A \to X

are cycles in

G

and

X

of degrees

k

and

l

representing classes

υ

α

, respectively, let

t r_{*} (υ, α)

be the class represented by the homology cycle

(u, a) \mapsto φ (u) (a)

(u, a) \in U \times A

. In 2003, it is proved in [1, 2] that the trace homomorphism of the Hamiltonian group of a closed symplectic manifold

(M, ω)

on the rational homology of

M

H_{k} (Ham (M, ω), Q) \times H_{l} (M, Q) \overset{t r_{*}}{\to} H_{k + l} (M, Q),

is trivial, for

k \geq 1

. Inspired by this result we prove the following smooth analog:

Theorem 1.1. Let

M

be a closed connected smooth manifold and

R

denote the either field

Z_{2}

Q

. Also let

P

denote the subalgebra of the cohomology algebra

H^{*} (M, R)

, generated by the Stiefel-Whitney classes

w_{i} (M)

, if

R = Z_{2}

, and the subalgebra generated by the Pontryagin classes

p_{i} (M)

and the Euler class

e (M)

, if

R = Q

. If

{Diff}_{0} (M)

denotes the connected component of the diffeomorphism group of

M

containing the identity then the image of the trace homomorphism

H_{k} ({Diff}_{0} (M), R) \times H_{l} (M, R) \overset{t r_{*}}{\to} H_{k + l} (M, R)

is in the annihilator of

P

, provided that

k \geq 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^{*} (M, Q)

, generated by the Chern classes

c_{i} (M)

. If

{Diff}_{0} (M, J)

denotes the identity component of the group of diffeomorphisms of

M

preserving

J

, then the image of the trace homomorphism

H_{k} ({Diff}_{0} (M, J), Q) \times H_{l} (M, Q) \overset{t r_{*}}{\to} H_{k + l} (M, Q)

is in the annihilator of

P

, provided that

k \geq 1

1.1 Trace homomorphism on cohomology

For

R = Z_{2}

Q

we have

H^{p} (M, R) = Hom (H_{p} (M, R), R)

and using this duality we may define trace homomorphism in cohomology: Let

u \in H_{k} ({Diff}_{0} (M), R)

and define

t r_{u}^{*} : H^{p} (M, R) \to H^{p - k} (M, R)

by the formula

a \mapsto t r_{u}^{*} (a)

a \in H^{p} (M, R)

, where

t r_{u}^{*} (a) : H_{p - k} (M, R) \to R, t r_{u}^{*} (a) (α) = a (t r_{*} (u, α)), α \in H_{p - k} (M, R) .

Hence, the conclusions of Theorem 1.1 and of Theorem 1.2 can be written as

t r_{u}^{*} (P) = 0

, for all

u \in H_{k} ({Diff}_{0} (M))

k \geq 1

Suppose that

u \in H_{k} ({Diff}_{0} (M), R)

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} (E, R) \to H^{p - 1} (M, R) \overset{t r_{u}^{*}}{\to} H^{p - k - 1} (M, R) \to H^{p} (E, R) \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^{*} (M, R)

t r_{u}^{*} (x y) = t r_{u}^{*} (x) y + (- 1)^{k deg (x)} x t r_{u}^{*} (y) .

On the other hand, for general

u

, since

{Diff}_{0} (M)

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} ({Diff}_{0} (M), Q)

k > 0

. For cohomology classes

x, y \in H^{*} (M, Q)

such that

y \in P

(hence

t r_{u}^{*} (y) = 0

) we have

t r_{u}^{*} (x y) = t r_{u}^{*} (x) y

. Moreover, if

deg (x) < k

then

t r_{u}^{*} (x y) = 0

The above proposition yields the following corollary:

Corollary 1.4. The natural map

t r^{*} : H_{k} ({Diff}_{0} (M), Q) \to {hom}_{P} (H^{*} (M, Q), H^{* - k} (M, Q))

is a homomorphism, where we regard

H^{*} (M, Q)

as a right module over its subalgebra

P

and

{hom}_{P} (H^{*} (M, Q), H^{* - k} (M, 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} ({Diff}_{0} (M, J), R)

. Assume that

(M, ω)

is a monotone closed symplectic manifold of dimension

2 n

. So

[ω]

is a multiple of

c_{1} (M)

and hence it is in

P

. Assume further that

M

has the Hard Lefschetz Property, i.e.,

\cup [ω]^{r} : H^{n - r} (M, C) \to H^{n + r} (M, C)

is an isomorphism for any

r \geq 0

. So, if

b \in H^{n + r} (M, C)

then

b = a [ω]^{r}

for some

a \in H^{n - r} (M, C)

and hence

t r_{u}^{*} (b) = t r_{u}^{*} (a [ω]^{r}) = t r_{u}^{*} (a) [ω]^{r} .

In particular,

t r_{u}^{*} ([ω]^{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 \overset{π}{\to} B

a fiber bundle. If

G

acts on both

E

and

B

such that the projection map

π

G

-equivariant; i.e.,

π (v \cdot g) = π (v) \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 \overset{π}{\to} B

be a G-equivariant fiber bundle, where the action of

G

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 \overset{\tilde{π}}{\to} B / G

, whose pullback via the quotient map

p : B \to B / G

is isomorphic to the bundle

F \to E \overset{π}{\to} B

ii) Let

M

be a smooth manifold. Since any diffeomorphism of

M

φ : M \to M

, extends to the tangent bundle

φ_{*} : T_{*} M \to T_{*} M

, we see that the tangent bundle is

Diff (M)

-equivariant, where

Diff (M)

is the group of all diffeomorphisms of

M

Proof of Theorem 1.1 . Let $G$ denote the group ${Diff}_{0} (M)$ , the group of diffeomorphism of $M$ isotopic to the identity, and $σ : A \to M$ be a cycle in $M$ representing any given class $α$ of degree $l$ . Since the base field is either $Z_{2}$ or $Q$ we may assume that $A$ is a closed smooth manifold and $σ : A \to M$ is a smooth map. Consider the trace map $t r : A \times G \to M, (a, g) \mapsto σ (a) \cdot g, for all (a, g) \in A \times G .$ To prove the theorem it suffices to show that $t r^{*} (v) = 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^{*} (T_{*} M) \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^{*} (T_{*} M) / G \to (A \times G) / G$ , which is isomorphic to $σ^{*} (T_{*} M) \to A$ .
In particular, by the naturality of characteristic classes $t r^{*} (v)$ is the pullback of a class in $H^{k + l} (A, R)$ . However, $H^{k + l} (A, R) = 0$ , because $A$ is $l$ -dimensional and $k \geq 1$ . Hence, $t r^{*} (v) = 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) 309-347.
F. Lalonde, D. McDuff, L. Polterovich, Topological rigidity of Hamiltonian loops and Quantum homology, Invent. Math. 135 (1999) 369-385.
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

November 27, 2006

Yıldıray Ozan