In this paper we prove that the etale sheafification of the functor arising from the quotient of an algebraic supergroup by a closed subsupergroup is representable by a smooth superscheme.
In this article we review the question of constructing geometric quotients of actions of linear algebraic groups on irreducible varieties over algebraically closed fields of characteristic zero, in the spirit of Mumfords geometric invariant theory (G
IT). The article surveys some recent work on geometric invariant theory and quotients of varieties by linear algebraic group actions, as well as background material on linear algebraic groups, Mumfords GIT and some of the challenges that the non-reductive setting presents. The earlier work of two of the authors in the setting of unipotent group actions is extended to deal with actions of any linear algebraic group. Given the data of a linearisation for an action of a linear algebraic group H on an irreducible variety $X$, an open subset of stable points $X^s$ is defined which admits a geometric quotient variety $X^s/H$. We construct projective completions of the quotient $X^s/H$ by considering a suitable extension of the group action to an action of a reductive group on a reductive envelope and using Mumfords GIT. In good cases one can also compute the stable locus $X^s$ in terms of stability (in the sense of Mumford for reductive groups) for the reductive envelope.
The solutions to the Kadomtsev-Petviashvili equation that arise from a fixed complex algebraic curve are parametrized by a threefold in a weighted projective space, which we name after Boris Dubrovin. Current methods from nonlinear algebra are applie
d to study parametrizations and defining ideals of Dubrovin threefolds. We highlight the dichotomy between transcendental representations and exact algebraic computations. Our main result on the algebraic side is a toric degeneration of the Dubrovin threefold into the product of the underlying canonical curve and a weighted projective plane.
We study a generalization of the isomonodromic deformation to the case of connections with irregular singularities. We call this generalization Isostokes Deformation. A new deformation parameter arises: one can deform the formal normal forms of conne
ctions at irregular points. We study this part of the deformation, giving an algebraic description. Then we show how to use loop groups and hypercohomology to write explicit hamiltonians. We work on an arbitrary complete algebraic curve, the structure group is an arbitrary semisimiple group.
Li-Zingers hyperplane theorem states that the genus one GW-invariants of the quintic threefold is the sum of its reduced genus one GW-invariants and 1/12 multiplies of its genus zero GW-invariants. We apply the Guffin-Sharpe-Wittens theory (GSW theor
y) to give an algebro-geometric proof of the hyperplane theorem, including separation of contributions and computation of 1/12.