Paper 3-2: Composite Transformations and the Structure of Dimensional Transformation Group

Author: Suhang Zhang (Heluo Mathematical School)

Abstract

The core function of the \Pi-operator is to perform mapping operations between spaces of different dimensions. Multiple \Pi-operators can be composed sequentially to form complex transformation chains from lower-dimensional spaces to higher-dimensional spaces and back. This paper investigates the algebraic structure of composite transformations of \Pi-operators. It proves that under given constraints, all \Pi-operators and their inverses form a dimensional transformation group, or more precisely, a local group structure of a groupoid. Fundamental generators (single-step dimension-raising and single-step dimension-lowering operators) are defined. The influence of composition order is derived, and the relationships between this structure, orthogonal groups and rotation groups are established. The proposed group structure provides an algebraic framework for the higher-dimensional extensions (Paper 4-1) and complementary relations with differential operators (Paper 4-3).

Keywords: \Pi-operator; composite transformation; dimensional transformation group; generator; groupoid

1. Introduction

Paper 3-1 has defined scalar multiplication, addition and inverse elements of the \Pi-operator, yet it does not discuss the composition of operators acting across spaces of different dimensions. For instance, raising the dimension from 2D plane to 3D space, and then further to 4D space, yields an equivalent direct transformation from 2D to 4D. Another example involves lowering the dimension from 3D to 2D and then raising it back to 3D. The resultant mapping may not be an identity map, since dimension reduction generally leads to information loss. The Curl Conservation Axiom guarantees that information on meridian cross-sections is retained, while the fate of other information remains to be discussed. Such issues require systematic research.

The core problem addressed in this paper is: what algebraic structure do all \Pi-operators (including dimension-raising and dimension-lowering operators for different dimensions) form under composition operations? We demonstrate that with rotational symmetry preserved, these lifting and lowering operators are invertible and closed under composition, thereby constructing a group (or more accurately, a groupoid) named the dimensional transformation group \mathcal{G}_\Pi, which can be embedded into a larger group.

Section 2 defines composite transformations. Section 3 constructs the dimensional transformation group. Section 4 discusses generators and group representations. Section 5 analyzes composition order and commutativity. Section 6 explores connections with classical groups. Section 7 presents the conclusions.

2. Composite Transformations

2.1 Basic Composition

Let \mathcal{\Pi}_{m \leftarrow n}: \mathbb{R}^n \to \mathbb{R}^m denote a dimension-raising operator with m>n, and \mathcal{\Pi}^{-1}_{n \leftarrow m} its corresponding inverse (dimension-lowering) operator. For three dimensions satisfying n < m < p, the composite transformation is defined as:

\mathcal{\Pi}_{p \leftarrow m} \circ \mathcal{\Pi}_{m \leftarrow n}: \mathbb{R}^n \to \mathbb{R}^p

Geometrically, this composite mapping first lifts an n-dimensional object to an m-dimensional space, and then further lifts it to a p-dimensional space. Each \Pi-operator corresponds to generating a solid of revolution by rotating an object around an axis. A composite transformation is equivalent to directly constructing a higher-dimensional solid of revolution: taking the n-dimensional figure as the generatrix and performing two successive rotations around axes (identical or distinct) to obtain a p-dimensional solid.

Example: A 2D rectangle rotated around the x-axis generates a 3D cylinder. The 3D cylinder is then rotated around a designated 4D axis to form a 4D hypercylinder. It should be noted that the second rotation acts on a 3D object, which requires the object to possess rotational symmetry. A cylinder rotated about its central axis remains a cylinder, while rotation about a perpendicular axis produces a different geometric shape. In general, the composition of \Pi-operators requires each rotation axis to lie within the orthogonal complement of the current space.

2.2 Explicit Formula for Composite Transformations

We adopt coordinate representation. Let G_n \subset \mathbb{R}^n be an n-dimensional figure with coordinates (x_1, x_2, \dots, x_n). A standard single-step dimension-raising operation increases the dimension by exactly one, as a full rotation generates a circular coordinate. Accordingly, a transformation from \mathbb{R}^n to \mathbb{R}^{n+1} is followed by a further transformation to \mathbb{R}^{n+2}.

The basic composite relation is written as:

\mathcal{\Pi}_{n+2 \leftarrow n+1} \circ \mathcal{\Pi}_{n+1 \leftarrow n} = \mathcal{\Pi}_{n+2 \leftarrow n}

Here \mathcal{\Pi}_{n+2 \leftarrow n} is defined as follows: we first perform rotation on two selected coordinates among the original n coordinates, then conduct a second rotation involving the newly introduced coordinate and another existing coordinate. The specific rules depend on the selection of rotation axes. For simplicity, we assume that the radial direction is always defined by the last coordinate, and the newly added angular coordinates are denoted sequentially as \theta_1, \theta_2, \dots.

2.3 Conservation Condition for Composite Transformations

The Curl Conservation Axiom requires that meridian cross-sections remain invariant after each dimension-raising operation. For composite transformations, taking meridian cross-sections twice (fixing the latter angular variable first, then the former) must recover the original figure. This condition is equivalent to requiring all rotation axes to be mutually orthogonal and independent. In practical applications, composite transformations are self-consistent as long as rotation axes are properly chosen.

3. Structure of the Dimensional Transformation Group

3.1 Set and Operation

Define the set:

\Gamma = \big\{ \mathcal{\Pi}_{m \leftarrow n} \,\big|\, n,m \in \mathbb{N},\ m \ge n \big\} \cup \big\{ \mathcal{I}_n \,\big|\, n \in \mathbb{N} \big\}

where \mathcal{I}_n stands for the identity mapping on \mathbb{R}^n. The composition operation \circ is defined on this set. A composite is well-defined if and only if the target dimension of the right-hand operator coincides with the source dimension of the left-hand operator. In this sense, \Gamma forms a category, where objects correspond to spatial dimensions n and morphisms correspond to dimension-lifting and dimension-lowering operators. If all identity mappings for different dimensions are regarded as unit elements, the entire structure constitutes a groupoid.

To construct a standard group, we may fix a reference dimension and conjugate all operators onto this single-dimensional space. An alternative approach is to introduce an extended group containing all rotation and scaling transformations. A more convenient method is to define extended operators \tilde{\mathcal{\Pi}}_n = \mathcal{\Pi}_{n+1 \leftarrow n} and their inverses. These operators generate an infinite group acting on the direct sum of spaces of all dimensions.

3.2 Embedding into Linear Groups

We embed each Euclidean space \mathbb{R}^n into the infinite-dimensional sequence space \mathbb{R}^\infty. In this framework, each dimension-raising operator can be treated as an operator on \mathbb{R}^\infty by appending new coordinates. It should be emphasized that the \Pi-operator implements geometric generation via rotation, rather than trivial coordinate embedding. A \Pi-operator maps an original point set to a new set of points formed by rotation, which means it is essentially a nonlinear mapping on the function space. Therefore, the dimensional transformation group is not a linear group, but a transformation group acting on the collection of all rotationally symmetric geometric figures.

We thus define the dimensional transformation group as a group generated by elementary generators (single-step dimension raising and lowering) acting on rotationally symmetric figures.

3.3 Verification of Group Axioms

- Closure: The composition of two composable \Pi-operators is still a \Pi-operator between two definite dimensions.
​
- Associativity: Operator composition naturally satisfies the associative law.
​
- Identity element: Each space \mathbb{R}^n is equipped with its own identity operator \mathcal{I}_n.
​
- Inverse element: Each \mathcal{\Pi}_{m \leftarrow n} has a well-defined inverse \mathcal{\Pi}^{-1}_{n \leftarrow m}, such that their composite yields the identity mapping.

In summary, the collection of all \Pi-operators and identity mappings forms a groupoid. If we fix a dimension n and consider all reversible transformations from \mathbb{R}^n to itself formed by successive dimension raising and lowering, such as \mathcal{\Pi}^{-1}_{n \leftarrow n+1} \circ \mathcal{\Pi}_{n+1 \leftarrow n}, this composite mapping returns a figure to its original state under the Curl Conservation Axiom, hence equal to the identity map. Nevertheless, composites involving rotations around different axes may produce non-trivial transformations such as rotation or reflection, which leads to the definition of the generalized dimensional transformation group.

4. Generators and Algebraic Relations

4.1 Fundamental Generators

Define the single-step dimension-raising operator:

\sigma_n = \mathcal{\Pi}_{n+1 \leftarrow n}

and its inverse, the single-step dimension-lowering operator:

\sigma_n^{-1} = \mathcal{\Pi}^{-1}_{n \leftarrow n+1}

Any finite composite transformation can be expressed as a sequence of these generators under dimensional matching rules. Multi-step operators that skip intermediate dimensions can also be decomposed into combinations of the above elementary generators.

4.2 Algebraic Relations

Following the Curl Conservation Axiom, we have:

\sigma_n^{-1} \circ \sigma_n = \mathrm{id}_{\mathbb{R}^n}

The relation \sigma_n \circ \sigma_n^{-1} = \mathrm{id}_{\mathbb{R}^{n+1}} requires further clarification. For any figure G_{n+1} = \sigma_n(G_n) generated by a dimension-raising operation, applying \sigma_n^{-1} followed by \sigma_n recovers the original figure G_{n+1}, since complete information on meridian cross-sections is preserved. However, \sigma_n^{-1} is not defined for arbitrary non-rotational figures in \mathbb{R}^{n+1}. Therefore, the above relations hold only on the subset of rotationally symmetric figures.

Another important property: composites of operators corresponding to different rotation axes generally do not commute. The order of composite operations corresponds to different sequences of rotation axes, analogous to Euler angles in classical rotation theory.

4.3 Relations with Orthogonal Groups

Within a fixed-dimensional space \mathbb{R}^n, can standard rotational transformations be generated by \Pi-operators? A typical technique is: raise the dimension to \mathbb{R}^{n+1}, perform rotation in the higher-dimensional space, then reduce the dimension back to \mathbb{R}^n. This embedding method can realize non-trivial orthogonal transformations in the original space. Similar to using 3D rotations to produce reflections in a 2D plane, this mechanism indicates that the dimensional transformation group contains orthogonal groups as its subgroups.

5. Composition Order and Commutativity

5.1 Non-commutative Cases

Take a 2D rectangle as an example. Rotating it around the x-axis produces a 3D cylinder. Rotating the resulting cylinder around the y-axis generates a closed tubular solid. Different operation orders or different choices of rotation axes lead to distinct geometric outcomes. This proves that composite \Pi-operators are generally non-commutative.

5.2 Commutative Cases

Commutativity holds for figures with high symmetry, such as spheres. A sphere rotated around any axis remains unchanged, so the order of successive rotations has no influence on the final result. In such cases, composite transformations satisfy the commutative law.

6. Connections with Classical Groups

6.1 Rotation Group \mathrm{SO}(n)

The dimensional transformation group generated by \Pi-operators contains the rotation group of each fixed-dimensional space as a subgroup. Any rotation can be decomposed into a series of planar rotations, and each planar rotation can be implemented via the combination of dimension raising, spatial rotation and dimension reduction.

6.2 Orthogonal Group \mathrm{O}(n)

By introducing reflection operations realized via reversed dimension lifting after dimension reduction, we further obtain the full orthogonal group.

6.3 Link to Higher-dimensional Extensions (Paper 4-1)

The dimensional transformation group provides a rigorous algebraic language for constructing higher-dimensional solids of revolution. For example, a 4D solid of revolution can be generated by rotating a 3D sphere around the fourth spatial axis, which corresponds exactly to the group element \sigma_3.

7. Conclusions

This paper studies the algebraic structure of composite transformations for \Pi-operators, and draws the main conclusions as follows:

1. Composite transformation rule: \mathcal{\Pi}_{p \leftarrow m} \circ \mathcal{\Pi}_{m \leftarrow n} = \mathcal{\Pi}_{p \leftarrow n} holds under appropriate selection of rotation axes.
​
2. Dimensional transformation groupoid: All \Pi-operators and their inverses constitute a groupoid, where objects represent spatial dimensions and morphisms represent dimensional mappings.
​
3. Generators: Single-step dimension-raising operators \sigma_n and dimension-lowering operators \sigma_n^{-1} generate the entire algebraic structure, satisfying the relation \sigma_n^{-1}\sigma_n = \mathrm{id}_n.
​
4. Non-commutativity: The result of composite transformations depends on operation order, except for geometric figures with extreme symmetry.
​
5. Embedding of classical groups: Orthogonal groups \mathrm{O}(n) can be embedded into the dimensional transformation group.

The established group structure lays a solid algebraic foundation for subsequent research on high-dimensional generalization of \Pi-operators (Paper 4-1) and complementary relations with differential operators (Paper 4-3).

The next paper (3-3) will introduce Ramanujan series and further explore the number-theoretic background of periodic channels.

 

Author Statement: This work is original research based on the \Pi-operator system established by the Heluo Mathematical School.

The next paper will be Paper 3-3: Ramanujan's Series for 1/\pi and Higher-Order Periodic Channels of the \Pi-Operator.