Śliwa’s strongly normal subsequence question

Let EE be a Banach space, and let (yn∗)n=1∞⊂SE∗(y_n^*)_{n=1}^{\infty}\subset S_{E^*} be a normal sequence, meaning that yn∗(x)→0y_n^*(x)\to 0 for every x∈Ex\in E. Must (yn∗)(y_n^*) have a subsequence (ynk∗)(y_{n_k}^*) such that {x∈E:∑k=1∞∣ynk∗(x)∣<∞}\{x\in E:\sum_{k=1}^{\infty}|y_{n_k}^*(x)|<\infty\} is dense in EE?

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed progress

A new preprint claims a negative answer in large cardinalities, but the full question remains unresolved.

Śliwa’s question asks whether every normal sequence in a dual Banach space contains a strongly normal subsequence. A survey identifies it as Problem 7 and records positive answers for important classes, but gives no date for the original question.

Known results

  • Every infinite-dimensional WCG Banach space has the required subsequence property.
  • Every Banach space with density character d(X)<bd(X)<\mathfrak b has a separable quotient, yielding another positive range.

September 2026 construction

A September 2026 arXiv preprint by Jerzy Kąkol claims a ZFC negative result for cardinalities at least the continuum, while the case ℵ1\aleph_1 is independent of ZFC and an intermediate range remains open. Thus it gives substantial progress, not a full classification.

Current status (as of September 2026): Positive cases are known, while the new construction claims failure at cardinalities at least the continuum; the ℵ1\aleph_1 case is claimed independent of ZFC and an intermediate range remains open.

Sources

Solutions 0

No solutions have been posted yet.