The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
70 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
0answers
205 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
0answers
139 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
1answer
126 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. ...
7
votes
1answer
203 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
0answers
107 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
0answers
227 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
1answer
281 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 ...
6
votes
1answer
186 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?
3
votes
1answer
99 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
0answers
71 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
0answers
135 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
0answers
155 views

How to induce infinitesimal deformations on curves

Let $C_1, C_2$ be two projective curves (a scheme of pure dimension $1$) in $\mathbb{P}^3$. The Hilbert scheme of curves contains informations of deformations of curves in $\mathbb{P}^3$. The question ...
4
votes
1answer
145 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
0answers
167 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
1answer
347 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
1answer
127 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
1answer
119 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
1answer
193 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
1answer
148 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
0answers
100 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$\}$, ...
6
votes
0answers
149 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
1answer
127 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
1answer
143 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
1answer
213 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 ...
4
votes
0answers
202 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
1answer
145 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
1answer
243 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
1answer
204 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 ...
3
votes
0answers
247 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
1answer
227 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$. ...
1
vote
1answer
97 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
2answers
435 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
0answers
64 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
1answer
169 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
0answers
64 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
0answers
227 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
1answer
139 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
1answer
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
0answers
268 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
1answer
260 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 ...
7
votes
1answer
234 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
1answer
309 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 ...
12
votes
1answer
307 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
0answers
92 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
1answer
389 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
0answers
77 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
1answer
222 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
0answers
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
1answer
124 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 ...