Fans and polytopes in tilting theory I: Foundations
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:VBIAOTNIrecord.jsonopen to challenge →
read the original abstract
For a finite dimensional algebra $A$ over a field $k$, the 2-term silting complexes of $A$ gives a simplicial complex $\Delta(A)$ called the $g$-simplicial complex. We give tilting theoretic interpretations of the $h$-vectors and Dehn-Sommerville equations of $\Delta(A)$. Using $g$-vectors of 2-term silting complexes, $\Delta(A)$ gives a nonsingular fan $\Sigma(A)$ in the real Grothendieck group $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-fan. We give several basic properties of $\Sigma(A)$ including sign-coherence, sign decomposition, idempotent reductions, Jasso reductions, pairwise positivity and a connection with Newton polytopes of $A$-modules. Moreover, $\Sigma(A)$ gives a (possibly infinite and non-convex) polytope $P(A)$ in $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-polytope of $A$. We call $A$ $g$-convex if $P(A)$ is convex. In this case, we show that it is a reflexive polytope, and that the dual polytope is given by the 2-term simple minded collections of $A$. There are precisely 7 convex $g$-polyogons up to isomorphism. We give a classification of algebras whose $g$-polytopes are smooth Fano. We study $g$-fans and $g$-polytopes of two important classes of algebras. We show that the $g$-fan of a classical or generalized preprojective algebra is given by the Coxeter fan. It is $g$-convex if and only if it is of type $A$ or $B$, and in this case, its $g$-polytope is the dual polytope of the short root polytope. Moreover we classify Brauer graph algebras which are $g$-convex, and describe their $g$-polytopes as the root polytopes of type $A$ or $C$.
This paper has not been read by Pith yet.
Forward citations
Cited by 3 Pith papers
-
Bicompact torsion classes and conjectures on brick infinite algebras
Bicompact torsion classes equal functorially finite ones for hereditary algebras and semistable cases, so Demonet Conjecture implies Enomoto Conjecture.
-
Locally anti-blocking $\mathbf{g}$-polytopes for flow polytopes
Combinatorial characterization of locally anti-blocking g-polytopes arising from amply framed DAG flow polytopes, including minimal faces, pulling triangulations, and coherence diagrams.
-
The interval neighborhoods in the real Grothendieck groups
Establishes a 2^{|U|}:1 correspondence between TF equivalence classes in the closed interval neighborhood D(U) of a silting cone C^∘(U) and those in K_0(proj B)_R for the τ-tilting reduced algebra B, together with an ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.