REVIEW 1 major objections 4 minor 127 references
Nonformal deformations of the algebras of holomorphic functions on the polydisk and on the ball in $\mathbb C^n$
T0 review · 1 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read This paper constructs holomorphic deformations of the polydisk and ball function algebras whose fibers over each nonzero complex number q are exactly the quantum polydisk and quantum ball algebras.
desk verdict Genuinely new holomorphic deformations of polydisk and ball algebras, mostly solid, but one proof step in Theorem 3.19(ii) is a real gap requiring a closure argument. 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 Taylor's free polydisk algebra $F^T(\mathbb D^n_r)$, the algebra of free power series $\sum_\alpha c_\alpha \zeta^\alpha$ whose coefficients satisfy $\sum_\alpha |c_\alpha|\rho^{|\alpha|}<\infty$ for all $\rho<r$. Its universal property (Proposition 3.16) says that continuous homomorphisms from $F^T(\mathbb D^n_r)$ into an Arens-Michael algebra $A$ correspond exactly to strictly spectrally $r$-contractive $n$-tuples in $A$, i.e., tuples whose joint spectral radius stays below $r$ in every Banach-algebra representation. This property is the bridge used twice: to identify the quantum polydisk $\mathcal O_q(\mathbb D^n_r)$ as a quotient of $F^T(\mathbb D^n_r)$ in Theorem 3.19, and to construct the inverse isomorphism between the two polydisk deformations in Theorem 5.8 via the spectral estimate in Lemma 5.7. For the ball, the analogous role is played by Popescu's free ball algebra $F(\mathbb B^n_r)$, defined here through hilbertian tensor powers. The deformations themselves are the quotients of $\mathcal O(\mathbb C^\times)\hat\otimes F$ by the closed two-sided ideal generated by $\zeta_i\zeta_j - t\,\zeta_j\zeta_i$, and the nonprojectivity proof uses the explicit power-series model $\mathcal D_{n,r}$ with weight function $\omega(k,p)$ on $\mathbb Z^n_+\times\mathbb Z$.
What would settle it
One concrete check is the fiber over $q=1$: the paper claims $\mathcal O_1(\mathbb D^n_r)\cong\mathcal O(\mathbb D^n_r)$ with the quotient norm on $F^T(\mathbb D^n_r)/\ker\pi^T$ equal to the standard coefficient norm; an element whose two norms differ would disprove the fiber identification. A second check targets nonprojectivity: attempt to construct a continuous $\mathcal O(\mathbb C^\times)$-linear splitting of the multiplication map $\mathcal O(\mathbb C^\times)\hat\otimes\mathcal O_{\mathrm{def}}(\mathbb D^n_r)\to\mathcal O_{\mathrm{def}}(\mathbb D^n_r)$ for $n=2$—Theorem 6.4 says none exists, so any such splitting would refute the central nonprojectivity claim.
Extended reading notes
Core claim
The central claim, stated on the paper's own terms, is that the commutation relations $x_ix_j = q x_jx_i$ can be analytified: replacing the formal parameter with the holomorphic coordinate on $\mathbb C^\times$ and the free algebra with a suitable algebra of free holomorphic functions yields Fréchet $\mathcal O(\mathbb C^\times)$-algebras whose fibers over every $q\in\mathbb C^\times$ are the quantum polydisk and quantum ball algebras. The two candidate free-polydisk algebras—Taylor's $F^T(\mathbb D^n_r)$ and the universal free polydisk $F(\mathbb D^n_r)$—lead to isomorphic deformations even though the free algebras themselves are not isomorphic. For the ball, Popescu's free ball algebra $F(\mathbb B^n_r)$ serves the same role. The paper also proves that $\mathcal O_{\mathrm{def}}(\mathbb D^n_r)$ is not topologically projective over $\mathcal O(\mathbb C^\times)$ when $n\ge2$, by writing it as an explicit noncommutative power series algebra with a weight function $\omega(k,p)$ and deriving a coefficient growth contradiction. Finally, the formal deformation obtained by setting $q=e^{ih}$ is shown to coincide with the holomorphic deformation after extension of scalars to $\mathbb C[[h]]$.
Load-bearing premise
The argument rests on the universal property of Taylor's free polydisk algebra—continuous homomorphisms out of $F^T(\mathbb D^n_r)$ are exactly determined by tuples whose joint spectral radius is strictly below $r$ in every Banach-algebra representation—and on the companion spectral estimate in Lemma 5.7; if either failed, the identifications of $\mathcal O_{\mathrm{def}}(\mathbb D^n_r)$ with its alternative construction and with the quantum polydisk fibers would collapse.
Editorial extensions
If this is right
- For every $q\in\mathbb C^\times$, the fiber of $\mathcal O_{\mathrm{def}}(\mathbb D^n_r)$ over $q$ is topologically isomorphic to the quantum polydisk algebra $\mathcal O_q(\mathbb D^n_r)$, and similarly for the ball, so the family interpolates between all previously studied quantizations at nonzero deformation parameters.
- The associated Fréchet algebra bundles $\mathcal E(\mathbb D^n_r)$ and $\mathcal E(\mathbb B^n_r)$ are continuous, and together with the dense subalgebras $\mathcal O^{\mathrm{reg}}_{e^{ih}}(\mathbb C^n)$ they satisfy the strict deformation quantization condition $(a_h b_h - b_h a_h)/h \to i\{a,b\}$ as $h\to 0$.
- For $n\ge2$, $\mathcal O_{\mathrm{def}}(\mathbb D^n_r)$ is not topologically projective and a fortiori not topologically free over $\mathcal O(\mathbb C^\times)$, so the holomorphic deformation cannot arise from a topologically free module, unlike the free holomorphic deformations of Pflaum and Schottenloher.
- The formal deformation $\mathcal O_{\mathrm{fdef}}(U)$ built from the star product with $q=e^{ih}$ is isomorphic to $\mathbb C[[h]]\hat\otimes_{\mathcal O(\mathbb C^\times)}\mathcal O_{\mathrm{def}}(U)$ for $U=\mathbb D^n_r$ or $\mathbb B^n_r$, recovering the formal deformations by extension of scalars.
- Because $F(\mathbb D^n_r)$ and $F^T(\mathbb D^n_r)$ are not isomorphic for $n\ge2$ and $r<\infty$ yet produce isomorphic deformations, the deformation construction is insensitive to the choice of free holomorphic function algebra.
Reading between the lines
- The nonprojectivity of $\mathcal O_{\mathrm{def}}(\mathbb D^n_r)$ suggests that holomorphic deformations of Stein algebras will generically fail to be topologically free; the bundle-theoretic criterion of Theorem 7.1 may give a way to detect such failures without an explicit power-series model.
- The same quotient construction should apply to other quadratic quantum affine varieties, replacing the free algebra by a suitable free holomorphic function algebra; the main obstacle is finding a universal property like Proposition 3.16 for the relevant free algebra.
- Since the strict deformation quantization is proven for the full Fréchet algebra of holomorphic functions in the compact-open topology, one can test whether the continuity of the bundle survives passage to operator-algebraic completions of the quantum polydisk and quantum ball algebras; the paper does not address these completions.
- Remark 6.6 conjectures that $\mathcal O_{\mathrm{def}}(\mathbb B^n_r)$ is also non-projective over $\mathcal O(\mathbb C^\times)$; if a power-series model analogous to $\mathcal D_{n,r}$ can be written for the ball, the same coefficient-growth argument used for the polydisk should apply.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. Starting from the quantum polydisk and quantum ball algebras O_q(D^n_r) and O_q(B^n_r) studied in the author's earlier work, the paper constructs Fréchet O(C^×)-algebras O_def(D^n_r), O^T_def(D^n_r), and O_def(B^n_r) as quotients of O(C^×)⊗̂F by the closed ideal generated by ζ_iζ_j − zζ_jζ_i (i<j), where F is Taylor's free polydisk algebra F^T(D^n_r), the free product F(D^n_r), or Popescu's free ball algebra F(B^n_r), respectively. It proves that the fiber over q∈C^× is topologically isomorphic to O_q(D^n_r) (resp., O_q(B^n_r)), that O_def(D^n_r) and O^T_def(D^n_r) are isomorphic (Theorem 5.8), and that the associated Fréchet algebra bundles over C^× are continuous (Corollary 7.4) and yield strict deformation quantizations of the polydisk and ball in Rieffel's sense adapted to Fréchet algebras (Theorem 8.4). A power-series model D_{n,r} for O_def(D^n_r) (Theorem 6.3) is used to show that O_def(D^n_r) is not topologically projective over O(C^×) for n≥2 (Theorem 6.4). Finally, the paper constructs a formal deformation O_fdef(U) for every open U⊂C^n and shows that for the polydisk and ball it is obtained from O_def by extension of scalars C[[h]]⊗̂_{O(C^×)}.
Significance. If the results hold, this is a substantial contribution to nonformal deformation theory. The conceptual novelty is the construction of holomorphic deformations that are not topologically free over the base, bypassing the obstruction (recalled from [86, Rem. 3.12]) to free holomorphic deformations of O(D^n_r). Proposition 3.16 (the universal property of F^T(D^n_r) via strictly spectrally r-contractive n-tuples) is a useful new tool; Theorems 3.19(iv) and 4.10(iv) give sharp quotient-norm identities; Theorem 6.3 provides an explicit power-series model; and Theorem 6.4's non-projectivity argument, with its 2^{m^2} growth contradiction, is a striking result. Theorem 9.8 cleanly connects the holomorphic and formal deformations. The paper is carefully written with detailed norm estimates, and the author is explicit about which parts rely on earlier papers. However, I do not share the reader's accept verdict: the proof of Theorem 3.19(ii) contains a load-bearing gap (see major comments). Since the repair is local and the statement is true, the paper is likely acceptable after revision.
major comments (1)
- [3, proof of Theorem 3.19(ii)] The displayed chain in the proof of Theorem 3.19, 'Ker π^T = Im(1−κ^Tπ^T) = Im((1−κ^Tπ^T)ν) = Im(ν(1−κπ)) = ν(Ker π)', contains an unjustified equality. For the continuous projection p = κ^Tπ^T, density of Im ν in F^T(D^n_r) implies only that (1−p)(Im ν) is dense in (1−p)(F^T) = Ker π^T, not that the two sets are equal. The asserted equality is in fact false: for n=2, r=1, q=1, the element w = Σ_{k≥1} (k+1)^{-2} 2^{-k}(ζ_1ζ_2−ζ_2ζ_1)^k lies in F^T(D^2_1) (its ℓ^1-norm is finite for every ρ<1), but w∉F(D^2_1) because the word (1,2,1,2,...,1,2) contributes (k+1)^{-2}(ρτ)^{2k}2^{-k} to ‖w‖_{ρ,τ}, which diverges for ρτ>√2; w belongs to Ker π^T (as a limit of elements of the relation ideal) but cannot belong to ν(Ker π)⊆F(D^2_1). This gap is load-bearing: Theorem 3.19(ii) is used in Theorem 5.3(5.6) for the fiber identification of O^T_def(D^n_r) and in Corollary 7.4 for the continuity of E(D^n_r). The statement of Theorem 3.19(ii) is nevertheless correct and can be repaired by a closure argument: Ker π^T = cl(ν(Ker π)), and ν(Ker π) = ν(J) is dense in the closed relation ideal J^T of F^T because F(D^n_r) is dense in F^T(D^n_r); hence Ker π^T = J^T. This repair must be written out, and the current proof overstates what the density argument gives.
minor comments (4)
- [9, Lemma 9.1] The proof of Lemma 9.1 is omitted as 'elementary'; the assertion is true, via separate continuity of (a,b,x,y)↦ab β(x,y) and the universal property of the projective tensor product, but a short proof or a precise reference would be helpful in a paper whose main results depend on this extension step.
- [3, proof of Theorem 3.19] The density of Im ν in F^T(D^n_r) is used without comment; it follows from the fact that the free algebra F_n is dense in both F(D^n_r) and F^T(D^n_r), and this should be stated explicitly.
- [7, proof of Corollary 7.4] The proof applies Theorem 7.1 to A = O^T_def(D^n_r) and concludes continuity of E(D^n_r); the implicit step that E(D^n_r) and E^T(D^n_r) are isomorphic bundles (Corollary 5.9) should be stated.
- [9, Remark 9.6] The claim that O_fdef(D^n_r) and O_fdef(B^n_r) are Arens-Michael algebras is 'immediate from Theorem 9.8' only if one knows that the completed projective tensor product of Arens-Michael algebras and its quotients are Arens-Michael; this standard fact should be mentioned.
Circularity Check
No significant circularity: the deformation construction is independent of its own fiber algebras; a proof gap in Theorem 3.19(ii) is a correctness issue, not a circularity.
full rationale
I find no circular derivation. The algebras O_def(D^n_r) and O_def(B^n_r) are defined directly as quotients of O(C^×)ˆ⊗F by the relations ζ_iζ_j = z ζ_j ζ_i, and the fiber identifications with the previously defined O_q algebras are obtained by applying Lemma 5.2 and the quotient theorems 3.18, 3.19, and 4.10, whose proofs compute kernels and quotient norms rather than assuming the fiber isomorphisms. The O_q algebras are defined independently by weighted power series; the norm equalities such as (3.13) and Theorem 4.10(iv) are derived, not imposed. Bundle continuity in Corollary 7.4 is checked via the continuity of q ↦ ||a_q||, and the Rieffel quantization condition (8.1) is verified by an explicit commutator computation. The formal deformation in Section 9 is built from an explicit star product and then identified with the extension of scalars by explicit maps. Self-citations to [82,85,86] supply definitions and prior theorems, but those are independent published results whose assumptions do not include the deformation claims, so they do not make the argument circular. The one point that should be flagged as a correctness (not circularity) concern is the proof of Theorem 3.19(ii), where the paper writes: "Using the density of Im ν in F^T(D^n_r), we obtain Kerπ^T = Im(1−κ^Tπ^T) = Im((1−κ^Tπ^T)ν) = Im(ν(1−κπ)) = ν(Kerπ)." Density of Im ν does not by itself justify replacing Im((1−κ^Tπ^T)ν) by ν(Kerπ); a closure argument is needed. This gap is load-bearing for (5.6) and Corollary 7.4, but it is a proof gap, not a case of the paper's conclusion being equivalent to its input by construction.
Assumptions & free parameters
assumptions (8)
- standard math Aizenberg-Mityagin power series characterizations (2.4)-(2.5) of O(D^n_r) and O(B^n_r) as weighted l^1 sequence spaces.
- standard math Arens-Michael free product exists and has the universal property for homomorphisms from O(D_r) factors, as in Proposition 3.5 from [85].
- standard math Popescu's theorems [89, Theorems 1.1, 1.4, 5.6] that Hol(B(H)^n_r) is a subalgebra of free power series and a Fréchet algebra under row-operator seminorms.
- standard math Norm maximality of the norm ||·||_{D,rho} on O_q(D^n_r), from [82, Lemma 5.10].
- standard math Helemskii's projective module criterion: a Fréchet A-module P is topologically projective iff there is an A-module retraction P to A tensor P, from [48, Chapter III, Theorem 1.27].
- standard math The projective tensor product of the Kothe sequence spaces O(C^×) and O_def(D^n_r) is again a Kothe sequence space with product weights, per [62, 41.7].
- standard math Associativity of the universal deformation twist from Giaquinto and Zhang [42, Theorem 2.1].
- standard math Gierz bundle construction and the section-density criterion for locally convex bundles, as in [43] and Appendix A.
invented entities (3)
-
O_def(D^n_r) and its isomorphic variant O^T_def(D^n_r)
independent evidence
-
O_def(B^n_r)
independent evidence
-
D_{n,r} power series model
independent evidence
Cite this review
Pith. "Pith review of Nonformal deformations of the algebras of holomorphic functions on the polydisk and on the ball in $\mathbb C^n$." pith.science (2026). https://pith.science/paper/43SSYJFT
@misc{pith2026250310640,
author = {Pith},
title = {Pith review of: Nonformal deformations of the algebras of holomorphic functions on the polydisk and on the ball in $\mathbb C^n$},
year = {2026},
howpublished = {\url{https://pith.science/paper/43SSYJFT}},
note = {Machine review of arXiv:2503.10640}
}
abstract
We construct Fr\'echet $\mathcal O(\mathbb C^\times)$-algebras $\mathcal O_{\mathrm{def}}(\mathbb D^n)$ and $\mathcal O_{\mathrm{def}}(\mathbb B^n)$ which may be interpreted as nonformal (or, more exactly, holomorphic) deformations of the algebras $\mathcal O(\mathbb D^n)$ and $\mathcal O(\mathbb B^n)$ of holomorphic functions on the polydisk $\mathbb D^n\subset\mathbb C^n$ and on the ball $\mathbb B^n\subset\mathbb C^n$, respectively. The fibers of our algebras over $q\in\mathbb C^\times$ are isomorphic to the previously introduced ``quantum polydisk'' and ``quantum ball'' algebras, $\mathcal O_q(\mathbb D^n)$ and $\mathcal O_q(\mathbb B^n)$. We show that the algebras $\mathcal O_{\mathrm{def}}(\mathbb D^n)$ and $\mathcal O_{\mathrm{def}}(\mathbb B^n)$ yield continuous Fr\'echet algebra bundles over $\mathbb C^\times$ which are strict deformation quantizations (in Rieffel's sense) of $\mathbb D^n$ and $\mathbb B^n$. We also give a noncommutative power series interpretation of $\mathcal O_{\mathrm{def}}(\mathbb D^n)$ and apply it to showing that $\mathcal O_{\mathrm{def}}(\mathbb D^n)$ is not topologically projective (and a fortiori is not topologically free) over $\mathcal O(\mathbb C^\times)$. Finally, we consider respective formal deformations of $\mathcal O(\mathbb D^n)$ and $\mathcal O(\mathbb B^n)$, and we show that they can be obtained from the holomorphic deformations by extension of scalars.
Reference graph
Works this paper leans on
-
[1]
Agler, J
J. Agler, J. E. McCarthy, and N. Young, Operator analysis. Hilbert space methods in complex analysis. Cambridge Tracts in Math., 219. Cambridge University Press, Camb ridge, 2020
2020
-
[2]
L. A. Aizenberg and B. S. Mityagin, Spaces of analytic functions in polycircular domains (Russian). Sib. Mat. Zh. 1 (1960), 153–170
1960
-
[3]
G. E. Andrews, The theory of partitions . Addison-Wesley Publishing Co., Reading, Mass.-London- Amsterdam, 1976
1976
-
[4]
Ara and M
P. Ara and M. Mathieu, Sheaves of C∗-algebras. Math. Nachr. 283 (2010), no. 1, 21–39
2010
-
[5]
Arias and F
A. Arias and F. Latr´ emoli` ere,Isomorphisms of non-commutative domain algebras . J. Operator Theory 66 (2011), no. 2, 425–450
2011
-
[6]
Arias and F
A. Arias and F. Latr´ emoli` ere,Classification of noncommutative domain algebras. C. R. Math. Acad. Sci. Paris 350 (2012), no. 11–12, 609–611
2012
-
[7]
Arias and F
A. Arias and F. Latr´ emoli` ere,Isomorphisms of noncommutative domain algebras. II . J. Operator Theory 70 (2013), no. 1, 273–290
2013
-
[8]
Bayen, M
F. Bayen, M. Flato, C. Frønsdal, A. Lichnerowicz, and D. Sternh eimer, Deformation theory and quantization. I. Deformations of symplectic structures. Ann. Physics 111 (1978), no. 1, 61–110
1978
Show all 127 references
-
[9]
Beiser, H
S. Beiser, H. R¨ omer, and S. Waldmann,Convergence of the Wick star product. Comm. Math. Phys. 272 (2007), no. 1, 25–52
2007
-
[10]
Beiser and S
S. Beiser and S. Waldmann, Fr´ echet algebraic deformation quantization of the Poinca r´ e disk. J. Reine Angew. Math. 688 (2014), 147–207
2014
-
[11]
Bieliavsky and M
P. Bieliavsky and M. Massar, Strict deformation quantization for actions of a class of sy mplectic Lie groups. Noncommutative geometry and string theory (Yokohama, 2001). Progr. Theoret. Phys. Suppl. No. 144 (2001), 1–21
2001
-
[12]
Bieliavsky and Y
P. Bieliavsky and Y. Maeda, Convergent star product algebras on “ ax + b”. Lett. Math. Phys. 62 (2002), no. 3, 233–243
2002
-
[13]
Bieliavsky, Strict quantization of solvable symmetric spaces
P. Bieliavsky, Strict quantization of solvable symmetric spaces. J. Symplectic Geom. 1 (2002), no. 2, 269–320
2002
-
[14]
Bieliavsky, S
P. Bieliavsky, S. Detournay, and Ph. Spindel,The deformation quantizations of the hyperbolic plane. Comm. Math. Phys. 289 (2009), no. 2, 529–559
2009
-
[15]
Bieliavsky, A
P. Bieliavsky, A. de Goursac, and G. Tuynman, Deformation quantization for Heisenberg super- group. J. Funct. Anal. 263 (2012), no. 3, 549–603
2012
-
[16]
Bieliavsky and V
P. Bieliavsky and V. Gayral, Deformation quantization for actions of K¨ ahlerian Lie groups, Mem. Amer. Math. Soc. 236 (2015), no.1115
2015
-
[17]
Bieliavsky, A
P. Bieliavsky, A. de Goursac, Y. Maeda, and F. Spinnler, Non-formal star-exponential on contracted one-sheeted hyperboloids. Adv. Math. 291 (2016), 362–402
2016
-
[18]
Bieliavsky, V
P. Bieliavsky, V. Gayral, S. Neshveyev, and L. Tuset, On deformations of C∗-algebras by actions of K¨ ahlerian Lie groups. Internat. J. Math. 27 (2016), no. 3, 1650023
2016
-
[19]
Bieliavsky, V
P. Bieliavsky, V. Gayral, S. Neshveyev, and L. Tuset, Quantization of subgroups of the affine group. J. Funct. Anal. 280 (2021), no. 4, Paper No. 108844
2021
-
[20]
Bonneau, M
P. Bonneau, M. Flato, M. Gerstenhaber, and G. Pinczon, The hidden group structure of quantum groups: strong duality, rigidity and preferred deformatio ns, Comm. Math. Phys. 161 (1994), 125– 156
1994
-
[21]
K. A. Brown and K. R. Goodearl, Lectures on algebraic quantum groups . Advanced Courses in Mathematics. CRM Barcelona. Birkh¨ auser Verlag, Basel, 2002
2002
-
[22]
Cuntz, Bivariante K-Theorie f¨ ur lokalkonvexe Algebren und der Chern-Connes-Charakter
J. Cuntz, Bivariante K-Theorie f¨ ur lokalkonvexe Algebren und der Chern-Connes-Charakter. Doc. Math. 2 (1997), 139–182. 52 ALEXEI YU. PIRKOVSKII
1997
-
[23]
Dauns and K
J. Dauns and K. H. Hofmann, Representation of rings by sections. Memoirs of the American Math- ematical Society, No. 83, American Mathematical Society, Provide nce, R.I., 1968
1968
-
[24]
K. R. Davidson and D. R. Pitts, The algebraic structure of non-commutative analytic Toepl itz algebras. Math. Ann. 311 (1998), no. 2, 275–303
1998
-
[25]
K. R. Davidson and G. Popescu, Noncommutative disc algebras for semigroups . Canad. J. Math. 50 (1998), no. 2, 290–311
1998
-
[26]
K. R. Davidson, E. Katsoulis, and D. R. Pitts, The structure of free semigroup algebras . J. Reine Angew. Math. 533 (2001), 99–125
2001
-
[27]
K. R. Davidson and E. Katsoulis, Biholomorphisms of the unit ball of Cn and semicrossed products. Operator theory live, 69–80, Theta Ser. Adv. Math., 12, Theta, B ucharest, 2010
2010
-
[28]
K. R. Davidson, C. Ramsey, and O. M. Shalit,The isomorphism problem for some universal operator algebras. Adv. Math. 228 (2011), no. 1, 167–218
2011
-
[29]
A. A. Dosiev, Algebras of power series of elements of a Lie algebra, and S/suppress lodkowski spectra(Russian). Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (PO MI) 290 (2002), Issled. po Linein. Oper. i Teor. Funkts. 30, 72–121, 179; translation in J. Math. Sc i...
2002
-
[30]
M. J. Dupr´ e,The classification and structure of C∗-algebra bundles. Mem. Amer. Math. Soc. 21 (1979), no. 222, i–ix, 1–77
1979
-
[31]
Engelking, General topology
R. Engelking, General topology. Monografie Matematyczne, Tom 60. [Mathematical Monographs, Vol. 60] PWN—Polish Scientific Publishers, Warsaw, 1977
1977
-
[32]
Esposito, Formality theory
C. Esposito, Formality theory. From Poisson structures to deformation quantization. SpringerBriefs Math. Phys., 2. Springer, Cham, 2015
2015
-
[33]
Esposito, P
C. Esposito, P. Stapor, and S. Waldmann, Convergence of the Gutt star product. J. Lie Theory 27 (2017), no. 2, 579–622
2017
-
[34]
J. M. G. Fell, An extension of Mackey’s method to Banach ∗-algebraic bundles . Memoirs of the American Mathematical Society, No. 90, American Mathematical So ciety, Providence, R.I., 1969
1969
-
[35]
J. M. G. Fell and R. S. Doran, Representations of∗–algebras, locally compact groups, and Banach ∗-algebraic bundles. Vol. 1. Basic representation theory of groups and algebras . Pure and Applied Mathematics, 125. Academic Press, Inc., Boston, MA, 1988
1988
-
[36]
Gasper and M
G. Gasper and M. Rahman, Basic hypergeometric series. Second edition. Encyclopedia of Mathe- matics and its Applications, 96. Cambridge University Press, Cambrid ge, 2004
2004
-
[37]
Gerstenhaber, On the deformation of rings and algebras
M. Gerstenhaber, On the deformation of rings and algebras . Ann. of Math. (2) 79 (1964), 59–103
1964
-
[38]
Gerstenhaber, On the deformation of rings and algebras
M. Gerstenhaber, On the deformation of rings and algebras. II . Ann. of Math. (2) 84 (1966), 1–19
1966
-
[39]
Gerstenhaber, On the deformation of rings and algebras
M. Gerstenhaber, On the deformation of rings and algebras. III . Ann. of Math. (2) 88 (1968), 1–34
1968
-
[40]
Gerstenhaber, On the deformation of rings and algebras
M. Gerstenhaber, On the deformation of rings and algebras. IV . Ann. of Math. (2) 99 (1974), 257–276
1974
-
[41]
Gerstenhaber and S
M. Gerstenhaber and S. D. Schack, Algebraic cohomology and deformation theory . Deformation theory of algebras and structures and applications (Il Ciocco, 19 86), 11–264. NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., 247. Kluwer Academic Publishers Group, Do rdrecht, 1988
1988
-
[42]
Giaquinto and J
A. Giaquinto and J. J. Zhang, Bialgebra actions, twists, and universal deformation form ulas. J. Pure Appl. Algebra 128 (1998), no. 2, 133–151
1998
-
[43]
Gierz, Bundles of topological vector spaces and their duality
G. Gierz, Bundles of topological vector spaces and their duality. Lecture Notes in Mathematics, 955. Springer-Verlag, Berlin-New York, 1982
1982
-
[44]
K. R. Goodearl, Semiclassical limits of quantized coordinate rings. Advances in ring theory, 165–204, Trends Math., Birkh¨ auser/Springer Basel AG, Basel, 2010
2010
-
[45]
Grauert and R
H. Grauert and R. Remmert, Theory of Stein spaces . Grundlehren der Mathematischen Wis- senschaften [Fundamental Principles of Mathematical Sciences], 2 36. Springer-Verlag, Berlin-New York, 1979
1979
-
[46]
Grothendieck, Produits tensoriels topologiques et espaces nucl´ eaires, Mem
A. Grothendieck, Produits tensoriels topologiques et espaces nucl´ eaires, Mem. Amer. Math. Soc. 1955, no. 16, 140 pp
1955
-
[47]
Heins, O
M. Heins, O. Roth, and S. Waldmann, Convergent star products on cotangent bundles of Lie groups. Math. Ann. 386 (2023), no. 1–2, 151–206
2023
-
[48]
A. Ya. Helemskii, The homology of Banach and topological algebras . Kluwer Academic Publishers Group, Dordrecht, 1989. NONFORMAL DEFORMATIONS OF THE POLYDISK AND OF THE BALL 53
1989
-
[49]
A. Ya. Helemskii, Banach and locally convex algebras. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1993
1993
-
[50]
K. H. Hofmann and K. Keimel, Sheaf-theoretical concepts in analysis: bundles and sheav es of Banach spaces, Banach C(X)-modules. Applications of sheaves (Proc. Res. Sympos. Appl. Sheaf Theory to Logic, Algebra and Anal., Univ. Durham, Durham, 1977), p p. 415–441, Lecture Notes...
1977
-
[51]
Husemoller, Fibre bundles
D. Husemoller, Fibre bundles. McGraw-Hill Book Co., New York-London-Sydney, 1966
1966
-
[52]
Kac and P
V. Kac and P. Cheung, Quantum calculus. Universitext. Springer-Verlag, New York, 2002
2002
-
[53]
D. S. Kaliuzhnyi-Verbovetskyi and V. Vinnikov, Foundations of free noncommutative function the- ory. Mathematical Surveys and Monographs, 199. American Mathematical Society, Providence, RI, 2014
2014
-
[54]
Kashiwara and P
M. Kashiwara and P. Schapira, Deformation quantization modules . Asterisque No. 345 (2012), xii+147 pp
2012
-
[55]
Kasprzak, Rieffel deformation of group coactions
P. Kasprzak, Rieffel deformation of group coactions. Comm. Math. Phys. 300 (2010), no. 3, 741– 763
2010
-
[56]
Kasprzak, Rieffel deformation via crossed products
P. Kasprzak, Rieffel deformation via crossed products. J. Funct. Anal. 257 (2009), no. 5, 1288–1332
2009
-
[57]
Kasprzak, Rieffel deformation of homogeneous spaces
P. Kasprzak, Rieffel deformation of homogeneous spaces. J. Funct. Anal.260 (2011), no. 1, 146–163
2011
-
[58]
Kasprzak, Rieffel deformation of tensor functor and braided quantum gr oups
P. Kasprzak, Rieffel deformation of tensor functor and braided quantum gr oups. Comm. Math. Phys. 337 (2015), no. 2, 1035–1051
2015
-
[59]
Kassel, Quantum groups
C. Kassel, Quantum groups. Graduate Texts in Mathematics, 155. Springer-Verlag, New York, 1995
1995
-
[60]
Kontsevich, Deformation quantization of Poisson manifolds
M. Kontsevich, Deformation quantization of Poisson manifolds. Lett. Math. Phys. 66 (2003), no. 3, 157–216; arXiv preprint arXiv:q-alg/9709040
2003 arXiv
-
[61]
K¨ othe,Topological vector spaces I
G. K¨ othe,Topological vector spaces I . Grundlehren der Mathematischen Wissenschaften [Funda- mental Principles of Mathematical Science], 159. Springer-Verlag, New York-Berlin, 1969
1969
-
[62]
K¨ othe,Topological vector spaces II
G. K¨ othe,Topological vector spaces II. Grundlehren der Mathematischen Wissenschaften [Funda- mental Principles of Mathematical Science], 237. Springer-Verlag, New York-Berlin, 1979
1979
-
[63]
Kraus, O
D. Kraus, O. Roth, M. Sch¨ otz, and S. Waldmann,A convergent star product on the Poincar´ e disc. J. Funct. Anal. 277 (2019), no. 8, 2734–2771
2019
-
[64]
N. P. Landsman, Mathematical topics between classical and quantum mechani cs. Springer Mono- graphs in Mathematics. New York, Springer, 1999
1999
-
[65]
Landsman, Foundations of quantum theory
K. Landsman, Foundations of quantum theory. From classical concepts to o perator algebras. Fun- damental Theories of Physics 188. Cham, Springer Open, 2017
2017
-
[66]
Laurent-Gengoux, A
C. Laurent-Gengoux, A. Pichereau, and P. Vanhaecke, Poisson structures. Grundlehren der Math- ematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 347. Springer, Hei- delberg, 2013
2013
-
[67]
Lechner and S
G. Lechner and S. Waldmann, Strict deformation quantization of locally convex algebra s and mod- ules, J. Geom. Phys. 99 (2016), 111–144
2016
-
[68]
Luminet, A functional calculus for Banach PI-algebras
D. Luminet, A functional calculus for Banach PI-algebras . Pacific J. Math. 125 (1986), no. 1, 127–160
1986
-
[69]
Markl, Deformation theory of algebras and their diagrams
M. Markl, Deformation theory of algebras and their diagrams. CBMS Reg. Conf. Ser. Math., 116. American Mathematical Society, Providence, RI, 2012
2012
-
[70]
Meise, D
R. Meise, D. Vogt, Introduction to functional analysis , Oxford Graduate Texts in Mathematics, 2. The Clarendon Press, Oxford University Press, New York, 1997
1997
-
[71]
E. A. Michael, Locally multiplicatively-convex topological algebras. Mem. Amer. Math. Soc., no. 11 (1952)
1952
-
[72]
P. S. Muhly and B. Solel, Hardy algebras, W ∗-correspondences and interpolation theory. Math. Ann. 330 (2004), no. 2, 353–415
2004
-
[73]
P. S. Muhly and B. Solel, Progress in noncommutative function theory. Sci. China Math. 54 (2011), no. 11, 2275–2294
2011
-
[74]
P. S. Muhly and B. Solel, Tensorial function theory: from Berezin transforms to Tayl or’s Taylor series and back . Integral Equations Operator Theory 76 (2013), no. 4, 463–508
2013
-
[75]
P. S. Muhly and B. Solel, Function theory from tensor algebras. Complex Anal. Oper. Theory 16 (2022), no. 6, Paper No. 92, 34 pp. 54 ALEXEI YU. PIRKOVSKII
2022
-
[76]
M¨ uller,Spectral theory of linear operators and spectral systems in Banach algebras
V. M¨ uller,Spectral theory of linear operators and spectral systems in Banach algebras. Birkh¨ auser Verlag, Basel, 2003
2003
-
[77]
Neshveyev, Smooth crossed products of Rieffel’s deformations
S. Neshveyev, Smooth crossed products of Rieffel’s deformations . Lett. Math. Phys. 104 (2014), no. 3, 361–371
2014
-
[78]
Neshveyev and L
S. Neshveyev and L. Tuset, Deformation of C∗-algebras by cocycles on locally compact quantum groups. Adv. Math. 254 (2014), 454–496
2014
-
[79]
Omori, Y
H. Omori, Y. Maeda, N. Miyazaki, and A. Yoshioka, Deformation quantization of Fr´ echet-Poisson algebras: convergence of the Moyal product. Conf´ erence Mosh´ e Flato 1999, Vol. II (Dijon), 233–245, Math. Phys. Stud., 22, Kluwer Acad. Publ., Dordrecht, 2000
1999
-
[80]
Omori, Y
H. Omori, Y. Maeda, N. Miyazaki, and A. Yoshioka, Orderings and non-formal deformation quan- tization. Lett. Math. Phys. 82 (2007), no. 2-3, 153–175
2007
-
[81]
M. J. Pflaum and M. Schottenloher, Holomorphic deformation of Hopf algebras and applications to quantum groups. J. Geom. Phys. 28 (1998), no. 1–2, 31–44
1998
-
[82]
A. Yu. Pirkovskii, Arens-Michael envelopes, homological epimorphisms, and r elatively quasi-free algebras (Russian), Tr. Mosk. Mat. Obs. 69 (2008), 34–125; English transl.: Trans. Moscow Math. Soc. 2008, 27–104
2008
-
[83]
A. Yu. Pirkovskii, Quantum polydisk, quantum ball, and a q-analog of Poincar´ e’s theorem. J. Phys. Conf. Ser. 474 (2013) 012026, doi:10.1088/1742-6596/474/1/012026
2013 doi
-
[84]
A. Yu. Pirkovskii, Noncommutative analogues of Stein spaces of finite embeddin g dimension. Alge- braic methods in functional analysis, 135–153, Oper. Theory Adv. Appl., 233, Birkh¨ auser/Springer, Basel, 2014
2014
-
[85]
A. Yu. Pirkovskii, Holomorphically finitely generated algebras . J. Noncommut. Geom. 9 (2015), no. 1, 215–264
2015
-
[86]
A. Yu. Pirkovskii, Holomorphic functions on the quantum polydisk and on the qua ntum ball . J. Noncommut. Geom. 13 (2019), no. 3, 857–886
2019
-
[87]
Popescu, Von Neumann inequality for (B(H )n)1
G. Popescu, Von Neumann inequality for (B(H )n)1. Math. Scand. 68 (1991), no. 2, 292–304
1991
-
[88]
Popescu, Non-commutative disc algebras and their representations
G. Popescu, Non-commutative disc algebras and their representations. Proc. Amer. Math. Soc. 124 (1996), no. 7, 2137–2148
1996
-
[89]
Popescu, Free holomorphic functions on the unit ball of B(H)n
G. Popescu, Free holomorphic functions on the unit ball of B(H)n. J. Funct. Anal. 241 (2006), no. 1, 268–333
2006
-
[90]
Popescu, Operator theory on noncommutative varieties
G. Popescu, Operator theory on noncommutative varieties. Indiana Univ. Math. J. 55 (2006), no. 2, 389–442
2006
-
[91]
Popescu, Operator theory on noncommutative varieties
G. Popescu, Operator theory on noncommutative varieties. II . Proc. Amer. Math. Soc. 135 (2007), no. 7, 2151–2164
2007
-
[92]
Popescu, Free holomorphic functions and interpolation
G. Popescu, Free holomorphic functions and interpolation . Math. Ann. 342 (2008), no. 1, 1–30
2008
-
[93]
Popescu, Free holomorphic functions on the unit ball of B(H)n
G. Popescu, Free holomorphic functions on the unit ball of B(H)n. II. J. Funct. Anal. 258 (2010), no. 5, 1513–1578
2010
-
[94]
Popescu, Free holomorphic automorphisms of the unit ball of B(H)n
G. Popescu, Free holomorphic automorphisms of the unit ball of B(H)n. J. Reine Angew. Math. 638 (2010), 119–168
2010
-
[95]
Popescu, Operator theory on noncommutative domains
G. Popescu, Operator theory on noncommutative domains . Mem. Amer. Math. Soc. 205 (2010), no. 964, vi+124 pp
2010
-
[96]
Popescu, Free biholomorphic classification of noncommutative domai ns
G. Popescu, Free biholomorphic classification of noncommutative domai ns. Int. Math. Res. Not. IMRN 2011, no. 4, 784–850
2011
-
[97]
Popescu, Free biholomorphic functions and operator model theory
G. Popescu, Free biholomorphic functions and operator model theory . J. Funct. Anal. 262 (2012), no. 7, 3240–3308
2012
-
[98]
Popescu, Free biholomorphic functions and operator model theory, II
G. Popescu, Free biholomorphic functions and operator model theory, II. J. Funct. Anal.265 (2013), no. 5, 786–836
2013
-
[99]
Popescu, Curvature invariant on noncommutative polyballs
G. Popescu, Curvature invariant on noncommutative polyballs. Adv. Math. 279 (2015), 104–158
2015
-
[100]
Popescu, Euler characteristic on noncommutative polyballs
G. Popescu, Euler characteristic on noncommutative polyballs. J. Reine Angew. Math. 728 (2017), 195–236
2017
-
[101]
Popescu, Operator theory on noncommutative polydomains, I
G. Popescu, Operator theory on noncommutative polydomains, I. Complex Anal. Oper. Theory 16 (2022), no. 4, Paper No. 50, 101 pp
2022
-
[102]
Popescu, Operator theory on noncommutative polydomains, II
G. Popescu, Operator theory on noncommutative polydomains, II. J. Math. Anal. Appl. 517 (2023), no. 1, Paper No. 126577, 46 pp. NONFORMAL DEFORMATIONS OF THE POLYDISK AND OF THE BALL 55
2023
-
[103]
Popescu, Noncommutative varieties, universal operator models, and operator algebras
G. Popescu, Noncommutative varieties, universal operator models, and operator algebras. J. Oper- ator Theory 90 (2023), no. 1, 91–170
2023
-
[104]
Rota and G
G.-C. Rota and G. Strang, A note on the joint spectral radius . Nederl. Akad. Wetensch. Proc. Ser. A 63, Indag. Math. 22 (1960), 379–381
1960
-
[105]
M. A. Rieffel, Continuous fields of C∗-algebras coming from group cocycles and actions. Math. Ann. 283 (1989), no. 4, 631–643
1989
-
[106]
M. A. Rieffel, Deformation quantization of Heisenberg manifolds . Comm. Math. Phys. 122 (1989), no. 4, 531–562
1989
-
[107]
M. A. Rieffel, Deformation quantization and operator algebras . Operator theory: operator algebras and applications, Part 1 (Durham, NH, 1988), 411–423, Proc. Sym pos. Pure Math., 51, Part 1, Amer. Math. Soc., Providence, RI, 1990
1988
-
[108]
M. A. Rieffel, Lie group convolution algebras as deformation quantizatio ns of linear Poisson struc- tures. Amer. J. Math. 112 (1990), no. 4, 657–685
1990
-
[109]
M. A. Rieffel, Deformation quantization for actions of Rd. Mem. Amer. Math. Soc. 106 (1993), no. 506, x+93 pp
1993
-
[110]
M. A. Rieffel, Quantization and C∗-algebras. C∗-algebras: 1943-1993 (San Antonio, TX, 1993), 66–97, Contemp. Math., 167, Amer. Math. Soc., Providence, RI, 1 994
1943
-
[111]
M. A. Rieffel, Questions on quantization . Operator algebras and operator theory (Shanghai, 1997), 315–326, Contemp. Math., 228, Amer. Math. Soc., Providence, RI , 1998
1997
-
[112]
A. P. Robertson and W. J. Robertson, Topological vector spaces. Cambridge Tracts in Mathematics and Mathematical Physics, No. 53, Cambridge University Press, Ne w York, 1964
1964
-
[113]
Rolewicz, On spaces of holomorphic functions
S. Rolewicz, On spaces of holomorphic functions . Studia Math. 21 (1961/1962), 135–160
1961
-
[114]
Salomon, O
G. Salomon, O. M. Shalit, and E. Shamovich, Algebras of bounded noncommutative analytic func- tions on subvarieties of the noncommutative unit ball. Trans. Amer. Math. Soc. 370 (2018), no. 12, 8639–8690
2018
-
[115]
Salomon, O
G. Salomon, O. M. Shalit, and E. Shamovich, Algebras of noncommutative functions on subvarieties of the noncommutative ball: the bounded and completely boun ded isomorphism problem . J. Funct. Anal. 278 (2020), no. 7, 108427, 54 pp
2020
-
[116]
Sch¨ otz and S
M. Sch¨ otz and S. Waldmann, Convergent star products for projective limits of Hilbert s paces. J. Funct. Anal. 274 (2018), no. 5, 1381–1423
2018
-
[117]
So/suppress ltysiak,On joint spectral radii in locally convex algebras
A. So/suppress ltysiak,On joint spectral radii in locally convex algebras . Studia Math. 175 (2006), no. 1, 73–82
2006
-
[118]
J. L. Taylor, A general framework for a multi-operator functional calcul us, Adv. Math. 9 (1972), 183–252
1972
-
[119]
J. L. Taylor, Functions of several noncommuting variables. Bull. Amer. Math. Soc. 79 (1973), 1–34
1973
-
[120]
Varela, Existence of uniform bundles
J. Varela, Existence of uniform bundles . Rev. Colombiana Mat. 18 (1984), no. 1-2, 1–8
1984
-
[121]
Varela, On the existence of uniform bundles
J. Varela, On the existence of uniform bundles . Rev. Colombiana Mat. 29 (1995), no. 2, 95–101
1995
-
[122]
Vogt, The tensor algebra of the space s
D. Vogt, The tensor algebra of the space s. Hommage ` a Pascal Laubin. Bull. Soc. Roy. Sci. Liege 70 (2001), no. 4–6, 435–440
2001
-
[123]
Vogt, The tensor algebra of power series spaces
D. Vogt, The tensor algebra of power series spaces . Studia Math. 193 (2009), no. 2, 189–202
2009
-
[124]
Waldmann, Poisson-Geometrie und Deformationsquantisierung
S. Waldmann, Poisson-Geometrie und Deformationsquantisierung. Eine E inf¨ uhrung.Berlin, Springer, 2007
2007
-
[125]
Waldmann, A nuclear Weyl algebra
S. Waldmann, A nuclear Weyl algebra . J. Geom. Phys. 81 (2014), 10–46
2014
-
[126]
Waldmann, Convergence of star products: from examples to a general fra mework
S. Waldmann, Convergence of star products: from examples to a general fra mework. EMS Surv. Math. Sci. 6 (2019), no. 1–2, 1–31
2019
-
[127]
D. P. Williams, Crossed products of C∗-algebras. Mathematical Surveys and Monographs, 134. American Mathematical Society, Providence, RI, 2007. F aculty of Mathematics, HSE University, 6 Usacheva, 119048 Moscow, Russia Email address: aupirkovskii@hse.ru
2007
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.