Deformations and the dual numbers - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T19:21:48Z http://mathoverflow.net/feeds/question/33526 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/33526/deformations-and-the-dual-numbers Deformations and the dual numbers altgr 2010-07-27T15:12:24Z 2010-07-28T21:29:10Z <p>The question I have is pretty straightforward, and its answer could very well be contained in some more complicated question(s) asked previously. Here it is:</p> <p>Why are deformations typically considered as structures over the ring of dual numbers?</p> <p>My motivation is rather general: I just want to know more about deformation theory. And this question seems like a place to start. The problem for me is that all resources I have read just jump into the fray with "Consider the ring of dual numbers..." and define first-order deformations straight away.</p> <p>I am sure that I am just missing something obvious; any nudge in the right direction will be greatly appreciated.</p> http://mathoverflow.net/questions/33526/deformations-and-the-dual-numbers/33529#33529 Answer by Per Vognsen for Deformations and the dual numbers Per Vognsen 2010-07-27T15:21:01Z 2010-07-27T15:21:01Z <p>The dual numbers are generated over $R$ by 1 and an element $d$ such that $d^2 = 0$. This $d$ can be interpreted as a first-order differential or an infinitesimal tangent vector. For if $f \in R[x]$ then you may transfer $f$ to the dual numbers and verify that calculating $f(x+d) - f(x)$ gives you $d$ times the first derivative of $f$ at $x \in R$.</p> <p>In light of that, it shouldn't be surprising that dual numbers may be used to study first-order deformations.</p> http://mathoverflow.net/questions/33526/deformations-and-the-dual-numbers/33530#33530 Answer by DamienC for Deformations and the dual numbers DamienC 2010-07-27T15:24:10Z 2010-07-27T15:24:10Z <p>Your question might be </p> <blockquote> <p>Why are <strong>infinitesimal</strong> deformations typically considered as structures over the ring of dual numbers?</p> </blockquote> <p>A first order (or infinitesimal) deformation of an algebraic structure is a one parameter family of such algebraic structures with axioms satisfied only up to order 1. Dual numbers are just a technical way to deal with identities up to order 1. Namely, if you call the parameter $t$... then computing up to first order is same as computing modulo $t^2$. </p> http://mathoverflow.net/questions/33526/deformations-and-the-dual-numbers/33531#33531 Answer by Bill Dubuque for Deformations and the dual numbers Bill Dubuque 2010-07-27T15:28:16Z 2010-07-28T15:18:37Z <p>Such first-order infinitesimal deformations allow one to compute the Zariski tangent space when good moduli space exists. You can find some nice motivational remarks in the first chapter of Hartshorne's <em>Deformation Theory</em>. See esp. the two paragraphs preceding the Exercises 1.1.</p> <p>You may find it helpful to first understand analogous applications of dual numbers in simpler contexts. Below is an excerpt from one of my old sci.math posts which may prove useful in this regard.</p> <blockquote> <p>What is the factor ring R[x]/(x^2) ?</p> </blockquote> <p>It is known as the algebra of dual numbers over R, for R a commutative ring. It and its higher order analogs R[x]/(x^n) prove useful when studying derivations. E.g. they permit easy transfer of properties of homomorphisms to derivations -- see section 8.15 in Jacobson, Basic Algebra II. They yield algebraic models of tangent spaces. </p> <p>They've been applied in many contexts, e.g. <a href="http://people.maths.ox.ac.uk/szendroi/defth.pdf" rel="nofollow">deformation theory [2]</a>, <a href="http://bt.pa.msu.edu/cgi-bin/display.pl?name=dahap" rel="nofollow">numerical analysis [3]</a> (along with <a href="http://bt.pa.msu.edu/pub/papers" rel="nofollow">Levi-Civita fields</a>), where they're viewed simply as truncated Taylor / power series, and in Synthetic Differential Geometry <a href="http://www.jstor.org/stable/20116534" rel="nofollow">(SDG) [1]</a>, another rigorization of inifinitesimals based on work of Lawvere and Kock. SDG employs nilpotent infinitesimals, unlike Abe Robinson's nonstandard analysis which has invertible infinitesimals, hence infinities. </p> <p><a href="http://www.jstor.org/stable/20116534" rel="nofollow">1</a> Bell, J. L. Infinitesimals. Synthese 75 (1988) #3, 285--315.<br> <a href="http://www.jstor.org/stable/20116534" rel="nofollow">http://www.jstor.org/stable/20116534</a></p> <p><a href="http://people.maths.ox.ac.uk/szendroi/defth.pdf" rel="nofollow">2</a> Szendroi, B. The unbearable lightness of deformation theory, a tutorial introduction.<br> <a href="http://people.maths.ox.ac.uk/szendroi/defth.pdf" rel="nofollow">http://people.maths.ox.ac.uk/szendroi/defth.pdf</a></p> <p><a href="http://bt.pa.msu.edu/cgi-bin/display.pl?name=dahap" rel="nofollow">3</a> M. Berz, Differential Algebraic Techniques,<br> in "Handbook of Accelerator Physics and Engineering, M. Tigner, A.Chao (Eds.)" (World Scientific, 1998)<br> <a href="http://bt.pa.msu.edu/cgi-bin/display.pl?name=dahape" rel="nofollow">http://bt.pa.msu.edu/cgi-bin/display.pl?name=dahape</a><br> <a href="http://bt.pa.msu.edu/NA/" rel="nofollow">http://bt.pa.msu.edu/NA/</a><br> <a href="http://bt.pa.msu.edu/pub/papers/" rel="nofollow">http://bt.pa.msu.edu/pub/papers/</a> </p> http://mathoverflow.net/questions/33526/deformations-and-the-dual-numbers/33534#33534 Answer by Francesco Polizzi for Deformations and the dual numbers Francesco Polizzi 2010-07-27T15:45:47Z 2010-07-28T21:29:10Z <p>If you want to look at Deformation Theory from a complex-analytic point of view ( i.e. in the spirit of Kodaira-Spencer "deformations of complex structures" ), you need to solve the Maurer-Cartan equation</p> <p>$\bar \partial \varphi + \frac{1}{2}[\varphi, \varphi]=0$,</p> <p>were $\varphi \in \mathcal{E}^{0,1}(T^{1,0})$. In order to do this, one first look at a solution which is a formal power series</p> <p>$\varphi(t)=\varphi_1 t + \varphi_2 t^2 + \varphi_3 t^3 +...$</p> <p>Collecting powers of $t$ we obtain equations </p> <p>$\bar \partial \varphi_1=0$</p> <p>$\bar \partial \varphi_2 + \frac{1}{2}[\varphi_1, \varphi_1]=0$</p> <p>...</p> <p>The first equation states that $\varphi_1$ is an harmonic form, that is an element of $\mathcal{H}^1(T^{1,0})$. By Hodge Theorem, this space can be identified with $H^1(X, T_X)$, which is exactly the space parametrizing "first-order" deformations.</p> <p>The second equation states that you can extend the first order deformation to a second-order one (i.e., you can solve the Maurer-Cartan equation modulo $(t^3)$ ) if and only if the 2-cocycle $[\varphi_1, \varphi_1]$ is a coboundary. So the class of $[\varphi_1, \varphi_1]$ in $H^2(X, T_X)$ is the "primary obstruction" to your deformation problem.</p> <p>In this way, you can try to solve modulo higher and higher powers of $t$. If all the higher order obstructions vanish and the series defining $\varphi(t)$ converges, you obtain a "genuine" deformation, namely a deformation over a small disk.</p> <p>Now it should be clear that, in order to generalize this in the algebraic framework, you need a substitute for the step "solve the Maurer-Cartan equation modulo $(t^k)$ ". This substitute is roughly speaking obtained by considering deformations over Spec $k[\epsilon]/(\epsilon^k)$.</p> http://mathoverflow.net/questions/33526/deformations-and-the-dual-numbers/33558#33558 Answer by Peter LeFanu Lumsdaine for Deformations and the dual numbers Peter LeFanu Lumsdaine 2010-07-27T19:11:24Z 2010-07-27T19:11:24Z <p>Here are two main ideas which I found helpful when I was learning this stuff (very basic and handwavy, but good starting points to see where more precise and sophisticated statements are going):</p> <ol> <li><p>see how, for instance, an algebra defined over $k[x]$ can be seen as a continuously-(in some sense)-varying $k$-indexed family of $k$-algebras. In algebraical terms, you recover the elements of the family by localising at the ideal $x=t$ for each specific $t \in k$. Geometrically, think of the Grothendieck-style picture where rings really represent some kind of nice <em>spaces</em>, but by duality, so the maps go the “wrong” way. So a $k[x]$-algebra $R$ corresponds to a ring map $k[x] \to R$, and hence (since $k[x]$ represents the affine line $\mathbb{A}^1(k)$) to a map of spaces $X \to \mathbb{A}^1(k)$. But then we can think of $X$ as the bundle of all its fibers, a family varying over $\mathbb{A}^1(k)$. More generally, a widget defined over $k[x]$ can be thought of a a continuous (in some sense) map from $\mathbb{A}^1(k)$ into the space of widgets. </p></li> <li><p>now, see how just as $k[x]$ represented the affine line, $k[x]/(x^2)$ represents an “infinitessimally short line segment”, or a “walking tangent vector” (other answers include good sketches of what's meant by this and why it's a powerful viewpoint). In particular, if $R$ correpsonds to a space $X$, a map $R \to k[x]/(x^2)$ corresponds to a map from the walking tangent vector into the space $X$, or in other words a point of $X$ and a tangent vector at that point. Algebraically, we get a $k$-point of $R$ (by setting $x=0$), and (under good circumstances) a point of the Zariski tangent space.</p></li> </ol> <p>So then putting these two together, one can see why a widget defined over the dual numbers should behave like some kind of an infinitessimal deformation: a widget, together with a tangent vector at that point in the space of widgets. (This may be literally true if there's a good moduli space of widgets!)</p>