Nonformal deformations of the algebras of holomorphic functions on the polydisk and on the ball in $\mathbb C^n$
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912274166317056 |
|---|---|
| author | Pirkovskii, Alexei Yu. |
| author_facet | Pirkovskii, Alexei Yu. |
| contents | We construct Fréchet $\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échet 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_10640 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Nonformal deformations of the algebras of holomorphic functions on the polydisk and on the ball in $\mathbb C^n$ Pirkovskii, Alexei Yu. Functional Analysis Complex Variables Quantum Algebra Rings and Algebras 46H99, 16S80, 16S38, 53D55, 46L65, 32A38, 46M10 We construct Fréchet $\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échet 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. |
| title | Nonformal deformations of the algebras of holomorphic functions on the polydisk and on the ball in $\mathbb C^n$ |
| topic | Functional Analysis Complex Variables Quantum Algebra Rings and Algebras 46H99, 16S80, 16S38, 53D55, 46L65, 32A38, 46M10 |
| url | https://arxiv.org/abs/2503.10640 |