5
$\begingroup$

Let $k$ be a field and $A$ a unital associative $k$-algebra.

The representation functor associates, to each object in non-commutative geometry, a genuine geometric object on the representation variety $\mathrm{Rep}(A, V) = \mathrm{Hom}_\mathrm{alg}(A,\mathrm{End}(V))$ of $A$ on a finite-dimensional $k$-vector space $V$. For example, we have a map between the spaces of functions: $A \to \mathcal{O}(\mathrm{Rep}(A,V))\otimes_k \mathrm{End}(V)$ given by $a\mapsto (\rho \mapsto \rho(a))$. Many more are listed in Section 12 of Ginzburg's lecture note on non-commutative geometry.

Question: How can we construct the corresponding commutative object to:
(1) an $A$-(bi)module $M$, which would give us a vector bundle, and
(2) a connection on $M$ (e.g., of the form $\nabla\colon M \to \Omega^1A \otimes_A M$ in one formulation)?

The space of double derivations is worked out there, but their construction does not apply to arbitrary modules. Any suggestions or comments are appreciated.

$\endgroup$
2
  • 2
    $\begingroup$ What is meant by an "object in non-commutative geometry"? $\endgroup$ Commented Sep 19 at 22:15
  • $\begingroup$ Such as an algebra $A$ itself, $A$-(bi)modules, differential forms $\Omega^\bullet A$, the Hochschild (co)homology of $A$; anything based on $A$ and especially a non-commutative counterpart of some structure in the usual algebraic geometry. $\endgroup$
    – Qwert Otto
    Commented Sep 20 at 6:37

0

You must log in to answer this question.