pith. machine review for the scientific record. sign in

arxiv: 2604.23484 · v2 · submitted 2026-04-26 · 🧮 math.OA · math.FA

Recognition: unknown

Projectional Skeletons of Fourier Algebras

Onur Oktay

Pith reviewed 2026-05-08 05:05 UTC · model grok-4.3

classification 🧮 math.OA math.FA
keywords Fourier algebrasprojectional skeletonsgroup von Neumann algebrasconditional expectationslocally compact groupspreduals1-Plichko spaces
0
0 comments X

The pith

Preduals of group von Neumann algebras admit projectional skeletons whose adjoints are conditional expectations.

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

The paper starts from the known result that preduals of W*-algebras are 1-Plichko spaces and asks whether they also admit a projectional skeleton in which every adjoint is a conditional expectation. It gives an affirmative answer when the W*-algebra is the group von Neumann algebra of an arbitrary locally compact group. The result therefore equips the corresponding Fourier algebra with a directed family of projections that are compatible with the algebra multiplication through conditional expectations. A reader cares because this compatibility supplies a concrete approximation scheme that respects the group structure rather than treating the space as an arbitrary Banach space.

Core claim

For any locally compact group G the predual of its group von Neumann algebra VN(G) possesses a projectional skeleton {P_s : s in J} such that each adjoint P_s^* is a conditional expectation on VN(G).

What carries the argument

A projectional skeleton {P_s : s in J} on the predual whose adjoints are conditional expectations from the group von Neumann algebra onto their images.

If this is right

  • The property holds uniformly for all locally compact groups, discrete or continuous.
  • The skeleton supplies a net of finite-rank or simpler approximations that commute with the group action via conditional expectations.
  • Geometric and approximation properties of the Fourier algebra can be studied through these structure-preserving projections.
  • The construction extends the 1-Plichko property by adding algebraic compatibility with the von Neumann algebra.

Where Pith is reading between the lines

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

  • The same technique might apply to other von Neumann algebras that admit sufficiently many conditional expectations, such as crossed products.
  • Explicit skeletons for concrete groups such as the integers or the circle could yield new computational tools for harmonic analysis.
  • The existence of such skeletons may imply new fixed-point or averaging results for representations of the group.

Load-bearing premise

The group multiplication and topology of a locally compact group can be used to build a directed family of projections on the predual whose adjoints satisfy the conditional-expectation identity.

What would settle it

An explicit locally compact group G together with a concrete description of all possible projectional skeletons on A(G) showing that none of them have every adjoint equal to a conditional expectation on VN(G).

read the original abstract

The preduals of $W^*$-algebras are 1-Plichko spaces. A natural question arises: does every predual possess a projectional skeleton (PS) $\{P_s:s\in J\}$ such that each $P_s^*$ is a conditional expectation? In this note, we answer this question affirmatively for the preduals of the group von Neumann algebras of locally compact groups.

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

1 major / 0 minor

Summary. The manuscript claims that preduals of group von Neumann algebras VN(G) for locally compact groups G (equivalently, the Fourier algebras A(G)) admit a projectional skeleton {P_s : s ∈ J} such that each adjoint P_s^* : VN(G) → VN(G) is a conditional expectation. This affirmatively answers the question of whether every predual of a W*-algebra possesses such a skeleton with the conditional-expectation property, at least in the special case of group von Neumann algebras, building on the known fact that preduals of W*-algebras are 1-Plichko spaces.

Significance. If the construction holds, the result supplies a concrete, group-specific realization of a projectional skeleton with the conditional-expectation property on A(G). This strengthens the structural theory of 1-Plichko spaces in the setting of noncommutative harmonic analysis and may enable further applications involving conditional expectations on von Neumann algebras.

major comments (1)
  1. The abstract states the affirmative answer but supplies neither a proof sketch nor any indication of how the group structure of G is used to construct the skeleton {P_s} or to guarantee that each P_s^* is a conditional expectation. Without these details the central claim cannot be verified from the given text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review and for highlighting the need for greater clarity in the abstract. We address the major comment below.

read point-by-point responses
  1. Referee: The abstract states the affirmative answer but supplies neither a proof sketch nor any indication of how the group structure of G is used to construct the skeleton {P_s} or to guarantee that each P_s^* is a conditional expectation. Without these details the central claim cannot be verified from the given text.

    Authors: We agree that the abstract is too concise and does not indicate the construction or the role of the group structure. The full manuscript provides the details in Sections 2 and 3: the directed set J is taken to be the collection of all compact subsets of G ordered by inclusion, the projections P_K on A(G) are defined via the left regular representation by averaging the matrix coefficients over K, and each adjoint P_K^* is the conditional expectation onto the von Neumann subalgebra generated by {λ(g) : g ∈ K}. This uses the group structure in an essential way through the representation theory of G. To address the referee's concern, we will revise the abstract to include a brief outline of this construction so that the central claim is verifiable from the abstract itself. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external background fact

full rationale

The paper starts from the known external result that preduals of W*-algebras are 1-Plichko spaces (hence admit projectional skeletons) and then asserts an affirmative answer specifically for preduals of group von Neumann algebras VN(G), i.e., that a skeleton exists on A(G) whose adjoints are conditional expectations. This extension uses the group structure of G but does not reduce any claimed result to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. No equation or step in the provided abstract or description equates the output to the input by construction; the central claim therefore remains independent of the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on the stated background that preduals of W*-algebras are 1-Plichko spaces and then claims a positive result for the group case; no free parameters or invented entities appear in the abstract.

axioms (1)
  • domain assumption Preduals of W*-algebras are 1-Plichko spaces.
    Invoked as the starting point for the natural question in the abstract.

pith-pipeline@v0.9.0 · 5344 in / 1074 out tokens · 43654 ms · 2026-05-08T05:05:41.525654+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

21 extracted references

  1. [1]

    Bohata, J

    M. Bohata, J. Hamhalter, and O.F.K. Kalenda,On Markushevich bases in preduals of von Neumann algebras, Israel Journal of Mathematics214 (2016), no. 2, 867–884

  2. [2]

    Bohata, J

    M. Bohata, J. Hamhalter, O.F.K. Kalenda, A.M. Peralta, and H. Pfitzner, Preduals ofJ BW ∗-triples are1-Plichko spaces, The Quarterly Journal of Mathematics69(2017), no. 2, 655–680. 9

  3. [3]

    Deville, G

    R. Deville, G. Godefroy, and V. Zizler,Smoothness and Renormings in Banach Spaces, Longman, 1993

  4. [4]

    Eymard,L’algebre de Fourier d’un groupe localement compact, Bulletin de la Societe Mathematique de France79(1964), 181–236

    P. Eymard,L’algebre de Fourier d’un groupe localement compact, Bulletin de la Societe Mathematique de France79(1964), 181–236

  5. [5]

    Friedman and B

    Y. Friedman and B. Russo,Solution of the contractive projection problem, Journal of Functional Analysis60(1985), no. 1, 56–79

  6. [6]

    Gr¨ atzer,General Lattice Theory, Academic Press, 1978

    G.A. Gr¨ atzer,General Lattice Theory, Academic Press, 1978

  7. [7]

    Hajek, V

    P. Hajek, V. Montesinos Santalucia, J. Vanderwerff, and V. Zizler, Biorthogonal Systems in Banach Spaces, CMS Books in Mathematics, Springer, 2008

  8. [8]

    Host,Le theoreme des idempotents dansB(G), Bulletin de la Societe Mathematique de France114(1986), 215–223

    B. Host,Le theoreme des idempotents dansB(G), Bulletin de la Societe Mathematique de France114(1986), 215–223

  9. [9]

    Ilie and N

    M. Ilie and N. Spronk,Completely bounded homomorphisms of the Fourier algebras, Journal of Functional Analysis225(2005), no. 2, 480–499

  10. [10]

    Kakol, W

    J. Kakol, W. Kubis, and M. Lopez-Pellicer,Descriptive Topology in Selected Topics of Functional Analysis, Springer, 2011

  11. [11]

    Kalenda,Continuous images and other topological properties of Val- divia compacta, Fundamenta Mathematicae162(1999), no

    O.F.K. Kalenda,Continuous images and other topological properties of Val- divia compacta, Fundamenta Mathematicae162(1999), no. 2, 181–192

  12. [12]

    2, 131–140 (eng)

    ,An example concerning Valdivia compact spaces, Serdica Mathe- matical Journal25(1999), no. 2, 131–140 (eng)

  13. [13]

    ,Valdivia compact spaces in topology and Banach space theory, Ex- tracta Mathematicae15(2000), no. 1, 1–85

  14. [14]

    4, 514–586

    ,Projectional skeletons and Markushevich bases, Proceedings of the London Mathematical Society120(2020), no. 4, 514–586

  15. [15]

    Kaniuth and A.T.M

    E. Kaniuth and A.T.M. Lau,Fourier and Fourier-Stieltjes Algebras on Locally Compact Groups, Mathematical Surveys and Monographs, vol. 231, American Mathematical Society, Providence, RI, 2018

  16. [16]

    Kirchberg,On non-semisplit extensions, tensor products and exactness of groupC ∗-algebras, Inventiones Mathematicae112(1993), no

    E. Kirchberg,On non-semisplit extensions, tensor products and exactness of groupC ∗-algebras, Inventiones Mathematicae112(1993), no. 3, 449– 490

  17. [17]

    Kubis,Banach spaces with projectional skeletons, Journal of Mathe- matical Analysis and Applications350(2009), no

    W. Kubis,Banach spaces with projectional skeletons, Journal of Mathe- matical Analysis and Applications350(2009), no. 2, 758–776

  18. [18]

    Ng and N

    P.W. Ng and N. Ozawa,A characterization of completely1-complemented subspaces of noncommutativeL 1-spaces, Pacific Journal of Mathematics 205(2002), no. 1, 171–195. 10

  19. [19]

    Tao,Hilbert’s Fifth Problem and Related Topics, Graduate Studies in Mathematics, vol

    T. Tao,Hilbert’s Fifth Problem and Related Topics, Graduate Studies in Mathematics, vol. 153, American Mathematical Society, Providence, RI, 2014

  20. [20]

    Tomiyama,On the projection of norm one inW ∗-algebras, Proceedings of the Japan Academy33(1957), no

    J. Tomiyama,On the projection of norm one inW ∗-algebras, Proceedings of the Japan Academy33(1957), no. 10, 608–612

  21. [21]

    Youngson,Completely contractive projections onC ∗-algebras, The Quarterly Journal of Mathematics34(1983), no

    M.A. Youngson,Completely contractive projections onC ∗-algebras, The Quarterly Journal of Mathematics34(1983), no. 4, 507–511. 11