Questions tagged [deformation-theory]

for questions about deformation theory, including deformations of manifolds, schemes, Galois representations, and von Neumann algebras.

Filter by
Sorted by
Tagged with
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 ...
genshin's user avatar
  • 1,305
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 $...
Mohammad Farajzadeh-Tehrani's user avatar
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 ...
Xiaobo Zhuang's user avatar
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 $\...
user avatar
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 ...
Joseph's user avatar
  • 83
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(Σ, ...
Xiaobo Zhuang's user avatar
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 ...
thingsthatmighthavebeen's user avatar
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 ...
Tim Campion's user avatar
  • 61.6k
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 ...
Sinan Yalin's user avatar
  • 1,589
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(\...
Zheng's user avatar
  • 81
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 ...
Bilateral's user avatar
  • 3,064
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. ...
Kevin H. Lin's user avatar
  • 20.8k
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 ...
Daniel Miller's user avatar
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 ...
Pietro Tortella's user avatar
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 ...
user avatar
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--...
John Pardon's user avatar
  • 18.3k
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 ...
TBRS's user avatar
  • 73
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}$-...
A M's user avatar
  • 657
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 ...
Holger Partsch's user avatar
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 ...
AT0's user avatar
  • 1,437
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 ...
Jim Stasheff's user avatar
  • 3,850
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 ...
Pancho's user avatar
  • 171
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]],\...
Issam Ibnouhsein's user avatar
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 $...
user avatar
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 (...
Dmitry Kerner's user avatar
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 ...
Jim Stasheff's user avatar
  • 3,850
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 ...
86846515312's user avatar
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 $\...
Louis-Clément LEFÈVRE's user avatar
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 ...
Heinz Doofenschmirtz's user avatar
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 ...
Zhaoting Wei's user avatar
  • 8,707
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 ...
Sasha Pavlov's user avatar
  • 1,535
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$ ...
John Klein's user avatar
  • 18.6k
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 ...
Vladimir Baranovsky's user avatar
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 ...
user avatar
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 ...
Saal Hardali's user avatar
  • 7,549
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}}\...
Zhaoting Wei's user avatar
  • 8,707
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, ...
Katia Amerik's user avatar
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$. ...
Enrico's user avatar
  • 776
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 ...
Jim Stasheff's user avatar
  • 3,850
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 ...
student's user avatar
  • 1,212
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?
satyendra's user avatar
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 ...
user avatar
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 ...
pinaki's user avatar
  • 5,099
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 ...
YOURS's user avatar
  • 533
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,\...
GradStudent's user avatar
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 $...
Saal Hardali's user avatar
  • 7,549
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 ...
Zhaoting Wei's user avatar
  • 8,707
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, ...
Cranium Clamp's user avatar
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 \...
Ron's user avatar
  • 2,126

1 2
3
4 5
13