---
title: Log Canonical Threshold (LCT)
url: https://www.emergentmind.com/topics/log-canonical-threshold-lct
type: topic
---

# Log Canonical Threshold (LCT)

The log canonical threshold (LCT) is a fundamental invariant in algebraic, analytic, and birational geometry, capturing the severity of singularities of ideal sheaves, analytic functions, or divisors. It plays a central role in the minimal model program, the theory of multiplier ideals, the study of vanishing theorems, and applications in both complex and real algebraic geometry, as well as in singular learning theory and representation-theoretic motivic integration.

## 1. Definition and Fundamental Properties

Given a smooth variety $X$ over a field $k$ of characteristic zero and a nonzero ideal sheaf $\mathfrak{a} \subset \mathcal{O}_X$, the log canonical threshold of $\mathfrak{a}$ at a point $x \in X$ is defined as
$$
\operatorname{lct}_x(\mathfrak{a}) = \sup \left\{ c > 0 \mid \text{the pair } (X, c \cdot \mathfrak{a}) \text{ is log canonical at } x \right\}.
$$
When $\mathfrak{a} = (f)$ for a regular function $f$, this is written $\operatorname{lct}_x(f)$.

For a log resolution $\mu: Y \to X$ so that $\mathfrak{a} \cdot \mathcal{O}_Y = \mathcal{O}_Y(-\sum a_i E_i)$ and $K_{Y/X} = \sum k_i E_i$, the threshold is 
$$
\operatorname{lct}_x(\mathfrak{a}) = \min_{i: x \in \mu(E_i)} \frac{k_i + 1}{a_i}.
$$
For analytic or plurisubharmonic functions $\varphi$ with isolated singularity at $0 \in \mathbb{C}^n$, the LCT is the supremum $c(\varphi)$ such that $e^{-2c\varphi}$ is locally integrable:
$$
c(\varphi) := \sup\{ c > 0: e^{-2c\varphi} \in L^1 \text{ near } 0 \}.
$$
This analytic definition coincides with the algebro-geometric one for functions defining singular hypersurfaces [1201.4086].

Key properties include:

- $\operatorname{lct}_x(\mathfrak{a})$ is always a positive rational number.
- It remains unchanged under smooth base change.
- The set of all LCTs in dimension $n$ satisfies the ascending chain condition (ACC) [1002.4163].
- For real analytic functions, the real LCT (rlct) has analogous definitions and appears as the "learning coefficient" in statistical applications [2411.13392].

## 2. Sharp Lower Bounds and Monotonicity

Classical lower bounds for the LCT include:

- Skoda's bound: $c(\varphi) \geq 1 / e_1(\varphi)$, where $e_1(\varphi)$ is the Lelong number [1201.4086].
- Geometric mean bound: $c(\varphi) \geq n / e_n(\varphi)^{1/n}$, where $e_n(\varphi)$ is the top mixed Lelong number.

Demailly–Hiệp established a sharp, optimal lower bound:
$$
c(\varphi) \geq \sum_{j=0}^{n-1} \frac{e_j(\varphi)}{e_{j+1}(\varphi)},
$$
with $e_0=1$, generalizing Skoda and achieving equality in toric and diagonal cases. This bound is strictly stronger than either classical estimate, is implied by log-convexity properties among the $e_j(\varphi)$, and is optimal in monomial (toric) examples [1201.4086].

The "additive" and "geometric" bounds for a psh function $u$ are:
- $E_k(u) = \sum_{j=1}^k e_{j-1}/e_j$,
- $F_k(u) = k\,e_k(u)^{-1/k}$,
and rigidity at equality characterizes the precise locus and asymptotic structure of extremal psh singularities [1501.04831].

## 3. Computational Methods and Special Cases

For monomial, binomial, and $m$-binomial ideals, explicit reduction procedures exist:
- The LCT of a binomial ideal can be computed by minimizing a piecewise-linear function $LCT(M^+, M^-, u, c)$ over the rays of an associated polyhedral fan, with the exponent data derived from the monomial/binomial structure [1405.3942].
- For plane curve singularities, valuation-theoretic and Newton polygon approaches yield explicit formulas. For an irreducible plane curve $f(x,y)$,
  $$
  \operatorname{lct}_0(f) = \frac{1}{v_f(x)} + \frac{1}{v_f(y)},
  $$
  where $v_f$ denotes the curve semivaluation [2602.00503]. For arbitrary reduced plane curves, the LCT is given in terms of the first two maximal contact values of each branch and intersection multiplicities [1211.6274].

In two variables, construction of the Newton tree allows for computation of the LCT using only Newton polygon data and associated combinatorics [1310.8260]. For du Val singularities (ADE types), explicit values are provided in terms of the type and defining equations [2312.16187].

For hyperplane arrangements, the (real) LCT and its multiplicity are computable via an intersection lattice and flat weights, with formulas
$$
\lambda_R(f) = \min_{W \in L(\mathcal{A})} \frac{\mathrm{codim}(W)}{s(W)}, \quad
m_R(f) = \max_{\text{chains of flats}} |\{i: \frac{\mathrm{codim}(W_i)}{s(W_i)} = \lambda_R(f)\}|,
$$
where $s(W)$ is the weight and $L(\mathcal{A})$ the intersection lattice [2411.13392].

## 4. Real and $p$-adic Analogs

In statistical learning theory, the real log canonical threshold (RLCT) appears as the learning coefficient controlling the asymptotics of Bayesian generalization error and marginal likelihood:
$$
\log Z(n) = nL(\hat{\theta}) - \lambda \log n + (m-1)\log\log n + O(1),
$$
with $\lambda$ (the RLCT) controlling subleading error terms [2303.05731, 2408.13030]. RLCT can be calculated at non-singular parameter points using explicit formulas involving the codimension, the Fisher information rank, and the order of vanishing:
$$
\lambda_{\theta_0} = \frac{d_1 - r + r m}{2m},
$$
with $d_1$ the codimension of the realizable set, $r$ the rank, and $m$ the smallest order with nontrivial Taylor term [2408.13030].

For non-Archimedean local fields $F$ (including positive characteristic), the $F$-analytic log canonical threshold $lct_F(f; x_0)$ is the supremum $s$ such that $|f|_F^{-s}$ is locally integrable. Positivity and effective lower bounds are proven via Weierstrass preparation and sublevel set estimates:
$$
lct_F(f; 0) \geq 1/d,
$$
where $d$ is the degree of the Weierstrass polynomial. Uniform bounds in the algebraic category reflect multiplicity and degree data [2511.01270].

## 5. Birational and Topological Applications

LCTs govern the formation and behavior of multiplier ideals $\mathcal{J}(X, \mathfrak{a}^c)$, dictate the thresholds for vanishing theorems (e.g., Kawamata–Viehweg), and serve as obstructions in birational rigidity questions [1201.4086, 1501.04831, 1411.2770]. The LCT detects rational singularities: for instance, $lct(f, J_f^2) > 1$ if and only if the hypersurface $f = 0$ has rational singularities; otherwise $lct(f, J_f^2) = lct(f)$ [1901.08111, 2202.08425].

In Floer-theoretic and topological contexts, the LCT and multiplicity of a hypersurface are encoded as invariants of the link of the singularity via fixed-point Floer cohomology, linking symplectic geometry and singularity theory [1608.07541].

## 6. Variation, Families, and Polytope Structures

The set of all LCTs in fixed dimension forms an ACC set, and more generally, the set of LCT polytopes associated to $r$-tuples of ideals is closed under Hausdorff limits and satisfies the strong form of the ACC property [1002.4163]. In linear systems, the function $(x, [D]) \mapsto \operatorname{lct}_x(X, \Delta; D)$ is Zariski lower semi-continuous and takes only finitely many values [1411.2770].

Refinements such as the potential log canonical threshold (plct) account for both singularities and the positivity of $-K_X$ in the context of the minimal model program and confirm ACC properties in broader moduli-theoretic settings [2209.10810].

The G-stable rank of the defining ideal provides a bound $lct_P(\mathfrak{a}) \leq rk_G(P, \mathfrak{a})$, with equality in the monomial case, tying invariant-theoretic measures of instability directly to singularity invariants [2203.03527].

## 7. Explicit Examples and Sharpness

- For the diagonal monomial $\varphi(z) = \max_{j} a_j \log |z_j|$, $e_j(\varphi) = a_1 \cdots a_j$, and $c(\varphi) = \sum_{j=1}^n 1/a_j$, achieving the lower bound [1201.4086].
- For plane curve singularities $f(x, y) = y^m - x^n$, $lct_0(f) = 1/m + 1/n$ over any characteristic [2602.00503].
- For du Val singularities $A_n$: 
  $$
  \operatorname{lct}_0(\mathbb{C}^3, D) = \begin{cases} \frac{n+2}{n+1}, & n \text{ odd} \\ \frac{n+1}{n}, & n \text{ even} \end{cases}
  $$
  and explicit values for $D_n, E_6, E_7, E_8$ [2312.16187].

The optimality of the sharp lower bounds is evidenced by explicit construction in the toric and monomial settings, and tightness in real and $p$-adic cases is demonstrated in model-theoretic and analytic computations [1201.4086, 2511.01270].

---

**References:**  
- [1201.4086]: "A sharp lower bound for the log canonical threshold"
- [1501.04831]: "A log canonical threshold test"
- [2511.01270]: "A lower bound on the analytic log-canonical threshold over local fields of positive characteristic"
- [2411.13392]: "Classification of real hyperplane singularities by real log canonical thresholds"
- [1405.3942]: "A procedure for computing the log canonical threshold of a binomial ideal"
- [2303.05731]: "Upper Bound of Real Log Canonical Threshold of Tensor Decomposition and its Application to Bayesian Inference"
- [1310.8260], [1211.6274], [2602.00503]: Plane curve and Newton polygon LCT computation
- [2312.16187]: "Log canonical threshold of du Val singularities"
- [1608.07541]: "Floer Cohomology, Multiplicity and the Log Canonical Threshold"
- [2203.03527]: "G-stable rank of symmetric tensors and log canonical threshold"
- [1002.4163]: "Sequences of LCT-polytopes"
- [1411.2770]: "Variation of log canonical thresholds in linear systems"
- [2209.10810]: "ACC of plc thresholds"
- [1901.08111], [2202.08425]: LCT and rational singularities

For further computational methodologies, applications in singular learning theory, and connections with other birational invariants, see the cited works.

Source: https://www.emergentmind.com/topics/log-canonical-threshold-lct