The deformation-theory tag has no wiki summary.

**2**

votes

**1**answer

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

**0**

votes

**0**answers

70 views

### Surjectivity on tangent space of Hilbert schemes imply dominance?

Let $P_1, P_2$ be two Hilbert polynomials of certain subschemes in $\mathbb{P}^n$ and $Hilb_{P_1,P_2}$ be the flag Hilbert scheme parametrizing all pairs $(Z_1,Z_2)$ such that $Z_1 \subset Z_2$ and ...

**2**

votes

**0**answers

231 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

144 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

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

**2**

votes

**0**answers

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

**6**

votes

**1**answer

280 views

### What's the relation between the heat kernel proof of the index theorem and deformation quantization?

In the book "Heat kernels and Dirac operators", I found the slogan by Quillen in the Introduction: "Dirac operators are a quantization of the theory of connections, and the supertrace of the heat ...

**6**

votes

**1**answer

244 views

### Is Nijenhuisâ€“Richardson bracket a BV bracket?

Let $g$ be a finite dimensional Lie algebra, and let me denote $A=(\bigwedge g^* \otimes g, d)$ the Chevalley-Eilenberg complex that calculates cohomology of the Lie algebra with coefficients in the ...

**4**

votes

**1**answer

313 views

### Why should we study deformations of perfect complexes

What are the advantanges of studying deformation of perfect complexes over the classical theory of deformation of coherent sheaves? Any references which elaborates on the applications on deformation ...

**13**

votes

**1**answer

325 views

### Proof of Hensel's lemma by using the deformation theory

I am thinking about the simplest version of Hensel's lemma. Fix a prime $p$. Let $f(x)\in \mathbf{Z}[x]$ be a polynomial. Assume there exists $a_0\in \mathbf{F}_p$ such that $f(a_0)=0\mod p$, and ...

**1**

vote

**0**answers

93 views

### Functorial property of universal family

Let $P_1, P_2$ and $P_3$ be Hilbert polynomials of projective schemes. Suppose that the flag Hilbert scheme $Hilb_{P_1,P_2}$ is non-empty. Assume further that there exists a closed immersion of the ...

**4**

votes

**1**answer

415 views

### Is projective morphism with projective fiber flat?

Let $X, Y$ be quasi-projective Noetherian schemes and $f:X \to Y$ be a projective surjective morphism. Assume that every fiber of $f$ is isomorphic to a projective space $\mathbb{P}^n$ for a fixed ...

**1**

vote

**0**answers

80 views

### cotangent complex for finite flat morphism and different ideal

Let a ring $A$, $F=A[X_{1},\dots X_{n}]$ and $B:= F/J$.
We suppose that we have a finite flat lci morphism $f:Spec(B)\rightarrow Spec(A)$.
To mesure the singularities of this map, Gabber-Ramero ...

**6**

votes

**1**answer

236 views

### Formal series convergence in deformation quantization and $C^*$-condition

A link between formal series convergence in deformation quantization (strict deformation quantization) and producing $C^*$-algebras instead of mere $*$-algebras (which ...

**1**

vote

**0**answers

150 views

### Contractibility of union of smooth rational curves in famillies

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible curves in $\mathcal{X}$ satisfying ...

**2**

votes

**1**answer

138 views

### Existence of logarithmic structures and d-semistability

I am reading a paper ( Kawamata, Y.; Namikawa, Y. Logarithmic deformations of normal crossing varieties and smoothing of degenerate Calabi-Yau varieties. Invent. math. 1994, 118, 395â€“409.) I have a ...

**5**

votes

**0**answers

208 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

**1**answer

443 views

### Kodaira Spencer map and versal deformation

First I want to clarify what I mean by the Kodaira-Spencer map.
Let's have a family of deformations $\pi:\mathcal{X}\rightarrow B$ of a complex manifold $X=\mathcal{X}_0:=f^{-1}(0)$ (by that I mean ...

**8**

votes

**2**answers

456 views

### When does the categorical definition of a module work?

$\DeclareMathOperator{\ab}{Ab}\DeclareMathOperator{\qcoh}{QCoh}$
This entry in the nlab shows that for $A$ a (commutative unital) ring, the category $\mathsf{Mod}_A$ of $A$-modules is equivalent to ...

**2**

votes

**0**answers

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

**4**

votes

**0**answers

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

**19**

votes

**2**answers

740 views

### Strict applications of deformation theory in which to dip one's toe

I hesitate to ask a question like this, but I really have tried finding answers to this question on my own and seemed to come up short. I readily admit this is due to my ignorance of algebraic ...

**2**

votes

**0**answers

199 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$
...

**4**

votes

**1**answer

203 views

### What is the genus of the limit of a family of singular curves?

Let $\mathcal{X}$ be a flat family of (proper) algebraic curves. If generic fibers in $\mathcal{X}$ are non-singular of genus $g$, then the geometric genus (i.e. genus of the desingularizations) of ...

**3**

votes

**1**answer

244 views

### How to determine “genericness” of an element of a family of algebraic varieties?

Given a (flat) family of complex algebraic varieties $X_t$ (say parametrized by $\mathbb{C}$) and a specific $t_0$, how does one proceed to check if $X_{t_0}$ is a 'generic element'?
More precisely, ...

**1**

vote

**1**answer

168 views

### calculate T^i-functor for a example

I just start to study Hartshorne's 'Deformation theory'.
I have a stupid question about $T^i$-functors. It may be an easy algebra.
Exercise 1.3.3.
Let $B=k[x,y]/(x^2,xy,y^2)$. Show that ...

**0**

votes

**0**answers

258 views

### Uniqueness of deformation family,

Say I want to construct a flat family of affine schemes using deformation theory. To be more specific, suppose I have a local $k$-algebra $A$, and I want to find a flat family $\mathcal{X} \to T$, ...

**5**

votes

**6**answers

1k views

### Tangent space in Algebraic geometry and Differential geometry

We know in differential geometry, given a $C^k$ manifold for $k>1$, the tangent space at a point in this manifold is parametrized by curves passing through this point modulo certain equivalence ...

**2**

votes

**1**answer

375 views

### Morphism with non-reduced special fibre

Let $X, Y$ be irreducible projective varieties and $Y$ be smooth. Let $f:X \to Y$ be a flat projective morphism. Assume that a special fiber of $f$ is non-reduced i.e., there exists an irreducible ...

**1**

vote

**0**answers

81 views

### How do I check whether an orbifold admits deformations?

(Cross-post from math.stackexchange, where it has received no attention.)
Orbifolds $\mathbb{C}^2/\mathbb{Z}_n$, given by the action $(x, y) \mapsto (\zeta x, \zeta^{-1} y)$ with $\zeta$ a primitive ...

**6**

votes

**1**answer

216 views

### Does the vanishing of the Poisson bracket on $S(\mathfrak{g})^{\mathfrak{g}}$ inspire the disover of Duflo's isomorphism theorem?

For any finite dimensional Lie algebra $\mathfrak{g}$, we know that the universal enveloping algebra $U(\mathfrak{g})$ is a deformation of the symmetric algebra $S(\mathfrak{g})$. In fact let's define
...

**1**

vote

**0**answers

104 views

### Non-proper intersection of projective schemes

Let $X, Y$ be projective varieties in $\mathbb{P}^n$ for $n>10$. Assume that dimensions of $X,Y$ are greater than $n/2$. My first question is as follows:
Is there any criterion ...

**0**

votes

**0**answers

150 views

### Deformation of rational points in a family

Let $\mathcal{X} \to B$ be a family of smooth projective varieties over a field $K$ (possibly finite). Assume that each fiber $\mathcal{X}_b$ of the family has a $K$-rational point. Fix a pair ...

**4**

votes

**1**answer

260 views

### Complete intersection space curves

Fix two positive integers $d, e$ and assume $d>e$. Is it true that a general degree $e$ curve which lies in a complete intersection of a degree $e$ and a smooth degree $d$ surface in $\mathbb{P}^3$ ...

**2**

votes

**0**answers

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

**4**

votes

**4**answers

287 views

### Non-Drinfeld--Jimbo Deformations and Finite Quantum Groups

As is well-known, for the compact semi-simple Lie groups $G$, there exist non-commutative Hopf algebra deformations ${\cal O}_q[G]$ of their coordinate algebras ${\cal O}[G]$, the so-called ...

**4**

votes

**1**answer

167 views

### Is there a rigid curve in a product of complex manifolds?

Let $X=Y\times Z$ be a product of complex manifolds $Y,Z$. Is it true that there exists no rigid curve on $X$? Here I mean by a rigid curve a curve which is not a member of any family of curves on ...

**4**

votes

**0**answers

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

**2**

votes

**1**answer

165 views

### cohomology of restrictions of vector bundles to deformations

Suppose $X \subset Y$ is a pair of varieties, and $s \in H^0(N_{X/Y})$ is a section. This corresponds to a first-order deformation $X' \subset Y \times \text{Spec}(\mathbb{C}[\epsilon]/\epsilon^2)$ of ...

**1**

vote

**0**answers

81 views

### Koszul alg deformations

Is it known the maximal class of Koszul algebras for which any deformation is Koszul?

**4**

votes

**1**answer

243 views

### Local model of virtual fundamental cycle

The following baby version of virtual fundamental cycle is well known:
Let $M\subset V$ be the zero locus of a section $s$ of a vector bandle $E \to V$, in general $s$ is not transversal to the zero ...

**2**

votes

**1**answer

143 views

### does there exist a family of objects over the tangent space to the base space of a family of objects?

Suppose we have a family of objects $\Xi \to S$ over a base smooth projective scheme $S$. Take a closed point $p\in S$ and consider the tangent space to $S$ at $p$. Can one construct an "induced ...

**1**

vote

**1**answer

110 views

### Zero Sums in a $q$-Deformation Remain Zero for $q=1$

Looking at previous question, I begun to think and came upon the following more solid question: Let $SU_q(N)$ be the usual quantized coordinated algebra of $SU(N)$. Now consider, for some fixed value ...

**1**

vote

**2**answers

206 views

### Classification of first order deformations of n-pointed non-singular variety

Why is the set of first order deformations equal to $H^1(X,T_{X}(-p_1 -p_2 ... -p_k))$? And what is the motivation for studying this? (I know the proof for unpointed curves, which can be found in a ...

**3**

votes

**1**answer

323 views

### Formal criterion of flatness

Let $k$ be a field, $S$ and $R$ be local $k$-algebras with residue field $k$ and $\phi:S\to R$ be a local homomorphism. Then $\phi$ induces (obviously) a natural transformation of "functors of points" ...

**0**

votes

**1**answer

110 views

### Deformations and Dimensions: $q$-Deform Finite to Infinite?

Let $A$ be a (complex) (finitely generated) algebra with some type of $q$-deformation $A_q$, where $A_1 = A$. Moreover, let $V_q$ be a vector subspace of $A_q$, such that $V_1$ is a ...

**1**

vote

**1**answer

181 views

### Singular locus of a Hilbert scheme

Consider the Hilbert scheme $H$ of conics in $\mathbb{P}^3$. It is easy to see that there exists a closed subscheme $H'$ of $H$ parametrizing $2$ lines intersecting at a point. This can be seen as the ...

**1**

vote

**1**answer

184 views

### glueing flat families of objects over a blow-up

Hi Everybody,
I stumbled upon the following question for families of vector bundles (over a curve) but I guess it could be interesting to answer in general.
Suppose I have $B$ the blow-up of a ...

**4**

votes

**3**answers

309 views

### When is a smooth projective variety a fibration

Let $X$ be a smooth projective variety. Is there a criterion (apart from the definition) for the existence of a projective curve $C$ and a proper surjective morphism $\pi:X \to C$?

**7**

votes

**2**answers

405 views

### Algebraic definition of the Kuranishi map

Let $X$ be a smooth projective algebraic variety over an algebraically closed field $k$. If $k=\mathbb{C}$, we know by work of Kuranishi that the base of the versal deformation of $X$ is the germ at ...