arXiv Science⌕ Search

arXiv · 2611.03204

Hammock coordinates for silting subcategories of derived-discrete algebras

Abstract

We introduce hammock coordinates to study the combinatorial structure of partial silting configurations in the bounded derived category of a derived-discrete algebra $Λ(r,n,m)$. By extracting exact integer inequalities from the Bobiński--Geiß--Skowroński Hom-hammock formula, we establish a closed-form criterion for pairwise partial silting both within any $\mathcal Z$-component and across distinct components. Using this coordinate framework, we establish three primary results. First, we prove the universal upper bound $|S| \le n+m$ on the cardinality of any partial silting configuration $S$ of $\mathcal Z$-objects ---both globally via Bongartz completion in the silting-discrete setting, and combinatorially within a single component via a $Σ^r$-invariant staircase argument. Second, we prove that this bound is universally sharp by constructing an explicit L-shaped partial silting configuration of size $n+m$ for every $Λ(r,n,m)$, alongside specialized diagonal configurations. Third, we show that the configuration lattice carries a faithful action of the cyclic group $\mathbb Z/g$ where $g = \gcd(r+m, n-r)$. We conclude by showing a structural obstruction to local determination: pairwise partial silting of consecutive objects in the lattice ordering does not imply global partial silting, due to the strict additivity of a coordinate defect along chains.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shantanu Sardar. 2026-11-02. Hammock coordinates for silting subcategories of derived-discrete algebras. https://arxiv.org/abs/2611.03204

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

KEEP EXPLORING

Related papers

A lecture note on covering theory in representation theory of algebras

Covering theory is an important tool in representation theory of algebras, however, the results and the proofs are scattered in the literature. We give an introduction to covering theory at a level as elementary as possible and in a more general way on some basic notions than the existing literature does.

math.RT↗

On the Orthogonal Projections

Let $A$ be a finite-dimensional algebra and $e$ a rigid presentation. We give an explicit formula for the left adjoint to the inclusion $\operatorname{rep}(e^\perp)\hookrightarrow \operatorname{rep}(A)$ and construct a bijection between presentations in $\operatorname{rep}(e^\perp)$ and presentations compatible with $e$. The induced bijection on weights preserves generic $\operatorname{E}$-invariants and canonical decompositions. If $A$ is Jacobian, the reduction algebra is Jacobian for every rigid $e$. We prove mutation formulas for the signed completions and for the dimension vectors of the simple objects of $\operatorname{rep}(e^\perp)$, enabling an algorithm to find the projected quiver with potential when $e$ is extended-reachable. Additionally, we introduce a modified projection for quivers with potentials that preserves general presentations. For applications to cluster algebras, we establish a connection to the stabilization functors.

math.RT↗

Compatible gradings on dg models and cluster equivalence

Let $\La_1$ and $\La_2$ be finite-dimensional $\ta_2$-finite complex algebras of global dimension at most two. We prove that, if they are cluster equivalent, then they admit $\bbZ$-gradings for which the bounded derived categories of graded modules are triangle equivalent. The equivalence is not required to commute with the internal grading shifts. The proof uses common multigraded dg models, relative gradings on two-term silting objects, and covering quotients. We also consider tilting lifts of cluster-tilting objects with endomorphism algebras of global dimension at most two. In acyclic cluster type, the existence of such a lift for every cluster-tilting object implies piecewise heredity. We construct a counterexample without this assumption using a surface algebra associated with a one-holed torus.

math.RT↗