pith. sign in

arxiv: 2604.08732 · v2 · submitted 2026-04-09 · 🧮 math.FA

Weak^*-weak points of continuity on the state spaces

Saurabh Dwivedi This is my paper

Pith reviewed 2026-05-10 16:59 UTC · model grok-4.3

classification 🧮 math.FA
keywords Banach spaceRadon-Nikodým propertystate spaceweak-star topologypoints of continuityL1 spaceweak compactnessℓp sum
0
0 comments X

The pith

If weak*-weak continuity points are weakly dense in the dual unit ball of L1(μ, X), then X* has the Radon-Nikodým property.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies points at which the identity map from the weak-star topology to the weak topology is continuous on state spaces S_x of unit vectors in ℓ^p(X) spaces, where X is non-reflexive. These continuity points are then used to characterize when the state spaces themselves are weakly compact or norm compact. For the space L1(μ, X) of Bochner-integrable functions, the work shows that weak density of the weak*-weak continuity points throughout the dual unit ball forces the dual space X* to possess the Radon-Nikodým property, giving a local answer to an open question on weakly compact state spaces without extra assumptions on X.

Core claim

The paper establishes that if the set of all weak*-weak points of continuity of the identity map on the unit ball of L^1(μ, X)^* is weakly dense in that ball, then X^* has the Radon-Nikodým property. Parallel results for ℓ^p(X) with 1 < p < ∞ and non-reflexive X characterize the weak and norm compactness of the corresponding state spaces S_x in terms of these continuity points.

What carries the argument

Weak*-weak points of continuity of the identity map on the state space S_x = {x^* ∈ X^* : ||x^*|| = x^*(x) = 1}, which mark locations where weak-star and weak topologies agree locally.

If this is right

  • State spaces S_x in ℓ^p(X) are weakly compact precisely when the relevant weak*-weak continuity points satisfy a density condition derived from the identity map.
  • Stronger norm-continuity conditions on the same points imply norm compactness of those state spaces.
  • The local characterization for L^1(μ, X) supplies a condition under which state spaces are weakly compact without assuming reflexivity or other properties of X.
  • The implication from density to the Radon-Nikodým property holds uniformly for the Bochner space setting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same density test might apply to other vector-valued function spaces such as L^p for p > 1 or Orlicz spaces to detect the Radon-Nikodým property.
  • This links a topological notion of continuity points directly to the geometric dentability properties that define the Radon-Nikodým property.
  • If the condition can be verified in concrete examples, it would give a new way to certify the Radon-Nikodým property via weak-star sequential behavior.

Load-bearing premise

The density of these continuity points in the dual unit ball is enough to force the Radon-Nikodým property on X^* without further restrictions on the measure μ or the space X.

What would settle it

An explicit Banach space X whose dual lacks the Radon-Nikodým property yet has a weakly dense set of weak*-weak continuity points throughout the dual unit ball of L^1(μ, X).

read the original abstract

Let $X$ be a Banach space. For $x \in X$ with $\|x\| = 1$, we denote the state space by $S_x = \{x^* \in X^* : \|x^*\| = x^*(x) = 1\}.$ In this paper, we study weak$^*$-weak and weak$^*$-$\|\cdot\|$ points of continuity of the identity map on the state spaces in the space $\ell^p(X)$ for $1 < p < \infty$, where $X$ is a non-reflexive Banach space. We then use these results to characterize the weak and norm compactness of the state spaces of unit vectors in $\ell^p(X)$. In addition, we address an open problem concerning the characterization of weakly compact state spaces in the space of Bochner-integrable functions $L^1(\mu, X)$. We also provide a local solution to this problem without any additional assumptions on the Banach space $X$. Motivated by the work of S. Daptari, V. Montesinos, and T. S. S. R. K. Rao, we show that if the set of all weak$^*$-weak points of continuity of $L^1(\mu, X)_1^*$ is weakly dense in $L^1(\mu, X)_1^*$, then $X^*$ has the Radon-Nikod\'ym property (RNP).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper studies weak*-weak and weak*-norm points of continuity of the identity map on state spaces S_x = {x* in X* : ||x*|| = x*(x) = 1} for unit vectors x in non-reflexive Banach spaces X, focusing first on the spaces ℓ^p(X) for 1 < p < ∞. It characterizes weak and norm compactness of these state spaces using the continuity points. It then addresses an open problem on weakly compact state spaces in L^1(μ, X) by providing a local solution: if the set of weak*-weak points of continuity of the unit ball in L^1(μ, X)* is weakly dense in that ball, then X* has the Radon-Nikodým property.

Significance. If the central implication holds, the work advances the geometric theory of Banach spaces by linking points of continuity in dual state spaces to the RNP, a key property in dentability and integration theory. The local solution for L^1(μ, X) without extra assumptions on X is a concrete contribution to an open question, and the ℓ^p(X) results on compactness provide explicit characterizations that could be useful for further study of non-reflexive spaces.

major comments (2)
  1. The main result on L^1(μ, X) (the implication from weak density of weak*-weak continuity points to RNP for X*): the argument appears to rely on the canonical identification L^1(μ, X)* ≅ L^∞(μ, X*) and on weak topology properties that are standard only when μ is σ-finite. The manuscript states the result holds 'without any additional assumptions on the Banach space X' but does not explicitly address or assume σ-finiteness of μ; this condition is load-bearing for the dual identification and for the weak density to imply dentability in X*.
  2. In the ℓ^p(X) section, the assumption that X is non-reflexive is used to obtain the compactness characterizations, but the transition to the L^1(μ, X) local solution does not clarify how the ℓ^p techniques extend or whether reflexivity of X would trivially satisfy or contradict the density condition.
minor comments (2)
  1. Notation for the state space S_x and the unit ball L^1(μ, X)_1^* should be introduced with a brief reminder of the topologies (weak* vs. weak) at first use to aid readability.
  2. The motivation from Daptari-Montezinos-Rao should include a precise statement of the open problem being solved locally, rather than a general reference.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments, which help improve the clarity of our manuscript. We respond to each major comment below.

read point-by-point responses

  1. Referee: The main result on L^1(μ, X) (the implication from weak density of weak*-weak continuity points to RNP for X*): the argument appears to rely on the canonical identification L^1(μ, X)* ≅ L^∞(μ, X*) and on weak topology properties that are standard only when μ is σ-finite. The manuscript states the result holds 'without any additional assumptions on the Banach space X' but does not explicitly address or assume σ-finiteness of μ; this condition is load-bearing for the dual identification and for the weak density to imply dentability in X*.

    Authors: We appreciate the referee for identifying this point. The dual identification L^1(μ, X)^* ≅ L^∞(μ, X^*) and the associated weak topology arguments do require μ to be σ-finite. Our phrasing 'without any additional assumptions on the Banach space X' was meant to stress the absence of extra hypotheses on X (as opposed to the measure space), but we acknowledge that σ-finiteness of μ should have been stated explicitly. We will revise the manuscript to include this standard assumption on μ. The local solution to the open problem remains valid and novel under this clarification. revision: yes

  2. Referee: In the ℓ^p(X) section, the assumption that X is non-reflexive is used to obtain the compactness characterizations, but the transition to the L^1(μ, X) local solution does not clarify how the ℓ^p techniques extend or whether reflexivity of X would trivially satisfy or contradict the density condition.

    Authors: The ℓ^p(X) results are independent of the L^1(μ, X) part: they give explicit characterizations of weak and norm compactness for state spaces when X is non-reflexive (reflexivity would make the state spaces weakly compact by other means, rendering the characterizations less interesting). The L^1 result is a separate contribution providing a local solution to the open problem on weakly compact state spaces. No direct extension of the ℓ^p techniques is claimed or used; the L^1 proof proceeds via dentability arguments in the dual ball. If X is reflexive then X^* is reflexive and thus has the RNP, so the implication holds, but the theorem does not claim that the density hypothesis is satisfied (or contradicted) in the reflexive case. We will add a short clarifying sentence in the introduction to emphasize the independence of the sections. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external arguments

full rationale

The central result states that weak*-weak continuity point density in L^1(μ,X)_1^* implies X^* has the RNP. This is presented as a new characterization addressing an open problem, motivated by work of Daptari, Montesinos and Rao (distinct authors). No equations or steps in the provided abstract reduce the conclusion to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The argument is described as using topological density to force dentability/RNP, which is an independent implication rather than tautological. The paper's local solution for L^1 without extra assumptions on X is framed as extending prior results, not as re-deriving its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests entirely on the standard axioms of Banach space theory (completeness, duality, weak and weak* topologies) and the definition of the Radon-Nikodym property; no new entities or fitted parameters are introduced in the abstract.

axioms (2)
  • standard math Banach spaces are complete normed vector spaces whose duals carry the weak* topology; state spaces are the norm-attaining functionals on the unit sphere.
    These are the foundational definitions used throughout the abstract to define S_x and the continuity points.
  • standard math The Radon-Nikodym property is a well-defined property of dual Banach spaces that can be characterized via differentiation of measures.
    The final implication in the abstract equates a topological density condition with this classical property.

pith-pipeline@v0.9.0 · 5555 in / 1605 out tokens · 61350 ms · 2026-05-10T16:59:21.689210+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    (1984).Sequences and series in Banach spaces

    Diestel, J. (1984).Sequences and series in Banach spaces. Graduate Texts in Mathematics, Vol. 92. Springer-Verlag, New York

    work page 1984

  2. [2]

    (1977).Vector measures

    Diestel, J., Uhl, J.J. (1977).Vector measures. Mathematical Sur- veys, No. 15. American Mathematical Society, Providence, RI

    work page 1977

  3. [3]

    Daptari, S., Dwivedi, S. (2025). A study on state spaces in classical Banach spaces.Colloquium Mathematicum179(1), 87–105. 20 SAURABH DWIVEDI

    work page 2025

  4. [4]

    Daptari, S., Montesinos, V., Rao, T.S.S.R.K. (2025). A study of weak∗–weak points of continuity in the unit ball of dual spaces. Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat.119(3), 82

    work page 2025

  5. [5]

    Dwivedi, S. (2025). Classification of weak∗–weak points of continuity in spaces of vector-valued functions. Preprint

    work page 2025

  6. [6]

    Godefroy, G. (1981). Points de Namioka, espaces normants, appli- cations ` a la th´ eorie isom´ etrique de la dualit´ e.Israel J. Math.38(3), 209–220

    work page 1981

  7. [7]

    Hu, Z., Lin, B.-L. (1993). RNP and CPCP in Lebesgue–Bochner function spaces.Illinois J. Math.37(2), 329–347

    work page 1993

  8. [8]

    (1975).Geometric functional analysis and its appli- cations

    Holmes, R.B. (1975).Geometric functional analysis and its appli- cations. Graduate Texts in Mathematics, Vol. 24. Springer-Verlag, New York–Heidelberg

    work page 1975

  9. [9]

    Levin, V.L. (1974). The Lebesgue decomposition for functionals on the vector-function space.Funct. Anal. Appl.8(4), 314–317

    work page 1974

  10. [10]

    Rao, T.S.S.R.K. (2026). Classification ofC ∗-algebras, spaces of op- erators and function spaces using the geometry of Banach spaces. In: Misra, G. (ed.)Contemporary research in mathematics in India. Springer-INSA Series

    work page 2026

  11. [11]

    Rao, T.S.S.R.K. (2003). Very smooth points of spaces of operators. Proc. Indian Acad. Sci. Math. Sci.113(1), 1–9

    work page 2003

  12. [12]

    (1991).Functional analysis, 2nd edn

    Rudin, W. (1991).Functional analysis, 2nd edn. International Series in Pure and Applied Mathematics. McGraw-Hill, New York

    work page 1991

  13. [13]

    Sullivan, F. (1977). Geometrical properties determined by the higher duals of a Banach space.Illinois J. Math.21(2), 315–331. Shiv Nadar Institution of Eminence. Gautam Buddha Nagar Delhi NCR, Uttar Pradesh-201314, India Email address:sd605@snu.edu.in, saurabhdewedi876@gmail.com

    work page 1977