Concerning a Conjecture of Taketomi-Tamaru

Basic Information

• Paper ID: 1810.08173
• Title: Concerning a Conjecture of Taketomi-Tamaru
• Author: Michael Jablonski
• Classification: math.DG (Differential Geometry)
• Publication Date: January 1, 2025 (arXiv version 2)
• Paper Link: https://arxiv.org/abs/1810.08173

Abstract

This paper investigates 2-step nilpotent Lie groups in the non-exceptional setting of type $(p,q)$. The author proves that when Ricci soliton metrics exist, the orbits of $\mathbb{R}^{>0} \times \text{Aut}_0$ in $GL(n)/O(n)$ are generally congruent. Through this result, the author provides a counterexample to the local version of the Taketomi-Tamaru conjecture.

Research Background and Motivation

Problem Background

Among solvable and nilpotent groups, the most natural distinguished Riemannian metrics are left-invariant metrics that are simultaneously Einstein metrics and Ricci solitons. These metrics possess the following important properties:

1. They minimize natural functionals
2. They exhibit maximal symmetry compared to other left-invariant metrics
3. They constitute the complete class of non-compact homogeneous Einstein and Ricci soliton metrics

Research Motivation

Recent investigations have approached this problem from a geometric perspective. Given a Lie group $G$ and its Lie algebra $\mathfrak{g}$, one can study left-invariant metrics on $G$ by investigating inner products on $\mathfrak{g}$, which naturally transforms the problem into studying the collection of inner products in the symmetric space $GL(n)/O(n)$.

The Taketomi-Tamaru Conjecture

The conjecture asserts that if $\mathbb{R}^* \times \text{Aut}(\mathfrak{g})$ does not act transitively on $GL(n)/O(n)$ and all orbits are congruent, then $G$ does not admit a Ricci soliton metric.

Significance of the Problem

This conjecture attempts to establish a connection between geometric properties (congruence of orbits) and analytic properties (existence of Ricci solitons), which is crucial for understanding the geometric structure of homogeneous spaces.

Core Contributions

1. Main Theorem: Constructs a 9-dimensional nilpotent Lie group $G$ such that:
   • $G$ admits a Ricci soliton metric
   • $\mathbb{R}^{>0} \times \text{Aut}(\mathfrak{g})_0$ does not act transitively on $GL(9)/O(9)$ and all orbits are congruent
2. Theoretical Framework: Establishes connections between minimality of the derivation algebra of 2-step nilpotent Lie algebras and orbit congruence
3. General Results: Proves that for non-exceptional types $(p,q)$, counterexamples exist generically
4. Classification Theory: Refines the classification theory of 2-step nilpotent Lie algebras, particularly characterizing exceptional types

Detailed Methodology

Task Definition

Study the geometric properties of left-invariant metrics on 2-step nilpotent Lie groups $N = V + Z$ (where $Z = [N,N]$ is the commutator subalgebra and $V$ is a complementary space to $Z$), with particular focus on the congruence of orbits of $\mathbb{R}^{>0} \times \text{Aut}(\mathfrak{n})_0$ in the metric space $GL(n)/O(n)$.

Core Strategy

The author's strategy involves studying Lie algebras with very small derivation algebras. For a 2-step nilpotent Lie algebra $\mathfrak{n} = \mathfrak{v} + \mathfrak{z}$, there exist two natural classes of derivations:

1. (1,2)-Derivations: $D = \begin{bmatrix} \text{Id}_{\mathfrak{v}} & 0 \\ 0 & 2\text{Id}_{\mathfrak{z}} \end{bmatrix}$
2. $\mathfrak{v} \to \mathfrak{z}$ Derivations: Derivations of the form $\begin{bmatrix} 0 & 0 \\ * & 0 \end{bmatrix}$

j-Map Theory

For algebras of type $(p,q)$ ($\dim \mathfrak{z} = p$, $\dim \mathfrak{v} = q$), define the j-map: $j: \mathfrak{z} \to \mathfrak{so}(\mathfrak{v})$$\langle j(z)v, w \rangle = \langle [v,w], z \rangle$

By choosing an orthonormal basis $\{z_1, \ldots, z_p\}$ of $\mathfrak{z}$, one can associate the algebra with a p-tuple of skew-symmetric matrices: $C = (C_1, \ldots, C_p) \in \mathfrak{so}(q)^p$

GL(q) × GL(p) Action

Define a $GL(q) \times GL(p)$ action on $\mathfrak{so}(q) \otimes \mathbb{R}^p$: $(g,h) \cdot M \otimes v = gMg^t \otimes hv$

The corresponding Lie algebra action is: $(X,Y) \cdot M \otimes v = (XM + MX^t) \otimes v + M \otimes Yv$

Technical Innovations

1. Characterization of Exceptional Types: Explicitly defines exceptional types $(p,q)$, including:
   • $(1,q)$ for all $q \geq 2$
   • $(\frac{1}{2}q(q-1), q)$ for all $q \geq 2$
   • $(2,k)$ for $k \geq 3$
   • $(3,k)$ for $4 \leq k \leq 6$
2. Characterization of Minimal Derivation Algebras: Proves that for non-exceptional types, the derivation algebra of a generic algebra is minimal: $\text{Der} = \mathbb{R}(D) \oplus \text{Der}_{\mathfrak{v} \to \mathfrak{z}}$
3. Application of Moment Map Theory: Utilizes the moment map $m(C) = \left(m_1(C) - \frac{\text{tr}m_1(C)}{q}\text{Id}, m_2(C) - \frac{\text{tr}m_2(C)}{p}\text{Id}\right)$ where $m_1(C) = \sum_{i=1}^q C_i^2$ and $(m_2(C))_{ij} = \text{tr}(C_iC_j)$

Experimental Setup

Concrete Construction

The author constructs a 9-dimensional example of type $(4,5)$, providing four specific $5 \times 5$ skew-symmetric matrices $C_1, C_2, C_3, C_4$:

$C_1, C_2, C_3, C_4 \in \mathfrak{so}(5)$ (specific matrices given in the original paper)

Verification Methods

1. Minimal Vector Verification: Compute $m_1(C)$ and $m_2(C)$, verifying they are multiples of scalar matrices
2. Stabilizer Computation: Calculate the dimension of the stabilizer subalgebra using linear algebra methods
3. Orbit Closure: Utilize moment map theory to verify orbit closure

Computational Tools

Use the Maple computer algebra system for complex linear algebra computations and verification.

Experimental Results

Main Result Verification

Lemma 4.2: The constructed point $C \in \mathfrak{so}(5)^4$ satisfies:

1. $C$ is a minimal vector under the $SL(5) \times SL(4)$ action
2. $SL(5) \times SL(4) \cdot C$ is a closed orbit
3. The stabilizer subgroup has minimal dimension and contains $(\mathbb{Z}_2 \times \mathbb{Z}_2) \times \exp(\mathbb{R}\text{-span}(\Psi(D)))$

Computational Results: $m_1(C) = -2 \cdot \text{Id}_5, \quad m_2(C) = -\frac{5}{2} \cdot \text{Id}_4$

This confirms that $C$ is a minimal vector, hence the orbit is closed.

Stabilizer Analysis

Stabilizer algebra computation shows: $\mathfrak{g}_C = \mathbb{R}\text{-span}(\Psi(D))$

This proves the stabilizer has minimal possible dimension.

Successful Counterexample Construction

Example 4.5: The 9-dimensional 2-step nilpotent Lie group constructed above satisfies all conditions of Theorem A:

1. Admits a soliton metric (guaranteed by orbit closure)
2. Has minimal derivation algebra (guaranteed by stabilizer dimension)
3. All $\mathbb{R}^{>0} \times \text{Aut}(\mathfrak{g})_0$ orbits are congruent but the action is non-transitive

Related Work

Historical Development

1. Work of Eberlein et al.: Established foundations of j-map theory and 2-step nilpotent geometry
2. Hashinaga-Tamaru: Proved equivalence between minimality of corresponding submanifolds and existence of Ricci solitons for 3-dimensional solvable groups
3. Knop-Littelman, Popov-Vinberg: Provided general representation-theoretic foundations

Position of This Work

This paper is the first to provide a counterexample to the local version of the Taketomi-Tamaru conjecture, filling an important theoretical gap.

Conclusions and Discussion

Main Conclusions

1. Existence of Counterexamples: The local version of the Taketomi-Tamaru conjecture is false
2. Generic Phenomenon: Such counterexamples are generic phenomena in non-exceptional types, not special cases
3. Theoretical Limitations: Criteria based purely on local geometry of corresponding submanifolds cannot completely determine soliton conditions

Limitations

1. Dimensional Constraints: The minimal counterexample appears in dimension 9; lower-dimensional cases require further study
2. Complete Conjecture: The validity of the original conjecture (considering the complete automorphism group rather than the connected component) remains open
3. Computational Complexity: Finding concrete algebras in general position remains practically difficult

Future Directions

1. Study of Complete Conjecture: Determine whether the original Taketomi-Tamaru conjecture holds
2. Minimality Conditions: Investigate whether minimality of corresponding submanifolds can provide criteria for soliton existence
3. Low-Dimensional Cases: Refine classification and property studies in low dimensions
4. Computational Methods: Develop more effective methods to identify and construct algebras in general position

In-Depth Evaluation

Strengths

1. Theoretical Importance: Provides a counterexample to an important geometric conjecture, advancing theoretical development
2. Methodological Innovation: Cleverly combines Lie algebra theory, representation theory, and differential geometry
3. Technical Depth: Employs sophisticated algebraic geometry and invariant theory techniques
4. Constructive Proof: Not only proves existence of counterexamples but provides explicit construction

Weaknesses

1. Computational Complexity: Some critical computations (such as complete stabilizer groups) remain incomplete
2. Genericity Verification: While claiming examples are generic, complete verification is lacking
3. Application Scope: Results are primarily theoretical with limited practical applications

Impact

1. Theoretical Contribution: Clarifies an important aspect of the relationship between geometric and analytic conditions
2. Methodological Value: Provides technical frameworks applicable to similar problems
3. Future Research: Offers new directions and tools for further research in related fields

Applicable Scenarios

1. Homogeneous Space Geometry: Study existence of special metrics on homogeneous spaces
2. Lie Group Theory: Analyze geometric properties of nilpotent and solvable Lie groups
3. Differential Geometry: Understand existence conditions for Ricci flow and Einstein metrics

References

The paper cites important literature in the field, including foundational work by Eberlein on 2-step nilpotent geometry, the original Taketomi-Tamaru conjecture, and related representation theory and invariant theory literature. Particularly noteworthy is the contrast with positive results of Hashinaga-Tamaru in low-dimensional cases.