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.
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)