# Questions tagged [deformation-theory]

for questions about deformation theory, including deformations of manifolds, schemes, Galois representations, and von Neumann algebras.

557
questions

**0**

votes

**0**answers

32 views

### General solution $n$-th order deformation equation

The question refers to chapter two of the book Liao, Shijun. Homotopy analysis method in nonlinear differential equations. Beijing: Higher Education Press, 2012.
Link to book pdf from Chinese .edu ...

**5**

votes

**1**answer

201 views

### Tangent Space of the Hodge bundle on the moduli space of curves

Let $k$ be an algebraically closed field and $\mathcal M_g$ denote the moduli space (stack) of smooth curves of genus $g$ over $k$. Using the universal curve $\pi \colon \mathcal C_g \to \mathcal M_g$,...

**1**

vote

**0**answers

63 views

### A question about relative deformations of the structure sheaf of the diagonal

Let $X$ be a smooth proper algebraic variety over $\mathbb{C}$. Let us consider an associative
algebra $${p_2}_*{\mathcal{H}{om}}_{X\times X}(\mathcal{O}_\Delta, \mathcal{O}_\Delta) \in \text{Alg}_\...

**2**

votes

**1**answer

196 views

### Tangent space to spaces of maps

Let $B = \{x_1,\dots,x_{d-2},y_1,\dots,y_k\}$ be a subscheme of $d-2+k$ distinct points of $\mathbb{P}^1$, and $g:B\rightarrow \mathbb{P}^2$ be a morphism mapping $x_1,\dots,x_{d-2}$ to a fixed point $...

**5**

votes

**1**answer

350 views

### The period map and the Kodaira--Spencer map

Let $f : X \to B$ be a non-isotrivial holomorphic submersion with connected fibres between compact Kähler manifolds of positive relative dimension. Suppose the fibres of $f$ are Calabi--Yau $(c_{1,\...

**8**

votes

**1**answer

438 views

### Motivation for Henselian rings in algebraic geometry

In Andrew Kobin's script on Algebraic Geometry
I found on page 355 a comment I would like better understand. It states
Another
way to view formal smoothness is as an abstraction of Hensel's Lemma.
...

**2**

votes

**0**answers

103 views

### Deformation of toric varieties to complete intersections

I am looking for some systematic study/examples of families of projective complete intersection varieties degenerating to a projective toric variety. In particular, given a projective toric variety, ...

**4**

votes

**0**answers

139 views

### divided powers of a deformation class

Let $A$ be a (unital, associative) $k$-algebra where $k$ is a field. Given a flat deformation of $A$ one gets the deformation class $h$ in the second Hochschild cohomology $HH^2(A)$. Suppose $k$ has ...

**2**

votes

**0**answers

115 views

### Local deformation ring of representations with equal generalized Hodge-Tate weights

Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $\overline{\rho}:\mathrm{Gal}(\overline{K}/K)\rightarrow \mathrm{GL}_2(\mathbb{F})$ be a characteristic $p$ representation. According to a ...

**6**

votes

**1**answer

230 views

### Kähler differentials on an Artinian local ring

Suppose $R$ is a commutative Artinian local ring over an algebraically closed characteristic 0 field $k$. Suppose $f\in R$ is such that $df=0$ (in the sense that the element $df$ vanishes in the ...

**9**

votes

**0**answers

114 views

### Does every sequence of deformation of singularities eventually become equisingular?

Suppose we are over a field of characteristic zero and $f_i\colon X_i\to \mathrm{Spec}(R_i)$ $(i=1,2,\cdots)$ are flat families of singularities over DVRs. Assume that the generic fiber of $f_i$ is ...

**1**

vote

**0**answers

73 views

### Obstruction to deformation of composite morphism (Reference request + question)

Let $f_0:X_0\xrightarrow{g_0}Y_0\xrightarrow{h_0}Z_0/S_0$ be a morphism of smooth projective $S_0$-schemes such that $g_0,h_0$ are flat. Let $S_0\subset S$ be a first-order thickening, and let $X,Y,Z$ ...

**0**

votes

**0**answers

183 views

### Proposition on local properties of Quot scheme

I struggle with a couple of problems to understand
severtal steps in the proof of
Proposition 4.4.4
from the book "Deformations of Algebraic Schemes" by
Edoardo Sernesi (pages 223-225). ...

**4**

votes

**0**answers

116 views

### One-parameter family of algebra structures: characterizing trivial deformation as adjoint 2-cocycle being a 2-coboundary

$\DeclareMathOperator\C{\mathbf{C}}$Motivation: this post discusses a simple criterion for a 1-parameter family of $n$-dimensional complex algebras to be a "trivial deformation", i.e., be ...

**2**

votes

**0**answers

50 views

### Understanding a proof that the deformation functor satisfies the third Schlessinger Criterion $\textbf{H3}$

I am trying to understand Gouvêa's proof (Lemma 3.7, page 43 here) that Schlessinger's criterion $\textbf{H3}$ holds for the deformation functor $D_\Lambda$ for a complete noetherian local ring $\...

**0**

votes

**1**answer

194 views

### Deformations of the Fermat curve

We work over an algebraically closed field $k$, say of characteristic $0$, just in case, and we let $C$ be a smooth curve over $k$. First-order deformations of $C$ (or of any smooth variety for that ...

**4**

votes

**0**answers

112 views

### Reducible surface as a degeneration

I am interested in the following situation. If $S_1\cup_D S_2$ is a union of two irreducible smooth projective surfaces over $k=\overline{k}$(over $k=\mathbb{C}$ is enough, if it's relevant) glued ...

**4**

votes

**0**answers

224 views

### How singular can a holomorphic submersion over the punctured disk be?

Let $f : X \to \mathbb{D}^{\ast}$ be a holomorphic submersion from a compact Kähler manifold of dimension $n>1$. We say that $f$ admits a meromorphic extension $\widetilde{f} : \mathcal{X} \to \...

**3**

votes

**0**answers

149 views

### formal smoothness and cotangent complex

If $k$ is a field and $A$ is a formally smooth $k$-algebra, then we know that $\Omega^{1}_{A/k}$ is projective. What about its cotangent complex $L_{A/k}$? When is it quasi-isomorphic to $\Omega^{1}_{...

**4**

votes

**0**answers

88 views

### Deformation quantization of infinite dimensional Poisson manifolds

In 1999, Karaali wrote a review of formal deformation quantization for a class she took with Weinstein.
She ends the paper with the following remark:
Another question that remains involves the ...

**2**

votes

**0**answers

137 views

### Period map on non-Kähler manifold

Is there a theory of period map on non-Kähler manifolds that has Hodge decomposition? Any reference is helpful. Thank you.

**4**

votes

**1**answer

189 views

### Universal deformation space of a cuspidal plane cubic curve

Does anyone have a reference for the universal deformation space of a cuspidal plane cubic curve? Specifically, a reference that discusses its discriminant locus -- Apparently it has a cuspidal ...

**4**

votes

**0**answers

119 views

### Deformations of vector bundles and tubular neighborhood

I had a number of questions that are somewhat related to each other. I decided to post them altogether instead of separately. I'd appreciate any kinds of answers, ideas or sources regarding any of ...

**4**

votes

**0**answers

175 views

### Rigid non-algebraic manifolds

The famous Kodaira problem asks: whether a compact Kähler manifold can always be deformed to a projective manifold? In order to provide a counterexample, one way is trying to construct a rigid compact ...

**5**

votes

**1**answer

248 views

### Applications of the Infinitesimal Lifting Property

This question was posted to MSE but didn't get any answers, so I am posting it here. Original post
Hartshorne in his book gives the 'Infinitesimal Lifting Property' as an exercise in chapter 2, ...

**4**

votes

**1**answer

160 views

### English reference for Douady/Grauert construction of versal deformations of compact complex spaces

I'm trying to learn about the deformation theory of compact complex spaces. I'm familiar with the case of compact complex manifolds from the paper "On the Locally Complete Families of Complex ...

**1**

vote

**0**answers

143 views

### Exponential map of moduli space

Let $\mathcal{M}$ be a projective smooth moduli space over $\mathbb{C}$ (the specific example I have in mind is the moduli of curves $\mathcal{M}_g)$. Consider a point $[X]\in \mathcal{M}(\mathbb{C})$....

**1**

vote

**0**answers

85 views

### Explicit resolution of $\Omega^1_C$ for prestable curve $C$

Suppose $C$ is a complex projective curve (or a compact $1$-dimensional connected reduced complex space). If $C$ is smooth, then its module of differentials $\Omega^1_C$ is locally free. If $C$ is a ...

**3**

votes

**0**answers

144 views

### Some general questions about deformations

$\newcommand{\spec}[1]{\mathrm{spec}(#1)}$
$\newcommand{\ZZ}{\mathbb{Z}}$
$\newcommand{\QQ}{\mathbb{Q}}$
$\newcommand{\CC}{\mathbb{C}}$
These days I am reading in Kurke, Pfister, Roczen "...

**4**

votes

**0**answers

82 views

### Holomorphic maps on moduli space and Deformation theory

Let $\mathcal{M},\mathcal{F}$ be the classifiying spaces (i.e. complex manifolds) of two (possibly) different moduli problem. To give a map
$$f:\mathcal{M}\rightarrow \mathcal{F}$$
means that for each ...

**3**

votes

**1**answer

164 views

### Deformation equivalent varieties over an irreducible base

Fix an algebraically closed field $k$. Let $X$ and $Y$ be proper varieties over $k$. If there is a connected scheme $B$ of finite type over $k$ such that $X$ and $Y$ embed in a proper flat family over ...

**1**

vote

**0**answers

154 views

### Schlessinger criterion and finiteness of tangent space

Schlessinger's criterion allows us to study whether or not a functor $\mathcal{F}:C_{\Lambda}\rightarrow \text{Set}$ from the category of local Artin $\Lambda$-algebras to sets is representable. One ...

**2**

votes

**0**answers

80 views

### Special fiber of a reflexive sheaf over DVR

Let $f:X \to \mbox{Spec}(R)$ be a flat, projective morphism with $R$ a discrete valuation ring and the special and generic fibers of $f$ are normal and integral. I am looking for examples of rank $1$, ...

**2**

votes

**1**answer

277 views

### Variation of Euler characteristic when the sheaf is not flat

Let $f:X \to Y$ be a flat, projective morphism with $Y$ integral and every fiber of $f$ normal and integral. Let $F$ be a torsion-free, coherent sheaf on $X$ (not necessarily flat over $Y$). Then, is ...

**2**

votes

**1**answer

188 views

### Question about automorphism functor in Sernesi's “Deformations of algebraic schemes”

Let $X$ denote an algebraic scheme over $\operatorname{Spec} k$ such that its deformation functor $\operatorname{Def}_X$ has a semi-universal couple $(R,u)$, where $R$ is an Artinian $k$-algebra and $...

**1**

vote

**0**answers

80 views

### versal deformation ring of a p-divisible group with some tensors

I'm trying to read Kisin's paper about the Integral model of Shimura varieties. In section five he discusses versal deformation ring of a p-divisible group. Assume that $K$ is a number field with ...

**2**

votes

**0**answers

74 views

### Compactification of Picard variety over normal, projective varieties

Let $X$ be a normal, projective, integral variety (over $\mathbb{C}$) and $P$ be the Picard variety parametrizing invertible sheaves on $X$. Does there exist a compactification $\overline{P}$ of $P$ ...

**2**

votes

**0**answers

82 views

### Composing equal characteristic and mixed characteristic deformations

Suppose $k$ is an algebraically closed field of characteristic $p>0$ and $A$ is a $k$-point on a moduli space of certain objects over $k$. Suppose, moreover, that $A$ deforms to a $k[[t]]$-point $B$...

**4**

votes

**1**answer

521 views

### Schlessinger's thesis

In Deligne-Mumford's "The irreducibility of the space of curves of given genus", the authors use the "Schlessinger's theory",
and refer his "thesis".
Where can I read it?
It seems to be different from ...

**5**

votes

**0**answers

196 views

### Deformations of a blow up

My question is related to this question, but I'm looking for something a bit more explicit.
Let $S$ be a smooth surface over $\mathbb C$, fix a point $s\in S$ and take the blow up $\beta \colon S' \...

**6**

votes

**1**answer

261 views

### For an abelian scheme, $R^pf_* \Omega^q$ is locally free and its formation is compatible with any base change

Let $k$ be a field, $\bar{R} \to R$ a local homomorphism of artinian local rings with the residue fields $k$, $I$ its kernel, $A/R$ an abelian scheme, and $\mathscr{T}$ its tangent sheaf.
Let $A_0 = A ...

**3**

votes

**0**answers

71 views

### Freeness of completed homology over universal deformation ring

In Theorem 7.4 of the paper "patching and the $p$-adic Langlands program for $\mathrm{GL}2(\mathbf{Q}_p)$" (arXiv link), it is proved that in the minimally ramified case, the completed homology of ...

**4**

votes

**0**answers

383 views

### Is there a Galois theory for deformations of curves?

I have some general questions about the deformations of Galois covers of curves. Suppose we are given a $G$-Galois cover $k[[z]]/k[[x]]$, where $k$ is algebraically closed of characteristic $p>0$. ...

**4**

votes

**1**answer

327 views

### Family of elliptic curves in $\mathbb P^3$

For points $p_1=[1,0,0,0], p_2=[0,1,0,0], p_3=[0,0,1,0]$, $p_4=[0,0,0,1]$ and $p_5=[1,1,1,1]$
in the projective space $\mathbb P^3$, Let $l_{ij}$ be the line through $p_i, p_j$.
Let
$$C=l_{12} \cup ...

**2**

votes

**0**answers

164 views

### Elementary questions about vanishing cycles and emerging cycles

Let $X\to D$ be a proper $C^\infty$ map with $D$ an open disk about the origin in some Euclidean space. Suppose $0\in D$ is the only singular value, i.e that over $D^\times=D\setminus \left\{ 0 \right\...

**1**

vote

**0**answers

95 views

### Defining the cospecialization in topology

Below is an excerpt from part V of Deligne's Étale cohomology - starting points.
Let $X$ be a complex analytic variety and $f:X\to D$ a morphism from $X$ to the disk. We denote by $[0,t]$ the ...

**1**

vote

**0**answers

101 views

### galois deformation ring with type is union of irreducible components

Notation:
$K$ finite extension of $\mathbb{Q}_p$, $G_K$ absolute Galois group of $K$,
$E$ is finite extension of $\mathbb{Q}_p$ (coefficient field), $O_E$ is ring of integer in $E$.
In this paper of ...

**1**

vote

**0**answers

198 views

### Preserved invariants by a flat family

Let $X, C$ be schemes and $f: X \to C$ be a "flat family". That is $f$ is flat morphism. For sake of simplicity we can say that $f$ is surjective and $C$ is an irreducible curve that "parametrizes" ...

**6**

votes

**0**answers

244 views

### Globalization of Brieskorn-Grothendieck resolution

Brieskorn (1970) showed that for semiuniversal deformation of rational double points surface singularities $X\to S$, there is a finite base change $S'\to S$, such that the new family $f:X\times_{S}S'\...

**3**

votes

**0**answers

148 views

### Lifting a Frobenius endomorphism under an étale morphism

Let $X$ be a smooth affine scheme over $\mathbb{Z}/{p^2}$ that is a complete intersection, say $X$ is the spectrum of $\mathbb{Z}/{p^2}[x_1,...x_n]/(f_1, ... f_r)$, where $n-r$ is the dimension of $X$....