Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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
5 votes
1 answer
298 views

Interpolating between the flat and smooth affine lines in spectral algebraic geometry

Consider the following construction (which came up recently in a question about "spectral exterior algebras"): Pick a ring spectrum $R$ and consider the $\infty$-category $\mathsf{Mod}_R$ ...
Emily's user avatar
  • 11.8k
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
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
10 votes
1 answer
605 views

Descent properties of topological Hochschild homology

Question: What is the finest topology on $\mathrm{CAlg}$ (commutative ring spectra) for which THH (Topological Hochschild Homology) satisfies descent? Adaptations of the arguments appearing in ...
Liam Keenan's user avatar
12 votes
1 answer
782 views

Power operations from a Tate construction

In an action-packed three pages of Lurie's DAG-XIII: Rational and p-adic Homotopy Theory, section 2.2: Power Operations on $\mathbb{E}_{\infty}$-algebras, one finds a construction of the power ...
pupshaw's user avatar
  • 858
16 votes
1 answer
1k views

$\infty$-operads and $E_\infty$-algebras

I work in algebraic geometry. Lately, the answer to most of my questions seems to be "you should read Lurie's Higher Algebra." I took this advice seriously, however it turned out not to be an easy ...
Piotr Achinger's user avatar
14 votes
2 answers
781 views

Interpretation of the cohomology of compact lie groups and their classifying spaces in DAG?

I'll be using homological grading throughout this question. Let $G$ be a compact connected lie group. The following isomorphisms are classical and can be proven using several methods: $$H^{\bullet}(...
Saal Hardali's user avatar
  • 7,799
10 votes
1 answer
851 views

Bar/Cobar Adjunction Between Modules and Comodules

There is a pretty well known, and widely written about, adjunction between augmented algebras and coaugmented coalgebras given by taking the bar construction on algebras and the cobar construction on ...
Jonathan Beardsley's user avatar
23 votes
2 answers
2k views

Why do people say DG-algebras behave badly in positive characteristic?

It seems to be a common wisdom in derived algebraic geometry that commutative DG-algebras are not, in general, a good model for derived rings, with the stated reason that they behave badly in positive ...
Derived geometry's user avatar
11 votes
1 answer
650 views

Thom Spectra and Hopf-Galois Extensions of Ring Spectra

So I've been fiddling with this for a long time, so apologies to anyone that's already heard me talk about this ad nauseum. I haven't been able to get anywhere with it, and it seemed that as such, it ...
Jonathan Beardsley's user avatar