[論文レビュー] Isomorphic-Dilations of the skew-fields constructed over parallel lines in the Desargues affine plane

Orgest Zaka, James F. Peters|arXiv (Cornell University)|Mar 30, 2019

Topological and Geometric Data Analysis参考文献 7被引用数 11

ひとこと要約

この論文は、有限のデルガルスキー平面において、すべての拡大は同一型の直線上に構築された斜体間の同型写像であることを確立し、このような拡大はPappian空間内でのみ発生することを示している。著者は幾何的構成と平行移動不変性を用いて、拡大が平行な直線上の斜体の代数的構造を保存することを証明し、拡大によって誘導される同型を通じてアフィン幾何学と非可換代数を結びつけている。

ABSTRACT

This paper considers dilations and translations of lines in the Desargues affine plane. A dilation of a line transforms each line into a parallel line whose length is a multiple of the length of the original line. In addition to the usual Playfair axiom for parallel lines in an affine plane, further conditions are given for distinct lines to be parallel in the Desargues affine plane. This paper introduces the dilation of parallel lines in a finite Desargues affine plane that is a bijection of the lines. Two main results are given in this paper, namely, each dilation in a finite Desarguesian plane is an isomorphism between skew fields constructed over isomorphic lines and each dilation in a finite Desarguesian plane occurs in a Pappian space.

研究の動機と目的

• デルガルスキー平面における直線上に構築された斜体の代数的構造を調査すること。
• 拡大が平行な直線上の斜体構造に与える影響を分析すること。
• 有限のデルガルスキー平面における各拡大が、同一型の直線上に構築された斜体間の同型写像であることを証明すること。
• 有限のデルガルスキー平面におけるすべての拡大がPappian空間内に存在することを確立すること。
• 直線の構成点を固定しない拡大に焦点を当てることで、従来のアフィン変換と斜体構築に関する研究を拡張すること。

提案手法

• デルガルスキー平面内の直線上の点の集合から、幾何的加法および乗法の規則を用いて斜体を構成する。
• 拡大を、各直線を固定されたスケール因子で拡大した平行な直線に写像する一対一写像として定義する。
• 平行移動を構造を保つ写像として用い、異なる直線上の点を関連づけ、代数的演算の一貫性を保証する。
• 補助点と平行四辺形の構成を用いて乗法アルゴリズムを適用し、直線上の点の乗法を定義する。
• 平行四辺形の不変性を用いて、平行移動φが乗法を保存すること、すなわちφ(A*C) = φ(A)*φ(C)であることを証明する。
• パップスの定理とデルガルスキーの定理を用いて、拡大が存在するならば平面はPappianでなければならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 有限のデルガルスキー平面における拡大は、同一型の直線上に構築された斜体間の同型写像を誘導するか？
• RQ2 平行な直線上の斜体の加法的および乗法的構造を保存するための条件は何か？
• RQ3 有限のデルガルスキー平面におけるすべての拡大はPappian空間に埋め込めるか？
• RQ4 乗法アルゴリズムにおける補助点の選択が、得られる斜体構造に与える影響は何か？
• RQ5 平行移動は、デルガルスキー平面における幾何的変換下で代数的演算をどのように保っているか？

主な発見

• 有限のデルガルスキー平面における各拡大は、定理3.3で証明されたように、同一型の直線上に構築された斜体間の同型写像である。
• 拡大写像は乗法を保存する：φ(A*C) = φ(A)*φ(C)であり、これは平行移動下での平行四辺形の不変性によって検証された。
• このような拡大の存在は、定理3.4で述べられているように、基礎となる平面がPappianでなければならないことを示唆する。
• 直線上の斜体の構成は、拡大の固定点に依存しない。これは、従来の研究が固定点が直線上にあると仮定していたのを拡張するものである。
• 補助点と平行線を用いた乗法の幾何的構成は、平行移動下で同一型の直線間で一貫した結果をもたらす。
• 証明は、平行移動下で対応する点から形成される平行四辺形の一意性に依拠しており、同型写像全体にわたる構造的一致性を保証する。