数について

何はともあれ「数」は数学の基本である。 代数的トポロジーを学ぶためにも「数」について色んなことが必要になる。 その中でも数を数えるのは基本だろう。 例えば, コホモロジー作用素を使うときには, 二項係数が必要になる。

• 数え挙げの手法

また 様々な空間を定義するときには, Euclid空間やその部分空間をよく使う。 なので, 実数について知っている必要がある。

• 実数

例えば, 閉区間 \([0,1]\) は, トポロジーでは homotopy や path を定義するための定義域としても基本的である。 その視点からの \([0,1]\) の特徴付けが, Leinster の [Lei11] にある。 元は Freyd によるもののようであるが。

• self-similarity による \([0,1]\) の特徴付け

自然数は 集合論の公理から得られ, 整数や有理数は自然数から代数的な構成により得られる。 しかしながら, 有理数から実数を構成するには, 完備化の操作が必要になる。 その構成の中で最も有名なものは, Dedekind の切断だろうが, それ以外にも, 様々なものがある。 それらを集めたものとして, Ittay Weiss の [Wei15] がある。 19の方法が紹介されている。他にも次のようなものがある。

• MacNeille の方法
• A’Campo の構成 [ACa21]
• Hermans の BSc thesis [Her18]

MacNeille の実数については, この nLab の記事を読むのが良いと思う。

A’Campo の構成と類似の方法は Street の [Str03] に書かれているが, そこでは Schanuel による, とされている。Arthan の [Art] にも登場する。

実数の内, 素数は代数的トポロジーでも重要である。 空間の情報を素数で局所化して考えることが多いが, その際 \(2\) や \(3\) などの小さな素数では例外的なことが起る。 また有理数で局所化して考えるのが, rational homotopy theory である。

• 素数
• 有理数

連分数の一般的な形 \[ x_{1}+\frac {1}{x_{2}+\frac {1}{x_{3}+\frac {1}{\ddots x_{n-1}+\frac {1}{x_{n}}}}} \] は \(x_{1},\ldots ,x_{n}\) の多項式 \(K_{n}(x_{1},\ldots ,x_{n})\) を用いて \(\frac {K_{n}(x_{1},\ldots ,x_{n})}{K_{n-1}(x_{2},\ldots ,x_{n})}\) の形に表せるが, この多項式を Euler の continuants と呼ぶ, らしい。 Dyckerhoff, Kapranov, Schechtman の [DKS] で知った。 彼等は, その categorical lift を定義している。

• continued fraction
• Euler’s continuant

連分数と関連したものとして, グラフを用いて実数を表す方法がある。 有名なのは Farey によるもので, 上半平面や Poincaré disk などの 双曲幾何学のモデルを用いて図示される。 Hatcher の本 [Hat] の Chapter 1 で解説されている。 グラフを用いて実数を表す方法は, 他にも, [BI09] や [CLL22] などがある。

Kontsevich と Zagier [KZ01] によると, 興味深い数の多くは period として現れる。Period とは, 有理数係数の代数方程式や代数不等式で表された領域上の代数関数の積分として表される数のことである。

• period

Belkale と Brosnan [BB03] によると, Kontsevich と Zaiger の論文の目的は, 「新しい超越数 (かもしれない数) に出会ったら, それが period かどうかを考える」ことの正当性を主張することのようである。

実数の次は複素数である。 複素数についても高校の頃 (?) から慣れ親しんでいるだろうが, 例えば, Arnol\('\)d の [Arn95] の§5にあるような実数と複素数の比較は, ある程度勉強した後でないと理解するのは難しいだろう。

• Morse 理論の複素数版は, Picard-Lefschetz theory
• Stiefel-Whitney class の複素数版は, Chern class
• 向きの付いた多様体の複素数版は Calabi-Yau多様体
• 境界を持つ多様体の複素数版は \(2\)-ramified covering

境界を持つ多様体の複素数版が \(2\)-ramified covering である, ということについては, Arnol\('\)d の [Arn00] に簡単な説明がある。 Morse theory の複素数版が Picard-Lefschetz theory であることについても, 簡単な説明がある。

最近でも, Donaldson-Thomas 理論 [DT98] のように, 既存の理論の複素数版を考えることにより, 大きく進展した分野もある。

\(\R \) と \(\bbC \) の次は四元数体 \(\Ha \), その次は八元数体 \(\mathbb {O}\), 通称 Cayley数体である。

• Hamiltonの四元数体 \(\Ha \)
• 八元数体 (Cayley数体) \(\mathbb {O}\)

上記の Arnol\('\)d による実数と複素数の比較に四元数も入れたものを, triality と呼ぶようである。Arnol\('\)d の [Arn00] に25個の triality の例を一覧表にしたものがある。

これらの「数」には, 複素共役の類似があり, それを用いると \(q(z)=\bar {z}z\) として quadratic form が定義される。 これを一般化した概念として composition algebra がある。

• composition algebra

Composition algebra は, \(\R \), \(\bbC \), \(\Ha \), \(\mathbb {O}\) 以外に存在しないというのが, Hurwitz の定理である。

• Hurwitz の定理

ただ, composition algebra という条件を外せば, この次元を\(2\)倍にする操作 (Dickson の2重化) を続けることはできる。そのようにしてできた“algebra” を Cayley-Dickson algebra と呼ぶ。

• Cayley-Dickson algebra

数列は高校の数学から微分積分学で登場するが, 整数から成る数列は, 組み合せ論的に意味のある数列も多い。そのようなものについては, Sloane により作られた website がある。

• OEIS (Online Encyclopedia of Integer Sequences)

2次元的に数を配置したものとして, Coxeter [Cox71] により導入された frieze pattern というものがある。 その論文では, 1602年の Nathaniel Torperley の仕事に言及されているが。

• frieze pattern

元々の Coxeter の動機は連分数を調べることだったようであるが, 最近よく見かけるようになったのは, cluster algebra との関係が発見されたからのようである。 古い文献としては, Conway と Coxeter の [CC73a; CC73b] があるが, そこでは多角形の三角形分割との関係が証明されている。 Cluster algebra のと関連も含めて解説したものとしては, Morier-Genoud の [Mor15] や Pressland の [Pre23] がある。

実数の拡張 (?) としては, Morier-Genoud らによる実数の \(q\)-deformation [MO22] もある。

• \(q\)-deformed real number

逆に実数の中で重要なものとして, 当然であるが, 素数がある。 もちろん数学の基本として素数のことは知っておかなければならないが, 代数的トポロジーでは, 空間をある素数で 局所化して考えることが多いし, ホモロジーの計算でも素数\(p\)を法とした係数, つまり有限素体 \(\F _p\)係数での計算に帰着させて議論することが多いからである。 そのような計算では, 二項係数の mod \(p\) での公式を知っていると役に立つ。

• 初等整数論

また \(0\) で局所化するということは, rational homotopy type を考えることになる。

\(\Q \) を位相空間とみなしたときには, Sierpinskiの定理により同相 \(\Q ^2\cong \Q \) があるので, この MathOverflow の質問 にあるように, \(\Q ^n\) をモデルとした多様体を考えることは意味がなさそうである。 Sierpinski の定理については, この MathOverflow の質問への Chapman の回答を見るとよい。

もちろん, より高度な数論の知識もあった方がよい。特に, 安定ホモトピー論を勉強するためには。

• 数論

References

[ACa21]

Norbert A’Campo. “A natural construction for the real numbers”. In: Elem. Math. 76.3 (2021), pp. 89–105. arXiv: math/0301015. url: https://doi.org/10.4171/em/455.

[Arn00]

V. I. Arnold. “Polymathematics: is mathematics a single science or a set of arts?” In: Mathematics: frontiers and perspectives. Providence, RI: Amer. Math. Soc., 2000, pp. 403–416.

[Arn95]

V. I. Arnol\('\)d. “Remarks on eigenvalues and eigenvectors of Hermitian matrices, Berry phase, adiabatic connections and quantum Hall effect”. In: Selecta Math. (N.S.) 1.1 (1995), pp. 1–19. url: http://dx.doi.org/10.1007/BF01614072.

[Art]

R. D. Arthan. The Eudoxus Real Numbers. arXiv: math/0405454.

[BB03]

Prakash Belkale and Patrick Brosnan. “Periods and Igusa local zeta functions”. In: Int. Math. Res. Not. 49 (2003), pp. 2655–2670. arXiv: math/0302090. url: http://dx.doi.org/10.1155/S107379280313142X.

[BI09]

Claudio Bonanno and Stefano Isola. “Orderings of the rationals and dynamical systems”. In: Colloq. Math. 116.2 (2009), pp. 165–189. arXiv: 0805.2178. url: https://doi.org/10.4064/cm116-2-3.

[CC73a]

J. H. Conway and H. S. M. Coxeter. “Triangulated polygons and frieze patterns”. In: Math. Gaz. 57.400 (1973), pp. 87–94.

[CC73b]

J. H. Conway and H. S. M. Coxeter. “Triangulated polygons and frieze patterns”. In: Math. Gaz. 57.401 (1973), pp. 175–183.

[CLL22]

Jorge Calero-Sanz, Bartolo Luque, and Lucas Lacasa. “Haros graphs: an exotic representation of real numbers”. In: J. Complex Netw. 10.5 (2022), Paper No. cnac043, 50. arXiv: 2207.03425. url: https://doi.org/10.1093/comnet/cnac043.

[Cox71]

H. S. M. Coxeter. “Frieze patterns”. In: Acta Arith. 18 (1971), pp. 297–310.

[DKS]

Tobias Dyckerhoff, Mikhail Kapranov, and Vadim Schechtman. N-spherical functors and categorification of Euler’s continuants. arXiv: 2306.13350.

[DT98]

S. K. Donaldson and R. P. Thomas. “Gauge theory in higher dimensions”. In: The geometric universe (Oxford, 1996). Oxford: Oxford Univ. Press, 1998, pp. 31–47.

[Hat]

Allen Hatcher. Topology of Numbers. url: http://pi.math.cornell.edu/~hatcher/TN/TNpage.html.

[Her18]

T.J.D. Hermans. An elementary construction of the real numbers, the \(p\)-adic numbers and the rational adele ring. 2018. url: https://www.universiteitleiden.nl/binaries/content/assets/science/mi/scripties/bachelor/2017-2018/hermans-bscthesis.pdf.

[KZ01]

Maxim Kontsevich and Don Zagier. “Periods”. In: Mathematics unlimited—2001 and beyond. Berlin: Springer, 2001, pp. 771–808.

[Lei11]

Tom Leinster. “A general theory of self-similarity”. In: Adv. Math. 226.4 (2011), pp. 2935–3017. arXiv: 1010.4474. url: https://doi.org/10.1016/j.aim.2010.10.009.

[MO22]

Sophie Morier-Genoud and Valentin Ovsienko. “On \(q\)-deformed real numbers”. In: Exp. Math. 31.2 (2022), pp. 652–660. arXiv: 1908.04365. url: https://doi.org/10.1080/10586458.2019.1671922.

[Mor15]

Sophie Morier-Genoud. “Coxeter’s frieze patterns at the crossroads of algebra, geometry and combinatorics”. In: Bull. Lond. Math. Soc. 47.6 (2015), pp. 895–938. arXiv: 1503.05049. url: https://doi.org/10.1112/blms/bdv070.

[Pre23]

Matthew Pressland. “From frieze patterns to cluster categories”. In: Modern trends in algebra and representation theory. Vol. 486. London Math. Soc. Lecture Note Ser. Cambridge Univ. Press, Cambridge, 2023, pp. 109–145. arXiv: 2010.14302.

[Str03]

Ross Street. Update on the efficient reals. 2003. url: http://web.science.mq.edu.au/~street/reals.pdf.

[Wei15]

Ittay Weiss. “Survey article: The real numbers—a survey of constructions”. In: Rocky Mountain J. Math. 45.3 (2015), pp. 737–762. arXiv: 1506.03467. url: https://doi.org/10.1216/RMJ-2015-45-3-737.