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

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?

share|improve this question
    
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$. –  Mariano Suárez-Alvarez Apr 5 '12 at 5:25
    
@Mariano Suárez Alvarez: you're right, apologies. I will edit. –  Amied Apr 5 '12 at 5:34

1 Answer 1

up vote 3 down vote accepted

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.

share|improve this answer
    
@Benjamin Steinberg: Thank you. Can you please explain what the term "M-adic uniformity" means? (perhaps I know it under a different name) –  Amied Apr 8 '12 at 21:11

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.