Special regular polynomial skew products

Yugang Zhang

arxiv: 2604.12173 · v1 · submitted 2026-04-14 · 🧮 math.DS · math.AG· math.CV

Special regular polynomial skew products

Yugang Zhang This is my paper

Pith reviewed 2026-05-10 16:25 UTC · model grok-4.3

classification 🧮 math.DS math.AGmath.CV

keywords polynomial skew productsspecial mapssemiconjugacyalgebraic groupsmultipliersnumber fieldsChebyshev mapsDickson polynomials

0 comments

The pith

A regular polynomial skew product in two variables is special precisely when it is semiconjugate to an affine self-map of a two-dimensional connected commutative algebraic group over the complex numbers and when all its multipliers lie in a

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines a regular polynomial skew product of degree at least two to be special when it is triangularly conjugate to a map built from power maps, Chebyshev maps, or Dickson polynomials in a specific skew-product form. It proves that this definition is equivalent to the map being semiconjugate to an affine self-map in skew-product form on a two-dimensional connected commutative algebraic group over the complex numbers, and also equivalent to the condition that all multipliers of the map lie inside some fixed number field. These equivalences extend the corresponding characterization known for ordinary polynomials in one variable. A reader would care because the result supplies concrete algebraic and arithmetic tests that identify which skew products admit this reduction and therefore have simpler dynamical behavior.

Core claim

A regular polynomial skew product f=(p(z),q(z,w)) of degree d greater than or equal to two is special if and only if it is triangularly conjugate to a map of the form (p(z),q(w)) with p and q power maps or plus-or-minus Chebyshev maps, or of the form (z to the d, D_d(w, zeta z to the m)) with Dickson polynomial D_d, zeta a (d-1)th root of unity and m equal to one or two. This property holds if and only if f is semiconjugate to an affine self-map g in skew-product form of a two-dimensional connected commutative algebraic group G over the complex numbers, and if and only if every multiplier of f belongs to some fixed number field K.

What carries the argument

the three-way equivalence between triangular conjugacy to power/Chebyshev/Dickson skew-product forms, semiconjugacy to an affine self-map on a two-dimensional connected commutative algebraic group, and the arithmetic condition that all multipliers lie in a single number field

If this is right

Special maps reduce via semiconjugacy to affine endomorphisms of algebraic groups, allowing their iteration and periodic points to be studied through linear algebra on the group.
The number-field condition on multipliers supplies an arithmetic criterion that can be checked directly from the coefficients to decide whether a given skew product is special.
The result supplies a complete classification of those skew products whose dynamics are controlled by the same algebraic structures that govern special one-variable polynomials.
All special maps inherit rigidity properties from the underlying group endomorphisms, such as constrained multiplier spectra.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

One could search for new examples by starting with affine self-maps on known commutative groups such as tori or additive groups and pulling them back through semiconjugacies.
The equivalence suggests that the arithmetic degree of the multiplier field controls the possible post-critical orbits in the skew-product setting.
The same circle of ideas may apply to non-polynomial regular maps or to skew products in higher dimension once suitable notions of triangular conjugacy are defined.

Load-bearing premise

The maps under study are regular polynomial skew products of degree at least two that admit a triangular conjugacy to one of the listed power, Chebyshev, or Dickson forms.

What would settle it

A concrete counterexample would be any regular polynomial skew product of degree at least two whose multipliers all lie inside a single number field yet which fails to be semiconjugate to an affine self-map on any two-dimensional connected commutative algebraic group over the complex numbers.

read the original abstract

We define a regular polynomial skew product $(p(z),q(z,w))$ of $\mathbb{C}^2$ of degree $d\geq 2$ to be special if it is triangularly conjugate to a map of the form $(p(z),q(w))$, where $p$ and $q$ are power maps or $\pm$Chebyshev maps, or of the form $(z^d,D_d(w,\zeta z^m))$, where $\zeta^{d-1}=1$, $m\in\{1,2\}$, and $D_d$ is the Dickson polynomial of degree $d$. We justify this definition by showing the following equivalence. (1) $f$ is special. (2) $f$ is semiconjugate to an affine self-map $g$ in skew product form of a 2-dimensional connected and commutative algebraic group $G$ over $\mathbb{C}$. (3) All multipliers of $f$ are contained in a fixed number field $K$. This generalizes the one-variable polynomial case.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

read the letter

This paper defines special regular polynomial skew products on C^2 and proves they are equivalent to semiconjugates of affine maps on 2D commutative algebraic groups and to maps whose multipliers all lie in a fixed number field. It generalizes the one-variable polynomial case by giving explicit triangular conjugacy forms (power maps, Chebyshev, and Dickson polynomials with the extra zeta parameter) that realize the other two properties. The author sets up the definition around those concrete models and then shows the equivalences hold for regular polynomial skew products of degree at least 2. The link to algebraic groups and number fields organizes the maps in a way that mirrors the 1D story but accounts for the skew structure. The paper handles the Dickson case with care and supplies the steps needed to move between the three characterizations. The logic follows the 1D pattern without introducing new gaps or circular definitions. The assumption that the maps admit triangular conjugacy to the listed forms is built into the definition, so it does not create hidden fitting. A minor limitation is that the work stays at the level of classification and does not include many non-model examples or dynamical consequences beyond the equivalences themselves, but that fits the scope. This is a paper for specialists in holomorphic dynamics who work on polynomial maps in several variables or on classification results that connect to algebraic groups. Readers following how number fields and group semiconjugacies appear in higher-dimensional dynamics will find it directly useful. The thinking is clear and the engagement with the one-variable literature is honest. It deserves a serious referee because the generalization is cleanly stated and grounded in explicit constructions. I recommend sending it to peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript defines 'special' regular polynomial skew products in C² of degree d ≥ 2 as those triangularly conjugate to maps of the form (p(z), q(w)) where p and q are power maps or ±Chebyshev maps, or of the form (z^d, D_d(w, ζ z^m)) with ζ^{d-1}=1, m ∈ {1,2}, and D_d the Dickson polynomial. It establishes the equivalence of this definition with semiconjugacy to an affine self-map in skew-product form of a 2-dimensional connected commutative algebraic group over C, and with the property that all multipliers lie in a fixed number field K. This is presented as a generalization of the one-variable polynomial case.

Significance. If the equivalences hold, the result supplies a classification theorem for special skew products that links explicit conjugacy classes, semiconjugacies to algebraic group actions, and arithmetic constraints on multipliers. The concrete model maps listed in the definition realize the other two properties and make the generalization from the one-dimensional setting explicit and verifiable. This framework could support further work on rigidity phenomena in several complex variables.

minor comments (3)

[Abstract] Abstract: the term 'triangularly conjugate' is introduced without definition or forward reference; a precise definition (or citation to a standard reference) should appear in the introduction or §1.
[Abstract] Abstract: the general skew product is written (p(z), q(z,w)) while the special models are written (p(z), q(w)) or (z^d, D_d(w, ζ z^m)); the independence of the second coordinate on z in the special case should be stated explicitly to avoid notational confusion.
[Abstract] Abstract: the conditions ζ^{d-1}=1 and m ∈ {1,2} for the Dickson case are stated without motivation; a brief remark on why these parameters arise (e.g., from the group law or multiplier constraints) would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main results, and recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper first defines 'special' explicitly as triangular conjugacy to the listed power/Chebyshev/Dickson forms. It then proves the claimed equivalences to semiconjugacy with an affine group skew product and to multipliers in a fixed number field K. These are presented as theorems that justify the definition by matching independent dynamical properties, generalizing the one-variable case. No step reduces a result to a fitted parameter, self-citation chain, or definitional tautology; the equivalences are derived results rather than inputs renamed as outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Only the abstract is available, so the ledger records the background fields invoked and the new definition introduced. No explicit free parameters or invented physical entities appear.

axioms (1)

standard math Standard results from one-variable complex dynamics and the theory of algebraic groups over C
The equivalence statements rely on background facts about multipliers, semiconjugacies, and affine actions on commutative groups.

invented entities (1)

special regular polynomial skew product no independent evidence
purpose: To isolate the subclass of skew products satisfying the three equivalent conditions
The notion is defined in the paper by triangular conjugacy to power/Chebyshev/Dickson forms.

pith-pipeline@v0.9.0 · 5473 in / 1296 out tokens · 68878 ms · 2026-05-10T16:25:48.317226+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We define a regular polynomial skew product (p(z),q(z,w)) of C^2 of degree d≥2 to be special if it is triangularly conjugate to a map of the form (p(z),q(w)), where p and q are power maps or ±Chebyshev maps, or of the form (z^d, D_d(w,ζ z^m)) ... (1) f is special. (2) f is semiconjugate to an affine self-map g in skew product form of a 2-dimensional connected and commutative algebraic group G over C. (3) All multipliers of f are contained in a fixed number field K.
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery and Peano structure echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Theorem 1.1 (Huguin). A rational map whose multipliers are all contained in a fixed number field is special.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

[1]

Entire or rational maps with integer multipliers

[BGHR22] Xavier Buff, Thomas Gauthier, Valentin Huguin, and Jasmin Raissy. Entire or rational maps with integer multipliers. Preprint, arXiv:2212.03661 [math.DS] (2022),

work page arXiv 2022
[2]

Preprint, arXiv:2501.07484 [math.DS] (2025),

work page arXiv 2025
[3]

Zieve and Peter Müller

[ZM08] Michael E. Zieve and Peter Müller. On Ritt’s polynomial decomposition theorems. Preprint, arXiv:0807.3578 [math.AG] (2008),

work page arXiv 2008

[1] [1]

Entire or rational maps with integer multipliers

[BGHR22] Xavier Buff, Thomas Gauthier, Valentin Huguin, and Jasmin Raissy. Entire or rational maps with integer multipliers. Preprint, arXiv:2212.03661 [math.DS] (2022),

work page arXiv 2022

[2] [2]

Preprint, arXiv:2501.07484 [math.DS] (2025),

work page arXiv 2025

[3] [3]

Zieve and Peter Müller

[ZM08] Michael E. Zieve and Peter Müller. On Ritt’s polynomial decomposition theorems. Preprint, arXiv:0807.3578 [math.AG] (2008),

work page arXiv 2008