pith. sign in

arxiv: 1906.09279 · v1 · pith:5P2P4GS2new · submitted 2019-06-21 · 🧮 math.FA

On Banach spaces whose group of isometries acts micro-transitively on the unit sphere

F\'elix Cabello S\'anchez , Sheldon Dantas , Vladimir Kadets , Sun Kwang Kim , Han Ju Lee , Miguel Mart\'in This is my paper

Pith reviewed 2026-05-25 18:19 UTC · model grok-4.3

classification 🧮 math.FA
keywords Banach spacesisometry groupmicro-transitivityuniform convexityuniform smoothnessL_p spacesBishop-Phelps-Bollobás propertyself-dual class
0
0 comments X

The pith

Banach spaces where the isometry group acts micro-transitively on the unit sphere are uniformly convex and uniformly smooth.

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

The paper studies Banach spaces whose isometries can map any two nearby points on the unit sphere to each other via an isometry close to the identity. It introduces uniform micro-semitransitivity as a weaker inherited property and proves both versions force the space to be uniformly convex and uniformly smooth while forming a self-dual class. The authors connect micro-transitivity to the pointwise Bishop-Phelps-Bollobás property of operators and apply known results on that property. They also show that L_p(μ) spaces satisfy the condition only for p=2 and that a non-Hilbertian non-separable example would imply a separable one exists.

Core claim

If the group of isometries of a Banach space acts micro-transitively on the unit sphere, then the space is uniformly convex and uniformly smooth; the same holds for the weaker uniform micro-semitransitivity property, which is inherited by one-complemented subspaces. The class is self-dual. Moreover, an L_p(μ) space has either property only if p=2. If a non-Hilbertian non-separable space has the property, then a separable one does as well.

What carries the argument

Micro-transitivity of the isometry group on the unit sphere, connected to the pointwise Bishop-Phelps-Bollobás property of operators to derive convexity and smoothness.

Load-bearing premise

The link between micro-transitivity of the isometry group and the pointwise Bishop-Phelps-Bollobás property of operators is strong enough to apply existing results on uniform convexity and smoothness.

What would settle it

An explicit L_p space for p not equal to 2 whose isometry group acts micro-transitively on the unit sphere, or a non-uniformly convex Banach space with the same property.

read the original abstract

We study Banach spaces whose group of isometries acts micro-transitively on the unit sphere. We introduce a weaker property, which one-complemented subspaces inherit, that we call uniform micro-semitransitivity. We prove a number of results about both micro-transitive and uniformly micro-semitransitive spaces, including that they are uniformly convex and uniformly smooth, and that they form a self-dual class. To this end, we relate the fact that the group of isometries acts micro-transitively with a property of operators called the pointwise Bishop-Phelps-Bollob\'as property and use some known results on it. Besides, we show that if there is a non-Hilbertian non-separable Banach space with uniform micro-semitransitive (or micro-transitive) norm, then there is a non-Hilbertian separable one. Finally, we show that an $L_p(\mu)$ space is micro-transitive or uniformly micro-semitransitive only when $p=2$.

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 Banach spaces X where the group of linear isometries Iso(X) acts micro-transitively on the unit sphere S_X. It introduces uniform micro-semitransitivity (inherited by one-complemented subspaces), proves that micro-transitive and uniformly micro-semitransitive spaces are uniformly convex and uniformly smooth and form a self-dual class, relates micro-transitivity to the pointwise Bishop-Phelps-Bollobás property of operators to invoke known results, shows that a non-Hilbertian non-separable example implies a separable one, and proves that an L_p(μ) space has either property only for p=2.

Significance. If the derivations hold, the work strengthens the geometric theory of Banach spaces by connecting isometry-group actions to uniform convexity/smoothness and self-duality, while providing a reduction from non-separable to separable cases. The explicit link to the pointwise BPB property and the sharp L_p(μ) characterization (only p=2) are concrete contributions that may aid classification of spaces with large isometry groups.

minor comments (3)
  1. [Abstract] Abstract: the phrase 'we relate the fact that the group of isometries acts micro-transitively with a property of operators called the pointwise Bishop-Phelps-Bollobás property' should include a forward reference to the precise theorem or proposition where this implication is proved, to help readers trace the application of known BPB results.
  2. [Final theorem on L_p(μ)] The statement that L_p(μ) spaces satisfy the properties only for p=2 should specify the underlying measure space (e.g., whether μ is σ-finite or atomless) if the argument relies on it.
  3. [Introduction] Notation for the isometry group (Iso(X) or similar) and the precise definition of 'micro-transitive action' should be fixed at first use in the introduction for consistency with later sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, accurate summary of our results, and positive assessment of the significance of the work. The recommendation of minor revision is noted; we will prepare a revised version incorporating any minor editorial or expository improvements.

Circularity Check

0 steps flagged

No significant circularity; relies on external known results

full rationale

The paper connects micro-transitivity of the isometry group to the pointwise Bishop-Phelps-Bollobás property of operators and invokes known external results on the latter to derive uniform convexity, uniform smoothness, and self-duality. The L_p(μ) restriction to p=2 follows from the same external chain. No derivation step reduces by construction to a fitted input, self-definition, or self-citation load-bearing premise; the argument is self-contained against independent benchmarks on the Bishop-Phelps-Bollobás property.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard definitions of Banach spaces, isometries, and uniform convexity together with previously established results on the pointwise Bishop-Phelps-Bollobás property; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Banach spaces are complete normed vector spaces over the reals or complexes
    Foundational definition invoked throughout the study of isometry groups and unit spheres.
  • domain assumption Known theorems on the pointwise Bishop-Phelps-Bollobás property apply directly to relate micro-transitivity to uniform convexity and smoothness
    Explicitly used to obtain the uniform convexity and smoothness conclusions.

pith-pipeline@v0.9.0 · 5728 in / 1338 out tokens · 25734 ms · 2026-05-25T18:19:47.472595+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

34 extracted references · 34 canonical work pages

  1. [1]

    M. D. Acosta, R. M. Aron, D. Garc ´ıa and M. Maestre , The Bishop-Phelps-Bollob´ as theorem for operators, J. Funct. Anal. 294 (2008), 2780–2899

    work page 2008

  2. [2]

    M. D. Acosta, J. Becerra-Guerrero, D. Garc ´ıa and M. Maestre , The Bishop-Phelps-Bollob´ as Theorem for bilinear forms, Trans. Amer. Math. Soc. 365 (2013), 5911–5932

    work page 2013

  3. [3]

    M. D. Acosta, M. Masty lo, M. Soleimani-Mourchehkhorti, The Bishop-Phelps-Bollob´ as and approximate hyper- plane series properties, J. Funct. Anal. 274 (2018), 2673–2699

    work page 2018

  4. [4]

    F. D. Ancel, An alternative proof and applications of a Theorem of E. G. Effros, Michigan Math. J. 34 (1987), 39–55

    work page 1987

  5. [5]

    R. Aron, Y. S. Choi, S. K. Kim, H. J. Lee, and M. Mart ´ın, The Bishop-Phelps-Bollob´ as version of Lindenstrauss properties A and B, Trans. Amer. Math. Soc. 367 (2015), 6085–6101

    work page 2015

  6. [6]

    Auerbach, S

    H. Auerbach, S. Mazur, and S. Ulam, Sur une propri´ et´ e caract´ eristique de l’ellipso¨ ıde,Monatshefte f¨ ur Mathematik und Physik 42 (1935), 45–48

    work page 1935

  7. [7]

    Banach, Theory of Linear Operators, North-Holland, 1987

    S. Banach, Theory of Linear Operators, North-Holland, 1987

    work page 1987

  8. [8]

    Becerra-Guerrero and A

    J. Becerra-Guerrero and A. Rodr´ıguez-Palacios, Transitivity of the norm on Banach spaces, Extracta Math. 17 (2002), 1–58

    work page 2002

  9. [9]

    Becerra-Guerrero and A

    J. Becerra-Guerrero and A. Rodr ´ıguez-Palacios Banach spaces with a large semigroup of contractive automor- phisms. J. Math. Anal. Appl. 475 (2019), 642–667

    work page 2019

  10. [10]

    Cabello S´anchez, Regards sur le probl` eme des rotations de Mazur, Extracta Math

    F. Cabello S´anchez, Regards sur le probl` eme des rotations de Mazur, Extracta Math. 12 (1997), 97–116

    work page 1997

  11. [11]

    Cascales, A

    B. Cascales, A. J. Guirao, V. Kadets and M. Soloviova , Γ-Flatness and Bishop-Phelps-Bollob´ as type theorems for operators, J. Funct. Anal. 274 (2018), 863–888

    work page 2018

  12. [12]

    D. H. Cho and Y. S. Choi , The Bishop-Phelps-Bollob´ as theorem on bounded closed convex sets,J. Lond. Math. Soc. 93 (2016), 502–518

    work page 2016

  13. [13]

    Dantas, V

    S. Dantas, V. Kadets, S. K. Kim, H. J. Lee, and M. Mart ´ın, On the pointwise Bishop–Phelps–Bollob´ as property for operators, Canadian J. Math. (to appear); doi: 10.4153/S0008414X18000032

    work page doi:10.4153/s0008414x18000032

  14. [14]

    Dantas, S

    S. Dantas, S. K. Kim and H. J. Lee , The Bishop-Phelps-Bollob´ as point property,J. Math. Anal. Appl. 444 (2016), 1739–1751

    work page 2016

  15. [15]

    Deville, G

    R. Deville, G. Godefroy, and V. Zizler , Smoothness and Renormings in Banach Spaces , Pitman Monogr. Surv. Pure Appl. Math. 64, John Wiley, New York, 1993. 12 CABELLO, DANTAS, KADETS, KIM, LEE, AND MART ´IN

    work page 1993

  16. [16]

    Diestel Geometry of Banach spaces – selected topics

    J. Diestel Geometry of Banach spaces – selected topics. Lecture Notes in Mathematics, Vol. 485. Springer-Verlag, 1975

    work page 1975

  17. [17]

    S. J. Dilworth and B. Randrianantoanina, On an isomorphic Banach-Mazur rotation problem and maximal norms in Banach spaces, J. Funct. Anal. 268 (2015), 1587–1611

    work page 2015

  18. [18]

    E. G. Effros, Transformation groups and C∗-algebras, Annals of Math. 81 (1965), 38–55

    work page 1965

  19. [19]

    Fabian, P

    M. Fabian, P. Habala, P. H `ajek, V. M. Santaluc´ıa, J. Pelant and V. Zizler , Functional Analysis and Infinite- Dimensional Geometry, Springer, 2000

    work page 2000

  20. [20]

    Ferenczi and C

    V. Ferenczi and C. Rosendal , On isometry groups and maximal symmetry, Duke Math. J. 162 (2013), 1771–1831

    work page 2013

  21. [21]

    Ferenczi and C

    V. Ferenczi and C. Rosendal , Non-unitarisable representation and maximal symmetry, J. Inst. Math. Jussieu 17 (2017), 421–445

    work page 2017

  22. [22]

    Finet, Uniform convexity properties of norms on a super-reflexive Banach space, Israel J

    C. Finet, Uniform convexity properties of norms on a super-reflexive Banach space, Israel J. Math. 53 (1986), 81–92

    work page 1986

  23. [23]

    Heinrich, Ultraproducts in Banach space theory, J

    S. Heinrich, Ultraproducts in Banach space theory, J. Reine Angew. Math. 313 (1980), 72–104

    work page 1980

  24. [24]

    John, Extremum problems with inequalities as subsidiary conditions, Studies and Essays Presented to R

    F. John, Extremum problems with inequalities as subsidiary conditions, Studies and Essays Presented to R. Courant on his 60th Birthday, January 8, 1948, Interscience Publishers, Inc., New York, 1948, 187–204

    work page 1948

  25. [25]

    S. K. Kim and H. J. Lee , Uniform Convexity and Bishop-Phelps-Bollob´ as Property. Canad. J. Math. 66 (2014), 373–386

    work page 2014

  26. [26]

    W. A. Kirk and B. Sims , Handbook of Metric Fixed Point Theory , Springer Science+Business Media, B.V. 2001

    work page 2001

  27. [27]

    K. L. Kozlov and V. A. Chatyrko , Topological transformation groups and Dugundji compacta, Sb. Math. 201 (2010), 103–128

    work page 2010

  28. [28]

    Kwapien, Isomorphic characterization of inner product spaces by orthogonal series with vector valued coefficients, Studia Math

    S. Kwapien, Isomorphic characterization of inner product spaces by orthogonal series with vector valued coefficients, Studia Math. 44 (1972), 583–595

    work page 1972

  29. [29]

    van Mill, A note on the Effros theorem, Amer

    J. van Mill, A note on the Effros theorem, Amer. Math. Monthly 111 (2004), 801–806

    work page 2004

  30. [30]

    A. J. Ostaszewski, Effros, Baire, Steinhaus and non-separability, Topology Appl. 195 (2015), 265–274

    work page 2015

  31. [31]

    Pisier, Martingales with values in uniformly convex spaces

    G. Pisier, Martingales with values in uniformly convex spaces. Israel J. Math. 20 (1975), 326–350

    work page 1975

  32. [32]

    Rambla, A counter-example to Wood’s conjecture, J

    F. Rambla, A counter-example to Wood’s conjecture, J. Math. Anal. Appl. 317 (2006), 659–667

    work page 2006

  33. [33]

    Rolewicz, Metric linear spaces, Mathematics and its Applications 20, PWN-Polish Scientific Publishers, Warsaw, 1985

    S. Rolewicz, Metric linear spaces, Mathematics and its Applications 20, PWN-Polish Scientific Publishers, Warsaw, 1985

    work page 1985

  34. [34]

    Sims, “Ultra”-techniques in Banach space theory, Queens Papers in Pure Appl

    B. Sims, “Ultra”-techniques in Banach space theory, Queens Papers in Pure Appl. Math. 60, Queens Univ., Kingston, ON, 1982. (Cabello) Departamento de Matem´aticas and IMUEx, Universidad de Extremadura, 06071-Badajoz, Spain ORCID: 0000-0003-0924-5189 E-mail address: fcabello@unex.es (Dantas) Department of Mathematics, Faculty of Electrical Engineering, Cze...

    work page 1982