A group action approach to the Daugavet property

Abstract: We introduce the $G$-Daugavet property ($G$-DPr, for short) for Banach spaces endowed with an action of a group $G$ by surjective linear isometries. This notion provides a common framework for the classical Daugavet property and the alternative Daugavet property, which correspond respectively to the trivial action and to the scalar action of $S_{\mathbb{K}}$. We establish several characterizations of the $G$-DPr in terms of $G$-slices and closed convex $G$-invariant hulls, recovering the usual slice descriptions of the DPr and the aDPr as particular cases. We show that the presence of a group action leads to new behavior in Daugavet theory. In particular, the $G$-DPr may hold on classical reflexive spaces in sharp contrast with the classical Daugavet property. We relate this phenomenon to convex transitivity, almost transitivity and finite-dimensional rotation problems. We also prove group-action versions of the classical characterizations for $L^1(μ, X)$- and $C(K,X)$-spaces. The paper also studies group separable determination, $G$-versions of numerical radius and numerical index, and connections between the $G$-DPr and strong Radon-Nikodým and SCD operators. Finally, we introduce a parameter which measures how far the $G$-DPr is from the classical DPr in a quantitative manner. As a consequence of these results, we obtain conditions under which the $G$-DPr recovers several classical implications, including the failure of the RNP for both $X$ and $X^*$, the presence of copies of $\ell_1$ and the failure of the unit ball to be an SCD set.

• The paper introduces the G-Daugavet property, unifying classical and alternative Daugavet frameworks by harnessing surjective isometric group actions on Banach spaces.
• It characterizes G-DPr through G-slices and invariant convex hulls, offering new geometric tools to analyze operator norm identities in settings including reflexive and finite-dimensional spaces.
• A quantitative parameter, α_G(X), is defined to measure group-induced antipodal behavior, linking convex transitivity and classic Daugavet consequences like failure of the Radon-Nikodým property.

Group Actions and the Daugavet Property: An Extended Framework

Introduction

"A group action approach to the Daugavet property" (2606.20429) provides a principled extension of Daugavet-type phenomena in Banach spaces via group actions. The classical Daugavet property (DPr) and its alternative variant (aDPr) have long been recognized as fundamental in the geometry of Banach spaces, particularly in how they constrain norm behavior of rank-one operators. The authors propose the $G$-Daugavet property ($G$-DPr), defined for Banach spaces equipped with actions by surjective linear isometries of a group $G$. This unifies the classical DPr ($G=\{\id_X\}$) and aDPr ($G=S_K$, scalar multiplication), and enables the analysis of operator norm identities under broader invariance conditions. Crucially, the $G$-DPr exhibits both parallelisms and sharp divergences from classical theory, especially when the action of $G$ produces behavior (e.g., almost transitivity) not achievable in standard geometry.

Definitions and Characterizations

The $G$-DPr is defined for a $G$-Banach space $X$: every rank-one operator $G$0 must satisfy the norm identity

$G$1

This includes the DPr and aDPr as particular cases. The paper establishes equivalent geometric characterizations for $G$2-DPr that generalize slice-based descriptions:

• $G$3-slices replace classical slices, considering the orbit of a slice under the group action.
• Closed convex $G$4-invariant hulls replace ordinary convex hulls, encapsulating group-invariance.

Key characterizations adapt classical conditions regarding intersections of slices and norm estimates to the group action context, demonstrating that several fundamental results for DPr and aDPr seamlessly generalize by replacing standard geometric objects with their $G$5-invariant counterparts.

Divergence from Classical Daugavet Theory

The authors show that the $G$6-DPr can hold in reflexive and even finite-dimensional spaces, in direct opposition to classical DPr results (which preclude DPr for reflexive spaces, Asplund spaces, or those with unconditional Schauder bases). The presence of a group action can compensate for geometric deficiencies, producing "Daugavet-like" operator behavior due to orbit structure.

They relate this to convex transitivity and almost transitivity of the group action:

• Convex transitive actions: If $G$7 acts convex transitively, $G$8 necessarily has the $G$9-DPr, even if the space is reflexive or finite-dimensional.
• LUR spaces: For locally uniformly rotund (LUR) spaces, $G$0 has the $G$1-DPr iff the action of $G$2 is almost transitive. For example, $G$3 admits the $G$4-DPr for all $G$5, but $G$6, $G$7, never has the classical $G$8-DPr.

The behavior of $G$9-DPr diverges sharply depending on the nature of $G=\{\id_X\}$0; for compact or noncompact $G=\{\id_X\}$1, or for particular orbit structures (finite, dense), the $G=\{\id_X\}$2-DPr can hold or fail contrary to classical geometric constraints.

Stability and Vector-Valued Function Spaces

Stability principles for the DPr and aDPr extend to the group setting:

• For $G=\{\id_X\}$3- and $G=\{\id_X\}$4-direct sums, the paper establishes that $G=\{\id_X\}$5 has $G=\{\id_X\}$6-DPr iff all summands have their respective $G=\{\id_X\}$7-DPr.
• For vector-valued spaces such as $G=\{\id_X\}$8 and $G=\{\id_X\}$9, the group-action framework recovers classical characterizations:
  • $G=S_K$0 has the $G=S_K$1-DPr iff $G=S_K$2 is atomless or $G=S_K$3 has the $G=S_K$4-DPr.
  • $G=S_K$5 has the $G=S_K$6-DPr iff $G=S_K$7 is perfect or $G=S_K$8 has the $G=S_K$9-DPr.

Crucially, these equivalences require the function space to be equipped with the natural $G$0-action (i.e., pointwise action) induced from $G$1; otherwise, incompatible actions can break classical implications.

Numerical Radius, Index, and Operator-Theoretic Implications

The authors define group-invariant versions of the numerical radius ($G$2) and numerical index ($G$3), generalizing classical operator norm identities. Notably, group convex-transitive actions guarantee $G$4 even when classical geometric features are absent.

Connections with strong Radon-Nikodým operators and SCD sets reveal that the $G$5-DPr forces failure of RNP and inclusion of $G$6 copies under appropriate quantitative bounds; when $G$7 (the antipodality constant), many classical Daugavet property consequences are recovered. The antipodality constant is introduced to discretize how far $G$8-action deviates from classical Daugavet phenomena, enabling quantitative separation of fake and genuine Daugavet behavior.

Quantitative Framework and Parameterization

The $G$9-DPr is not trivial generalization; it exhibits new behaviors. The authors develop a quantitative parameter, $G$0, measuring antipodal behavior induced by the group action. Sharp estimates and inequalities relate $G$1 for rank-one $G$2 to $G$3. For real $G$4-Banach spaces with $G$5-DPr, Daugavet indices of thickness satisfy $G$6. These bounds demonstrate that $G$7-DPr with $G$8 forces the familiar consequences of DPr: failure of RNP, presence of $G$9, and non-SCD unit balls. For $G$0, these classical consequences may not hold.

Interaction with Scalar Actions, Subgroups, and Complex Geometry

The paper analyzes scalar actions (cyclic and subgroup actions of $G$1). The presence of $G$2 in the group (in real spaces) always forces $G$3. For complex spaces, subgroup actions admit a dichotomy: for finite $G$4, $G$5-DPr and RNP are incompatible; for infinite $G$6, $G$7-DPr coincides with aDPr, and the classical open problem of existence of reflexive spaces with aDPr is recast in group terms.

The closure of the scalar orbit under $G$8 is shown to coincide with the spatial numerical range induced by $G$9, further connecting numerical range theory and group actions.

Implications and Future Directions

The introduction of the $G$0-DPr as a unifying principle demonstrates the power of group actions to generate or suppress Daugavet-type behavior irrespective of geometric constraints. The framework recovers classical theory as limiting cases and provides quantitative and qualitative tools for separating genuine geometric phenomena from those arising purely from group dynamics.

Applications potentially span operator theory, infinite-dimensional geometry, and equivariant functional analysis. The quantitative approach suggests further exploration of thickness indices, group-invariant lushness, and operator classifications in group-action settings. Additionally, construction of exotic examples (e.g., reflexive spaces with $G$1-DPr but without classical DPr) remains an open, technically challenging direction.

Conclusion

This work systematically generalizes the Daugavet property by incorporating group actions, establishing a common framework for classical and alternative Daugavet theory. The $G$2-DPr both subsumes previous results and reveals new behaviors: it can hold in reflexive spaces, finite-dimensional spaces, and even spaces with unconditional bases, depending on the action of $G$3. The paper introduces technical tools including slice-based characterizations, numerical index generalizations, and quantitative bounds via the antipodality constant. The interaction between geometric and group-induced operator behavior is elucidated, and numerous classical implications are recovered under appropriate group-theoretic and quantitative assumptions. The extension suggested by this group-action perspective motivates further study in operator theory and Banach space geometry, particularly in settings with nontrivial symmetry and invariance.