A Metric Fixed Point Theorem and Some of Its Applications

Karlsson, Anders

DOI: https://doi.org/10.1007/s00039-024-00658-x

2024-02-08

Geometric and Functional Analysis

Abstract:A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new for isometries of convex sets of Banach spaces as well as for non-locally compact CAT(0)-spaces and injective spaces. Examples of actions on non-proper CAT(0)-spaces come from the study of diffeomorphism groups, birational transformations, and compact Kähler manifolds. A special case of the fixed point theorem provides a novel mean ergodic theorem that in the Hilbert space case implies von Neumann's theorem. The theorem accommodates classically fixed-point-free isometric maps such as those of Kakutani, Edelstein, Alspach and Prus. Moreover, from the main theorem together with some geometric arguments of independent interest, one can deduce that every bounded invertible operator of a Hilbert space admits a nontrivial invariant metric functional on the space of positive operators. This is a result in the direction of the invariant subspace problem although its full meaning is dependent on a future determination of such metric functionals.

mathematics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the fixed - point theorem of isometries in metric spaces. Specifically, the author Anders Karlsson proposed a new fixed - point theorem, which is applicable to metric spaces with conical bicombing. This new fixed - point theorem is not only applicable to convex sets in Banach spaces, but also to non - locally compact CAT(0) spaces and injective spaces. In addition, this theorem also covers isometries that have no fixed points classically, such as the examples of Kakutani, Edelstein, Alspach and Prus.

### Main contributions
1. **New fixed - point theorem**: This theorem proves the existence of fixed points of isometries on certain metric functionals under the assumption of the existence of conical bicombing.
2. **Wide applications**: This theorem has wide applications in ergodic theory, operator theory, geometric group theory, dynamical systems, complex analysis and other fields.
3. **Special cases**: In Hilbert space, this theorem provides a new mean ergodic theorem, which implies von Neumann's theorem in the case of Hilbert space.
4. **Invariant subspace problem**: Through this theorem, the author proves that every bounded invertible linear operator on Hilbert space has a non - trivial invariant metric functional, which provides a new perspective for the invariant subspace problem.

### Specific problems
- **Conditions of the fixed - point theorem**: This theorem holds in metric spaces where conical bicombing is assumed to exist.
- **Existence of fixed points**: For an isometric embedding \(T: X\rightarrow X\), there exists a metric functional \(h\in\hat{X}\) such that \(h(Tx) = h(x)-d\), where \(d=\inf_{x\in X}d(x, Tx)\).
- **Application examples**: The paper mentions multiple application examples, including the examples of Kakutani, Edelstein, Alspach and Prus, as well as applications in operator theory on Hilbert space.

### Mathematical expressions
- **Conical bicombing**:
\[
\sigma: X\times X\times[0, 1]\to X
\]
satisfying that \(\sigma(x, y,\cdot)\) is a constant - speed geodesic from \(x\) to \(y\), and
\[
d(\sigma_{xy}(t),\sigma_{xy'}(t))\leq td(y, y')
\]
for all \(x, y, y'\in X\) and \(0\leq t\leq1\).

- **Fixed - point theorem**:
\[
\text{Theorem 1.}\quad\text{Let }(X, d)\text{ be a metric space with weak conical bicombing, and }T: X\rightarrow X\text{ be an isometric embedding. Then there exists }h\in\hat{X}\text{ such that}
\]
\[
h(Tx) = h(x)-d\quad\forall x\in X,\quad\text{where }d = \inf_{x\in X}d(x, Tx).
\]
If \(h = h_y\) for some \(y\in X\), then \(Ty = y\). If \(T\) is an isometric mapping, then \(Th = h\).

### Conclusion
This paper provides new tools and perspectives for the study of isometries by introducing a new fixed - point theorem, especially in non - locally compact spaces. This result not only extends the existing fixed - point theory, but also finds applications in multiple mathematical fields.