All Questions
Tagged with derived-algebraic-geometry model-categories
8 questions
4
votes
1
answer
548
views
Does derived tensor product preserve fiber sequence？
In lemma 3.1.5 of this paper I read, there is a fiber sequence of the underlying spaces of simplicial commutative rings $A\stackrel{f}{\longrightarrow} A\rightarrow A/\!\!/f$. Here we define the "...
- 618
3
votes
0
answers
173
views
(Commutative) Algebras in $\mathsf{dgCat}_k$
Suppose $k$ is a fixed commutative ring, and let $\mathsf{dgCat}_k$ denote the category of $k$-linear dg-categories. We will equip $\mathsf{dgCat}_k$ with the Morita model structure (see theorem 2.27 ...
- 1,349
2
votes
0
answers
245
views
Structure sheaf of derived intersection
Everything is over a field $k$ of characteristic $0$.
Let $X$ and $Y$ two closed dg subschemes over a dg scheme $Z$. I am trying to understand the structure sheaf of the derived intersection of $X$ ...
- 1,325
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\...
- 4,418
2
votes
0
answers
213
views
Do dg schemes have derived points?
Working over a base field $k$ of characteristic $0$, say $K$ is a field (over $k$) and $X$ is a ("nice" if necessary) dg scheme in the sense of Toen-Vezzosi and others, and say $X^0$ is the reduced ...
- 7,972
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 $ \...
- 79
7
votes
2
answers
672
views
Direct proof that the model category of cdgas is left proper
Let $k$ be a field of characteristic $0$. The projective model structure on the category $cdga$ of commutative differential graded $k$-algebras is proper. Since this model structure is transferred ...
- 15.5k
4
votes
1
answer
168
views
Proper Model Category
Let R be a commuative ring. Consider the category of simplicial R-modules with the projective model stucture. Can someone give me a precise reference which proves that this model category is proper? ...
- 1,180