Polynomial Daugavet Property in Banach Spaces

• The polynomial Daugavet property is defined on Banach spaces by requiring every weakly compact polynomial to satisfy the Daugavet equation, highlighting extreme norm behavior.
• It leverages the weak polynomial topology to refine slice-based arguments, proving the equivalence between classical Daugavet and polynomial versions.
• This framework has practical implications for operator theory and tensor products, impacting studies in JB*-triples, C*-algebras, and uniform algebras.

Searching arXiv for recent and foundational papers on the polynomial Daugavet property. arxiv_search.query({"search_query":"all:\"polynomial Daugavet property\" OR ti:\"Daugavet property\" AND abs:polynomial","max_results":10,"sort_by":"relevance","sort_order":"descending"}) Refining the search to include tensor-product and operator variants connected to the topic. arxiv_search.query({"search_query":"all:\"polynomial Daugavet property\" AND (Banach OR tensor OR operator OR JB*)","max_results":10,"sort_by":"submittedDate","sort_order":"descending"}) The polynomial Daugavet property (PDP) is the requirement that every weakly compact polynomial $P\in \mathcal{P}(X,X)$ on a Banach space $X$ satisfy the Daugavet equation

$\|\mathrm{Id}_X+P\|=1+\|P\|.$

Because linear operators are $1$-homogeneous polynomials, PDP is formally stronger than the classical Daugavet property (DP). The decisive structural result is now that the two properties are equivalent for arbitrary real or complex Banach spaces: $X$ has DP if and only if it has PDP. The proof of this equivalence replaces weak-topological arguments by arguments in the weak polynomial topology and resolves the longstanding open problem posed in the earlier literature (Dantas et al., 8 Jul 2025).

1. Definition and ambient framework

For Banach spaces $X$ and $Y$, an $N$-homogeneous polynomial $P:X\to Y$ is a map of the form $P(x)=F(x,\dots,x)$, where $X$0 is continuous, $X$1-linear, and symmetric. A continuous polynomial is a finite sum of homogeneous polynomials, and its norm is

$X$2

A rank-one polynomial is of the form $X$3, with scalar-valued $X$4 and $X$5. The polynomial Daugavet property is defined by requiring the Daugavet equation for every weakly compact polynomial $X$6; equivalently, it is enough to verify the equation on rank-one-type polynomials $X$7 (Dantas et al., 8 Jul 2025).

The linear antecedent is the Daugavet property: $X$8 has DP when every rank-one operator $X$9 satisfies

$\|\mathrm{Id}_X+P\|=1+\|P\|.$0

where a rank-one operator has the form $\|\mathrm{Id}_X+P\|=1+\|P\|.$1. In spaces with DP, the same equality extends from rank-one operators to weakly compact operators. Since linear operators are polynomials, PDP implies DP immediately; the nontrivial content is the converse implication (Dantas et al., 8 Jul 2025).

A central topological object in the modern theory is the weak polynomial topology on $\|\mathrm{Id}_X+P\|=1+\|P\|.$2, defined as the smallest topology making all scalar-valued continuous polynomials continuous. Thus a net $\|\mathrm{Id}_X+P\|=1+\|P\|.$3 converges to $\|\mathrm{Id}_X+P\|=1+\|P\|.$4 in the weak polynomial topology exactly when $\|\mathrm{Id}_X+P\|=1+\|P\|.$5 for every $\|\mathrm{Id}_X+P\|=1+\|P\|.$6. On the bidual $\|\mathrm{Id}_X+P\|=1+\|P\|.$7, the polynomial-star topology is defined by the Aron–Berner extensions $\|\mathrm{Id}_X+P\|=1+\|P\|.$8 of scalar polynomials. A Goldstine-type theorem of Davie–Gamelin states that $\|\mathrm{Id}_X+P\|=1+\|P\|.$9 is the polynomial-star closure of $1$0, and this approximation principle is a technical backbone of the modern proof of $1$1 (Dantas et al., 8 Jul 2025).

2. Geometric characterizations

The linear Daugavet property admits a slice-theoretic description: $1$2 has DP if and only if for every $1$3 and every slice $1$4 of $1$5,

$1$6

Here a slice is a non-empty intersection with an open half-space. Shvidkoy’s lemma sharpens this by asserting that, if $1$7 has DP, then for every $1$8 and $1$9, the set

$X$0

is weakly dense in $X$1. Equivalently, for every $X$2 and $X$3, there exists a net $X$4 such that $X$5 weakly and $X$6 (Dantas et al., 8 Jul 2025).

The polynomial analogue replaces slices by scalar polynomials. A standard characterization states that $X$7 has PDP if and only if, given $X$8, $X$9, and a norm-one scalar-valued polynomial $X$0, there exist $X$1 and $X$2 with $X$3 such that

$X$4

This formulation exhibits the same near-extremal norm geometry as the linear theory, but with slices replaced by polynomial level sets (Dantas et al., 8 Jul 2025).

The technical obstruction to deducing this directly from the linear theory is that, in infinite-dimensional Banach spaces, polynomials are generally not weakly continuous on bounded sets except in finite-type situations. Moreover, spaces with DP contain copies of $X$5, where there are polynomials that are weakly sequentially continuous but not weakly continuous on bounded sets. This prevents a direct transplantation of Shvidkoy’s weak-topological lemma to the polynomial setting and motivates the use of the weak polynomial topology instead (Dantas et al., 8 Jul 2025).

3. Equivalence with the classical Daugavet property

The main theorem establishing the equivalence $X$6 proceeds by upgrading Shvidkoy’s lemma from the weak topology to the weak polynomial topology. The fundamental statement is that if $X$7 has DP, then for every $X$8 and $X$9 there exists a net $Y$0 converging to $Y$1 in the weak polynomial topology such that

$Y$2

Equivalently, for every $Y$3 and $Y$4, the set

$Y$5

is dense in $Y$6 for the weak polynomial topology (Dantas et al., 8 Jul 2025).

The proof combines three ingredients. First, it uses the quasi-codirected point argument from Shvidkoy’s original lemma. Second, it uses the Davie–Gamelin net construction in the bidual to ensure simultaneous approximation of polynomial values through the polynomial-star topology. Third, it uses an $Y$7-type convexity estimate: if $Y$8 and $Y$9 with $N$0, then for every $N$1,

$N$2

This estimate allows one to pass from almost quasi-codirected pairs to aggregated averages (Dantas et al., 8 Jul 2025).

Once the weak-polynomial version of Shvidkoy’s lemma is available, the passage to PDP is short. Given $N$3, $N$4, and $N$5 with $N$6, one chooses $N$7 and $N$8 with $N$9 so that $P:X\to Y$0. The weak polynomial net $P:X\to Y$1 approximating $P:X\to Y$2 preserves polynomial values, so $P:X\to Y$3, while simultaneously forcing $P:X\to Y$4. For large $P:X\to Y$5, both

$P:X\to Y$6

hold, which is exactly the geometric characterization of PDP. The converse implication $P:X\to Y$7 is immediate because linear operators are polynomials (Dantas et al., 8 Jul 2025).

This result solves the open problem explicitly posed in MMP10, asking whether DP and PDP coincide for all Banach spaces. It also gives a conceptual reformulation of the Daugavet phenomenon: the essential geometry of the theory is preserved when the weak topology is replaced by the weak polynomial topology, which is the natural topology for polynomial data (Dantas et al., 8 Jul 2025).

4. Earlier partial results and model classes

Before the general equivalence theorem, coincidence results for DP and PDP had been established only for specific classes of spaces. The 2025 equivalence theorem situates these earlier results within a single general statement, but the partial results remain structurally significant because their proofs often use tools specific to the ambient category (Dantas et al., 8 Jul 2025).

In complex JB$P:X\to Y$8-triples and $P:X\to Y$9-algebras, it was proved that the Daugavet property implies the polynomial Daugavet property, and that the alternative Daugavet property implies the alternative polynomial Daugavet property. The class includes diffuse $P(x)=F(x,\dots,x)$0-algebras and JB$P(x)=F(x,\dots,x)$1-triples without minimal tripotents. The argument is based not on weak polynomial topology, but on the strong$P(x)=F(x,\dots,x)$2 topology, the sequential strong$P(x)=F(x,\dots,x)$3-continuity of scalar polynomials, and the Peirce decomposition relative to tripotents. In particular, for a complex JB$P(x)=F(x,\dots,x)$4-triple $P(x)=F(x,\dots,x)$5, every weakly compact polynomial $P(x)=F(x,\dots,x)$6 satisfies

$P(x)=F(x,\dots,x)$7

whenever $P(x)=F(x,\dots,x)$8 has the Daugavet property (Cabezas et al., 2022).

For vector-valued uniform-algebra function spaces $P(x)=F(x,\dots,x)$9, the polynomial Daugavetian index gives a quantitative formulation of PDP. For every complex Banach space $X$00 and compact Hausdorff $X$01,

$X$02

where $X$03 is the base uniform algebra. Consequently,

$X$04

In the scalar case of infinite-dimensional uniform algebras, PDP, DP, DD2P, DLD2P, property $X$05, and the absence of isolated points in the Shilov boundary are equivalent (Lee et al., 2023).

For $X$06-preduals and spaces of Lipschitz functions, earlier equivalence results were obtained through localized Daugavet geometry. In particular, if $X$07 is an $X$08-predual or $X$09 for a pointed complete metric space $X$10, then $X$11. The arguments use bidual perturbation sequences, Daugavet points, $X$12-points, and a criterion that converts suitable $X$13-structured perturbations in the bidual into the polynomial Daugavet property (Martin et al., 2020).

A concise summary of representative classes is given below.

Class of spaces	PDP conclusion	Source
Complex JB$X$14-triples and $X$15-algebras with DP	DP implies PDP	(Cabezas et al., 2022)
$X$16 over a uniform algebra $X$17	$X$18 has PDP iff $X$19 or $X$20 has PDP	(Lee et al., 2023)
$X$21-preduals and $X$22	DP iff PDP	(Martin et al., 2020)
Arbitrary Banach spaces	DP iff PDP	(Dantas et al., 8 Jul 2025)

5. Daugavet centers, weak operator variants, and tensor products

The general equivalence theorem extends beyond the identity operator. A non-zero operator $X$23 is a Daugavet center if

$X$24

for every rank-one operator $X$25. A non-zero polynomial $X$26 is a polynomial Daugavet center if

$X$27

for every rank-one polynomial $X$28. The 2025 theory proves that every linear Daugavet center is a polynomial Daugavet center by establishing a Shvidkoy-type lemma in the weak polynomial topology: if $X$29 is a linear Daugavet center, then for every $X$30 and $X$31 there exists a net $X$32 such that $X$33 in the weak polynomial topology and $X$34 (Dantas et al., 8 Jul 2025).

The same paper treats the weak operator Daugavet property (WODP) and its polynomial counterpart (PWODP). For $X$35, $X$36, and $X$37, one defines $X$38 as the set of those $X$39 for which there exists $X$40 with $X$41 such that

$X$42

WODP requires every slice of $X$43 to meet such sets; PWODP replaces slices by polynomial tests. The new result is that WODP implies PWODP, again via density of $X$44 in the weak polynomial topology (Dantas et al., 8 Jul 2025).

These operator and polynomial variants have direct consequences for symmetric tensor products. For $X$45, the $X$46-fold projective symmetric tensor product $X$47 is the completion of $X$48 with norm

$X$49

and

$X$50

It is known that WODP is stable under projective tensor products and that PWODP transfers to symmetric tensor products. Combining these facts with $X$51, one obtains: if $X$52 has WODP, then for every $X$53, $X$54 has WODP and hence has the Daugavet property (Dantas et al., 8 Jul 2025).

This tensor direction continues and strengthens earlier work. It was shown previously that all symmetric projective tensor products of an $X$55-predual with DP, and of $X$56 with $X$57 atomless $X$58-finite, have the Daugavet property, using WODP and polynomial WODP as intermediate notions (Martin et al., 2020). Earlier tensor-product results also established Daugavet-type geometry, octahedrality, and diameter-two phenomena for symmetric tensor products and polynomial spaces, especially for $X$59 with $X$60 perfect and for spaces with the operator Daugavet property (Zoca et al., 2019).

6. Limitations, related variants, and open questions

The modern theory clarifies the exact scope of the polynomial Daugavet property but also leaves several natural problems open. One open question is whether there exists a Bourgain-type lemma for the weak polynomial topology: namely, whether every non-empty relatively weakly polynomially open subset of $X$61 contains a convex combination of slices. Such a statement would provide a direct route to the weak-polynomial Shvidkoy lemma. A second difficulty is that the weak polynomial topology is not always a linear topology, so standard tools from topological vector space geometry may fail (Dantas et al., 8 Jul 2025).

Another open problem is whether DP implies WODP in general. The 2025 results show $X$62, but they do not establish $X$63. Likewise, for non-linear Daugavet centers, it remains unknown whether a polynomial $X$64 satisfying

$X$65

for all rank-one linear operators $X$66 must necessarily be a polynomial Daugavet center, meaning that the same identity holds against rank-one polynomials (Dantas et al., 8 Jul 2025).

The alternative polynomial Daugavet property forms a related but distinct branch. In JB$X$67-triples and $X$68-algebras, the alternative Daugavet property implies its polynomial version for all weakly compact polynomials (Cabezas et al., 2022). By contrast, the implication can fail in general Banach spaces: complex $X$69 has the alternative Daugavet property but fails the alternative polynomial Daugavet property, and in the real case both $X$70 and $X$71 fail the alternative polynomial property (Cabezas et al., 2022).

Within multilinear and bilinear Daugavet theory, slice continuity furnishes a broader framework in which weak compactness and slice structure imply Daugavet equations for bilinear maps and suggest polynomial analogues via linearization on symmetric projective tensor products. This does not by itself produce the full vector-valued polynomial Daugavet equation in general, but it clarifies why tensorial and polynomial formulations of Daugavet geometry are tightly coupled (Pérez et al., 2012).

In its current form, the subject has a clear central conclusion. The polynomial Daugavet property is no longer a separate strengthening that may or may not coincide with the classical one: for Banach spaces, it is an equivalent formulation of the same underlying extremal geometry once weak-topological arguments are replaced by their weak-polynomial counterparts (Dantas et al., 8 Jul 2025).