REVIEW 1 major objections 4 minor 38 references
Fej\'er representations for discrete quantum groups and applications
T0 review · 1 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read A discrete quantum group has the approximation property exactly when its crossed products admit Fejér summability.
desk verdict A genuinely new AP/Fejér equivalence for discrete quantum groups with solid proofs and useful applications; the flagged concerns are mostly presentation issues, not real gaps. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the operator-valued weight $E=E_{\hat\alpha}$ induced by the dual action $\hat\alpha$ of $\hat{\mathbb G}^{\mathrm{op}}$ on the crossed product, together with the completely bounded slice maps $\Theta^{\ell op}(f)$ implemented by the fundamental unitary $\widetilde W$ of $\hat{\mathbb G}^{\mathrm{op}}$. Lemma 3.1 shows that for $f\in\mathrm{Pol}(\hat{\mathbb G})\cdot\hat\phi$, the slice $(\Theta^{\ell op}(f)\otimes\mathrm{id})(T)$ can be rewritten as the displayed finite Fejér sum; the coefficients $d_\beta/\lambda^\beta_i\,\langle f,\hat u^\beta_{ji}\rangle$ come exactly from the Peter–Weyl orthogonality relations, so they match the Fourier coefficients of $f$ with respect to the dual co-representations. The approximation property supplies a net $f_\iota\to 1$ in the stable point-weak* topology of $M^\ell_{cb}(L^1(\hat{\mathbb G}))$, and the proof reduces to whether this stable convergence survives tensoring with an arbitrary von Neumann algebra $N$.
What would settle it
Find one discrete quantum group $\mathbb G$ without the approximation property and one action $\alpha$ on a von Neumann algebra $N$ for which the net in (18) fails to converge weak* to some $T\in\mathbb{G}\ltimes N$; equivalently, exhibit a Hilbert space $H$ and a von Neumann algebra $N$ such that the stable-convergence replacement used on page 10 (citing [21, Proposition 1.7]) breaks for a non-classical quantum group, because then the 'only if' direction of Theorem 3.2 collapses.
Extended reading notes
Core claim
The paper's central claim is that a discrete quantum group $\mathbb G$ has the approximation property if and only if, for every action $\alpha$ on a von Neumann algebra $N$ and every $T$ in the crossed product $\mathbb G\ltimes N$, $$T=\mathrm{w}^*-\lim_\iota\sum_{\$\beta$\in F_\iota}\sum_{i,j,k=1}^{n_\$\beta$}\frac{d_\$\beta$}{\$\lambda$^\beta_i}\langle f_\iota,\hat u^\beta_{ji}\rangle E\bigl(T((\hat u^\beta_{ki})^*\otimes 1)\bigr)(\hat u^\beta_{kj}\otimes 1),$$ where $(f_\iota)$ is a net in $\mathrm{Pol}(\hat{\mathbb G})\cdot\hat\phi$, the $\hat u^\beta_{ij}$ are matrix coefficients of irreducible co-representations of $\hat{\mathbb G}$, $d_\beta$ is the quantum dimension, $\lambda^\beta_i$ are the weights from the Peter–Weyl orthogonality relations, and $E$ is the operator-valued weight induced by the dual action (a conditional expectation in the C*-case). The same statement holds in norm topology for C*-crossed products. Thus the AP is not merely a technical property of the dual Banach algebra of completely bounded multipliers; it is precisely the summability condition under which the Cesàro–Fourier series of every crossed-product element converges back to that element.
Load-bearing premise
The key step assumes that stable point-weak* convergence of the net $\Theta^{\ell op}(f_\iota)$ — known when tensored with $\mathcal B(H)$ for Hilbert spaces $H$ — remains valid when $\mathcal B(H)$ is replaced by an arbitrary von Neumann algebra $N$; the paper cites a classical-group result for this replacement and supplies no quantum-group proof.
Editorial extensions
If this is right
- For every discrete quantum group with the AP, each element of any von Neumann crossed product is a weak* limit of the displayed Fejér averages, and each element of any C*-crossed product is a norm limit of them (Theorems 3.2 and 3.7).
- The AP is necessary for the representation: if a discrete quantum group lacks the AP, some crossed product element cannot be recovered by these Cesàro averages.
- For an AP discrete quantum group, every weak*-closed $L^\infty(\hat{\mathbb G})$-bimodule in $\mathcal B(\ell^2(\mathbb G))$ that is invariant under completely bounded left multipliers is of the form $\mathrm{Bim}(J^\perp)=\mathrm{Ran}(J)^\perp$ for a closed left ideal $J$ of $\ell^1(\mathbb G)$, with the norm-closed analogue for $C(\hat{\mathbb G})$-bimodules in $\mathcal K(\ell^2(\mathbb G))$.
- Every action of an AP discrete quantum group on a von Neumann algebra or C*-algebra has the slice map property: the Fubini crossed product of any invariant subspace coincides with its ordinary crossed-product subspace.
- Compact groups, which always have the AP, obtain the new bimodule characterization in $\mathcal K(L^2(G))$ as a special case.
Reading between the lines
- If the unproved replacement of $\mathcal B(H)$ by an arbitrary von Neumann algebra fails for a non-classical quantum group, the 'if' direction of Theorem 3.2 survives but the 'only if' may not; this hinge can be probed directly by testing the displayed net with $\mathbb G$ acting on $N=L^\infty(\mathbb G)$ by the co-multiplication, where the crossed product is concrete.
- The closed-form coefficients suggest a truncation scheme: on finite-dimensional truncations of the dual (e.g., root-of-unity deformations), the Fejér average becomes a finite matrix expression, giving a direct numerical route to approximate crossed-product elements.
- The bimodule characterization is a natural stepping stone to a Galois correspondence for intermediate subalgebras of discrete quantum group crossed products, which the authors explicitly postpone; in the classical setting the same representation supplies exactly that correspondence.
- If the slice map property holds for all invariant subspaces, it should imply rigidity of crossed products under equivariant embeddings; conversely, known classical examples where slice maps fail should correspond to discrete quantum groups without the AP.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an equivalence, for a discrete quantum group G, between the approximation property (AP) and the existence of Fejér-type representations for elements of arbitrary C*-algebraic or von Neumann algebraic crossed products by G (Theorems 3.2 and 3.7). The proof is built on Lemma 3.1, which expresses the action of the multiplier Θ̂ℓop(f) on crossed-product elements as an explicit finite sum involving the conditional expectation E and matrix coefficients of the dual compact quantum group. The authors then apply this Fejér theorem to obtain structural results for invariant L∞(Ĝ)-bimodules in B(ℓ2(G)) and C(Ĝ)-bimodules in K(ℓ2(G)), to characterize jointly invariant subspaces in terms of closed left ideals of ℓ1(G), and to prove a slice-map property for actions of discrete quantum groups with the AP.
Significance. If the main equivalence holds, it is a natural and substantial quantum-group analogue of the classical Fejér theorem for crossed products, and it identifies the AP precisely as the summability condition that recovers every crossed-product element from its Fourier coefficients. The paper is well organised, gives detailed proofs of the central statements, and contains several genuinely useful applications: the bimodule characterizations in Theorems 4.4, 4.5, 4.25 and 4.26, the harmonic-operator corollaries, and the Fubini crossed-product slice-map property. The main definitions are standard, and the formulas are explicit enough to be checked. The principal weakness is a load-bearing imported step in the proof of Theorem 3.2, which is discussed below; it is repairable but should be addressed before publication.
major comments (1)
- [§3, proof of Theorem 3.2 (p. 10)] The forward direction uses the assertion, attributed to [21, Proposition 1.7], that stable point-weak* convergence of Θ̂ℓop(fι) on B(H) for Hilbert spaces H implies weak* convergence of Θ̂ℓop(fι)⊗idN on L∞(Ĝop)⊗N for every von Neumann algebra N. This assertion is the only step that upgrades the AP from its Hilbert-space formulation to arbitrary crossed products, and it is exactly what yields the Fejér representation (18) for arbitrary N. The manuscript neither states the proposition nor verifies its hypotheses (normality and complete boundedness of the maps, and a uniform cb-bound for the net). Please add this verification, or replace the appeal by the direct argument: represent N faithfully on a Hilbert space K, apply the stable convergence with H = L2(G)⊗K, and restrict to the subalgebra L∞(Ĝop)⊗(B(L2(G))⊗N).
minor comments (4)
- [§4.1, Proposition 4.8(ii)-(iii)] The stated hypothesis that Ĝ has Ditkin's property is never used in the proof: (ii) follows from Theorem 4.4 and equation (27), and (iii) follows from (i) and Theorem 4.4. Moreover, Corollary 4.9 applies (ii) without the Ditkin assumption. Please either prove the stronger statements or explain the role of Ditkin.
- [§3, AP definition] The definition of the AP says 'for any (separable) Hilbert space H' with the parentheses; this ambiguity matters for the passage to arbitrary von Neumann algebras. Please specify whether stable convergence is required for all Hilbert spaces or only separable ones, and ensure consistency with the definition used in [17].
- [Lemma 3.3, displayed computation] In the displayed computation near equation (23), the sums written as 'β∑' and 'γ∑' should presumably be 'nβ∑' and 'nγ∑'; the notation is otherwise confusing.
- [§3, proof of Theorem 3.7] The sentence 'Repeating the proof of Lemma 3.1' is not literally accurate, because Lemma 3.1 is stated for von Neumann actions, whereas Theorem 3.7 concerns C*-actions on reduced crossed products. Please add a sentence explaining that the C*-case follows by applying the lemma to the double-dual action α~ on A** and restricting to Gα⋉rA.
Circularity Check
No significant circularity: the Fejér representation is derived from the AP definition and prior independent structural theorems, not from the conclusion itself.
full rationale
The paper's central equivalence (Theorems 3.2 and 3.7) is not circular. Lemma 3.1 proves, by explicit Peter–Weyl orthogonality computations, the identity (17): for f in Pol(Ĝ)·φ, the displayed Fejér-type sum equals (Θ^ℓop(f)⊗id)(T). The approximation property is defined independently, as stable point-weak* convergence of Θ^ℓ(f_ι) to the identity on B(H) for Hilbert spaces H. The forward direction of Theorem 3.2 combines this definition with Lemma 3.1; the only step going beyond the definition is the replacement of B(H) by an arbitrary von Neumann algebra N, imported from Haagerup–Kraus [21, Proposition 1.7]. That is an external, previously proved result rather than a self-citation or a fitted input; whether it applies verbatim to quantum groups is a correctness/gap concern, not a circularity. The converse direction is also non-circular: it instantiates the assumed representation for the trivial action on B(H), where the representation reduces, by the same identity (17), to stable point-weak* convergence, which is exactly the AP. The applications—bimodule characterizations, harmonic operators, Fubini crossed products, and the slice map property—use the Fejér theorem rather than assuming it. No parameter is fitted, and no conclusion is identical to its hypothesis by construction.
Assumptions & free parameters
assumptions (6)
- standard math Kustermans-Vaes locally compact quantum group axioms and Woronowicz Peter-Weyl orthogonality relations for compact quantum groups.
- standard math Daws-Krajczok-Voigt characterization: G has the AP iff a net in L1(Ĝ) converges weak* to 1 in M^l_cb(L1(Ĝ)), and AP is equivalent for G and G'.
- standard math Junge-Neufang-Ruan representation theorem: for discrete quantum groups, Θ^ℓ and Θ^r are completely isometric isomorphisms onto the indicated CBσ bimodule maps (Theorem 2.1 and Remark 2.2), and the identity T·f = (Θ^ℓop(f)⊗id)(T) for the dual action (equation (13)).
- domain assumption The identification B(ℓ²(G)) with the crossed product Gα⋉ℓ∞(G) via the extended right co-multiplication Γr, and K(ℓ²(G)) with Gα⋉r c0(G) via [23, Corollary 3.6].
- standard math B(ℓ²(G)) has Property S_σ, giving the slice map identity B(ℓ²(G))⊗X = B(ℓ²(G))⊗_F X for weak*-closed subspaces X.
- standard math Stable point-weak* convergence of Θ^ℓop(f_ι) to the identity on L∞(Ĝop) can be tensored with an arbitrary von Neumann algebra N, not only with B(H).
Cite this review
Pith. "Pith review of Fej\'er representations for discrete quantum groups and applications." pith.science (2026). https://pith.science/paper/I6ZQYLIQ
@misc{pith2026250205125,
author = {Pith},
title = {Pith review of: Fej\'er representations for discrete quantum groups and applications},
year = {2026},
howpublished = {\url{https://pith.science/paper/I6ZQYLIQ}},
note = {Machine review of arXiv:2502.05125}
}
abstract
We prove that a discrete quantum group $\mathbb{G}$ has the approximation property if and only if a Fej\'{e}r-type representation holds for its $C^*$-algebraic or von Neumann algebraic crossed products. As applications, we extend several results from the literature to the context of discrete quantum groups with the approximation property. Additionally, we provide new characterizations of invariant $L^\infty(\widehat{\mathbb{G}})$-bimodules of $\mathcal{B}(\ell^2(\mathbb{G}))$ and invariant $C(\widehat{\mathbb{G}})$-bimodules of $\mathcal{K}(\ell^2(\mathbb{G}))$, some of which are new in the group setting. Finally, we study Fubini crossed products of discrete quantum group actions.
Reference graph
Works this paper leans on
-
[1]
Massoud Amini, Mehrdad Kalantar, Alireza Medghalchi, A hmad Mollakhalili, and Matthias Neu- fang, Compact elements and operators of quantum groups , Glasg. Math. J. 59 (2017), no. 2, 445–462. MR3628940
work page 2017
-
[2]
Benjamin Anderson-Sackaney, On ideals of L1-algebras of compact quantum groups , Internat. J. Math. 33 (2022), no. 12, Paper No. 2250074, 38. MR4514300
work page 2022
-
[3]
M. Anoussis, A. Katavolos, and I. G. Todorov, Ideals of A(G) and bimodules over maximal abelian selfadjoint algebras, J. Funct. Anal. 266 (2014), no. 11, 6473–6500. MR3192459
work page 2014
-
[4]
, Ideals of the Fourier algebra, supports and harmonic operators , Math. Proc. Cambridge Philos. Soc. 161 (2016), no. 2, 223–235. MR3530505
work page 2016
-
[5]
, Bimodules over VN(G), harmonic operators and the non-commutative Poisson boundary , Studia Math. 249 (2019), no. 2, 193–213. MR3990189
work page 2019
-
[6]
Erik Bédos and Roberto Conti, Fourier series and twisted C∗ -crossed products, J. Fourier Anal. Appl. 21 (2015), no. 1, 32–75. MR3302101
work page 2015
-
[7]
, The Fourier-Stieltjes algebra of a C∗ -dynamical system , Internat. J. Math. 27 (2016), no. 6, 1650050, 50. MR3516977
work page 2016
-
[8]
Smith, Bimodules in crossed products of von Neumann algebras , Adv
Jan Cameron and Roger R. Smith, Bimodules in crossed products of von Neumann algebras , Adv. Math. 274 (2015), 539–561. MR3318160
work page 2015
Show all 38 references
-
[9]
, A Galois correspondence for reduced crossed products of simp le C∗ -algebras by discrete groups , Canad. J. Math. 71 (2019), no. 5, 1103–1125. MR4010423
2019
-
[10]
Cameron and Roger R
Jan M. Cameron and Roger R. Smith, Intermediate subalgebras and bimodules for general crossed p rod- ucts of von Neumann algebras , Internat. J. Math. 27 (2016), no. 11, 1650091, 28. MR3570376
2016
-
[11]
1782, Springer-Verlag, Berlin, 2002
Cho-Ho Chu and Anthony To-Ming Lau, Harmonic functions on groups and Fourier algebras , Lecture Notes in Mathematics, vol. 1782, Springer-Verlag, Berlin, 2002. MR1914221
2002
-
[12]
Conway, A course in functional analysis , Second, Graduate Texts in Mathematics, vol
John B. Conway, A course in functional analysis , Second, Graduate Texts in Mathematics, vol. 96, Springer-Verlag, New York, 1990. MR1070713
1990
-
[13]
Jason Crann, Amenability and covariant injectivity of locally compact qu antum groups II , Canad. J. Math. 69 (2017), no. 5, 1064–1086. MR3693148
2017
-
[14]
, Inner amenability and approximation properties of locally co mpact quantum groups , Indiana Univ. Math. J. 68 (2019), no. 6, 1721–1766. MR4052740
2019
-
[15]
Jason Crann and Matthias Neufang, A non-commutative Fejér theorem for crossed products, the a p- proximation property, and applications , Int. Math. Res. Not. IMRN 5 (2022), 3571–3601. MR4387171
2022
-
[16]
Matthew Daws, Operator biprojectivity of compact quantum groups , Proc. Amer. Math. Soc. 138 (2010), no. 4, 1349–1359. MR2578527
2010
-
[17]
Matthew Daws, Jacek Krajczok, and Christian Voigt, The approximation property for locally compact quantum groups, Adv. Math. 438 (2024), Paper No. 109452, 79. MR4683869
2024
-
[18]
Reine Angew
Ruy Exel, Amenability for Fell bundles , J. Reine Angew. Math. 492 (1997), 41–73. MR1488064
1997
-
[19]
Leopold Fejér, Untersuchungen über Fouriersche Reihen , Math. Ann. 58 (1903), no. 1-2, 51–69. MR1511228
1903
-
[20]
Léopold Fejér, Sur les singularités de la série de fourier des fonctions contin ues, Ann. Sci. École Norm. Sup. (3) 28 (1911), 63–104. MR1509136
1911
-
[21]
Uffe Haagerup and Jon Kraus, Approximation properties for group C∗ -algebras and group von Neumann algebras, Trans. Amer. Math. Soc. 344 (1994), no. 2, 667–699. MR1220905
1994
-
[22]
Zhiguo Hu, Matthias Neufang, and Zhong-Jin Ruan, Completely bounded multipliers over locally compact quantum groups, Proc. Lond. Math. Soc. (3) 103 (2011), no. 1, 1–39. MR2812500
2011
-
[23]
, Convolution of trace class operators over locally compact qu antum groups, Canad. J. Math. 65 (2013), no. 5, 1043–1072. MR3095006
2013
-
[24]
Marius Junge, Matthias Neufang, and Zhong-Jin Ruan, A representation theorem for locally compact quantum groups, Internat. J. Math. 20 (2009), no. 3, 377–400. MR2500076
2009
-
[25]
Matthew Kennedy and Dan Ursu, Intermediate subalgebras for reduced crossed products of dis crete groups, arXiv:2406.01546
-
[26]
Jon Kraus, The slice map problem for σ-weakly closed subspaces of von Neumann algebras , Trans. Amer. Math. Soc. 279 (1983), no. 1, 357–376. MR704620 28 JASON CRANN, SOROUSH KAZEMI, AND MATTHIAS NEUF ANG [27] , The slice map problem and approximation properties , J. Funct. Ana...
1983
-
[28]
Jon Kraus and Zhong-Jin Ruan, Approximation properties for Kac algebras , Indiana Univ. Math. J. 48 (1999), no. 2, 469–535. MR1722805
1999
-
[29]
Johan Kustermans and Stefaan Vaes, Locally compact quantum groups in the von Neumann algebraic setting, Math. Scand. 92 (2003), no. 1, 68–92. MR1951446
2003
-
[30]
Mohammad SM Moakhar, Amenable actions of discrete quantum groups on von neumann a lgebras, arXiv:1803.04828
-
[31]
Matthias Neufang and Volker Runde, Harmonic operators: the dual perspective , Math. Z. 255 (2007), no. 3, 669–690. MR2270293
2007
-
[32]
Pedersen, C∗ -algebras and their automorphism groups , Second, Pure and Applied Mathematics (Amsterdam), Academic Press, London, 2018
Gert K. Pedersen, C∗ -algebras and their automorphism groups , Second, Pure and Applied Mathematics (Amsterdam), Academic Press, London, 2018. Edited and with a preface by Søren Eilers and Dorte Olesen. MR3839621
2018
-
[33]
Yuhei Suzuki, Group C∗ -algebras as decreasing intersection of nuclear C∗ -algebras, Amer. J. Math. 139 (2017), no. 3, 681–705. MR3650230
2017
-
[34]
Thesis, 2001
Stefaan Vaes, Locally compact quantum groups , Ph.D. Thesis, 2001
2001
-
[35]
, A new approach to induction and imprimitivity results , J. Funct. Anal. 229 (2005), no. 2, 317–
2005
-
[36]
Van Daele, Discrete quantum groups , J
A. Van Daele, Discrete quantum groups , J. Algebra 180 (1996), no. 2, 431–444. MR1378538
1996
-
[37]
S. L. Woronowicz, Compact matrix pseudogroups , Comm. Math. Phys. 111 (1987), no. 4, 613–665. MR901157
1987
-
[38]
845–8 84
, Compact quantum groups , Symétries quantiques (Les Houches, 1995), 1998, pp. 845–8 84. MR1616348
1995
-
[39]
Zeller-Meier, Produits croisés d’une C∗ -algèbre par un groupe d’automorphismes , J
G. Zeller-Meier, Produits croisés d’une C∗ -algèbre par un groupe d’automorphismes , J. Math. Pures Appl. (9) 47 (1968), 101–239. MR241994 Email address : jasoncrann@cunet.carleton.ca School of Mathematics and Statistics, Carleton University, Ot ta w a, ON, Canada K1S 5B6 Emai...
1968
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.