pith. sign in

arxiv: 2604.16946 · v1 · submitted 2026-04-18 · 🧮 math.FA · math.OA

Takesaki duality for weak* closed L^p-operator crossed products

Zhen Wang This is my paper

Pith reviewed 2026-05-10 07:04 UTC · model grok-4.3

classification 🧮 math.FA math.OA
keywords Takesaki dualityL^p-operator algebrasweak* closed algebrascrossed productsAbelian groupsoperator algebrasdouble dual action
0
0 comments X

The pith

Takesaki duality extends to weak* closed L^2-operator crossed products but fails for other p unless the group is finite.

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

The paper investigates whether Takesaki duality, which identifies a crossed product with its double dual in the von Neumann algebra setting, carries over when the underlying objects are weak* closed L^p-operator algebras for p greater than 1. The authors build an explicit weak* continuous homomorphism from the double crossed product by the dual group back into the tensor product of bounded operators on l^p space with the original algebra. They establish that this map is an isomorphism exactly when p equals 2 or the countable discrete Abelian group is finite, and is an isometric isomorphism under the stricter condition that p equals 2 or the group is trivial. A reader would care because the result draws a sharp line: duality behaves as in the classical case only for the Hilbert-space L^2 theory and breaks for all other p when the group is infinite.

Core claim

We construct a weak* continuous homomorphism Φ from W^*_p(Ĝ, W^*_p(G,A,α), ˆα) to B(l^p(G)) bar⊗ A. Φ is an isomorphism if and only if either p=2 or G is finite, and Φ is an isometric isomorphism if either p=2 or G is trivial. The map Φ is equivariant for the double dual action ˆˆα and the action Ad ρ_p ⊗ α. Moreover, W^*_p(Ĝ, W^*_p(G,A,α), ˆα) is weak* continuously isometrically isomorphic to B(l^p(G)) bar⊗ A if and only if either p=2 or G is trivial, and is weak* continuously isomorphic to B(l^p(G)) bar⊗ A if and only if either p=2 or G is finite when A equals M_n^p. This shows that Takesaki duality generalizes to weak* closed L^2-operator algebras but cannot be generalized to weak* closed

What carries the argument

The weak* continuous homomorphism Φ from the double crossed product W^*_p(Ĝ, W^*_p(G,A,α), ˆα) to B(l^p(G)) bar⊗ A, serving as the candidate duality map whose bijectivity is characterized by the value of p and the size of G.

If this is right

  • When p equals 2 the double crossed product is always weak* continuously isomorphic to B(l^2(G)) bar⊗ A via Φ.
  • For any p not equal to 2 and any infinite G the double crossed product fails to be isomorphic to B(l^p(G)) bar⊗ A.
  • When A is the finite-dimensional algebra M_n^p the isomorphism holds precisely when G is finite.
  • The homomorphism Φ is always equivariant with respect to the natural actions of G on both sides.

Where Pith is reading between the lines

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

  • L^p-operator algebras for p not equal to 2 therefore lack the self-dual character that makes von Neumann algebra crossed products reconstructible from their duals.
  • Similar duality statements might be examined for non-Abelian or continuous groups to see whether the p-equals-2 restriction persists.
  • The separability and unitality hypotheses on A could be tested for removal while keeping the same isomorphism criteria.
  • The failure for p not equal to 2 may connect to the absence of a Hilbert-space inner product structure in the general L^p setting.

Load-bearing premise

The algebra A must be a unital separable weak* closed L^p-operator algebra and the action α must be a weak* continuous p-completely isometric action of the countable discrete Abelian group G.

What would settle it

An explicit computation, for the infinite group G equal to the integers, p equal to 4, and A equal to the scalars, that shows the double crossed product is isometrically isomorphic to B(l^4(Z)) would falsify the claim that the duality map fails to be an isomorphism for p not equal to 2.

read the original abstract

The aim of this paper is to study Takesaki duality for weak* closed $L^p$-operator crossed product $W^*_p(G,A,\alpha)$, where $G$ is a countable discrete Abelian group, $A$ is a unital separable weak* closed $L^p$-operator algebra ($p>1$), and $\alpha$ is a weak* continuous $p$-completely isometric action of $G$ on $A$. In this paper, we construct a weak* continuous homomorphism $\Phi$ from $W^*_p(\hat{G},W^*_p(G,A,\alpha),\hat{\alpha})$ to $\mathcal{B}(l^{p}(G))\bar{\otimes}A$. We show that $\Phi$ is an isomorphism if and only if either $p=2$ or $G$ is finite, and $\Phi$ is an isometric isomorphism if either $p=2$ or $G$ is trivial. It is also proved that $\Phi$ is equivariant for the double dual action $\hat{\hat{\alpha}}$ of $G$ on $W^*_p(\hat{G},W^*_p(G,A,\alpha),\hat{\alpha})$ and the action $\mathrm{Ad}\rho_p\otimes\alpha$ of $G$ on $\mathcal{B}(l^p(G))\bar{\otimes} A$. Furthermore, we prove that $W^*_p(\hat{G},W^*_p(G,A,\alpha),\hat{\alpha})$ is weak* continuous isometrically isomorphic to $\mathcal{B}(l^{p}(G))\bar{\otimes}A$ if and only if either $p=2$ or $G$ is trivial, and $W^*_p(\hat{G},W^*_p(G,A,\alpha),\hat{\alpha})$ is weak* continuous isomorphic to $\mathcal{B}(l^{p}(G))\bar{\otimes}A$ if and only if either $p=2$ or $G$ is finite when $A=M_n^p$. This shows that Takesaki duality theorem of von Neumann algebras can be generalized to weak* closed $L^2$-operator algebras, and this theorem can not be generalized to weak* closed $L^p$-operator algebras when $p\in (1,\infty)\setminus\{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

2 major / 3 minor

Summary. The manuscript constructs a weak* continuous homomorphism Φ: W^*_p(Ĝ, W^*_p(G,A,α), ˆα) → B(l^p(G)) ¯⊗ A for unital separable weak* closed L^p-operator algebras A (p>1) equipped with a weak* continuous p-completely isometric action α of a countable discrete Abelian group G. It proves that Φ is an isomorphism if and only if p=2 or G is finite, and an isometric isomorphism if and only if p=2 or G is trivial. Equivariance of Φ with respect to the double dual action ˆˆα and Ad ρ_p ⊗ α is established. The double crossed product is shown to be weak* continuously isometrically isomorphic to B(l^p(G)) ¯⊗ A precisely when p=2 or G is trivial, and (non-isometrically) isomorphic when p=2 or G is finite in the special case A = M_n^p. The work concludes that Takesaki duality extends to weak* closed L^2-operator algebras but cannot be generalized to other L^p for infinite G.

Significance. If the explicit constructions of Φ and the crossed products, together with the bijectivity and equivariance arguments, are correct, the paper supplies a sharp boundary for the validity of Takesaki duality outside the von Neumann (p=2) setting. The iff statements furnish concrete obstructions for p ≠ 2 and infinite G, together with positive results for the L^2 case and finite groups. This constitutes a useful contribution to the study of L^p-operator algebras and crossed products.

major comments (2)
  1. The central isomorphism claims rest on the explicit form of Φ and the verification that its kernel and cokernel vanish precisely under the stated conditions on p and G. Without the detailed computation of these properties (presumably in the sections containing the definition of Φ and the subsequent lemmas), the load-bearing step from construction to the iff statements cannot be confirmed from the abstract alone.
  2. The equivariance statement for Φ with respect to ˆˆα and Ad ρ_p ⊗ α is asserted but not accompanied by an explicit diagram chase or computation of the relevant actions on generators; this step is load-bearing for the final identification of the double crossed product with the tensor product.
minor comments (3)
  1. Notation: the bar in B(l^p(G)) ¯⊗ A should be defined at first use; it is unclear whether it denotes the weak* spatial tensor product or another completion.
  2. The statement that duality 'cannot be generalized' to p ∈ (1,∞) ∖ {2} is slightly imprecise, since the results show it holds for finite G; a more accurate phrasing would restrict the negative claim to infinite G.
  3. The special case A = M_n^p is introduced late; it would be helpful to state early whether the isomorphism results for general A already imply the matrix case or whether additional arguments are needed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of its significance. We address each major comment below, indicating the revisions we will make to improve clarity.

read point-by-point responses

  1. Referee: The central isomorphism claims rest on the explicit form of Φ and the verification that its kernel and cokernel vanish precisely under the stated conditions on p and G. Without the detailed computation of these properties (presumably in the sections containing the definition of Φ and the subsequent lemmas), the load-bearing step from construction to the iff statements cannot be confirmed from the abstract alone.

    Authors: The explicit construction of Φ appears in Definition 3.1. The kernel and cokernel computations establishing the isomorphism criteria are contained in Lemmas 4.3, 4.5 and 4.6 together with Theorems 4.2 and 4.4. To address the concern, we will insert a short roadmap paragraph at the start of Section 4 that outlines the strategy for these verifications, making the logical dependence on the explicit form of Φ more transparent. revision: partial

  2. Referee: The equivariance statement for Φ with respect to ˆˆα and Ad ρ_p ⊗ α is asserted but not accompanied by an explicit diagram chase or computation of the relevant actions on generators; this step is load-bearing for the final identification of the double crossed product with the tensor product.

    Authors: Equivariance is proved in Proposition 5.1 by direct verification on the generators of the crossed-product algebra. In the revised version we will expand this proof to include an explicit computation on the unitary generators corresponding to group elements and will add a commutative diagram illustrating the compatibility of the double dual action ˆˆα with Ad ρ_p ⊗ α. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper constructs an explicit weak* continuous homomorphism Φ from the double crossed product W^*_p(Ĝ, W^*_p(G,A,α), α̂) to B(l^p(G)) ⊗ A and directly proves its bijectivity and isometry properties via iff statements conditioned on p=2 or finiteness/triviality of G. These are derived from the definitions of the weak* closed L^p-operator crossed products, the p-completely isometric action α, and the double dual action, without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The separation of the L^2 case (where duality holds) from p≠2 (where it fails for infinite G) follows from the explicit construction and equivariance checks, making the derivation self-contained against the stated assumptions of separability and weak* continuity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard definitions and properties of weak* closed L^p-operator algebras and group actions from the literature on operator algebras; no new entities or fitted parameters are introduced.

axioms (2)
  • domain assumption Existence and basic properties of weak* closed L^p-operator algebras for p>1
    Invoked throughout the construction of W^*_p(G,A,α) and the homomorphism Φ.
  • domain assumption The action α is weak* continuous and p-completely isometric
    Used to define the crossed product and the dual action hat α.

pith-pipeline@v0.9.0 · 5732 in / 1312 out tokens · 47206 ms · 2026-05-10T07:04:51.757874+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

38 extracted references · 38 canonical work pages

  1. [1]

    G. An, J-J. Lee, Z-J. Ruan, Onp-approximation properties forp-operator spaces, J. Funct. Anal. 259 (2010), no. 4, 933–974

    work page 2010

  2. [2]

    Blecher and N

    D. Blecher and N. C. Phillips,L p operator algebras with approximate identities I. Pacific J. Math. 303 (2019), no. 2, pp. 401–457

    work page 2019

  3. [3]

    N. P. Brown, N. Ozawa,C∗-algebras and finite-dimensional approximations, Graduate Studies in Mathematics 88, American Mathematical Society, Providence, RI, 2008

    work page 2008

  4. [4]

    J. B. Conway, A Course in Functional Analysis, Graduate Texts in Mathematics, 96, Springer, New York, 1990

    work page 1990

  5. [5]

    Y. Choi, E. Gardella, H. Thiel, Rigidity results forLp-operator algebras and applica- tions, Adv. Math. 452 (2024), Paper No. 109747, 47 pp

    work page 2024

  6. [6]

    Chung, Yeong Chyuan, Li, Kang, Rigidity oflp Roe-type algebras, Bull. Lond. Math. Soc. 50 (2018), no. 6, 1056–1070

    work page 2018

  7. [7]

    R. G. Douglas, Banach algebra techniques in operator theory, Pure Appl. Math., Vol. 49 Academic Press, New York-London, 1972, xvi+216 pp

    work page 1972

  8. [8]

    Daws,p-operator spaces and Fig` a-Talamanca–Herz algebras, J

    M. Daws,p-operator spaces and Fig` a-Talamanca–Herz algebras, J. Operator Theory 63 (2010), no. 1, 47–83

    work page 2010

  9. [9]

    M. Daws, N. Spronk, The approximation property implies that convolvers are pseu- domeasures, Studia Math., to appear

    work page

  10. [10]

    Derighetti, Convolution operators on groups, Lect

    A. Derighetti, Convolution operators on groups, Lect. Notes Unione Mat. Ital., 11 Springer, Heidelberg; UMI, Bologna, 2011, xii+171 pp

    work page 2011

  11. [11]

    Figà-Talamanca, Alessandro, G

    A. Figà-Talamanca, Alessandro, G. I. Gaudry, Multipliers and sets of uniqueness of Lp, Michigan Math. J. 17 (1970), 179–191

    work page 1970

  12. [12]

    Gardella, H

    E. Gardella, H. Thiel, Group algebras acting onLp-spaces, J. Fourier Anal. Appl. 21(2015), no.6, 1310-1343

    work page 2015

  13. [13]

    Gardella, M

    E. Gardella, M. Lupini, Representations of´etale groupoids onLp-spaces, Adv. Math., 318 (2017), pp. 233–278

    work page 2017

  14. [14]

    Gardella, H

    E. Gardella, H. Thiel, Representations ofp-convolution algebras onLq-spaces, Trans. Amer. Math. Soc. 371 (2019), 2207–2236

    work page 2019

  15. [15]

    Gardella, H

    E. Gardella, H. Thiel, Isomorphisms of algebras of convolution operators, Ann. Sci. ´Ec. Norm. Sup´ er. (4) 55 (2022), no. 5, 1433–1471

    work page 2022

  16. [16]

    Herz, The theory ofp-spaces with an application to convolution operators, Trans

    C. Herz, The theory ofp-spaces with an application to convolution operators, Trans. Amer. Math. Soc. 154 (1971), pp. 69–82

    work page 1971

  17. [17]

    Herz, Harmonic synthesis for subgroups, Ann

    C. Herz, Harmonic synthesis for subgroups, Ann. Inst. Fourier (Grenoble), 23 (1973), 91–123

    work page 1973

  18. [18]

    Herz, On the asymmetry of norms of convolution operators, I

    C. Herz, On the asymmetry of norms of convolution operators, I. J. Funct. Anal. 23 (1976), no. 1, 11–22

    work page 1976

  19. [19]

    Kaniuth, A Course in Commutative Banach Algebras (Springer, New York), 2009

    E. Kaniuth, A Course in Commutative Banach Algebras (Springer, New York), 2009

    work page 2009

  20. [20]

    Larsen, An introduction to the theory of multipliers, Die Grundlehren der math- ematischen Wissenschaften, Band 175 Springer-Verlag, New York-Heidelberg, 1971, xxi+282 pp

    R. Larsen, An introduction to the theory of multipliers, Die Grundlehren der math- ematischen Wissenschaften, Band 175 Springer-Verlag, New York-Heidelberg, 1971, xxi+282 pp

    work page 1971

  21. [21]

    T. W. Palmer, Banach algebras and the general theory of *-algebras. Vol. I. Al- gebras and Banach algebras. Encyclopedia of Mathematics and its Applications, 49. Cambridge University Press, Cambridge, 1994

    work page 1994

  22. [22]

    N. C. Phillips, Analogs of Cuntz algebras onL p spaces, preprint arXiv:1201.4196 [math.FA] (2012)

    work page Pith review arXiv 2012

  23. [23]

    N. C. Phillips, Simplicity of UHF and Cuntz algebras onLp spaces, preprint arXiv: 1309.0115 [math.FA] (2013)

    work page arXiv 2013

  24. [24]

    N. C. Phillips, Isomorphism, nonisomorphism, and amenability ofLp UHF algebras, preprint arXiv: 1309.3694v2 [math.FA] (2013)

    work page arXiv 2013

  25. [25]

    N. C. Phillips, Crossed products ofLp operator algebras and theK-theory of Cuntz algebras onL p spaces, preprint arXiv:1309.6406 [math.FA] (2013). 36 Z. W ANG

    work page Pith review arXiv 2013

  26. [26]

    N. C. Phillips, Open problems related to operator algebras onLp spaces, preprint, 2014, https://pdfs.semanticscholar.org/0823/5038ec45079e7721a59021a4492da2c2b1a3.pdf

    work page 2014

  27. [27]

    look like

    N. C. Phillips, Operator algebras onL p spaces which "look like"C ∗-algebras, 2014, https://pages.uoregon.edu/ncp/Talks/20140527_GPOTS/LpOpAlgs_Talk- Summary.pdf

    work page arXiv 2014

  28. [28]

    N. C. Phillips and M. G. Viola, Classification ofLp AF algebras, Internat. J. Math. 31 (2020), no. 13, 2050088, 41 pp

    work page 2020

  29. [29]

    N. C. Phillips, https://pages.uoregon.edu/ncp/Research/Talks/Talk_20240709_- BAOA2024_Incpr/V2_Corr1/Talk_For_posting.pdf

    work page

  30. [30]

    Rudin, Real and complex analysis, Third edition, McGraw-Hill Book Company, New York, 1987

    W. Rudin, Real and complex analysis, Third edition, McGraw-Hill Book Company, New York, 1987

    work page 1987

  31. [31]

    Runde, Operator Fig` a-Talamanca–Herz algebras, Studia Math

    V. Runde, Operator Fig` a-Talamanca–Herz algebras, Studia Math. 155 (2003), no. 2, 153–170

    work page 2003

  32. [32]

    Takesaki, Duality for crossed products and the structure of von Neumann algebras of typeIII, Acta Math

    M. Takesaki, Duality for crossed products and the structure of von Neumann algebras of typeIII, Acta Math. 131 (1973), 249–310

    work page 1973

  33. [33]

    Takesaki, Theory of operator algebras II, Encyclopaedia Math

    M. Takesaki, Theory of operator algebras II, Encyclopaedia Math. Sci., 125 Oper. Alg. Non-commut. Geom., 6 Springer-Verlag, Berlin, 2003, xxii+518 pp

    work page 2003

  34. [34]

    van Daele, Continuous crossed products and type III von Neumann algebras, London Math

    A. van Daele, Continuous crossed products and type III von Neumann algebras, London Math. Soc. Lecture Note Ser., 31 Cambridge University Press, Cambridge- New York, 1978, vii+68 pp

    work page 1978

  35. [35]

    Q. Wang, Z. Wang, Notes on thelp-Toeplitz algebra onl p(N), Israel J. Math. 245 (2021), no. 1, 153–163

    work page 2021

  36. [36]

    Z. Wang, S. Zhu, On the Takai duality forLp operator crossed products, Math. Z. 304 (2023), no. 4, Paper No. 54, 23 pp

    work page 2023

  37. [37]

    Z. Wang, S. Zhu,p-nuclearity ofLp-operator crossed products, Israel J. Math. (2025). https://doi.org/10.1007/s11856-025-2849-4

    work page doi:10.1007/s11856-025-2849-4 2025

  38. [38]

    Wang,p-nuclearity of reduced groupLp-operator algebras, Pacific J

    Z. Wang,p-nuclearity of reduced groupLp-operator algebras, Pacific J. Math. (2026). School of Mathematics, HangZhou Normal University, HangZhou 311121, P. R. China Email address:wangzhen@hznu.edu.cn

    work page 2026