A complete classification of left-invariant Einstein metrics on $S^3\times S^3$

Imagine a universe where space itself has a specific shape, like a sphere or a doughnut, but stretched and twisted in ways that are hard to visualize. In the branch of mathematics known as geometry, scientists study these shapes to understand the rules that govern them. One of the most important rules is called the Einstein condition. It describes a shape where the curvature is perfectly balanced everywhere, much like a perfectly inflated balloon where the pressure is the same at every point. For decades, mathematicians have been trying to list every possible shape that fits this rule, specifically for spaces that look the same no matter how you rotate them. This quest has been narrowed down to a single, stubborn puzzle: a six-dimensional space made by combining two three-dimensional spheres. While many of these shapes were already known, a few mysterious possibilities remained, hiding in the shadows of complex calculations.

A team of researchers has finally solved this puzzle. They proved that there are only two types of these balanced shapes that can exist. One is the standard, perfectly uniform shape, like a simple product of two spheres. The other is a more exotic, twisted shape known as the Jensen metric, which has a special property called "nearly Kähler" that gives it a unique geometric flavor. The researchers did not just find these two shapes; they proved that no other shapes are possible. They did this by systematically eliminating every other mathematical possibility, showing that any attempt to create a different balanced shape inevitably leads to a contradiction or forces the shape to become one of the two known types.

The journey to this conclusion began by looking at the symmetries of these shapes. In geometry, symmetry means that if you move or rotate the shape in a certain way, it looks exactly the same. The researchers focused on a specific kind of movement called an inner symmetry, which is like turning a dial inside the shape itself. They started by asking a simple question: could there be a shape with absolutely no inner symmetry at all? By analyzing the equations that describe the balance of the shape, they demonstrated that such a shape cannot exist. If a shape is balanced, it must have at least one hidden symmetry. This was a crucial first step, as it ruled out a vast category of potential solutions that had previously been considered.

With the possibility of a completely asymmetric shape eliminated, the researchers turned their attention to the remaining cases where the shape has a small amount of symmetry. Specifically, they looked at shapes that are preserved by a single flip, a movement that turns the shape inside out and then back again. They discovered that if such a flip exists, it cannot stand alone. The mathematics forces this single flip to be part of a larger group of four related flips. This phenomenon, which they call a symmetry enhancement, means that the shape is more ordered than it first appeared. It is as if finding one hidden door in a room inevitably reveals a second door and a third, leading to a complete set of four.

To reach this conclusion, the team had to navigate a landscape of complex algebraic equations. They translated the geometric problem into a system of numbers and variables, representing the shape's properties as a grid of values. They then examined the behavior of these numbers under different conditions. They looked at cases where the grid was full of activity, where some numbers were zero, and where the numbers were mixed in various ways. In every single scenario they tested, the equations refused to balance unless the shape was one of the two known types. They showed that if the shape tried to be something else, the numbers would clash, creating a mathematical impossibility. For instance, they proved that certain patterns of numbers could not coexist without violating the fundamental rules of the shape's balance.

The final piece of the puzzle involved a specific type of symmetry that had been left unresolved in previous studies. This case involved a flip with a particular mathematical signature. The researchers showed that even in this tricky scenario, the shape was forced to develop the larger group of four symmetries. Once this larger symmetry was established, it connected the problem to earlier work that had already classified all shapes with such symmetry groups. This connection allowed them to confirm that the only two solutions were the standard shape and the twisted Jensen metric.

The result is a complete and final list. There are no hidden shapes waiting to be discovered in this six-dimensional space. Every possible balanced shape is either the standard product or the Jensen metric. This conclusion brings closure to a long-standing problem in geometry, confirming that the universe of these specific shapes is small and well-defined. The work relied on rigorous logic and careful elimination, proving that the mathematical rules governing these spaces are strict and unforgiving. By showing that every other path leads to a dead end, the researchers have provided a definitive map of this corner of geometric reality, leaving no room for doubt about what can and cannot exist.