Intereting Posts

solve a trigonometric equation $\sqrt{3} \sin(x)-\cos(x)=\sqrt{2}$
Why is it that if A is an n by m matrix, and both BA and AB are indentity matrices, then A is square and can't be rectangular?
Squared binomial coefficient
Integer Sequence “sums of digits of squares”.
How many subsets of $\mathbb{N}$ have the same cardinality as $\mathbb{N}$?
Discontinuous linear functional
Rewriting repeated integer division with multiplication
Branch cut for $\sqrt{1-z^2}$ – Can I use the branch cut of $\sqrt{z}$?
Bridging any “gaps” between AP Calculus and College/Univ level Calculus II
A question from the mod p irreducibility test's proof
Interpretation of $\epsilon$-$\delta$ limit definition
If $\forall x \in R, x^2-x \in Z(G)$, than $R$ is commutative
How many $f(x)$ are possible satisfying $f(x)=f'(x)$ and $f(0)=f(1)=0$.
Primes congruent to 1 mod 6
Finding an uncountable chain of subsets the integers

First take a question as an example:

Let $f:L\to M$ be an irreducible morphism in $\mathrm{mod}-A$ and $X$ be a right $A$-module.

Show that $\mathrm{Ext}_A(X,f):\mathrm{Ext}_A(X,L)\to\mathrm{Ext}_A(X,M)$ is a monomorphism,if $\mathrm{Hom}_A(M,X)=0$.

What is the special meaning of $\mathrm{Ext}$ functor in the quiver representation?

- Spinor Mapping is Surjective
- Geometric & Intuitive Meaning of $SL(2,R)$, $SU(2)$, etc… & Representation Theory of Special Functions
- Which non-Abelian finite groups contain the two specific centralizers? - part II
- Are Lie algebras $u_n$ and $su_n$ simple?
- Is $V$ a simple $\text{End}_kV$-module?
- The physical meaning of the tensor product

- Representing natural numbers as matrices by use of $\otimes$
- About the number of inequivalent irreducible representations of a finite group
- Can $\frac{SO(5)}{N}= SU(2) \times SO(2)$ be true?
- Equivalence of induced representation
- why the column sums of character table are integers?
- Invariant subspaces if $f$ is defined by more than one matrix
- Irreducible representations of $\mathbb{Z}/p\mathbb{Z}$ over Galois field $\mathbb{F}_q$, $p\neq q$.
- What is an irreducible character of a finite group?
- Is the adjoint representation of SO(4) self-dual?
- Centre of symmetric group algebra

As Matt has said in the comment, representation of quivers, and modules over the corresponding path algebra are really the same thing. Since you said you understand what it means to take Ext in homological algebra, i.e. taking Ext of modules over an algebra. So what you want for the answer is just $Rep(kQ/I) \simeq A-mod$. Here $A\cong kQ/I$, or in general, can be taken as Morita equivalent to $kQ/I$ (which is a basic algebra, meaning simple modules are all 1 dimensional).

We prove simply $Rep(Q)\simeq kQ-mod$ here.

If you have $M\in kQ-mod$, to get a representation of $Q$, take $M_x = e_x M$ where $e_x$ is the trivial path (i.e. primitive idempotent) corresponding to $x\in Q_0$.

If you have $V=\bigoplus_{x\in Q_0} V_x\in Rep(Q)$, then take the vector space $M=V$, and define the action of path $x_1\to \cdots \to x_k$ on $V$ (this lies in the path algebra $kQ$) as composition $V \twoheadrightarrow V_{x_1}\cdots V_{x_k} \hookrightarrow V$. This then gives you a module over the algebra $kQ$.

Hope this helps. Being able to think of a module in terms of representation of quiver is exactly why quiver is so useful to study representation theory. One should never be afraid of representation of quiver. IMO, I find it much harder to study modules over arbitrary algebra.

In answer to your additional question about Example VI.3.11 in [ASS]:

The way too see how the module manifest after tilting is probably not so apparent from the text. The main thing is to note that now the elements in your new algebra $B=End_A(T)$ is given by homomorphisms. The good thing of computation with quiver is you can usually do this rather combinatorially (i.e. looking at the arrows). We look at this example in detail: $3\xleftarrow{\beta}2\xleftarrow{\alpha}1$. Projective indecomposables: $$P(1)=\begin{array}{c}1 \\2\\3\end{array}, P(2)=\begin{array}{c} 2 \\ 3\end{array}, P(3)=\begin{array}{c}3\end{array}$$

On the right hand side of the equal is the way we ‘draw’ the module according to its Loewy structure (radical+socle series), (we should in fact draw them as $S(1)$, $S(2)$, $S(3)$, by for simplicity, we will always omit $S(-)$). You can ‘in some sense’ says that for $P(1)$, the $1$ is representing $e_1$, the $2$ representing $\alpha$ and the $3$ representing $\alpha\beta$. A homomophism between modules must map from the top the domain to somewhere in the target module with the same composition factor, the Loewy structure helps us to visualise what kind of map is possible. Now the tilting module:

$$T(1) = 1, T(2)=\begin{array}{c}1\\ 2\\ 3\end{array}, T(3) = 3$$

Now there is no hom from $T(1)$ to $T(2)$ because, by above statement, 1 must maps to 1, so we have the following diagram:

$$ \begin{array}{ccc} 1 &\to & 1 \\ & & 2 \\& & 3\end{array}$$

which does not make sense because you don’t have anything that maps to 2 and 3 in the target. On the other hand, reversing the arrow is a valid homomorphism. Moreover, this map does not factor through $T(3)$, therefore, by denoting this map as $\lambda^o$, on the quiver of $B^{op}$, we have $1\xleftarrow{\lambda^o}2$ (where 1 represents $T(1)$ and so on).

$T(3)$ is a simple and is socle of $T(2)$, so we also have a map, which does not factor through $T(1)$, denote by $\mu^o$. After reversing the arrow (taking the opposite ring), this gets us the quiver of $B$, $1\xrightarrow{\lambda}2\xrightarrow{\mu} 3$. The following diagram suffices to say $\mu^o\lambda^o(=\lambda\mu)=0$:

$$ \begin{array}{ccccc} 1 &\leftarrow & 1 & & \\ & & 2 & &\\& & 3 & \leftarrow & 3\end{array}$$ Now the projective indecomposables of $B$ are

$$ P_B(3) = 3, P_B(2) = \begin{array}{c}2\\ 3\end{array}, P_B(1) = \begin{array}{c}1\\ 2\end{array}$$

Note the primitive idempotents are given by $f_i:T(i)\to T(i)$ (corresponding to the top of these PIMs). The four equations can now be seen:

- $Hom_A(T,3)= K-span\{f_3\}\cong S_B(3)$
- $Hom_A(T,\begin{array}{c}1\\2\\3\end{array}) = K-span\{f_2,\mu^o\} \cong P_B(2)$
- $Hom_A(T,\begin{array}{c} 1 \\ 2\end{array})$: There is only one map, given by canoncial quotienting of $T(3)$ from $T(2)$, which can be visualise as:

$$ \begin{array}{ccccc} & & 1 & \xrightarrow{f_2} & 1 \\ & & 2 & \to & 2\\ \hline 3 &\xrightarrow{\mu^o} & 3 & \to & 3 \end{array}$$

Hence this hom group is given by $K$-span$\{ f_2\}$ quotient by $K$-span$\{\mu^o\}$, this corresponds to $P_B(2)$ quotient out by its socle (=$K$-span$\{\mu\}$. Hence giving us $S_B(2)$ - $Hom_A(T,1)=K$-span$\{f_1,\lambda^o\}\cong P_B(1)$

- Does the curvature determine the metric?
- Proof by induction of a Fibonacci relation
- Why an open set in $R^n$ might not be written as countable union of disjoint open intervals?
- Field extensions with(out) a common extension
- Suppose that half of the elements of G have order 2 and the other half form a subgroup H of order n. Prove that H is an abelian subgroup of G.
- Number of real roots of $\sum_{k=0}^{n}\frac{x^{k}}{k!}=0$
- $Z(I:J)$ is the Zariski closure of $Z(I)-Z(J)$
- What is mathematical basis for the percent symbol (%)?
- Convergence $\int_0^1{\log{(\arctan{}x)}\dfrac{\frac{\pi}{2}-\arcsin{x}}{(e^{1-x}-1)^a}}$
- Interpreting the significance of Darboux's Theorem
- Berger's theorem on holonomy
- If a covering map has a section, is it a $1$-fold cover?
- $\frac{a+b-2c}{b+c} + \frac{b+c-2a}{c+a} + \frac{c+a-2b}{a+b} \geq 0$
- How to get inverse of formula for sum of integers from 1 to n?
- Any ring is integral over the subring of invariants under a finite group action