2025-11-16T21:16:12.951170

Continuous Inverse Ambiguous Functions on Lie Groups

Schmitz, Rahman, Kindness

In a previous study, the first author defines an inverse ambiguous function on a group $G$ to be a bijective function $f : G \to G$ satisfying the functional equation $f^{-1}(x) = f(x^{-1})$ for all $x \in G$. In this paper, we investigate the existence of continuous inverse ambiguous functions on classical Lie groups. In particular, we look at tori, elliptic curves over various fields, vector spaces, additive matrix groups, and multiplicative matrix groups.

academic

リー群上の連続逆曖昧関数

基本情報

論文ID: 2510.09958
タイトル: Continuous Inverse Ambiguous Functions on Lie Groups
著者: David Schmitz, Sadman Rahman, Anthony Kindness
分類: math.GR（群論）、math.GT（幾何位相）
発表日: 2025年10月11日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2510.09958

要約

本論文は、リー群上の連続逆曖昧関数の存在性問題を研究している。逆曖昧関数は、群G上の全単射関数f : G → Gであり、関数方程式f⁻¹(x) = f(x⁻¹)がすべてのx ∈ Gに対して成立するものとして定義される。著者らは、トーラス、様々な体上の楕円曲線、ベクトル空間、加法行列群、乗法行列群を含む多くの古典的リー群上でこのような関数の存在性を体系的に研究している。

研究背景と動機

問題の定義

逆曖昧関数は群論における比較的新しい概念であり、関数の逆と群元素の逆を結びつけるものである。群G上の全単射関数fに対して、f⁻¹(x) = f(x⁻¹)を満たす場合、これを逆曖昧関数と呼ぶ。これは条件f(f(x)) = x⁻¹と等価である。

研究の意義

理論的価値: 逆曖昧関数は位相群の同相群において4次の巡回部分群を生成し、「逆写像の平方根」と見なすことができる
幾何学的意義: 位相群に対して、連続逆曖昧関数は必ず同相写像であり、群構造と位相構造を結びつけている
分類問題: どのリー群が連続逆曖昧関数を認めるかを決定することは自然な分類問題である

既存の研究基盤

Schmitzは2017年の研究で、体の加法群と乗法群上の逆曖昧関数を研究した
有限群に対しては、完全な存在性刻画が得られている：逆曖昧関数が存在することと、自己逆でない元素の個数が4の倍数であることは同値である
本論文は研究を連続の場合とリー群に拡張している

核心的貢献

トーラスの完全分類: n次元トーラスTⁿ上に連続逆曖昧関数が存在することと、nが偶数であることは同値であることを証明した
楕円曲線の体系的研究:
- 複素数体上の楕円曲線は常に逆曖昧関数を認める
- 実数体上では判別式の符号に基づいて存在性を決定する
- 有限体上では具体的な存在性判定基準を与える
ベクトル空間の次元刻画: n次元実ベクトル空間が連続逆曖昧関数を認めることと、nが偶数であることは同値である
行列群の部分的結果: 複数の重要な行列リー群に対して存在性または非存在性の証明を与える

方法の詳細

問題設定

与えられたリー群Gに対して、すべてのx ∈ Gに対してf(f(x)) = x⁻¹を満たす連続全単射関数f : G → Gが存在するかどうかを決定する。

主要な技術的方法

1. 基本群の方法

経路連結空間に対して、基本群の関手性を利用する：

連続逆曖昧関数fは基本群上の自己同型f₊を誘導する
f₊ ∘ f₊ = ι₊を満たす必要があり、ここでι₊は逆写像が誘導する自己同型である
基本群の自己同型群の分析を通じて存在性を判定する

重要な補題: 円群S¹上には連続逆曖昧関数が存在しない。なぜなら、Zの自己同型群には平方が-idに等しい元素が存在しないからである。

2. 向き分析の方法

微分位相における向きの概念を利用する：

逆写像ιの向き性質：det(dι|_) = (-1)^{n²}
連続逆曖昧関数fの合成f∘fは向きを保つ必要がある
ιが向きを変え、f∘fが向きを保つ場合に矛盾が生じる

3. 直積構成の方法

構成的証明: 偶数次元の場合、明示的な構成を与える：

f: (z₁,w₁; z₂,w₂; ...; zₙ,wₙ) ↦ (w₁,z₁⁻¹; w₂,z₂⁻¹; ...; wₙ,zₙ⁻¹)

4. 連結成分交換の方法

2つの連結成分を持つ群に対して、異なる成分間で交換する関数を定義できる。

技術的革新点

統一された理論的枠組み: 代数的方法（基本群）と幾何学的方法（向き）を巧みに結合している
次元の奇偶性の深い関連性: 逆曖昧関数の存在性と空間の次元の奇偶性の本質的な関係を明らかにしている
具体的な構成方法: 存在する場合に対して明示的な関数構成を与えている

実験設定

研究対象

本論文は純粋な理論数学研究であり、主な研究対象は以下を含む：

トーラス: Tⁿ = (S¹)ⁿ
楕円曲線: 複素数体C、実数体R、有限体F_q上の楕円曲線
ベクトル空間: Rⁿ、Cⁿ、F_qⁿ
行列群: GL_n(R)、SL_n(R)、O(n)、SO(n)
球面: Sⁿ（位相空間として）

分析方法

基本群の計算とホモトピー理論
微分位相における向き理論
リー群論
代数幾何学（楕円曲線理論）

実験結果

主要な結果

トーラスの完全分類

定理2.2: nが奇数の場合、Tⁿ上には連続逆曖昧関数が存在しない 定理2.4: nが偶数の場合、Tⁿ上には連続逆曖昧関数が存在する

証明の概要:

奇数の場合：π₁(Tⁿ) ≅ Zⁿであり、A² = -I_nを満たす行列A ∈ GL_n(Z)の存在が必要だが、det(A)² = (-1)ⁿ = -1は解を持たない
偶数の場合：f(z,w) = (w, z⁻¹)を明示的に構成する

楕円曲線の体系的結果

複素楕円曲線（定理3.1）: すべての複素楕円曲線は連続逆曖昧関数を認める
実楕円曲線（定理3.2）:
- Δ_E > 0の場合に存在する（E(R) ≅ S¹ × Z₂）
- Δ_E < 0の場合に存在しない（E(R) ≅ S¹）
有限体楕円曲線: Weierstrass方程式y² = x³ + ax + bの多項式がF_qで3つの異なる根を持つ場合、逆曖昧関数が存在する

ベクトル空間の次元刻画

定理4.3: n次元実ベクトル空間が連続逆曖昧関数を認めることと、nが偶数であることは同値である

系:

M_n(R)が連続逆曖昧関数を認めることと、nが偶数であることは同値である
トレースが0のn×n実行列空間が連続逆曖昧関数を認めることと、nが奇数であることは同値である

行列群の部分的結果

直交群: O(2)とSO(2)は連続逆曖昧関数を認めない
特殊線形群: SL_n(R)はnが偶数の場合に連続逆曖昧関数を認めない
特殊直交群: SO(n)はn ≡ 2,3 (mod 4)の場合に連続逆曖昧関数を認めない

球面の反例構成

定理4.8: 同相写像f : Sⁿ → Sⁿでf(f(z)) = -zを満たすものが存在することと、nが奇数であることは同値である

次元の奇偶性の規則性: 多くの古典的リー群に対して、逆曖昧関数の存在性は群の何らかの特性次元の奇偶性と密接に関連している
位相的障害: 基本群と向き理論は非存在性の証明に有効なツールを提供する
構成方法: 存在する場合、通常は明示的な構成を与えることができる

限界

未解決の場合:
- GL_n⁺(R)（nが偶数）
- SL_n(R)（nが奇数）
- SO(n)（n ≡ 0,1 mod 4）
- GL_n(C)（n > 1）
方法の限界: 現在の向き方法は某些の場合に適用できない
非連結群: 複数の連結成分を持つ群に対しては、分析がより複雑である