Abstract:Suppose M is a noncompact connected n-manifold and m is a good Radon measure of M with m(bdry M) = 0. Let H(M; m) denote the group of m-preserving homeomorphisms of M equipped with the compact-open topology and H_E(M; m) denote the subgroup consisting of all h in H(M; m) which fix the ends of M. Each h in H_E(M; m) moves mass toward ends and this quantity is measured by a mass flow homomorphism J : H_E(M; m) -> V_m, where V_m is a topological vector space. We show that the map J has a continuous section. This induces the factorization H_E(M; m) cong Ker J times V_m and implies that Ker J is a strong deformation retract of H_E(M; m).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the internal structure of the measure - preserving homeomorphisms group on non - compact manifolds, especially how these homeomorphisms affect the mass flow at the "ends" of the manifolds. Specifically, the author has studied the following problems:
1. **Mass flow to the ends**: When considering a non - compact connected n - dimensional manifold \(M\) and a good Radon measure \(\omega\) on it, how to describe and quantify the mass flow to the ends of the manifold caused by the measure - preserving homeomorphism \(h\) on \(M\)?
2. **Existence and properties of the end - charge homomorphism**: The end - charge homomorphism \(c_{\omega}: H_E(M; \omega)\to S(M, \omega)\) is introduced, where \(H_E(M; \omega)\) is the measure - preserving homeomorphisms group that fixes the ends of \(M\), and \(S(M, \omega)\) is the space of end - charges. The author has proved that this homomorphism has a continuous section, and through this result, some important algebraic - topological conclusions have been obtained.
3. **Decomposition of the group and strong deformation retract**: By proving that the end - charge homomorphism \(c_{\omega}\) has a continuous section, the author has shown that \(H_E(M; \omega)\) can be decomposed into \(\text{Ker} c_{\omega}\times S(M, \omega)\), and \(\text{Ker} c_{\omega}\) is the strong deformation retract of \(H_E(M; \omega)\).
### Specific problem description
- **Define the measure - preserving homeomorphisms group**: Let \(M\) be a non - compact connected n - dimensional manifold, \(\omega\) be a good Radon measure on \(M\), and \(\omega(\partial M) = 0\). Denote \(H(M; \omega)\) as the measure - preserving homeomorphisms group on \(M\), endowed with the compact - open topology.
- **End - charge homomorphism**: Define \(c_{\omega}: H_E(M; \omega)\to S(M, \omega)\), which measures the amount of change in the mass flow to the ends caused by each homeomorphism \(h\in H_E(M; \omega)\). The specific formula is:
\[
c_{\omega}(h)(E_C)=\omega(C - h(C))-\omega(h(C)-C)
\]
where \(C\) is an arbitrary Borel subset such that \(\text{Fr }C\) is compact, and \(E_C\subset E_M\) is the set of ends of \(C\).
- **Main results**: It has been proved that the end - charge homomorphism \(c_{\omega}\) has a continuous (non - homomorphic) section \(s: S(M, \omega)\to H_E(M; \omega)\) such that \(c_{\omega}\circ s=\text{id}\). This leads to the decomposition of the group \(H_E(M; \omega)\):
\[
H_E(M; \omega)\cong\text{Ker} c_{\omega}\times S(M, \omega)
\]
and \(\text{Ker} c_{\omega}\) is the strong deformation retract of \(H_E(M; \omega)\).
Through the solutions of these problems, the author has revealed the internal structure of the measure - preserving homeomorphisms group on non - compact manifolds and its influence on the ends of the manifolds.