Abstract:We construct (in significant generality) moduli spaces representing the functor of morphisms from a scheme into a solvable algebraic group.
What problem does this paper attempt to address?
This paper attempts to address the problem of constructing moduli spaces that represent morphisms from a scheme to a solvable algebraic group in algebraic geometry. Specifically, the authors aim to construct these moduli spaces under broad conditions so that they can represent the functor of morphisms from a geometrically reduced scheme to a solvable algebraic group.
### Main Issues
1. **Existence of Moduli Spaces**: For a given field \( k \), a geometrically reduced \( k \)-scheme \( X \), and a finite type solvable \( k \)-group scheme \( G \), the authors attempt to prove the existence of a moduli space \( \text{Mor}(X, G)^+ \) that can represent the functor of morphisms from \( X \) to \( G \).
2. **Boundedness of Morphisms**: To construct these moduli spaces, the authors need to prove that the morphisms from \( X \) to \( G \) are "bounded" in some sense. Particularly, this boundedness is crucial when \( G \) is a wound unipotent group.
### Specific Background
- **Wound Unipotent Groups**: Wound unipotent groups are a special type of unipotent group characterized by the absence of non-trivial \( \mathbb{G}_a \)-homomorphisms.
- **Bounded Families**: The authors introduce the concept of "bounded families," which are families of morphisms that are finite-dimensional under certain conditions.
- **p-Polynomials**: p-Polynomials play an important role in the study of unipotent groups, especially over fields of characteristic \( p \).
### Main Results
- **Main Theorem**: For a field \( k \), a geometrically reduced \( k \)-scheme \( X \), and a finite type solvable \( k \)-group scheme \( G \) (which does not contain a \( k \)-subgroup scheme isomorphic to \( \mathbb{G}_a \)), there exists a unique subfunctor \( \text{Mor}(X, G)^+ \subset \text{Mor}(X, G) \) with the following properties:
- For all geometrically reduced \( k \)-schemes \( T \), \( \text{Mor}(X, G)^+(T) = \text{Mor}(X, G)(T) \).
- The functor \( \text{Mor}(X, G)^+ \) can be represented by a smooth \( k \)-group scheme.
- **Special Case**: When \( G \) is a wound unipotent group, \( \text{Mor}(X, G)^+ \) is a smooth, finite type, unipotent \( k \)-group scheme, and its identity component is wound.
### Key Techniques
- **Boundedness Results**: By studying the properties of p-polynomials, the authors prove the boundedness of morphisms from \( X \) to \( G \). This involves tools from geometric class field theory and the curve fibration lemma.
- **Geometric Class Field Theory**: Utilizing Albanese-type properties in geometric class field theory, the authors decompose morphisms from smooth curves to commutative groups into homomorphisms of Jacobians.
### Conclusion
The main contribution of this paper is the construction of moduli spaces that represent morphisms from a geometrically reduced scheme to a solvable algebraic group under broad conditions, and the proof of the existence and properties of these moduli spaces. This result is significant in the field of algebraic geometry and related areas.