Sato's Isotropy Groups

• Sato's Isotropy Groups are invariants that capture how irreducible denominators in multivariate rational functions change by a constant factor under shift and q-shift operations.
• They underpin the algorithmic telescoping process by decomposing the action of free abelian groups into torsion-free components, facilitating efficient summability checks.
• Illustrative examples show that both pure and mixed cases yield group structures isomorphic to ℤ, highlighting practical computational applications.

Sato's isotropy groups constitute a central invariant in the study of the symbolic summability of multivariate rational functions under the action of both shift and $q$-shift operators. In the mixed case, where both operator types can occur, Sato's isotropy group for a fixed irreducible denominator encapsulates the precise combinations of shifts and $q$-shifts under which that denominator transforms by a nonzero scalar factor. This group thus governs the telescoping structure for the summation problem and provides a foundation for algorithmic decision procedures in symbolic computation (Chen et al., 3 Feb 2026).

1. Definition and Algebraic Context

Let $\mathbb{K}$ be a field of characteristic zero (e.g., $\mathbb{Q}$), and consider the rational function field $$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$. For each variable $x_i$, one specifies either the ordinary shift $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$ or the $q$-shift $$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$. The notation $\theta_{x_i}$ denotes the chosen operator for each variable. The free abelian group $q$0 acts on $q$1 by field automorphisms.

For an irreducible polynomial $q$2 of positive degree in $q$3, define the Sato isotropy group

$q$4

where $q$5 "fixes $q$6 up to a constant factor." $q$7 is a subgroup of $q$8 and is invariant under scaling of $q$9 by a nonzero constant—its structure depends only on the $\mathbb{K}$0-orbit of $\mathbb{K}$1. If $\mathbb{K}$2 and $\mathbb{K}$3 differ by a nonzero scalar, they share the same isotropy group (Chen et al., 3 Feb 2026).

2. Orbit Decomposition and Group Action

The group $\mathbb{K}$4 acts on the set $\mathbb{K}$5 of irreducible one-variable-in-$\mathbb{K}$6 factors (modulo scalars) by $\mathbb{K}$7. The $\mathbb{K}$8-orbit of $\mathbb{K}$9 is

$\mathbb{Q}$0

This decomposition enables any multivariate rational function to be written as a sum of partial fractions, each with denominators belonging to a single $\mathbb{Q}$1-orbit. Summability criteria are then applied orbit-by-orbit. This orbital decomposition is integral in the reduction to the analysis of individual denominator types and their telescoping properties (Chen et al., 3 Feb 2026).

3. Structural Properties of Sato's Isotropy Groups

The group $\mathbb{Q}$2 admits a decomposition into shifts and $\mathbb{Q}$3-shifts: $\mathbb{Q}$4, where $\mathbb{Q}$5 is generated by all $\mathbb{Q}$6 and $\mathbb{Q}$7 by all $\mathbb{Q}$8. The isotropy group $\mathbb{Q}$9 then decomposes as

$$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$0

Key properties (Proposition 4.3, Sato's Lemma A-3, Lemma 4.4) include:

• $$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$1 is a free abelian group.
• Both $$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$2 and $$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$3 are torsion-free and thus free abelian.
• If $$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$4 is the subgroup of $$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$5 generated by all but one of the $$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$6's (say, omitting $$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$7), then $$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$8 with $$\mathbb{K}(\mathbf{x}) = \mathbb{K}(x_1, \ldots, x_n)$$9 is free abelian of rank at most one (Lemma 4.5).

This group-theoretic structure captures how shifts and $x_i$0-shifts interact with a fixed denominator and underlies the construction of telescoping relations (Chen et al., 3 Feb 2026).

4. Computation: Illustrative Examples

Example 1 (Pure $x_i$1-Case):

For $x_i$2 with $x_i$3:

$x_i$4

and no proper subproduct of the $x_i$5 $x_i$6-shifts sends $x_i$7 to a constant multiple of itself. Therefore,

$x_i$8

Example 2 (Mixed Case):

For $x_i$9, a shift-polynomial in two shift-variables:

• $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$0,
• $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$1, yielding $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$2. If a $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$3-shift in a third variable $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$4 is included, it moves $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$5 off itself; thus, no $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$6-shift appears in $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$7 (Chen et al., 3 Feb 2026).

5. Role in Multivariate Summability Criteria

For a rational function reduced to the form $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$8, where $$\sigma_i(f)(\ldots, x_i, \ldots) = f(\ldots, x_i + 1, \ldots)$$9 is irreducible and “normal” in $q$0, Sato's isotropy group $q$1 is pivotal in the summability criterion (Theorem 5.4). If $q$2 has rank $q$3 and $q$4 is a $q$5-basis with $q$6, then $q$7 is summable in all $q$8 directions precisely when there exist $q$9 of lower $$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$0-degree satisfying

$$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$1

i.e., one telescopes along each generator of $$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$2.

Proofs proceed by induction on $$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$3:

• In the rank-zero case ($$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$4), directions corresponding to operators not in $$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$5 are discarded, reducing dimensionality.
• In the rank-one case ($$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$6), telescoping reduces to a one-variable problem in the numerator $$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$7.

The structure and rank of $$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$8 thus directly inform the existence and form of telescoping decompositions (Chen et al., 3 Feb 2026).

6. Interaction with Difference Transformations and Algorithmic Implications

Arbitrary independent combinations of shift/$$\tau_{q,i}(f)(\ldots, x_i, \ldots) = f(\ldots, q x_i, \ldots)$$9-shift operators $\theta_{x_i}$0 can be straightened by an automorphism of the base field (Propositions 6.1, 6.3). There exists:

• An automorphism $\theta_{x_i}$1 in shift-variables such that $\theta_{x_i}$2 for each shift,
• An endomorphism $\theta_{x_i}$3 for the $\theta_{x_i}$4-variables (possibly adjoining roots) such that $\theta_{x_i}$5 for each $\theta_{x_i}$6-shift.

Applying these transformations, the general summability problem is reduced to the “standard” case with respect to $\theta_{x_i}$7 and $\theta_{x_i}$8. This straightening, together with the Sato isotropy framework, forms a complete decision procedure for the summability of multivariate rational functions in the mixed shift/$\theta_{x_i}$9-shift case (Chen et al., 3 Feb 2026).