ε ≠ 0, ε² = 0

Research note
Richard Hoekstra · April 2026

The minimal non-trivial axiom

R = k[ε]/(ε²). Dual numbers. The simplest non-reduced ring. Two words: nilpotent, order two. The poorest non-trivial algebra. The richest boundary condition. No room for deviation. Everything forced.

Algebraic invariants

PropertyValueWhy it matters
Idealsexactly 2: (0) and (ε)no intermediate structure
Indecomposable modulesexactly 3the three CM-indecomposables
K0(Dsg)Z/2Ztwo classes: signal and noise
Extn(k, k)k for all nperiodic resolution, period 1
Poincaré series1/(1−t)pole at t=1, minimal complexity
Shift functorΣ² = Idthe Z/2Z symmetry of the singularity category
Deformation space1-dimensionalη² = 3η is the universal deformation

The derivative

Exact differentiation f(a + bε) = f(a) + f'(a)bε. Exact. No approximation. No higher terms.

ε IS automatic differentiation. The first derivative is exact and the second derivative does not exist. The information content of a probe with ε is precisely first order.

The tangent space

The Zariski tangent space Tp = Hom(m/m², k). With m = (ε), m² = 0, so m/m² ≅ k. One-dimensional. One direction. One way to leave the singular point.

The embedding dimension is 2 (the split node k × k[ε]/(ε²)) but the tangent dimension is 1. The defect = 2 − 1 = 1 = the syndrome dimension.

The Kähler differentials

Ω¹(R/k) = R·dε with relation ε·dε = 0 (differentiate ε² = 0). The differential form exists but is torsion: position (ε) and direction (dε) are entangled. At the singular point: zero momentum. This is confinement.

Information theory

The Fisher information metric on the dual-number parameter space has exactly one invariant: I(θ) = E[(∂ log p / ∂θ)²]. No higher-order correction exists (ε² = 0). The Cramér-Rao bound is tight. The estimator is efficient. The Hamming code is perfect. The code sits on the Fisher manifold of dual numbers.

The deformation

ε² = 0 over F3 lifts to η² = 3η over Z3. The deformation space is 1-dimensional (dim Ext¹ = 1). There is exactly one direction to deform the singularity — the 3-adic direction. The entire 3-adic lifting is forced by dim(Ext¹) = 1.

The connection to everything

ε² = 0
  → exact first derivative (automatic differentiation)
  → three indecomposable modules (the three types)
  → K&sub0; = Z/2Z (signal vs noise)
  → periodic resolution (minimal complexity)
  → 1D deformation (η² = 3η is universal)
  → tight Cramér-Rao (perfect code)
  → entangled position-momentum (confinement)
  → Fisher information as sole invariant
The axiom ε ≠ 0,   ε² = 0.

Two words: nilpotent, order two. The poorest non-trivial algebra. The richest boundary condition. No room for deviation. Everything forced.

Full paper (HTML) PDF