Abstract:In this note we investigate the simplicial volume of fiber bundles with connected structure group. We are able to show that if the structure group is either compact or a Lie group, or if the fiber is aspherical that the simplicial volume of the total space agrees with the simplicial volume of the trivial bundle.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the properties of the simplicial volume of fiber bundles under specific conditions. Specifically, the author studied the simplicial volume of fiber bundles with connected structure groups and attempted to answer the following question:
**Question 1.1**: Suppose a closed, connected, and oriented manifold \(E\) is fibered over a simply - connected manifold \(B\) of positive dimension. Is the simplicial volume of \(E\) zero?
To partially answer this question, the author proved the following theorem:
**Theorem A**: Let \(F\rightarrow E\rightarrow B\) be a fiber bundle consisting of closed, connected, and oriented manifolds, and its structure group satisfies any of the following conditions:
- (a) It is compact.
- (b) It is a connected Lie group.
- (c) The fiber is contractible and the structure group is connected.
Then the simplicial volume of \(E\) is equal to the simplicial volume of the trivial bundle \(F\times B\).
### Main contributions
1. **Properties of simplicial volume**: By studying the topological properties of the structure group and the fiber of the fiber bundle, the author revealed the relationship between the simplicial volume of the fiber bundle and that of its trivial bundle under certain conditions.
2. **Generalize existing results**: Previous research has shown that if the base manifold \(B\) is a simply - connected sphere or a flexible 2 - connected manifold, and the fundamental group of the fiber satisfies the Novikov conjecture, then the simplicial volume of the total space is zero. This paper generalizes on this basis.
3. **Rational homotopy type of classifying spaces**: The author proved that for the identity component of compact groups, Lie groups, and self - homotopy - equivalent spaces, the rational homotopy type of their classifying space \(BG\) is a product of simply - connected Eilenberg - MacLane spaces, thus simplifying the calculation of the simplicial volume.
### Formula representation
Some of the key formulas involved in the paper include:
- Definition of simplicial volume:
\[
\|[M]\|=\inf\left\{\sum_{i}|\lambda_{i}|\mid [M]=\sum_{i}\lambda_{i}[\sigma_{i}]\right\}
\]
where \([M]\) is the fundamental class of the manifold \(M\).
- Application of the mapping theorem:
\[
\|E\| = \|f([E])\|
\]
where \(f:E\rightarrow\gamma_{F,G}\times B\pi\) is a covering map.
### Conclusion
Through the above research, the author not only partially answered Question 1.1, but also provided a broader framework for understanding the simplicial volume of fiber bundles with connected structure groups. This result provides an important theoretical basis for further research on the topological and geometric properties of fiber bundles.