複素数体に有向な半順序を構成する
Directed partial orders on the complex number field
この論文をやさしく読む
ひとことで言うと
複素数に、加法や乗法と両立する特定の部分順序を入れる構成を示します。
何に役立つ？
数の大小を通常の実数の順序とは異なる形で一般化し、代数構造と順序の関係を調べる基礎研究です。
この研究の面白いところ
超越基底と実数の生成元から正錐を作り、二つの生成元が同じ正錐を与える条件まで特徴付けます。正の非零元の逆数も正になります。
どこまで分かった？
構成される順序はいずれも束順序ではありません。複素数全体に通常の実数と同じ全順序を与えるという主張ではなく、有向な部分順序です。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
複素数体Cを有向半順序環にする正錐の一群を構成する。正錐は、超越基底と選択した実数の生成元に関連する局所環の整閉包を用いて定義する。また、局所化の判定基準によって、有理数体Qのあらゆる超越拡大にも、このような順序が得られる。 係数体を固定したとき、2つの実数の生成元が同じ錐を定めるための必要十分条件は、それらが、正の実代数的な傾きと、その係数体上で代数的な平行移動量を持つアフィン写像によって結び付けられることであると証明する。ゼロでない正の元の集合は逆元を取る操作について閉じている。これらの順序はいずれも束順序ではない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We construct a class of positive cones that make $\C$ into a directed partially ordered ring. The positive cones are defined using integral closures of local rings, associated with a transcendence basis and a chosen real generator. A localization criterion also yields such orders on every transcendental extension of $\Q$. For a fixed coefficient field, we prove that two real generators define the same cone if and only if they differ by an affine map with positive real-algebraic slope and translation algebraic over that field. The nonzero positive elements are closed under inversion. None of these orders is a lattice order.
arXiv ID: 2609.20494 ／ 要約の誤りについて