Fiberwise volume non-increasing diffeomorphisms on product manifolds (Q605091): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10711-010-9490-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2024244153 / rank | |||
Normal rank |
Revision as of 22:22, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fiberwise volume non-increasing diffeomorphisms on product manifolds |
scientific article |
Statements
Fiberwise volume non-increasing diffeomorphisms on product manifolds (English)
0 references
23 November 2010
0 references
Let \(M\) and \(N\) be Hausdorff and second countable Riemannian manifolds and let \(n = \dim(M)\). If \(z \in N\) , then \(M \times \{z\} \subset M \times N\) is a manifold isometric to \(M\) and Vol\((M \times \{z\}) = \text{Vol}(M)\). Let \(f: M \times N \to M \times N\) be a diffeomorphism. Then \(f\) is said to be fiberwise volume non-increasing at \(z\) if Vol\((f(M \times \{z\}))\leq \text{Vol}(M)\), where \(f (M \times \{z\})\) has the induced metric from \(M \times N\). A diffeomorphism is fiberwise volume non-increasing (fni) if it is fiberwise volume non-increasing at each \(z \in N\). Further, assuming \(M\) is closed, \(M \times N\) is said to have minimal \(n\)-cohomology if \(H^n (M \times N; \mathbb{Z}_2 ) \cong \mathbb{Z}_2\). With these definitions, the main result of the paper is the following: Theorem 1. Let \(M\) be a closed connected Riemannian manifold and let \(N\) be a Riemannian manifold such that \(M \times N\) has minimal \(n\)-cohomology. If \(f : M \times N \to M \times N\) is a diffeomorphism which is fni at \(z \in N\), then there exists \(w \in N\) such that \(f (M \times \{z\}) = M \times \{w\}\). As a consequence, the authors show that the isometries of \(M \times N\) split, that is, \(\text{Iso}(M \times N ) = \text{Iso}(M) \times \text{Iso}(N )\). Finally, as a corollary, they prove a special case of an extension of Talelli's conjecture [\textit{O. Talelli}, Bull. Lond. Math. Soc. 37, No.~4, 547--554 (2005; Zbl 1079.20068)].
0 references
Riemannian geometry
0 references
isometric group actions
0 references
cohomological dimension
0 references