On Tjurina Ideals of Hypersurface Singularities

TL;DR

This paper introduces new properties called T-fullness and T-dependence for ideals in holomorphic function germs, providing criteria to determine when an ideal can be realized as a Tjurina ideal of some hypersurface singularity.

Contribution

It defines T-fullness and T-dependence, offering necessary and sufficient conditions for an ideal to be a Tjurina ideal, advancing understanding of hypersurface singularities.

Findings

Defined T-fullness and T-dependence properties.

Established criteria for an ideal to be a Tjurina ideal.

Provided verifiable conditions for solving I = T(f).

Abstract

The Tjurina ideal of a germ of an holomorphic function $f$ is the ideal of $\mathscr{O}_{\mathbbm{C}^n,0}$ - the ring of those germs at $0\in\mathbbm{C}^n$ - generated by $f$ itself and by its partial derivatives. Here it is denoted by $T(f)$. The ideal $T(f)$ gives the structure of closed subscheme of $(\mathbbm{C}^n,0)$ to the hypersurface singularity defined by $f$, being an object of central interest in Singularity Theory. In this note we introduce \emph{$T$-fullness} and \emph{$T$-dependence}, two easily verifiable properties for arbitrary ideals of germs of holomorphic functions. These two properties allow us to give necessary and sufficient conditions on an ideal $I\subset \mathscr{O}_{\mathbbm{C}^n,0}$, for the equation $I=T(f)$ to admit a solution $f$.