deformation theory is the study of infinitesimal conditions associated with varying a solution P of a problem to slightly different solutions $P_\epsilon$, where $\epsilon$ is a small number, or vector of small quantities.

**1**

vote

**1**answer

116 views

### exact sequence of deformations

Suppose that $C\cong P^1$ and $Def(f)$ denote the first order deformation of pointed stable map $(C,{p_i},f:C\longrightarrow X)$. I read that we have short exact sequence:
$0\longrightarrow H^0(C,T_C)...

**12**

votes

**2**answers

682 views

### Residues of $\frac{1}{\prod_{i=1}^n (x-P_i)^{e_i}}$

This is a problem occurring in my research about deformations of $\mathbb{Z}/p^n$-covers over a ring of power series. Given an algebraically closed field $k$ of characteristic $p>0$, suppose $1< ...

**3**

votes

**0**answers

89 views

### Unobstructedness of nodal holomorphic curve in symplectic manifold

Suppose $(X,\omega)$ is a compact symplectic manifold and $J$ is an $\omega$-compatible almost complex structure on $X$ (the symplectic structure seems to be irrelevant for this question actually). ...

**0**

votes

**0**answers

90 views

### Completion of a local noetherian $\Gamma$-algbera

I am in trouble with a result . Let $\Gamma$ is a complete local noetherian $k$-algbera with residue field $k$ and $(R,m)$ is a local noetherian $\Gamma$-algebra with residue field $k$. Also let $\...

**9**

votes

**1**answer

317 views

### DGLA controlling deformation of holomorphic curves

Suppose $C$ is a compact Riemann surface and $X$ is a compact Kähler manifold. Suppose $f:C\to X$ is a stable holomorphic map. Then, the deformations of $f$ are controlled by the complex $L^\bullet = ...

**1**

vote

**0**answers

145 views

### Hilbert scheme of Grassmannians

Let $X=\mathbb{G}(k,n)$ be the Grassmannian of $k$-planes in $n$-space. Let $Y\subseteq X$ a subvariety and let $H$ be the connected component of the Hilbert scheme of $X$ that contains $Y$.
Is $H$ ...

**2**

votes

**0**answers

49 views

### Deformation theory of holomorphic vector bundles in Donaldson-Kronheimer

There is the Proposition 6.4.3 in Donaldson-Kronheimer as follows:
Proposition (6.4.3)
(i)
There is a holomorphic map $\psi$ from a neighborhood of $0$ in $H^1(\operatorname{End} \mathscr{E})...

**3**

votes

**0**answers

88 views

### Hilbert polynomial of structure sheaf of hypersurfaces

Is there an example of a hypersurface $X$ of some projective space $\mathbb{P}^n$ such that there exists an invertible sheaf $\mathcal{L}$ on $X$, not isomorphic to the structure sheaf $\mathcal{O}_X$,...

**4**

votes

**0**answers

104 views

### Higher Braces algebra and operads

1) In [HIGHER OPERATIONS ON HOCHSCHILD COMPLEX], Gerstenhaber and Voronov showed that the Hochschild complex $C_1(\mathcal A)$ of any associative algebra (or e_1 algebra) $\mathcal A$ is naturally ...

**2**

votes

**0**answers

107 views

### Generalisation of the notion of operad

Let $\mathscr P$ be an operad in the category of vector spaces. An algebra (of the type encoded by $\mathscr P$) on the vector space $V$ is a morphism of operads $\mu:\mathscr P\to End_V$ with $End_V$ ...

**5**

votes

**1**answer

256 views

### Degeneration of smooth curves and Picard-Lefschetz formula

Let $\pi:\mathcal{C} \to \Delta$ be a family of projective curves of genus $g \ge 2$ over the unit disc $\Delta$, smooth over the punctured disc $\Delta\backslash \{0\}$ and central fiber $\pi^{-1}(0)$...

**10**

votes

**2**answers

217 views

### Why is every deformation of the universal enveloping algebra of a complex semisimple Lie algebra trivial?

I have read in these lecture notes that every deformation $U_h(\mathfrak{g})$ of $U(\mathfrak{g})$ is trivial, i.e. isomorphic to $U(\mathfrak{g})[[h]]$ as associative $\mathbb{C}[[h]]$-algebras. Why ...

**2**

votes

**1**answer

93 views

### When is the moduli of generalized parabolic bundles with fixed determinant smooth?

Let $X$ be a smooth, projective curve of genus at least $2$, $x_1, x_2$ two distinct closed points, $d$ an odd integer and $\alpha$ a positive real number less than $1$. By a generalized parabolic ...

**3**

votes

**1**answer

158 views

### Local to global deformation of invertible sheaves

Let $\pi:X \to S$ be a flat, projective morphism, $S$ irreducible. Suppose that for all $s \in S$, the fiber $X_s$ satisfies $h^2(\mathcal{O}_{X_s})=0$. This means in particular that given an ...

**1**

vote

**0**answers

90 views

### Pull-back of line bundles and field extension

Let $X$ be a smooth, projective variety over a field $K$ of characteristic $0$ (not necessarily algebraically closed) and $L$ an invertible sheaf on $X_{\bar{K}}=X \times_K \mbox{Spec}(\bar{K})$, ...

**3**

votes

**1**answer

158 views

### Bertini-type theorem for reducible schemes

Let $X \subset \mathbb{P}^n$ be a reducible, projective subscheme. Assume that $X$ is reduced (meaning that every local ring is reduced i.e., does not contain nilpotent element). Denote by $S_d$ the ...

**2**

votes

**0**answers

115 views

### Absolute approximation of formal schemes

Let $\mathfrak{X}_j$ be an inverse system of qcqs $p$-adic formal scheme, flat over $\mathbf{Z}_p$, with affine transition maps, and assume $\mathcal{O}_{\mathfrak{X}_j}$ is a coherent sheaf of ...

**2**

votes

**0**answers

90 views

### Representability of Flattening stratification functor

Let $f:X \to Y$ be a projective morphism between noetherian scheme. Is there any know condition under which there exists a functorial stratification of $Y$ i.e., there exists a filtration by locally ...

**1**

vote

**1**answer

117 views

### Variation of global sections of line bundles

The underlying field is $\mathbb{C}$.
Let $\pi:\mathcal{C} \to \mathbb{A}^n$ be a flat family of projective curves (not necessarily smooth) of genus $g \ge 2$. Assume $\mathcal{C}$ is regular. Let $\...

**5**

votes

**2**answers

421 views

### Can operads (or category theoretic structures more generally) be compared?

I was reading John Baez’s paper on operads and phylogenetics trees where he formalizes a Jukes–Cantor model of phylogenetics. Because biological questions receive different answers depending on the ...

**11**

votes

**2**answers

430 views

### Clifford algebras as deformations of exterior algebras

$\def\Cl{\mathcal C\ell}
\def\CL{\boldsymbol{\mathscr{C\kern-.1eml}}(\mathbb R)}$
I'm not an expert in neither of the fields I'm touching, so don't be too rude with me :-) here's my question.
A well ...

**4**

votes

**1**answer

338 views

### Bertini's theorem over non-algebraically closed field

Let $K$ be a non-algebraically closed (infinite) field of characteristic $0$ and $X$ a smooth, projective $K$-variety. Does there exist an ample invertible sheaf $\mathcal{L}$ on $X$ such that a ...

**6**

votes

**0**answers

153 views

### A general definition of an equisingular family of singular varieties?

This question is about the existence of a definition. I'm far from being an expert in the field in question I apologize in advance for any inaccuracies or stupid and wrong assumptions.
Let $X$ be a ...

**4**

votes

**0**answers

170 views

### Does the local Bertini theorem in mixed characteristic imply the global Bertini theorem

Let $R$ be a discrete valuation ring with fraction field $K$ and residue field $k$. Assume that the characteristic of $K$ is $0$ and of $k$ is $p>0$. Let $\pi:X \to \mbox{Spec}(R)$ be a flat, ...

**3**

votes

**0**answers

109 views

### Deformation invariance of rational connectedness in positive/mixed characteristic

Let $f:X \to S$ be a smooth morphism and $S$ the spectrum of a discrete valuation ring. If the generic fiber of $f$ is rationally (chain) connected then is the special fiber of $f$ also rationally (...

**1**

vote

**0**answers

115 views

### On regularity of flat families over a DVR

Let $k$ be an algebraically closed field of characteristic zero and $R$ a discrete valuation ring over $k$. Let $\pi:X \to \mathrm{Spec}(R)$ be a flat, projective morphism such that the generic fiber ...

**14**

votes

**2**answers

1k views

### Deformations of Calabi-Yau manifolds

Let $X$ be a compact complex smooth manifold with holomorphically trivial canonical class.
It is true that any (sufficiently small?) deformation of the complex structure of $X$ also has ...

**5**

votes

**0**answers

136 views

### When is an unobstructed formal deformation convergent?

Let $X$ be a smooth finite type scheme over $\mathbb{C}$ and let $ \mathcal{X} \to Spec(\mathbb{C}[[x]])$ be a formal deformation of $X$ (flat family with special fiber $X$). Which of the following ...

**4**

votes

**0**answers

89 views

### Building conilpotent coalgebras from co-square-zero-extensions

Let $\mathrm{K}$ be a field of char. 0.
Given a chain complex $\mathrm{X} $ over $\mathrm{K}$ denote $\mathrm{E}(\mathrm{X})$ the co-square-zero-extension on $\mathrm{X}, $ i.e. the
cocommutative ...

**3**

votes

**0**answers

141 views

### Fedosov vs. Kontsevich deformation quantization : a beginner survey

I'm a condensed matter physicist who tries to understand the details of deformation quantization.
In my self-made training, I've found two huge pieces of work, namely
Fedosov, B. V. (1994). "A ...

**3**

votes

**1**answer

182 views

### Lie algebras : Deformations and Rigidity

I am studying deformation (as it is introduced in https://arxiv.org/pdf/math/0611793.pdf or http://web.cs.elte.hu/~fialowsk/pubs-af/condefnew2.pdf) and rigidity of some infinite dimensional Lie ...

**3**

votes

**2**answers

248 views

### Deformation of “Hecke modification”

Let $X$ be a smooth curve over $\mathbb{C}$. I wish to compute the deformation of the following data $(E,F,x)$. $E$ and $F$ are locally free sheaves over $X$ and $x$ is a point on $X$. They satisfy:
...

**1**

vote

**1**answer

523 views

### Generators of an ideal of $K[[X_1,X_2,X_3]]$

Let us consider an irreducible polynomial $$f \colon= \alpha_e + \alpha_{e-1}X_1 + ... + \alpha_1X_1^{e-1} + X_1^e \in K[[X_2,X_3]][X_1]$$ and set $$\iota_1 \colon K[[X_2,X_3]] \hookrightarrow K[[X_1,...

**1**

vote

**0**answers

63 views

### Compute action of the gauge group in deformation theory of an algebra

I am working on Balazs Szendroi's introduction to deformation theory, but I got stuck on the exercise on the bottom of page 6.
Consider a vector space $A$ with a multiplication $m$ that makes it into ...

**1**

vote

**1**answer

180 views

### Holomorphic family of Riemann surfaces

Let $2g+m\ge 3$. A holomorphic family of (non-singular, compact) Riemann surfaces of type $(g,m)$ is a triple $(X,Y,\pi,s_1,\ldots,s_m)$, where $X,Y$ are complex manifolds of (complex) dimension $n+1,...

**5**

votes

**2**answers

530 views

### Exercise 1.1.(c) in Hartshorne's Deformation Theory

Exercise 1.1.(c) in Hartshorne's Deformation Theory:
Over an algebraically closed field $k$, we define a curve in $\mathbb P^2_k$ to be the closed subscheme, defined by a homogeneous polynomial $f(...

**0**

votes

**0**answers

57 views

### Behaviour of the number of generators of a certain ideals

Let us define $A_n, f_n, {\frak a}_n, k(n), \iota_n, {\frak b}_n$ and $l(n)$ by the followings$\colon$
$A_n \colon= K[[X_1,...,X_n]]$, i.e. a $n$-variable formal power series ring over a field $K$.
...

**5**

votes

**1**answer

344 views

### Elementary (English) reference for the cotangent complex?

I'm trying to understand cotangent complexes and their role in deformation theory, and later the statement that they're somehow natural in a derived scheme/stack.
I understand that the standard ...

**8**

votes

**1**answer

244 views

### Degeneration of curves inside a family of surfaces

We are interested in understanding how a higher genus curve in a smooth surface of general type can degenerate into the non-normal locus of the limit of a degeneration of surfaces. More precisely:
...

**3**

votes

**1**answer

212 views

### Deformation Theoretic Interpretation of $H^1(C,T_C(-2p))$

Suppose $C$ is a (non-singular) compact Riemann surface of genus $g$ and with $n$ (distinct) marked points $p_1,\ldots,p_n$. If we assume the stability condition ($2-2g-n<0$), then it is proved in "...

**3**

votes

**1**answer

96 views

### A differential graded Lie algebra with the Hochschild differential

Let $(V,\cdot)$ be an associative algebra and $W$ be a vector space endowed with a bimodule structure $\triangleright:V\otimes W\to W$ and $\triangleleft:W\otimes V\to W$ such that the following ...

**3**

votes

**1**answer

138 views

### Degeneration of coadjoint orbits

Let $X$ be a projective manifold and we have a degeneration of fibers such that they are biholomorphic to coadjoint orbits, i.e, $X\to \Delta$ , and fibers $X_t$ are biholomorphic to coadjoint orbits ...

**3**

votes

**1**answer

155 views

### Identification of cohomology sheaf in the definition of the Kodaira-Spencer morphism for abelian schemes

Let $p:A \to S$ be a projective abelian scheme, where $S$ is some smooth scheme over a base field $k$. Then we have the Kodaira-Spencer morphism
$$
\kappa : T_{S/k} \to R^1p_*T_{A/S}
$$
where $T_{S/k}$...

**11**

votes

**0**answers

208 views

### Finite dimensional approximation of Donaldson theory

In addition to the Seiberg-Witten invariant there has been further success with "finite dimensional approximations" of the Seiberg-Witten theory: Bauer-Furuta's stable (co)homotopy invariants, and ...

**7**

votes

**1**answer

170 views

### Deformation-Obstruction Theory of YM Instantons

In Donaldson-Kronhiemer Section 4.2.5. (local models of the moduli space of YM instantons) they first get local models of the moduli space $M$ inside the space of all connections modulo gauge $\...

**2**

votes

**0**answers

202 views

### Vanishing of space of first order infinitesimal deformations for irreducible algebraic stack

This question has a few bits, and apologies if some questions are phrased poorly since I am not knowledgeable on the language of stacks or deformation theory.
Suppose $\mathscr{X}$ is an algebraic ...

**0**

votes

**1**answer

165 views

### Can two singular points collapse to a new singular point?

It is about deformation theory on algebraic surfaces.
If there are two singular points on an algebraic surfaces, is it possible that two singular points collapse to a new point as the surface deforms?
...

**3**

votes

**0**answers

155 views

### Modern reference for Fischer-Grauert theorem and its generalization by Schuster

From this MSE question and its answer, and from this MO question I have learned of the following remarkable theorem of Wolfgang Fischer and Haus Grauert.
Theorem. A proper holomorphic submersion with ...

**7**

votes

**0**answers

179 views

### Clarification on relationship between Grothendieck-Messing and Honda systems

It's well-known, due to work of Fontaine (see e.g. this), that if $k$ is a perfect field of characteristic $p$, then one can classify $p$-divisible groups over $W(k)$ by Honda systems. Namely, these ...

**8**

votes

**1**answer

428 views

### deformation theory in positive characteristic

The idea "Formal deformation theory in characteristic zero is controlled by a differential graded Lie algebra (dgla)" goes back to Goldman-Millson, Deligne, Drinfeld among others; see Lurie's ICM talk....