---
title: Total Tjurina Number in Singular Curves
url: https://www.emergentmind.com/topics/total-tjurina-number
type: topic
---

# Total Tjurina Number in Singular Curves

The total Tjurina number is a central analytic invariant in the study of singularities of algebraic hypersurfaces, particularly complex plane curves. Defined globally as the sum of local Tjurina numbers at the singular points, it controls key deformation-theoretic, homological, and combinatorial properties of the curve. Its computation integrates local analytic, valuation-theoretic, and syzygy-theoretic information, and its extremal values classify important classes such as free, nearly free, and minimal-Tjurina curves.

## 1. Definition and Fundamental Properties

Given a reduced complex projective plane curve $C : f(x,y,z) = 0$ of degree $d$, the local Tjurina number at an isolated singularity $p \in \operatorname{Sing} C$ is defined as
\[
\tau_p(C) = \dim_\mathbb{C} \left( \mathcal{O}_{\mathbb{P}^2, p} / (f, \partial_x f, \partial_y f, \partial_z f)_p \right).
\]
The **total (global) Tjurina number** is then
\[
\tau(C) = \sum_{p \in \operatorname{Sing} C} \tau_p(C).
\]
Equivalently, $\tau(C)$ is the colength of the Jacobian ideal $\langle f_x, f_y, f_z \rangle$ in the homogeneous coordinate ring; it coincides with the degree of the singularity subscheme defined by the Jacobian ideal or with $\dim_{\mathbb{C}} M(f)_{k \gg 0}$, where $M(f) = S / J_f$ and $S = \mathbb{C}[x,y,z]$ [1508.04954][1901.05915][2601.08583].

For local isolated hypersurface singularities $f \in \mathbb{C}\{x_1, ..., x_n\}$, the local Tjurina number
\[
\tau_0(f) = \dim_\mathbb{C} \mathcal{O} / (f, J(f)), \quad J(f) = (\partial f/\partial x_1, ..., \partial f/\partial x_n)
\]
coincides with $\mu$ (Milnor number) precisely for quasihomogeneous singularities, and $0 \leq \tau < \mu$ in general [2409.09384].

The total Tjurina number is semicontinuous in families and provides the dimension of the tangent space to the base of the miniversal deformation.

## 2. Homological Interpretation and Syzygies

The computation and extremal values of $\tau(C)$ are intimately related to the syzygies among the Jacobian partials.

Let $AR(f) = \{ (a, b, c) \in S^3 : a f_x + b f_y + c f_z = 0 \}$ denote the module of Jacobian syzygies. Let $r = \operatorname{mdr}(f)$ be the minimal degree of a nontrivial syzygy. Then,
- **Free curves:** $AR(f) \cong S(-d_1) \oplus S(-d_2)$, $d_1 + d_2 = d-1$, and $\tau(C) = (d-1)^2 - d_1 d_2 = (d-1)(d-r-1) + r^2$ with $r = d_1$.
- **Nearly free curves:** $AR(f)$ minimally generated by three syzygies of degrees $d_1 = r$, $d_2 = d_3 = d - r$, and $\tau(C) = (d-1)^2 - d_1(d_2 - 1) - 1 = (d-1)(d-r-1) + r^2 - 1$.

The minimal graded free resolution of $M(f)$ encodes the graded Betti numbers $\beta_{i,j}$, leading to a closed formula:
\[
\tau(C) = \sum_k \beta_{2, k} \binom{k-1}{2} - \sum_j \beta_{1, j} \binom{j-1}{2}.
\]
The sequence of exponents $(d_1, ..., d_m)$ and shifts $\epsilon_i$ associated to this resolution stratify the moduli of singular curves according to the structure of their syzygy modules [2601.08583][1810.11766].

## 3. Extremal and Inequality Results

A key structural result is the **du Plessis–Wall bound**:
\[
(d-1)(d-r-1) \leq \tau(C) \leq (d-1)(d-r-1) + r^2.
\]
If $r < d/2$, the upper bound is attained if and only if $C$ is free. For $r = d/2$, nearly free curves attain the maximal possible value, $\tau(C) = (d-1)(d-r-1) + r^2 - 1$. For $r > d/2$, a refined upper bound applies:
\[
\tau(C) < (d-1)(d-r-1) + r^2 - \binom{2r - d + 2}{2}.
\]
Equality cases characterize special classes:
- $\tau(C) = (d-1)(d-r-1) + r^2$: free curves
- $\tau(C) = (d-1)(d-r-1) + r^2 - 1$: nearly free
- $\tau(C) = (d-1)(d-r-1)$: minimal Tjurina curves (e.g., certain Thom–Sebastiani curves and union of a smooth curve with a transverse line) [1508.04954][1901.05915][1901.00809][1810.11766].

For reducible plane curves, the framework generalizes to
\[
\tau(C) \leq \tau(C_J) + \tau(C_K) + 2I(C_J, C_K) - 1,
\]
where $I(C_J, C_K)$ is the total intersection multiplicity between partitions, with sharpness in quasi-homogeneous cases [2409.11153].

## 4. Local and Valuation-Theoretic Aspects

Locally, for a reduced curve singularity $(C_f, 0) \subset (\mathbb{C}^2, 0)$, the Tjurina number may also be interpreted as the length (colength) of the Jacobian ideal in the local ring, and has intimate connections to value semigroups, Puiseux characteristics, and Kähler differentials.

For irreducible branches, Berger–Greuel gives $\mu - \tau = \#(\Lambda \setminus S)$, $\Lambda$ the Kähler value semigroup, $S$ the value semigroup of the branch [2501.12836][1904.03645].

For plane curves with $r$ branches, Hefez–Hernandes provide an exact additive formula:
\[
\tau(C) = \sum_{i=1}^r \tau(C_i) + \sum_{i<j} I(C_i, C_j) + \sum_{i=1}^r \#\left(A_i \setminus v_i(N_{[1, i)}(J(f)))\right),
\]
where the last term captures purely combinatorial differences of value-sets of fractional ideals. This approach both refines and proves inequalities conjectured by Dimca [2409.11153].

In cases of two branches with high intersection multiplicity, the formula $\tau(C) = 2I + c(S) - 1$ holds, where $I$ is the intersection multiplicity and $c(S)$ the conductor of the common value semigroup [2501.12836].

## 5. Weighted Homogeneous and Higher-Order Tjurina Numbers

For isolated weighted homogeneous hypersurface singularities, explicit formulas for the total Tjurina number are available:
\[
\tau_0(f) = \prod_{i = 1}^n (N_i - 1), \quad N_i = \frac{W}{w_i}
\]
where $(w_1, ..., w_n; W)$ are the weights of $f$. The $k$th Tjurina numbers $\tau_k(f)$, defined as $\dim_\mathbb{C} \mathcal{O}/(f, m^k J(f))$, measure higher-order obstructions to deformations. For $k$ below the minimal multiplicity of partials, $\tau_k(f)$ admits a purely combinatorial formula, but for $k$ large, the dependence is refined by the structure of syzygies and the detailed Koszul complex [2409.09384].

## 6. Geometric, Topological, and Deformation-Theoretic Roles

The total Tjurina number governs the base space dimension for the miniversal deformation of a hypersurface singularity—counting directions for analytic (not merely topological) smoothing. It provides finer invariants than the Milnor number, especially for non-quasihomogeneous singularities, and captures the codimension of the equisingularity stratum in the space of all hypersurface singularities.

In the context of foliations, the Tjurina number of the foliation (for a balanced divisor of separatrices) relates via the Gómez–Mont–Seade–Verjovsky index to that of the underlying curve, adding further structure to the representation theory of singularities and yielding global bounds on the sum of Milnor numbers on projective spaces [2112.14519].

## 7. Applications and Open Problems

Applications encompass:
- Classification of free, nearly free, and minimal Tjurina plane curves [1508.04954][1810.11766].
- Stratification of modular families of curve singularities according to Betti patterns [2601.08583].
- Explicit numerical invariants for families of curves with fixed topological or analytic data, particularly for curves with many branches or high intersection multiplicity [2501.12836][2409.11153].
- Computation of $\tau(C)$ for large classes, such as line arrangements and Brieskorn–Pham curves [1901.05915][2409.09384].

Open questions include full numerical characterizations for reducible singularities beyond the quasi-homogeneous case, stratification of Betti-number patterns, and extension of these results to higher dimensions and non-isolated singularities [2601.08583][2409.11153].

Source: https://www.emergentmind.com/topics/total-tjurina-number