All Questions
Tagged with ag.algebraic-geometry derived-algebraic-geometry
159 questions
3
votes
0
answers
502
views
Analysis of Eilenberg-MacLane Stacks
In a series of three papers from the fifties, Eilenberg and MacLane did a pretty exhaustive study of what we now call "Eilenberg-MacLane spaces" and used a lot of machinery to do it, e.g. Whitehead's $...
- 10.5k
12
votes
2
answers
978
views
Blowing up a derived scheme
Is there a sensible notion of blowing up in any of the available frameworks for derived algebraic geometry? I am happy to remain in the affine setting, where I think the right question to ask is "what ...
- 36
6
votes
2
answers
2k
views
What is a good reference (preferably thorough) for the Derived Category of a scheme/orbifold/stack?
I've sort of circled around the idea of derived categories a few times, read a few introductory papers ("Derived Categories for the working mathematician", e.g.), and feel now that this is something ...
CommunityBot
- 1
7
votes
0
answers
376
views
Derived (non-commutative) geometry, geometric constructions in explicit form
I'm interested in the following construction. Start with derived category of coherent sheaves witch equivalent to derived category of representations of some dg-algebra. Quasi-isomorphic dg-algebras ...
- 789
18
votes
1
answer
2k
views
When does the cotangent complex vanish?
The question is already in the title. Less succinctly, let's call a map $f:X \to Y$ of schemes $L$-trivial if its cotangent complex is quasi-isomorphic to $0$. Such maps have striking deformation-...
- 3,917
5
votes
1
answer
605
views
question about higher geometric stacks
I have a naive question I am asking. Given a higher geometric stack X in the sense of Simpson, Toen etc is it true that there is an affinization Spec Gamma(O_X) such that Hom(X, Spec(A))= Hom(A,Gamma(...
- 24.1k
9
votes
2
answers
2k
views
Defining ind-coherent sheaves and their singular support
Q1: My first question is about defining the category $\text{IndCoh}(S)$ for a $DG$ scheme $S$. So in page $18$ of this paper, they are defined as being the ind-completion of the category $\text{Coh}(S)...
- 24.1k
6
votes
0
answers
1k
views
Tensor product of structure sheaves
Let $\iota_A:A\hookrightarrow X$ and $\iota_B:B\hookrightarrow X$ be subschemes of a smooth ambient variety $X$.
Then the derived tensor product $$\mathcal O_A\stackrel{L}{\otimes}\mathcal O_B\in D^b(...
- 460
18
votes
1
answer
2k
views
can a common mortal understand why the affine line is not smooth in brave new algebraic geometry?
In the introduction to HAGII Toen and Vezzosi write that in brave new algebraic geometry (that is, algebraic geometry over the category of symmetric spectra) Z[T] is not smooth over Z.
I am told that ...
- 52.7k