pith. sign in

arxiv: 2504.04848 · v2 · submitted 2025-04-07 · 🧮 math.FA

Some remarks on almost locally uniformly rotund points

Carlo Alberto De Bernardi , Jacopo Somaglia This is my paper

Pith reviewed 2026-05-22 20:59 UTC · model grok-4.3

classification 🧮 math.FA
keywords Banach spaceequivalent normalmost locally uniformly rotund pointstrongly exposed pointreflexive spacerotundity
0
0 comments X

The pith

Every non-reflexive Banach space admits an equivalent norm with a unit sphere point that is strongly exposed by all its supporting functionals but not almost locally uniformly rotund.

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

The paper examines relations between notions of almost locally uniformly rotund points in the literature on Banach spaces. It establishes that a 2004 characterization equating strong exposure by supporting functionals to almost local uniform rotundity fails in non-reflexive spaces. The authors construct an equivalent norm on any non-reflexive space such that a chosen unit sphere point is strongly exposed by every supporting functional yet fails to be almost locally uniformly rotund. They further prove that the 2004 characterization continues to hold exactly when the space is reflexive. The separation therefore depends on the failure of reflexivity.

Core claim

In every non-reflexive Banach space there exists an equivalent norm such that some point of the unit sphere is strongly exposed by all its supporting functionals but is not an almost locally uniformly rotund point. This stands in contrast to the 2004 characterization of Bandyopadhyay, Huang and Lin, which the authors show continues to hold when the space is reflexive.

What carries the argument

The equivalent renorming of a non-reflexive Banach space that separates the property of being strongly exposed from almost local uniform rotundity at a particular point on the unit sphere.

If this is right

  • The 2004 characterization linking the two properties is valid precisely in the reflexive case.
  • Strong exposure by all supporting functionals does not imply almost local uniform rotundity outside reflexive spaces.
  • Renormings can create points on the unit sphere that mix the two properties in non-reflexive settings.

Where Pith is reading between the lines

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

  • Reflexivity appears necessary for the equivalence of these two geometric properties under renorming.
  • The construction may extend to separate other pairs of rotundity or exposure properties in non-reflexive spaces.

Load-bearing premise

The separation between strong exposure by all supporting functionals and almost local uniform rotundity holds precisely when the Banach space fails to be reflexive.

What would settle it

A concrete non-reflexive Banach space in which every equivalent norm makes every strongly exposed point also almost locally uniformly rotund would falsify the claim.

read the original abstract

We study the relations between different notions of almost locally uniformly rotund points that appear in literature. We show that every non-reflexive Banach space admits an equivalent norm having a point in the corresponding unit sphere which is not almost locally uniformly rotund, and which is strongly exposed by all its supporting functionals. This result is in contrast with a characterization due to P. Bandyopadhyay, D. Huang, and B.-L. Lin from 2004. We also show that such a characterization remains true in reflexive Banach spaces.

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

0 major / 3 minor

Summary. The paper studies relations among various notions of almost locally uniformly rotund (ALUR) points in Banach spaces. It proves that every non-reflexive Banach space admits an equivalent norm in which some point of the unit sphere is strongly exposed by every supporting functional yet fails to be ALUR; this separates the properties and contrasts with the 2004 characterization of Bandyopadhyay–Huang–Lin. The paper also shows that the 2004 equivalence holds in reflexive spaces, using a direct argument.

Significance. If the renorming construction is correct, the result supplies a clean separation between strong exposure by all supporting functionals and the ALUR sequential condition precisely when reflexivity fails. The explicit use of standard renorming techniques together with James’ theorem for the non-reflexive direction, and the separate direct verification for reflexive spaces, strengthens the geometric picture of these properties.

minor comments (3)
  1. §1, paragraph 3: the sentence defining the new norm via the functional f_0 and the sequence (x_n) would benefit from an explicit formula rather than a verbal description, to make the subsequent verification of strong exposure immediate.
  2. §3, line 47: the reference to the 2004 paper is given only by authors and year; adding the full bibliographic entry at first citation would improve traceability.
  3. The notation for the set of supporting functionals at a point x is introduced twice (once in the introduction and again in §2); a single global definition would reduce repetition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation consists of an explicit renorming construction for non-reflexive spaces (invoking James' theorem to produce a point strongly exposed by every supporting functional yet failing the ALUR sequential condition) together with a separate direct argument that the 2004 Bandyopadhyay-Huang-Lin equivalence holds in the reflexive case. Both parts rely on standard renorming techniques and external citations; no equation reduces to a fitted parameter renamed as a prediction, no self-citation is load-bearing, and no ansatz or uniqueness claim is smuggled in from prior work by the same authors. The central existence result is therefore independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard axioms of Banach space theory and the Hahn-Banach theorem for supporting functionals, with no free parameters or invented entities introduced.

axioms (2)
  • standard math A Banach space is a complete normed vector space.
    Basic setting for all definitions of unit sphere, supporting functionals, and equivalent norms.
  • standard math Every point on the unit sphere has at least one supporting functional by the Hahn-Banach theorem.
    Invoked implicitly when discussing strong exposure by all supporting functionals.

pith-pipeline@v0.9.0 · 5606 in / 1412 out tokens · 54320 ms · 2026-05-22T20:59:57.090135+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

16 extracted references · 16 canonical work pages

  1. [1]

    Bandyopadhyay, D

    P. Bandyopadhyay, D. Huang, and B.-L. Lin, Rotund points, nested sequence of balls and smoothness in Banach spaces , Comment. Math. (Prace Mat.), 44 (2004), 163–186

    work page 2004

  2. [2]

    Bandyopadhyay, D

    P. Bandyopadhyay, D. Huang, B.-L. Lin, and S. Troyanski Some generalizations of locally uniform rotundity, J. Math. Anal. Appl., 252 (2000), 906–916

    work page 2000

  3. [3]

    Bandyopadhyay and B.-L

    P. Bandyopadhyay and B.-L. Lin, Some properties related to nested sequence of balls in Banac h spaces, Taiwanese J. Math. 5 (2001), 19–34

    work page 2001

  4. [4]

    Bandyopadhyay, Y

    P. Bandyopadhyay, Y. Li, B.-L. Lin, and D. Narayana, Proximinality in Banach spaces , J. Math. Anal. Appl. 341 (2008), 309–317. 10 C.A. DE BERNARDI AND J. SOMAGLIA

    work page 2008

  5. [5]

    Bandyopadhyay and G

    P. Bandyopadhyay and G. Godefroy, Linear structures in the set of norm-attaining functionals on a Banach space , J. Convex Anal. 13 (2006), 489–497

    work page 2006

  6. [6]

    De Bernardi, E

    C.A. De Bernardi, E. Miglierina, E. Molho and J. Somaglia, Stochastic approximation in convex multiobjective optimization, J. Convex Anal. 31 (2024), 761–778

    work page 2024

  7. [7]

    De Bernardi, A

    C.A. De Bernardi, A. Preti, and J. Somaglia, A note on smooth rotund norms which are not midpoint locally uniformly rotund , arXiv:2402.13869

    work page arXiv

  8. [8]

    De Bernardi and J

    C.A. De Bernardi and J. Somaglia, Rotund Gˆ ateaux smooth norms which are not locally uniforml y rotund, Proc. Amer. Math. Soc. 152 (2024), no. 4, 1689–1701

    work page 2024

  9. [9]

    Deville, G

    R. Deville, G. Godefroy, and V. Zizler, Smoothness and Renormings in Banach Spaces , Pitman Monographs, vol. 64, Logman, London, 1993

    work page 1993

  10. [10]

    Draga, On weakly locally uniformly rotund norms which are not local ly uniformly rotund , Coll

    S. Draga, On weakly locally uniformly rotund norms which are not local ly uniformly rotund , Coll. Math., 138 (2015), 241–246

    work page 2015

  11. [11]

    Fabian, P

    M. Fabian, P. Habala, P. H´ ajek, V. Montesinos, and V. Zizler, Banach Space Theory. The basis for linear and nonlinear analysis , CMS Books in Mathematics/Ouvrages de Math´ ematiques de la SMC, Springer, New York, 2011

    work page 2011

  12. [12]

    H´ ajek, V

    P. H´ ajek, V. Montesinos, J. Vanderwerff, and V. Zizler, Biorthogonal systems in Banach spaces , CMS Books in Mathematics/Ouvrages de Math´ ematiques de la SMC 26. Springer, New York, 2008

    work page 2008

  13. [13]

    H´ ajek, T

    P. H´ ajek, T. Russo, J. Somaglia, and S. Todorˇ cevi´ c,An Asplund space with norming Markuˇ seviˇ c basis that is not weakly compactly generated , Adv. Math. 392 (2021), 108041

    work page 2021

  14. [14]

    Russo and J

    T. Russo and J. Somaglia, Banach spaces of continuous functions without Markushevic h bases , Mathematika 69 (2023), 992–1010

    work page 2023

  15. [15]

    Volle and C

    M. Volle and C. Z˘ alinescu,Strongly adequate functions on Banach sapces , J. Conv. Anal. 20 (2013), 655–668

    work page 2013

  16. [16]

    almost LUR (ALUR)

    C. Z˘ alinescu,On the definition of “almost LUR (ALUR)” notion , arXiv:2502.11637 Dipartimento di Matematica per le Scienze economiche, fina nziarie ed attuariali, Uni- versit`a Cattolica del Sacro Cuore, 20123 Milano, Italy Email address : carloalberto.debernardi@unicatt.it Email address : carloalberto.debernardi@gmail.com Politecnico di Milano, Dipartime...

    work page arXiv