arXiv++ Combinatorics

We define an invariant of the module category of a representation-finite algebra by the magnitude of its Auslander algebra. This invariant will be called the magnitude of the module category. For bound path algebras, it can be computed as the Euler characteristic of the Auslander--Reiten quiver, in a suitable sense. To aid the computation of our invariant, we define the Auslander--Reiten--Euler characteristic of a translation quiver. We build on classical results in Auslander--Reiten theory to determine the magnitude of module categories of biserial algebras, hereditary path algebras, radical square zero bound path algebras, and self-injective bound path algebras. In these cases, we express our invariant in terms of other known quantities, notably the rank of the Grothendieck group and Coxeter numbers of Dynkin quivers. Based on our calculations and results, we obtain a conjectural characterisation of representation-finite biserial algebras in terms of the magnitude of the module category and the rank of the Grothendieck group.

For a finite dimensional algebra $A$, the TF equivalence on the real Grothendieck group $K_0(\operatorname{\mathsf{proj}} A)_\mathbb{R}$ can be regarded as a completion of the $g$-fan. For example, the silting cones $C^\circ(U)$ of 2-term presilting complexes $U$ give the most fundamental family of TF equivalence classes. The next step is studying the TF equivalence classes around each silting cone $C^\circ(U)$. Thus, in this paper, we investigate the closed interval neighborhood $D(U)$ of $C^\circ(U)$. As our main result, we give a $2^{|U|}:1$ correspondence between the TF equivalence classes in $D(U)$ and those in $K_0(\operatorname{\mathsf{proj}} B)_\mathbb{R}$, where $B$ is the algebra appearing in the $τ$-tilting reduction at $U$. For this purpose, we give an explicit description of defining inequalities and the faces of $D(U)$ as a polyhedral cone, by using 2-term simple-minded collections and $M$-TF equivalences.

In 2001, Chow developed the theory of the $B_n$ posets $P$ and the type $B$ $P$-partition enumerators $K^B_P$. To provide a representation-theoretic interpretation of $K^B_P$, we define the poset modules $M^B_P$ of the 0-Hecke algebra $H_n^B(0)$ of type $B$ by endowing the set of type-$B$ linear extensions of $P$ with an $H_n^B(0)$-action. We then show that the Grothendieck group of the category associated to type-$B$ poset modules is isomorphic to the space of type $B$ quasisymmetric functions as both a $\mathrm{QSym}$-module and comodule, where $\mathrm{QSym}$ denotes the Hopf algebra of quasisymmetric functions. Considering an equivalence relation on $B_n$ posets, where two posets are equivalent if they share the same set of type-$B$ linear extensions, we identify a natural representative of each equivalence class, which we call a distinguished poset. We further characterize the distinguished posets whose sets of type-$B$ linear extensions form intervals in the right weak Bruhat order on the the hyperoctahedral groups. Finally, we discuss the relationship among the categories associated to type-$B$ weak Bruhat interval modules, $B_n$ poset modules, and finite-dimensional $H_n^B(0)$-modules.

We study the Grothendieck group of the variety $X_{n,k}$ of spanning line configurations introduced by Pawlowski--Rhoades [arXiv:1711.08301] as a geometric model for the generalized coinvariant algebra $R_{n,k}$. Our first result is a localization statement in $K$-theory for the complements of cell closures in smooth cellular varieties. Combining with the Fulton--Lascoux degeneracy loci formula, we prove that $K_0(X_{n,k})$ is canonically isomorphic to $R_{n,k}$, extending classical isomorphisms for the flag variety. We next identify the classes of the Pawlowski--Rhoades varieties with Grothendieck polynomials associated to words $w \in [k]^n$. Motivated by this identification, we develop models of classical and bumpless pipe dreams for words. We show that Schubert and Grothendieck polynomials of words are monomial-weight generating functions for these pipe dreams, extending the classical story from permutations to words and ordered set partitions.

The $g$-fan $Σ(A)$ of a finite dimensional algebra $A$ is a non-singular fan in its real Grothendieck group, defined by tilting theory. If the union ${\rm P}(A)$ of the simplices associated with the cones of $Σ(A)$ is convex, we call $A$ $g$-convex. In this case, the $g$-polytope ${\rm P}(A)$ of $A$ is a reflexive polytope. Thus, in each dimension, there are only finitely many isomorphism classes of fans that can be realized as $g$-fans of $g$-convex algebras. An important problem is to classify such fans for a fixed dimension $d$. In this paper, we give a complete answer for the case $d=3$: we prove that there are precisely 61 convex $g$-fans of dimension 3 up to isomorphism. Our method is based on the decomposition of fans into the $2^3$ orthants in the real Grothendieck group of $A$, together with a detailed analysis of possible sequences of $g$-vectors arising from iterated mutations.

Let ${\mathtt{k}}$ be an algebraically closed field of characteristic zero and $n, m$ coprime positive integers. Let ${\stackrel{\rm o}{\mathfrak{g}}}$ be the Lie superalgebra ${\mathfrak{gl}}(n|m)$ with root system $Δ$. Using $Δ$, Sergeev and Veselov, \cite{SV2} introduced an action of the Weyl groupoid ${\mathcal{W}}$, in connection with their study of the the Grothendieck group of finite dimensinonal graded $\mathfrak{g}$-modules. We denote the subgroupoid of ${\mathcal{W}}$ with morphisms corresponding to isotropic roots by $\mathfrak T_{iso}$. Later, \cite{SV101} the same authors defined an action of ${\mathcal{W}}$ on $X={\mathtt{k}}^{n|m}$ such that the invariant algebra ${\mathcal{O}}(X)^{\mathcal{W}}$ is isomorphic to the algebra of quantum integrals for the deformed Calogero-Moser system introduced in \cite{SV1}. This completely integrable system depends on a non-zero parameter $κ$. When $κ=-m/n$ we study a certain infinite $\mathfrak T_{iso}$-orbit {\bf O} for this action. %which appears in \cite{SV101} Equation (14). The Cayley graph for this orbit is isomorphic to the Cayley graphs for two other actions of $\mathfrak T_{iso}$ which were studied in \cite{M23}.

In this article, we establish the relations between a sandpile graph, its sandpile monoid and the weighted Leavitt path algebra associated with it. Namely, we show that the lattice of all idempotents of the sandpile monoid $\text{SP}(E)$ of a sandpile graph $E$ is both isomorphic to the lattice of all nonempty saturated hereditary subsets of $E$, the lattice of all order-ideals of $\text{SP}(E)$ and the lattice of all ideals of the weighted Leavitt path algebra $L_{K}(E, ω)$ generated by vertices. Also, we describe the sandpile group of a sandpile graph $E$ via archimedean classes of $\text{SP}(E)$, and prove that all maximal subgroups of $\text{SP}(E)$ are exactly the Grothendieck groups of these archimedean classes. Finally, we give the structure of the Leavitt path algebra $L_{K}(E)$ of a sandpile graph $E$ via a finite chain of graded ideals being invariant under every graded automorphism of $L_{K}(E)$, and completely describe the structure of $L_{K}(E)$ such that the lattice of all idempotents of $\text{SP}(E)$ is a chain. Consequently, we completely describe the structure of the weighted Leavitt path algebra of a sandpile graph $E$ such that $\text{SP}(E)$ has exactly two idempotents.

Let $Γ$ be a divisible subgroup of $(\mathbb{R},+)$. Our central result states that, at the level of Grothendieck groups, the classification of $Γ$-rational polyhedra in $\mathbb{R}^n$ up to affine transformations in $Γ^n\rtimes \mathrm{GL}_n(\mathbb{Z})$ is equivalent to the classification up to affine transformations in $Γ^n\rtimes \mathrm{GL}_n(\mathbb{Q})$. We prove this by giving an explicit description of these Grothendieck groups. This yields, in particular, a positive answer to the basic case of a question by Hrushovski and Kazhdan; all other cases are still open. As a second application, we give a simple description of the kernel of the motivic volume for non-archimedean semi-algebraic sets, which is a key ingredient of Hrushovski and Kazhdan's theory of motivic integration.

Duchamp--Hivert--Thibon introduced the construction of a right $H_n(0)$-module, denoted as $M_P$, for any partial order $P$ on the set $[n]$. This module is defined by specifying a suitable action of $H_n(0)$ on the set of linear extensions of $P$. In this paper, we refer to this module as the poset module associated with $P$. Firstly, we show that $\bigoplus_{n \ge 0} G_0(\mathscr{P}(n))$ has a Hopf algebra structure that is isomorphic to the Hopf algebra of quasisymmetric functions, where $\mathscr{P}(n)$ is the full subcategory of $\textbf{mod-}H_n(0)$ whose objects are direct sums of finitely many isomorphic copies of poset modules and $G_0(\mathscr{P}(n))$ is the Grothendieck group of $\mathscr{P}(n)$. We also demonstrate how (anti-)automorphism twists interact with these modules, the induction product and restrictions. Secondly, we investigate the (type 1) quasisymmetric power sum expansion of some quasi-analogues $Y_α$ of Schur functions, where $α$ is a composition. We show that they can be expressed as the sum of the $P$-partition generating functions of specific posets, which allows us to utilize the result established by Liu--Weselcouch. Additionally, we provide a new algorithm for obtaining these posets. Using these findings, for the dual immaculate function and the extended Schur function, we express the coefficients appearing in the quasisymmetric power sum expansions in terms of border strip tableaux.

The $g$-fan of a finite dimensional algebra is a fan in its real Grothendieck group defined by tilting theory. We give a classification of complete $g$-fans of rank 2. More explicitly, our first main result asserts that every complete sign-coherent fan of rank 2 is a $g$-fan of some finite dimensional algebra. Our proof is based on three fundamental results, Gluing Theorem, Rotation Theorem and Subdivision Theorem, which realize basic operations on fans in the level of finite dimensional algebras. For each of 16 convex sign-coherent fans $Σ$ of rank 2, our second main result gives a characterization of algebras $A$ of rank 2 satisfying $Σ(A)=Σ$. As a by-product of our method, we prove that for each positive integer $N$, there exists a finite dimensional algebra $A$ of rank 2 such that the Hasse quiver of the poset of 2-term silting complexes of $A$ has precisely $N$ connected components.

For a finite dimensional algebra $A$, the notion of $g$-fan $Σ(A)$ is defined from two-term silting complexes of $A$ in the real Grothendieck group $K_0(\mathsf{proj} A)_{\mathbb{R}}$. In this paper, we discuss the theory of shards to $Σ(A)$, which was originally defined for a hyperplane arrangement. We establish a correspondence between the set of join-irreducible elements of the poset of torsion classes of $\mathrm{mod} A$ and the set of shards of $Σ(A)$ for $g$-finite algebra $A$. Moreover, we show that the semistable region of a brick of $\mathrm{mod} A$ is exactly given by a shard. We also give a poset isomorphism of shard intersections and wide subcategories of $\mathrm{mod} A$.

For a finite dimensional algebra $A$ over a field $k$, the 2-term silting complexes of $A$ gives a simplicial complex $Δ(A)$ called the $g$-simplicial complex. We give tilting theoretic interpretations of the $h$-vectors and Dehn-Sommerville equations of $Δ(A)$. Using $g$-vectors of 2-term silting complexes, $Δ(A)$ gives a nonsingular fan $Σ(A)$ in the real Grothendieck group $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-fan. We give several basic properties of $Σ(A)$ including sign-coherence, sign decomposition, idempotent reductions, Jasso reductions, pairwise positivity and a connection with Newton polytopes of $A$-modules. Moreover, $Σ(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$.

We prove a ``positive'' Jantzen sum formula for the Specht modules of the cyclotomic Hecke algebras of type~$A$. That is, in the Grothendieck group, we show that the sum of the pieces of the Jantzen filtration is equal to an explicit non-negative linear combination of modules $E^ν_{f,e}$, which are modular reductions of simple modules for closely connected Hecke algebras in characteristic zero. The coefficient of $E^ν_{f,e}$ in the sum formula is determined by the graded decomposition numbers in characteristic zero, which are known, and the characteristic of the field. As a consequence we see that the decomposition numbers of a cyclotomic Hecke algebra at an $e$th root of unity in characteristic $p$ depend on the decomposition numbers of related cyclotomic Hecke algebras at $ep^r$th roots of unity in characteristic zero, for $r\ge0$.

We associate to a sufficiently generic oriented matroid program and choice of linear system of parameters a finite dimensional algebra, whose representation theory is analogous to blocks of Bernstein--Gelfand--Gelfand category $\mathcal O$. When the data above comes from a generic linear program for a hyperplane arrangement, we recover the algebra defined by Braden--Licata--Proudfoot--Webster. Applying our construction to nonlinear oriented matroid programs provides a large new class of algebras. For Euclidean oriented matroid programs, the resulting algebras are quasi-hereditary and Koszul, as in the linear setting. In the non-Euclidean case, we obtain algebras that are not quasi-hereditary and not known to be Koszul, but still have a natural class of standard modules and satisfy numerical analogues of quasi-heredity and Koszulity on the level of graded Grothendieck groups.

We investigate polytopes inscribed into a sphere that are normally equivalent (or strongly isomorphic) to a given polytope $P$. We show that the associated space of polytopes, called the inscribed cone of $P$, is closed under Minkowski addition. Inscribed cones are interpreted as type cones of ideal hyperbolic polytopes and as deformation spaces of Delaunay subdivisions. In particular, testing if there is an inscribed polytope normally equivalent to $P$ is polynomial time solvable. Normal equivalence is decided on the level of normal fans and we study the structure of inscribed cones for various classes of polytopes and fans, including simple, simplicial, and even. We classify (virtually) inscribable fans in dimension $2$ as well as inscribable permutahedra and nestohedra. A second goal of the paper is to introduce inscribed virtual polytopes. Polytopes with a fixed normal fan $\mathcal{N}$ form a monoid with respect to Minkowski addition and the associated Grothendieck group is called the type space of $\mathcal{N}$. Elements of the type space correspond to formal Minkowski differences and are naturally equipped with vertices and hence with a notion of inscribability. We show that inscribed virtual polytopes form a subgroup, which can be non-trivial even if $\mathcal{N}$ does not have actual inscribed polytopes. We relate inscribed virtual polytopes to routed particle trajectories, that is, piecewise-linear trajectories of particles in a ball with restricted directions. The state spaces gives rise to connected groupoids generated by reflections, called reflection groupoids. The endomorphism groups of reflection groupoids can be thought of as discrete holonomy groups of the trajectories and we determine when they are reflection groups.

We investigate the Jordan-Hölder property (JHP) in exact categories. First, we show that (JHP) holds in an exact category if and only if the Grothendieck monoid introduced by Berenstein and Greenstein is free. Moreover, we give a criterion for this which only uses the Grothendieck group and the number of simple objects. Next, we apply these results to the representation theory of artin algebras. For a large class of exact categories including functorially finite torsion(-free) classes, (JHP) holds precisely when the number of indecomposable projectives is equal to that of simples. We study torsion-free classes in a quiver of type A in detail using the combinatorics of symmetric groups. We introduce Bruhat inversions of permutations and show that simples in a torsion-free class are in bijection with Bruhat inversions of the corresponding $c$-sortable element. We use this to give a combinatorial criterion for (JHP).

We show that the mesh mutations are the minimal relations among the $\boldsymbol{g}$-vectors with respect to any initial seed in any finite type cluster algebra. We then use this algebraic result to derive geometric properties of the $\boldsymbol{g}$-vector fan: we show that the space of all its polytopal realizations is a simplicial cone, and we then observe that this property implies that all its realizations can be described as the intersection of a high dimensional positive orthant with well-chosen affine spaces. This sheds a new light on and extends earlier results of N. Arkani-Hamed, Y. Bai, S. He, and G. Yan in type $A$ and of V. Bazier-Matte, G. Douville, K. Mousavand, H. Thomas and E. Yildirim for acyclic initial seeds. Moreover, we use a similar approach to study the space of polytopal realizations of the $\boldsymbol{g}$-vector fans of another generalization of the associahedron: non-kissing complexes (a.k.a. support $τ$-tilting complexes) of gentle algebras. We show that the space of realizations of the non-kissing fan is simplicial when the gentle bound quiver is brick and $2$-acyclic, and we describe in this case its facet-defining inequalities in terms of mesh mutations. Along the way, we prove algebraic results on $2$-Calabi-Yau triangulated categories, and on extriangulated categories that are of independent interest. In particular, we prove, in those two setups, an analogue of a result of M. Auslander on minimal relations for Grothendieck groups of module categories.

We provide a homological algebraic realization of the lattices of integer cuts and integer flows of graphs. To a finite 2-edge-connected graph $Γ$ with a spanning tree $T$, we associate a finite dimensional Koszul algebra $A_{Γ,T}$. Under the construction, planar dual graphs with dual spanning trees are associated Koszul dual algebras. The Grothendieck group of the category of finitely-generated $A_{Γ,T}$ modules is isomorphic to the Euclidean lattice $\mathbb Z^{E(Γ)}$, and we describe the sublattices of integer cuts and integer flows on $Γ$ in terms of the representation theory of $A_{Γ,T}$. The grading on $A_{Γ,T}$ gives rise to $q$-analogs of the lattices of integer cuts and flows; these $q$-lattices depend non-trivially on the choice of spanning tree. We give a $q$-analog of the matrix-tree theorem, and prove that the $q$-flow lattice of $(Γ_1,T_1)$ is isomorphic to the $q$-flow lattice of $(Γ_2,T_2)$ if and only if there is a cycle preserving bijection from the edges of $Γ_1$ to the edges of $Γ_2$ taking the spanning tree $T_1$ to the spanning tree $T_2$. This gives a $q$-analog of a classical theorem of Caporaso-Viviani and Su-Wagner.

We study the representation theory of the increasing monoid. Our results provide a fairly comprehensive picture of the representation category: for example, we describe the Grothendieck group (including the effective cone), classify injective objects, establish properties of injective and projective resolutions, construct a derived auto-duality, and so on. Our work is motivated by numerous connections of this theory to other areas, such as representation stability, commutative algebra, simplicial theory, and shuffle algebras.

Let $G:=\widehat{SL_2}$ denote the affine Kac-Moody group associated to $SL_2$ and $\bar{\mathcal{X}}$ the associated affine Grassmannian. We determine an inductive formula for the Schubert basis structure constants in the torus-equivariant Grothendieck group of $\bar{\mathcal{X}}$. In the case of ordinary (non-equivariant) $K$-theory we find an explicit closed form for the structure constants. We also determine an inductive formula for the structure constants in the torus-equivariant cohomology ring, and use this formula to find closed forms for some of the structure constants.