progress history: v1: preliminary version; v2: two applications added to the preliminary version; updated references, intro and fixed typos; acknowledgment added; v3: application to no-gap problem added; v4: the applications to graphs and linear algebra added; v5: application to the classification of thin modules over any finite dimensional algebra added
We provide a unified approach, via deformations of incidence algebras, to several important types of representations with finiteness conditions, as well as the combinatorial algebras which produce them. We show that over finite dimensional algebras, representations with finitely many orbits, or finitely many invariant subspaces, or distributive coincide, and further coincide with thin modules in the acyclic case. Incidence algebras produce examples of such modules, and we show that algebras which are locally hereditary, and whose projective are distributive, or equivalently, which have finitely many ideals, are precisely the deformations of incidence algebras, and they are the finite dimensional algebra analogue of Pr${\rm \ddot{u}}$fer rings. New characterizations of incidence algebras are obtained, such as they are exactly algebras which have a faithful thin module. A main consequence is that "every thin module comes from an incidence algebra": if $V$ is either a thin module over a finite dimensional algebra $A$, or $V$ is distributive and $A$ is acyclic, then $A/{\rm ann}(V)$ is an incidence algebra and $V$ can be presented as its defining representation. We classify thin/distributive modules, and respectively deformations, of incidence algebras in terms of first and second cohomology of the simplicial realization of the poset. As a main application we obtain a complete classification of thin modules over any finite dimensional algebra. Their moduli spaces are multilinear varieties, and we show that any multilinear variety can be obtained in this way. A few other applications, to Grothendieck rings of combinatorial algebras, to graphs and their incidence matrices, to linear algebra (tori actions on matrices), and to a positive answer to the "no-gap conjecture" of Ringel and Bongartz, in the distributive case, are given. Other results in the literature are re-derived.
We give a full description of all the canonical algebras over an algebraically closed field that are derived equivalent to incidence algebras of finite posets. These are the canonical algebras whose number of weights is either 2 or 3.
We give a direct straightforward proof that there is an isomorphism between the algebra of the Catalan monoid C_n that is, the monoid of all order-preserving, weakly increasing self-maps f of [n] = {1,...,n}, over any commutative ring with identity and the incidence algebra of a certain poset over the ring.
Given a projetive surface $S$, using correspondences, we construct an infinite dimensional Lie algebra that acts on the direct sum $\Wfock$ of the cohomology groups of the incidence Hilbert schemes $S^{[n,n+1]}$ over all $n$. The algebra is related to an extension of an infinite dimensional Heisenberg algebra. The space $\Wfock$ is a highest weight representation of this algebra. Our result provides a representation-theoretic interpretation of Cheah's generating function of Betti numbers of the incidence Hilbert schemes. As a consequence, an additive basis of the cohomology group of the incide…
Let $KΔ$ be the incidence algebra associated with a finite poset $(Δ,\preceq)$ over the algebraically closed field $K$. We present a study of incidence algebras $KΔ$ that are piecewise hereditary, which we denominate PHI algebras. We investigate the strong global dimension, the simply conectedeness and the one-point extension algebras over a PHI algebras. We also give a positive answer to the so-called Skowroński problem for $KΔ$ a PHI algebra which is not of wild quiver type. That is for this kind of algebra we show that $HH^1(KΔ)$ is trivial if, and only if, $KΔ$ is a simply connected algebr…
The incidence category $\C_{\F}$ of a family $\F$ of colored posets closed under disjoint unions and the operation of taking convex sub-posets was introduced by the author in \cite{Sz}, where the Ringel-Hall algebra $\H_{\F}$ of $\C_{\F}$ was also defined. We show that if the Hasse diagrams underlying $\F$ are rooted trees, then the subspace $\n_{\F}$ of primitive elements of $\H_{\F}$ carries a pre-Lie structure, defined over $\mathbb{Z}$, and with positive structure constants. We give several examples of $\n_{\F}$, including the nilpotent subalgebras of $\mathfrak{sl}_n$, $L \mathfrak{gl}_n$…
Let $S$ be the affine plane $\C^2$ together with an appropriate $\mathbb T = \C^*$ action. Let $\hil{m,m+1}$ be the incidence Hilbert scheme. Parallel to \cite{LQ}, we construct an infinite dimensional Lie algebra that acts on the direct sum $$\Wft = \bigoplus_{m=0}^{+\infty}H^{2(m+1)}_{\mathbb T}(S^{[m,m+1]})$$ of the middle-degree equivariant cohomology group of $\hil{m,m+1}$. The algebra is related to the loop algebra of an infinite dimensional Heisenberg algebra. In addition, we study the transformations among three different linear bases of $\Wft$. Our results are applied to the ring stru…
We prove some injectivity results: that a Coxeter monoid $\mathbb{Z}$-algebra (or $0$-Hecke algebra) injects in the incidence $\mathbb{Z}$-algebra of the corresponding Bruhat poset, for any Coxeter group; that the Hecke algebra of a right-angled Coxeter group injects in the Coxeter monoid $\mathbb{Z}[q,q^{-1}]$-algebra (and then in the incidence $\mathbb{Z}[q,q^{-1}]$-algebra of the corresponding Bruhat poset); that a right-angled Artin group injects in the group of invertible elements of the Hecke algebra of the corresponding Coxeter group (and then in the group of invertible elements of a Co…
Let $L$ denote a finite lattice with at least two points and let $A$ denote the incidence algebra of $L$. We prove that $L$ is distributive if and only if $A$ is an Auslander regular ring, which gives a homological characterisation of distributive lattices. In this case, $A$ has an explicit minimal injective coresolution, whose $i$-th term is given by the elements of $L$ covered by precisely $i$ elements. We give a combinatorial formula of the Bass numbers of $A$. We apply our results to show that the order dimension of a distributive lattice $L$ coincides with the global dimension of the inci…
We study the polyhedral geometry of the hyperplanes orthogonal to the weights of the first and the second fundamental representations of $sl_n$ inside the dual fundamental Weyl chamber. We obtain generating functions that enumerate the flats and the faces of a fixed dimension. In addition, we describe the extreme rays of the incidence geometry and classify simplicial faces. From the perspective of supersymmetric gauge theories with 8 supercharges in five dimensional spacetime, the poset of flats is isomorphic to the network of mixed Coulomb-Higgs branches. On the other hand, the poset of faces…
We present a study on the description of incidence algebras that are piecewise hereditary, which we denominate Phia algebras. We describe the quiver with relations of the Phia algebras of Dynkin type and introduce a new family of Phia algebras of extended Dynkin type, which we call ANS family, in reference to Assem, Nehring, and Skowroński. In this description, the important method was the one of cutting sets on trivial extensions, inspired by this we made of a computer program which shows exactly the cutting sets on the given trivial extension that result on incidence algebras.
We study the central hyperplane arrangement whose hyperplanes are the vanishing loci of the weights of the first and the second fundamental representations of $\mathfrak{gl}_n$ restricted to the dual fundamental Weyl chamber. We obtain generating functions that count flats and faces of a given dimension. This counting is interpreted in physics as the enumeration of the phases of the Coulomb and mixed Coulomb-Higgs branches of a five dimensional gauge theory with 8 supercharges in presence of hypermultiplets transforming in the fundamental and antisymmetric representation of a U(n) gauge group …
In this paper we investigate the incidence algebras arising from one-branch extensions of "rectangles". There are four different ways to form such extensions, and all four kinds of incidence algebras turn out to be derived equivalent. We provide realizations for all of them by tilting complexes in a Nakayama algebra. As an application, we obtain the explicit formulas of the Coxeter polynomials for a half of Nakayama algebras (i.e., the Nakayama algebras $N(n,r)$ with $2r\geq n+2$). Meanwhile, an unexpected derived equivalence between Nakayama algebras $N(2r-1,r)$ and $N(2r-1,r+1)$ has been fou…
This paper explores the possible use of Schubert cells and Schubert varieties in finite geometry, particularly in regard to the question of whether these objects might be a source of understanding of ovoids or provide new examples. The main result provides a characterization of those Schubert cells for finite Chevalley groups which have the first property (thinness) of ovoids. More importantly, perhaps this short paper can help to bridge the modern language barrier between finite geometry and representation theory. For this purpose, this paper includes very brief surveys of the powerful lattic…
We discuss when the incidence coalgebra of a locally finite preordered set is right co-Frobenius. As a consequence, we obtain that a structural matrix algebra over a field $k$ is Frobenius if and only if it consists, up to a permutation of rows and columns, of diagonal blocks which are full matrix algebras over $k$.
We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence correspondence (the partial flag variety parametrizing pairs consisting of a point in projective space and a hyperplane containing it). Additionally, the package provides tools for (1) computing the multiplication in the graded Han-Monsky representation ring, (2) determining the splitting type of vector bundles of principal parts on the projective line, and (3) tes…
EI categories can be thought of as amalgams of finite posets and finite groups and therefore the associated algebras are built up from incidence algebras and group algebras of finite groups. For this particular class of algebras we present a construction of an upper bound for the finitistic dimension which is due to Lueck.
