This paper is devoted to the study of the relationship between the fundamental algebraic, analytic, and topological invariants of Artinian local algebras. Among other things, it is shown that the length of the modules of derivations and Kähler differentials of every local Artinian Gorenstein algebra is not greater than the length of the algebra reduced by one. The proof relies on the theory of duality in the cotangent complex of analytic algebras, the basic properties of faithful modules over Artinian rings, and the structure of annihilators and socles of the modules of derivations and Kähler differentials. As a result, it turns out that the Tyurina number of a smoothable zero-dimensional Gorenstein singularity cannot be less than its Milnor number, so the inequality τ ≥ μ holds.
A. Aleksandrov (Wed,) studied this question.