Pith. sign in

REVIEW 2 minor

No infinite-dimensional Banach space with a 1-unconditional basis can have the super Alternative Daugavet property; for every k>1 some k-unconditional unit ball fails to be SCD.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · grok-4.5

2026-07-15 02:37 UTC pith:WRBKI2OV

load-bearing objection Clean resolutions of three named open questions on 1- vs k-unconditional bases, super ADP, and SCD; abstract-only so proofs unchecked, but the claims look like honest subfield progress.

arxiv 2607.12880 v1 pith:WRBKI2OV submitted 2026-07-14 math.FA

The super Alternative Daugavet property, unconditional bases and SCD geometry

classification math.FA MSC 46B1546B2046B04
keywords super Alternative Daugavet propertyunconditional basesslicely countably determinedweak π-baseshrinking basisboundedly complete basisBanach space geometry
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper settles three open questions about geometric properties of Banach spaces that carry unconditional bases. It shows that the super Alternative Daugavet property is incompatible with the existence of a 1-unconditional basis in infinite dimension, answering a question of Langemets–Lõo–Martín–Perreau–Rueda Zoca in the negative. Separately it proves that every bounded convex set in a space with a shrinking or boundedly complete Schauder basis admits a countable weak π-base, giving a partial positive answer to a question of Lõo–Perreau about weak topology. Finally, it constructs, for every constant k greater than 1, a Banach space with a k-unconditional basis whose closed unit ball is not slicely countably determined, answering another Lõo–Perreau question in the affirmative. The results separate the 1-unconditional case from the merely unconditional case and show that mild basis constants already permit the failure of SCD geometry.

Core claim

There do not exist infinite-dimensional Banach spaces with a 1-unconditional basis that satisfy the super Alternative Daugavet property; and for every k>1 there exists a Banach space with a k-unconditional basis whose unit ball fails to be slicely countably determined. In addition, every bounded convex set in a space with a shrinking or boundedly complete Schauder basis has a countable weak π-base.

What carries the argument

The interplay between 1-unconditional versus k-unconditional basis constants, the shrinking and boundedly complete properties of Schauder bases, and the definitions of the super Alternative Daugavet property and slicely countable determination (SCD) of the unit ball.

Load-bearing premise

The non-existence and construction arguments rest on the standard equivalences between 1-unconditional bases, shrinking or boundedly complete bases, and the literature definitions of super ADP and SCD; a mismatch with those background characterizations would collapse the answers.

What would settle it

Either exhibit an infinite-dimensional Banach space with a 1-unconditional basis that satisfies the super Alternative Daugavet property, or show that every space with a k-unconditional basis (k>1) has an SCD unit ball.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The manuscript answers three named questions in Banach-space geometry. It asserts that no infinite-dimensional Banach space with a 1-unconditional basis satisfies the super Alternative Daugavet property (negative answer to Question 6.4 of Langemets–Lõo–Martín–Perreau–Rueda Zoca). It further claims that every bounded convex subset of a Banach space with a shrinking or boundedly complete Schauder basis admits a countable weak π-base (partial positive answer to Question 5.1 of Lõo–Perreau). Finally, it asserts that for every k>1 there exists a Banach space with a k-unconditional basis whose unit ball is not slicely countably determined (positive answer to Question 5.4 of Lõo–Perreau).

Significance. If the arguments hold, the paper settles several concrete open problems linking unconditional bases, Daugavet-type properties, and SCD geometry. The claimed dichotomy—non-existence of super ADP for 1-unconditional bases versus existence of non-SCD unit balls for every k-unconditional constant k>1—is sharp and of clear interest to specialists. The partial structural result on countable weak π-bases for shrinking or boundedly complete bases is a useful contribution to the weak topology of such spaces. The work is pure existence/non-existence mathematics answering external questions; there are no free parameters or data-fitting issues.

minor comments (2)
  1. The abstract is clear and correctly identifies the three questions answered, but without section numbering or theorem labels visible in the available material it is impossible to check cross-references, notation consistency, or the precise formulations of super ADP, SCD, and unconditional constants used in the body.
  2. When the full text is supplied, the authors should ensure that the background characterizations of 1-unconditional versus k-unconditional bases, shrinking/boundedly complete bases, super ADP, and SCD are stated explicitly and match the cited literature, so that the three answers can be checked against the standard definitions.

Circularity Check

0 steps flagged

No significant circularity: pure existence/non-existence answers to external open questions, abstract-only.

full rationale

The paper is pure functional-analysis existence/non-existence mathematics answering external open questions (negative answer to Question 6.4 of Langemets–Lõo–Martín–Perreau–Rueda Zoca; partial positive to Question 5.1 and positive to Question 5.4 of Lõo–Perreau). There is no fitting of free parameters to data, no self-referential prediction that reduces to a fitted constant, and no indication that the conclusions are forced by a normalization chosen by the authors. The only residual dependence is ordinary reliance on standard background definitions (super ADP, SCD, unconditional basis constants, shrinking/boundedly complete Schauder bases) from the cited literature; that is not circularity under the stated criteria. With only the abstract available, no internal derivation chain can be inspected for self-definitional reductions, uniqueness theorems imported from the same authors, or ansatz smuggling. Honest non-finding: score 0, empty steps.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only pure mathematics. No free parameters are fitted. Background axioms are the standard definitions and known characterizations of unconditional bases, Schauder bases (shrinking/boundedly complete), super Alternative Daugavet property, SCD sets, and weak π-bases from the cited literature. No new physical or geometric entities are invented; the work constructs or rules out Banach spaces within classical FA.

axioms (3)
  • domain assumption Standard definitions of 1-unconditional and k-unconditional Schauder bases, shrinking and boundedly complete bases.
    Invoked throughout the abstract as the setting for all three results; taken from classical Banach space theory.
  • domain assumption Definition of the super Alternative Daugavet property as used by Langemets–Lõo–Martín–Perreau–Rueda Zoca.
    Question 6.4 is answered relative to that fixed definition; the non-existence claim depends on it.
  • domain assumption Definition of slicely countably determined (SCD) sets and weak π-bases as used by Lõo–Perreau.
    Questions 5.1 and 5.4 are answered relative to those notions; constructions and positive/partial answers depend on them.

pith-pipeline@v1.1.0-grok45 · 6061 in / 2272 out tokens · 19415 ms · 2026-07-15T02:37:54.775840+00:00 · methodology

0 comments
read the original abstract

We answer negatively Question 6.4 posed by Langemets, L\~oo, Mart\'in, Perreau and Rueda Zoca concerning the existence of infinite-dimensional Banach spaces with a 1-unconditional basis satisfying the super Alternative Daugavet property. We also address two recent questions posed by L\~oo and Perreau concerning weak topological structures and slicely countably determined phenomena in Banach spaces with unconditional bases. More precisely, we prove that every bounded convex subset of a Banach space with a Schauder basis that is shrinking or boundedly complete admits a countable weak $\pi$-base, yielding a partial positive answer to Question 5.1. Finally, we prove that, for every $k>1$, there exists a Banach space with a $k$-unconditional basis whose unit ball is not slicely countably determined, thereby giving a positive answer to Question 5.4.

discussion (0)

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