On endomorphism algebras of silting complexes over hereditary abelian categories

This paper proves that the class of finite-dimensional algebras isomorphic to endomorphism algebras of silting complexes over hereditary abelian categories, along with shod algebras, is closed under idempotent quotients, idempotent subalgebras, and $\tau$-reduction, while also extending the closure of laura, glued, and weakly shod algebras under idempotent quotients.

The Gist

Imagine you are an architect working with a massive, complex set of building blocks. In the world of mathematics, specifically Representation Theory, these "blocks" are called algebras. They are the rules that govern how different mathematical shapes (modules) interact with each other.

Some of these algebras are simple and sturdy (like a single brick), while others are intricate skyscrapers made of thousands of pieces. Mathematicians want to know: If I take a big, complex skyscraper and cut out a piece of it, does the remaining piece still follow the same architectural rules?

This paper, written by Wei Dai, Changjian Fu, and Liangang Peng, answers that question for a specific, very important family of skyscrapers called Silting Complexes and their cousins, Quasi-Silted Algebras.

Here is the breakdown of their discovery using everyday analogies.

1. The Main Characters: The "Silting" Architects

First, let's meet the stars of the show.

• Hereditary Abelian Categories: Think of these as the perfect, flat ground where you can build. They are the most stable, predictable environments in this mathematical world.
• Silting Complexes: Imagine these as specialized scaffolding built on that perfect ground. They are temporary but essential structures used to hold up complex buildings.
• Endomorphism Algebras: This is the blueprint or the rulebook you get when you look at how the scaffolding holds itself together. The paper studies these rulebooks.

The authors define a special club, let's call it Club E. This club contains all the rulebooks (algebras) that come from building this specific type of scaffolding (silting complexes) on that perfect ground.

2. The Big Question: Can We Cut and Paste?

Mathematicians love to take a big algebra and do two things to it:

1. The Idempotent Subalgebra (The "Zoom In"): Imagine you have a giant map of a country. You take a magnifying glass and focus only on one specific city. Does that city still follow the same laws as the whole country?
2. The Idempotent Quotient (The "Cut Out"): Imagine you take a piece of paper with a drawing on it and cut out a square in the middle. You throw away the square. Does the remaining paper (the frame) still make sense as a drawing?

The authors prove that Club E is very robust.

• If you zoom in on a part of a "Silting" rulebook, the new, smaller rulebook is still in Club E.
• If you cut a piece out of a "Silting" rulebook, the remaining rulebook is still in Club E.

They also proved this works for a slightly broader group called Quasi-Silted Algebras (think of these as "almost-perfect" scaffolding). Even if you cut or zoom, they stay in the club.

3. The "τ-tilting" Reduction: The Magic Filter

The paper also introduces a more complex operation called τ-tilting reduction.

• Analogy: Imagine you have a giant, noisy party (the algebra). You want to filter out the people who are causing a specific type of chaos (a "τ-rigid module"). You put them in a separate room and look at the party that remains.
• The Result: The authors show that even after this "filtering" process, the remaining party (the new algebra) still belongs to Club E. It hasn't lost its structural integrity.

4. Why Does This Matter? (The "Recursive" Power)

Why do we care if a club stays closed when we cut or zoom?

• The "Lego" Strategy: If you want to prove a huge, scary theorem about all algebras in Club E, you don't have to look at the whole thing at once. Because the club is "closed" under cutting, you can break the big problem into tiny, manageable pieces (subalgebras).
• Solving the Puzzle: If you can solve the problem for the tiny pieces, you know it works for the big picture. This is like solving a 1,000-piece puzzle by first solving the corners and edges.

5. The "Old Guard" Gets a Makeover

The authors didn't stop at their new "Silting" club. They looked at some older, famous clubs of algebras (called Laura, Glued, and Shod algebras).

• The Old Belief: Previously, mathematicians thought these old clubs were fragile. They believed you could only cut them in very specific, safe ways, or else the structure would collapse.
• The New Discovery: The authors proved that these old clubs are actually tougher than we thought. You can cut them with any scissors (any idempotent), and they will still hold together. This is a huge generalization of previous work.

6. The "Danger Zone" (The Examples)

Every good story needs a warning. In the final section, the authors show examples of what happens when you push the rules too far.

• They show that if you take a "Quasi-Tilted" building (a very nice, stable structure) and cut it, you might end up with a "Strictly Shod" building.
• The Metaphor: It's like taking a pristine, modern glass skyscraper and cutting a chunk out of it. The result is still a building, but it's no longer a "glass skyscraper"—it's a different, slightly more rugged type of building. It didn't collapse, but it changed its identity. This helps mathematicians understand the exact boundaries of where these rules apply.

Summary

In simple terms, this paper is about structural stability.
The authors discovered that a specific, powerful family of mathematical structures (Silting and Quasi-Silted algebras) is incredibly resilient. You can zoom in, cut pieces out, or filter them, and they will always remain members of their own exclusive club. Furthermore, they showed that some older, well-known families of structures are even more resilient than anyone previously realized.

This gives mathematicians a powerful new toolkit to break down complex problems into smaller, solvable pieces without fear that the pieces will lose their essential nature.

Technical Summary

Here is a detailed technical summary of the paper "On Endomorphism Algebras of Silting Complexes over Hereditary Abelian Categories" by Wei Dai, Changjian Fu, and Liangang Peng.

1. Problem Statement and Motivation

The paper investigates the structural stability of specific classes of finite-dimensional algebras under fundamental operations: taking idempotent subalgebras ($eAe$) and idempotent quotients ($A/AeA$).

• Context: In the representation theory of finite-dimensional algebras, the study of algebras arising as endomorphism rings of distinguished objects (tilting modules, support $\tau$-tilting modules, and silting complexes) is central.
• The Class $E$: The authors define $\mathcal{E}$ as the class of finite-dimensional algebras isomorphic to the endomorphism algebras of basic silting complexes over hereditary abelian categories. This class generalizes well-known classes such as tilted, quasi-tilted, silted, and quasi-silted algebras.
• The Core Question: Is the class $\mathcal{E}$ closed under idempotent subalgebras and quotients? Furthermore, does this closure property extend to the more general operation of $\tau$-tilting reduction?
• Broader Impact: Establishing such closure properties is crucial for "homological reduction." It allows complex global conjectures (e.g., about the connectedness of tilting graphs or global dimension finiteness) to be decomposed into smaller, manageable components via recollements of derived categories.

2. Methodology

The authors employ a combination of silting theory in triangulated categories and perpendicular subcategory techniques to prove their results.

• Silting Reduction: The primary tool is the theory of silting reduction in triangulated categories (specifically derived categories of hereditary abelian categories, $D^b(\mathcal{H})$). They utilize the Verdier quotient $D^b(\mathcal{H}) / \text{thick}(D)$, where $D$ is a presilting object.
• Perpendicular Subcategories: A key technical step involves analyzing the subcategory $D^{\perp_{[0,1]}} = \{X \in \mathcal{H} \mid \text{Hom}(D, X) = 0 = \text{Ext}^1(D, X)\}$. The authors prove that for a presilting complex $D$, this subcategory is itself a hereditary abelian category, and its derived category is triangle equivalent to the Verdier quotient.
• Mutation and Approximations: The proofs rely heavily on the construction of minimal approximations (left/right) and mutations of silting objects. Specifically, they use the fact that if $T = D \oplus N$ is a silting object, the endomorphism algebra of the quotient object in the reduced category corresponds to the quotient of the original endomorphism algebra by the ideal generated by the idempotent associated with $D$.
• Independent Analysis for Classical Classes: For the classical classes (laura, glued, shod), the authors do not rely solely on silting reduction. Instead, they use direct module-theoretic arguments involving path lengths in the Auslander-Reiten quiver, torsion pairs, and properties of projective/injective dimensions to establish closure under idempotent quotients.

3. Key Contributions and Results

The paper establishes three main theorems:

Theorem 1.1: Closure under Idempotent Operations

Let $A \in \mathcal{E}$ (an endomorphism algebra of a basic silting complex over a hereditary abelian category) and $e \in A$ be an idempotent.

1. Idempotent Quotients: The algebra $A/AeA$ is also in $\mathcal{E}$.
   • Refinement: If $A$ is quasi-silted, then $A/AeA$ is also quasi-silted.
2. Idempotent Subalgebras: The algebra $eAe$ is also in $\mathcal{E}$.
   • Refinement: If $A$ is quasi-silted (or quasi-tilted), then $eAe$ retains these properties.
   • Note: While the result for quasi-tilted algebras was known (via Assem and Coelho), the authors provide a completely new proof using silting reduction machinery.

Theorem 1.2: Closure under $\tau$-Tilting Reduction

Let $A \in \mathcal{E}$ and $Z$ be a $\tau$-rigid $A$-module.

1. The $\tau$-tilting reduction of $A$ with respect to $Z$ (defined as $C = \text{End}_A(U_Z)/\langle e_Z \rangle$, where $U_Z$ is the Bongartz completion) belongs to $\mathcal{E}$.
2. If $A$ is quasi-silted, its $\tau$-tilting reduction is also quasi-silted.

• Significance: This generalizes the idempotent quotient result, as idempotent quotients are a special case of $\tau$-tilting reduction.

Theorem 1.3: Closure of Classical Classes under Idempotent Quotients

The authors prove that several classical classes of algebras, previously known to have specific closure properties, are closed under arbitrary idempotent quotients:

1. Laura algebras: Closed under idempotent quotients.
2. Glued algebras (Right/Left): Closed under idempotent quotients.
3. Weakly shod algebras: Closed under idempotent quotients.
4. Shod algebras: Closed under idempotent quotients.

• Generalization: This significantly extends previous work by Zito, which only proved these results for specific types of idempotents.

4. Examples and Counterexamples (Section 5)

The paper provides a family of algebras $A(n, k)$ to illustrate the boundaries of these results:

• Construction: $A(n, k)$ are bound quiver algebras of type $A_n$ with specific relations.
• Global Dimension: $\text{gl.dim } A(n, k) = k-1$.
• Hierarchy:
  • $A(n, 2)$ is hereditary.
  • $A(n, 3)$ is quasi-tilted.
  • $A(n, 4)$ is strictly shod (shod but not quasi-tilted).
  • $A(n, k)$ for $k \geq 5$ is not shod (since global dimension $> 3$).
• Implication: The authors demonstrate that taking endomorphism algebras of tilting modules can increase the global dimension. Specifically, starting from a hereditary algebra ($k=2$), one can iteratively construct algebras with increasing global dimensions up to $n-1$.
• Crucial Observation: While the class of quasi-silted algebras is closed under idempotent quotients, the class of tilted algebras is not. A tilted algebra can yield a quotient that is strictly shod (and thus not tilted), highlighting the necessity of the broader "quasi-silted" or "shod" classifications in the main theorems.

5. Significance

1. Unification: The paper unifies the study of tilted, quasi-tilted, silted, and quasi-silted algebras under the umbrella of endomorphism algebras of silting complexes, showing they share robust structural stability.
2. Methodological Advancement: By successfully applying silting reduction to prove closure properties for idempotent subalgebras and quotients, the authors provide a powerful new toolkit for analyzing the homological properties of algebras.
3. Generalization of Classical Results: The extension of closure properties to arbitrary idempotents for laura, glued, and shod algebras resolves open questions and strengthens the theoretical framework for these classes.
4. Foundation for Future Research: The results facilitate the use of recursive arguments in representation theory. For instance, they support the decomposition of homological problems (like the connectedness of $\tau$-tilting graphs) by allowing researchers to reduce problems to smaller algebras while preserving the class membership.

In summary, this paper establishes that the class of endomorphism algebras of silting complexes over hereditary abelian categories is remarkably stable under fundamental algebraic operations, providing a robust framework for the classification and reduction of finite-dimensional algebras.