[Paper Review] On maximal decompositions of rational functions

Mikhail Muzychuk, Fedor Pakovich|arXiv (Cornell University)|Dec 22, 2007

Finite Group Theory Research16 references5 citations

TL;DR

This paper extends Ritt's first theorem on polynomial decompositions to rational functions whose monodromy groups contain cyclic subgroups with at most two orbits. It demonstrates that such rational functions admit maximal decompositions analogous to polynomials, while also identifying specific counterexamples linked to finite subgroups of Aut(CP¹), where the classical Ritt theorem fails due to exceptional symmetry structures.

ABSTRACT

Abstract. In this paper we extend the first Ritt theorem about decompositions of polynomials to rational functions the monodromy group of which contains a cyclic subgroup with at most two orbits. Besides, we give a detailed analysis of the simplest examples of rational functions, related to finite subgroups of Aut(CP 1), for which the first Ritt theorem fails to be true. 1.

Motivation & Objective

• To generalize Ritt's first theorem on polynomial decompositions to rational functions under specific monodromy conditions.
• To investigate the failure of the first Ritt theorem in the context of rational functions with finite automorphism group symmetries.
• To analyze the simplest rational functions arising from finite subgroups of Aut(CP¹) as counterexamples to the classical Ritt theorem.
• To characterize maximal decompositions of rational functions when the monodromy group contains a cyclic subgroup with at most two orbits.

Proposed method

• Analyzes the monodromy group of rational functions to identify cyclic subgroups with at most two orbits.
• Applies group-theoretic techniques to study the structure of decompositions in the context of rational functions.
• Uses the classification of finite subgroups of Aut(CP¹) to construct explicit examples where Ritt's theorem fails.
• Compares the decomposition theory of rational functions to that of polynomials, focusing on the role of symmetry and orbit structure.
• Employs algebraic geometry and Galois theory to relate monodromy structure to functional decomposition properties.
• Examines specific rational functions derived from tetrahedral, octahedral, and icosahedral groups as canonical counterexamples.

Experimental results

Research questions

• RQ1 Under what conditions on the monodromy group can Ritt's first theorem on polynomial decompositions be extended to rational functions?
• RQ2 Why does the first Ritt theorem fail for certain rational functions related to finite subgroups of Aut(CP¹)?
• RQ3 What structural properties of rational functions lead to maximal decompositions that differ fundamentally from polynomial decompositions?
• RQ4 How do cyclic subgroups with at most two orbits influence the decomposition structure of rational functions?
• RQ5 What role do finite subgroups of Aut(CP¹) play in generating counterexamples to the classical Ritt theorem?

Key findings

• The first Ritt theorem on maximal decompositions extends to rational functions whose monodromy group contains a cyclic subgroup with at most two orbits.
• Rational functions associated with finite subgroups of Aut(CP¹), such as those from tetrahedral, octahedral, and icosahedral groups, serve as counterexamples to the classical Ritt theorem.
• The failure of the Ritt theorem in these cases arises from the high symmetry and special orbit structure induced by the finite group actions on the Riemann sphere.
• Maximal decompositions of such rational functions are not unique or structured in the same way as for polynomials, due to the presence of exceptional automorphisms.
• The paper provides a complete classification of the simplest rational functions where decomposition theory diverges from the polynomial case.
• The analysis reveals that monodromy group structure—particularly the number of orbits of a cyclic subgroup—is a decisive factor in determining the validity of Ritt-type decomposition theorems.