[論文レビュー] Extension of H\"older's Theorem in Diff_{+}^{1+\epsilon}(I)

Azer Akhmedov|arXiv (Cornell University)|Aug 1, 2013

Advanced Topology and Set Theory参考文献 4被引用数 2

ひとこと要約

この論文は、H"olderの自由作用に関する古典的定理を、H"older正則性をもつ区間の微分同相群へ拡張する。Γ ⊂ Diff₁₊ₑ⁺(I) で、すべての非単位元が高々N個の固定点を持つならば、Γは可解であることを証明する。Γ ⊂ Diff₂⁺(I) ならば、Γはメタアーベル的である。主な手法は、交換子部分群からのC⁰小要素を用いて、共役作用における固定点数の数え上げによって矛盾を引き起こすことである。

ABSTRACT

We prove that if \Gamma is subgroup of Diff_{+}^{1+\epsilon}(I) and N is a natural number such that every non-identity element of \Gamma has at most N fixed points then \Gamma is solvable. If in addition \Gamma is a subgroup of Diff_{+}^{2}(I) then we can claim that \Gamma is metaabelian.

研究の動機と目的

• 自由作用に関するH"olderの定理を、Homeo+(R)から、より高い正則性をもつ微分同相群における有限固定点数をもつ作用へ一般化すること。
• Diff₁₊ₑ⁺(I)およびDiff₂⁺(I)の部分群Γにおいて、各非自明元が高々N個の固定点をもつときの構造的制約（可解／メタアーベル的）を特定すること。
• C¹₊ₑ正則性下ではこのような群が可解であることを、交換子部分群内の小さな摂動を用いて証明すること。C²正則性下ではメタアーベル的であることを示すこと。
• N = 5のケースを別個に取り扱う。固定点数の数え上げによる即時の矛盾が得られないため、洗練された解析が必要である。
• 交換子部分群の構造とC⁰小要素を活用して、このような群の導来長が普遍的に有界であることを確立すること。

提案手法

• 非可解または非メタアーベルな場合に、交換子部分群[Γ, Γ]にC⁰小要素が存在することを保証するために、Akhmedov (2013) の定理BおよびCを用いる。
• 命題1.5を適用して、与えられた区間[a, b]上で固定点を持たず、すべてのxに対して|h(x) − x| < ϵを満たすC⁰小微分同相写像h ∈ [Γ, Γ]を構成する。
• このようなhによる共役作用により、fとh⁻¹fhのグラフが複数の区間で交差する新しい微分同相写像を生成する。
• 鳩の巣原理と一様連続性を活用し、d(h)が十分に小さい場合、共役写像h⁻¹fhがfと複数回交差し、許容される固定点数を超えるようにする。
• N ≥ 5の場合、fとh⁻¹fhが少なくともN+1回の交差をもつことを示し、F(Γ) ≤ Nという仮定に矛盾することを導く。
• N = 5のケースは、最大生成元に関する無限小部分群Γθの構造を分析することで別個に取り扱う。非メタアーベル構造は[Γθ, Γθ]が非可換であることを意味し、これは[Γθ, Γθ]が常に可換であるという事実に反する。

実験結果

リサーチクエスチョン

• RQ1 Diff₁₊ₑ⁺(I)の部分群が可解となるためには、非自明元の固定点数にどのような制約が必要か？
• RQ2 C¹₊ₑからC²への正則性の向上は、このような部分群の構造的制約をどのように強化するか？
• RQ3 交換子部分群にC⁰小要素が存在することを、非可解性を仮定した場合に矛盾を引き起こすために利用できるか？
• RQ4 N = 5のケースではどのような特別な課題が生じるか？固定点数の数え上げに依存せずに、それらをどのように解決できるか？
• RQ5 C²正則性下で、交換子部分群の構造から自然にメタアーベル的性質が生じるか？

主な発見

• Γ ≤ Diff₁₊ₑ⁺(I) かつすべての非自明元が高々N個の固定点を持つならば、Nの値に関わらずΓは可解である。
• Γ ≤ Diff₂⁺(I) かつすべての非自明元が高々N個の固定点を持つならば、Γはメタアーベル的である。すなわち、導来長が2以下である。
• 証明は、C¹₊ₑ正則性では定理B、C²正則性では定理Cを用いて[Γ, Γ]内にC⁰小要素を構成することに依存しており、これにより固定点数が増加する共役写像が作れる。
• N ≥ 5の場合、fとh⁻¹fhが少なくともN+1個の固定点をもつことを示し、F(Γ) ≤ Nという仮定に矛盾する。
• N = 5のケースは別個の議論が必要である。Γが非メタアーベル的ならば、[Γθ, Γθ]は非可換でなければならないが、これは[Γθ, Γθ]が常に可換であるという事実に反する。
• 任意のDiff₁₊ₑ⁺(I)の可解部分群の導来長は、[N2]で確立されたように、普遍的に有界である。これにより、固定対称生成集合をもつ有限生成性を仮定できる。