Questions tagged [deformation-theory]
for questions about deformation theory, including deformations of manifolds, schemes, Galois representations, and von Neumann algebras.
646
questions
8
votes
1
answer
2k
views
About the Serre-Tate theorem
It is somehow a general principle that the (infinitesimal) local behavior of a representable moduli functor $X$ at some point $x$ is closely related to the deformation problem of the structure ...
8
votes
1
answer
459
views
Looking for a particular family of C.Y quintics
It is possible to construct (in many ways) a family of Calabi-Yau quintics $\mathcal{X}\rightarrow \Delta$, over disk, such that the fiber over $0$ has a singularities locally given by the equation $...
8
votes
1
answer
614
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 ...
8
votes
1
answer
307
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 $\...
8
votes
1
answer
2k
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
694
views
on a Deformation long exact sequence of moduli space of stable maps
I am reading the book "mirror symmetry" by Hori,Katz,Klemm,etc. And I want to understand the following Deformation long exact sequence
\begin{align}
0 & \to Aut(Σ, p_1, . . . , p_n, f)\to Aut(Σ, ...
8
votes
1
answer
238
views
Classification of formality morphisms for chains and Drinfel'd associators
In his 1997 preprint q-alg/9709040, M. Kontsevich proved constructively the existence of a $L_\infty$-quasi-isomorphism between the differential graded algebra structure on the deformation complex of ...
8
votes
0
answers
145
views
The tangent bundle and dual tangent bundle in topos theory
Let $\mathcal B = B \mathbb T$ be an $\infty$-topos, thought of as the classifying $\infty$-topos of some "$\infty$-geometric theory" $\mathbb T$. The notion of "$\infty$-geometric ...
8
votes
0
answers
455
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 ...
8
votes
0
answers
274
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(\...
7
votes
2
answers
1k
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 ...
7
votes
3
answers
3k
views
Hochschild cohomology and A-infinity deformations
When we are dealing with ordinary things or dg things (where thing = algebra or category), I think I understand how HH^2 corresponds to 1st order deformations and HH^3 corresponds to obstructions.
...
7
votes
2
answers
935
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 ...
7
votes
1
answer
680
views
"Twisted" universal enveloping algebra?
Let $\mathfrak{g}$ be a $k$-Lie algebra, and $Q: \bigwedge^2 \mathfrak{g}^* \rightarrow k$; define $U_Q(\mathfrak{g})$ to be the quotient of the full tensor algebra over $\mathfrak{g}$ by the ideal ...
7
votes
1
answer
735
views
Cohomology of tangent sheaf of a singular hypersurface
Let $X\subset\mathbb{P}^n$ be a hypersurface singular at finitely many points $p_i\in X$. We may assume that $X$ has ordinary singularities at the $p_i$'s.
Does there exists a formula, perhaps in ...
7
votes
2
answers
700
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 Maurer--...
7
votes
1
answer
580
views
Are exterior algebras intrinsically formal as associative dg algebras?
(Cross-posted from mathematics stackexchange.)
Fix a finite dimensional vector space $V$ over a field of characteristic zero, and let $R=Sym(V[1])$ be the free graded commutative algebra generated by ...
7
votes
1
answer
1k
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 $\mathcal{O}$-...
7
votes
1
answer
770
views
Liftability of Enriques Surfaces (from char. p to zero)
Let $k$ be an algebraically closed field of characteristic $p > 0$, $X$ a variety over $k$.
We say $X$ lifts to characteristic zero, if there exists a local ring $R$ containing $\mathbb Z$ with ...
7
votes
2
answers
348
views
Deformation of (locally) ringed spaces and of their abelian categories of modules
I am interested in the general theory of deformations locally ringed spaces in the same language of the deformation theory of schemes/varieties that is already widely available. I am aware for example ...
7
votes
2
answers
623
views
Alternative to Kontsevich formality
Has anyone considered an alternative approach to Kontsevich formality in which the DGLA of poly-vector fields is deformed to an $L_\infty$-algebra?
Some vocabulary:
DGLA = Differential Graded Lie ...
7
votes
1
answer
856
views
Isotrivial families with non-zero Kodaira spencer map
Let $S$ be a smooth quasi-projective curve over the complex numbers. Let $P$ be a closed point in $S$. Let $f:\mathcal X \to S$ be a polarized family of smooth projective connected varieties. To this ...
7
votes
1
answer
680
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 $(\mathcal{C}^{\infty}(M)[[t]],\...
7
votes
1
answer
375
views
Deformations of Vertex Algebras
As the title suggests, I'm interested in deformation theory of vertex algebras and their representations.
In the paper https://arxiv.org/abs/1806.08754, the authors construct, for a vertex algebra $...
7
votes
1
answer
930
views
what can be reached by flat degeneration of (globally) complete intersection?
Let $X\subset\mathbb{P}^n$ be a (globally) complete intersection, let $(X_t)_{t\in\mathbb{C}^1}$ be a flat family, with $X_1=X$. Which types of schemes can we get as $X_0$?
Or, conversely, which (...
7
votes
2
answers
375
views
Non-associative deformation quantization
Several physicists consider non-Poisson bivectors but still apply Kontsevich formality in order to get deformation quantization type results: see e.g. Szabos's review An introduction to nonassociative ...
7
votes
1
answer
562
views
Relation between symplectic (co)homology and Hochschild (co)homology and deformations
A very fluffy question in which I'm ignorant of homology/cohomology, grading etc:
The open-closed and closed-open string maps relating the symplectic (co)homology and Hochschild (co)homology of the ...
7
votes
1
answer
468
views
Pro-representability of deformation functor associated to a DG Lie algebra
Edit : There are several satisfying proofs in the case each $L^i$ is finite-dimensional. It is proven (for example, Hinich DG coalgebras as formal stacks) that for $A$ : local Artin ring then $\...
7
votes
1
answer
403
views
Kontsevich Formality sign convention
Since my question is related to sign convention, I want to define everything from the very beginning. $T_{poly}^k(M)=\Gamma(\wedge^{k+1} TM)$ are the multi vector fields with shifted degree and with ...
7
votes
1
answer
1k
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
1
answer
409
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 ...
7
votes
2
answers
1k
views
Deformation theory of co-$A_\infty$ structures.
The following question is related to my previous post on co-$A_\infty$ spaces (co-$A_\infty$ spaces), but goes in a somewhat different direction.
Some Background:
In trying to classify $A_\infty$ ...
7
votes
0
answers
216
views
Cohomology of little disks and dg algebras over $\mathbb{F}_p$
This a alternative form of the question I posted some time ago.
We, the people who don't know topology, are told that in characteristic p the formalizm of DG algebras is not quite adequate for ...
7
votes
0
answers
293
views
List of applications of the Deformation theory of Galois Representations in contexts other that $R=T$
The Deformation theory of Galois representations developed by Mazur has been extensively used in proving that Galois representations with special properties are modular/automorphic through the ...
7
votes
0
answers
445
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
votes
0
answers
137
views
Could we extend the star product on a Poisson manifold from its ring of smooth functions to its de Rham complex?
Let $M$ be a smooth manifold with a Poisson bracket $\{-,-\}$. Kontsevich proved that there exists a deformation quantization of $M$, i.e. let $C^{\infty}(M)[[\hbar]]=C^{\infty}(M)\otimes_{\mathbb{R}}\...
7
votes
0
answers
213
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, ...
7
votes
0
answers
299
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$. ...
7
votes
0
answers
181
views
Deformation of Noether's first theorem
Noether's first variational theorem establishes a correspondence between symmetries and invariants. I would like to know what has been written on the following question: How do the invariants deform ...
7
votes
0
answers
807
views
Innovations in deformation theory
I've been trying to get into deformation theory lately, and I became thirsty for a bit of context.
Has Deformation Theory seen a lot of development since its inception? If I read Michael Artin's "...
6
votes
4
answers
702
views
Higgs mechanism from a deformation quantization point of view
Is it possible to describe the Higgs mechanism from a deformation quantization point of view? How would one do it? Are there aspects of the Higgs mechanism and Higgs particle which one may see clearer ...
6
votes
2
answers
631
views
Deformation Quantization
I am a beginner and I want to learn about deformation quantization. Please suggest me with which book or notes, I should start?
6
votes
2
answers
740
views
Automorphisms and infinitesimal deformations of a smooth complete intersection
Let $X\subset\mathbb{P}^{n+c}$ be a smooth complete intersection of dimension $n$.
Is it known when $Aut(X)$ is finite ?
Does there exist a formula for the dimension of the tangent space to the ...
6
votes
1
answer
535
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 ...
6
votes
1
answer
849
views
Why are people interested in Cohen-Macaulay of codimension 2?
In deformation theory, Cohen-Macaulay in codimension 2 is the first to be considered in higher order deformation. Does Cohen-Macaulay in codim. 2 have some good property to work with? Does it somehow ...
6
votes
1
answer
797
views
The period map and the Kodaira--Spencer map
Let $f : X \to B$ be a non-isotrivial holomorphic submersion with connected fibres between compact Kähler manifolds of positive relative dimension. Suppose the fibres of $f$ are Calabi--Yau $(c_{1,\...
6
votes
1
answer
953
views
Can the homological dimension of a coherent sheaf explode along a formal deformation? (is the resolution property hereditary for formal deformations?)
Let $X_0$ be a locally noetherian scheme and $\mathcal{F}_0$ a coherent $\mathcal{O}_{X_0}$-module. Let $C$ be an artin ring with residue field $k$ and let $X \to Spec C$ be a (flat) deformation of $...
6
votes
1
answer
397
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
...
6
votes
1
answer
633
views
Applications of the Infinitesimal Lifting Property
This question was posted to MSE but didn't get any answers, so I am posting it here. Original post
Hartshorne in his book gives the 'Infinitesimal Lifting Property' as an exercise in chapter 2, ...
6
votes
1
answer
333
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 \...