Researcher profile

Keyan Song

Keyan Song contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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.