-
Completely solving the quintic by iteration
Authors:
Scott Crass
Abstract:
In the late nineteenth century, Felix Klein revived the problem of solving the quintic equation from the moribund state into which Galois had placed it. Klein's approach was a mix of algebra and geometry built on the structure of the regular icosahedron. His method's key feature is the connection between the quintic's Galois group and the rotational symmetries of the icosahedron.
Roughly a centu…
▽ More
In the late nineteenth century, Felix Klein revived the problem of solving the quintic equation from the moribund state into which Galois had placed it. Klein's approach was a mix of algebra and geometry built on the structure of the regular icosahedron. His method's key feature is the connection between the quintic's Galois group and the rotational symmetries of the icosahedron.
Roughly a century after Klein's work, P. Doyle and C. McMullen developed an algorithm for solving the quintic that also exploited icosahedral symmetry. Their innovation was to employ a symmetrical dynamical system in one complex variable. In effect, the dynamical behavior provides for a partial breaking of the polynomial's symmetry and the extraction of two roots following one iterative run of the map.
The recent discovery of a map whose dynamics breaks all of the quintic's symmetry allows for five roots to emerge from a single run. After sketching some algebraic and geometric background, the discussion works out an explicit procedure for solving the quintic in a complete sense.
△ Less
Submitted 14 June, 2020; v1 submitted 2 June, 2020;
originally announced June 2020.
-
Solving the octic by iteration in six dimensions
Authors:
Scott Crass
Abstract:
Extends previous work on a quintic-solving algorithm to equations of the eighth-degree.
Extends previous work on a quintic-solving algorithm to equations of the eighth-degree.
△ Less
Submitted 1 March, 2020;
originally announced March 2020.
-
Dynamics of a soccer ball
Authors:
Scott Crass
Abstract:
Exploiting the symmetry of the regular icosahedron, Peter Doyle and Curt McMullen constructed a solution to the quintic equation. Their algorithm relied on the dynamics of a certain icosahedral equivariant map for which the icosahedron's twenty face-centers--one of its special orbits--are superattracting periodic points. The current study considers the question of whether there are icosahedrally s…
▽ More
Exploiting the symmetry of the regular icosahedron, Peter Doyle and Curt McMullen constructed a solution to the quintic equation. Their algorithm relied on the dynamics of a certain icosahedral equivariant map for which the icosahedron's twenty face-centers--one of its special orbits--are superattracting periodic points. The current study considers the question of whether there are icosahedrally symmetric maps with superattracting periodic points at a 60-point orbit. The investigation leads to the discovery of two maps whose superattracting sets are configurations of points that are respectively related to a soccer ball and a companion structure. It concludes with a discussion of how a generic 60-point attractor provides for the extraction of all five of the quintic's roots.
△ Less
Submitted 1 January, 2017; v1 submitted 11 April, 2014;
originally announced April 2014.
-
New light on solving the sextic by iteration: An algorithm using reliable dynamics
Authors:
Scott Crass
Abstract:
In recent work on holomorphic maps that are symmetric under certain complex reflection groups---generated by complex reflections through a set of hyperplanes, the author announced a general conjecture related to reflection groups. The claim is that for each reflection group G, there is a G-equivariant holomorphic map that is critical exactly on the set of reflecting hyperplanes. One such group is…
▽ More
In recent work on holomorphic maps that are symmetric under certain complex reflection groups---generated by complex reflections through a set of hyperplanes, the author announced a general conjecture related to reflection groups. The claim is that for each reflection group G, there is a G-equivariant holomorphic map that is critical exactly on the set of reflecting hyperplanes. One such group is the Valentiner action V---isomorphic to the alternating group A_6---on the complex projective plane. A previous algorithm that solved sixth-degree equations harnessed the dynamics of a V-equivariant. However, important global dynamical properties of this map were unproven. Revisiting the question in light of the reflection group conjecture led to the discovery of a degree-31 map that is critical on the 45 lines of reflection for V. The map's critical finiteness provides a means of proving its possession of the previous elusive global properties. Finally, a sextic-solving procedure that employs this map's reliable dynamics is developed.
△ Less
Submitted 16 June, 2011;
originally announced June 2011.
-
Solving the heptic in two dimensions: Geometry and dynamics under Klein's group of order 168
Authors:
Scott Crass
Abstract:
There is a family of seventh-degree polynomials $H$ whose members possess the symmetries of a simple group of order 168. This group has an elegant action on the complex projective plane. Developing some of the action's rich algebraic and geometric properties rewards us with a special map that also realizes the 168-fold symmetry. The map's dynamics provides the main tool in an algorithm that solv…
▽ More
There is a family of seventh-degree polynomials $H$ whose members possess the symmetries of a simple group of order 168. This group has an elegant action on the complex projective plane. Developing some of the action's rich algebraic and geometric properties rewards us with a special map that also realizes the 168-fold symmetry. The map's dynamics provides the main tool in an algorithm that solves "heptic" equations in $H$.
△ Less
Submitted 16 January, 2006;
originally announced January 2006.
-
A family of critically finite maps with symmetry
Authors:
Scott Crass
Abstract:
The symmetric group S_n acts as a reflection group on CP^{n-2} (for $n\geq 3$) . Associated with each of the $\binom{n}{2}$ transpositions in S_n is an involution on CP^{n-2} that pointwise fixes a hyperplane--the mirrors of the action. For each such action, there is a unique S_n-symmetric holomorphic map of degree n+1 whose critical set is precisely the collection of hyperplanes. Since the map…
▽ More
The symmetric group S_n acts as a reflection group on CP^{n-2} (for $n\geq 3$) . Associated with each of the $\binom{n}{2}$ transpositions in S_n is an involution on CP^{n-2} that pointwise fixes a hyperplane--the mirrors of the action. For each such action, there is a unique S_n-symmetric holomorphic map of degree n+1 whose critical set is precisely the collection of hyperplanes. Since the map preserves each reflecting hyperplane, the members of this family are critically-finite in a very strong sense. Considerations of symmetry and critical-finiteness produce global dynamical results: each map's fatou set consists of a special finite set of superattracting points whose basins are dense.
△ Less
Submitted 16 May, 2005; v1 submitted 3 July, 2003;
originally announced July 2003.
-
Solving the sextic by iteration: A study in complex geometry and dynamics
Authors:
Scott Crass
Abstract:
Recently, Peter Doyle and Curt McMullen devised an iterative solution to the fifth degree polynomial. At the method's core is a rational mapping of the Riemann sphere with the icosahedral symmetry of a general quintic. Moreover, this map posseses "reliable" dynamics: for almost any initial point, its trajectory converges to one of the periodic cycles that comprise an icosahedral orbit. This symm…
▽ More
Recently, Peter Doyle and Curt McMullen devised an iterative solution to the fifth degree polynomial. At the method's core is a rational mapping of the Riemann sphere with the icosahedral symmetry of a general quintic. Moreover, this map posseses "reliable" dynamics: for almost any initial point, its trajectory converges to one of the periodic cycles that comprise an icosahedral orbit. This symmetry-breaking provides for a reliable or "generally-convergent" quintic-solving algorithm: with almost any fifth-degree equation, associate a rational map that has reliable dynamics and whose attractor consists of points from which one computes a root.
An algorithm that solves the sixth-degree equation requires a dynamical system with the symmetry of the alternating group on six things. This group does not act on the Riemmann sphere, but does act on the complex projective plane--this is the Valentiner group. The present work exploits the resulting 2-dimensional geometry in finding a Valentiner-symmetric rational map whose elegant dynamics experimentally appear to be reliable in the above sense--transferred to the 2-dimensional setting. This map provides the central feature of a conjecturally-reliable sextic-solving procedure analogous to that employed in the quintic case. The paper culminates in an explicit description of the algorithm.
△ Less
Submitted 18 March, 1999;
originally announced March 1999.
-
Solving the sextic by iteration: A complex dynamical approach
Authors:
Scott Crass,
Peter Doyle
Abstract:
Recently, Peter Doyle and Curt McMullen devised an iterative solution to the fifth degree polynomial. At the method's core is a rational mapping of the Riemann sphere with the icosahedral symmetry of a general quintic. Moreover, this map posseses "reliable" dynamics: for almost any initial point, the its trajectory converges to one of the periodic cycles that comprise an icosahedral orbit. This…
▽ More
Recently, Peter Doyle and Curt McMullen devised an iterative solution to the fifth degree polynomial. At the method's core is a rational mapping of the Riemann sphere with the icosahedral symmetry of a general quintic. Moreover, this map posseses "reliable" dynamics: for almost any initial point, the its trajectory converges to one of the periodic cycles that comprise an icosahedral orbit. This symmetry-breaking provides for a reliable or "generally-convergent" quintic-solving algorithm: with almost any fifth-degree equation, associate a rational mapping that has reliable dynamics and whose attractor consists of points from which one computes a root.
An algorithm that solves the sixth-degree equation requires a dynamical system with the symmetry of the alternating group on six things. This group does not act on the Riemmann sphere, but does act on the complex projective plane--this is the Valentiner group. The present work exploits the resulting 2-dimensional geometry in finding a Valentiner-symmetric rational mapping whose elegant dynamics experimentally appear to be reliable in the above sense---transferred to the 2-dimensional setting. This map provides the central feature of a conjecturally-reliable sextic-solving algorithm analogous to that employed in the quintic case.
△ Less
Submitted 18 March, 1999; v1 submitted 17 March, 1999;
originally announced March 1999.
-
Solving the quintic by iteration in three dimensions
Authors:
Scott Crass
Abstract:
The requirement for solving a polynomial is a means of breaking its symmetry, which in the case of the quintic, is that of the symmetric group S_5. Induced by its five-dimensional linear permutation representation is a three-dimensional projective action. A mapping of complex projective 3-space with this S_5 symmetry can provide the requisite symmetry-breaking tool.
The article describes some…
▽ More
The requirement for solving a polynomial is a means of breaking its symmetry, which in the case of the quintic, is that of the symmetric group S_5. Induced by its five-dimensional linear permutation representation is a three-dimensional projective action. A mapping of complex projective 3-space with this S_5 symmetry can provide the requisite symmetry-breaking tool.
The article describes some of the S_5 geometry in CP^3 as well as several maps with particularly elegant geometric and dynamical properties. Using a rational map in degree six, it culminates with an explicit algorithm for solving a general quintic. In contrast to the Doyle-McMullen procedure - three 1-dimensional iterations, the present solution employs one 3-dimensional iteration.
△ Less
Submitted 6 October, 1999; v1 submitted 9 March, 1999;
originally announced March 1999.
