3
$\begingroup$

Hello,

Let $Q$ be a finite quiver, let $M$ denote the arrow ideal and let $kQ$ denote the path algebra. Endow $kQ$ with the $M$-adic topology. Now let $\mathcal{A}$ be the set of all formal series ${\sum_{\gamma} a_{\gamma} \gamma , a_{\gamma} \in K\}$ where $\gamma$ is a path. Then $kQ$ is naturally a $k$-algebra (same operations we use for a group ring). Define $t$ as follows:

$t(\sum a_{\gamma} \gamma)= n$ if $a_{p}$ is non-zero for at least one path p of length $n$ and $a_{q}=0$ for all paths of length smaller that $n$. This induces a metric $(a,b) \mapsto 2^{-t(a-b)}$, then $\mathcal{A}$ becomes a topological algebra with this metric.

Question: why is $\mathcal{A}$ isomorphic (as a topological algebra) to the completion of $kQ$ endowed with the $M$-adic topology?

Improve this question
$\endgroup$
2
  • $\begingroup$ Your definition of $t$ is a bit fuzzy. You probably mean that $t(\sum a_\gamma\gamma)=n$ if $a_p$ is non-zero for at least one path $p$ of length $n$ and $a_q=0$ for all paths of length smaller that $n$. $\endgroup$
    – Mariano Suárez-Álvarez
    Commented Apr 5, 2012 at 5:25
  • $\begingroup$ @Mariano Suárez Alvarez: you're right, apologies. I will edit. $\endgroup$
    – Amied
    Commented Apr 5, 2012 at 5:34

1 Answer 1

Reset to default
3
$\begingroup$

The metric you have given induces the M-adic uniformity on kQ. A ball in the metric around 0 contains all linear combinations of paths whose shortest term with non-zero coefficient is a path of length greater than or equal to n for a certain n which can be computed from the radius of the ball. So $M^n$ is contained in this ball. On the other hand $M^n$ is a ball around 0 by choosing the radius appropriately. The isomorphism follows from uniqueness of completions.

Improve this answer
$\endgroup$
1
  • $\begingroup$ @Benjamin Steinberg: Thank you. Can you please explain what the term "M-adic uniformity" means? (perhaps I know it under a different name) $\endgroup$
    – Amied
    Commented Apr 8, 2012 at 21:11

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .