Zariski Tangent Space¶
The residue-field dual of a point's local maximal ideal modulo its square, recording first-order directions of an algebraic variety or scheme.
Core Idea¶
At a point \(x\), the local ring \(\mathcal O_{X,x}\) has maximal ideal \(\mathfrak m_x\) of functions vanishing there and residue field \(\kappa(x)\). Quotienting \(\mathfrak m_x\) by its square discards products that vanish to second order, giving the cotangent space \(\mathfrak m_x/\mathfrak m_x^2\). Its \(\kappa(x)\)-linear dual is the pointwise Zariski tangent space: an algebraic record of first-order directions that still exists at singular scheme points.[^ref-5b3e196dca05]
For a morphism \(X\to S\), a relative tangent is defined through dual-number lifts or relative differentials. The simple \(\mathfrak m/\mathfrak m^2\) identification has residue-field hypotheses; over a \(k\)-rational point of a \(k\)-scheme the familiar local quotient, dual-number and Jacobian accounts agree. Neither a smooth-manifold tangent bundle nor a tangent cone is a synonym.[^ref-05e575078f44]
Scope of Application¶
For the characteristic-zero cusp \(y^2=x^3\) at \((0,0)\), the defining equation has no nonzero linear term. Both coordinate classes survive in \(\mathfrak m/\mathfrak m^2\), so its tangent is two-dimensional although the curve's local dimension is one. Gallier and Shatz use this as a singularity example. By contrast, at zero of \(\mathbb A^1_k\), the cotangent quotient is generated by \([x]\) and the tangent is one-dimensional; a dual-number lift maps \(x\) to \(a\epsilon\) for \(a\in k\). These are two different uses of the same first-order roles: diagnosing excess directions and parameterizing an infinitesimal motion.[ref-5b3e196dca05][ref-05e575078f44]
Clarity¶
The cusp's two-dimensional Zariski tangent is the entire ambient plane, whereas its tangent cone retains the quadratic relation \(y^2=0\) and is a doubled line. A first-order vector also need not extend to an unobstructed higher-order deformation. For a Noetherian local ring, tangent dimension is at least Krull dimension and equality means regular local ring; an equivalence with smoothness over a field requires additional hypotheses, such as those in the Stacks finite-type/algebraically-closed-field result. The seed's unqualified “singular exactly when larger” is too broad.[ref-5b3e196dca05][ref-6275b6c8c2f3][^ref-6275b6c8c2f3-2]
Manages Complexity¶
The construction turns many nonlinear local equations into a linear vector-space test. At a rational affine point, the Jacobian's linear equations compute first-order directions; the intrinsic quotient explains why the result does not depend on the chosen presentation. This compression deliberately forgets quadratic and higher terms, which is why a cusp may have a full tangent plane without being a smooth surface. It can expose a singularity, but it does not by itself describe all higher-order geometry.[ref-5b3e196dca05][ref-05e575078f44]
Abstract Reasoning¶
Writing \(T_xX=\operatorname{Hom}_{\kappa(x)}(\mathfrak m_x/\mathfrak m_x^2,\kappa(x))\) fixes four roles: point/local ring, vanishing ideal, first-order quotient and dual. At the cusp, \(f=y^2-x^3\) has zero linearization at the origin, leaving a two-dimensional dual. At affine-line zero, \(\mathfrak m=(x)\) gives a one-dimensional dual; maps \(x\mapsto a\epsilon\) are its relative dual-number expression when base and residue field agree. For a general \(X/S\), use \(\Omega_{X/S}\) or Stacks' dual-number definition before assuming this quotient formula.[ref-5b3e196dca05][ref-05e575078f44]
Knowledge Transfer¶
For a new scheme point, state whether the question is absolute/local or relative to a base. Compute its local ring, maximal ideal, residue field, quotient by the square and dual; or use the corresponding relative differentials and dual-number lifts. Transfer these roles from cusp to affine line, not their dimensions, tangent-cone shapes or deformation claims. The workspace stages this node unparented: live Tangent Bundle, Cotangent Sheaf and Dual Number are related but not strict genera, while live prime Truncation expresses only the cutoff aspect of discarding higher-order products.[ref-05e575078f44][ref-5b3e196dca05]
[^ref-05e575078f44]: The Stacks Project, §33.16 “Tangent spaces,” Definition 33.16.3 and Lemmas 33.16.4–33.16.5, including relative/base and residue-field qualifications. https://stacks.math.columbia.edu/tag/0B28 [^ref-5b3e196dca05]: Jean Gallier and Stephen S. Shatz, Algebraic Geometry, University of Pennsylvania work-in-progress manuscript dated 15 June 2016, §2.2, printed pp. 86–89 and 98–99, including cusp Example 2.3 and Definition 2.10. https://www.cis.upenn.edu/~jean/algeoms.pdf [^ref-6275b6c8c2f3]: The Stacks Project, §10.60 “Dimension,” discussion preceding Definition 10.60.10. https://stacks.math.columbia.edu/tag/00KD [^ref-6275b6c8c2f3-2]: The Stacks Project, Lemma 10.140.2, a finite-type/algebraically-closed-field smoothness criterion. https://stacks.math.columbia.edu/tag/00TS
Neighborhood in Abstraction Space¶
Zariski Tangent Space sits in a sparse region of the domain-specific corpus (64th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Sheaves & Birational Geometry (22 abstractions)
Nearest neighbors
- Algebraic Variety — 0.86
- Ringed Space — 0.85
- Sheaf of Modules — 0.85
- Local Tate Duality — 0.85
- Picard Group — 0.84
Computed from structural-signature embeddings · 2026-10-08