Dice Question Streamline Icon: https://streamlinehq.com

NC Poincaré problem: equality of M_d and M_d^C

Prove that the universal skew field M_d of O_d coincides with M_d^C, the universal skew field of fractions of the ring O_d^C of NC functions admitting compact realizations; equivalently, show that every uniformly meromorphic NC function with a compact realization is representable as a non-commutative rational expression in NC entire functions.

Information Square Streamline Icon: https://streamlinehq.com

Background

The authors introduce a second skew field M_dC arising from compact operator realizations and note that O_d embeds into O_dC. In one variable, M_1=M_1C; however, for d>1 this equality remains unclear.

Establishing M_d=M_dC would provide a non-commutative analogue of Poincaré’s classical problem that every meromorphic function on Cd is a quotient of entire functions, adapted to the NC meromorphic and entire frameworks developed in the paper.

References

We leave several interesting questions open. For any $d\in N$, is ${M} _d = {M} _d {C}$? That is, is any uniformly meromorphic NC function in ${M}_d {C}$ equal to an NC rational expression in NC entire functions?

Rings of non-commutative functions and their fields of fractions (2509.21270 - Augat et al., 25 Sep 2025) in Section 7 (Outlook)