Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
352 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 ...
2 votes
0 answers
235 views

Formally étale maps of animated $k$-algebras

In Lurie's DAG, he defines what it means for a natural transformation $T:\mathcal{F}\to\mathcal{F}'$ of functors $\mathcal{F},\mathcal{F}':\mathcal{SCR}\to\mathcal{S}$ to be formally étale. Namely, it ...
3 votes
0 answers
162 views

Homotopy Kan extensions, formally coherent functors and derived Schlessinger criterion

Let $k$ be a finite field. Denote by $discArt_k$ the category of Artinian rings with residue field $k$ and $Art_k$ the category of Artinian simplicial rings. Consider a functor $\mathcal{F}:disArt_k\...
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 ...
6 votes
0 answers
548 views

Resolution of Simplicial Commutative Rings

I have just started learning some derived algebraic geometry. I was told that (if $ \mathrm{char}(\mathbb{K})=0 $) using commutative differential graded algebras in negative degree (for short $ \...
6 votes
0 answers
517 views

relative spectrum in derived algebraic geometry

I am trying to understand how much it is possible to extend the notion of spectrum of a qcoh sheaf of algebras to stacks. More precisely, given a scheme $S$ and a stack $F$ of cohomological cdga's ...
14 votes
0 answers
930 views

$E_{\infty}$ $R$-algebras vs commutative DG $R$-algebras vs simplicial commutative $R$-algebras

I've been trying to understand better the relation between the basic blocks of derived algebraic geometry. More precisely, I'm trying to understand the relation between the DG approach, the spectral ...
2 votes
0 answers
166 views

How to understand $\mathcal{L}BG \simeq G/^{\text{ad}}G$ in term of simplicial sets?

First let $G$ be a topological group and $BG$ its classifying space. Let $\mathcal{L}BG=\text{Map}(S^1, BG)$ be the free loop space of $BG$. We can see that $\mathcal{L}BG$ has the homotopy type of $...