Questions tagged [deformation-theory]

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

Filter by
Sorted by
Tagged with
0
votes
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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$....

1
2 3 4 5
12