[Paper Review] On Jacobian algebras from closed surfaces

Sefi Ladkani|arXiv (Cornell University)|Jul 16, 2012

Algebraic structures and combinatorial models10 references25 citations

TL;DR

This paper resolves long-standing conjectures about Jacobian algebras from ideal triangulations of closed surfaces with empty boundary. It proves that for any such surface except the 4-punctured sphere, the associated quiver with potential is non-rigid and its completed Jacobian algebra is finite-dimensional and symmetric; for the 4-punctured sphere, the result holds if the product of scalar weights is not 1. The work establishes a Hom-finite 2-Calabi-Yau cluster category for all such surfaces.

ABSTRACT

We show that the quivers with potentials associated to ideal triangulations of marked surfaces with empty boundary are not rigid, and their completed Jacobian algebras are finite-dimensional and symmetric.

Motivation & Objective

• To resolve the open question of whether Jacobian algebras from ideal triangulations of closed surfaces (with empty boundary) are finite-dimensional and symmetric.
• To prove that the quiver with potential associated to such triangulations is not rigid, confirming a long-standing conjecture.
• To construct a Hom-finite 2-Calabi-Yau cluster category for any marked surface with empty boundary, extending known results from surfaces with boundary.
• To provide explicit combinatorial and algebraic invariants—such as Cartan matrices and centers—for these Jacobian algebras.

Proposed method

• Use of mutation invariance: since rigidity and finite-dimensionality are preserved under mutation, it suffices to analyze a single 'nice' triangulation per surface.
• Development of a combinatorial model for quivers with potentials from triangulations where each puncture has at least three incident arcs.
• Introduction of two key combinatorial conditions (⋆) and (⋄) on the quiver, which allow control over the relations in the Jacobian algebra.
• Explicit computation of relations in the Jacobian algebra under these conditions, using the combinatorial model to derive algebraic constraints.
• Proof that the potential is non-rigid and the Jacobian algebra is finite-dimensional and symmetric under the (⋆) or (⋄) conditions.
• Establishment of derived equivalence among all Jacobian algebras from triangulations of a fixed surface, enabling extension of results beyond the special triangulations.

Experimental results

Research questions

• RQ1 Is the Jacobian algebra of a quiver with potential associated to an ideal triangulation of a closed surface with empty boundary finite-dimensional?
• RQ2 Is the potential associated to such a triangulation rigid, or does it admit non-trivial deformations?
• RQ3 Under what conditions on the scalar weights at punctures is the Jacobian algebra symmetric and finite-dimensional?
• RQ4 Can a Hom-finite 2-Calabi-Yau cluster category be constructed for any marked surface with empty boundary?
• RQ5 What are the algebraic invariants—such as the Cartan matrix and center—of these Jacobian algebras?

Key findings

• For any marked surface with empty boundary and not a 4-punctured sphere, the Jacobian algebra is finite-dimensional and symmetric, and the potential is non-rigid, regardless of scalar weights.
• For the 4-punctured sphere, the same conclusions hold if the product of scalar weights at punctures is not equal to 1.
• The Jacobian algebra has a Cartan matrix whose rank is bounded by the number of punctures and whose determinant always vanishes.
• The center of the Jacobian algebra is isomorphic to a polynomial ring in as many variables as arcs in the triangulation, modulo the ideal generated by all monomials of degree 2.
• All Jacobian algebras arising from ideal triangulations of a fixed surface are derived equivalent, enabling generalization of results beyond special triangulations.
• The construction yields infinitely many new families of symmetric, finite-dimensional Jacobian algebras, and a Hom-finite 2-Calabi-Yau cluster category for each such surface.