Affine quotients of supergroups (Q733672)

Let \(K\) be an algebraically closed field, and let \(G\) be an affine supergroup with supersubgroup \(H\). The main result in this work is that \(G\widetilde {\widetilde{/}}H,\) its dur \(K\)-sheaf, is an affine supergroup and \(H\) is exact (i.e. ind\(_{H}^{G}\) is exact). Furthermore, if \(G\) is algebraic then so is \(G\widetilde{\widetilde{/}}H=G\widetilde{/}H.\) More generally, suppose \(G\) acts freely on a superscheme \(X\) freely -- we may ask when is \(X\widetilde{\widetilde{/}}G\) an affine superscheme. Suppose \(R\) is a supersubalgebra on \(K\left[ X\right] ^{G}\) and that the canonical map \(X\times G\rightarrow X\times_{SSp\left( R\right) }X\) is an isomorphism. If \(K\left[ X\right] \) is a faithfully flat \(R\)-supermodule, then \(X\widetilde{\widetilde{/}}G\cong SSp\left( R\right) \) and hence \(X\widetilde{\widetilde{/}}G\) is affine. Also, if \(R\leq K\left[ X\right] \) then \(X\widetilde{/}G\cong SSp\left( R\right) .\) A question of Brundan states that if \(G\) is an algebraic supergroup and \(H\) a supersubgroup such that \(H_{\text{ev}}\) is reductive, is it necessary that \(G\widetilde{/}H\) is affine? Here it is shown that if \(K\) has positive characteristic or \(G\) is finite is then the answer is affirmative, however the question remains open in other cases.