Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

When does one use infinitesimal deformation (over the ring of dual numbers $k[t]/(t^2)$) versus local deformation (over $k[t]$ or $k[t_1,\ldots, t_n]$)?

It seems that one works over the ring of dual numbers in order to remove or obtain certain singularities (or to compute for degenerate schemes) while one of the reasons one works over $k[t]$ or $k[t_1,\ldots, t_n]$ is to study and relate fibers over various base points, assuming that the ring of interest is a free $k[t]$ or $k[t_1,\ldots, t_n]$-module.

Would you say that this correct?

$$ $$

$$ $$

share|cite|improve this question
up vote 0 down vote accepted

I think what I wrote above is correct since $k[x,y]/(xy)$ has a 1-dimensional space of deformations over the dual numbers.

$$ $$ This link is also helpful.

share|cite|improve this answer

The standard example of a deformation is a proper flat map $f:X \longrightarrow S$ between schemes. The terms infinitesimal or local characterize the base $S$.

A local base like $S = Spec \ k[t_1,...,t_n]$ often serves as an affine neighbourhood of a base point. $S$ has many closed points. So you can compare fibres $X_s = f^{-1}(s), s \in S$, over different base points $s \in S$ as well as the variation of the fibre $X_s$ when $s$ moves through $S$.

The other extrem is a base like $S = Spec \ \mathbb C$. Here you study a single fibre of $f$ on its own.

The intermediate steps are infinitesimal neighbourhoods of a single fibre $X_s$: You choose

$$S = Spec \ k[t_1, ..., t_n]/<t_1,...,t_n>^k, k \in \mathbb N,$$

an infinitesimal neighbourhood of the point $s$. The most simple non-trivial case is $S= Spec \ k[t]/<t^2>$, the double point. The family of all infinitesimal neighbourhoods is the formal neighbourhood of $s$. Extending information about $f$ from the formal neighbourhood of a base point to a local neighbourhood starts with comparison theorems for base change.

One of the first examples of building bottom-up a deformation via infinitesimal neighbourhoods is the construction of a versal deformation of a compact complex manifold $X_0$ with $H^2(X_0, \Theta_{X_0}) = 0$ by Kodaira-Nirenberg-Spencer.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.