arXiv subjects

Yixia Zhang

Publications and source records attributed to Yixia Zhang.

4 recordsLinked to original sources

arXiv2026

Object ideals and idempotent completeness

We construct an idempotent complete Frobenius exact category with an idempotent complete stable category in which a complete ideal cotorsion pair of object ideals induces a cotorsion pair of objects that fails to be complete. This gives a negative answer to the question of Fu, Guil Asensio, Herzog and Torrecillas under idempotent completeness. The construction uses a lemma on dense triangulated subcategories and an example of Bondarko and Sosnilo in which a weight structure fails to extend to the idempotent completion. The induced cotorsion pair is hereditary, and every object admits an ordinary precover from its left class and an ordinary preenvelope into its right class. We characterize which objects admit special precovers and which admit special preenvelopes.

math.CT↗

arXiv2026

Higher orthogonality and truncation in canonical pretriangulated quotients

Canonical ideal quotients of extriangulated categories admit natural one-sided triangulated or pretriangulated structures. A fundamental question is whether these quotient structures still retain enough information to recover higher orthogonality properties of the subcategory being factored out. We show that, for a strongly functorially finite $n$-rigid subcategory, such information is encoded by the nilpotency of the canonical suspension and, equivalently, of the canonical loop. More precisely, this nilpotency characterizes two-sided maximal $n$-orthogonality. We further establish an objectwise recognition criterion that combines one-sided higher orthogonality with the vanishing of the $n$th suspension or loop. In the triangulated setting, our results give a converse to the known truncation construction and show that the quotient is $n$-truncated if and only if the subcategory is $(n+1)$-cluster tilting. Moreover, in the nonsplit case, the nilpotency index is exactly $n$. These results turn truncation from a consequence of higher orthogonality into a sharp criterion for recognizing it.

math.CT↗

arXiv2026

Ideal $n$-cotorsion pairs in Frobenius extriangulated categories

Motivated by the correspondence between ideal cotorsion pairs in Frobenius exact categories and those in their stable categories, we introduce the notion of an ideal $n$-cotorsion pair in an extriangulated category. We study the relationship between ideal $n$-cotorsion pairs in a Frobenius extriangulated category $\mathcal C$ and those in its stable category $\underline{\mathcal C}=\mathcal C/ω$. Our main result shows that $(\mathcal I,\mathcal J)$ is an ideal $n$-cotorsion pair in $\mathcal C$ if and only if $(\mathcal I/ω,\mathcal J/ω)$ is an ideal $n$-cotorsion pair in $\underline{\mathcal C}$. This provides a bridge between higher ideal approximation theory in Frobenius extriangulated categories and its counterpart in their stable categories. Additionally, in Krull--Schmidt exact categories, we establish a bijective correspondence between complete cotorsion pairs and complete ideal cotorsion pairs, answering a question of Fu, Guil Asensio, Herzog and Torrecillas.

math.RT↗

arXiv2025

Triangulated categories arising from n-fold matrix factorizations

Let $\mathcal{A}$ be an additive category and let $T\colon \mathcal{A}\rightarrow \mathcal{A}$ be an additive functor equipped with a natural transformation $ω\colon \mathrm{Id}_{\mathcal{A}}\rightarrow T$. We prove that the homotopy category of $n$-fold matrix factorizations of $ω$, denoted ${\rm HFact}_{n}(\mathcal{A},T,ω)$, admits a natural structure of a right triangulated category. In particular, when $T$ is an automorphism, the homotopy category ${\rm HFact}_{n}(\mathcal{A},T,ω)$ becomes triangulated. Furthermore, if $\mathcal{A}$ is a Frobenius exact category and $T$ is an autoequivalence, we obtain that the category ${\rm Fact}_{n}(\mathcal{A},T,ω)$ of $n$-fold $(\mathcal{A},T)$-factorizations of $ω$ is a Frobenius exact category. Consequently, the stable category of the Frobenius exact category ${\rm Fact}_{n}(\mathcal{A},T,ω)$ is a triangulated category.

math.RT↗