Ice quivers with potential arising from once-punctured polygons and Cohen-Macaulay modules

Given a tagged triangulation of a once-punctured polygon $P^*$ with $n$ vertices, we associate an ice quiver with potential such that the frozen part of the associated frozen Jacobian algebra has the structure of a Gorenstein $K[X]$-order $\Lambda$. Then we show that the stable category of the category of Cohen-Macaulay $\Lambda$-modules is equivalent to the cluster category $\mathcal{C}$ of type $D_n$. It gives a natural interpretation of the usual indexation of cluster tilting objects of $\mathcal{C}$ by tagged triangulations of $P^*$. Moreover, it extends naturally the triangulated categorification by $\mathcal{C}$ of the cluster algebra of type $D_n$ to an exact categorification by adding coefficients corresponding to the sides of $P$. Finally, we lift the previous equivalence of categories to an equivalence between the stable category of graded Cohen-Macaulay $\Lambda$-modules and the bounded derived category of modules over a path algebra of type $D_n$.Comment: 50 pages. Several improvements after refereeing. arXiv admin note: text overlap with arXiv:1307.067

A survey on maximal green sequences

Maximal green sequences appear in the study of Fomin-Zelevinsky's cluster algebras. They are useful for computing refined Donaldson-Thomas invariants, constructing twist automorphisms and proving the existence of theta bases and generic bases. We survey recent progress on their existence and properties and give a representation-theoretic proof of Greg Muller's theorem stating that full subquivers inherit maximal green sequences. In the appendix, Laurent Demonet describes maximal chains of torsion classes in terms of bricks generalizing a theorem by Igusa.Comment: 15 pages, submitted to the proceedings of the ICRA 18, Prague, comments welcome; v2: misquotation in section 6 corrected; v3: minor changes, final version; v4: reference to Jiarui Fei's work added, post-final version; v4: formulation of Remark 4.3 corrected; v5: misquotation of Hermes-Igusa's 2019 paper corrected; v5: reference to Kim-Yamazaki's paper adde

τ\tau-tilting finite algebras, bricks and gg-vectors

The class of support $\tau$-tilting modules was introduced to provide a completion of the class of tilting modules from the point of view of mutations. In this article we study $\tau$-tilting finite algebras, i.e. finite dimensional algebras $A$ with finitely many isomorphism classes of indecomposable $\tau$-rigid modules. We show that $A$ is $\tau$-tilting finite if and only if very torsion class in $\mod A$ is functorially finite. We observe that cones generated by $g$-vectors of indecomposable direct summands of each support $\tau$-tilting module form a simplicial complex $\Delta(A)$. We show that if $A$ is $\tau$-tilting finite, then $\Delta(A)$ is homeomorphic to an $(n-1)$-dimensional sphere, and moreover the partial order on support $\tau$-tilting modules can be recovered from the geometry of $\Delta(A)$. Finally we give a bijection between indecomposable $\tau$-rigid $A$-modules and bricks of $A$ satisfying a certain finiteness condition, which is automatic for $\tau$-tilting finite algebras.Comment: 29 pages. Changed title. Added Theorem 6.5 and Proposition 6.

Lattice theory of torsion classes

The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}} A$ is a complete lattice which enjoys very strong properties, as bialgebraicity and complete semidistributivity. Thus its Hasse quiver carries the important part of its structure, and we introduce the brick labelling of its Hasse quiver and use it to study lattice congruences of $\operatorname{\mathsf{tors}} A$. In particular, we give a representation-theoretical interpretation of the so-called forcing order, and we prove that $\operatorname{\mathsf{tors}} A$ is completely congruence uniform. When $I$ is a two-sided ideal of $A$, $\operatorname{\mathsf{tors}} (A/I)$ is a lattice quotient of $\operatorname{\mathsf{tors}} A$ which is called an algebraic quotient, and the corresponding lattice congruence is called an algebraic congruence. The second part of this paper consists in studying algebraic congruences. We characterize the arrows of the Hasse quiver of $\operatorname{\mathsf{tors}} A$ that are contracted by an algebraic congruence in terms of the brick labelling. In the third part, we study in detail the case of preprojective algebras $\Pi$, for which $\operatorname{\mathsf{tors}} \Pi$ is the Weyl group endowed with the weak order. In particular, we give a new, more representation theoretical proof of the isomorphism between $\operatorname{\mathsf{tors}} k Q$ and the Cambrian lattice when $Q$ is a Dynkin quiver. We also prove that, in type $A$, the algebraic quotients of $\operatorname{\mathsf{tors}} \Pi$ are exactly its Hasse-regular lattice quotients.Comment: 65 pages. Many improvements compared to the first version (in particular, more discussion about complete congruence uniform lattices

Les êtres de raison, ou les modes d'être de la littérature

International audienceEn recourant à l'outillage mental de l'époque, il est possible de reconstituer le classement des productions de l'esprit afin de déterminer quel est, à la fin du XVIe siècle, le statut des objets littéraires. On admettait que les verba ne sont pas directement en contact avec les res, mais dépendent des concepts. Les entia rationis de la métaphysique (les " êtres de raison " par opposition aux êtres réels) entretiennent des rapports complexes avec les concepts de la logique. Depuis Thomas d'Aquin et Duns Scot, ils concernent aussi le fonctionnement du langage et reviennent en force avec les philosophes ibériques, non sans de fortes réticences. Les logiciens qui les acceptent tentent de sélectionner les entia rationis ficta, mais " possibles ", qui ne sont pas contradictoires, en excluant les objets impossibles et les propositions hérétiques. D'autres --particulièrement en France--refusent toute fiction littéraire, considérée comme " caduque " (Philippe Canaye, Scipion Dupleix) jusqu'à ce que Port-Royal leur restitue une certaine neutralité