5
$\begingroup$

Let $X$ be a (separated) complex algebraic variety. Then we can view its analytification $\newcommand\topo{\text{top}}X^{\topo}$ as a locally compact Hausdorff space. I wonder whether the same construction exists in the noncommutative world?

Let me phrase a slightly more precise version. Our noncommutative analogues of complex algebraic varieties are $\mathbb C$-linear DG-categories. Our noncommutative analogues of topological spaces are non-unital $C^*$-categories. Thus our question amounts to asking a "forgetful" functor which carries $\mathbb C$-linear DG-categories $\mathcal C$ to $C^*$-categories, denoted by $\mathcal C^{\topo}$. I hope that the following two properties are satisfies:

  1. If the input $\mathcal C$ is the DG-category $\DeclareMathOperator\Perf{Perf}\Perf(X)$ of perfect complexes on $X$ for a complex algebraic variety $X$, then the output $\mathcal C^{\topo}$ is the non-unital $C^*$-algebra $C(X^{\topo},\mathbb C)$ of continuous complex-valued functions on $X^{\topo}$;
  2. The operator $K$-theory of $\mathcal C^{\topo}$ should be the same as the topological $K$-theory of $\mathcal C$ à la Blanc.
Improve this question
$\endgroup$
4
  • $\begingroup$ Are there some finiteness assumptions on your linear DG categories? Otherwise, even in the commutative setting, I'd be a bit surprised to get (locally) compact spaces $\endgroup$
    – Yemon Choi
    Commented 14 hours ago
  • 1
    $\begingroup$ @YemonChoi This is a question to understand what is already known. For finiteness assumptions, I would not add on the source, but potentially enlarge the target a bit (I am not sure whether $C^*$-categories are general enough). However, if there is an answer for smooth proper categories, it is also desirable (I do not know how to impose finiteness assumption to incorporate non-smooth but finite type situations). $\endgroup$
    – Z. M
    Commented 6 hours ago
  • $\begingroup$ My knowledge of algebraic geometry is inadequate, but presumably there is some kind of finiteness assumption inside the definition of a complex algebraic variety, in the same way that differentiable manifolds are normally assumed to be modelled on finite-dimensional Euclidean space. This is why "linear DG category" seems much broader to me than "complex algebraic variety". After all, one could take some unpopular additive category such as the category of Banach spaces and bounded linear maps and then take chain complexes to get a linear DG category... $\endgroup$
    – Yemon Choi
    Commented 1 hour ago
  • $\begingroup$ (My point is that the "noncommutative topology dictionary" beloved by those who work with Cstar algebras starts to lose persuasiveness/validity if one goes outside the locally compact setting.) $\endgroup$
    – Yemon Choi
    Commented 1 hour ago

0

Reset to default

You must log in to answer this question.