The deformation-theory tag has no usage guidance.

**4**

votes

**1**answer

191 views

### Surjectivity of certain cohomology groups on hypersurfaces of high degree

I had been reading an article by Spencer Bloch. There is a remark in this text which states the surjectivity of a particular map between cohomology groups without explaining further. I had been trying ...

**6**

votes

**1**answer

617 views

### Kodaira-Spencer theory of deformation done right

I thought in asking this question on Math StackExchange, but by my experience I don' t think anyone will notice me. Recently, I started studying deformation of complex manifolds in the sense of ...

**4**

votes

**1**answer

193 views

### Simple maps: Flat versus locally trivial

In deformation of complex analytic spaces, one usually considers an analytic proper simple surjective map $\varpi: \mathscr{M} \twoheadrightarrow \mathscr{P}$ as an analytic family. However the term ...

**13**

votes

**1**answer

349 views

### Unobstructedness of braided deformations of symmetric monoidal categories in higher category theory

Let $k$ be a field of characteristic zero, and $\mathcal{C}$ be a $k$-linear additive symmetric monoidal category. A braided deformation of $\mathcal{C}$ over a local artin ring $R$ with residue ...

**1**

vote

**0**answers

63 views

### Differential graded Lie algebras and gauge equivalent

For the Kodaira-Spencer complex $\Omega^{0,*}(T^{1,0})[[t]]$ on a compact complex manifold, with a Hermitian metric. It is well known that finding formal series solution $\Xi = \Xi_1 t^1 + \Xi_2 t^2 + ...

**5**

votes

**1**answer

270 views

### formally smooth functor

Let $p$ be a prime number, $\mathcal{O}$ the integers of a finite extension of $\mathbb{Q}_p$ with residue field $k$. Let $\mathcal{C}$ be the category of complete, local, noetherian ...

**0**

votes

**1**answer

168 views

### Is being fano preserved under flat base change [closed]

Let $K$ be a field of characteristic zero and $X$ be a projective variety over $\mbox{Spec} K$. Denote by $\bar{K}$ the algebraic closure of $K$. Let $\bar{X}$ be the fiber product $X \times_K ...

**1**

vote

**0**answers

139 views

### Hochschild cohomology and bar resolutions

I asked the following question on mathstack but didn't receive any comments, so I thought I'd try my luck here.
Let $A$ be an associative algebra over a field $k$. One can define $HH^n (A,A)$ as $ ...

**4**

votes

**1**answer

197 views

### Simultaneous resolution of singularities in special cases of flat families of projective varieties

Let $\pi:\mathcal{X} \to B$ be a flat family of projective varieties. Assume that $B$ is irreducible. Suppose that $\mathcal{X}$ is smooth except for a closed subscheme, say $Y$ which is isomorphic to ...

**3**

votes

**1**answer

128 views

### Deforming curves to other curves over the field of rational numbers

Let $X$ and $Y$ be smooth projective geometrically connected curves over $k$ of genus $g$ at least two.
If $k$ is an algebraically closed field of characteristic zero, there exists a connected ...

**0**

votes

**1**answer

79 views

### Two questions about line bundles over Kuranishi families

i'm studying the article "Variétés Kahleriennes dont la première classe de chern est nulle" by Arnaud Beauville and i have a couple of questions i would like to ask you, hoping they are not too ...

**3**

votes

**1**answer

287 views

### Cohomology and proper base change

Let $\pi:\mathcal{X} \to B$ be a flat, projective surjective morphism over $\mathbb{C}$. Assume that $B$ is a smooth quasi-projective curve. Let $\mathcal{F}$ be a coherent sheaf on $\mathcal{X}$, ...

**1**

vote

**1**answer

159 views

### On infinitesimal neighbourhood of a point in a projective scheme

Let $X, Y$ be irreducible projective schemes over $\mathbb{C}$ and $X \subset Y$. Let $x \in X$ be a closed point. Assume that for any positive integer $n$ and any morphism from $\mathrm{Spec} ...

**2**

votes

**1**answer

92 views

### Equivalence of star products on two differents Poisson algebras?

Let $A$, $B$ be two commutative and associative $\mathbb k$-algebras and let $A_\hbar:=A[[\hbar]]$, $B_\hbar:=B[[\hbar]]$ be the corresponding ring of formal series. Of sense [Deformation theory and ...

**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 ...

**1**

vote

**1**answer

244 views

### Are deformations of quotients of local rings embedded?

In Hartshorne's book "Deformation Theory" one can find a statement (inside the proof of Theorem 10.1) that every deformation $X' \to Spec(C)$ of an affine scheme $$X = ...

**1**

vote

**1**answer

173 views

### Deformation space form the point of view of intersection theory

I'm interested in deformations of subvarieties of a toric variety $X$.
Suppose we know a subvariety $V$ in the Chow group of $X$, for example, $V$ is a linear combination of powers of hypersurfaces. ...

**9**

votes

**1**answer

296 views

### Extended Deformation Theory (dg-Lie algebra principle in positive characteristic?)

Recently, I looked at articles that make use of Deligne's idea that "in characteristic 0 every deformation problem is governed by a differential graded
Lie algebra" as explained first in ...

**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 ...

**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

**2**answers

379 views

### Misunderstanding in the hypotheses of Schlessinger's criterion

Good day to everyone.
In studying deformation theory of Galois representations, I've come surely to an error, relating Schlessinger's criterion.
Let's fix a representation $\bar{\rho}$ of a group ...

**7**

votes

**1**answer

247 views

### alternative to Kontsevich formality

Has anyone considered an alternative approach to Kontsevich formality in which the DGCA of poly-vector fields is deformed to an $L_\infty$-algebra?

**2**

votes

**1**answer

164 views

### Locally trivial deformations of surfaces with quotient singularities

Let us consider the surface $\mathbb{A}^{2}/\mu_{6}$ where the action is given by
$$
\begin{array}{ccc}
\mu_{6}\times\mathbb{A}^{2} & \longrightarrow & \mathbb{A}^{2}\\
(\epsilon,x_{1},x_{2}) ...

**1**

vote

**0**answers

140 views

### Deformation of complete intersection curves

Let $\mathcal{X} \to B$ be a family of smooth surfaces in $\mathbb{P}^3$. Let $\mathcal{C} \to B$ be a family of curves in $\mathbb{P}^3$. Assume that for all $b \in B$, the fiber $\mathcal{C}_b$ is ...

**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$, ...

**3**

votes

**1**answer

187 views

### Deformations of quotient singularities

Let $Y$ be an affine scheme over a field of characteristic zero. Suppose we have a group $G$ acting on $Y$ and that the subset of $Y$ of points with non-trivial stabilizer is in codimension greater or ...

**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 ...

**8**

votes

**1**answer

404 views

### Why can you deform singularities in two dimensions but not in higher dimensions?

I've been trying to read this paper to understand deformations of surface quotient singularities. I'm particularly interested in when one can deform certain cyclic quotient singularities into other ...

**4**

votes

**1**answer

146 views

### Characterizing the rigidity of morphisms of smooth varieties

Let $X$ and $Y$ be smooth algebraic varieties over a field $k$ of characteristic $0$. For varieties we know that $X/k$ is rigid if and only if $H^{1}(X,T_{X})=0$. But $H^{1}(X,T_{X})$ also ...

**2**

votes

**1**answer

149 views

### Deformation of transversal intersection

Fix a positive integer $n \ge 2$. Let $\pi:\mathcal{X} \to B$ be a family (flat, projective and surjective morphism) of projective subschemes of $\mathbb{P}^n$.
Assume $B$ is reduced, irreducible.
...

**5**

votes

**1**answer

243 views

### A question on the morphism between Hilbert schemes

Let $L_1,L_2$ be two irreducible component of two different Hilbert schemes parametrizing closed subscheme in $\mathbb{P}^n$ and $\mathbb{P}^{n-1}$, respectively. Denote by $\pi_1: \mathcal{X}_1 \to ...

**7**

votes

**1**answer

182 views

### Projective embedding in families of curves

Let $\pi:\mathcal{X} \to B$ be a family (flat, projective, surjective morphism) of projective curves (not necessarily reduced) where $B$ is smooth, irreducible. Suppose that for some closed point $b_0 ...

**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$\}$, ...

**4**

votes

**1**answer

204 views

### Relating deformations of a scheme to deformations of its singular locus

Let $X$ be a normal scheme with quotient singularities and $Y\subset X$ its singular locus. The first order deformations of $X$ are parametrized by $\mathcal{E}xt^{1}(\Omega_{X},\mathcal{O}_{X})$. ...

**4**

votes

**1**answer

201 views

### Projective embedding of curves which preserves the degree

Let $C$ be a projective curve (not necessarily reduced or irreducible).
Let $f:C \hookrightarrow \mathbb{P}^n$ be a closed immersion. Suppose that the degree of $f(C)$ is equal to $e$. How many ways ...

**3**

votes

**1**answer

170 views

### Generalization of Hilbert/Quot schemes

For some positive integer $n$, recall that the Quot scheme $Quot(\mathcal{O}_{\mathbb{P}^n})$ parametrizes ideal sheaves of subschemes in $\mathbb{P}^n$. As far as I understand (from a previous post) ...

**1**

vote

**1**answer

224 views

### Making a family of schemes non-reduced

Let $f:X \to Y$ be a flat, family of smooth projective varieties. Assume futher that $Y$ is smooth. Suppose there exists a scheme $Y'$ such that the associated reduced scheme $Y'_{\mathrm{red}} \cong ...

**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 ...

**2**

votes

**1**answer

174 views

### Are singular rational curves on K3 surfaces rigid?

Let $S$ be a K3 surface over the complex numbers $\mathbb{C}$. If $C\subset S$ is a smooth rational curve, the normal bundle $N_{C/S}$ is isomorphic to $\mathbb{O}(-2)$ and thus $C$ is rigid. What ...

**1**

vote

**1**answer

277 views

### A question on nested Hilbert scheme

Let $H_1, H_2$ be two Hilbert schemes parametrizing subschemes in $\mathbb{P}^{n_1}, \mathbb{P}^{n_2}$ with Hilbert polynomials $P_1, P_2$, respectively. Given a pair $(Z_1, Z_2)$ of subschemes in ...

**2**

votes

**1**answer

230 views

### Is Mazur's deformation ring R integral?

Consider the absolutely irreducible Galois representation
$\overline{\rho} \colon G_{\Bbb Q} \to {\mathrm{GL}}_2({\Bbb F}_p)$. We apply the Mazur's deformation theory on the lift ${\rho} \colon ...

**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 ...

**1**

vote

**1**answer

262 views

### Existence of rational section to a flat projective morphism

Let $X$ be a smooth projective variety over an algebraically closed field $K$ of dimension greater than $1$. Suppose there exists a flat projective morphism $f:X \to \mathbb{P}^n$ for some $n \ge 1$. ...

**0**

votes

**1**answer

120 views

### Rational equivalence and infinitesimal deformation of curves

Let $C_1$ and $C_2$ be two rationally equivalent curves in $\mathbb{P}^3$. Is it true that the dimension of $H^0(\mathcal{N}_{C_1|\mathbb{P}^3})$ equal to that of ...

**6**

votes

**2**answers

492 views

### Higher commutators in E_n algebras and the Maurer--Cartan equation

Let $A$ be an associative algebra in $dgVect_k$. Then the commutator $[\cdot,\cdot]:A\otimes A\to A$ defined by $[x,y]=xy-(-1)^{|x||y|}yx$ gives $A$ the structure of a (dg-)Lie algebra. The ...

**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

**1**answer

187 views

### Deformations of a complex trivial up to quasi-isomorphism

Let $(C, d_0)$ be some cochain complex over commutative ring $R$ and $R$ is an algebra over a field $k$, then I could consider complex $(C[t], d_0+td_1)$ over ring $R \otimes k[t]$ where $d_1$ is some ...

**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 ...

**1**

vote

**1**answer

160 views

### Obstruction map for local singularities via tangent (Andre-Quillen) cohomology

Let $R$ be a local singularity (for example $R=\mathbb{C}[[x_1, \ldots , x_n]]/I$) ring over $\mathbb{C}$. Let $\mathbb{L}_{R}$ be a cotangent complex of $R$, then one can define tangent ...

**1**

vote

**1**answer

127 views

### Isomorphism of homology groups under deformation

Let $\pi:\mathcal{X} \to U$ be a family of hypersurfaces (not necessarily smooth) in $\mathbb{P}^n$ for some $n \ge 3$. Assume that $U$ is simply connected (under analytic topology). For any pair $u,v ...