Jacobian Algebra Overview

• Jacobian algebra is a noncommutative algebra defined from quivers with potential or singularity theory, encoding cyclic derivatives and mutation invariants.
• It underpins classification in representation theory, facilitating mutation theory and the study of self-injective, 2-representation-finite structures.
• It connects algebraic frameworks to applications in homological mirror symmetry and Floer theory, linking quantum cohomology with categorical invariants.

A Jacobian algebra is a noncommutative algebra defined from a quiver with potential, or from the partial derivatives of a function in the context of singularity theory and Landau–Ginzburg models. Jacobian algebras play a pivotal role in representation theory, cluster algebras, mirror symmetry, and the algebraic study of singularities. Their structure encodes mutations, self-injectivity, module varieties, and categorical invariants essential for understanding cluster tilting, 2-Calabi–Yau categories, and the interplay between geometry and algebra in singularity and quantum cohomology contexts.

1. Definition and Fundamental Constructions

For a finite quiver $Q=(Q_0,Q_1)$ and a potential $W$, defined as an element of the completed path algebra modulo commutators, the Jacobian algebra $\mathcal{J}(Q,W)$ is constructed as

$$\mathcal{J}(Q,W) = \widehat{KQ}\,\Big/\overline{\langle \partial_\alpha W \mid \alpha \in Q_1 \rangle}$$

where $\partial_\alpha W$ is the cyclic derivative with respect to the arrow $\alpha$. This construction generalizes to more geometric settings, where for a polynomial $f(x_1,\dots,x_n)$ with an isolated critical point, one associates the Jacobian algebra

$\Jac(f) = \mathbb{C}[x_1,\dots,x_n]/(\partial_{x_1}f,\dots,\partial_{x_n}f)$

which is a finite-dimensional algebra if $f$ is nondegenerate (Basalaev et al., 2016, Lee, 2021). The orbifold generalization involves group actions, yielding twisted or orbifold Jacobian algebras that reflect equivariant structures (Basalaev et al., 2016, Lee, 2021, Basalaev et al., 2017, Cho et al., 2020).

2. Quivers with Potential and Mutation Theory

Jacobian algebras are intrinsically tied to quivers with potential (QPs), providing algebraic invariants for mutation–finite classes. Mutation of QPs—formalized by Derksen–Weyman–Zelevinsky—induces mutations in the associated Jacobian algebra, preserving non-degeneracy and facilitating categorical equivalences in $2$-Calabi–Yau cluster settings (Geiss et al., 2013, Haerizadeh et al., 6 Jul 2025).

Mutation-invariance of critical invariants such as $E$–finiteness, $g$–finiteness, and representation–tameness has been established, with equivalences between these notions for Jacobi–finite, non-degenerate Jacobian algebras precisely when the quiver is of finite mutation type (Haerizadeh et al., 6 Jul 2025). In particular, the preservation of these properties under mutation is essential for the classification of representation-finite and tame Jacobian algebras.

3. Self-Injective and 2-Representation-Finite Jacobian Algebras

Self-injective Jacobian algebras emerge from quivers with potential endowed with symmetries. In the case of Postnikov diagrams, the algebra $\Lambda(D)$ constructed from a symmetric diagram in a disk is self-injective if and only if the diagram is invariant under rotation by $2\pi k/n$, where $k$ and $n$ parameterize the construction (Pasquali, 2017).

For such symmetric cases, $(Q,W)$ has no loops or $2$-cycles, and the Nakayama permutation and automorphism are induced by rotational symmetry. Truncation by cuts in these self-injective QPs, following the Herschend–Iyama framework, results in truncated Jacobian algebras $\Lambda(C)$ that are $2$-representation-finite, with global dimension $\leq 2$ and admitting cluster tilting modules. All $2$-representation-finite algebras arise in this way, and mutations correspond to $2$-APR tilts, preserving derived categories (Pasquali, 2017).

4. Representation Theory, Finiteness, and Canonical Bases

Finiteness and tameness of Jacobian algebras are classified combinatorially and categorically. For cluster-tilted or tubular settings, the endomorphism algebra of any cluster-tilting object in a tubular cluster category is a Jacobi–finite algebra, tame of polynomial growth, and its family is classified into four tubular mutation classes (Geiss et al., 2013).

A finite-dimensional Jacobian algebra $\mathcal{J}(Q, W)$ is representation-finite, $g$-finite, and $E$-finite if and only if $Q$ is of Dynkin type. The $g$-fan of the cluster algebra associated to $Q$ is complete precisely in the Dynkin case; conversely, completeness of the $g$-fan implies Dykin type (Haerizadeh et al., 6 Jul 2025). For surfaces, laminations correspond to cones in the $g$-fan, and $E$-finite cases are exactly those with no nontrivial loops, i.e., disks with at most one puncture.

5. Connections to Cluster Algebras and Singularities

In cluster algebra theory, the module varieties of Jacobian algebras provide geometric coefficients matching Reading’s universal coefficients. The strongly reduced components in module varieties coincide with cluster data, and generic $g$-vectors of indecomposable strongly reduced components correspond to universal geometric coefficients of associated cluster algebras (Ricke, 2014).

Jacobian algebras constructed from singularity theory encode Milnor rings, residue pairings, and Frobenius algebra structures. The orbifold Jacobian algebra, as constructed axiomatically for invertible polynomials, refines the classical Jacobian by keeping track of twisted sectors and $\mathbb{Z}/2$-grading, and coincides with the algebraic invariants arising in homological mirror symmetry and Floer theory (Basalaev et al., 2016, Basalaev et al., 2017, Cho et al., 2020). The mirror correspondence between classical and orbifold Jacobian algebras is realized algebraically for exceptional unimodal singularities (Basalaev et al., 2017).

6. Applications in Homological Mirror Symmetry and Floer Theory

The Jacobian algebra of a Landau–Ginzburg potential $W$ appears as the cohomology of a Koszul complex in Lagrangian Floer theory. The closed–open (Kodaira–Spencer) map realizes a ring isomorphism between quantum cohomology of a symplectic manifold and the Jacobian algebra of its mirror LG model (Cho et al., 2020, Lee, 2021). Equivariant versions relate the orbifold Jacobian algebra $\Jac(W,H)$ to matrix factorization categories and wrapped Floer cohomology in orbifold LG mirrors. Explicit computations for toric cases, such as the 2-torus and Fermat cubic with $\mathbb{Z}/3$ action, confirm the isomorphism and sector decomposition, providing a direct algebraic realization of closed-string mirror symmetry (Cho et al., 2020, Lee, 2021).

7. Jacobian Algebras in Matrix Theory and Singular Transformations

In multivariate analysis and random matrix theory, the term "Jacobian" refers to the Jacobian determinant or density of matrix-valued transformations, especially for singular or structured matrices over division algebras (real, complex, quaternionic, octonionic). Unified formulas for Jacobians of singular matrix transformations with respect to the Hausdorff measure are available, streamlined via the $\beta$–parameter corresponding to underlying division algebra and encoding invariant densities, volume elements, and transformation properties across algebraic settings (Diaz-Garcia et al., 2012).

Context	Construction	Key Invariants & Properties
Quiver–potential	Path algebra quotient	Cyclic derivatives, mutations, self-injectivity (symmetry), 2-rep-finite cuts
Singularity theory	Polynomial quotient	Milnor number, residue pairing, Frobenius algebra, orbifold sectors
Matrix theory	Transformation Jacobian	SVD/QR/Hermitian decompositions, measure, $\beta$-invariance

The theory of Jacobian algebras thus constitutes a nexus among representation theory, singularity theory, cluster algebras, and algebraic geometry, providing the algebraic infrastructure for modeling mutations, symmetries, categorical tilting, and mirror phenomena in contemporary mathematics.