Search arXivSearch

arXiv · 2508.12836

Silting correspondences and Calabi-Yau dg algebras

Abstract

This paper is devoted to studying two important classes of objects in triangulated categories; silting objects and $d$-cluster tilting objects, and their correspondences. First, we introduce the notion of $d$-silting objects as a generalization tilting objects whose endomorphism algebras have global dimension at most $d$. For a smooth dg algebra $A$ and its $(d+1)$-Calabi-Yau completion $Π$, we show that the induction functor gives an embedding from the poset $\operatorname{silt}^dA$ of $d$-silting objects of $A$ to the poset $\operatorname{silt}Π$ of silting objects of $Π$. Moreover, when $H^0Π$ is finite dimensional, this functor identifies the Hasse quiver of $\operatorname{silt}^dA$ as a full subquiver of the Hasse quiver of $\operatorname{silt}Π$. In this case, we also prove that each $d$-silting object $P$ of $A$ gives a $d$-cluster tilting subcategory of $\operatorname{per} A$ as the $ν[-d]$-orbit of $P$. Secondly, for a connective Calabi-Yau dg algebra $Π$, we study the map from $\operatorname{silt}Π$ to the set $d\text{-}\operatorname{ctilt}\mathcal{C}(Π)$ of $d$-cluster tilting objects in the cluster category $\mathcal{C}(Π)$. We call $Π$ $\mathcal{F}$-liftable if the induced map $\operatorname{silt}Π\cap\mathcal{F}\to d\text{-}\operatorname{ctilt}\mathcal{C}(Π)$ is bijective, where $\mathcal{F}$ is the fundamental domain in $\operatorname{per}Π$. We prove that $\mathcal{F}$-liftable Calabi-Yau dg algebras $Π$ such that $H^0Π$ is hereditary are precisely the Calabi-Yau completions of hereditary algebras. As an application, we obtain counter-examples to an open question posed in [IYa1]. We also study Calabi-Yau dg algebras such that the map $\operatorname{silt}Π\to d\text{-}\operatorname{ctilt}\mathcal{C}(Π)$ is surjective, which we call liftable. We explain our results by polynomial dg algebras and Calabi-Yau completions of type $A_2$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Norihiro Hanihara, Osamu Iyama. 2025-12-20. Silting correspondences and Calabi-Yau dg algebras. https://arxiv.org/abs/2508.12836

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT