The model class image-containment conjecture for secondary obstruction complexes

Let (Y,TY,)(Y,T^*_{Y,-}) be a gtgt-model. The secondary obstruction complex has differentials

{a,b}:Hpa,b(Y,TY,)Hp+1a1,b+1(Y,TY,).\partial^{\{a,b\}}:{\bf H}^{a,b}_p(Y,T^*_{Y,-})\longrightarrow {\bf H}^{a-1,b+1}_{p+1}(Y,T^*_{Y,-}).

Let Θ(TY,)\Theta(T^*_{Y,-}) denote the model class and let (Θ(TY,),){a,b}(\Theta(T^*_{Y,-}),-)^{\{a,b\}}_* be the induced map on the corresponding groups. Model class image-containment conjecture. For any gtgt-model (Y,TY,)(Y,T^*_{Y,-}) and any a,ba,b,

im(Θ(TY,),){a,b}im{a,b}.\operatorname{im}\big(\Theta(T^*_{Y,-}),-\big)^{\{a,b\}}_*\subseteq \operatorname{im}\partial^{\{a,b\}}.

This conjecture predicts that the model class gives a map whose image is detected by the secondary obstruction complex, clarifying how the model class can obstruct families with refined splitting type. Its resolution status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Kowshik Bettadapura, “Families of Supermanifolds: Splitting Types and Obstruction Maps”, arXiv:1906.02391 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.