On an open question about the equivalence of monotone maximality and surjectivity condition in $\mathrm{CAT}(0)$ spaces: Negative and partially positive answers
Year: 2026
Type: preprint
Abstract: In a Hilbert space, it is known that a monotone operator is maximal if and only if the \emph{surjectivity condition}, \ie its resolvent has a full domain, holds. This equivalence is an open question in a $\mathrm{CAT}(0)$ space, knowing only that the surjectivity condition implies the monotone maximality. In fact, there have been three approaches to generalize the monotonicity from a Hilbert space into a $\mathrm{CAT}(0)$ space $X$ --- \textbf{A:} the ones of dual space $X^{\ast}$, \textbf{B:} of linear dual space $X^{\diamond}$, and \textbf{C:} of tangent bundle $TX$. In this paper, we answer \emph{negatively} on the first two approaches by constructing counterexamples on an $\mathbb{R}$-tree. We then go on proving that the equivalence is \emph{affirmative} on the same $\mathbb{R}$-tree, without any assumption on the domain. Moreover, we show that the answer is still \emph{positive} in some other cases, through a flat slice principle that transfers Minty's principle from Hilbert spaces to flat convex subsets, and through Minty's principle on proper Hilbert-Hadamard spaces satisfying a convex half-space condition. The question of equivalence \emph{remains open} under the general setting with the tangential approach.
Source: arXiv (Cornell University)
Author: Chaipunya, Parin
Institution: King Mongkut's University of Technology Thonburi
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7223061719