Yamagishi Complexity Torus Lab | 山岸勇輝ラボ

論文90 の記録のページです。住所（YOI）は https://www.yamagishiyuuki.com/yoi/90 で、論文の本文は下の PDF にあります。ファイルは自分で用意した置き場所（https://yamagishi.sakuraweb.com）に置き、日付の証拠（.ots）を添えています。Zenodo でも公開しています（DOI：10.5281/zenodo.21758361）。

本文はサイトの記事でも読めます：【論文90】弱い仮定から連続対称性が生える

@misc{yamagishi2026yoi90,
  author = {Yamagishi, Yuuki},
  title = {Continuous Symmetry Emerges from Weak Assumptions},
  year = {2026},
  howpublished = {YOI: https://www.yamagishiyuuki.com/yoi/90},
  doi = {10.5281/zenodo.21758361},
  note = {Preprint, edition 1}
}

日付の証拠（OpenTimestamps）

2026年10月1日に、2 本の PDF の指紋（SHA-256）をまとめて OpenTimestamps に送り、ビットコインのブロック 969387・969388・969398・969440 に記録されました（2026年10月01日 12:18（日本時間））。この .ots があれば、PDF がその時点で存在したことを、このサイトや運営者を信用しなくても、誰でも確かめられます。

書誌

要旨

本体系は繰り返し「豊かな構造は、ごく弱い仮定から否応なく生える」という筋に出会ってきた。イグナトフスキー（論文83：相対性原理＋空間の一様等方＋群構造だけから、相対論は二つに限られ、ローレンツ群が生える）、Galois→Lie→Noether（論文85）、Gleason（論文71）。本稿は、この筋の最も深い数学的言明を、日本の数学者 山辺英彦（Hidehiko Yamabe, 1923–1960）の仕事に見いだす。ヒルベルト第5問題（「連続群は自動的に微分可能（リー群）か？」）は、Gleason・Montgomery–Zippin・Yamabe によって肯定的に解決された。とくに山辺の定理により、局所ユークリッド（多様体）である位相群は、微分可能性を仮定せずとも自動的にリー群になる。すなわち連続対称性の滑らかな構造は、弱い位相的仮定によって強制される。これはイグナトフスキー（83）が少数の運動学的公理からローレンツ群（リー群）を導いたことの、純粋数学における一般形である。同じ「弱い仮定→対称性」の系譜に立ちつつ、舞台（物理の運動学 vs 群の位相）は別（別根、論文58/48）。山辺はもう一つの贈り物も遺した：ヤマベ問題（任意の共形類に、スカラー曲率一定の計量が存在する。山辺が創始、Trudinger–Aubin–Schoen が完成）。これは体系の曲率の論文（67 Gauss–Bonnet／4π、07 Ricci流／ペレルマン、60 速度空間の曲率）への第二の橋になる。射程：本稿は借り物の標準結果（ヒルベルト第5の解決・ヤマベ問題）の構造的解釈（第2層）であり、新しい数学も予言も生まない。これらを解いたり拡張したりしない。宇宙OSは第3層・非科学のレンズ。

Abstract

This corpus keeps meeting the same theme: rich structure emerges, inevitably, from very weak assumptions（Ignatowski (Paper 83: from the relativity principle, spatial homogeneity/isotropy, and group structure alone, relativity is restricted to two families and the Lorentz group emerges), Galois→Lie→Noether (Paper 85), Gleason (Paper 71). This paper finds the deepest mathematical statement of that theme in the work of the Japanese mathematician Hidehiko Yamabe (1923–1960). Hilbert’s fifth problem）”is a continuous group automatically differentiable (a Lie group)?”（was solved affirmatively by Gleason, Montgomery–Zippin, and Yamabe. In particular, by Yamabe’s theorem, a topological group that is locally Euclidean (a manifold) is automatically a Lie group, without assuming differentiability. That is, the smooth structure of a continuous symmetry is forced by weak topological assumptions. This is the general form, in pure mathematics, of Ignatowski’s (83) derivation of the Lorentz group (a Lie group) from a few kinematic axioms）one lineage of “weak assumptions → symmetry,” on a different stage (physical kinematics vs the topology of groups; distinct roots, Papers 58/48). Yamabe left a second gift too: the Yamabe problem (every conformal class contains a metric of constant scalar curvature; initiated by Yamabe, completed by Trudinger–Aubin–Schoen), a second bridge to the corpus’s curvature papers (67 Gauss–Bonnet/4π, 07 Ricci flow/Perelman, 60 velocity-space curvature). Scope: this is a structural interpretation (Layer 2) of borrowed standard results (the solution of Hilbert’s fifth problem, the Yamabe problem); it produces no new mathematics and no new prediction, and it does not solve or extend them. The Universe OS is a Layer-3 non-science lens.

版の記録

ここの PDF（倉庫の v1）は第1版（2026年8月）の原稿から作りました。ファイルは版ごとに分けて置いています（/yoi/90/v1/ の下）。中身を直すときは、このファイルを書き換えず、新しい版を足します（住所 https://www.yamagishiyuuki.com/yoi/90 はいつも最新の版を指します）。Zenodo の記録とは、Zenodo に上げる前の改訂のぶんだけ違うことがあります。

YOI の一覧へ