Skip to main content

All Questions

Filter by
Sorted by
Tagged with
21 votes
1 answer
839 views

Deligne's letter to Millson

The deformation theoretic principle that any reasonable deformation problem should be governed by a dg-Lie algebra seems to come from a letter of Deligne to Millson. It is clear how the Maurer-Cartan ...
Diane's user avatar
  • 211
11 votes
1 answer
789 views

Connectedness, loops and formal moduli problems

Let $k$ be an algebraically closed field of characteristic zero. Formalizing a classical folk concept, Pridham and (in a different way,) Lurie defined a formal moduli problem (over $k$) to be a ...
Dmitry Vaintrob's user avatar
9 votes
1 answer
1k views

deformation theory in positive characteristic

The idea "Formal deformation theory in characteristic zero is controlled by a differential graded Lie algebra (dgla)" goes back to Goldman-Millson, Deligne, Drinfeld among others; see Lurie's ICM talk....
guest's user avatar
  • 528
9 votes
0 answers
287 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 $\...
Fred's user avatar
  • 131
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
7 votes
2 answers
714 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.7k
4 votes
0 answers
259 views

Cotangent complex of a formal thickening

Let $R$ be an (animated) commutative ring, with cotangent complex $L_R$ and let $\mathcal{C}(R) = \mathcal{D}(R)_{\Sigma^{-1}L_R/}$ be the category of nice square zero extensions of $R$. A typical ...
pupshaw's user avatar
  • 858
3 votes
1 answer
468 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 ...
Chen's user avatar
  • 1,593
3 votes
0 answers
98 views

Derived Deformations of associative algebras

Let $k$ be a field (if necessary for my question, we can assume its characteristic to be zero). In the non derived context, we can then define deformations of an associative algebra $S$ as follows: ...
Mark.Neuhaus's user avatar
  • 2,074
2 votes
0 answers
91 views

Formal neighborhood of isolated singularity via DAG

I work over a field of characteristic $0$, denoted $k$. Let $f:\mathbf{A}^{d+1}\rightarrow\mathbf{A}^{1}$ have an isolated singularity at $0$, and let $\widehat{Z}$ denote the formal neighborhood of $...
EBz's user avatar
  • 121
1 vote
0 answers
209 views

Computing the cotangent complex of morphisms of perfect complexes

In Lurie's Spectral Algebraic Geometry the cotangent complex of $\textbf{Perf}$ is computed as $ \Sigma^{-1}( \mathscr{F} \otimes \mathscr{F}^\vee)$ for some universal $\mathscr{F} \in \text{Qcoh}(\...
Anette's user avatar
  • 595
1 vote
0 answers
137 views

A question about relative deformations of the structure sheaf of the diagonal

Let $X$ be a smooth proper algebraic variety over $\mathbb{C}$. Let us consider an associative algebra $${p_2}_*{\mathcal{H}{om}}_{X\times X}(\mathcal{O}_\Delta, \mathcal{O}_\Delta) \in \text{Alg}_\...
Grisha Konovalov's user avatar
1 vote
0 answers
202 views

Schlessinger criterion and finiteness of tangent space

Schlessinger's criterion allows us to study whether or not a functor $\mathcal{F}:C_{\Lambda}\rightarrow \text{Set}$ from the category of local Artin $\Lambda$-algebras to sets is representable. One ...
curious math guy's user avatar