Real-analyticity of 2-dimensional superintegrable metrics and solution of two Bolsinov-Kozlov-Fomenko conjectures

This paper establishes that the Poisson bracket of polynomial integrals in two-dimensional superintegrable systems is an algebraic function, a result used to prove that Kiyohara's metrics are not superintegrable, thereby resolving two specific conjectures by Bolsinov, Kozlov, and Fomenko regarding the non-existence of lower-degree integrals and the real-analyticity of such metrics.

The Gist

The Big Picture: The "Perfectly Predictable" Rollercoaster

Imagine you are riding a rollercoaster on a curved track (the metric). In physics, the path the coaster takes is determined by the shape of the track. Usually, if the track is weird or bumpy, the coaster's path is chaotic and impossible to predict perfectly.

However, some special tracks are "integrable." This means there are hidden rules (called integrals) that let you predict exactly where the coaster will go without solving complex equations every second. It's like having a cheat code that tells you, "No matter how fast you go, you will always stay on this specific loop."

Now, imagine a track that is super-integrable. This is the "holy grail" of rollercoasters. It has so many hidden rules that the coaster's path is locked down completely. It can't wiggle, it can't drift; it's trapped in a perfect, predictable dance.

The Paper's Goal:
The author, Vladimir Matveev, is investigating these "perfect" tracks. He wants to answer two big questions:

1. Are these tracks smooth and mathematical? (Do they have to be "real-analytic," meaning they follow a perfect, unbroken mathematical formula, or can they be jagged and weird?)
2. Do the strange tracks built by a mathematician named Kiyohara actually exist as "perfect" tracks?

---

The Main Discovery: The "Magic Formula"

The paper's biggest breakthrough is Theorem 3.

The Analogy:
Imagine you have a set of magic keys (the integrals) that open different doors on the rollercoaster. Usually, if you try to use two keys at the same time (take their Poisson bracket), you might get a chaotic mess or a new, unpredictable key.

Matveev proved that for these "perfect" tracks, the result of mixing two keys is never chaotic. Instead, the result is always a perfect algebraic recipe made from the original keys.

• Think of it like this: If you mix Red Paint (Key A) and Blue Paint (Key B), you don't get a random color. You get a specific shade of Purple that is mathematically determined by exactly how much Red and Blue you used. There is no surprise.

This "recipe" (algebraic dependence) is the secret sauce that forces the track to be perfectly smooth and mathematical.

---

Solving the Mystery of Kiyohara's Tracks

The Background:
A mathematician named Kiyohara built some very strange, smooth tracks on a sphere (like the Earth). These tracks had a special property: they had a "super-power" (an integral) of a very high degree (like degree 100).

• The Catch: Kiyohara's tracks were "smooth" (no jagged edges), but they weren't necessarily "perfectly mathematical" (real-analytic).
• The Conjecture: Other mathematicians (Bolsinov, Kozlov, and Fomenko) guessed that these tracks were not truly "super-integrable." They thought that if a track has a super-power of degree 100, it must also have a simpler super-power (like degree 2 or 3). If it doesn't, the track isn't "perfect."

The Solution:
Matveev used his "Magic Formula" discovery to prove the conjecture.

1. He showed that if a track is truly "super-integrable," it must be a perfect, unbroken mathematical curve (real-analytic).
2. He looked at Kiyohara's tracks. He showed that these tracks are "flat" (perfectly round) in some areas but "bumpy" in others.
3. Because they are bumpy in some places and flat in others, they cannot be a single, unbroken mathematical formula.
4. Conclusion: Therefore, Kiyohara's tracks are not super-integrable. They don't have the hidden "degree 2" or "degree 3" powers that a perfect track must have.

Why this matters: It settles a long-standing debate. It proves that you can't just "tweak" a perfect sphere to make a new, weird perfect track. If it's not a perfect formula, it's not a perfect track.

---

How They Did It: The "Over-Engineered" Puzzle

To prove this, Matveev treated the problem like a giant puzzle.

1. The Setup: He wrote down a massive list of rules (equations) that the track and its hidden powers must follow.
2. The Trick: He realized that if you have enough rules, the system becomes "over-determined."
   • Analogy: Imagine trying to draw a line. If I tell you "it goes through point A," you have infinite options. If I tell you "it goes through A, B, and C," you have fewer options. If I give you 1,000 points, there is likely only one way to draw the line, or maybe no way at all.
3. The Result: Because there were so many rules, the only way the track could exist was if it followed a strict, smooth mathematical pattern. If the track tried to be "bumpy" or "weird," the rules would contradict each other, and the track would break.

Summary for the Everyday Reader

• The Problem: Mathematicians were trying to understand the most perfectly predictable paths in physics.
• The Discovery: These paths are so rigid that they must be made of perfect, unbroken mathematical formulas. You can't have a "rough" perfect path.
• The Victory: This proved that a specific, famous example of a "weird" path (Kiyohara's) was actually a "fake" perfect path. It looked special, but it didn't have the deep, hidden structure required to be truly perfect.
• The Takeaway: Nature (or at least the math describing it) is very strict. If something is truly "perfectly predictable," it has to be perfectly smooth and mathematical. There are no shortcuts or rough patches allowed.

Technical Summary

1. Problem Statement

The paper addresses the regularity properties of two-dimensional Riemannian metrics whose geodesic flows are superintegrable.

• Context: A metric is superintegrable if its geodesic flow admits three functionally independent integrals that are polynomial in momenta (including the Hamiltonian $H$).
• The Core Question: Are such metrics necessarily real-analytic in isothermal coordinates?
• Specific Conjectures: The author focuses on Conjectures (b) and (c) formulated by Bolsinov, Kozlov, and Fomenko. These conjectures ask whether, on the 2-sphere ($S^2$), there exists a smooth ($C^\infty$) metric that admits a non-trivial polynomial integral of an arbitrarily high degree $k$ but admits no non-trivial polynomial integrals of lower degrees.
• Background: Kiyohara [9] constructed $C^\infty$ metrics on $S^2$ with an irreducible integral of degree $k$. However, it was unknown whether these metrics admitted additional lower-degree integrals, which would disprove the conjectures.

2. Methodology

The paper employs a combination of algebraic geometry, differential equations, and complex analysis. The methodology is structured around three main pillars:

A. Algebraic Dependence of Poisson Brackets (Theorem 3 & 4)

The author establishes a fundamental algebraic property of superintegrable systems in any dimension $n$.

• Result: If a system has $2n-1$ functionally independent polynomial integrals ($F_1, \dots, F_{2n-1}$), then the Poisson bracket of any two integrals, $\{F_i, F_j\}$, is algebraically dependent on the set of integrals.
• Mechanism: By comparing the dimension of the space of homogeneous polynomials in the integrals against the dimension of the space of Killing tensors (polynomial integrals) of a given degree, the author proves that for sufficiently high degrees, the space of polynomials in the integrals must exceed the space of available integrals. This forces a non-trivial polynomial relation $P(F_1, \dots, F_{2n-1}, \{F_i, F_j\}) = 0$.
• Implication: In 2D ($n=2$), where superintegrability implies 3 independent integrals, the bracket $\{A, B\}$ can be expressed as $\Psi(H, A, B)$, where $\Psi$ is an algebraic (specifically, real-analytic) function derived from the polynomial relation.

B. Reduction to an Overdetermined PDE System

The author constructs a system of Partial Differential Equations (PDEs) governing the coefficients of the metric and the integrals.

• Setup: Working in isothermal coordinates $g = \lambda(x_1, x_2)(dx_1^2 + dx_2^2)$, the condition that $A$ and $B$ are integrals yields $\{A, H\} = 0$ and $\{B, H\} = 0$.
• Kolokoltsov's Trick: To reduce the number of unknowns, the author uses a coordinate transformation based on the leading coefficient of the integral (viewed as a holomorphic differential). This reduces the number of unknown functions by 2 while reducing the number of equations by 2, effectively normalizing the leading coefficient.
• Closing the System: The algebraic relation $\{A, B\} = \Psi(H, A, B)$ provides additional equations.
• Resulting System: The final system consists of $2(n+k+1)$ equations for $n+k+1$ unknown functions (metric coefficient $\lambda$ and integral coefficients). This is a quasilinear, overdetermined system with real-analytic coefficients.

C. Analyticity via ODE Uniqueness

The proof of real-analyticity relies on the theory of overdetermined systems:

• If the system can be solved for the highest-order derivatives (i.e., the coefficient matrix of the highest derivatives is non-singular), the system is of "finite type."
• By restricting the PDE system to a line segment, it becomes a system of Ordinary Differential Equations (ODEs) with real-analytic coefficients.
• Standard ODE theory guarantees that solutions to such systems are real-analytic and uniquely determined by initial data.
• Strategy: The author shows that if the metric has constant curvature on an open set, the system allows solving for the highest derivatives of the metric coefficients, forcing the metric to be real-analytic in the neighborhood of the boundary of that set.

3. Key Contributions and Results

Theorem 2 (Main Result)

Let $g$ be a $C^\infty$ metric on the unit disc $D$ with two polynomial integrals $A, B$ such that $A, B, H$ are functionally independent. If the metric has constant curvature on a non-empty open subset (specifically $x < 0$), then:

1. The metric is real-analytic everywhere on the disc (in any isothermal coordinate system).
2. Consequently, the metric has constant curvature on the entire disc.

Solution to Bolsinov-Kozlov-Fomenko Conjectures

The paper resolves Conjectures (b) and (c) regarding metrics on the sphere $S^2$:

• Kiyohara's Example: Kiyohara constructed a $C^\infty$ metric on $S^2$ that is a perturbation of the standard round metric. It admits an irreducible integral of degree $k$ but is not constant curvature on the perturbation region $U$.
• Application of Theorem 2: Kiyohara's metric has constant curvature on the complement $S^2 \setminus U$. If this metric were superintegrable (admitting a second independent integral), Theorem 2 would imply the metric must be real-analytic and thus have constant curvature everywhere.
• Contradiction: Since Kiyohara's construction ensures the metric is not constant curvature on $U$ (for generic choices of the perturbation function), the assumption that it is superintegrable must be false.
• Conclusion: Kiyohara's metrics are not superintegrable. They do not admit any non-trivial polynomial integral of degree less than $k$. This confirms that no smooth metric on $S^2$ can have an integral of arbitrary high degree $k$ without also having lower-degree integrals (unless it is the standard constant curvature metric).

Theorem 3 (General Algebraic Result)

Proves that for any maximally superintegrable system in dimension $n$, the Poisson bracket of any two integrals is algebraically dependent on the set of integrals. This is a crucial technical lemma that enables the construction of the function $\Psi$ in the 2D case.

4. Significance

1. Resolution of Open Problems: It definitively solves Conjectures (b) and (c) from [4] and Problem 3.5 from [2], clarifying the landscape of superintegrable systems on the sphere.
2. Regularity of Integrable Systems: It provides strong evidence for the conjecture that superintegrable metrics are inherently real-analytic, bridging the gap between smooth ($C^\infty$) and analytic structures in integrable dynamics.
3. Algorithmic Construction: The paper outlines a method (Section 3.4) to construct all superintegrable metrics by solving the derived overdetermined PDE system using computer algebra (e.g., Gröbner bases). This offers a potential algorithmic path to classify all such metrics.
4. Technical Innovation: The combination of Kolokoltsov's coordinate reduction trick with the algebraic dependence of Poisson brackets creates a powerful framework for analyzing the rigidity of superintegrable systems.

In summary, Matveev proves that the existence of high-degree polynomial integrals in 2D superintegrable systems forces the underlying metric to be real-analytic. This rigidity prevents the existence of "exotic" smooth metrics (like Kiyohara's) that possess only high-degree integrals, thereby confirming that such metrics must be the standard constant curvature metrics.