« first day (2888 days earlier)      last day (515 days later) » 

Bryan Shih
Bryan Shih
4:19 PM
@MaximeRamzi Wow! Sorry for the late reply. You resolved all my confusions - especially that observation a).
@DenisNardin I wonder if you remember our discussion on Prop. 4.16 of https://arxiv.org/pdf/1803.10897.pdf .
where I asked whether F preserving finite products was necessary.

Back then i thought we can decompose any henselian unital algebra as its p primary parts I = \oplus I_p. But its not clear why I_p is henseilan. i.e. it doesn't necessarilly satisfy the "solution solving criteria at Definition 3.7. So why are using that F prserves products?

I have a similar problem: for the next llne of the proof. in short exact sequence pI->I->I/pI why is pI also a henselian algebra?
 
 
2 hours later…
Riccardo
Riccardo
6:03 PM
Hi everyone, are you aware of any reference dealing with studying the map CF(L_0,L_1)\to CF(L_0,L_1) in Lagrangian Floer (co)homology induced by counting J-hol sections of a trivial fibration over a rectangle with an hole in the middle and some lagrangian boundary condition. I'm asking this because this map would be the composition of the coproduct with the product, so it definitely looks reasonable enough for someone to have studied it
L_0,L_1 are Lagrangians of a given surface S.
 
 
3 hours later…
Maxime Ramzi
Maxime Ramzi
8:46 PM
@BryanShih If I may answer that one as well, I think A\times B is henselian according to def 3.7 if and only if A and B are. So in particular if I is henselian and torsion, then it's a product of (finitely many) of its p-primary parts as a (nonunital) ring and therefore each of them satisfies def 3.7
 
 
3 hours later…
Bryan Shih
Bryan Shih
11:49 PM
@MaximeRamzi actually, I think one part holds more generally: if I->B->B/I is a sequence if nonunital, then B is nonunital then I,B/I are nonunital : firstly you show B/I is nonunital. (since this follows that any soln can be lifted), then limits in in this category is computed in underlying abelian groups.
 

« first day (2888 days earlier)      last day (515 days later) »