# Tagged Questions

The deformation-theory tag has no wiki summary.

**1**

vote

**1**answer

94 views

### The canonical bundle of an infinitesimal deformation

Let $X_0$ be a smooth projective variety over the complex numbers and let $X$ be an infinitesimal deformation of $X_0$ over the ring of dual numbers.
If the canonical bundle of $X_0$ is ample (resp. ...

**4**

votes

**2**answers

300 views

### Specialisation of rigid varieties

Recall that a variety $X$ over a field $k$ is called rigid if $H^1(X, T_X) = 0$. I am interested in understanding this property under specialisation.
Let $R$ be a discrete valuation ring and let ...

**7**

votes

**1**answer

322 views

+200

### Deformations of Ext rings

Let $k$ be a base ring and $k[x]$ the ring of polynomials in an indeterminate $x$ over $k$. Consider a (not necessarily commutative) algebra $A$ over $k[x]$ and two $A$-modules $M$ and $N$. Then for ...

**4**

votes

**0**answers

100 views

### Infinitesimal deformations of a singular projective surface

Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities.
Assume that both the singularities in $x_1$ and in $x_2$ admit a ...

**1**

vote

**1**answer

207 views

### Strong form of Grothendieck's algebrization theorem

Let $R$ be a Henselian discrete valuation ring with algebraically closed residue field $k$ ($R$ is not necessarily complete), $X$ a regular surface over $\mathrm{Spec}(R)$ and a sequence of locally ...

**2**

votes

**0**answers

125 views

### When is the Hom-scheme connected?

Suppose that $A$ and $B$ are two algebras finite over a field $K$ (which may be assumed to be separably closed, if that helps), then we know that the functor ...

**9**

votes

**2**answers

284 views

### Infinitesimal deformations of the formal group of $\mathbb{G}_m$

For a commutative ring $R$, consider the formal group $\widehat{\mathbb{G}}_m$ over $R$ that is the completion of $\mathbb{G}_{m, R}$ along its identity section (naively, $\widehat{\mathbb{G}}_m$ is ...

**2**

votes

**1**answer

99 views

### formally etale deformations of algebras

Let $A$ be a local artinian ring with residue field $k$, $S$ a $k$-algebra. Suppose there is a formally etale deformation $B$ of $S$ over $A$, i.e. a flat $A$-algebra $B$ such that $S\cong ...

**5**

votes

**2**answers

312 views

### References for the moduli space of complex structures

I am looking for references where the moduli space of complex structures on a complex manifold is well explained: in particular the infinitesimal deformations, the obstructions, the elliptic complex ...

**1**

vote

**1**answer

167 views

### Infinitely many rational nt multisection in elliptic K3 surfaces by deformation theory

I'm trying to read this paper of Bogomolov and Tschinkel http://arxiv.org/pdf/math/9902092.pdf about potential density of rational points on elliptic K3 Surfaces.
I got quite stuck in Corollary 3.27 ...

**4**

votes

**1**answer

166 views

### Deformation of curves and closed immersions

Let $\pi:\mathcal{C} \to B$ be a (flat) family of complex projective schemes of pure dimension $1$ with fixed Hilbert polynomial, in particular, for some $n \ge 3$, $\mathcal{C} \hookrightarrow ...

**1**

vote

**1**answer

163 views

### Representability of deformation functors via SGA

I'm trying to understand Böckle's proof of Theorem 2.1.1 in his notes on deformation theory.
Let's start with some motivation. Let $\Gamma$ be a profinite group (I'm thinking of an absolute Galois ...

**0**

votes

**0**answers

157 views

### Flatness and intersection of fibers

Let $f:X \to Y$ be a flat, proper, surjective morphism between noetherian schemes. Assume $Y$ is irreducible and smooth over $\mathbb{C}$. Suppose that $X$ is the union of two schemes $X_1$ and $X_2$ ...

**2**

votes

**0**answers

84 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

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

**6**

votes

**0**answers

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

**10**

votes

**1**answer

561 views

### Associativity of Kontsevich's star product up to second order

In Deformation quantization of Poisson manifolds, Kontsevich gives the quantization formula
$$f \star g = \sum_{n=0}^\infty \hbar^n \sum_{\Gamma \in G_n} w_\Gamma B_{\Gamma,\alpha}(f,g).$$
He gives ...

**1**

vote

**0**answers

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

**7**

votes

**2**answers

310 views

### Deformations of a blowup

Let $S$ be a smooth projective surface over $\mathbb{C}$. (I guess this can be more general—higher dimension, other ground fields, non-projective, maybe even singular?—and I'dd like to hear that.) Let ...

**4**

votes

**0**answers

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

**2**

votes

**0**answers

114 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?

**1**

vote

**0**answers

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

**3**

votes

**1**answer

189 views

### Classical deformation of algebras

Given a complex manifold (or a smooth scheme) $X$, the classical (infinitesimal) deformation theory is parametrized by the first cohomology with coefficients in the tangent sheaf $H^1 (X, T_X)$.
...

**1**

vote

**0**answers

82 views

### wedge product deformation space Calabi-Yau fourfold

I know that the Lie bracket for $(1,1)$ vector field corresponds to the obstruction map in deformation theory. I was wondering if the wedge product of the deformation vector with itself has any ...

**0**

votes

**0**answers

71 views

### Lie bialgebras cohomology

I am wondering if there exist a universal construction of (co)-chain complex associated to a given algebra to study deformations as Hochschild homology for associative algebras, or Chevalley-Eilenberg ...

**1**

vote

**1**answer

213 views

### Smoothness and smoothness over formal neighborhood

Let $f:X\rightarrow Y$ a locally finitely presented map. Let $x\in X$ and $y=f(x)$.
We assume that the map on the level of fomal neighborhoods $X_{x}\rightarrow Y_{y}$ is formally smooth, can we find ...

**7**

votes

**0**answers

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

**1**

vote

**1**answer

134 views

### On the infinitesimal lifting property of non-singular affine schemes

Let $k$ be an algebraically closed field (not necessarily of characteristic $0$), $X$ a non-singular affine closed subscheme in $\mathbb{A}^n_k$ for some $n \ge 2$. Denote by $I_X$ the ideal of $X$ in ...

**0**

votes

**1**answer

221 views

### Line on a hyper surface

Assume $X$ is a hyper surface in $\mathbb{P}^n$, can one always find a closed immersion $i:\mathbb{P}^1 \rightarrow X$?

**2**

votes

**1**answer

157 views

### deformations of vector bundles on curves

Let $X$ be a smooth algebraic curve. Suppose I have a flat family $V_y\to X$ of vector bundles on $X$ over an affine scheme $S$. Let $p=Spec(k)$ be one geometric point of $S$. If the determinant of ...

**1**

vote

**1**answer

151 views

### An application of the Grauert's upper semi-continuity theorem

Let $X$ be a smooth projective variety, $A$ a complete discrete valuation ring, $Y=\mbox{Spec} A$ and $f:X \to Y$ a smooth, projective, surjective morphism. Denote by $y$ the closed point of $Y$. Let ...

**1**

vote

**2**answers

147 views

### Jacobian of a curve and field extension

Let $K$ be a field of characteristic zero and $X_K$ a smooth projective curve on $K$. Denote by $\bar{K}$ the algebraic closure of $K$ and $X_{\bar{K}}$ the base change of $X_K$ to $\bar{K}$. Under ...

**3**

votes

**2**answers

206 views

### Injectivity under flat base change of the Picard group on smooth projective curves

Let $K$ be a field of characteristic $0$, $X_K$ a smooth projective curve over $K$. Denote by $\bar{K}$ the algebraic closure of $K$. The base change morphism $X_{\bar{K}} \to X_K$, induces via the ...

**4**

votes

**0**answers

83 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

**2**answers

415 views

### Are linear algebraic groups rigid?

The underlying variety of a linear elgebraic group (say, over an algebraically closed field) is affine, so doesn't have nontrivial (infinitesimal) deformations. I'm curious to know whether it's ...

**4**

votes

**0**answers

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

**0**

votes

**1**answer

223 views

### Obstruction and 1st order infinitesimal deformations of Generalized Elliptic Curves (Deligne-Rapoport)

We consider the deformation theory of a generalized elliptic curve $(C_0,+)$ over a field $k$. Let $D$ be the deformation functor.
And now we only consider the case that $C_0$ is irreducible as in ...

**5**

votes

**3**answers

125 views

### graded generalization of the Moyal–Weyl product

Has anyone written about the graded generalization of the Moyal–Weyl product/star product, that is, where the original algebra is already graded? Is it just a matter of signs?

**2**

votes

**1**answer

118 views

### Generic vs General property of reducedness in a family of projective schemes

Let $\pi:\mathcal{X} \to B$ be a flat family of projective schemes, $B$ is irreducible. Let $\mathrm{Spec} K$ be a generic point on $B$. Denote by $\mathcal{X}_K$, the pull-back of $\mathcal{X}$. This ...

**1**

vote

**0**answers

79 views

### Obstruction to Gorenstein Liaisons of space curves

Let $P_1,P$ be Hilbert polynomials of curves in $\mathbb{P}^3$. Denote by $H_{P_1,P}$ the flag Hilbert scheme parametrizing pairs $(C_1 \subset C)$ where $C_1, C$ are of Hilbert polynomials $P_1$ and ...

**9**

votes

**1**answer

341 views

### Motivation behind the definition of hochschild cohomology

For an associative algebra $A$ one can define the Hochschild cohomology of $A$ as $ HH^n(A,A):= Hom_{\mathcal{D}(A^{op} \otimes A)}(A, [n]A)$ (this definition also works for the graded and dg cases as ...

**4**

votes

**1**answer

187 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

598 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

188 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

341 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

61 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

263 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

162 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

133 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

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