We begin with a characterization of the nontriviality of the volume flux group, together with some homotopical constraints.
Theorem 11.
Let
$M$
be any closed
$n$
manifold with volume form
$\mu $
.

(1)
The volume flux group
${\Gamma}_{\mu}$
is trivial if and only if the evaluation map
$ev:{Diff}_{0}^{\mu}\to M$
induces the trivial map on the first real homology.

(2)
If
${\Gamma}_{\mu}\ne 0$
, then
$e{v}_{*}:{\pi}_{1}\left({Diff}_{0}^{\mu}\right)\to {\pi}_{1}\left(M\right)$
has an infinite image, which acts trivially on the homotopy groups of
$M$
. In particular, the center of
${\pi}_{1}\left(M\right)$
is infinite.

Proof.
Suppose
${\phi}_{t}\in {\pi}_{1}\left({Diff}_{0}^{\mu}\right)$
and denote by
$M\to {E}_{{\phi}_{t}}\to {S}^{2}$
the bundle associated to
${\phi}_{t}$
by the clutching construction. According to Remark 2 , the nonvanishing of
${Flux}_{\mu}\left({\phi}_{t}\right)$
is equivalent to the nonvanishing of
${\partial}_{{\phi}_{t}}^{*}\left(\mu \right)$
. Applying Poincaré duality in
${E}_{{\phi}_{t}}$
, this in turn is equivalent to the nontriviality of the differential
${\partial}_{{\phi}_{t}}:{H}_{0}\left(M\right)\to {H}_{1}\left(M\right)$
. On the other hand,
${\partial}_{{\phi}_{t}}\left[pt\right]=e{v}_{*}\left({\phi}_{t}\right)$
, where
$e{v}_{*}:{H}_{1}\left({Diff}_{0}^{\mu}\right)\to {H}_{1}\left(M\right)$
is the map induced by the evaluation at the point
$pt\in M$
. This proves the first claim.
Considering the evaluation on the fundamental group, we conclude from what we proved above that it has infinite image. It is a general property of the image of the evaluation that it acts trivially on all homotopy groups. This was first noticed by Gottlieb [
13]
, compare also Theorem 2.2 in [
33]
.
□
In the case of volume forms, Corollary 7 gives the following:
Corollary 12.
Let
$M$
be a closed oriented manifold of dimension
$2n$
, and
$\mu $
a volume form on
$M$
. If
$M$
has a nonzero real characteristic number, then the flux group
${\Gamma}_{\mu}$
is trivial, and the flux homomorphism
${Flux}_{\mu}$
extends to a crossed homomorphism
$${\stackrel{~}{Flux}}_{\mu}:{Diff}^{\mu}\u27f6{H}^{2n1}(M;\mathbb{R}).$$
It was proved in Theorem 2 of [
20]
that the cohomology class of the extension
${\stackrel{~}{Flux}}_{\mu}$
is uniquely determined in
${H}^{1}({Diff}^{\mu};{H}^{1}(M;\mathbb{R}\left)\right)$
if
$\mu $
is a volume form on a surface of genus
$g\ge 2$
. When
$M$
has dimension at least
$4$
, and has two different nonzero characteristic numbers, for example the Euler characteristic and the signature, then it may happen that these two choices give rise to different extensions of the flux associated with a volume form. In cohomology, the difference between any two such extensions is in
${H}^{1}({\mathcal{\mathcal{M}}}_{M};{H}^{2n1}(M;\mathbb{R}\left)\right)$
, where
${\mathcal{\mathcal{M}}}_{M}=Diff\left(M\right)/{Diff}_{0}\left(M\right)$
is the mapping class group of
$M$
.
Corollary
12 only applies to evendimensional manifolds. In all dimensions, we have the following special case of Theorem 9 :
Corollary 13.
Let
$M$
be a closed oriented manifold with nonzero simplicial volume. Then the volume flux group
${\Gamma}_{\mu}$
is trivial for every volume form
$\mu $
.
3.3 The case of
$3$
manifolds
In small dimensions we can now prove that a nontrivial volume flux group implies the vanishing of the minimal volume. Furthermore, we show that in small dimensions circle actions account for all nontrivial elements of volume flux groups on closed manifolds.
In dimensions
$<3$
the only closed oriented manifolds with nontrivial volume flux group are
${S}^{1}$
and
${T}^{2}$
, for which the above statements are trivial. In the first interesting case, for threemanifolds, we have a result modulo the Poincaré conjecture:
Theorem 14.
Let
$M$
be a closed oriented
$3$
manifold without any fake cells. If
$M$
has nonzero volume flux group
${\Gamma}_{\mu}$
, then
$M$
is a Seifert fiber space. In particular, its minimal volume vanishes.
More precisely, a multiple of every loop
${\phi}_{t}\in {\pi}_{1}\left({Diff}^{\mu}\right)$
with nonzero volume flux is realized by a fixedpointfree circle action on
$M$
.

Proof.
As
${\pi}_{1}\left(M\right)$
has nontrivial center by Theorem 11 , it is indecomposable as a free product.
Therefore, in the Kneser–Milnor prime decomposition of
$M$
, all summands but one are simply connected. As
$M$
contains no fake cells by assumption, we conclude that it is prime. Thus, either
$M$
is
${S}^{1}\times {S}^{2}$
, which is a Seifert fibration in the obvious way, or it is irreducible.
If
$M$
is irreducible, then because its first Betti number is positive, it is also sufficiently large^{1 }
, meaning that
$M$
contains an incompressible surface, cf. [
17]
p. 35. Now it is a theorem of Waldhausen [
38]
that a closed irreducible sufficiently large
$3$
manifold
$M$
such that
${\pi}_{1}\left(M\right)$
has nontrivial center is Seifert fibered.
By shrinking an invariant metric in the direction of the circle action, one sees that the minimal volume vanishes, cf. [
15]
.
The statement to the effect that circle actions account for all nonzero elements of the volume flux group follows from the fact that on a Seifert manifold every element of the center of the fundamental group is, up to a multiple, represented by the fiber of a Seifert fibering, cf. [
17]
p. 92/93 or [
36]
. □
The Seifert fibered
$3$
manifolds occuring in the theorem are precisely those with a Thurston geometry of type
${\mathbb{R}}^{3}$
,
${S}^{2}\times \mathbb{R}$
and
${\mathbb{H}}^{2}\times \mathbb{R}$
, compare [36] .
3.4 Back to higher dimensions
The proof of Theorem 14 has a partial generalization to higher dimensions:
Theorem 15.
Let
$M$
be a closed
$n$
manifold with
${\Gamma}_{\mu}\ne 0$
. If
$M$
is homotopy equivalent to a connected sum
${M}_{1}\#{M}_{2}$
then one of the
${M}_{i}$
is a homotopy sphere.

Proof.
As
${\pi}_{1}\left(M\right)$
has nontrivial center by Theorem 11 , it is indecomposable as a free product.
Therefore, one of the
${M}_{i}$
, say
${M}_{1}$
, is simply connected. In particular,
${H}_{1}({M}_{1};\mathbb{Z})=0$
. If
${M}_{1}$
is not a homotopy sphere, then there is a smallest
$k\le n2$
for which
${H}_{k}({M}_{1};\mathbb{Z})$
does not vanish. By the Hurewicz theorem
${\pi}_{k}\left({M}_{1}\right)\sim ={H}_{k}({M}_{1};\mathbb{Z})\ne 0$
.
Now the universal cover of
$M$
is obtained from the universal cover of
${M}_{2}$
by connected summing with infinitely many copies of
${M}_{1}$
. Every nontrivial element of
${\pi}_{1}\left(M\right)\sim ={\pi}_{1}\left({M}_{2}\right)$
acts nontrivially on
${H}_{k}\left(\stackrel{~}{M}\right)$
by permuting the different summands coming from the different copies of
${M}_{1}$
. This shows that every element of the fundamental group acts nontrivially on
${\pi}_{k}\left(M\right)$
, contradicting the second part of Theorem 11 . □
The following example shows that the result is sharp.
Example 16.
Let
$M=({S}^{1}\times {S}^{6})\#{\Sigma}^{7}$
, with
$\Sigma $
a homotopy
$7$
sphere. Now every
$\Sigma $
is a twisted sphere, i. e. it is of the form
${D}^{7}{\cup}_{\psi}{D}^{7}$
for some
$\psi $
in the mapping class group of
${S}^{6}=\partial {D}^{7}$
.
But then
$M$
is just the mapping torus of
$\psi $
, and as the mapping class group of
${S}^{6}$
is finite (of order
$28$
), we conclude that
$M$
fibers over
${S}^{1}$
with finite monodromy (
$=\psi $
). There is a fixedpointfree circle action transverse to this fibration generating a nontrivial volume flux group by Proposition 10 .
Note that the generator of
${\pi}_{1}\left(M\right)\sim =\mathbb{Z}$
cannot always be realized by the orbits of a circle action on
$M$
, so that passing to multiples is unavoidable. Indeed, if an
${S}^{1}$
action on
$M$
surjects
${\pi}_{1}\left({S}^{1}\right)$
onto
${\pi}_{1}\left(M\right)$
, then all the orbits have trivial stabilizer, because their homotopy classes are primitive. Then the quotient map
$M\to M/{S}^{1}$
is a smooth circle bundle over a homotopy
$6$
sphere. This bundle is trivial, and as there are no exotic
$6$
spheres we conclude that
$M$
is diffeomorphic to
${S}^{1}\times {S}^{6}$
. But according to Browder [
6]
, Corollary 2.8, we can choose
$\Sigma $
in such a way that
$M$
is not diffeomorphic to
${S}^{1}\times {S}^{6}$
.
This example shows that the topological manifold
${S}^{1}\times {S}^{6}$
has several distinct smooth structures, all of which admit fixedpointfree circle actions. There are also known pairs of homeomorphic manifolds for which one has a free smooth circle action, and the other one has no smooth fixedpointfree actions at all, see [19] . Unfortunately, the examples of [19] are not really relevant to the discussion of volume flux groups, because their fundamental groups have trivial center.
4 Entropy and volume flux
We have seen that a nontrivial volume flux group forces the vanishing of the simplicial volume, and the vanishing of all real characteristic numbers. In the case when the volume flux comes from a smooth circle action, these vanishing results are consequences of the vanishing of the minimal volume. One might therefore speculate that the nonvanishing of the volume flux may imply the vanishing of the minimal volume. As we are not able to prove this, we shall consider intermediate invariants, which interpolate between the simplicial volume and the minimal volume.
Let
$M$
be a connected closed oriented manifold of dimension
$n$
. The following remarkable chain of inequalities between its topological invariants is known, compare [
5,
19,
34]
:
$$\begin{array}{c}\frac{{n}^{n/2}}{n!}\left\rightM\left\right\le {2}^{n}{n}^{n/2}T\left(M\right)\le \lambda (M{)}^{n}\le h(M{)}^{n}\le (n1{)}^{n}\text{MinVol}(M).\end{array}$$ 
(3)

Here
$T\left(M\right)$
is the spherical volume introduced by Besson, Courtois and Gallot [
5]
,
$\lambda \left(M\right)$
is the minimal volume entropy or asymptotic volume,
$h\left(M\right)$
is the minimal topological entropy of geodesic flows on
$M$
, and
$\text{MinVol}$
is the minimal volume in the sense of Gromov [
15]
. Babenko proved that the minimal volume entropy
$\lambda \left(M\right)$
is invariant under homotopy equivalences, and also under certain bordisms over
$B{\pi}_{1}\left(M\right)$
, see [
1,
2]
. By contrast, the vanishing of the minimal volume is known to depend subtly on the smooth structure [
19]
.
Of the above invariants, only the simplicial volume is known to be multiplicative in coverings.
As it will be convenient to allow ourselves passage to finite coverings, we make the following definition in the spirit of [
29]
, compare also [
5]
.
Definition 17.
Let
$I$
be an invariant of
$n$
dimensional closed manifolds. Then define
$${I}^{*}\left(M\right)=inf\left\{\frac{I\left(N\right)}{d}N\text{a}d\text{sheeted covering of}M\right\},$$
where the infimum is taken over all finite coverings of
$M$
.
Clearly
${I}^{*}\left(M\right)\le I\left(M\right)$
, and if
$I\left(M\right)\le J\left(M\right)$
for all
$M$
, then
${I}^{*}\left(M\right)\le {J}^{*}\left(M\right)$
. Thus, 3 implies
$$\begin{array}{c}\frac{{n}^{n/2}}{n!}\left\rightM\left\right\le {2}^{n}{n}^{n/2}{T}^{*}\left(M\right)\le {\lambda}^{*}(M{)}^{n}\le {h}^{*}(M{)}^{n}\le (n1{)}^{n}{\text{MinVol}}^{*}(M).\end{array}$$ 
(4)

We now prove the following vanishing result regarding the quantities in 4 :
Theorem 18.
Let
$M$
be a closed oriented manifold with nonvanishing volume flux group
${\Gamma}_{\mu}$
. Then
$M$
has a finite covering
$\overline{M}$
whose volume entropy
$\lambda \left(\overline{M}\right)$
vanishes. In particular,
${\lambda}^{*}\left(M\right)=0$
.

Proof.
If the volume flux group
${\Gamma}_{\mu}$
for
$(M,\mu )$
is nontrivial, then by Theorem 11 the evaluation at a point of the corresponding loop
${\phi}_{t}$
in
${Diff}^{\mu}$
gives us a loop which is of infinite order in the center of
${\pi}_{1}\left(M\right)$
and in
${H}_{1}(M;\mathbb{Z})$
. After replacing
$M$
by a finite cover, we may assume that this element is primitive in
${H}_{1}(M;\mathbb{Z})/tor$
, so that the fundamental group of
$M$
splits as a direct product
${\pi}_{1}\left(M\right)\sim =\mathbb{Z}\times \pi $
with the generator of the first factor corresponding to the evaluation of our loop of diffeomorphisms, compare [32] . In this situation, Gottlieb [14] and independently Oprea [32] proved a homotopical analogue of the Conner–Raymond splitting theorem, showing that
$M$
is homotopy equivalent to
${S}^{1}\times Y$
, where
$Y$
is the homotopy fiber of a map
$f:M\to {S}^{1}$
inducing the projection
${p}_{1}:{\pi}_{1}\left(M\right)\to \mathbb{Z}$
onto the first factor of the fundamental group. If the homotopy type
$Y$
can be represented by a closed oriented
$(n1)$
manifold, then we conclude the proof of Theorem 18 by noting that
$\lambda ({S}^{1}\times Y)$
vanishes because of the obvious circle action, and the minimal entropy is known to be homotopyinvariant by a result of Babenko [1] .
Regardless what the homotopy fiber
$Y$
is, we can proceed as follows. Choose a smooth map
$f:M\to {S}^{1}$
with
${f}_{*}={p}_{1}$
and let
${F}^{\prime}$
be a regular fiber. Then
${\pi}_{1}\left({F}^{\prime}\right)$
surjects onto
$\pi \sim =Ker{f}_{*}$
, and we can modify
${F}^{\prime}$
by ambient surgery^{2 }
inside
$M$
to obtain an embedded submanifold
$F\subset M$
in the same homology class, such that
${\pi}_{1}\left(F\right)\sim =\pi $
, and the inclusion induces an isomorphism between
${\pi}_{1}\left(F\right)$
and
$0\times \pi \subset \mathbb{Z}\times \pi \sim ={\pi}_{1}\left(M\right)$
. Consider then the map
$\Phi $
given by the composition
$$\begin{array}{cccccc}{S}^{1}\times F& \stackrel{i}{\u27f6}{S}^{1}\times M& & \stackrel{Id\times \phi}{\u27f6}{S}^{1}\times M& & \stackrel{{\pi}_{2}}{\u27f6}M\end{array}$$ 
(5)

$$\begin{array}{cccccc}(t,x)& \mapsto (t,x)& & \mapsto (t,{\phi}_{t}(x\left)\right)& & \mapsto {\phi}_{t}\left(x\right),\end{array}$$ 
(6)

$$\begin{array}{}\end{array}$$  
where the first map is the inclusion, and the composition of the second and third maps is the evaluation.
Lemma 19.
The map
$\Phi $
has the following properties:

(1)
It induces an isomorphism on fundamental groups.

(2)
It has degree one.

(3)
It pulls back the tangent bundle of
$M$
to the tangent bundle of
${S}^{1}\times F$
.

Proof.
The first claim is clear from the construction of
$F$
and
$\Phi $
. The second claim follows from the fact that
$F\subset M$
has algebraic intersection number
$=1$
with the evaluation loop.
For the third claim, consider the factorization
$\Phi ={\pi}_{2}\circ (Id\times \phi )\circ i$
. The diffeomorphism
$Id\times \phi $
pulls back
${\pi}_{2}^{*}TM$
to itself. But this bundle restricts to the image of
$i$
as
$\mathbb{R}\oplus TF$
, which proves the claim. □
Let
$c:M\to B{\pi}_{1}\left(M\right)$
be the classifying map for the universal cover of
$M$
, and consider the classes
$[M,c]$
and
$[{S}^{1}\times F,c\circ \Phi ]$
in the bordism group
${\Omega}_{n}\left(B{\pi}_{1}\right(M\left)\right)$
. If these bordism classes agree, then there is a bordism
$[{W}^{\prime},{\alpha}^{\prime}]$
between them. It follows that
${\alpha}_{*}^{\prime}:{\pi}_{1}\left({W}^{\prime}\right)\to {\pi}_{1}\left(M\right)$
is surjective, and we can modify the bordism by surgery in the interior of
${W}^{\prime}$
so as to obtain a new bordism
$[W,\alpha ]$
for which
${\alpha}_{*}:{\pi}_{1}\left(W\right)\to {\pi}_{1}\left(M\right)$
is an isomorphism. This new bordism has the property that the inclusion of each boundary component into
$W$
induces an isomorphism on fundamental groups. In the terminology of Babenko [
2]
, this is an
$R$
cobordism, and the result of [
2]
is that
$R$
cobordant manifolds have the same minimal volume entropy. As before, the volume entropy of
${S}^{1}\times F$
vanishes because its minimal volume vanishes courtesy of the circle action.
It remains to prove that the bordism classes
$[M,c]$
and
$[{S}^{1}\times F,c\circ \Phi ]$
agree—or to deal with their failure to do so. Consider first the case when the integral homology of
$B{\pi}_{1}\left(M\right)$
has no oddorder torsion. Then the bordism spectral sequence for
$B{\pi}_{1}\left(M\right)$
is trivial, and we have an isomorphism
$$\begin{array}{c}{\Omega}_{n}\left(B{\pi}_{1}\right(M\left)\right)\sim {=}^{n}{\oplus}_{i=0}{H}_{i}\left(B{\pi}_{1}\right(M);{\Omega}_{ni}(\u25c6\left)\right),\end{array}$$ 
(7)

compare Theorem 15.2 in [
10]
, or [
37]
. The elements of the summands on the righthand side are detected by the collection of all Pontryagin and StiefelWhitney numbers twisted by cohomology classes on
$B{\pi}_{1}\left(M\right)$
. Lemma 19 shows that these twisted characteristic numbers agree for
$[M,c]$
and
$[{S}^{1}\times F,c\circ \Phi ]$
, so these two bordism classes in
${\Omega}_{n}\left(B{\pi}_{1}\right(M\left)\right)$
agree.
In the general case, when the homology of
$B{\pi}_{1}\left(M\right)$
is allowed to have oddorder torsion, we can still find the required bordism between
$[M,c]$
and
$[{S}^{1}\times F,c\circ \Phi ]$
after passing to a suitable finite cover induced from a finite cover of
${S}^{1}$
. For this we only have to prove that on such a cover the map
$\Phi :{S}^{1}\times F\u27f6M$
is bordant to the identity of
$M$
.
Proposition 20.
In the above situation
$M$
has a finite covering induced from a finite covering of
${S}^{1}$
via the map
$M\u27f6{S}^{1}$
, such that the lift of
$\Phi $
to the corresponding covering of
${S}^{1}\times F$
by itself is bordant to the identity of the target.

Proof.
We shall use the language of surgery theory. Our reference for this is [25] .
First of all, we already know from Lemma
19 that
$\Phi $
is a tangential equivalence, so that it is covered by a bundle isomorphism
$\stackrel{~}{\Phi}:T({S}^{1}\times F)\u27f6TM$
. Taking the stable normal bundles instead of the tangent bundles, we obtain a normal map (denoted by the same symbol)
$$\stackrel{~}{\Phi}:N({S}^{1}\times F)\u27f6N\left(M\right)$$
covering
$\Phi $
, where
$N$
denotes the stable normal bundle. Consider the surgery map
$$\sigma :N{M}_{O}\left(M\right)\u27f6[M,G/O],$$
where the domain consists of normal bordism classes with target
$M$
. This map is an ismorphism, cf. Theorem 2.23 in [
25]
. Let
$\alpha \in N{M}_{O}\left(M\right)$
be the element represented by the normal map
$(\stackrel{~}{\Phi},\Phi )$
.
Our task is to show that, after passing to a suitable finite cover, the image
$\sigma \left(\alpha \right)$
is the homotopy class in
$[M,G/O]$
represented by the constant map.
Passing to finite coverings along
${S}^{1}$
means that we consider
${\Phi}_{k}:{S}^{1}\times F\u27f6{M}_{k}$
, where the domain is the product of
$F$
with the standard
$k$
fold cover of the circle, and
${M}_{k}$
is the corresponding covering of
$M$
pulled back from the circle. Since
${\Phi}_{k}$
has degree
$1$
, we see that
$${\Phi}_{k}^{*}:{H}^{i}\left({M}_{k}\right)\u27f6{H}^{i}({S}^{1}\times F)$$
is injective with any coefficients. Moreover, by restriction we have an injection
$${\Phi}_{k}^{*}:{H}^{i}({M}_{k},F)\u27f6{H}^{i}({S}^{1}\times F,pt.\times F)\sim =\iota \otimes {H}^{i1}\left(F\right),$$
where
$\iota $
denotes the generator of
${H}^{1}\left({S}^{1}\right)$
and
$F$
sits inside
${M}_{k}$
in the obvious way for any
$k$
.
Now
$\Phi $
is a tangential equivalence, and therefore a map
$M\u27f6G/O$
representing
$\sigma \left(\alpha \right)$
can be lifted to
$g:M\u27f6G$
. Moreover, this map is constant on
$F\subset M$
because
$\Phi $
is the identity on
$F$
. It sufficesto show that
$g$
is homotopic to the constant map, at least after we pass to a suitable finite covering.
The obstructions to
$g$
being nullhomotopic are contained in
$${H}^{i}(M,F;{\pi}_{i}(G\left)\right)\subset \iota \otimes {H}^{i1}(F;{\pi}_{i}(G\left)\right).$$
But the group
${\pi}_{i}\left(G\right)$
is finite for every
$i$
, and if we pass to the finite covering
${M}_{k}$
, then the classifying map of the new surgery problem is just the composition
$${M}_{k}\u27f6M\stackrel{g}{\u27f6}G,$$
as can be seen by inspecting the construction of the surgery map, cf. pp. 4243 of [
25]
. Therefore we can kill the obstructions by taking suitable finite covers along
${S}^{1}$
. In detail, the coverings send
$\iota $
to
$k\iota $
, and since the obstructions lie in
$\iota \otimes {H}^{i1}\left(F\right)$
with finite coefficients, we can kill all the obstructions. This means that the normal map
${S}^{1}\times F\u27f6{M}_{k}$
is normally bordant to the identity of
${M}_{k}$
. □
The proof of Proposition 20 shows that
${S}^{1}\times F$
and
${M}_{k}$
are bordant over
$B{\pi}_{1}\left({M}_{k}\right)$
. Together with the preceding discussion, this completes the proof of Theorem 18 . □
Remark 21.
An alternative approach to the general case proceeds by observing that 7 always holds after tensoring with
$\mathbb{Q}$
, cf. [
10,
37]
. As
$[M,c]$
and
$[{S}^{1}\times F,c\circ \Phi ]$
have the same twisted Pontryagin numbers, their difference is rationally zerobordant. This means that for some
$k>0$
there is a bordism between the
$k$
fold connected sums
$kM$
and
$k({S}^{1}\times F)$
endowed with the corresponding maps to
$B{\pi}_{1}\left(M\right)$
. These maps induce the diagonal map
$D:{\pi}_{1}\left(M\right)\u25c6\dots \u25c6{\pi}_{1}\left(M\right)\u27f6{\pi}_{1}\left(M\right)$
on fundamental groups. Unfortunately it is unclear whether this can be arranged to be an
$R$
cobordism in the sense of Babenko [
2]
. If this is possible, then a slightly different proof of Theorem 18 can be given as follows. Babenko's theorem [
2]
implies that the minimal asymptotic exponential volume growth rates of the covers of
$kM$
and of
$k({S}^{1}\times F)$
with fundamental groups
$Ker\left(D\right)$
are equal.
(These are not the minimal volume entropies, because these covers are not the universal covers.) Now by a result of Paternain and Petean [
34]
, Theorem 5.9, the circle action on
${S}^{1}\times F$
gives rise to a
$\mathcal{T}$
structure on the connected sum
$k({S}^{1}\times F)$
. Another result of the same authors, Theorem A in [
34]
, shows that the minimal topological entropy
$h$
vanishes for any manifold with a
$\mathcal{T}$
structure.
A fortiori, the minimal volume entropy of
$k({S}^{1}\times F)$
vanishes, compare 3 . This implies that the intermediate cover of
$k({S}^{1}\times F)$
with fundamental group
$Ker\left(D\right)$
also has slow volume growth.
By the above discussion we have this conclusion also for the cover of
$kM$
with fundamental group
$Ker\left(D\right)$
. This cover essentially contains a copy of the universal cover of
$M$
, which therefore has small minimal asymptotic exponential volume growth rate. Thus,
$\lambda \left(M\right)=0$
.
5 Powers of a symplectic form
In this section we consider the case when
$\alpha $
is a power
${\omega}^{k}$
of a symplectic form
$\omega $
on
$M$
, with
$M$
of dimension
$2n$
. It is clear that
${Diff}^{\alpha}$
contains the symplectomorphism group
$Symp={Diff}^{\omega}$
, but is usually strictly larger when
$k>1$
. In order to obtain a result parallel to Corollary 12 , we want to use the Chern classes of the tangent bundle along the fibers in the universal foliated
$M$
bundle. This means that instead of
${Diff}^{\alpha}$
we should only consider a smaller group which preserves the homotopy class of an almost complex structure compatible with
$\omega $
. We will simply take the symplectomorphism group and consider the
$k$
flux
$${Flux}_{k}:{\stackrel{~}{Symp}}_{0}\u27f6{H}^{2k1}(M;\mathbb{R}),$$
which is the restriction of the flux with respect to
${\omega}^{k}$
to the symplectomorphism group. We denote by
${\Gamma}_{k}$
the image of
${\pi}_{1}\left({Symp}_{0}\right)$
under the
$k$
flux.
The groups
${\Gamma}_{k}$
for different values of
$k$
are related to each other by the equation
$$\begin{array}{c}{Flux}_{k}\left({\phi}_{t}\right)=k{Flux}_{1}\left({\phi}_{t}\right)\wedge {\omega}^{k1},\end{array}$$ 
(8)

which is immediate from the definition of the flux and the identity
${i}_{X}\left({\omega}^{k}\right)=k{i}_{X}\omega \wedge {\omega}^{k1}$
. Thus
${\Gamma}_{k}$
is the image of of the usual symplectic flux group
${\Gamma}_{1}={\Gamma}_{\omega}$
under multiplication by
$k{\omega}^{k1}$
.
Taking
$k=n$
, we can use this to draw consequences about the symplectic flux group from our results about the volume flux. Note that
${\Gamma}_{n}$
is not really the volume flux group, because we are only considering
$Symp$
, and not the usually larger
${Diff}^{{\omega}^{n}}$
. Nevertheless, the same arguments apply to prove the following:
Theorem 22.
Let
$(M,\omega )$
be a closed symplectic manifold of dimension
$2n$
that satisfies one of the following conditions:

(1)
the evaluation map
$ev:{Symp}_{0}\to M$
induces the trivial map on the first real homology, or

(2)
the fundamental group
${\pi}_{1}\left(M\right)$
has finite center, or

(3)
$M$
has a nonzero real characteristic number, or has nonzero renormalized minimal volume entropy
${\lambda}^{*}\left(M\right)$
, or

(4)
$M$
is homotopy equivalent to a connected sum in which neither summand is a homotopy sphere.
Then the symplectic flux group
${\Gamma}_{\omega}\subset {H}^{1}(M;\mathbb{R})$
is in the kernel of the multiplication map
$$[\omega {]}^{n1}:{H}^{1}(M;\mathbb{R})\to {H}^{2n1}(M;\mathbb{R}).$$
In particular, if
$(M,\omega )$
also satisfies the hard Lefschetz condition, then the symplectic flux group vanishes.
Instead of taking the maximal power of the symplectic form, we can consider smaller powers, and we can also use the Chern classes of an almost complex structure compatible with the symplectic form. Theorem 6 has the following immediate consequence:
Corollary 23.
Suppose that
$\left[{\omega}^{k}\right]\in {H}^{2k}(M;\mathbb{R})$
is proportional to a polynomial in the Chern classes of
$(M,\omega )$
. Then
${\Gamma}_{k}=0$
, and
${Flux}_{k}$
extends to a crossed homomorphism
$${\stackrel{~}{Flux}}_{k}:Symp\u27f6{H}^{2k1}(M;\mathbb{R}).$$
This result has an antecedent in McDuff's paper [26] . The case
$k=1$
was proved in [20] .
As before, using
8 we obtain the following consequence. The case when
$k=n$
was previously proved in [
18]
.
Corollary 24.
Suppose that
$\left[{\omega}^{k}\right]\in {H}^{2k}(M;\mathbb{R})$
is proportional to a polynomial in the Chern classes of
$(M,\omega )$
. Then the symplectic flux group
${\Gamma}_{1}={\Gamma}_{\omega}\subset {H}^{1}(M;\mathbb{R})$
is in the kernel of the multiplication map
$$[\omega {]}^{k1}:{H}^{1}(M;\mathbb{R})\u27f6{H}^{2k1}(M;\mathbb{R}).$$
If
$(M,\omega )$
satisfies a weak form of the Lefschetz property, namely if multiplication by
$[\omega {]}^{k1}$
is injective, then the usual symplectic flux group is trivial.
Example 25.
Consider
$M=F\times {S}^{2}$
, where
$F$
is a surface of genus
$g\ne 1$
. Then every cohomology class with nonzero square in
${H}^{2}(M;\mathbb{R})$
is realised by a split symplectic form, with the symplectic area of the factors scaled suitably. For all these symplectic forms the Chern classes are the same, namely
${c}_{1}=(22g)P.D.\left[{S}^{2}\right]+2P.D.\left[F\right]$
and
${c}_{2}=(44g)P.D.\left[M\right]$
. For those symplectic forms
$\omega $
whose cohomology class is a multiple of
${c}_{1}$
, the case
$k=1$
of Corollary 23 implies the triviality of the flux group
${\Gamma}_{\omega}$
. When
$\left[\omega \right]$
is not a multiple of
${c}_{1}$
, we can use the case
$k=2$
and the fact that
${c}_{1}^{2}$
and
${c}_{2}$
are nonzero to conclude that
${\Gamma}_{2}$
is trivial^{3 }
. As
$M$
satisfies the hard Lefschetz property for every
$\omega $
, we again conclude the vanishing of
${\Gamma}_{\omega}$
.
Example 26.
Let
$M=F\times {S}^{2}$
as before, with
$g\ne 1$
. Then the nonvanishing of the Chern numbers
${c}_{1}^{2}$
and
${c}_{2}$
gives rise to two potentially different extensions
$${\stackrel{~}{Flux}}_{2}:Symp\u27f6{H}^{3}(M;\mathbb{R}).$$
The difference between them corresponds to the difference
${c}_{1}^{2}\left(\xi \right)2{c}_{2}\left(\xi \right)\in {H}^{4}(ESymp;\mathbb{R})$
, which restricts trivially to the fiber
$M$
. There are symplectic bundles with fiber
$M$
which show that this difference class is nontrivial if
$g=g\left(F\right)\ge 3$
. Namely, let
$X\to B$
be an
$F$
bundle with nonzero signature. Then
$X\times {S}^{2}$
is an
$M$
bundle over
$B$
for which
${c}_{1}^{2}\left(\xi \right)2{c}_{2}\left(\xi \right)\ne 0\in {H}^{4}(X\times {S}^{2};\mathbb{R})$
.
However, the two extensions of
${Flux}_{2}$
are essentially the same. As
$M$
satisfies the hard Lefschetz property, these extensions of
${Flux}_{2}$
are given by extensions of the usual flux homomorphism multiplied by the symplectic form. But the extensions of the usual flux homomorphism here come from
$F$
, where we know that the extension is unique as a cohomology class, see [
20]
.
Example 27.
Consider now
$M={T}^{2}\times {S}^{2}$
with a split symplectic form. Then clearly the flux group is nontrivial. However, if we pass from
$M$
to its blowup
$\hat{M}=M\#\overline{\mathbb{C}{P}^{2}}$
, then
$\hat{M}$
is reducible (and has nonzero Chern numbers), so that
${\Gamma}_{2}$
must vanish. As
$\hat{M}$
satisfies the hard Lefschetz property, we conclude that the usual flux group
${\Gamma}_{1}={\Gamma}_{\omega}$
also vanishes.
Theorem 9 has the following consequence for the symplectomorphism groups.
Corollary 28.
Suppose that
$[\omega {]}^{k}$
is a bounded cohomology class. Then
${\Gamma}_{k}=0$
. In particular, if
$\omega $
represents a bounded class, then the usual symplectic flux group is trivial.
It is interesting to compare the above vanishing results for the symplectic flux group with the following:
Proposition 29.
(cf. [
22,
35]
) Assume that
$(M,\omega )$
is symplectically aspherical, i. e.
$\omega {}_{{\pi}_{2}\left(M\right)}=0$
, and that
${\pi}_{1}\left(M\right)$
has finite center. Then
${\Gamma}_{\omega}=0$
.

Proof.
As the center of
${\pi}_{1}\left(M\right)$
is finite, and the flux is multiplicative when we replace a loop by a multiple, we may assume that the evaluation of a loop
${\phi}_{t}$
in
${Symp}_{0}$
whose flux we want to test bounds a
$2$
disk
$D$
in
$M$
. If
$\gamma \subset M$
is any closed loop, the degree
$2$
homology class of
${\phi}_{t}\left(\gamma \right)$
can be represented by a
$2$
sphere
$S$
obtained by surgering the torus along a meridian, using two copies of
$D$
. Now
$\omega {}_{{\pi}_{2}\left(M\right)}=0$
implies that
$$\langle {Flux}_{\omega}\left({\phi}_{t}\right),\left[\gamma \right]\rangle ={\int}_{{\phi}_{t}\left(\gamma \right)}\omega ={\int}_{S}\omega =0.$$
□
Example 30.
Consider a surface bundle
$X$
over a surface
$B$
, such that both the base
$B$
and the fiber
$F$
have genus
$\ge 2$
. Then the second Chern number is nonzero, and the center of
${\pi}_{1}\left(X\right)$
is trivial, so that
${\Gamma}_{2}=0$
by Theorem 22 . On the one hand, there are many such
$X$
which cannot satisfy the hard Lefschetz property (for any
$\omega $
), so that we cannot conclude the vanishing of
${\Gamma}_{\omega}$
from Theorem 22 . On the other hand, it is always possible to choose
$\omega $
in such a way that it represents a bounded cohomology class^{4 }
, in which case Corollary 28 implies the vanishing of the flux group.
Again this last argument does not cover all cases, because for suitable surface bundles
$X$
one can also choose
$\omega $
so that its cohomology class is not bounded. Nevertheless, Proposition 29 always applies, because
$X$
is aspherical and its fundamental group has trivial center.
6 Final comments and remarks
6.1 Does the volume flux group depend on the smooth structure?
So far we do not know whether the nontriviality of the volume flux group depends on the smooth structure, or not. Example 16 is the closest we have come to seeing a dependence on the smooth structure, but the example is not conclusive. Recall also that there are examples of manifolds with free circle actions which are homeomorphic to smooth manifolds on which every smooth circle action must have fixed points, see [
19]
. Most of the information we have derived from the nontriviality of the volume flux group, about the fundamental group, homotopical irreducibility, simplicial volume, and about the minimal volume entropy, is homotopy invariant. However, this is not known for the minimal topological entropy, and is definitely false for the minimal volume.
Theorem 2 of [
19]
shows that in dimension
$4$
there exist homeomorphic manifolds such that one has vanishing minimal volume and the other one does not. It is also known that the minimal volume depends on the smooth structure in higher dimensions.
A modification of Example
16 that might be interesting is as follows: consider the connected sum of
${T}^{7}$
with a homotopy sphere. In certain cases this gives an exotic smooth structure on the torus. It seems like it should not have a smooth free circle action, but we have not proved this.
What can one say about the volume flux on this manifold?
6.2 Remarks on Gottlieb groups
Recall that the Gottlieb group
$G\left(M\right)$
of a manifold
$M$
is the image of the evaluation homomorphism
$e{v}_{*}:{\pi}_{1}\left({M}^{M}\right)\u27f6{\pi}_{1}\left(M\right)$
, see [
13]
and [
24,
33]
. It will be clear to the experts that some of our arguments concerning volume flux groups depend only on the fact that a loop of diffeomorphisms having nontrivial volume flux gives an element of infinite order in the Gottlieb group. Indeed, the nontriviality of the Gottlieb group is enough to conclude that the Euler characteristic of
$M$
vanishes, see [
13]
, and for the irreducibility conclusion of Theorem 15 . However, it is not clear whether the other consequences of a nontrivial volume flux follow from Gottlieb theory alone. If
$M$
has a Gottlieb element whose image under the Hurewicz map has infinite order in homology, then the simplicial volume of
$M$
vanishes. However our proof of the vanishing of the minimal volume certainly does not apply in this generality.
Once again the situation is better for
$3$
manifolds. If a closed
$3$
manifold without any fake cells has nontrivial Gottlieb group, then it is Seifert fibered, and up to multiples the elements of the Gottlieb group are represented by circle actions. This follows from the Seifert fiber space conjecture, the final cases of which were settled by Casson–Jungreis [
9]
and Gabai [
12]
independently.
Our proof of Theorem
14 did not need these deep results, because the existence of nontrivial volume flux implies that the manifold is Haken.
6.3 Further developments
Extended flux homomorphisms arose first in [
20]
for the case of monotone symplectic forms.
There, a vanishing theorem for flux groups was proved as a byproduct of the search for extended flux homomorphisms, whereas in the present paper we obtain many more vanishing theorems in the general situation, where an extended flux homomorphism may not necessarily exist.
The results of [
20,
21]
illustrate how extended flux homomorphisms can help in understanding the homology of the groups
${Diff}^{\alpha}$
as discrete groups. For many of the situations where we have proved the existence of extensions of the flux as a crossed homomorphism in this paper, one can try to imitate the constructions of [
21]
in particular in order to find new nontrivial cohomology classes on diffeomorphism groups made discrete. In a related development, after most of the this work was completed, McDuff [
27]
took up the constructions of [
20,
21]
and of the present paper for symplectomorphism groups. Her point of view is somewhat different, with an emphasis on extending the Hamiltonian group to a certain subgroup of the symplectomorphism group that intersects all components of
$Symp$
. Such an extension can be seen as the kernel of an extended flux homomorphism. McDuff [
27]
provides this extension in some cases where we proved only the vanishing of the flux group, but not the existence of the extended flux homomorphism.
Acknowledgements
The first two authors would like to thank T. Schick for a helpful discussion. This work was begun while the first author held a fellowship at the University of Munich funded by the European Differential Geometry Endeavour (EDGE), Research Training Network HPRNCT200000101, supported by The European Human Potential Programme. The paper was completed during visits of the second author to the University of Tokyo and to Stanford University. The third author is partially supported by JSPS Grant 16204005. We are grateful to all these institutions for their support.
References

I. K. Babenko, Asymptotic invariants of smooth manifolds, Izv. Ross. Akad. Nauk. Ser. Mat. 56 (1992), 707–751 (Russian); Engl. transl. in Russian Acad. Sci. Izv. Math. 41 (1993), 1–38.

I. K. Babenko, Asymptotic volumes and simply connected surgeries of smooth manifolds, Izv. Ross. Akad. Nauk. Ser. Mat. 58 (1994), 218–221 (Russian); Engl. transl. in Russian Acad. Sci. Izv. Math. 44 (1995), 427–430.

A. Banyaga, Sur la structure du groupe des difféomorphismes qui prèservent une forme symplectique, Comment. Math. Helv. 53 (1978), 174–227.

A. Banyaga, The structure of classical diffeomorphism groups, Mathematics and its Applications, vol. 400, Kluwer Academic Publishers Group, Dordrecht 1997.

G. Besson, G. Courtois et S. Gallot, Volume et entropie minimale des espaces localement symétriques, Invent. math. 103 (1991), 417–445.

W. Browder, On the action of
${\Theta}^{n}(\partial \pi )$
, in Differential and Combinatorial Topology, ed. S. S. Cairns, Princeton Univ. Press 1965.

W. Browder, W.C. Hsiang,
$G$
actions and the fundamental group, Invent. math. 65 (1982), 411–424.

E. Calabi, On the group of automorphisms of a symplectic manifold, in Problems in Analysis, ed. R. Gunning, Princeton University Press, 1970, 1–26.

A. Casson, D. Jungreis, Convergence groups and Seifert fibered
$3$
manifolds, Invent. Math. 118 (1994), 441–456.

P. E. Conner, E. E. Floyd, Differentiable periodic maps, Springer Verlag 1964.

P. E. Conner, F. Raymond, Injective operations of the toral groups, Topology 10 (1971), 283–296.

D. Gabai, Convergence groups are Fuchsian groups, Ann. of Math. (2) 136 (1992), 447–510.

D. H. Gottlieb, A certain subgroup of the fundamental group, Amer. J. Math. 87 (1965), 840–856.

D. H. Gottlieb, Splitting off tori and the evaluation subgroup of the fundamental group, Israel J. of Math. 66 (1989), 216–222.

M. Gromov, Volume and bounded cohomology, Publ. Math. I.H.E.S. 56 (1982), 5–99.

M. Hoster, D. Kotschick, On the simplicial volumes of fiber bundles, Proc. Amer. Math. Soc. 129 (2001), 1229–1232.

W. Jaco, Lectures on threemanifold topology, CBMS Regional Conference Series in Mathematics no. 43, American Math. Society 1980.

J. Kȩ dra, Remarks on the flux groups, Math. Res. Lett. 7 (2000), 279–285.

D. Kotschick, Entropies, volumes, and Einstein metrics, Preprint arXiv:math.DG/0410215 .

D. Kotschick, S. Morita, Signatures of foliated surface bundles and the symplectomorphism groups of surfaces, Topology 44 (2005). 131–149.

D. Kotschick, S. Morita, Characteristic classes of foliated surface bundles with areapreserving holonomy, Preprint arXiv:math.SG/0409214 .

F. Lalonde, D. McDuff, L. Polterovich, On the flux conjectures, in Geometry, topology, and dynamics (Montreal, PQ, 1995), 69–85, CRM Proc. Lecture Notes 15, Amer. Math. Soc., Providence, RI, 1998.

F. Lalonde, D. McDuff, L. Polterovich, Topological rigidity of Hamiltonian loops and quantum homology, Invent. Math. 135 (1999), 369–385.

G. Lupton, J. Oprea, Cohomologically symplectic spaces, toral actions and the Gottlieb group, Trans. Amer. Math. Soc. 347 (1995), 261–288.

I. Madsen, R. J. Milgram, The classifying spaces for surgery and cobordism of manifolds, Annals of Math. Studies, vol. 92, Princeton University Press, Princeton 1979.

D. McDuff, Symplectic diffeomorphisms and the flux homomorphism, Invent. Math. 77 (1984), 353–366.

D. McDuff, Enlarging the Hamiltonian group, in preparation.

D. McDuff, D. A. Salamon, Introduction to Symplectic Topology, second edition, Oxford University Press, 1998.

J. W. Milnor, W. P. Thurston, Characteristic numbers of
$3$
manifolds, Enseign. Math. 23 (1977), 249–254; reprinted in J. W. Milnor, Collected Papers, Vol. 2, Publish or Perish 1995.

J. Moser, On the volume elements on a manifold, Trans. Amer. Math. Soc. 120 (1965), 286–294.

K. Ono, Floer–Novikov cohomology and the flux conjecture, Preprint 2004.

J. Oprea, A homotopical Conner–Raymond theorem and a question of Gottlieb, Canad. Math. Bull. 33 (1990), 219–229.

J. Oprea, Gottlieb groups, group actions, fixed points and rational homotopy, Lecture Notes Series 29, Seoul National University, Research Institute of Mathematics, Global Analysis Research Center, Seoul 1995.

G. P. Paternain, J. Petean, Minimal entropy and collapsing with curvature bounded from below, Invent. math. 151 (2003), 415–450.

L. Polterovich, Growth of maps, distortion in groups and symplectic geometry, Invent. math. 150 (2002), 655–686.

P. Scott, The geometries of
$3$
manifolds, Bull. London Math. Soc. 15 (1983), 401–487.

R. E. Stong, Notes on Cobordism Theory, Princeton University Press 1968.

F. Waldhausen, Gruppen mit Zentrum und
$3$
dimensionale Mannigfaltigkeiten, Topology 6 (1967), 505–517.
Institute of Mathematics, University of Szczecin, Wielkopolska 15, 70451 Szczecin, Poland; and Mathematical Sciences, University of Aberdeen, Meston Building, King's College, Aberdeen AB24 3UE, Scotland, UK Email address: kedra@maths.abdn.ac.uk Mathematisches Institut, LudwigMaximiliansUniversität München, Theresienstr. 39, 80333 München, Germany Email address: dieter@member.ams.org Department of Mathematical Sciences, University of Tokyo, Komaba, Tokyo 1538914, Japan Email address: morita@ms.utokyo.ac.jp