Full-faithfulness conjecture for the syntomic sphere and its monoid stack
Let \bbSSyn\bbS^\mathrm{Syn}\bbSSyn be the syntomic stack, and let \bbMm\ifthenelse\equal\bbS,\bbSSyn\bbM_{\mathrm{m}\ifthenelse{\equal{\bbS}{}}{}{,\bbS}}^\mathrm{Syn}\bbMm\ifthenelse\equal\bbS,\bbSSyn be the associated monoid stack. Consider the map from…