All Questions
Tagged with ag.algebraic-geometry deformation-theory
182 questions with no upvoted or accepted answers
14
votes
0
answers
709
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 ...
- 19.3k
13
votes
0
answers
596
views
What does deformation theory have to do with Serre duality?
The cotangent bundle $\Omega_X$ of a smooth scheme $X$ shows up in two places in my understanding of algebraic geometry. The first is deformation theory, where maps out of $\Omega_X$ control the ...
- 8,004
11
votes
0
answers
310
views
Surfaces with $q=2$ and generically finite Albanese map
I have a family of surfaces of general type $S$ with $q(S)=2$, and such that the Albanese map $$\alpha \colon S \longrightarrow A:=\mathrm{Alb}(S)$$ is generically finite of degree $n$. By a result of ...
- 66.3k
9
votes
0
answers
148
views
Does every sequence of deformation of singularities eventually become equisingular?
Suppose we are over a field of characteristic zero and $f_i\colon X_i\to \mathrm{Spec}(R_i)$ $(i=1,2,\cdots)$ are flat families of singularities over DVRs. Assume that the generic fiber of $f_i$ is ...
- 131
9
votes
0
answers
374
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 ...
- 843
9
votes
0
answers
286
views
derived schemes and perfect obstruction theories
In a survey article of Toen's it is claimed that that there is forgetful $\infty$-functor between the $\infty$-category of derived schemes locally of finite presentation over a field $k$ and the $\...
- 131
9
votes
0
answers
1k
views
"A theory of generalized Donaldson-Thomas invariants" by Joyce & Song
Is anyone else working through this paper: A theory of generalized Donaldson-Thomas invariants, by Dominic Joyce, Yinan Song? I am trying to verifying example 6.2 (m=2 for simplicity) using only the ...
- 2,218
8
votes
0
answers
463
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 ...
- 1,609
8
votes
0
answers
284
views
Def-Obs theory of sheaves with fixed determinant on CY3.
Let $\mathcal{E}$ be a stable sheaf on a smooth complex projective threefold $X$ and $Ext^k_0(\mathcal{E},\mathcal{E})$ be the traceless Ext groups, defined by the kernel of the trace map
$$
Ext^k(\...
- 81
7
votes
0
answers
506
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 ...
- 7,789
7
votes
0
answers
215
views
"Tubular neighbourhood" for non-reduced curves
I have a manifold $X$ covered by a family of elliptic curves, some of which have
non-reduced structure (like multiple fibers on elliptic surfaces; such non-reduced curves $C$ are members of my family, ...
- 71
7
votes
0
answers
316
views
What is the connnection between "jet-space" and algebro-geometric deformation theory?
Charles Doran, wrote an annoted bibliography on deformation theory that
is available from him via email (I have asked him the question below via email). In it one finds the quotation:
Grothendieck'...
- 161
7
votes
0
answers
305
views
Lefschetz morphisms from the relative tangent sheaf exact sequence?
Let $X\subseteq {\mathbb{P}}^N$ be an $n$-dimensional complex projective manifold. Denote by $\pi\colon U\to X$ the affine cone of $X$ with the vertex removed; it is a $\mathbb{C}^*$-bundle over $X$. ...
- 776
7
votes
0
answers
2k
views
A versal deformation of a simple node
I have a passing familiarity with moduli theory, which gets me in trouble when I want to understand specific examples.
The basic question I would like to understand is how to prove something is a ...
- 13k
6
votes
0
answers
388
views
Globalization of Brieskorn-Grothendieck resolution
Brieskorn (1970) showed that for semiuniversal deformation of rational double points surface singularities $X\to S$, there is a finite base change $S'\to S$, such that the new family $f:X\times_{S}S'\...
- 1,803
6
votes
0
answers
427
views
Obstructions to locally trivial deformations
Let $X$ be a complex projective variety.
If $X$ is smooth, then the first-order infinitesimal deformations are given by $H^1(X, T_X)$ and the obstructions are in $H^2(X, T_X)$.
Now assume that $X$ is ...
- 1,072
6
votes
0
answers
374
views
Fibers of blow up in families
Let $T$ be a smooth curve over $\mathbb{C}$ and $p:\mathbb{P}^n \times T \to T$ the natural projection. Let $V \subset \mathbb{P}^n_T$ be a $T$-flat subscheme of codimension at least $2$ and $\pi: \...
- 2,323
6
votes
0
answers
227
views
Deformation of Complex Spaces
I am trying to learn about deformations of complex spaces from the paper of Palamodov. I am particularly interested in the relative tangent cohomology.
Is there any other modern reference to this ...
- 727
6
votes
0
answers
711
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 ...
- 987
6
votes
0
answers
320
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 ...
- 833
5
votes
0
answers
284
views
Formal neighborhood of stable curves
For a smooth projective curve $X/\mathbb{C}$, every (infinitesimal) deformation is trivial when restricted to $X \setminus x$ for any $x \in X$. In particular, all deformations can be obtained by “...
- 834
5
votes
0
answers
133
views
What classifies deformations of group schemes (or Hopf algebras)?
The cotangent complex of a scheme classifies its deformations.
That is, if $X$ is a scheme over a field $k$ (with conditions?) and $\mathbf{T}^*_X\in D^b(\text{QCoh}(X))$ its cotangent complex, the ...
- 5,701
5
votes
0
answers
154
views
One-parameter family of algebra structures: characterizing trivial deformation as adjoint 2-cocycle being a 2-coboundary
$\DeclareMathOperator\C{\mathbf{C}}$Motivation: this post discusses a simple criterion for a 1-parameter family of $n$-dimensional complex algebras to be a "trivial deformation", i.e., be ...
- 63.9k
5
votes
0
answers
218
views
Reducible surface as a degeneration
I am interested in the following situation. If $S_1\cup_D S_2$ is a union of two irreducible smooth projective surfaces over $k=\overline{k}$(over $k=\mathbb{C}$ is enough, if it's relevant) glued ...
- 71
5
votes
0
answers
194
views
Deformations of vector bundles and tubular neighborhood
I had a number of questions that are somewhat related to each other. I decided to post them altogether instead of separately. I'd appreciate any kinds of answers, ideas or sources regarding any of ...
- 5,901
5
votes
0
answers
347
views
Deformations of a blow up
My question is related to this question, but I'm looking for something a bit more explicit.
Let $S$ be a smooth surface over $\mathbb C$, fix a point $s\in S$ and take the blow up $\beta \colon S' \...
- 1,054
5
votes
0
answers
189
views
Extension of holomorphic maps to smooth family of holomorphic maps
Let $\pi:X \to D^2$ be a family of diffeomorphic (but not isomorphic) complex manifolds. Each fiber is allowed to have boundary but is compact (maybe not Stein) and $D^2 \subset \mathbb{C}$ is a ...
- 1,409
5
votes
0
answers
524
views
Theorem from Deformation Theory
My question refers to some steps it the proof of Theorem 3.3 part (b) in Christensen's paper treating Deformation theory (see pages 9-11): https://mathematics.stanford.edu/wp.../A.-Christensen-Draft....
- 6,018
5
votes
0
answers
141
views
Poincare duality in families of smooth, projective curves
Let $f:\mathcal{C} \to \Delta^*$ be a family of smooth, projective curves over a punctured disc. Denote by $\mathbb{H}^1:=R^1f_*\mathbb{Z}$ the associated local system, such that for every $t \in \...
- 1,593
5
votes
0
answers
424
views
Is it true that all smooth group schemes can be deformed?
Consider for instance the map $\mathbb Z/p^2 \to \mathbb Z/p$ and suppose we are given a group smooth scheme $G$ over $\mathbb Z/p$. Is it always possible to lift it to a smooth group scheme $G'$ over ...
- 7,746
5
votes
0
answers
197
views
Torsion-free sheaf cohomology over discrete valuation rings
Let $R$ be a Henselian discrete valuation rings with algebraically closed residue field and $X$ be a regular, flat, proper $R$-scheme. Assume that the generic fiber to the natural morphism from $X$ to ...
- 2,126
5
votes
0
answers
264
views
Deformation of finite coverings between smooth projective varieties
Assume that we have a finite covering $$f \colon X \longrightarrow Y,$$
where $X$ and $Y$ are smooth, complex projective varieties of dimension $n$. Therefore we obtain a splitting $$f_* \mathscr{O}_X ...
- 66.3k
5
votes
0
answers
317
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 ...
- 1,981
5
votes
0
answers
260
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 ...
- 3,472
5
votes
0
answers
372
views
Deformation theory with a view toward GW theory and DT theory
I am studying GW theory (and DT theory) in algebraic geometry. I now understand the heuristic "Aut, Def, Obs" argument written in Mirror Symmetry book (by Hori et al.), but it is too hard for me to ...
- 349
4
votes
0
answers
218
views
Why does a deformation modify the complex structure *holomorphically*?
This is a question regarding Chapter 9.1 of Claire Voisin's book [1]
Let $\phi: \mathcal X \to B$ be a family of compact complex manifolds, that is a proper holomorphic submersion, with central fiber $...
- 1,286
4
votes
0
answers
130
views
Stability of Ricci-flat Fujiki class $\mathcal C$ by small deformations
As we know, a compact Kähler manifold remains Kähler after any infinitesimal deformations. Since a compact complex manifold in Fujiki class $\mathcal C$ is bimeromorphic to a Kähler manifold, it was ...
- 471
4
votes
0
answers
248
views
Artin's "Versal Deformations and Algebraic stacks": Question concerning proof of Theorem 3.3
I have been reading Artin's paper titled "Versal deformations and algebraic stacks" and am a bit confused about a statement he makes in the proof of Theorem 3.3, in the first few lines of pg....
- 749
4
votes
0
answers
236
views
Deform a non-Kähler manifold to a Kähler one
Let $X$ be a compact complex non-Kähler manifold, then what conditions do we need to make it has a Kähler deformation? that is to say it can be deformed to a Kähler manifold.
Obviously not all the ...
- 471
4
votes
0
answers
207
views
Rigid non-algebraic manifolds
The famous Kodaira problem asks: whether a compact Kähler manifold can always be deformed to a projective manifold? In order to provide a counterexample, one way is trying to construct a rigid compact ...
- 471
4
votes
0
answers
148
views
Deformation of pairs (X,D) isotrovial along D
I have a log pair $(X,D)$ which is purely log terminal and $D$ is a projective $\mathbb{Q}$-Cartier divisor ($X$ may not be projective). Moreover, $D$ is a variety of Fano type. Is there a space of ...
- 405
4
votes
0
answers
363
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, ...
- 2,022
4
votes
0
answers
362
views
Is complete intersection a open or closed property in Hilbert schemes
Fix an integer $N$, $X$ a (smooth) complete intersection subvariety in $\mathbb{P}^N$. Denote by $P$ the Hilbert polynomial of $X$ (as a subvariety in $\mathbb{P}^N$). Consider the Hilbert scheme $\...
- 2,126
4
votes
0
answers
254
views
Deformation space and Kodaira-Spencer map of cyclic Galois coverings
This question concerns a statement from the paper by Ben Moonen "Special subvarieties arising from families of cyclic covers of the projective line. Documenta Math. 15 (2010)", Lemma 5.5. ii).
More ...
- 2,221
4
votes
0
answers
245
views
Deformations of the moduli space of ppav's
Consider the complex algebraic moduli space $X:=\mathcal A_g^n$ of ppav's of dimension $g$ with some high enough level $n$ structure (so that it represents the corresponding functor).
Can one compute ...
- 193
4
votes
0
answers
223
views
Obstruction to lifting of global sections of invertible sheaves
Are there known examples of smooth projective hypersurface in $\mathbb{P}^3$, say $X$ and an invertible sheaf $L$ on $X$ with $H^0(X,L)>0$ satisfying the following property: There exists an ...
- 2,126
3
votes
0
answers
156
views
A possible application of deformation theory?
Let $f : \mathbb{R}^{n} \to \mathbb{R}$ be a real-valued polynomial function. Consider the family of real algebraic sets:
$$
V_c = f^{-1}(c), \quad c \in (-1,1).
$$
I am interested in determining how ...
- 357
3
votes
0
answers
186
views
$H^2(X,T_X)=0$ implies the Frölicher spectral sequence degenerates at $E_1$?
Let $X$ be a compact complex manifold, if $X$ satisfies $H^2(X,T_X)=0$, then it is well-known that the Kuranishi space of $X$ is smooth by Kodaira and Spencer's deformation theory. On the other hand, ...
- 471
3
votes
0
answers
171
views
Grothendieck-Messing in characteristic 0?
Let $A$ is an abelian scheme over a base scheme $S$. Let $S \rightarrow S'$ be a thickening defined by an ideal of square zero (for example).
If $p$ is locally nilpotent on $S$, then Serre-Tate and ...
- 261
3
votes
0
answers
132
views
Obstruction to the existence of a deformation of a subvariety compatible with the given deformation of a variety
Let $X$ be a smooth projective variety over a field $k$ of characteristic 0,
and let $A$ be a local Artinian $k$-algebra, say, $A=k\oplus I$
where $I$ is an ideal such that $I^2=0$.
Let $\frak X$ be a ...
- 14.1k