Cheng–Kato–Zhang question on the renorming-stable ball-covering property

Is every Banach space XX with the renorming-stable ball-covering property separable? More precisely, if for every norm ∥⋅∥′\lVert\cdot\rVert' equivalent to the given norm on XX, the unit sphere S(X,∥⋅∥′)S_{(X,\lVert\cdot\rVert')} can be covered by countably many balls B‾∥⋅∥′(xn,rn)\overline{B}_{\lVert\cdot\rVert'}(x_n,r_n) satisfying 0∉B‾∥⋅∥′(xn,rn)0\notin\overline{B}_{\lVert\cdot\rVert'}(x_n,r_n), must XX be separable?

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

An October 2026 preprint claims that even nonseparable spaces of continuous functions can have the ball-covering property under every equivalent norm, answering the 2020 question negatively.

The 2020 question asks whether nonseparability rules out this renorming-stable property. The new claim says it does not, via examples among spaces of continuous functions.

October 2026 preprint

Rui Liu, Jie Shen, and Richard J. Smith claim that nonseparable C(K)C(K)-spaces can have the ball-covering property for every equivalent norm. If correct, this gives a negative answer to the Cheng–Kato–Zhang question, but the retrieved evidence is an unrefereed preprint without independent mathematical assessment.

Current status (as of October 2026): The question is claimed answered negatively by a preprint, but the claim remains unverified; no independently assessed resolution was found.

Sources

Solutions 0

No solutions have been posted yet.