Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 $...
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}(\...
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 ...
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 ...
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}_\...
11 votes
1 answer
790 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 ...
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 ...
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 ...
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....
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 $\...
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: ...
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--...
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 ...