On the isotropy of differential Ore extensions

Abstract: Let Ah = k[x][t; d] be the differential Ore extension. We study the action of the automorphism group of Ah on the derivations of Ah and explicitly describe, using Nowicki's decomposition of the derivations of Ah, the isotropy groups of this action. More precisely, we first obtain an explicit description of the automorphism group of Ah for deg(h) >= 1. Then we determine the isotropy groups of derivations of the form D = ad_w + Delta_s(x), which exhaust all derivations in the square-free case, that is, when gcd(h,h') = 1. In the singular case, where gcd(h,h') is not equal to 1 and special derivations of type EH appear, we show that the isotropy problem is governed by a suitable localization and by the element w* = w + psi^-1H, where psi = gcd(h,h'). This yields a general criterion for the isotropy of a derivation of the form D = ad_w + EH + Delta_s(x). Finally, we provide explicit examples illustrating the new phenomena that arise in this setting.

• The paper analyzes the structure of isotropy groups for derivations in differential Ore extensions, providing explicit characterizations that distinguish square-free from singular cases.
• It employs automorphism group decompositions and Nowicki’s canonical derivation framework to clarify invariance properties of inner and differential derivations.
• The study highlights applications for computing symmetry invariants in noncommutative rings and suggests further research in quantum algebra and deformation theory.

Isotropy of Differential Ore Extensions: Structure, Automorphisms, and Derivation Stability

Introduction

This work provides a comprehensive analysis of isotropy groups for derivations in differential Ore extensions $A_h = \Bbbk[x][t;d]$, where $d = h(x)\partial_x$ and $\Bbbk$ is an algebraically closed field of characteristic zero. The interaction between automorphism groups and the space of derivations is investigated in detail, with explicit structural results provided for both the square-free and singular cases for $h \in \Bbbk[x]$.

Automorphism Group Structure of Differential Ore Extensions

For $A_h$ with $\deg(h) \geq 1$, the automorphism group $\Aut(A_h)$ is described via semi-direct products, reflecting its polynomial and scaling symmetries. Specifically, one has

$\Aut(A_h) = \Bbbk[x] \rtimes \tau_\mathbb{P}$

where $\tau_\mathbb{P}$ consists of automorphisms $\tau_{a,b}$ sending $d = h(x)\partial_x$0, $d = h(x)\partial_x$1, under the constraint $d = h(x)\partial_x$2. Through reduction to the case of monic $d = h(x)\partial_x$3 with zero trace coefficient, the authors produce a framework where $d = h(x)\partial_x$4 is either the full group $d = h(x)\partial_x$5 (when $d = h(x)\partial_x$6 is a pure power) or a finite subgroup of roots of unity determined by the divisibility properties of the nonzero support of $d = h(x)\partial_x$7.

These explicit characterizations allow precise identification of the automorphism group for each class of Ore extension. Notably, the results clarify when the automorphism group is infinite versus finite, bridging to established results for quantum planes and quantum Weyl algebras.

Decomposition and Isotropy of Derivations in the Square-Free Case

An explicit action of $d = h(x)\partial_x$8 on the derivation space $d = h(x)\partial_x$9 is derived. Employing Nowicki’s canonical decomposition, any derivation in the square-free case ($\Bbbk$0) decomposes uniquely:

$\Bbbk$1

where $\Bbbk$2 is inner and $\Bbbk$3 is a so-called "differential part", with $\Bbbk$4 of degree less than $\Bbbk$5. Both $\Bbbk$6 and $\Bbbk$7 are established as independent $\Bbbk$8-submodules. This allows a decomposition of isotropy subgroups of derivations as intersections:

$\Bbbk$9

For inner derivations, explicit conditions are stated: $h \in \Bbbk[x]$0, reducing isotropy computations to fixed-point sets relative to $h \in \Bbbk[x]$1. For pure differential derivations, invariance is compactly described by a constraint $h \in \Bbbk[x]$2, leading often to finite isotropy groups, with structure determined by the nature of $h \in \Bbbk[x]$3 and the form of $h \in \Bbbk[x]$4.

The results further elaborate cases where the isotropy group remains infinite (e.g., $h \in \Bbbk[x]$5, $h \in \Bbbk[x]$6), versus when it is necessarily finite or trivial, depending on the polynomial structures involved.

Isotropy in the Singular Case and Localization Phenomena

When $h \in \Bbbk[x]$7 possesses multiple roots ($h \in \Bbbk[x]$8), the derivation structure in $h \in \Bbbk[x]$9 is enriched by the appearance of special derivations $A_h$0, where $A_h$1 is a "special polynomial". The refined canonical decomposition in this case is:

$A_h$2

The authors show that the behavior of isotropy for $A_h$3 is inherently more intricate: under automorphisms, $A_h$4 terms can generate both inner and differential components — thus $A_h$5 is no longer an $A_h$6-submodule. The analysis is therefore lifted to a suitable Ore localization $A_h$7 at the greatest common divisor $A_h$8, leading to a key object:

$A_h$9

The action of automorphisms is then more tractably expressed as $\deg(h) \geq 1$0, and isotropy computations reduce to solving:

$\deg(h) \geq 1$1

where $\deg(h) \geq 1$2 is the extended derivation on the localized ring $\deg(h) \geq 1$3.

Crucially, the authors demonstrate that invariance under conjugation for such derivations does not, in general, decompose into invariance of the inner and special components; only the sum $\deg(h) \geq 1$4 matters — a clear structural deviation from the square-free situation.

Illustrative Examples, Explicit Calculations, and Structural Criteria

Throughout, explicit examples clarify the range of isotropy group phenomena. For select $\deg(h) \geq 1$5 and $\deg(h) \geq 1$6, the isotropy groups are computed directly, exposing scenarios with:

• Full isotropy under $\deg(h) \geq 1$7,
• Finite cyclic isotropy from root-of-unity constraints,
• Trivial isotropy (identity only),
• Dependence of isotropy size and structure on subtle polynomial identities.

Also provided are concrete calculations illustrating the interplay between automorphism parameters and derivation invariance, especially in the context of special elements in the singular case.

Implications and Future Research Directions

This work contributes a complete and explicit description of the isotropy group structure for automorphism actions on derivations of differential Ore extensions $\deg(h) \geq 1$8, both illuminating specific algebraic features of these noncommutative algebras and providing general methods for isotropy analysis applicable in other noncommutative and Poisson-geometric settings.

Practically, these descriptions facilitate calculations of invariants under symmetry, with possible implications for rings of differential operators, quantization, and deformation theory. The techniques involving localization at $\deg(h) \geq 1$9 open pathways to studying the deeper interaction between multiplicity structure of $\Aut(A_h)$0 and symmetries of associated noncommutative spaces.

From a theoretical standpoint, the work underlines the subtlety of automorphism-derivation interactions in noncommutative algebra: independence and decomposition results that hold in the square-free case (mirroring commutative or semisimple phenomena) fail in the presence of singularities, requiring more sophisticated local-local approaches. This suggests further investigation into automorphism-invariant module and cohomology structures for singular Ore extensions, and broader classes of twisted or differential algebras.

Conclusion

The paper achieves a thorough structural classification of isotropy subgroups for differentiable Ore extensions, highlighting major distinctions between the square-free and singular cases. The combination of explicit algebraic criteria, combinatorial group-theoretic analysis, and the use of localization techniques provides strong foundations for advancing the study of symmetries and invariants in noncommutative algebraic structures.