[Paper Review] Corrections and additions to my article "Dual and almost-dual homogeneous spaces"

Владимир Витальевич Горбацевич|arXiv (Cornell University)|Jul 8, 2020

advanced mathematical theories4 citations

TL;DR

This paper corrects errors and strengthens results in the author's earlier work on dual and almost-dual homogeneous spaces, particularly correcting the claim that the Lie subalgebra $ f $ associated with the canonical foliation is always Abelian. It proves that compact dual homogeneous spaces $ G/H $ with finite fundamental group cannot exist, showing $ \pi_1(M) $ must be infinite, and establishes that the corrected structure holds under weaker assumptions, preserving key topological and geometric conclusions for dimensions 2, 4, and 6.

ABSTRACT

There are some inaccuracies and errors in my article "Dual and almost-dual homogeneous spaces". Here I will describe in detail how to correct incorrect statements from this article and which statements there will have to be reformulated in a weaker form.

Motivation & Objective

• To correct inaccuracies in the author's prior work on dual and almost-dual homogeneous spaces, particularly the incorrect claim that the Lie subalgebra $ f $ is always Abelian.
• To reformulate and strengthen results in the original paper by replacing incorrect statements with weaker, correct versions under appropriate conditions.
• To prove that compact dual homogeneous spaces $ G/H $ must have infinite fundamental group, using the non-existence of nontrivial Abelian ideals in semisimple Lie algebras.
• To validate topological and geometric classifications of dual manifolds in dimensions 2, 4, and 6, under corrected assumptions for transitive Lie group actions.
• To provide a corrected framework for the natural bundle construction and the structure of solvmanifolds, requiring the Abelian property of $ f $ as an additional assumption.

Proposed method

• Identifies and corrects the flawed claim in [1] that the Lie subalgebra $ f $ is Abelian, showing it only holds under additional globalizability conditions.
• Uses the fact that $ \mathcal{E}(\Phi(M)) $ is an Abelian ideal in $ \Phi(M) $, and that $ \operatorname{Im}\mathcal{E} \cap \Phi_{\mathcal{E}}(M) $ is an Abelian ideal in $ \Phi_{\mathcal{E}}(M) $, to re-derive structural constraints.
• Applies Montgomery's theorem to reduce the study of simply connected compact dual homogeneous spaces to semisimple Lie groups, leveraging the non-existence of nontrivial Abelian ideals in semisimple Lie algebras.
• Revises the proof of Theorem 2 (bundle structure) by incorporating statement 5 from Proposition 1, ensuring correctness under the corrected assumptions.
• Re-evaluates the classification of transitive Lie groups on 2-, 4-, and 6-dimensional dual manifolds, showing that prior lists are valid only if $ f $ is Abelian.
• Preserves the topological classification of 2-dimensional dual homogeneous spaces as $ \mathbb{R}^2 $, $ S^1 \times \mathbb{R} $, or $ T^2 $, which remain valid without correction.

Experimental results

Research questions

• RQ1 Is the Lie subalgebra $ f $ associated with the canonical foliation of a dual homogeneous space always Abelian, as claimed in [1]?
• RQ2 Can a compact dual homogeneous space $ G/H $ have a finite fundamental group?
• RQ3 What conditions are necessary for the corrected structure of the natural bundle over compact dual homogeneous spaces?
• RQ4 How do the classifications of transitive Lie groups on 2-, 4-, and 6-dimensional dual manifolds change under the corrected assumption about $ f $?
• RQ5 Which results from the original paper remain valid without modification, and which require reformulation?

Key findings

• The claim that $ f $ is an Abelian ideal in $ g $ is incorrect in general, but holds if the decomposition $ f = p + h $ is globalizable.
• Compact dual homogeneous spaces $ G/H $ must have infinite fundamental group, as a simply connected such space would lead to a contradiction via the existence of a nontrivial Abelian ideal in a semisimple Lie algebra.
• The corrected proof of Theorem 2 (natural bundle as principal) is valid when using statement 5 from Proposition 1, ensuring the bundle structure holds under the corrected assumptions.
• The classification of transitive Lie groups on 2-, 4-, and 6-dimensional dual manifolds in Propositions 8–10 is only valid under the additional assumption that $ f $ is Abelian; otherwise, additional groups may exist.
• The topological classification of 2-dimensional dual homogeneous spaces as $ \mathbb{R}^2 $, $ S^1 \times \mathbb{R} $, or $ T^2 $ remains valid without correction.
• The results on dual solvmanifolds require the Abelian property of $ f $ as an additional assumption, which was not properly enforced in the original proof.