« first day (2522 days earlier)      last day (881 days later) » 

Harry Gindi
Harry Gindi
10:58 AM
@SaalHardali He wrote two sections in April.
we're not even at the end of May
also two sections in March
If anything he is writing faster than normal?
It looks like he is writing twice as fast as he was last year
It's not the most engrossing material, but that's also because we're very familiar with it
 
Saal Hardali
Saal Hardali
@HarryGindi You're right. I guess I phrased that wrong. Of course compared to any other metric Lurie's writing speed is phenomenal, I guess what I'm experiencing is the discrepancy between that and the speed in which Kerodon has taken off. Not that I'm complaining or anything. I'm happy about anything and everything he writes and he still writes faster than I would ever be able to.
I'm also happy with Kerodon the way it is now. I was just interested in whether there are any future plans of his to involve other people in it and/or what other topics does he plan to do
 
Harry Gindi
Harry Gindi
11:28 AM
I have some suggestions to drop on the pushout-join/slice page, but I don't know if he is taking any suggestions.
In particular, the corner-join construction f★'- defines a functor from Arr(sSet)→Arr(sSet_{f/}) that admits a right adjoint. That's why that lifting problem is for free and also why to set up the theorem you need to specify an extra arrow. I sat down and worked it out one time, and I found this observation very useful.
The target is weird (arrows on the slice under f), but this is the right thing. This is probably a general statement for how corner-products of parametrically closed monoidal structures work
 
S. carmeli
S. carmeli
11:59 AM
@EricPeterson I am confused about your response to Tim. Isn't the map in discussion on cohomology the one induced from the multiplication by p on the abelian group C_p by applying a lot of functors, and hence vanish regardless of any computations by Ravanel and Wilson (because its a p-torsion group)? or you have a third map in mind?
by "in discussion" i mean the map you thought he is talking about
 
 
7 hours later…
Eric Peterson
Eric Peterson
6:58 PM
yeah, that’s right. that’s also part of why i got confused and over-answered the question: i thought there might be some reason i was overlooking that could make functorialty fail, like something being null as a map of spaces but not as a map of loopspaces
turns out: no reason to worry, and also not the map he was talking about
 
S. carmeli
S. carmeli
7:39 PM
oh ok thanks for the clarification.
 
 
3 hours later…
jesparza
jesparza
10:39 PM
Hello, This is my first time posting here so pardon if I don't know etiquette in the chatroom.`
I have been browsing recently about topological modular forms and elliptic cohomology trying to read some surveys and simple documents.

I come more from a number theory side of things, I was wondering if there are papers that deal with how discoveries in these areas have led to improvements in our understanding of arithmetic of elliptic curves. Perhaps this is a broad question so I am sorry, but most of the work I see on tmf seems to be from homotopy theorist to homotopy theorist, or perhaps interactions with derived algebraic geometry/geometric Langlands, but I was wondering if there are …
 

« first day (2522 days earlier)      last day (881 days later) »