There follows a possible construction, and I would like to know if it or a similar construction has been done before (as I suspect), so that I can reference it, or if it obviously does not work! Any useful comments welcomed.

What is wanted is the noncommutative analogue of taking an open subset of a compact Hausdorff topological space, and taking the continuous complex functions on that open set, with the topology of uniform convergence on compact subsets of the open set. (Noting that such functions are often unbounded.)

The NC setup - let $A$ be a unital separable C* algebra, with 2-sided ideal $J$. We do not want to take $A/J$, but instead take a countably many seminorm construction based on certain states on $A$. In the commutative case they would be states with measures supported away from the closed set where the elements of $J$ vanish. In the noncommutative set up, it seems likely that such states can be constructed from an approximate unit of $A/J$. An appropriate modification of $a\mapsto \phi(u_n a u_n)$ where $u_n\in A/J$ is the approximate unit and $\phi$ a state of $A/J$, with suitable cut offs and sums with $1/2^m$ weights might work. Then such states would give countably many seminorms to give an algebra larger than $A/J$ (and likely not separable).

The background: How to define meromorphic functions in noncommutative complex geometry? The starting ideal $J$ would correspond to where the poles (or divisor) would have to be. Of course the preceeding construction (if it worked) would generate really horrible functions in general, but the big problem is how to get unbounded functions at all - once they exist it should be possible to choose nicer ones.