ð Rational functions of the projective line from a computationa viewpoint
ð Abstract
An explicit invariant-theoretic description of the moduli space \(\mathcal{M}_3^1\) of degree-three rational maps on \(\mathbb{P}^1\) is developed. A cubic map \(\phi\) is represented, up to conjugation, by the pair of binary forms \((f, g) \in V_4 \oplus V_2\) arising from its ClebschâGordan decomposition.  From this representation one constructs weighted projective invariants \(\xi_0,\dots,\xi_5\)  embedding \(\mathcal{M}_3^1 \hookrightarrow \mathbb{P}_{(2,2,3,3,4,6)}^5\), together with absolute invariants defined as weight-zero rational functions of the \(\xi_i\), normalized by an additional invariant \(I_6\) of weight 6. These absolute invariants  determine the isomorphism class uniquely.
The stratification of \(\mathcal{M}_3^1\) is described explicitly by equations in the absolute invariants or polynomial relations among the \(\xi_i\). Computational illustrations demonstrate that the resulting invariants provide an effective feature set for automated classification of automorphism groups. The methods suggest natural extensions to higher degrees.
Keywords: Rational functions, arithmetic dynamics, machine learning
ð Bibliographic Metadata
Author: E. Badr, E. Shaska, T. Shaska
Journal: Journal of Symbolic Computation
Year: 2025
DOI: https://doi.org/10.48550/arXiv.2503.10835
Id: 2024-04
Status: in final review
ð Links and Resources
PDF: https://www.risat.org/pdf/2024-04.pdf
ArXiv: https://arxiv.org/abs/2503.10835
Data: https://risat.org/software/2024-05Â Â Â
Code: https://risat.org/software/2024-05Â Â Â Â Â
ð Citation Information
BibTeX:
@article{[2024-04
âtitle = {{Rational Functions on the Projective Line from a Computational Viewpoint},
âauthor = {E. Badr, E. Shaska, and T. Shaska},
âjournal = {Journal of Symbolic Computation},
âvolume = {Volume Number},
ânumber = {Issue Number},
âpages = {Page Range},
âyear = {YYYY},
âdoi = {10.xxxx/xxxx-xxxx},
âeprint = {arXiv:2503.10835},
âeprinttype = {arxiv}
}