The study of how mathematical objects (complex manifolds, associative algebras, Lie algebras) can be deformed into similar mathematical objects, at least infinitesimally.
Questions tagged [deformation-theory]
203 questions
96
votes
0 answers
Classification of local Artin (commutative) rings which are finite over an algebraically closed field.
A result in deformation theory states that if every morphism $Y=\operatorname{Spec}(A)\rightarrow X$ where $A$ is a local Artin ring finite over $k$ can be extended to every $Y'\supset Y$ where $Y'$ is an infinitesimal thickening of $Y$, then $X$ is…
user16544
24
votes
1 answer
Studying Deformation Theory of Schemes
Versal Property
Local Deformation Space
Mini-versal deformation space
I came across these words while studying these papers a) Desingularization of moduli varities for vector bundles on curves, Int. Symp on Algebraic Geometry by C. S. Seshadri…
![](../../users/profiles/36789.webp)
Babai
- 4,726
- 3
- 23
- 58
12
votes
2 answers
Does every Poisson bracket on a commutative algebra come from a second-order deformation?
Let $A$ be a commutative algebra over a field $k$ (of characteristic not equal to $2$ to be safe). Recall that $f : A \otimes A \to A$ is a Hochschild $2$-cocycle if it satisfies
$$f(ab, c) + f(a, b) c = f(a, bc) + a f(b, c)$$
and recall that $\{ -,…
![](../../users/profiles/232.webp)
Qiaochu Yuan
- 359,788
- 42
- 777
- 1,145
12
votes
2 answers
How is the smoothness of the space of deformations related to unobstructedness?
As a beginning differential geometer, I've been trying to learn about deformation theory. Other than Kodaira's book, I've found virtually no references from the point of view of differential geometry. As such, my understanding is hazy.
I am…
![](../../users/profiles/640.webp)
Jesse Madnick
- 29,652
- 7
- 90
- 147
10
votes
1 answer
Glueing of algebraic surface along two intersecting curves
My question arises as part of understanding an analogue of the normalization of singular curves. Assume that $C$ is such a curve and that $p\in C$ is a singular point of $C$ (and the only one for simplicity). Then the normalization $\widetilde C\to…
user526015
9
votes
1 answer
a flat deformation
The following is an example that I made up in order to understand a certain concept in one of Eisenbud's books.
Consider $R = k[x_1,x_2,x_3,x_4]$ and let $I = \left< x_1 x_2+x_3 x_4 +x_2 + x_3, x_1 x_4+ x_2 x_3+ x_2 +x_3 \right>$ and $J = \left<…
![](../../users/profiles/31704.webp)
math-visitor
- 1,685
- 1
- 13
- 16
8
votes
0 answers
Cotangent complex of dual numbers
Let $k$ be a ring, put $k[\epsilon] := k[t]/(t^2)$. What is the cotangent complex of $k[\epsilon] \to k$?
I know $\Omega^1_{k/k[\epsilon]]}$ is going to be zero. But I don't see any way around explicitly writing down a cofibrant replacement to get…
![](../../users/profiles/69855.webp)
Maanroof
- 514
- 2
- 12
8
votes
4 answers
Where can I learn about differential graded algebras?
I want to learn more about differential graded algebras so that I can construct explicit examples of derived schemes over characteristic 0, compute smooth resolutions of morphisms of schemes, and compute examples of cotangent complexes of morphisms…
![](../../users/profiles/59576.webp)
user1876508
- 717
- 5
- 15
7
votes
1 answer
First order and infinitesimal deformations
Terminology. Let $X$ be an algebraic variety over some algebraically closed field $k$. By an infinitesimal deformation of $X$, I mean a flat surjective map $\mathfrak X\to S=\textrm{Spec }A$, where $A$ is a local Artin $k$-algebra, such that $X$ is…
![](../../users/profiles/29125.webp)
Brenin
- 13,308
- 3
- 25
- 60
7
votes
0 answers
(Graded) deformations of algebras
I'm reading the article of Braverman and Gaitsgory, Poincaré-Birkhoff-Witt theorem for quadratic algebras of Koszul type, but I'm stuck in a point near the beginning.
Let $A$ be a (positively) graded associative algebra over a field $k$. They define…
![](../../users/profiles/51520.webp)
Mauro Porta
- 661
- 4
- 11
6
votes
0 answers
Infinitesimal deformation of projective schemes
Let $S$ be the coordinate ring $\mathbb{C}[X_0,...,X_n]$ in $n$-variables. Let $X=\mathrm{Proj}(S/I)$ be a projective scheme where $I$ is an ideal in $S$.
Is there a $1-1$ correspondence of first order infinitesimal deformations of $X$ in…
![](../../users/profiles/91732.webp)
Chen
- 941
- 4
- 13
6
votes
2 answers
Smoothness of total spaces with nice singular fibers
Let $f:X \to Y$ be a (flat and projective) family of hypersurfaces over a smooth curve $Y$. If every fiber of $f$ is smooth, it is clear that the total space $X$ is also smooth. I would like to know if the smoothness still holds when we also allow…
![](../../users/profiles/299318.webp)
Akatsuki
- 3,050
- 1
- 15
- 32
6
votes
1 answer
Why are infinitesimal deformation defined to be over Artin rings?
I am wondering what is the motivation for defining infinitesimal deformations to be over the spectrum of Artinian rings, i.e rings that have a finite number of prime maximal ideals.
I have been trying to understand the connection between…
![](../../users/profiles/172417.webp)
Yuugi
- 2,063
- 10
- 18
6
votes
0 answers
What are $q$-deformations?
This question has already appeared in a lot of different ways and here is another one.
First of all, many people know the typical quantum group $U_q(\mathfrak{sl}_2)$ by generators and relations. This thing is often called a $q$-deformation of…
![](../../users/profiles/155917.webp)
Mathematician 42
- 12,106
- 1
- 17
- 45
6
votes
1 answer
Existence of a certain nodal quartic curve
I am reading this (https://webusers.imj-prg.fr/~claire.voisin/Articlesweb/Univcodim2invent.pdf) paper of Voisin, but I am having some trouble with the proof of Sublemma 2.8 (it might be something very simple but I don't exactly see it).
Namely, let…
![](../../users/profiles/145671.webp)
pozio
- 547
- 2
- 9