🔢 mathematics

Strong Hamel functions and symmetries

This paper characterizes strong Hamel functions on Finsler spaces through their relationship with strong dual and dynamical symmetries, demonstrating that projective deformations by these functions preserve $\chi$ -curvature and clarifying their connection to other curvature-preserving function classes.

Original authors: Ioan Bucataru, Georgeta Cretu

Published 2026-07-02

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Ioan Bucataru, Georgeta Cretu

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are driving a car on a very strange, hilly landscape. In normal driving, the path you take is determined by the shape of the road and the laws of physics. In the world of Finsler geometry (the math behind this paper), the "road" isn't just a fixed shape; it's a landscape where the rules of movement can change depending on which direction you are facing.

The paper by Bucataru and Cretu is about finding special "magic keys" that help us understand how these landscapes can be reshaped without breaking their fundamental nature.

Here is the breakdown using simple analogies:

1. The "Spray" and the "Road"

Think of a Spray as the set of instructions for how a car moves. If you let go of the steering wheel, the car follows a specific path (a geodesic).

Projective Deformation: Imagine you take that same road but decide to change the speed limits or the timing of the traffic lights. The car still follows the same shape of the road, but it gets there at a different pace. In math, this is called a "projective deformation."
The Projective Factor (P): This is the "rule" that tells you how to change the speed.

2. The "Hamel Functions" (The Magic Keys)

The authors are looking for a specific type of rule (called a Hamel function) that allows you to change the speed limits (the projective deformation) without ruining the "curvature" of the road.

The Analogy: Imagine you have a rubber sheet with a pattern drawn on it. If you stretch the sheet unevenly, the pattern usually gets distorted. However, a Hamel function is like a special stretching rule that stretches the sheet in a way that keeps the pattern's "twist" (curvature) exactly the same.

3. The "Strong" Version (The Secret Ingredient)

The paper focuses on Strong Hamel functions.

The Difference: A regular Hamel function is a rule that works. A Strong Hamel function is a rule that comes with a "source code" or a potential function.
The Analogy: Think of a regular Hamel function as a magic trick that works. A Strong Hamel function is a magic trick where you can see the hidden mechanism (the potential function) that makes it work. The paper proves that if you have this "strong" rule, you can build it from a simpler, hidden ingredient (the potential).

4. The "Symmetries" (The Guardians)

The paper connects these magic rules to two types of "Guardians" or Symmetries:

Dual Symmetries: Think of these as invisible 1-forms (like a field of wind) that blow along the path of the car without changing. They are "geodesically invariant."
Dynamical Symmetries: These are vector fields (like arrows pointing in a specific direction) that move along with the car without ever getting out of sync.
The Connection: The authors prove a "Three-Way Link." If you have a Strong Hamel function, you automatically have a Strong Dual Symmetry and a Strong Dynamical Symmetry. They are all different faces of the same coin. You can't have one without the others.

5. The "Chi-Curvature" (The Twist of the Road)

The paper introduces a specific measurement called $\chi$ -curvature (Chi-curvature).

The Claim: The authors prove that if you want to stretch your rubber sheet (change the projective factor) and keep the $\chi$ -curvature exactly the same, your stretching rule must be a Strong Hamel function.
The Result: If the rule isn't a "Strong" Hamel function, the twist of the road will change. If it is, the twist stays perfect.

6. The "Funk" and "Weak Funk" Cousins

The paper also compares these Strong Hamel functions to two other famous characters in this field: Funk functions and Weak Funk functions.

Funk Functions: These are the "perfect" stretchers that keep the entire curvature tensor (the full 3D shape of the twist) intact.
Weak Funk Functions: These are the "good enough" stretchers that only keep the average twist (Ricci scalar) intact.
The Discovery: The authors found a neat relationship: A function is a Funk function if and only if it is both a Hamel function AND a Weak Funk function. It's like saying a "Super Hero" is someone who is both "Fast" and "Strong."

Summary of the Main Takeaway

The paper is essentially a map showing how different mathematical tools are connected. It says:

"If you want to reshape a Finsler landscape without changing its specific 'twist' (the $\chi$ -curvature), you must use a Strong Hamel function. And if you find one of these, you have automatically found a set of 'Guardian' symmetries (Dual and Dynamical) that protect the landscape's structure."

They also show how this helps prove a famous theorem (Beltrami's Theorem) for these strange landscapes: if you have a road with constant curvature, you can only change its speed limits without breaking that constant curvature if you use this specific "Strong Hamel" rule.

Technical Summary: Strong Hamel Functions and Symmetries

Problem Statement
The paper addresses the characterization of specific classes of functions and symmetries within Finsler geometry, particularly in the context of geodesic sprays and projective deformations. While Hamel functions (solutions to the Euler-Lagrange equations for a spray) and their role in Hilbert's fourth problem are well-established, the authors focus on a refined subclass: strong Hamel functions. These are defined as Hamel functions that arise as the geodesic derivative of a 0-homogeneous potential function. The central problem is to establish a rigorous correspondence between these strong Hamel functions and specific geometric symmetries (dual and dynamical) and to determine the conditions under which projective deformations preserve the $\chi$ -curvature and constant flag curvature.

Methodology
The authors employ the formalism of Finsler geometry on the tangent bundle $TM$, utilizing:

Spray Geometry: Analysis of second-order differential equations identified with semisprays and sprays ( $G$ ), including projective deformations ( $\tilde{G} = G - 2PC$ ).
Frölicher-Nijenhuis Formalism: Use of the tangent structure $J$ , the Liouville vector field $C$ , and the associated horizontal ( $h$ ) and vertical ( $v$ ) projectors to define covariant derivatives and curvature tensors.
Symplectic Geometry: Utilization of the Poincaré-Cartan 2-form ( $\omega_L = -dd_J L$ ) associated with the energy Lagrangian to define symplectic duals between 1-forms and vector fields.
Homogeneity Analysis: Systematic use of Lie derivatives along the Liouville vector field ( $L_C$ ) to classify objects by their degree of homogeneity (e.g., 1-homogeneous functions, 0-homogeneous forms).

The methodology involves deriving commutation relations between the spray $G$ , the tangent structure $J$ , and the covariant derivative $\nabla$ to relate the Euler-Lagrange equations to symmetry conditions.

Key Contributions and Results

Characterization of Strong Hamel Functions via Symmetries (Theorem 4.2):
The paper proves a fundamental equivalence for the geodesic spray $G$ of a Finsler metric:
- The existence of a strong Hamel function is equivalent to the existence of a strong dual symmetry (a geodesically invariant 1-form $\alpha$ where $i_J \alpha$ is $d_J$ -exact).
- This is further equivalent to the existence of a strong dynamical symmetry (a vector field $X$ such that $[G, X] = 0$ and $JX$ is a vertical gradient).
- Crucially, these objects are uniquely determined by the same 0-homogeneous potential function $f'$ . The strong Hamel function is given by $f = G(f')$ , the strong dual symmetry by $\alpha = d_J f - df'$ , and the strong dynamical symmetry by the symplectic dual of $\alpha$ .
Preservation of $\chi$ -Curvature (Theorem 5.1):
The authors analyze the behavior of the $\chi$ -curvature under projective deformations. They derive the transformation law:
$\tilde{\chi} = \chi + \frac{n+1}{2} \delta_G P$
where $P$ is the projective deformation factor. The paper proves that the $\chi$ -curvature is preserved ( $\tilde{\chi} = \chi$ ) if and only if the projective factor $P$ is a strong Hamel function. This generalizes previous results regarding the preservation of curvature tensors.
Finslerian Beltrami's Theorem (Corollary 5.2):
Building on the previous result, the paper establishes that for two projectively related Finsler metrics in dimension $n > 2$ , if one has constant flag curvature, the other also has constant flag curvature if and only if the projective deformation is a strong Hamel function. This recovers a known result using the new framework of strong symmetries.
Relationship with Funk and Weak Funk Functions (Proposition 5.4):
The paper clarifies the hierarchy between different classes of functions:
- A Funk function (satisfying $dh f = f d_J f$ ) is characterized as a function that is simultaneously a Hamel function and a weak Funk function (satisfying $G(f) = f^2$ ).
- The authors note that while a weak Funk function admits a potential function ( $\ln|f|$ ), this potential is not 0-homogeneous, distinguishing it from the potential required for a strong Hamel function.
Invariance Properties (Proposition 4.3):
It is shown that if $X$ is a strong dynamical symmetry, both $X$ and $JX$ are invariant vector fields for the energy function $L$ (i.e., $X(L) = 0$ and $JX(L) = 0$).

Significance and Claims
The paper claims to provide a unified characterization of strong Hamel functions by linking them directly to the theory of symmetries in Finsler geometry. Specifically:

It demonstrates that strong Hamel functions are not merely solutions to differential equations but are intrinsically linked to strong dual symmetries (geodesically invariant 1-forms) and strong dynamical symmetries (symmetries of the spray that are not Cartan or exact symmetries).
It establishes a precise criterion for the preservation of $\chi$ -curvature under projective deformations, identifying strong Hamel functions as the necessary and sufficient condition.
It clarifies the structural relationships between Hamel, Funk, and weak Funk functions, showing that the "strong" property (existence of a 0-homogeneous potential) is the distinguishing factor for preserving $\chi$ -curvature, whereas Funk functions preserve the full curvature tensor.

The authors position this work as an extension of Crampin's study on symmetries and invariants, focusing specifically on obtaining geodesic invariant 1-forms from special Hamel functions and utilizing these to analyze curvature preservation.