Source author record

Keyan Song

Keyan Song appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

3works
1topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2013arXiv

Injective Objects of Monomorphism Categories

For an acyclic quiver $Q$ and a finite-dimensional algebra $A$, we give a unified form of the indecomposable injective objects in the monomorphism category ${\rm Mon}(Q,A)$ and prove that ${\rm Mon}(Q, A)$ has enough injective objects. As applications, we show that for a given self-injective algebra $A$, a tilting object in the stable category $\underline{A}$-mod induces a natural tilting object in the stable monomorphism category $\underline{\rm Mon}(Q,A)$. We also realize the singularity category of the algebra $kQ\otimes_k A$ as the stable monomorphism category of the module category of $A$.

preprint2013arXiv

Monomorphism operator and perpendicular operator

For a quiver $Q$, a $k$-algebra $A$, and a full subcategory $\mathcal X$ of $A$-mod, the monomorphism category ${\rm Mon}(Q, \mathcal X)$ is introduced. The main result says that if $T$ is an $A$-module such that there is an exact sequence $0\rightarrow T_m\rightarrow...\rightarrow T_0\rightarrow D(A_A)\rightarrow 0$ with each $T_i\in {\rm add} (T)$, then ${\rm Mon}(Q, \ ^\perp T) = \ ^\perp (kQ\otimes_k T)$; and if $T$ is cotilting, then $kQ\otimes_k T$ is a unique cotilting $\m$-module, up to multiplicities of indecomposable direct summands, such that ${\rm Mon}(Q, \ ^\perp T)= \ ^\perp (kQ \otimes_k T)$. As applications, the category of the Gorenstein-projective $(kQ\otimes_kA)$-modules is characterized as ${\rm Mon}(Q, \mathcal{GP}(A))$ if $A$ is Gorenstein; the contravariantly finiteness of ${\rm Mon}(Q, \mathcal X)$ can be described; and a sufficient and necessary condition for ${\rm Mon}(Q, A)$ being of finite type is given.