Abstract:We determine the rational class and Picard groups of the moduli space of stable logarithmic maps in genus zero, with target projective space relative a hyperplane. For the class group we exhibit an explicit basis consisting of boundary divisors. For the Picard group we exhibit a spanning set indexed by piecewise-linear functions on the tropicalisation. In both cases a complete set of boundary relations is obtained by pulling back the WDVV relations from the space of stable curves. Our proofs hinge on a controlled technique for manufacturing test curves in logarithmic mapping spaces, opening up the topology of these spaces to further study.
What problem does this paper attempt to address?
This paper aims to solve problems regarding the divisor theory of the stable logarithmic mapping space and curves. Specifically, the author attempts to determine the rational class group and the Picard group of the moduli space \(M_{0,\alpha}(\mathbb{P}^r|H)\) under specific conditions, where \(H \subseteq \mathbb{P}^r\) is a hyperplane.
### Specific problems the paper attempts to solve include:
1. **Determination of the rational class group**:
- The author shows how to find an explicit basis for the rational class group of \(M_{0,\alpha}(\mathbb{P}^r|H)\), which consists of boundary divisors.
- By pulling back the WDVV relations from the space of stable curves, the author obtains the complete set of relations among all boundary divisors.
2. **Determination of the Picard group**:
- For the Picard group, the author shows how to obtain a generating set by indexing piecewise - linear functions on the tropicalization.
- Similarly, by pulling back the WDVV relations from the space of stable curves, the author obtains the complete set of relations among all divisors in the Picard group.
3. **Construction of test curves**:
- To prove the above results, the author develops a controlled technique to create test curves, which can be used to probe divisors in the moduli space and have strong control over the boundary intersections.
4. **Combinatorial description**:
- The author describes in detail the number and properties of boundary divisors by combinatorial methods, especially for stable tropical maps of rocket - type, airborne - type and binary - type.
### Main contributions:
- Provide an explicit basis for the rational class group, revealing the topological structure of the moduli space.
- Give a combinatorial description of the Picard group, further understanding the geometric properties of the moduli space.
- Develop a new method for constructing test curves, providing a tool for future research.
Through these works, the author not only solves the divisor theory problems of the moduli space but also lays the foundation for subsequent research, especially in the topology of the logarithmic mapping space.
### Key formulas and concepts involved:
- **Number of boundary divisors**: \(N(\alpha)\) represents the number of irreducible boundary divisors in \(M_{0,\alpha}(\mathbb{P}^r|H)\).
- **Dimension of the rational class group**: \[\text{dim} = N(\alpha)-\binom{n - 1}{2}+1\]
- **WDVV relations**: Relations pulled back from the space of stable curves, used to determine the relations among divisors.
These results and methods provide important tools and insights for understanding the geometric structure of high - dimensional moduli spaces.