The Invariants of Unipotent Radicals of Parabolic Subgroups.
A rational map ϕ: ℙ¹ → ℙ¹ along with an ordered list of fixed and critical points is called a totally marked rational map. The space of totally marked degree two rational maps can be parametrized by an affine open subset of (ℙ¹)⁵. We consider the natural action of SL₂ on induced from the action of SL₂ on (ℙ¹)⁵ and prove that the quotient space exists as a scheme. The quotient is isomorphic to a Del Pezzo surface with the isomorphism being defined over ℤ[1/2].
We develop a new approach of extension calculus in the category of strict polynomial functors, based on Troesch complexes. We obtain new short elementary proofs of numerous classical -computations as well as new results. In particular, we get a cohomological version of the “fundamental theorems” from classical invariant theory for for big enough (and we give a conjecture for smaller values of ). We also study the “twisting spectral sequence” converging to the extension groups between the...