Relative tilting, interlacing categories and rational Dyck posets
Abstract
We construct an explicit tilting equivalence between the incidence algebra of every rational Dyck staircase and a canonical idempotent corner of a higher Auslander algebra of type~A. In the coprime case, this corner identifies with the algebra B0 introduced by Xing. The resulting Dyck-corner equivalence supplies the missing link in the previously known chain of equivalences and thereby proves the Chapoton-Ladkani-Rognerud conjecture for coprime positive integers. The Dyck-corner equivalence itself requires no coprimality hypothesis and is compatible with replicated algebras. Our main tool is a linear-categorical extension of the interval-tilting mechanism of Chapoton-Ladkani-Rognerud. The relative theorem applies to finite kk-linear categories under finite-global-dimension assumptions on the total category and its fibers. In contrast with the incidence-category setting, it allows arbitrary finite-dimensional Hom spaces and zero composites of nonzero morphisms, and it does not require the diagonal endomorphism algebras to be semisimple. The tilting object is constructed from exact right Kan extensions of fiberwise representables. We compute its opposite indexed endomorphism category, including all forced-zero compositions, and hence its opposite endomorphism algebra. Iterating this construction one coordinate at a time yields an explicit derived equivalence between the incidence algebra of every finite coordinate staircase and an idempotent corner of a higher Auslander algebra of type~A. We further realize the resulting staircase derived categories as triangulated subcategories generated by product Lagrangians in partially wrapped Fukaya categories of stopped-disk symmetric products and, in the coprime Dyck case, as Fukaya-Seidel categories of symmetric Brieskorn--Pham singularities.
Related
- Support τ-tilting posets and Hochschild reconstruction for matrix centralizer algebras
- Flat and Ghost dimensions in tensor triangulated categories with a compact tilting generator
- Relative Derived Delooping Levels and τ-Tilting Modules
- Relative Dimension of Posets
- Relative Suspension and Higher Delooping for Support τ-Tilting Modules
BibTeX
@misc{pan2026relative,
title = {{Relative tilting, interlacing categories and rational Dyck posets}},
author = {Shengyong Pan},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2608.06696},
eprint = {2608.06696},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.06696},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Relative tilting, interlacing categories and rational Dyck posets
AU - Shengyong Pan
PY - 2026
DA - 2026/10/04
PB - arXiv
DO - 10.48550/arxiv.2608.06696
UR - https://arxiv.org/abs/2608.06696
AB - We construct an explicit tilting equivalence between the incidence algebra of every rational Dyck staircase and a canonical idempotent corner of a higher Auslander algebra of type~A. In the coprime case, this corner identifies with the algebra B_0 introduced by Xing. The resulting Dyck-corner equivalence supplies the missing link in the previously known chain of equivalences and thereby proves the Chapoton-Ladkani-Rognerud conjecture for coprime positive integers. The Dyck-corner equivalence itself requires no coprimality hypothesis and is compatible with replicated algebras. Our main tool is a linear-categorical extension of the interval-tilting mechanism of Chapoton-Ladkani-Rognerud. The relative theorem applies to finite kk-linear categories under finite-global-dimension assumptions on the total category and its fibers. In contrast with the incidence-category setting, it allows arbitrary finite-dimensional Hom spaces and zero composites of nonzero morphisms, and it does not require the diagonal endomorphism algebras to be semisimple. The tilting object is constructed from exact right Kan extensions of fiberwise representables. We compute its opposite indexed endomorphism category, including all forced-zero compositions, and hence its opposite endomorphism algebra. Iterating this construction one coordinate at a time yields an explicit derived equivalence between the incidence algebra of every finite coordinate staircase and an idempotent corner of a higher Auslander algebra of type~A. We further realize the resulting staircase derived categories as triangulated subcategories generated by product Lagrangians in partially wrapped Fukaya categories of stopped-disk symmetric products and, in the coprime Dyck case, as Fukaya-Seidel categories of symmetric Brieskorn--Pham singularities.
ER -