pith. sign in

arxiv: 2509.24106 · v3 · pith:VKJYXDMInew · submitted 2025-09-28 · 🧮 math.FA · math.DS· math.OA

Twisted crossed products of Banach algebras

Alonso Delf\'in , Carla Farsi , Judith Packer This is my paper

Pith reviewed 2026-05-21 22:24 UTC · model grok-4.3

classification 🧮 math.FA math.DSmath.OA
keywords twisted crossed productsBanach algebrasL^p-operator algebrasPacker-Raeburn tricktwisted actionscontractive representationsuniversal property
0
0 comments X

The pith

Contractive representations equip twisted crossed products of Banach algebras with a Banach algebra structure and isometric universal property, and L^p versions are stably isomorphic to untwisted ones.

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

The paper introduces the twisted crossed product F_R(G,A,α,σ) built from a locally compact group G, a nondegenerate Banach algebra A with contractive approximate identity, a twisted action (α,σ), and a family R of uniformly bounded representations of A. When every representation in R is contractive, the resulting object becomes a Banach algebra that carries a contractive approximate identity and satisfies an isometric universal property for covariant representations. The authors then specialize the construction to L^p-operator algebras, define both full and reduced L^p-twisted crossed products, and prove that every L^p-twisted crossed product is stably isometrically isomorphic to an untwisted crossed product, extending the classical Packer-Raeburn trick to this setting.

Core claim

The central claim is that the twisted crossed product F_R(G,A,α,σ) is a Banach algebra with a contractive approximate identity precisely when R consists of contractive representations of A, and that this algebra is characterized by an isometric universal property. In the L^p-operator algebra setting the same construction yields L^p-twisted crossed products that are stably isometrically isomorphic to ordinary untwisted crossed products.

What carries the argument

The twisted crossed product F_R(G,A,α,σ), formed by integrating the twisted action (α,σ) of G on A against the family R of representations of A.

If this is right

  • The universal property supplies a concrete way to recognize covariant representations of the twisted system inside the new algebra.
  • The contractive approximate identity permits the formation of multiplier algebras and the study of approximate units in the crossed-product setting.
  • The stable isomorphism reduces many questions about L^p-twisted crossed products to the corresponding untwisted L^p-crossed products.
  • Reduced and full versions of the L^p-twisted crossed product can be defined by restricting R to the appropriate classes of representations.

Where Pith is reading between the lines

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

  • The construction may allow results known for ordinary L^p-crossed products to be transferred directly to the twisted case via the stable isomorphism.
  • Similar universal-property arguments could be applied to other classes of representations beyond the contractive ones considered here.
  • The approach might extend to twisted actions on operator spaces or on algebras without approximate identities by relaxing the contractivity hypotheses in a controlled way.

Load-bearing premise

The family R consists of contractive representations, A is nondegenerate and possesses a contractive approximate identity, and (α,σ) is a genuine twisted action of the locally compact group G on A.

What would settle it

An explicit example of a family R of uniformly bounded but non-contractive representations for which the integrated form F_R fails to satisfy the Banach algebra norm inequality, or a concrete L^p-twisted crossed product that is not stably isometrically isomorphic to any untwisted crossed product.

read the original abstract

Given a locally compact group $G$, a nondegenerate Banach algebra $A$ with a contractive approximate identity, a twisted action $(\alpha, \sigma)$ of $G$ on $A$, and a family $\mathcal{R}$ of uniformly bounded representations of $A$ on Banach spaces, we define the twisted crossed product $F_\mathcal{R}(G,A,\alpha, \sigma)$. When $\mathcal{R}$ consists of contractive representations, we show that $F_\mathcal{R}(G,A,\alpha, \sigma)$ is a Banach algebra with a contractive approximate identity, which can also be characterized by an isometric universal property. As an application, we specialize to the $L^p$-operator algebra setting, defining both the $L^p$-twisted crossed product and the reduced version. Finally, we give a generalization of the so-called Packer-Raeburn trick to the $L^p$-setting, showing that any $L^p$-twisted crossed product is "stably" isometrically isomorphic to an untwisted one.

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 paper defines the twisted crossed product F_R(G,A,α,σ) for a locally compact group G, nondegenerate Banach algebra A with contractive approximate identity, twisted action (α,σ), and family R of uniformly bounded representations of A. When R consists of contractive representations, F_R is shown to be a Banach algebra with contractive approximate identity that satisfies an isometric universal property for covariant representations. Specializing to L^p-operator algebras yields definitions of L^p-twisted crossed products and their reduced forms; a generalization of the Packer-Raeburn construction then establishes that every L^p-twisted crossed product is stably isometrically isomorphic to an untwisted crossed product.

Significance. If the derivations hold, the work supplies a flexible, representation-theoretic construction of Banach algebras from twisted actions that extends classical crossed-product theory to general Banach algebras and to the L^p-operator algebra setting. The isometric universal property and the stable isomorphism result are concrete tools that could simplify the analysis of representations, ideals, and invariants in these algebras. The paper gives explicit norm estimates and direct verifications under the stated hypotheses, together with a clean application that reduces twisted L^p-crossed products to untwisted ones.

major comments (2)
  1. [§3.2] §3.2, after Definition 3.4: the submultiplicativity estimate for the twisted convolution product on the dense subspace of compactly supported functions relies on the contractivity of representations in R and the cocycle identity for σ; the argument is sketched but the precise passage from the pointwise product to the integrated norm bound (involving the uniform bound of R) is not written out in full detail, which is load-bearing for the claim that the completion is a Banach algebra.
  2. [Theorem 5.7] Theorem 5.7 (generalized Packer-Raeburn): the statement that the L^p-twisted crossed product is 'stably' isometrically isomorphic to an untwisted one requires an explicit description of the stabilizing algebra (e.g., whether it is the compact operators on L^p or a matrix algebra over it) and a verification that the isomorphism preserves the reduced norm; this step is central to the application but the current write-up leaves the precise stable isomorphism implicit.
minor comments (3)
  1. [Abstract] The abstract introduces the notation F_R without a preliminary sentence locating it; a one-line definition in the abstract would improve readability.
  2. [§5] Notation for the reduced L^p-crossed product is introduced in §5 but never contrasted typographically with the full version; a consistent subscript (e.g., r) would prevent confusion.
  3. [Introduction] Several references to the classical Packer-Raeburn trick cite only the original C*-paper; adding a sentence recalling the precise statement in the C*-setting would help readers unfamiliar with that literature.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and will incorporate the suggested clarifications in the revised version.

read point-by-point responses

  1. Referee: [§3.2] §3.2, after Definition 3.4: the submultiplicativity estimate for the twisted convolution product on the dense subspace of compactly supported functions relies on the contractivity of representations in R and the cocycle identity for σ; the argument is sketched but the precise passage from the pointwise product to the integrated norm bound (involving the uniform bound of R) is not written out in full detail, which is load-bearing for the claim that the completion is a Banach algebra.

    Authors: We agree that the submultiplicativity estimate would benefit from a more explicit write-up. In the revised manuscript we will expand the argument after Definition 3.4 to detail the passage from the pointwise product, via the cocycle identity for σ and the contractivity of the representations in R, to the integrated norm bound that uses the uniform bound of R. revision: yes

  2. Referee: [Theorem 5.7] Theorem 5.7 (generalized Packer-Raeburn): the statement that the L^p-twisted crossed product is 'stably' isometrically isomorphic to an untwisted one requires an explicit description of the stabilizing algebra (e.g., whether it is the compact operators on L^p or a matrix algebra over it) and a verification that the isomorphism preserves the reduced norm; this step is central to the application but the current write-up leaves the precise stable isomorphism implicit.

    Authors: We accept that the stable isomorphism in Theorem 5.7 is presented somewhat implicitly. In the revision we will explicitly identify the stabilizing algebra (as the compact operators on an appropriate L^p-space or a matrix algebra over it) and supply a direct verification that the isomorphism preserves the reduced norm. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces the twisted crossed product F_R(G,A,α,σ) by explicit definition as a suitable completion of compactly supported continuous functions equipped with a twisted convolution product, then directly verifies the Banach algebra property, contractive approximate identity, and isometric universal property from the uniform boundedness/contractivity of representations in R, nondegeneracy and contractive approximate identity of A, and the standard cocycle axioms for the twisted action. These verifications consist of norm estimates and algebraic checks on the dense subspace that do not reduce to fitted parameters, self-referential definitions, or load-bearing self-citations. The L^p specialization and generalized Packer-Raeburn isomorphism are likewise obtained by explicit constructions and the same estimates, rendering the derivation self-contained against the stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

The central claims rest on standard background assumptions about Banach algebras, locally compact groups, and twisted actions; the only invented entity is the newly defined crossed-product algebra itself.

axioms (3)
  • domain assumption A is a nondegenerate Banach algebra possessing a contractive approximate identity
    Stated as given in the opening sentence of the abstract.
  • domain assumption G is a locally compact group and (α,σ) is a twisted action of G on A
    Standard setup for crossed-product constructions; invoked throughout the abstract.
  • domain assumption R is a family of uniformly bounded representations of A on Banach spaces
    Required for the definition of F_R; contractivity is added for the algebra property.
invented entities (1)
  • F_R(G,A,α,σ) no independent evidence
    purpose: The twisted crossed product Banach algebra
    Newly defined object whose properties are proved in the paper.

pith-pipeline@v0.9.0 · 5714 in / 1548 out tokens · 75674 ms · 2026-05-21T22:24:55.951417+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · 5 internal anchors

  1. [1]

    Bardadyn, B

    K. Bardadyn, B. Kwa´ sniewski, and A. McKee. Banach algebras associated to twisted ´ etale groupoids: Inverse semigroup disintegration and representations onL p-spaces.J. Funct. Anal., 289(12):Paper No. 111163, 2025

    work page 2025

  2. [2]

    Bardadyn and B

    K. Bardadyn and B. Kwa´ sniewski. Topologically free actions and ideals in twisted Banach algebra crossed products.Proceedings of the Royal Society of Edinburgh: Section A Mathe- matics, page 1–31, April 2024

    work page 2024

  3. [3]

    Kwa´ sniewski, and A

    K Bardadyn, B. Kwa´ sniewski, and A. McKee. Banach algebras associated to twisted ´ etale groupoids: simplicity and pure infiniteness. Preprint available at(arXiv:2406.05717 [math.FA]), 2025

    work page arXiv 2025

  4. [4]

    Blinov, A

    A. Blinov, A. Delf´ ın, and E. Weld. Multiplier algebras ofL p-operator algebras.Pacific J. Math., 333(2):197–227, 2024

    work page 2024

  5. [5]

    R. C. Busby and H. A. Smith. Representations of twisted group algebras.Trans. Amer. Math. Soc., 149:503–537, 1970

    work page 1970

  6. [6]

    C. Choi, E. Gardella, and H. Thiel. Rigidity results forL p-operator algebras and applications. Advances in Mathematics, 452:109747, 2024

    work page 2024

  7. [7]

    J. B. Conway.A course in functional analysis, volume 96 ofGraduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1990

    work page 1990

  8. [8]

    Crossed products of Banach algebras. III

    M. de Jeu and M. Messerschmidt. Crossed products of Banach algebras. III. Preprint available at(arXiv:1306.6290 [math.FA]), 2013

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  9. [9]

    Crossed products of Banach algebras. II

    M. de Jeu, M. Messerschmidt, and M. Wortel. Crossed products of Banach algebras. II. Preprint available at(arXiv:1305.2304 [math.FA]), 2013

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  10. [10]

    Defant and K

    A. Defant and K. Floret.Tensor norms and operator ideals, volume173ofNorth-Holland mathematics studies. North-Holland, 1 edition, (1993)

    work page 1993

  11. [11]

    Crossed products of Banach algebras. I

    S. Dirksen, M. de Jeu, and M. Wortel. Crossed products of Banach algebras. I. Preprint available at(arXiv:1104.5151 [math.FA]), 2011

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  12. [12]

    J. M. G. Fell and R. S. Doran.Representations of ∗-algebras, locally compact groups, and Banach ∗-algebraic bundles. Vol. 1, volume 125 ofPure and Applied Mathematics. Academic Press, Inc., Boston, MA, 1988. Basic representation theory of groups and algebras

    work page 1988

  13. [13]

    J. M. G. Fell and R. S. Doran.Representations of ∗-algebras, locally compact groups, and Banach ∗-algebraic bundles. Vol. 2, volume 126 ofPure and Applied Mathematics. Academic TWISTED CROSSED PRODUCTS OF BANACH ALGEBRAS 27 Press, Inc., Boston, MA, 1988. Banach ∗-algebraic bundles, induced representations, and the generalized Mackey analysis

    work page 1988

  14. [14]

    Figiel, T

    T. Figiel, T. Iwaniec, and A. Pe lczy´ nki. Computing norms and critical exponents of some operators inL p-spaces.Studia Math.,79:227–274, (1984)

    work page 1984

  15. [15]

    F. I. Flores. On the topological ranks of Banach ∗-algebras associated with groups of subex- ponential growth, 2025. Preprint available at(arXiv:2503.15437 [math.OA])

    work page arXiv 2025

  16. [16]

    Gardella and M

    E. Gardella and M. Lupini. Representations of ´ etale groupoids onL p-spaces.Adv. Math., 318:233–278, 2017

    work page 2017

  17. [17]

    Gardella and H

    E. Gardella and H. Thiel. Extending representations of Banach algebras to their biduals. Math. Z., 294(3-4):1341–1354, 2020

    work page 2020

  18. [18]

    E. V. Hetland and E. Ortega. Rigidity of twisted groupoidL p-operator algebras.J. Funct. Anal., 285(6):Paper No. 110037, 45, 2023

    work page 2023

  19. [19]

    H. Leptin. VerallgemeinerteL 1-Algebren und projektive Darstellungen lokal kompakter Grup- pen. I, II.Invent. Math., 4:68–86, 1967

    work page 1967

  20. [20]

    Li and S

    D. Li and S. Xu. Banach algebra dynamical systems.Chinese Ann. Math. Ser. B, 35(2):285– 300, 2014

    work page 2014

  21. [21]

    J. A. Packer and I. Raeburn. Twisted crossed products ofC∗-algebras.Math. Proc. Cambridge Philos. Soc., 106(2):293–311, 1989

    work page 1989

  22. [22]

    J. A. Packer and I. Raeburn. Twisted crossed products ofC ∗-algebras. II.Math. Ann., 287(4):595–612, 1990

    work page 1990

  23. [23]

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

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  24. [24]

    N. C. Phillips. Crossed products ofL p operator algebras and theK-theory of Cuntz algebras onL p spaces. Preprint available at(arXiv:1309.6406 [math.FA]), 2013

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  25. [25]

    Ryan.Introduction to tensor products of Banach spaces

    R.A. Ryan.Introduction to tensor products of Banach spaces. Springer Monographs in Math- ematics. Springer-Verlag London, Ltd., London, 2002

    work page 2002

  26. [26]

    Wang and S

    Z. Wang and S. Zhu. On the Takai duality forL p operator crossed products.Math. Z., 304(4):Paper No. 54, 23, 2023

    work page 2023

  27. [27]

    D. P. Williams.Crossed products ofC ∗-algebras, volume 134 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2007

    work page 2007

  28. [28]

    Zeller-Meier

    G. Zeller-Meier. Produits crois´ es d’uneC∗-alg` ebre par un groupe d’automorphismes.J. Math. Pures Appl. (9), 47:101–239, 1968. Email address:alonso.delfin@colorado.edu URL:https://math.colorado.edu/~alde9049 Email address:carla.farsi@colorado.edu URL:https://www.colorado.edu/math/carla-farsi Email address:judith.jesudason@colorado.edu URL:https://math.c...

    work page 1968