Skip to main content

All Questions

7 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
27 votes
0 answers
1k views

Spectral sequences as deformation theory

I believe that running the spectral sequence of a filtered complex / spectrum $ \cdots \to F_n \to F_{n+1} \to \cdots$ can be viewed as doing deformation theory in some very primitive "derived ...
Tim Campion's user avatar
3 votes
0 answers
398 views

Applications derived algebraic geometry in Morse theory

Have derived algebraic geometry been used to understand the topology of complex varieties? For example are there any applications in Morse theory? The reason I am asking this is two fold. First one is ...
user127776's user avatar
  • 5,901
3 votes
0 answers
365 views

Construction of derived Quot schemes

I am studying the construction of derived Quot schemes in the paper Borisov, Katzarkov, and Sheshmani - “Shifted symplectic structures on derived Quot-stacks”. Derived quot stacks are constructed from ...
Walter field's user avatar
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 $...
Jonathan Beardsley's user avatar
2 votes
0 answers
354 views

Higher-order HKR theorems?

Recall that Hochschild-Kostant-Rosenberg -type theorems identify certain smoothness conditions guaranteeing an isomorphism between the cotangent complex and (a shift of) the Hochschild homology of an ...
Tim Campion's user avatar
1 vote
0 answers
281 views

Étale homotopy type of (derived) loop space

A feature of derived algebraic geometry is that we have internal homs. Furthermore, we can think of $B\mathbb{Z}$ as the derived algebraic geometric analogue of $S^1$. Thus we have an analogue of the ...
curious math guy's user avatar
1 vote
0 answers
300 views

Classifying Spaces and Eilenberg-Maclane objects in the category of simplicial rings

[Skip down to the bottom for a correction] Let's work over a field k, assume it is as nice as you need it to be.. Suppose I have an ordinary (edit: commutative) affine group scheme G = Spec(A) over k, ...
ahar's user avatar
  • 11