91Ó°ÊÓ

The Infinitesimal Lifting Property. The following result is very important in studying deformations of nonsingular varieties. Let \(k\) be an algebraically closed field, let \(A\) be a finitely generated \(k\) -algebra such that Spec \(A\) is a nonsingular variety over \(k .\) Let \(0 \rightarrow I \rightarrow B^{\prime} \rightarrow B \rightarrow 0\) be an exact sequence, where \(B^{\prime}\) is a \(k\) -algebra, and \(I\) is an ideal with \(I^{2}=0 .\) Finally suppose given a \(k\) -algebra homomorphism \(f: A \rightarrow B .\) Then there exists a \(k\) -algebra homomorphism \(g: A \rightarrow B^{\prime}\) making a commutative diagram We call this result the infinitesimal liffing property for \(A .\) We prove this result in several steps. (a) First suppose that \(g: A \rightarrow B^{\prime}\) is a given homomorphism lifting \(f\). If \(g^{\prime}: A \rightarrow B^{\prime}\) is another such homomorphism, show that \(\theta=g-g^{\prime}\) is a \(k\) -derivation of \(A\) into \(I,\) which we can consider as an element of \(\mathrm{Hom}_{A}\left(\Omega_{A / k}, I\right) .\) Note that since \(I^{2}=0, I\) has a natural structure of \(B\) -module and hence also of \(A\) -module. Conversely, for any \(\theta \in \operatorname{Hom}_{A}\left(\Omega_{A / k}, I\right), g^{\prime}=g+\theta\) is another homomorphism lifting \(f .\) (For this step, you do not need the hypothesis about Spec \(A\) being nonsingular.) (b) Now let \(P=k\left[x_{1}, \ldots, x_{n}\right]\) be a polynomial ring over \(k\) of which \(A\) is a quotient, and let \(J\) be the kernel. Show that there does exist a homomorphism \(h: P \rightarrow B^{\prime}\) making a commutative diagram, and show that \(h\) induces an \(A\) -linear map \(\hbar: J / J^{2} \rightarrow I\) (c) Now use the hypothesis Spec \(A\) nonsingular and (8.17) to obtain an exact sequence \\[ 0 \rightarrow J / J^{2} \rightarrow \Omega_{P / k} \otimes A \rightarrow \Omega_{A / k} \rightarrow 0 \\] Show furthermore that applying the functor Hom \(_{A}(\cdot, I)\) gives an exact sequence \\[ 0 \rightarrow \operatorname{Hom}_{A}\left(\Omega_{A / k}, I\right) \rightarrow \operatorname{Hom}_{P}\left(\Omega_{P | k}, I\right) \rightarrow \operatorname{Hom}_{A}\left(J / J^{2}, I\right) \rightarrow 0 \\] Let \(\theta \in \mathrm{Hom}_{P}\left(\Omega_{P / k}, I\right)\) be an element whose image gives \(\bar{h} \in \mathrm{Hom}_{A}\left(J / J^{2}, I\right)\) Consider \(\theta\) as a derivation of \(P\) to \(B^{\prime}\). Then let \(h^{\prime}=h-\theta\), and show that \(h^{\prime}\) is a homomorphism of \(P \rightarrow B^{\prime}\) such that \(h^{\prime}(J)=0 .\) Thus \(h^{\prime}\) induces the desired homomorphism \(g: A \rightarrow B^{\prime}\).

Step by step solution

01

Determine the function \(\theta\)

If \(g: A \rightarrow B^{\prime}\) and \(g^{\prime}: A \rightarrow B^{\prime}\) are homomorphisms lifting \(f\), then the map \(\theta = g - g^{\prime}\) is a \(k\)-derivation of \(A\) into \(I\). \(\theta\) can be considered as an element of \(Hom_{A}\left(\Omega_{A / k}, I\right)\). Conversely, if \(\theta \in Hom_{A}\left(\Omega_{A / k}, I\right)\), \(g^{\prime} = g + \theta\) is another homomorphism lifting \(f\).

02

Establish the existence of homomorphism \(h: P \rightarrow B^{\prime}\)

If \(P=k\left[x_{1}, ..., x_{n}\right]\) is a polynomial ring over \(k\) (and \(A\) is a quotient) and \(J\) is the kernel, then there exists a homomorphism \(h: P \rightarrow B^{\prime}\) making a commutative diagram. This homomorphism would induce an A-linear map \( \hbar: J / J^{2} \rightarrow I.\)

03

Use the hypothesis Spec \(A\) nonsingular

Applying the hypothesis that Spec \(A\) is nonsingular and equation (8.17), obtain the exact sequence\n\[0 \rightarrow J / J^{2} \rightarrow \Omega_{P / k} \otimes A \rightarrow \Omega_{A / k} \rightarrow 0\]. If you apply the functor Hom \(_{A}(\cdot, I)\) to this, get another exact sequence, \[0 \rightarrow Hom_{A}\left(\Omega_{A / k}, I\right) \rightarrow Hom_{P}\left(\Omega_{P / k}, I\right) \rightarrow Hom_{A}\left(J / J^{2}, I\right) \rightarrow 0\].

04

Define \(h^{\prime}\)

For \(\theta \in Hom_{P}\left(\Omega_{P / k}, I\right)\) (which gives \(\bar{h} \in Hom_{A}\left(J / J^{2}, I\right)\)), consider it as a derivation of \(P\) to \(B^{\prime}\). Let \(h^{\prime} = h - \theta\). This \(h^{\prime}\) will be a homomorphism of \(P \rightarrow B^{\prime}\) such that \(h^{\prime}(J) = 0\). Thus \(h^{\prime}\) induces a homomorphism \(g: A \rightarrow B^{\prime}\).

Unlock Step-by-Step Solutions & Ace Your Exams!

• Full Textbook Solutions

  Get detailed explanations and key concepts

• Unlimited Al creation

  Al flashcards, explanations, exams and more...

• Ads-free access

  To over 500 millions flashcards

• Money-back guarantee

  We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!

Key Concepts

These are the key concepts you need to understand to accurately answer the question.

Deformations of Nonsingular Varieties

Understanding the concept of deformations of nonsingular varieties is essential in the field of algebraic geometry. To begin with, a nonsingular (also known as smooth) variety refers to a type of space devoid of any 'rough edges' or singular points, which can be mathematically described by having a tangent space at each of its points. The process of deformation relates to tweaking this regular space slightly under certain conditions. Imagine taking a perfectly shaped balloon (our nonsingular variety) and gently pressing on it (the deformation); it changes shape, but no part of it collapses or becomes pointy.

In the context of the infinitesimal lifting property, we explore what happens when you have a map from a smooth algebraic variety to another space and you want to 'lift' it through an ideal that squares to zero. This ideal can be seen as the manifestation of the infinitesimal deformations we're trying to control. If the variety is a smooth k-algebra represented by Spec A, the lifting property allows us to extend a given algebra homomorphism to another that factors through a slightly 'thicker' algebra, albeit one that is incremented only by an infinitesimal amount (small enough so that when squared, it vanishes).

This concept is akin to finding a compatible universal remote control (the lift) for your smart home systems (the algebras) when you're only allowed to tweak the settings slightly (the infinitesimal condition). It ensures that smooth varieties have enough flexibility to be deformed in controlled algebraic ways.

Exact Sequence in Algebraic Geometry

Moving on to the concept of an exact sequence, central to our understanding of the infinitesimal lifting property, we reflect on its role in algebraic geometry. If you're familiar with a relay race, you can think of an exact sequence as the baton passing between runners: the handover (or the image of one homomorphism) fits perfectly into the take-off area (or the kernel) of the next, with no overlap or gap. In algebraic terms, an exact sequence is a series of abelian groups and homomorphisms between them where the image of one homomorphism equals the kernel of the next.

In the infinitesimal lifting property scenario, we are primarily concerned with a short exact sequence, a compact version of the relay involving three 'runners'. Here, we have ring homomorphisms between algebras and a tight condition that requires the image of the first map to be precisely the kernel of the second. This setting provides a playground for testing our ability to extend maps that exist on the 'simpler' end of the sequence (the algebra B) to the more 'complex' end (the algebra B'). The existence of such extensions hinges critically on the properties of Spec A, echoing a resounding theme of coherent strategies—the algebraic structures involved must line up perfectly to allow the passage of maps (homomorphisms).

The exactness property serves as a verification tool, ensuring that the deformations are structured and that there are no algebraic obstacles to lifting.

Commutative Algebra and k-Derivations

Last but not least, let's talk about the realm of commutative algebra and particularly focus on k-derivations, which play a prominent part in the lifting property. In our daily communications, we often speak about derivatives in the context of change or responsiveness: the derivative of a car's position with respect to time tells us its velocity, indicating how quickly it responds to the passing of time. Analogously, in commutative algebra, a k-derivation is a precise way to measure how a function within an algebra varies when infinitesimally nudged.

A k-derivation can be viewed as a linear map that satisfies Leibniz's rule, reflecting the product rule for derivatives known from calculus. When working on algebra homomorphisms and aiming to lift them through an ideal I, k-derivations are the tools we use to adjust the original map. Any deviation between two potential liftings can be captured as a k-derivation into the ideal I, which has been structurally neutered (remember, I squared is zero) to represent only the barest form of variation.

In summary, k-derivations provide a systematic method of cataloging all possible ways our algebra homomorphism can be deflected and still manage to lift coherently. This procedure is analogous to choosing the right angle to tilt a mirror, ensuring that the light beam reflects just right, hitting the desired target. Mathematically, these derivations encapsulate the essence of permissible twitches in our algebraic configuration.