Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.