Generalized Pimsner–Voiculescu Embeddings

Definitions and mathematical statement

For $\theta\in{\mathbb{R}}\setminus{\mathbb{Q}}$, the irrational rotation algebra $A_\theta$ is the universal unital $C^*$-algebra generated by unitaries $U,V$ satisfying \[ UV=e^{2\pi i\theta}VU. \] More generally, for an integer $n\geq 2$ and a real skew-symmetric matrix $\Theta=(\Theta_{jk})_{j,k=1}^n$, the noncommutative torus $A_\Theta$ is the universal unital $C^*$-algebra generated by unitaries $U_1,\ldots,U_n$ satisfying \[ U_jU_k=e^{2\pi i\Theta_{jk}}U_kU_j \qquad(1\leq j,k\leq n). \] These definitions supply notation; the source does not specify which deformation matrices are intended in its higher-dimensional question, including whether additional irrationality or nondegeneracy hypotheses are required.

An embedding of $C^*$-algebras means an injective $*$-homomorphism $\iota:A\to B$; whether it must preserve units is an additional condition not specified in the supplied question. If $\alpha\in\operatorname{Aut}(A)$, an extension of $\alpha$ along $\iota$ means an automorphism $\beta\in\operatorname{Aut}(B)$ satisfying \[ \beta\circ\iota=\iota\circ\alpha. \] For a strongly continuous action $\gamma:G\to\operatorname{Aut}(D)$ of a locally compact abelian group on a $C^*$-algebra, write $D\rtimes_\gamma G$ for its crossed product, with the convention to be specified. For a unitary $u$ in a unital $C^*$-algebra $B$, write $\sigma_B(u)\subseteq\{z\in{\mathbb{C}}:|z|=1\}$ for its spectrum.

Source research questions. Starting from the embedding of an irrational rotation algebra referred to in the source as the Pimsner--Voiculescu embedding, ask:

1. Can this embedding construction be generalized to higher-dimensional noncommutative tori, or to an appropriate setting involving more general discrete abelian groups?
2. Can the procedure described as breaking the spectra of unitary generators be carried out in more general crossed products by locally compact abelian groups?
3. Which properties, including suitable notions of maximality and extendibility of automorphisms, characterize this embedding?

The supplied record does not describe the initial embedding, its target algebra, the required structure of a generalization, or the meaning of spectral breaking and maximality. It also does not identify the automorphisms whose extension is sought. Consequently these are qualified research questions, not a fully specified quantified existence or characterization statement. In particular, no assertion for every deformation matrix, discrete abelian group, locally compact abelian group, or action is inferred.

Short English statement

The source asks whether the Pimsner--Voiculescu embedding extends to higher-dimensional noncommutative tori and settings involving more general abelian groups, whether its spectral-breaking procedure extends to broader crossed products, and whether maximality or extension of automorphisms characterizes it. The target algebras and several essential conditions remain unspecified, so a precise general existence theorem cannot be extracted from this record alone.

Sources

• Supplied local UnsolvedMath registry record, permanent ID $30002394$, title: Generalized Pimsner--Voiculescu Embeddings; collection: Oberwolfach Reports Open Problems; exact source problem code: catalogue entry. No individual proposer is supplied. The embedding is attributed by name to Pimsner--Voiculescu.
• Supplied report citation: C*-Algebren (2014), Oberwolfach Reports, pp. 2423--2500, DOI 10.4171/owr/2013/43. Source URL and supplied literature-source link, labelled "original OWR report": https://doi.org/10.4171/owr/2013/43. The record separately gives proposed year 2013; the relationship between that year and the citation's 2014 label is unresolved here.
• Literature assessment checked on 2026-08-21: the supplied curation labels the problem open and describes higher-dimensional and more general crossed-product extensions as future questions, with no general construction resolving them. This is supplied dated curation, not an independently verified assessment of the literature or current status.
• The registry labels the statement corrected_verified and reports that its mathematical content was checked against the official Oberwolfach report, with notation, context, and question form normalized. This verification claim is supplied metadata; the report has not been independently consulted for this draft.