fix this ... rewrite somewhat more intelligibly ... ??...


toric stuff here .... ??? ....


??sa "ab=cd" example ... ??as maybe pretty easy to sort out... os... ??various ways of visualizing and /or otherwise grokking ... ?? ... os ... asf os... ??which somehow made me think about sa ... :

stratification... example of ... ??? ??leading to something about ... :

singularity...

??then sa stack...

??orbit stack of the torus acting on the toric variety .... ??and so forth ...

??something about ... from "toric" vs "non-toric" viewpoint??? os?? asf os....

??also sa that "double interpretation" stuff i was trying to remember recently ...

??also sa yet more "toric toposes" to add to catalog ... ??os... asf os...

asf ...


"torsic variety"

??something about g-variety with dense g-torsor ... ??os ... asf os... ???...


conflict ... ???....

??something about ... ??at the moment i seem to be getting a conflict between two ways of trying to understand toric variety accidental topos as geometric theory ... :

1 ??sa... graded actions as forming slice topos ... ???sa "frame at Z level" =?= grade ... ???os, asf os... ???

2 ???sa "analog of diaconescu's theorem for filteredly cocomplete categories in place of just plain categories" ... ???no hint here of anchoring grade ... ??os ??? ... asf os... ???.....

??hmm, ok, i think that this is beginning to fit together better now... ??seems to have been confusion... for example something about two extremes, toric variety vs its torus ... and so forth ....

??on the other hand, now i'm getting even more bugged by this "filteredly cocomplete analog of projective" (or something ...) business ...