« first day (1662 days earlier)      last day (1741 days later) » 

12:30 AM
here's something that i'm really surprised that i only just realized: it's slightly nontrivial that a ring spectrum whose underlying spectrum is discrete (i.e. in the heart) is equivalent data to an ordinary ring. given a discrete ring spectrum $R$, in its multiplication map $R \otimes R \to R$ the source need not be discrete. but due to the adjunction $\pi_0 : Sp^{\geq 0} \rightleftarrows Ab : H$, that map is equivalent data to a map $Tor_0(R,R) := \pi_0 (R \otimes R) \to R$.
note that this uses the compatibility of the t-structure with the monoidal structure (and i think this is necessary).
 
 
8 hours later…
8:49 AM
@JonathanBeardsley The general statement is that if F: C -> D is a symmetric monoidal left adjoint functor with (necessarily lax symmetric monoidal) right adjoint G, then F and G preserve algebras (commutative monoids) and induced an adjunction between the categories of algebras. The main difficulty in proving this is that passage to section categories turns relative adjunctions into adjunctions. This is proved in Lemma C.6 of arxiv.org/pdf/1711.03061.pdf.
(One can either use (oo,2)-category theory, or the end formula for mapping spaces in section categories.)
 
9:00 AM
[Now that I think about it, this is essentially the same thing as what Denis said.]
 
9:24 AM
@AaronMazel-Gee Yeah, the point is that discrete objects form a suboperad of spectra equivalent to the operad of abelian groups, even if they are clearly not closed under the smash product. You can interpret that using Lawvere theories, if you fancy that kind of things.
 
 
5 hours later…
2:23 PM
I know I've seen discussions about this before, either here or in the main site, or elsewhere... but I can't find them. So here's a question that should be dear to many people here: what do you consider to be some spectacular examples of problems in algebraic geometry solved using the modern (Lurie's?) approach to derived algebraic geometry?
 
I don't know if there are spectacular examples yet. I know that people like Dennis Gaitsgory are very much interested in applications of DAG to geometric Langlands (this might be a start). I know very little about geometric Langlands, so I cannot say how powerful the method has shown itself to be
 
I thought there were some things related to deformation theory
 
There certainly are applications to deformation theory, but I don't know if we reached to the point where the algebraic geometers care about what we're able to prove
But maybe someone better versed in DAG than me can provide more information
 
2:41 PM
@DenisNardin I see. Thanks for the pointer to Gaitsgory. any pointers to some place where I could read about those applications to deformation theory?
 
I think it's still in Gaitsgory's book, maybe under 'formal moduli'?, I don't really know this stuff well
 
 
2 hours later…
4:29 PM
Is there a right notion of valuations/norms on E_oo ring spectra? I have a weird interest in the idea of taking the valuative spectrum of something like \mathbb{S} and studying it.
 
 
2 hours later…
6:42 PM
Without computing KO-groups or doing something too roundabout, is it possible to prove James periodicity by using some Clifford-algebra-y thing to produce an explicit stable trivialization of a multiple of the canonical bundle on RP^n?
 

« first day (1662 days earlier)      last day (1741 days later) »