Polynomial-Type Contractions Overview

• Polynomial-type contractions are defined by the integration of contraction properties with polynomial data, impacting fields like operator theory, affine dynamics, and Lie contractions.
• They utilize methodologies such as analyzing degree growth in polynomial automorphisms and factorizing characteristic functions to study stability and linearization.
• This framework unifies diverse applications by contrasting bounded versus unbounded polynomial growth and by providing insight into spectral and dynamical behavior across mathematical disciplines.

Searching arXiv for recent and relevant papers on polynomial-type contractions across the main usages of the term. Polynomial-type contractions comprise several distinct notions that arise when a contraction property is constrained, encoded, or analyzed through polynomial data. In current usage this includes polynomial automorphisms of affine space with contracting dynamics and controlled degree growth, completely non-unitary Hilbert-space contractions whose Sz.-Nagy–Foiaş characteristic functions are operator-valued polynomials, commuting row contractions with polynomial characteristic functions on the unit ball, metric and bipolar-metric fixed point mappings governed by finite polynomial inequalities in the distance, and Lie or Poisson contractions whose invariant or semi-invariant algebras remain polynomial after degeneration (Korshunov, 28 May 2026, Foias et al., 2010, Jleli et al., 2024, Panyushev et al., 2013).

1. Terminological scope and recurring structure

The term does not denote a single cross-disciplinary definition. In operator theory, a contraction is usually a bounded operator $T$ with $\|T\|\le 1$, or a row contraction satisfying $\sum_i T_iT_i^*\le I$. In spectral-set theory it may mean a commuting tuple for which a polynomially convex domain is a spectral set, as in tetrablock-contractions. In complex dynamics, by contrast, a contraction is a global dynamical condition requiring every forward orbit to converge to a unique fixed point. In Lie theory, a contraction is a degeneration of brackets, typically of Inönü–Wigner type (Pal, 2022).

Setting	Contractive object	Polynomial datum
Affine dynamics	Polynomial automorphism $\gamma$ of $\mathbb C^d$	Degree sequence $\deg(\gamma^n)$
Hilbert-space operator theory	c.n.u. contraction $T$	Polynomial characteristic function $\Theta_T$
Multivariable operator theory	Commuting row contraction $T=(T_1,\dots,T_n)$	Polynomial characteristic function $\theta_T$
Fixed point theory	Self-map on a metric or bipolar metric space	Finite polynomial expression in the distance
Lie/Poisson theory	Contraction $\|T\|\le 1$0 or $\|T\|\le 1$1	Polynomial centre or semi-centre generated by highest components

This suggests a family resemblance rather than a uniform theory: contraction controls asymptotic or spectral behavior, while polynomial structure records algebraic complexity, finite-step nilpotence, or invariant-theoretic rigidity.

2. Polynomial contractions in affine and holomorphic dynamics

In affine complex dynamics, a contraction automorphism of $\|T\|\le 1$2 is an automorphism $\|T\|\le 1$3 such that $\|T\|\le 1$4 is the unique fixed point and $\|T\|\le 1$5 for every $\|T\|\le 1$6. For a polynomial automorphism $\|T\|\le 1$7, its degree is $\|T\|\le 1$8. The basic question studied in recent work is whether a polynomial contraction can have unbounded degree growth $\|T\|\le 1$9 (Korshunov, 28 May 2026).

The answer depends sharply on dimension. In dimension $\sum_i T_iT_i^*\le I$0, every contraction automorphism of $\sum_i T_iT_i^*\le I$1 has bounded degree growth. The proof uses the Friedland–Milnor classification: affine and elementary automorphisms have constant degree growth, while loxodromic automorphisms have exponential degree growth and positive topological entropy; this excludes the loxodromic case because a contraction has only the fixed point $\sum_i T_iT_i^*\le I$2, hence topological entropy $\sum_i T_iT_i^*\le I$3. In dimensions $\sum_i T_iT_i^*\le I$4, however, there are explicit polynomial contractions with unbounded degree growth (Korshunov, 28 May 2026).

The model example in dimension $\sum_i T_iT_i^*\le I$5 is

$\sum_i T_iT_i^*\le I$6

It is a polynomial automorphism, every orbit converges to $\sum_i T_iT_i^*\le I$7, and the unique fixed point is the origin. At the same time its iterates satisfy

$\sum_i T_iT_i^*\le I$8

Thus the degree growth is exactly linear: unbounded, polynomial of degree $\sum_i T_iT_i^*\le I$9, and subexponential. The same construction extends to every $\gamma$0 by adjoining further contracting linear coordinates,

$\gamma$1

again with $\gamma$2 (Korshunov, 28 May 2026).

A central algebraic criterion in the same work is the equivalence

$\gamma$3

where “strictly algebraic” means that $\gamma$4 belongs to an algebraic group action on affine space. Since boundedness of degree growth is preserved by polynomial conjugation, unbounded degree growth obstructs algebraic linearization. If the parameters $\gamma$5 are chosen algebraically independent, the eigenvalues of $\gamma$6 are nonresonant; by the Poincaré–Dulac theorem, $\gamma$7 is then holomorphically conjugate to a linear map, but cannot be polynomially conjugate to any linear automorphism. This yields explicit automorphisms of $\gamma$8, $\gamma$9, that are holomorphically but not algebraically linearizable (Korshunov, 28 May 2026).

3. Polynomial characteristic functions for single contractions

In one-variable operator theory, polynomial-type contractions are completely non-unitary contractions on separable complex Hilbert spaces whose Sz.-Nagy–Foiaş characteristic functions are operator-valued polynomials. For a contraction $\mathbb C^d$0, the defect operators are

$\mathbb C^d$1

with defect spaces $\mathbb C^d$2 and $\mathbb C^d$3, and the characteristic function is

$\mathbb C^d$4

Foias and Sarkar proved that for a c.n.u. contraction $\mathbb C^d$5, $\mathbb C^d$6 is a polynomial of degree $\mathbb C^d$7 if and only if $\mathbb C^d$8 admits an orthogonal decomposition

$\mathbb C^d$9

and an upper-triangular representation

$\deg(\gamma^n)$0

where $\deg(\gamma^n)$1 is a pure isometry, $\deg(\gamma^n)$2 is a pure co-isometry, and $\deg(\gamma^n)$3 is nilpotent of order $\deg(\gamma^n)$4. The degree of $\deg(\gamma^n)$5 is the smallest nilpotency order that can occur in such a representation. The multiplicities $\deg(\gamma^n)$6 and $\deg(\gamma^n)$7 are unitary invariants, while the middle nilpotent block is intrinsic only up to quasi-similarity in general; in the monomial case $\deg(\gamma^n)$8, the minimal nilpotent blocks become unitarily equivalent (Foias et al., 2010).

The analytic companion result is a factorization theorem through a nilpotent core. If $\deg(\gamma^n)$9 is c.n.u. and $T$0 is a polynomial of degree $T$1, then there exist a Hilbert space $T$2, a nilpotent contraction $T$3 of order $T$4, a coisometry

$T$5

and an isometry

$T$6

such that

$T$7

This shows that polynomial characteristic functions reduce analytically to nilpotent characteristic functions, with the shift and co-shift parts contributing only trivial characteristic factors $T$8 and $T$9 (Foias et al., 2016).

4. Multivariable operator models and factorization

For commuting row contractions $\Theta_T$0, the characteristic function is an operator-valued holomorphic function on the unit ball $\Theta_T$1,

$\Theta_T$2

where $\Theta_T$3. If $\Theta_T$4 is a polynomial of degree $\Theta_T$5, the tuple admits a canonical upper-triangular decomposition

$\Theta_T$6

with $\Theta_T$7 a pure partial isometric tuple, $\Theta_T$8 a commuting nilpotent row contraction of order $\Theta_T$9, and $T=(T_1,\dots,T_n)$0 a commuting spherical co-isometry. If the pure part $T=(T_1,\dots,T_n)$1 is regular in the sense of Gleason’s problem, then $T=(T_1,\dots,T_n)$2 is unitarily equivalent to the Drury–Arveson shift on $T=(T_1,\dots,T_n)$3. The characteristic function factors through the nilpotent block: in the regular case there exist a Hilbert space $T=(T_1,\dots,T_n)$4, a co-isometry $T=(T_1,\dots,T_n)$5, and a partial isometry $T=(T_1,\dots,T_n)$6 such that

$T=(T_1,\dots,T_n)$7

The same work emphasizes that regularity is essential: without it, the pure partial-isometric part need not be a Drury–Arveson shift (Bhattacharjee et al., 2020).

A related factorization problem concerns pure contractions $T=(T_1,\dots,T_n)$8 that split as $T=(T_1,\dots,T_n)$9 for commuting contractions $\theta_T$0. In the Sz.-Nagy–Foiaş model $\theta_T$1, such a factorization exists if and only if there are $\theta_T$2-valued polynomials $\theta_T$3 of degree $\theta_T$4 such that $\theta_T$5 is jointly $\theta_T$6-invariant and

$\theta_T$7

with

$\theta_T$8

The symbols arise as compressions of Berger–Coburn–Lebow degree-$\theta_T$9 inner polynomials $\|T\|\le 1$00 and $\|T\|\le 1$01 (Das et al., 2016).

Polynomial control also appears in spectral-set formulations. A tetrablock-contraction is a commuting triple $\|T\|\le 1$02 for which the closed tetrablock $\|T\|\le 1$03 is a spectral set, equivalently, because $\|T\|\le 1$04 is polynomially convex, for which the polynomial von Neumann inequality holds on $\|T\|\le 1$05. Such triples admit a canonical decomposition

$\|T\|\le 1$06

where $\|T\|\le 1$07 and $\|T\|\le 1$08 simultaneously reduce $\|T\|\le 1$09, $\|T\|\le 1$10, and $\|T\|\le 1$11, the first restriction is an $\|T\|\le 1$12-unitary, and the second is a c.n.u. $\|T\|\le 1$13-contraction (Pal, 2022). In a different multivariable direction, matrix-valued rational functions on polynomially defined domains

$\|T\|\le 1$14

with Agler norm $\|T\|\le 1$15 admit finite-dimensional contractive realizations

$\|T\|\le 1$16

and every polynomial with no zeros on $\|T\|\le 1$17 is a factor of $\|T\|\le 1$18 for a contractive matrix $\|T\|\le 1$19 (Grinshpan et al., 2015).

5. Polynomial boundedness, similarity, and universal models

A broader operator-theoretic strand studies contractions and near-contractions through polynomial boundedness. Kérchy extends the theory of quasianalytic contractions to absolutely continuous polynomially bounded operators by means of unitary asymptotes and $\|T\|\le 1$20-functional calculus. In that setting,

$\|T\|\le 1$21

and if $\|T\|\le 1$22 is absolutely continuous, polynomially bounded, asymptotically non-vanishing, and not quasianalytic, then $\|T\|\le 1$23 has a non-trivial hyperinvariant subspace (Kérchy, 2015).

Another direction concerns similarity to contractions. A sufficient criterion is available for upper-triangular polynomially bounded operators: if $\|T\|\le 1$24 is invariant for a polynomially bounded operator $\|T\|\le 1$25, the compression $\|T\|\le 1$26 is similar to a contraction, and

$\|T\|\le 1$27

for an inner function $\|T\|\le 1$28 satisfying the property that every absolutely continuous polynomially bounded operator annihilated by $\|T\|\le 1$29 is similar to a contraction, then $\|T\|\le 1$30 is similar to a contraction. The paper proves that Carleson–Newman Blaschke products have this property and stresses that polynomial boundedness cannot be weakened to power boundedness, by Le Merdy’s example (Gamal', 2018).

At the $\|T\|\le 1$31-algebraic level, the universal contraction is the generator $\|T\|\le 1$32 of the universal unital $\|T\|\le 1$33-algebra generated by a contraction. It is characterized by

$\|T\|\le 1$34

for every noncommutative $\|T\|\le 1$35-polynomial $\|T\|\le 1$36. The supremum may be restricted to matrix contractions, and if $\|T\|\le 1$37 has degree $\|T\|\le 1$38, then

$\|T\|\le 1$39

Moreover, there is a separating family of finite-dimensional representations sending $\|T\|\le 1$40 to contractive nilpotent matrices, so nilpotent matrices suffice to test all $\|T\|\le 1$41-polynomial norms of contractions. The same paper shows that universal contractions may be irreducible, or direct sums of matrices, or direct sums of nilpotent matrices (Courtney et al., 2018).

6. Metric and bipolar fixed point theories

In fixed point theory, Mohamed Jleli, Cristina Maria Păcurar, and Bessem Samet define a polynomial contraction on a metric space $\|T\|\le 1$42 as a map $\|T\|\le 1$43 for which there exist $\|T\|\le 1$44, $\|T\|\le 1$45, and functions $\|T\|\le 1$46 such that

$\|T\|\le 1$47

for all $\|T\|\le 1$48. If $\|T\|\le 1$49 is complete, $\|T\|\le 1$50 is continuous or merely Picard-continuous, and one coefficient is bounded below,

$\|T\|\le 1$51

for some $\|T\|\le 1$52, then $\|T\|\le 1$53 has a unique fixed point and every Picard iteration converges to it. The corresponding almost polynomial contraction,

$\|T\|\le 1$54

yields a weakly Picard operator. Banach’s contraction principle is recovered by taking $\|T\|\le 1$55 and $\|T\|\le 1$56, while Berinde’s almost contractions are recovered in the degree-$\|T\|\le 1$57 special case (Jleli et al., 2024).

The same pattern has been extended to bipolar metric spaces $\|T\|\le 1$58, where $\|T\|\le 1$59. A polynomial contraction is defined by

$\|T\|\le 1$60

with $\|T\|\le 1$61, $\|T\|\le 1$62, and $\|T\|\le 1$63. For complete bipolar metric spaces, continuity or Picard-continuity together with a lower bound

$\|T\|\le 1$64

implies existence and uniqueness of a fixed point for covariant and contravariant mappings, and convergence of the associated Picard bisequences. The corresponding almost polynomial contraction,

$\|T\|\le 1$65

generalizes Berinde-type almost contractions in the bipolar setting (Janardhanan et al., 7 Aug 2025).

7. Lie and Poisson contractions with polynomial invariants

In Lie and Poisson geometry, polynomial-type contractions arise from one-parameter degenerations of brackets and from the behavior of polynomial invariant algebras under such limits. Yakimova studies a polynomial Poisson algebra $\|T\|\le 1$66 of Kostant type, meaning that its centre $\|T\|\le 1$67 is freely generated by homogeneous polynomials $\|T\|\le 1$68 satisfying Kostant’s regularity criterion. For a one-parameter contraction $\|T\|\le 1$69, the highest components $\|T\|\le 1$70 of central generators remain central. If the degree balance

$\|T\|\le 1$71

matches the determinant degree $\|T\|\le 1$72 of the contraction, then the $\|T\|\le 1$73 are algebraically independent and satisfy Kostant equality for $\|T\|\le 1$74; under a codimension-$\|T\|\le 1$75 hypothesis on $\|T\|\le 1$76, they generate the full contracted centre (Yakimova, 2012).

For semisimple Lie algebras, Panyushev and Yakimova study parabolic contractions

$\|T\|\le 1$77

attached to a parabolic subalgebra $\|T\|\le 1$78. They prove that the adjoint invariant algebra is always polynomial: $\|T\|\le 1$79 hence a graded polynomial algebra of rank $\|T\|\le 1$80. On the coadjoint side, the decisive mechanism is a restriction from highest components $\|T\|\le 1$81 of $\|T\|\le 1$82-invariants to symmetric invariants of a centralizer $\|T\|\le 1$83 for a Richardson element $\|T\|\le 1$84. This yields polynomiality of $\|T\|\le 1$85 for all parabolics in types $\|T\|\le 1$86 and $\|T\|\le 1$87, for admissible parabolics in type $\|T\|\le 1$88, and for minimal parabolics in all simple types (Panyushev et al., 2013).

The semi-invariant theory is subtler. For parabolic contractions $\|T\|\le 1$89, the algebra

$\|T\|\le 1$90

generated by symmetric semi-invariants may be larger than $\|T\|\le 1$91. A 2020 study proves that $\|T\|\le 1$92 is polynomial for type $\|T\|\le 1$93 parabolic contractions and for type $\|T\|\le 1$94 contractions whose Levi factor is of type $\|T\|\le 1$95, but also gives a type $\|T\|\le 1$96 example where $\|T\|\le 1$97 is not polynomial. In that symplectic example the generators satisfy the relation

$\|T\|\le 1$98

so the semi-invariant algebra is a hypersurface algebra rather than a polynomial ring (Phommady, 2020).

Taken together, these lines of work show that polynomial-type contractions are not a single theory but a recurrent pattern: contraction may simplify dynamics, spectral behavior, or brackets, while polynomial data records what survives algebraically. In some settings contraction and polynomiality are compatible in an unexpectedly rigid way; in others, polynomiality persists for invariants but fails for semi-invariants or for stronger notions of linearization.