Weak Operator Daugavet Property

• Weak Operator Daugavet Property is a Banach space property characterized by norm-one operators that nearly fix specified points while mapping others close to target values within every slice of the unit ball.
• It employs finite operator control to achieve refined interpolation in weakly open sets, yielding significant implications in tensor products such as the diametral diameter two property and variants of the Daugavet property.
• The property extends to the polynomial weak operator setting, bridging classical Daugavet geometry with modern operator-theoretic approximations in functional analysis.

The weak operator Daugavet property (WODP) is a Banach-space property that localizes Daugavet-type geometry at the level of bounded operators acting almost identically on a prescribed finite set while sending another prescribed point close to a target. For $x_1,\dots,x_n\in B_X$, $x'\in B_X$, and $\varepsilon>0$, one sets

$\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$

to be the set of all $x\in B_X$ for which there exists an operator $T\in\mathcal L(X,X)$ with $\|T\|\le 1$ such that

$$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$

Then $X$ has the WODP if for every $x_1,\dots,x_n\in B_X$, every $x'\in B_X$0, every $x'\in B_X$1, and every slice $x'\in B_X$2,

$x'\in B_X$3

Introduced earlier in work of Martín and Rueda Zoca and subsequently developed in tensor-product and polynomial settings, the property is an operator-theoretic approximation principle built into the geometry of slices, and it has become a useful intermediary between the classical Daugavet property and stronger operator-selection phenomena (Dantas et al., 8 Jul 2025).

1. Definition and geometric content

The defining feature of the WODP is the simultaneous control of two kinds of constraints inside an arbitrary slice of $x'\in B_X$4. First, a witnessing operator $x'\in B_X$5 must almost fix a finite family $x'\in B_X$6. Second, the same operator must send a chosen point $x'\in B_X$7 from the slice close to a prescribed target $x'\in B_X$8. The point $x'\in B_X$9 is not chosen freely in the ball but must lie in the slice under consideration, so the property couples slice geometry with finite-dimensional operator interpolation (Dantas et al., 8 Jul 2025).

This formulation is stronger than merely requiring the existence of vectors almost codirected with a given vector. In the terminology used in the literature, inside any slice of the unit ball one can find a point $\varepsilon>0$0 which can be sent near a prescribed target $\varepsilon>0$1 by a norm-one operator that almost fixes finitely many prescribed points. That distinction is decisive in applications to tensor products and to weakly open subsets, where control by a single operator is more flexible than pointwise norm estimates (Dantas et al., 8 Jul 2025).

A useful iterative strengthening appears in tensor-product arguments: if $\varepsilon>0$2 has the WODP, then given finitely many non-empty relatively weakly open subsets $\varepsilon>0$3, finitely many points $\varepsilon>0$4, and finitely many unit vectors $\varepsilon>0$5, one can choose $\varepsilon>0$6 and a bounded operator $\varepsilon>0$7 such that $\varepsilon>0$8, $\varepsilon>0$9, and $\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$0 for all relevant indices. This finite simultaneous hitting principle is the basic WODP mechanism behind the projective tensor-product theory (Zoca, 2024).

2. Relation to the classical Daugavet property and stronger operator variants

The classical Daugavet property (DPr) requires that every rank-one operator $\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$1 satisfy

$\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$2

Equivalently, for every $\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$3 and every slice $\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$4 of $\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$5,

$\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$6

A sharper formulation due to Shvidkoy states that if $\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$7 has the DPr, then for every $\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$8 and every $\operatorname{OF}(x_1,\dots,x_n;x',\varepsilon)$9, the set

$x\in B_X$0

is weakly dense in $x\in B_X$1 (Dantas et al., 8 Jul 2025).

The WODP implies the Daugavet property, but the converse is not known. The current polynomial analysis explicitly notes that the available methods do not show that the Daugavet property implies WODP, and that this problem remains open. Thus WODP is stronger than the classical Daugavet property as presently understood, even though it is motivated by the same slice geometry (Zoca, 2024).

A stronger antecedent is the operator Daugavet property (ODP). A Banach space $x\in B_X$2 has the ODP if for every $x\in B_X$3, every slice $x\in B_X$4, and every $x\in B_X$5, there exists $x\in B_X$6 such that for every $x\in B_X$7, there exists an operator $x\in B_X$8 with

$x\in B_X$9

The WODP was introduced as a weakening of this operator Daugavet property (Zoca et al., 2019, Zoca, 2024).

3. Polynomial weak operator Daugavet property

A central development of 2025 is the passage from weak topology to weak polynomial topology. For a Banach space $T\in\mathcal L(X,X)$0, the weak polynomial topology is the smallest topology making every scalar-valued continuous polynomial $T\in\mathcal L(X,X)$1 continuous; thus $T\in\mathcal L(X,X)$2 means

$T\in\mathcal L(X,X)$3

The polynomial weak operator Daugavet property is obtained by replacing slice conditions by polynomially defined ones: for every $T\in\mathcal L(X,X)$4, every $T\in\mathcal L(X,X)$5, every $T\in\mathcal L(X,X)$6, and every scalar polynomial $T\in\mathcal L(X,X)$7 with $T\in\mathcal L(X,X)$8, there exist

$T\in\mathcal L(X,X)$9

such that

$\|T\|\le 1$0

This is the exact analogue of replacing slices by weak-polynomial neighborhoods (Dantas et al., 8 Jul 2025).

The key theorem states that if $\|T\|\le 1$1 has the WODP, then for every $\|T\|\le 1$2, every $\|T\|\le 1$3, and every $\|T\|\le 1$4, the set

$\|T\|\le 1$5

is dense in $\|T\|\le 1$6 for the relative weak polynomial topology of $\|T\|\le 1$7. This upgrades the earlier weak-density conclusion to weak polynomial density, and immediately yields the implication

$\|T\|\le 1$8

The nontriviality lies in the fact that scalar polynomials are usually not weakly continuous on bounded sets, so weak density alone is insufficient for polynomial applications (Dantas et al., 8 Jul 2025).

The proof mechanism is an operator-theoretic analogue of Shvidkoy-type averaging. One constructs vectors $\|T\|\le 1$9 and an operator $$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$0 with $$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$1 such that $$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$2 almost fixes the prescribed finite family, sends each $$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$3 near $$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$4, and preserves finitely many multilinear forms approximately. Then the average

$$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$5

approximates a target point in the weak polynomial topology, while still satisfying $$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$6. The induction step uses composition $$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$7, with the new operator $$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$8 obtained from the earlier weak-density WODP lemma (Dantas et al., 8 Jul 2025).

4. Tensor products and weakly open sets

The WODP has strong tensor-product consequences. If $$\|T(x_i)-x_i\|<\varepsilon \quad (i=1,\dots,n), \qquad \|T(x)-x'\|<\varepsilon.$$9 has the WODP, then for every Banach space $X$0,

$X$1

has the diametral diameter two property (DD2P). If $X$2 has the WODP, then for every Banach space $X$3,

$X$4

has the DD2P. If $X$5 and $X$6 have the WODP, then

$X$7

has the Daugavet property. These results substantially improve the available stability theory for weakly open subsets in tensor product spaces (Zoca, 2024).

In the injective case, the proof exploits the operator realization of $X$8 as the norm closure of finite-rank $X$9-to-weak continuous operators $x_1,\dots,x_n\in B_X$0. Weakly open neighborhoods are reduced to finite-dimensional operator data, and a local reflexivity tool is used to convert finite-rank maps between duals into genuine tensor elements. In the projective case, the proof starts from an approximation

$x_1,\dots,x_n\in B_X$1

inside a weakly open set and then applies the finite simultaneous hitting principle from WODP to perturb the $x_1,\dots,x_n\in B_X$2-coordinates while keeping the tensor inside the same weak neighborhood (Zoca, 2024).

The resulting DD2P statements do not in general upgrade to the strong diameter two property. The injective and projective theories both admit counterexamples to such an upgrade, so the WODP presently yields DD2P, and in the injective dual-WODP situation the full Daugavet property, but not universal SD2P stability (Zoca, 2024).

5. Examples and classes of spaces

The WODP is known for several important classes. Examples listed in the tensor-product literature include $x_1,\dots,x_n\in B_X$3 when $x_1,\dots,x_n\in B_X$4 is an atomless $x_1,\dots,x_n\in B_X$5-finite measure, $x_1,\dots,x_n\in B_X$6-preduals with the Daugavet property, projective tensor products of Banach spaces with the WODP, and symmetric projective tensor products of Banach spaces with the WODP (Zoca, 2024).

Concrete consequences follow. If $x_1,\dots,x_n\in B_X$7 is an $x_1,\dots,x_n\in B_X$8-predual with the Daugavet property, then $x_1,\dots,x_n\in B_X$9 has the DD2P for every Banach space $x'\in B_X$00. For localizable $x'\in B_X$01-finite measure spaces $x'\in B_X$02, the following are equivalent: $x'\in B_X$03

$x'\in B_X$04

These equivalences identify the atomless case as the exact $x'\in B_X$05-injective tensor setting covered by WODP methods (Zoca, 2024).

The polynomial theory adds further examples. If $x'\in B_X$06 has the WODP, then for every $x'\in B_X$07, the $x'\in B_X$08-fold projective symmetric tensor product

$x'\in B_X$09

has the WODP, hence in particular has the Daugavet property. The resulting families include $x'\in B_X$10-embedded Banach spaces $x'\in B_X$11 with the metric approximation property, the Daugavet property, and density $x'\in B_X$12, as well as projective tensor products

$x'\in B_X$13

where $x'\in B_X$14 and $x'\in B_X$15 are $x'\in B_X$16-preduals with the Daugavet property, or $x'\in B_X$17-spaces for atomless $x'\in B_X$18 and arbitrary $x'\in B_X$19, or spaces of the preceding $x'\in B_X$20-embedded type (Dantas et al., 8 Jul 2025).

6. Position within Daugavet-type geometry

The WODP occupies a distinctly operator-theoretic position inside Daugavet theory. It is stronger than the classical Daugavet property, weaker than the operator Daugavet property, and robust enough to survive passage from weak topology to weak polynomial topology. In both tensor and polynomial contexts, its effectiveness comes from the same feature: finite operator control inside weakly structured subsets of the unit ball (Dantas et al., 8 Jul 2025, Zoca, 2024).

At the same time, the property is not merely another diameter-two condition. The tensor-product theory shows that WODP can force DD2P and, in appropriate injective dual settings, the full Daugavet property. The polynomial theory shows that it also yields weak polynomial density statements that are inaccessible from weak density alone. A plausible implication is that WODP is best understood as an operator-selection refinement of slice geometry rather than as a purely diametral condition.

Two structural limitations remain central. First, the implication

$x'\in B_X$21

is still open. Second, the tensor-product consequences obtained from WODP do not generally upgrade from DD2P to SD2P. These open ends explain why WODP has become a useful testing ground: it is strong enough to produce new theorems, but still sufficiently rigid to expose unresolved gaps between classical Daugavet geometry, operator approximation, and polynomial topology (Dantas et al., 8 Jul 2025, Zoca, 2024).