Locally compact strictly convex metric groups are abelian

Basic Information

• Paper ID: 2510.10755
• Title: Locally compact strictly convex metric groups are abelian
• Authors: Taras Banakh, Oles Mazurenko
• Classification: math.GR (Group Theory), math.FA (Functional Analysis), math.GN (General Topology)
• Publication Date: October 12, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.10755v1

Abstract

This paper proves that every locally compact strictly convex metric group is abelian, thereby answering a question posed by the authors in a previous paper. To establish this theorem, the authors first construct an isomorphic embedding of the real line into a strictly convex metric group by utilizing the geodesic properties of strictly convex metric groups and the characterization of the real line as the unique non-monotone-generated one-parameter metrizable topological group. They then prove that all compact subgroups of strictly convex metric groups are trivial, and complete the proof of the main result by combining this with Iwasawa's classical theorem.

Research Background and Motivation

1. Problem to be Solved: This paper aims to determine the algebraic structure of strictly convex metric groups, particularly to answer the question "Is every strictly convex metric group abelian?"
2. Significance of the Problem:
   • Strict convexity is a fundamental geometric property of Banach spaces, playing a central role in duality theory, optimization theory, approximation theory, and fixed point theory
   • Although strict convexity is typically defined in normed or Banach spaces, it is essentially a purely metric property that can be defined without involving linear or convex structures
   • Understanding the structure of strictly convex metric groups is important for connecting geometric and algebraic properties
3. Limitations of Existing Research:
   • The authors previously proved in 1 that every strictly convex metric abelian group admits a unique multiplication operation over the real field, making it a normed space
   • However, the question of whether every strictly convex metric group must be abelian remained open
4. Research Motivation: By resolving this question, the theory of strictly convex metric groups can be perfected, providing a complete structural characterization for this special class of metric groups.

Core Contributions

1. Main Theorem: Proves that every locally compact strictly convex metric group is abelian (Theorem 5)
2. Structural Characterization: Combined with previous results, proves that every locally compact strictly convex metric group is a finite-dimensional real normed space (Corollary 6)
3. Technical Innovations:
   • Constructs an isomorphic embedding of the real line into a strictly convex metric group
   • Proves that all compact subgroups of strictly convex metric groups are trivial
   • Establishes connections between metric multiplication, algebraic multiplication, and real multiplication
4. Methodological Contributions: Provides a proof strategy combining geodesic properties, topological group theory, and Iwasawa's theorem

Detailed Methodology

Core Concept Definitions

Strictly Convex Metric Space (Definition 1): A metric space $(X,d)$ is called strictly convex if for any points $x,y \in X$ and any positive real numbers $a,b$ satisfying $a+b = d(x,y)$, the intersection $B[x,a] \cap B[y,b]$ is a singleton.

Metric Group (Definition 3): A group $(G,+,0)$ equipped with a metric $d: G \times G \to \mathbb{R}$ satisfying translation invariance: $d(x+c, y+c) = d(x,y) = d(c+x, c+y)$.

Methodological Framework

Phase One: Construction of Metric and Algebraic Multiplication

1. Definition of Metric Multiplication (Definition 8): For each $x \in G$, let $\gamma: [0, \|x\|] \to G$ be the unique isometric map satisfying $\gamma(0) = 0$ and $\gamma(\|x\|) = x$. For $t \in [0,1]$, define $t \ast x := \gamma(t\|x\|)$.
2. Key Properties:
   • $\|t \ast x - v \ast x\| = |t-v| \cdot \|x\|$ (Lemma 9)
   • $\|t \ast x\| = t\|x\|$ (Corollary 10)
   • $t \ast (v \ast x) = (tv) \ast x$ (Lemma 11)

Phase Two: Establishing $\mathbb{Z}[\frac{1}{2}]$-Module Structure

1. Unique 2-Divisibility: Proves that for all $x \in G$, the subgroup $H_x = \langle H \ast x \rangle$ (where $H = \{\frac{1}{2^n} : n \in \mathbb{N} \cup \{0\}\}$) is uniquely 2-divisible (Proposition 20).
2. Module Structure: Each $H_x$ is a $\mathbb{Z}[\frac{1}{2}]$-module (Corollary 21).

Phase Three: Extension to Real Multiplication

1. Definition of Real Multiplication: For $t \in \mathbb{R}$ and $x \in G$, define $tx = [t] \cdot x + \{t\} \ast x$, where $[t]$ is the integer part and $\{t\}$ is the fractional part.
2. Homomorphism Properties: Proves that $\cdot_x: \mathbb{R} \to G$ is a topological group homomorphism (Proposition 29).

Phase Four: Proving $R_x \cong \mathbb{R}$

1. Non-Monotone Generation: Proves that each $R_x = \{tx : t \in \mathbb{R}\}$ is not monotone-generated (Proposition 34).
2. Isomorphism: Using the characterization that the real line is the unique non-monotone-generated one-parameter metrizable topological group, concludes that $R_x \cong \mathbb{R}$ (Corollary 36).

Phase Five: Application of Iwasawa's Theorem

1. Triviality of Compact Subgroups: Proves that all compact subgroups of strictly convex metric groups are trivial (Corollary 38).
2. Main Theorem Proof: Completes the proof of the main result by combining Iwasawa's theorem (Theorem 39).

Technical Innovations

1. Integration of Metric Geometry and Algebra: Cleverly connects strict convexity, a metric geometric property, with the algebraic structure of groups.
2. Hierarchical Multiplication Structures: Establishes a complete multiplication theory through constructing hierarchical structures of metric multiplication, algebraic multiplication, and real multiplication.
3. Application of Topological Group Theory: Innovatively uses the topological group characterization of the real line (non-monotone-generated one-parameter property) to prove isomorphism.

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments or datasets. All results are obtained through rigorous mathematical proofs.

Main Results

Core Theorems

Theorem 5 (Main Result): Every locally compact strictly convex metric group is abelian.

Corollary 6: Every locally compact strictly convex metric group is a finite-dimensional real normed space.

Corollary 41: Every compact finite-dimensional strictly convex metric group is abelian.

Key Lemmas and Propositions

1. Lemma 12: $\frac{1}{2} \ast x + \frac{1}{2} \ast x = x$
2. Proposition 18: Strictly convex metric groups have no elements of order 2
3. Proposition 29: Real multiplication is a topological group homomorphism
4. Corollary 38: Compact subgroups of strictly convex metric groups are trivial

Technical Results

• Establishes fundamental properties of metric multiplication (Lemmas 9-11)
• Proves commutativity of the $H_x$ subgroup (Proposition 14)
• Constructs the $\mathbb{Z}[\frac{1}{2}]$-module structure (Corollary 21)
• Proves non-monotone generation of $R_x$ (Proposition 34)

Related Work

1. Previous Work: The authors proved in 1 that strictly convex metric abelian groups are normed spaces; this paper resolves an open problem posed therein.
2. Classical Theory:
   • Iwasawa's structure theorem for locally compact topological groups (Theorem 39)
   • Classical results on monotone-generated groups in topological group theory 2
3. Related Fields:
   • Banach space geometry theory 5,6,9
   • Metric fixed point theory 7
   • Topological group theory 8

Conclusions and Discussion

Main Conclusions

This paper completely resolves the question of abelianness for strictly convex metric groups, proving that under the locally compact condition, strict convexity implies abelianness. Combined with previous work, this gives a complete structural characterization of locally compact strictly convex metric groups: they are precisely finite-dimensional real normed spaces.

Limitations

1. Local Compactness Condition: The main result requires local compactness; the question remains open for general strictly convex metric groups.
2. Constructivity: Although existence of isomorphism is proved, no explicit construction method is provided.
3. Finite-Dimensionality Restriction: Results are limited to the finite-dimensional case; generalization to infinite dimensions requires further research.

Future Directions

1. Study non-locally compact strictly convex metric groups
2. Explore possible generalizations to infinite dimensions
3. Investigate the impact of other geometric properties on group structure

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Completely resolves an important open problem, providing a complete characterization of locally compact strictly convex metric groups.
2. Methodological Innovation:
   • Cleverly combines metric geometry, topological group theory, and abstract algebra
   • Innovatively uses the topological group characterization of the real line in the proof
   • The hierarchical multiplication structure construction demonstrates profound mathematical insight
3. Technical Rigor: The proof is rigorous and complete, with detailed argumentation at each step.
4. Clear Structure: The paper is well-organized with a clear logical chain from basic concepts to the final theorem.

Weaknesses

1. Limited Scope: The local compactness condition restricts the generality of results; more general cases remain unresolved.
2. Lack of Constructivity: Although existence is proved, concrete construction algorithms are absent.
3. Limited Discussion of Applications: The paper focuses primarily on theoretical results with limited discussion of practical applications.

Impact

1. Theoretical Contribution: Makes important contributions to the intersection of metric group theory and Banach space geometry.
2. Methodological Value: The proof techniques provided may have further applications in related problems.
3. Completeness: Combined with previous work, provides a complete classification of an important class of mathematical objects.

Applicable Scenarios

1. Theoretical Research: Provides important tools for researchers studying metric groups, topological groups, and Banach space geometry.
2. Related Problems: Provides methodological guidance for studying the impact of other geometric properties on algebraic structures.
3. Educational Value: Serves as an excellent case study demonstrating cross-disciplinary applications in mathematics.

References

The paper cites 11 important references, primarily including:

1. Authors' previous work on strictly convex abelian metric groups
2. Classical literature on topological group theory
3. Standard references on Banach space geometry and convex analysis
4. Iwasawa's classical theorem on the structure of locally compact groups

Overall Assessment: This is a high-quality theoretical mathematics paper that completely resolves an important open problem. Although the results have certain limitations (requiring local compactness), they provide a complete and elegant solution within their scope of applicability. The paper demonstrates profound mathematical insight and sophisticated technical mastery, with significant value for the development of related fields.