Definition, existence, and conjugate properties of Jacobian algebras

Introduction

Jacobian algebras, introduced by Michel Kontsevich and Maxim Losev in the 1990s, are a fundamental object in algebraic geometry and representation theory. They arise naturally in the study of moduli spaces of curves and the deformation theory of smooth projective varieties. A Jacobian algebra is defined as a quotient of the tensor algebra of a vector space by a certain ideal, specifically the ideal generated by the exterior derivatives of a set of functions on a smooth projective variety. These algebras encode crucial information about the geometry of the variety, including its singularities and the behavior of its cohomology.

Definition of Jacobian Algebras

A Jacobian algebra is a finite-dimensional associative algebra over a field $ \mathbb{C} $, typically constructed as follows. Given a smooth projective variety $ X $ of dimension $ n $, let $ \Omega^1_X $ denote the sheaf of differential 1-forms on $ X $. The Jacobian algebra $ \mathcal{J}(X) $ is defined as the quotient of the tensor algebra $ T(\Omega^1_X) $ by the ideal generated by the exterior derivatives of a basis of $ \Omega^1_X $. Specifically, if $ \omega_1, \omega_2, \dots, \omega_m $ is a basis for $ \Omega^1_X $, then $ \mathcal{J}(X) = T(\Omega^1_X) / (d\omega_i \mid i = 1, \dots, m) $, where $ d $ denotes the exterior derivative.

This construction ensures that $ \mathcal{J}(X) $ is a graded algebra, with the grading induced by the degree of the differential forms. The Jacobian algebra is particularly significant for its connection to the deformation theory of $ X $, as it captures the local symmetries of the variety. Additionally, the Jacobian algebra is often associated with the singularities of $ X $, as its structure reflects the behavior of the variety near its singular points.

Existence of Jacobian Algebras

The existence of Jacobian algebras is guaranteed for smooth projective varieties of dimension $ n \geq 2 $, provided that the variety is non-singular. For a smooth projective variety $ X $, the Jacobian algebra $ \mathcal{J}(X) $ is a finite-dimensional associative algebra over $ \mathbb{C} $, and its structure is deeply tied to the geometry of $ X $. In particular, when $ X $ is a smooth projective curve of genus $ g $, the Jacobian algebra is isomorphic to the algebra of differential forms on the curve, which is a well-studied object in algebraic geometry.

For higher-dimensional varieties, the existence of Jacobian algebras is more nuanced. The Jacobian algebra of a smooth projective variety is always finite-dimensional, and its graded structure is determined by the cohomology of the variety. However, the specific form of the Jacobian algebra depends on the choice of basis for $ \Omega^1_X $. For example, in the case of a smooth projective surface, the Jacobian algebra is isomorphic to the algebra of differential forms on the surface, which is a central object in the study of surface theory.

The existence of Jacobian algebras is also closely tied to the concept of the "Jacobian ideal," which is the ideal generated by the exterior derivatives of the basis elements of $ \Omega^1_X $. This ideal is essential in defining the Jacobian algebra and is directly related to the singularities of $ X $. For varieties with trivial singularities, the Jacobian algebra is particularly well-behaved, and its structure can be analyzed using techniques from homological algebra.

Conjugate Properties of Jacobian Algebras

The conjugate properties of Jacobian algebras are a key aspect of their structure, particularly in the context of dual modules and the behavior of their homological properties. A crucial observation is that the Jacobian algebra is often isomorphic to its dual, a property that reflects the symmetry of the underlying variety. This duality is particularly evident in the case of smooth projective curves, where the Jacobian algebra is isomorphic to the algebra of differential forms on the curve, and its dual is the algebra of differential forms on the dual curve.

In general, the dual of a Jacobian algebra is a graded algebra that is isomorphic to the original algebra if and only if the original algebra is self-dual. This property is closely related to the concept of the "dual module" of the Jacobian algebra, which is the module of differential forms on the dual variety. The dual module plays a central role in the study of the cohomology of the variety and its relationship to the Jacobian algebra.

Another important property of Jacobian algebras is their connection to the derived category of coherent sheaves on the variety. The Jacobian algebra is often used as a tool to study the derived category, particularly in the context of the so-called "derived Jacobian variety." The conjugate properties of these algebras are essential in understanding their role in the study of derived categories and their connections to other areas of mathematics, such as mirror symmetry and derived algebraic geometry.

Conclusion

The study of Jacobian algebras provides a powerful framework for understanding the geometry and topology of smooth projective