# Questions tagged [cotangent-complex]

The tag has no usage guidance.

39 questions
Filter by
Sorted by
Tagged with
121 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,595
176 views

### Cotangent complex of a blowup

Let $X$ be a nonsingular variety over an algebraically closed field $k$, and let $Y \subset X$ be a nonsingular subvariety. Consider the blowup $p: \tilde{X} \to X$ of $X$ along $Y$, with exceptional ...
162 views

### Linear deformations of a morphism between stacks

Given smooth algebraic stacks $\mathcal{X}$, $\mathcal{Y}$ what are the linear deformations $\operatorname{Def}^1(f: \mathcal{X} \to \mathcal{Y})$ of a morphism $f:\mathcal{X} \to \mathcal{Y}$? In ...
403 views

### Pushout along weak equivalence gives weakly equivalent object

This question arose through reading "Interactions between homotopy theory and algebra" (the first chapter by Goerss and Schemmerhorn). In particular, I am struggling with the proof of ...
464 views

### Distinguished triangle of dualizing complexes and/or determinants?

Q1 : If $X \to Y \to Z$ are maps of schemes, is there a relation such as $$\omega_{X/Z} \overset{?}{=} \omega_{Y/Z}|_X \overset{L}{\otimes} \omega_{X/Y}$$ between their dualizing complexes? Or maybe ...
• 1,084
342 views

### What does the cotangent complex tell you when it takes animated inputs?

These two links: What is the cotangent complex good for? and Intuition about the cotangent complex? are quite helpful in giving intution for the cotangent complex in terms of deformations but I don't ...
• 301
232 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 ...
• 848
139 views

### $\Omega^1_{B_\bullet/A_\bullet}$ is acyclic if $A_\bullet \to B_\bullet$ is quasi-isomorphism

Let $A_\bullet \to B_\bullet$ be a quasi-isomorphism of simplicial rings in the sense of (P.62, I.3.1.7, Complexe Cotangent et Déformations I, Luc Illusie). Then, we define the simplicial $B_\bullet$-...
• 435
1k views

• 5,595
543 views

### When is the cotangent complex perfect?

Let $X\rightarrow S$ be a proper flat morphism of schemes. When is the cotangent complex $L_{X/S}$ perfect ? It is well known, that for local complete intersections the cotangent complex is perfect, ...
6k views

### What is the cotangent complex good for?

The cotangent complex seems to be a pretty fundamental object in algebraic geometry, but if it's treated in Hartshorne then I missed it. It seems to be even more important in derived algebraic ...
• 62.6k
204 views

730 views

### Cotangent Complex in Analytic Category

I am looking for a reference which develops the theory of the cotangent complex for complex analytic spaces. I need this to justify some computations I did assuming some formal properties which hold ...
• 1,731
228 views

• 19.5k
599 views

### Detecting etale maps on reduced points

Suppose I have a morphism of schemes for which I know the relative cotangent complex is trivial, and the map on reduced subschemes is an isomorphism. Is the map an isomorphism? More generally, given ...
• 23.4k