Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
We prove the Hassanzadeh-Nasrollah Nejad-Simis conjecture, establishing that for a polynomial $f$ with an isolated critical point over a field of characteristic zero, its Euler conductor $J_f:f$ is not contained in the Tjurina ideal $(J_f,f)$. This result is generalized to nilpotent elements in Noetherian $k$-algebras and further refined for local rings. The proof leverages the trace of a regular representation over dual numbers to detect a differential of a self-exact square-zero element, and we also provide a counterexample to an integral-closure strengthening of the conjecture.
The Tjurina ideal never contains the Euler conductor for isolated singularities over characteristic zero fields.
We prove the Hassanzadeh-Nasrollah Nejad-Simis conjecture: if $f\in (x_1,\ldots,x_n)^2\subsetneq k[[x_1,\ldots,x_n]]$ has an isolated critical point and $\operatorname{char}k=0$, then its Euler conductor $J_f:f$ is not contained in the Tjurina ideal $(J_f,f)$. More generally, if $A=R/I$ is a nonzero Noetherian $k$-algebra and $a=[f]\in A$ is nilpotent with $d_{A/k}a=0$, then $I:f\nsubseteq(I,f)$. For a local ring $(R,\mathfrak n)$ we obtain the stronger noncontainment $I:f\nsubseteq(I,f)+\mathfrak n(I:f)$. The proof reduces a hypothetical containment to a self-exact square-zero element and detects its differential by the trace of a regular representation over the dual numbers. Finally, an explicit five-variable isolated singularity satisfies $J_f:f\subseteq\overline{J_f}$, disproving the integral-closure strengthening proposed by Ma and Zuo.