Source author record

Keyan Song

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
1topics
4close collaborators

Published work

3 publications

preprint2013arXiv

Injective Objects of Monomorphism Categories

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

preprint2013arXiv

Monomorphism operator and perpendicular operator

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

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.