The Same Integer Comes Back from Three Different Counts ── Integrate the Curvature, Count the Zeros of a Vector Field, Count the Passes of a Function ── A Height Function on a Torus Needs Four Critical Points and Cannot Have Three ── [Paper 316]

Paper 67 read m=4pi=2pichi(S^2) as Poincare--Hopf. This paper asks how many roads lead to chi──the answer is three, and none of them follows from the other two. No new mathematical theorem and no new law is claimed.

Scope of this paper (scope note): No new mathematical theorem and no new law is claimed──the Gauss--Bonnet theorem, the Poincare--Hopf theorem, Morse theory with its inequalities, and the hairy ball theorem are all standard. We do not build topology──all we use is one numerical integral and one count of critical points. We prove none of the three theorems──no proof is entered. We check numerically that they agree and set out what each of them requires. We do not treat higher dimensions──closed surfaces only. The Gauss--Bonnet--Chern generalisation is not entered. We do not construct homology──Betti numbers are quoted, and the proof of the Morse inequalities is not entered. We do not treat singularities──degenerate critical points and surfaces with boundary are not treated. Relation to earlier papers: Paper 67 read m=4pi=2pichi(S^2) as Poincare--Hopf──this paper places the third road (Morse) beside it and lines all three up. Paper 128 showed 4pi=2pichi holds in three dimensions and nowhere else──this paper holds the dimension still and moves the counting instead. Paper 224 wrote “flat wherever you touch it, and four pi in total”──Section 4 here puts that cancellation on a torus into a number. Paper 91 showed that curvature is intrinsic──the other side of Gauss--Bonnet needing a metric. Paper 300 showed that whether two things share a root is decidable──this paper applies those criteria to the three roads. Paper 236 showed one and the same “=0” returning five different collections──this paper runs the other way: three different counts returning one integer. What is added is tabulating the three counts across four surfaces, integrating the curvature of a torus numerically and confirming zero, moving the radius of a sphere and showing the integral does not move, and setting out what each road requires and adjudicating them as distinct roots.

First, three counts return the same integer. The integral of curvature, the zeros of a vector field, the critical points of a function (Section 2).

Second, this is the core of the paper. A height function on a torus needs four critical points and cannot have three (Section 3).

Third, the curvature integral cannot see size. Radius 1 or 6371 km, the integral is 12.566371 (Section 4).

Fourth, on a torus the positive and negative cancel exactly. Numerically below 10^-13, i. e. zero (Section 4).

Fifth, each of the three needs something different. A metric, a vector field, a function (Section 5).

Sixth, the separator is what extra object is brought in. chi itself needs none of them (Section 6).

Paper 67 read m=4pi=2pichi(S^2) as Poincare--Hopf. Three roads lead to chi──integrate the curvature, count the zeros of a vector field, count the critical points of a function. Across four surfaces all three columns agree, and one of them is an integral of a continuous quantity that nonetheless returns an integer. And a height function on a torus needs four critical points and cannot have three──the Morse inequalities bound the count below by the sum of the Betti numbers, 2+2g, and setting it differently or tilting it changes nothing. This is a property of the surface, not of the function. The curvature integral cannot see size──radius 1 or 6371 km, it is 12.566371, because R cancels. On a torus the positive and negative cancel exactly, the numerical integral falling below 10^-13──fatten the doughnut or thin it and it stays zero, and a quantity that does not move when the shape does is a topological one. One thing separates them──what extra object the counting requires. Gauss--Bonnet needs a metric, Poincare--Hopf a vector field, Morse a function──none of which the surface itself carries, and yet the answer does not depend on how they are laid on. Paper 300’s criteria return three noes and one yes: distinct roots, with only the value shared──the reason for the agreement lies underneath, not alongside. One last thing──chi being zero is not the same as nothing being there. A torus has four critical points and its curvature vanishes nowhere; only the total is zero, and cancellation must not be read as absence.

On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated.

-----

論文67 は m=4pi=2pichi(S^2) をポアンカレ=ホップとして読んだ。本稿が問うのは、chi を数える道が何本あるかである──答は、三本あり、どれも他の二本から出ないである。新しい数学定理も新しい法則も主張しない。

本稿の射程(射程注記):新しい数学定理も新しい法則も主張しない──ガウス=ボンネの定理、ポアンカレ=ホップの定理、モース理論とモースの不等式、毛玉の定理は、いずれも標準的である。位相幾何学を作らない──使うのは一つの数値積分と、一つの臨界点の勘定だけである。三つの定理を証明しない──どれの証明にも立ち入らない。同じ値を返すことを数で確かめ、要るものが違うことを並べる。高次元を扱わない──閉曲面(二次元)だけを見る。ガウス=ボンネ=シャーンの一般化には立ち入らない。ホモロジーを構成しない──ベッチ数は引くだけであり、モースの不等式の証明にも立ち入らない。特異点を扱わない──退化した臨界点や、境界のある曲面は扱わない。既刊との関係:論文67 は m=4pi=2pichi(S^2) をポアンカレ=ホップとして読んだ──本稿はその隣にある三本目(モース)を置き、三本を並べる。論文128 は 4pi=2pichi が三次元だけで成り立つと示した──本稿は次元を動かさず、数え方だけを動かす。論文224 は「どこを触っても平らで、それでも合計は 4pi」と書いた──本稿の第4節はその打ち消しをトーラスで数値に出す。論文91 は曲率が内在的だと示した──ガウス=ボンネが計量を要ることの裏側である。論文300 は同根か別根かは判定できると示した──本稿はその基準を三本に当てる。論文236 は同じ「=0」が五つの別の集まりを返すと示した──本稿は同じ整数を三つの別の勘定が返すという、向きの逆の話である。加えたのは三つの数え方を四つの曲面で表にしたこと、トーラスの曲率積分を自前で数値積分して零を確かめたこと、球の半径を動かして積分が動かないことを示したこと、三つが要求する対象を並べて別根と判定したことである。

第一に、三つの数え方が同じ整数を返す。曲率の積分・ベクトル場の零点・関数の臨界点(第2節)。

第二に、これが本稿の芯である。トーラスの高さ関数は臨界点を四つ要し、三つにはできない(第3節)。

第三に、曲率の積分は大きさを見ない。球の半径を 1 にしても 6371 km にしても、積分は 12.566371 である(第4節)。

第四に、トーラスでは正と負が厳密に打ち消す。数値積分で -1x10^-13 未満、すなわち零(第4節)。

第五に、要るものが三つとも違う。計量・ベクトル場・関数(第5節)。

第六に、分離子は「何を余分に持ち込むか」である。 chi 自身はそのどれも要らない(第6節)。

論文67 は m=4pi=2pichi(S^2) をポアンカレ=ホップとして読んだ。 chi を数える道は三本ある──曲率を積む・ベクトル場の零点を数える・関数の臨界点を数える。四つの曲面で三列とも一致し、片方は連続量の積分なのに整数を返す。そしてトーラスの高さ関数は臨界点を四つ要し、三つにはできない──モースの不等式が下限をベッチ数の総和 2+2g で押さえるからで、置き方を変えても傾けても変わらない。これは関数の性質ではなく曲面の性質である。曲率の積分は大きさを見ない──半径 1 でも 6371 km でも 12.566371 であり、R が約分されて消える。トーラスでは正と負が厳密に打ち消し、数値積分は 10^-13 未満に落ちた──R を太らせても細らせても零のままで、形を動かして動かないから位相の量なのである。分けるものは一つ──数えるために何を余分に持ち込むか。ガウス=ボンネは計量を、ポアンカレ=ホップはベクトル場を、モースは関数を要る──三つとも曲面そのものには無いものであり、それなのに答は乗せ方に依らない。論文300 の基準では三つ「いいえ」一つ「はい」で、機構は別根、値だけが同じ──一致の理由は下にあって、横にはない。最後に一つ──chi が零であることと、何も無いことは別である。トーラスの臨界点は四つ在り、曲率も至るところ零ではない。零なのは合計だけであり、打ち消しを不在と読み違えてはいけない。

作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。