The deformation-theory tag has no usage guidance.

**10**

votes

**0**answers

440 views

### Deformations of some simple quotient stacks.

I am interested in stacks of vector bundles on varieties and how deformations of the variety (including non-commutative ones) reflect themselves in deformations of the stack of vector bundles.
I will ...

**8**

votes

**0**answers

254 views

### Are deformations of a scheme some kind of a “derived gerbe” under the cotangent complex?

(This is probably a very naive question. My understanding of the cotangent complex is quite vague.)
Let me first recall the picture for deformations of a smooth morphism:
If $f:X_0\to S_0$ is a ...

**7**

votes

**0**answers

229 views

### Is Hironaka's example the only known deformation of Kähler manifolds with non-Kähler central fibre?

A well-known example in the deformation theory of compact complex manifolds is the one given by Hironaka in his 1962 paper An Example of a Non-Kählerian Complex-Analytic Deformation of Kählerian ...

**7**

votes

**0**answers

145 views

### Deformation of Noether's first theorem

Noether's first variational theorem establishes a correspondence between symmetries and invariants. I would like to know what has been written on the following question: How do the invariants deform ...

**7**

votes

**0**answers

642 views

### Innovations in deformation theory

I've been trying to get into deformation theory lately, and I became thirsty for a bit of context.
Has Deformation Theory seen a lot of development since its inception? If I read Michael Artin's ...

**7**

votes

**0**answers

668 views

### “A theory of generalized Donaldson-Thomas invariants” by Joyce & Song

Is anyone else working through this paper: A theory of generalized Donaldson-Thomas invariants, by Dominic Joyce, Yinan Song? I am trying to verifying example 6.2 (m=2 for simplicity) using only the ...

**6**

votes

**0**answers

158 views

### Reference or explanation: Cup products, deformations of complex structure and Mirror Symmetry

In section 0.3. of their paper "Frobenius Manifolds and Formality of Lie Algebras of Polyvector Fields," Barannikov and Kontsevich discuss the fact that Kontsevich's formality morphism (from his paper ...

**6**

votes

**0**answers

268 views

### A question on infinitesimal deformation (related to intersection theory)

Let $X$ be a connected projective scheme in $\mathbb{P}^n$. Assume, $2 \le \dim X \le n-2$. Let $H$ be a general hyperplane in $\mathbb{P}^n$. Denote by $Z:=X.H$ and $Z'=X.H^m$ for $m \gg 0$. Then ...

**6**

votes

**0**answers

154 views

### Def-Obs theory of sheaves with fixed determinant on CY3.

Let $\mathcal{E}$ be a stable sheaf on a smooth complex projective threefold $X$ and $Ext^k_0(\mathcal{E},\mathcal{E})$ be the traceless Ext groups, defined by the kernel of the trace map
$$
...

**5**

votes

**0**answers

218 views

### Infinitesimal deformation and contractibility of algebraic curves

Let $X$ be a smooth projective surface and $X'$ be an infinitesimal deformation of $X$. Denote by $f: X \to X'$ the natural closed immersion. Let $C' \subset X'$ be a curve such that $f^{-1}(C')$ is ...

**5**

votes

**0**answers

222 views

### Questions (related to deformation theory?) about modular ideals in mod ell Hecke algebras

I suspect that I'm asking (familiar?) questions from deformation theory in a different language. But I'm an illiterate in deformation theory language; if my suspicion is correct I'd be grateful for an ...

**5**

votes

**0**answers

256 views

### Deformation theory with a view toward GW theory and DT theory

I am studying GW theory (and DT theory) in algebraic geometry. I now understand the heuristic "Aut, Def, Obs" argument written in Mirror Symmetry book (by Hori et al.), but it is too hard for me to ...

**4**

votes

**0**answers

298 views

### Obstructions to deformations of complex manifolds

Roughly, a deformation of a compact complex manifold $M$ (in the sense of Kodaira-Spencer) is a triple $(\mathcal{M},w,B)$ where $w:\mathcal{M}\to B$ is a holomorphic map over domain $0\in B\subset ...

**4**

votes

**0**answers

88 views

### $q$-deformations of fundamental equation of information and entropies

Classical information theory: fundamental equation of information
In classical information theory, the information $I(A)$ of an event $A$ (any element of the $\sigma$-algebra $\mathcal F$ of a ...

**4**

votes

**0**answers

191 views

### On the cohomology of Kontsevich graph complex

Kontsevich's formality theorem asserts that a certain quasi-isomorphism of chain complexes between the graded Lie algebra of polyvector fields on $\mathbb{R}^n$ and the dg Lie algebra of ...

**4**

votes

**0**answers

289 views

### Spectral sequences and Koszul complexes in Deformation Theory

I'm reading this paper of A. Vistoli and I have some questions about the discussion in page 5. This is the context (If you don't want to download the paper):
Let $A'$ be a noetherian local ring with ...

**4**

votes

**0**answers

150 views

### formal smooth morphism with a formal smooth source

Let $f:X\rightarrow Y$ a morpism between $k$-schemes ( $k$ a field).
We suppose that X is formally smooth and f is formally smooth and surjective.
Do we have that $Y$ is formally smooth?
Or if it's ...

**4**

votes

**0**answers

114 views

### Deformation rings and change of group

Let $f : G' \subset G$ be an injection between profinite groups such that $G'$ is normal in $G$ (typical situation which I deal with : $G$ the absolute Galois group of a local field, $G'$ an open ...

**4**

votes

**0**answers

376 views

### Mazur's relative deformation functors

In his paper "Deformation Theory of Galois Representations" in the book "Modular Forms of Fermat Last Theorem", Mazur considers more general deformation functors than in his earlier
paper in "Galois ...

**3**

votes

**0**answers

49 views

### Derived Deformations of associative algebras

Let $k$ be a field (if necessary for my question, we can assume its characteristic to be zero). In the non derived context, we can then define deformations of an associative algebra $S$ as follows:
...

**3**

votes

**0**answers

116 views

### What does “control of a deformation problem” mean?

Is the expression "control of a deformation problem' ever defined? There are of course many examples relating a dg-Lie or L-infty algebra to a deformation problem, and the phrase is evocative. Is it ...

**3**

votes

**0**answers

126 views

### Cycle class map in non-smooth family of projective varieties

Let $\pi:\mathcal{X} \to T$ be a family of smooth projective complex varieties. Assume $T$ is quasi-projective, reduced, irreducible but not smooth and of positive dimension. Let $\mathcal{Z}$ be a ...

**3**

votes

**0**answers

254 views

### Hilbert function of a Hilbert scheme

Given a Hilbert scheme $H$ of curves in $\mathbb{P}^3$ satisfying certain Hilbert polynomial, is there any way of understanding the degree or arithmetic genus of an irreducible component of the ...

**3**

votes

**0**answers

285 views

### triangle group representation

Let $G_{\alpha,\beta,\gamma}$ be a hyperbolic triangle group. Then $G$ has a following presentation.
$G=\langle a, b; a^{\alpha}, b^{\beta}, c^{\gamma}, abc\rangle, \alpha, \beta, \gamma \geq 2$.
...

**3**

votes

**0**answers

274 views

### lifting abelian varieties

Hello,
Let A be an abelian variety over $k=\overline{\mathbb{F}_p}$. This abelian variety is endowed with a principal polarization and an action by $\mathcal{O}_E$, the ring of integers of an ...

**3**

votes

**0**answers

254 views

### Obstructions for reduced embedded deformation of Artinian rings

Let $A$ be an Artinian local $k$-algebra. $A$ is said to have a reduced embedded deformation if there is another local ring $S$ such that $A = S/(f_1,\cdots, f_n)$ with $S$ reduced and $(\underline ...

**2**

votes

**0**answers

90 views

### Deformations of associative algebras and Hochschild cohomology

I am studying the deformation theory of associative algebras (and Poisson algebras) and came across a question for which I cannot find an answer:
Let $(A,\mu)$ be a commutative associative algebra ...

**2**

votes

**0**answers

84 views

### Residual scheme to local complete intersection schemes in the projective space

Let $A$ be an integral Noetherian $\mathbb{C}$-algebra. Denote by $\mathbb{P}^3_A:=\mathbb{P}^3_{\mathbb{C}} \times_{\mathbb{C}} \mathrm{Spec}(A)$. Let $X,Y$ be closed local complete intersection ...

**2**

votes

**0**answers

115 views

### What is the technical difference between a deformation and a perturbation?

What is the technical difference between a deformation and a perturbation? Do they exist in somewhat different categories?

**2**

votes

**0**answers

214 views

### Stacks and Maurer-Cartan elements

One can associate to any deformation problem a dg Lie or $L_{\infty}$-algebra $g$.
For instance, in algebraic deformation theory, let's say the deformation theory of algebras over a Koszul operad $P$, ...

**2**

votes

**0**answers

110 views

### Projective deformations of a projective hyperkahler manifold

Let $X$ be a projective hyperkahler manifold, $f:\mathcal{X}\rightarrow \mathcal{M}$ its Kuranishi family. We define $\mathcal{P}:=\{m\in \mathcal{M} $such that $\mathcal{X}_m$ is projective$\}$, ...

**2**

votes

**0**answers

271 views

### Deformation of a family of curves in a surface

Let $B$ parametrize a family of (reduced) curves in $\mathbb{P}^3$. Assume there exists a smooth hypersurface $X$. in $\mathbb{P}^3$ containing all the curves parametrized by $B$. In otherwords, for ...

**2**

votes

**0**answers

74 views

### Changing the Hilbert scheme of curves by adding the hyperplane section

Let $X$ be a smooth degree $d$ ($d>4$) surface in $\mathbb{P}^3$.
Let $C$ be a divisor on $X$. Let $D$ be a general element of the linear series $|C+H_X|$ where $H_X$ is the hyperplane section of ...

**2**

votes

**0**answers

271 views

### On infinitesimal deformation of projective varieties

Let $X$ be a smooth complex projective variety. Suppose $X \hookrightarrow \mathbb{P}^n$. Let $Z$ be a closed (reduced) subscheme of $X$.
Let $X'$ be an infinitesimal deformation of $X$ corresponding ...

**2**

votes

**0**answers

291 views

### Deformation over small disk and deformation over complex disk

Let $D=\mathop{Spec}(\mathbb C[[t]])$ be the algebraic small disk and let $\Delta= \{z\in \mathbb C: |z|<1\} $. Let $X_0$ be an algebraic surface over $\mathop{Spec}\mathbb C$
Suppose now that I ...

**2**

votes

**0**answers

160 views

### fpqc, formal smoothness

Based on Possible formal smoothness mistake in EGA, let $X$ and $Y$ $k$-schemes ($k$ a field),
let $f:X\rightarrow Y$ a fpqc morphism such that $f$ is formally smooth and $X$ formally smooth, do we ...

**2**

votes

**0**answers

220 views

### functor of Artinian rings in Deformation theory

$k$ : algebraically closed field
$\mathcal{C}$: category of local Artinian $k$-algebras with residue field $k$
$\hat{\mathcal{C}}$: category of complete local $k$-algebras with residue field $k$
...

**2**

votes

**0**answers

112 views

### Family with a fixed special fiber over finite fields

Let $X$ be a smooth projective variety over a finite field $\mathbb{F}_p$. What are the conditions for the existence of a projective variety $X'$ over $\mathbb{Q}_p$ such that $X$ is a special fiber ...

**2**

votes

**0**answers

136 views

### which deformation of a matrix lead to flat deformations of determinantal varieties (fitting ideals)?

Let $(R,m)$ be a complete local ring over a field (of char=0). Consider a (not necessarily square) matrix $A$ over $R$. Consider its fitting ideal, $I_j(A)$. In general, a deformation of the matrix, ...

**2**

votes

**0**answers

409 views

### Grothendieck-Messing theory

Hello,
I would like to work out some examples of deformation of isogenies via Grothendieck-Messing theory. Let's take an easy example: Let A be an abelian variety over $k=\overline{\mathbb{F}_p}$ and ...

**2**

votes

**0**answers

288 views

### Hilbert scheme of curves in a degree $d$ surface in $\mathbb{P}^3$

Fix a Hilbert polynomial $P$ of a non-plane curve in $\mathbb{P}^3$. By a curve we mean a reduced scheme of pure dimension $1$ i.e., it can be reducible but is reduced. Suppose that the degree of ...

**2**

votes

**0**answers

220 views

### Deformation of modules over noncommutaitve rings

Let $M$ be a finitely generated module over a commutative ring $R$. The first order deformation of module $M$ is parametrized by $Ext^{1}(M,M)$ and the obstruction is parametrized by $Ext^{2}(M,M)$. ...

**2**

votes

**0**answers

94 views

### Dual Honda systems

Hello,
There is an equivalence of categories between p-divisible groups over the ring of Witt vectors $W(k)$ and the category of "Honda systems", that is couples $(M,L)$ formed by a Dieudonné module ...

**2**

votes

**0**answers

109 views

### Measuring the obstruction of extending a cover

Let $E$ be a 1-dimensional integral scheme (if you need to assume more, do so). Let $\hat{E}$ be $Spec$ of the completion of a stalk of $E$ at some closed point (think for example ...

**2**

votes

**0**answers

704 views

### deformation of abelian varieties

$k$ is a field of characteristic p, $C_k$ is the category of all artinian local rings with residue field an extension of $k$. $A$ is a dim-$g$ abelian variety over $k$, $L$ is a CM field with ...

**2**

votes

**0**answers

267 views

### Are schematic fixed points of a torus action on an affinized twistor deformation flat?

This is a follow-up to some earlier questions about flatness of schematic fixed points of certain deformations. Since I could never come up with good enough hypotheses in those examples, let me try a ...

**2**

votes

**0**answers

623 views

### A versal deformation of a simple node

I have a passing familiarity with moduli theory, which gets me in trouble when I want to understand specific examples.
The basic question I would like to understand is how to prove something is a ...

**1**

vote

**0**answers

159 views

### Flat cohomology of an ordinary liftable Calabi-Yau threefold

Let $k$ be a perfect field of characteristic $p>0$ and consider an ordinary liftable Calabi-Yau threefold $X_{0}/k$. By this I mean that $H^{i}(X_{0},B_{X_{0}/k}^{j})=0$ for all $i\geq 0$ and ...

**1**

vote

**0**answers

72 views

### miniversality vs versality

Consider a moduli problem $\mathcal{M}$. Assume, at each point $x$, the associated deformation problem $\mathcal{M}_x$ has a tangent-obstruction theory. It follows that $\mathcal{M}_x$ has a hull ...

**1**

vote

**0**answers

125 views

### How to determine a functor (natrually arising from geometry or homological algebra) to be locally of finite presentation?

How to determine a functor (natrually arising from geometry or homological algebra) to be locally of finite presentation?
Is there any reference for such staff?
My example of functors underlying this ...