# References — Chapter ᚊ(Q): The gallery of shape *Teclam Áirme, the Mathematical Compendium — a copy for AI readers of https://www.teclamairme.com/#ref-ch-12, as of 2026-09-30. Links are relative to https://www.teclamairme.com/fortheaireaders/.* [Guide for AI readers](index.md) · [The chapter](ch12.md) *Each entry: one plain sentence saying exactly what it is cited for, its status, then every source with a note saying what that source actually carries. "Own computation" / "Own reading" entries are the author's own work, not outside sources.* ### 12.1 {#r-12.1} Euler characteristic is V − E + F for a polyhedral decomposition, equals 2 − 2g for a closed orientable surface of genus g, and gives 2 for the sphere, 0 for the torus and Klein bottle, 1 for the projective plane, and −2 for the double torus. Euler announced the polyhedron formula in a letter to Christian Goldbach in 1750 and published the details in two papers. Those papers, E230 and E231, were written in 1750 and 1751 and printed in Novi Commentarii Academiae Scientiarum Petropolitanae vol. 4, the volume for 1752–53, which itself appeared only in 1758; the literature cites both 1752 and 1758. Under D1 the page prints ~1752, the earliest, and the card explains the volume year. ℝP² is the sphere with antipodal points identified, or a Möbius band with a disk glued on, and cannot be embedded in space without crossing itself; for nonorientable surfaces χ = 2 − g. Cauchy’s proof dates from 1811. The cube has V, E, F = 8, 12, 6 and the icosahedron 12, 30, 20, and V − E + F = 2 leaves exactly five regular solids. Closed surfaces of genus greater than 1 are hyperbolic. *Status: confirmed* - [Wolfram MathWorld, Euler Characteristic](https://mathworld.wolfram.com/EulerCharacteristic.html) — gives χ = V − E + F, χ = 2 − 2g, and the table values for sphere, torus, Klein bottle, projective plane and double torus; its table of Euler characteristics gives the Klein bottle and the Möbius strip both 0. - [MacTutor, Topology history](https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/) — records that in 1750 Euler wrote to Christian Goldbach giving the polyhedron formula v − e + f = 2, and that he published the details in 1752 in two papers. - [Euler Archive, E230 Elementa doctrinae solidorum](https://scholarlycommons.pacific.edu/euler-works/230/) — records E230 in Novi Commentarii Academiae Scientarum Petropolitanae vol. 4, pp. 109–140, dated 1758, with its companion E231 Demonstratio nonnullarum insignium proprietatum at pp. 140–160 of the same volume (the Euler Archive’s E231 record; pp. 94–108 is the Opera Omnia reprint); this page gives E230 as written in 1750 and published in 1758; the 1752–53 volume year and E231’s 1751 come from the E231 record and other sources, not this page. - [Real projective plane, Wikipedia](https://en.wikipedia.org/wiki/Real_projective_plane) — constructed “by taking the (single) edge of a Möbius strip and gluing it to itself in the correct direction, or by gluing the edge to a disk”; “It cannot be embedded in three-dimensional Euclidean space without intersecting itself.” - [Genus, Wolfram MathWorld](https://mathworld.wolfram.com/Genus.html) — “For a nonorientable surface such as a real projective plane (genus 1) or Klein bottle (genus 2), the relationship is χ=2-g” - [Euler characteristic, Wikipedia](https://en.wikipedia.org/wiki/Euler_characteristic) — “The n-dimensional real projective space is the quotient of the n-sphere by the antipodal map. It follows that its Euler characteristic is exactly half that of the corresponding sphere”; “Any contractible space (that is, one homotopy equivalent to a point) has trivial homology, meaning that the 0th Betti number is 1 and the others 0. Therefore, its Euler characteristic is 1.”; gives Cauchy’s proof as 1811: “One was given by Cauchy in 1811.” - [Platonic solid, Wikipedia](https://en.wikipedia.org/wiki/Platonic_solid) — its table gives the cube 8 vertices, 12 edges, 6 faces and the regular icosahedron 12, 30, 20; the topological proof: “The key is Euler’s observation that V − E + F = 2,” whence “1/q + 1/p > 1/2,” and “there are only five possibilities for {p, q}.” - [Uniformization theorem, Wikipedia](https://en.wikipedia.org/wiki/Uniformization_theorem) — compact Riemann surfaces “with universal cover the unit disk are precisely the hyperbolic surfaces of genus greater than 1” - [E231, Demonstratio nonnullarum insignium proprietatum…, Euler Archive](https://scholarlycommons.pacific.edu/euler-works/231/) — “Written Date 1751,” “Published Date 1758,” “Novi Commentarii academiae scientiarum Petropolitanae, Volume 4, pp. 140-160.” ### 12.2 {#r-12.2} Poincaré’s 1895 Analysis situs made topology a systematic study of invariants such as homology, Betti numbers and the fundamental group. Enrico Betti introduced the counts in a paper of 1871 and Poincaré named them after him; Emmy Noether’s observation of 1925 recast them as the ranks of abelian homology groups. The word topology is older than any of this: Johann Benedict Listing used it first. A topologist cannot tell a coffee mug from a doughnut, and homology, hence the Euler characteristic, is a homotopy invariant. Sources differ on the fundamental group’s year: Wikipedia and MacTutor’s history of topology give 1895 (Analysis situs), MacTutor’s Poincaré biography says 1894; corrections welcome. The Poincaré conjecture: a closed, connected 3-manifold with trivial fundamental group is the 3-sphere. *Status: confirmed* - [MacTutor, A history of Topology](https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/) — says Poincaré put connectivity on a rigorous basis in Analysis situs (1895), introduced homology and gave a more precise definition of Betti numbers; and, earlier in the same article, that Johann Benedict Listing (1802–1882) was the first to use the word topology and that Riemann studied the concept in 1851 and again in 1857. - [MacTutor, Henri Poincaré biography](https://mathshistory.st-andrews.ac.uk/Biographies/Poincare/) — identifies Analysis situs, published in 1895, as an early systematic treatment of topology and records the fundamental group contribution, which it dates 1894: “Poincaré introduced the fundamental group (or first homotopy group) in his paper of 1894 to distinguish different categories of 2-dimensional surfaces.” - [MacTutor, Enrico Betti biography](https://mathshistory.st-andrews.ac.uk/Biographies/Betti/) — says Betti published an important paper on topology in 1871, Sopra gli spazi di un numero qualunque di dimensioni, which contained what we now call the Betti numbers, and that the Betti numbers were so named by Henri Poincaré. - [nLab, Emmy Noether](https://ncatlab.org/nlab/show/Emmy+Noether) — credits Noether with the categorification of the Betti numbers and torsion coefficients of a space to homology groups, and prints the abstract of her 1925 DMV talk where she pointed it out. - [Topology, Wikipedia](https://en.wikipedia.org/wiki/Topology) — “A famous example, known as the ‘Topologist’s Breakfast’, is that a topologist cannot distinguish a coffee mug from a doughnut.” - [Euler characteristic, Wikipedia](https://en.wikipedia.org/wiki/Euler_characteristic) — “Homology is a topological invariant, and moreover a homotopy invariant: Two topological spaces that are homotopy equivalent have isomorphic homology groups. It follows that the Euler characteristic is also a homotopy invariant.” - [Fundamental group, Wikipedia](https://en.wikipedia.org/wiki/Fundamental_group) — gives 1895: “Henri Poincaré defined the fundamental group in 1895 in his paper ‘Analysis situs’”; “the 2-sphere S² …, and also all the higher-dimensional spheres, are simply-connected”; “the fundamental group of the circle is isomorphic to (ℤ,+), the additive group of integers”; “The abelianization of the fundamental group can be identified with the first homology group of the space.” - [Poincaré conjecture, Wikipedia](https://en.wikipedia.org/wiki/Poincar%C3%A9_conjecture) — “Every three-dimensional topological manifold which is closed, connected, and has trivial fundamental group is homeomorphic to the three-dimensional sphere.” ### 12.3 {#r-12.3} The Betti numbers are ranks of homology groups; for a sphere b₀ = 1, b₁ = 0, b₂ = 1, for a torus b₁ = 2, and for a genus-two orientable surface b₁ = 4. The sphere is simply connected, the circle’s fundamental group is ℤ, and the abelianization of the fundamental group is the first homology group. *Status: confirmed* - [Wolfram MathWorld, Betti Number](https://mathworld.wolfram.com/BettiNumber.html) — defines the nth Betti number as the rank of the nth homology group and lists sphere b₁ = 0 and torus b₁ = 2. - [Wolfram MathWorld, Euler Characteristic](https://mathworld.wolfram.com/EulerCharacteristic.html) — gives, beside what it calls the Poincaré formula χ = V − E + F, the Betti-number form χ = b₀ − b₁ + b₂; applying it to a closed orientable genus-g surface gives b₀ = b₂ = 1 and b₁ = 2g. - [Fundamental group, Wikipedia](https://en.wikipedia.org/wiki/Fundamental_group) — gives 1895: “Henri Poincaré defined the fundamental group in 1895 in his paper ‘Analysis situs’”; “the 2-sphere S² …, and also all the higher-dimensional spheres, are simply-connected”; “the fundamental group of the circle is isomorphic to (ℤ,+), the additive group of integers”; “The abelianization of the fundamental group can be identified with the first homology group of the space.” - [Torus, Wikipedia](https://en.wikipedia.org/wiki/Torus) — “The kth homology group of an n-torus is a free abelian group of rank n choose k”; for the torus H₁ ≅ ℤ ⊕ ℤ. ### 12.4 {#r-12.4} The boundary operator satisfies ∂ composed with ∂ = 0, the chain-complex identity underlying homology. On forms, the exterior derivative d behaves like the dual of ∂. *Status: confirmed* - [Encyclopedia of Mathematics, Homology theory](https://encyclopediaofmath.org/wiki/Homology_theory) — describes chain complexes with successive boundary maps whose composition is zero and homology as cycles modulo boundaries. - [Generalized Stokes theorem, Wikipedia](https://en.wikipedia.org/wiki/Generalized_Stokes_theorem) — “Stokes’ theorem says that this is a chain map from de Rham cohomology to singular cohomology with real coefficients; the exterior derivative, d, behaves like the dual of ∂ on forms.” ### 12.5 {#r-12.5} The genus of a closed orientable surface counts handles and determines χ = 2 − 2g; the torus has genus one. The classification of closed surfaces was stated in early form by Möbius, in 1861 by one specialist account and 1863 by others, and by Jordan in 1866; more definite versions came from von Dyck in 1888 and from Dehn and Heegaard in 1907, and the first rigorous proof is Brahana’s, of 1921. Sources differ on Möbius’s year: Gallier and Xu give 1861, Sunada gives 1863; corrections welcome. Every connected closed surface is a sphere, a connected sum of tori, or a connected sum of projective planes. *Status: confirmed* - [Wolfram MathWorld, Genus](https://mathworld.wolfram.com/Genus.html) — identifies the torus as genus 1 and states χ = 2 − 2g for orientable surfaces. - [Jean Gallier and Dianna Xu, A Guide to the Classification Theorem for Compact Surfaces, University of Pennsylvania, 19 September 2012](https://www.cis.upenn.edu/~jean/surfclass-n.pdf) — read as extracted PDF text. Its preface gives the history this chapter’s cards compress: “it took about sixty years until a rigorous proof was finally given by Brahana in 1921. Early versions of the classification theorem were stated by Möbius in 1861 and by Jordan in 1866. … More definite versions and ‘proofs’ were given later by von Dyck in 1888 and by Dehn and Heegaard in 1907.” Note the Möbius year: this source says 1861, where the cards and much of the general literature say 1863, which is the year of the printed Theorie der elementaren Verwandtschaft. Both are in circulation and the cards now name both. - [Toshikazu Sunada, From Euclid to Riemann and Beyond, arXiv:1904.01845](https://arxiv.org/abs/1904.01845) — gives 1863 (read from the PDF): “The case of two-sided surfaces was independently treated by Möbius (1863) and M. E. C. Jordan (1866). One-sided closed surfaces were classified by von Dyck (1888).” - [Surface (topology), Wikipedia](https://en.wikipedia.org/wiki/Surface_(topology)) — “The classification theorem of closed surfaces states that any connected closed surface is homeomorphic to some member of one of these three families”: the sphere, the connected sum of g tori, and the connected sum of k real projective planes. ### 12.6 {#r-12.6} The unknot has crossing number 0 and every nontrivial knot has crossing number at least 3; the trefoil has crossing number 3. Unknot recognition is decidable (Haken); whether it has a polynomial-time algorithm is open. Kelvin’s knotted-atom theory failed, and Tait’s tables founded knot theory. *Status: confirmed* - [Wolfram MathWorld, Trefoil Knot](https://mathworld.wolfram.com/TrefoilKnot.html) — identifies the trefoil as a (3, 2)-torus knot and documents its standard knot invariants. - [Wikipedia, Crossing number (knot theory)](https://en.wikipedia.org/wiki/Crossing_number_(knot_theory)) — defines crossing number, gives the unknot value 0, and states that the smallest nontrivial knot has crossing number 3. - [Tricolorability, Wikipedia](https://en.wikipedia.org/wiki/Tricolorability) — “since the unknot is not tricolorable, any tricolorable knot is necessarily nontrivial”; “The trefoil knot and trivial 2-link are tricolorable, but the unknot, Whitehead link, and figure-eight knot are not.” - [Unknotting problem, Wikipedia](https://en.wikipedia.org/wiki/Unknotting_problem) — “Haken originally used this algorithm to show that unknotting is decidable”; “A major unresolved challenge is to determine if the problem admits a polynomial time algorithm”; “In 2021, Lackenby announced an unknot recognition algorithm which he claimed ran in quasi-polynomial time. As of October 2025, the result has not been published in the peer-reviewed literature.” - [Vortex theory of the atom, Wikipedia](https://en.wikipedia.org/wiki/Vortex_theory_of_the_atom) — Kelvin proposed that “each type of knot might represent an atom of a different chemical element”; the theory “could not explain inertia or gravitation”; “Tait’s work especially founded the branch of topology called knot theory.” ### 12.7 {#r-12.7} The Jones polynomial is normalized so that the unknot has polynomial 1, and it is not known whether a nontrivial knot can also have Jones polynomial 1. *Status: confirmed* - [Wolfram MathWorld, Jones Polynomial](https://mathworld.wolfram.com/JonesPolynomial.html) — states V_unknot(t) = 1 and explicitly says it is not known if a nontrivial knot with Jones polynomial 1 exists. ### 12.8 {#r-12.8} Vaughan Jones discovered the Jones polynomial in 1984 while working on von Neumann algebras, and the 1990 Fields Medal recognized that discovery. *Status: confirmed* - [MacTutor, Vaughan Jones biography](https://mathshistory.st-andrews.ac.uk/Biographies/Jones_Vaughan/) — says that in 1984 Jones discovered a relationship between von Neumann algebras and geometric topology and found a new polynomial invariant for knots and links in 3-space, and that the 1990 Fields Medal recognized that discovery. ### 12.9 {#r-12.9} A cylinder has Gaussian curvature zero everywhere and Gaussian curvature is intrinsic, so the cylinder can be unrolled without stretching. Gauss proved the intrinsic character of the curvature in 1827. His 1827 paper was the Disquisitiones generales circa superficies curvas. *Status: confirmed* - [Wolfram MathWorld, Cylinder](https://mathworld.wolfram.com/Cylinder.html) — computes K = 0 for a cylinder and gives the principal curvatures 1/a and 0. - [Wolfram MathWorld, Gaussian Curvature](https://mathworld.wolfram.com/GaussianCurvature.html) — defines Gaussian curvature intrinsically from the first fundamental form and as the determinant of the shape operator. - [Wikipedia, Theorema Egregium](https://en.wikipedia.org/wiki/Theorema_Egregium) — says Gauss proved the theorem in 1827, that the Gaussian curvature of a surface does not change if the surface is bent without stretching and is therefore an intrinsic invariant, and that in consequence no flat map of the Earth can avoid distorting distances. - [Differential geometry of surfaces, Wikipedia](https://en.wikipedia.org/wiki/Differential_geometry_of_surfaces) — “The defining contribution to the theory of surfaces was made by Gauss in two remarkable papers written in 1825 and 1827.”; “the Gaussian curvature, first studied in depth by Carl Friedrich Gauss”; its bibliography gives the 1827 paper as “Disquisitiones generales circa superficies curvas,” “Commentationes Societatis Regiae Scientiarum Gottingesis Recentiores Vol. VI (1827), pp. 99–146.” ### 12.10 {#r-12.10} For a compact boundaryless surface, Gauss–Bonnet states ∫K dA = 2πχ; on the unit sphere K = 1, area = 4π, and the integral is 4π. *Status: confirmed* - [Wolfram MathWorld, Gauss-Bonnet Formula](https://mathworld.wolfram.com/Gauss-BonnetFormula.html) — states the closed-surface formula ∫∫K dA = 2πχ and explains the topology/geometry connection. - [Wolfram MathWorld, Euler Characteristic](https://mathworld.wolfram.com/EulerCharacteristic.html) — gives the curvature integral relation and χ(S²) = 2; the unit-sphere computation is then 2π·2 = 4π. ### 12.11 {#r-12.11} The 3–4–5 identity is a Pythagorean triple, and Babylonian mathematical sources used the Pythagorean relation more than a millennium before Pythagoras. *Status: confirmed* - [Wolfram MathWorld, Pythagorean Theorem](https://mathworld.wolfram.com/PythagoreanTheorem.html) — states a² + b² = c² and documents Babylonian calculations using the relation more than a millennium before Pythagoras, including a 3:4:5 ratio in the Berlin Papyrus. ### 12.12 {#r-12.12} Euclid, who lived about 325 to 265 BC, gives the right-triangle proposition at Book I.47 of the Elements and the angle sum of a triangle at Book I.32, whose proof depends on the parallel postulate, and ends with Book XIII’s proof that there are exactly five regular convex solids, a book largely based on an earlier treatise by Theaetetus. *Status: confirmed* - [MacTutor, Euclid biography and Elements history](https://mathshistory.st-andrews.ac.uk/Biographies/Euclid/) — titles the biography “Euclid (325 BC - 265 BC)” and gives “Born about 325 BC (probably)” and “Died about 265 BC,” both at Alexandria; re-read raw on 17 September 2026. It also says the Elements ends with book thirteen, which discusses the properties of the five regular polyhedra and gives a proof that there are precisely five, and that this book appears to be based largely on an earlier treatise by Theaetetus. - [D. E. Joyce, Euclid’s Elements, Book I, Proposition 47](https://mathcs.clarku.edu/~djoyce/elements/bookI/propI47.html) — in right-angled triangles the square on the side opposite the right angle equals the sum of the squares on the sides containing the right angle. - [D. E. Joyce, Euclid’s Elements, Book I, Proposition 32](https://mathcs.clarku.edu/~djoyce/elements/bookI/propI32.html) — in any triangle the sum of the three interior angles equals two right angles; the proof runs through I.31 and I.29 and so rests on the parallel postulate. - [Wolfram MathWorld, Platonic Solid](https://mathworld.wolfram.com/PlatonicSolid.html) — states that exactly five convex Platonic solids exist and attributes the classification to the last proposition of Euclid’s Elements. - [Euclid’s Elements, Book I, Proposition 29, D. E. Joyce, Clark University](https://mathcs.clarku.edu/~djoyce/elements/bookI/propI29.html) — “This is the first proposition which depends on the parallel postulate.” Editorial note: Attached to #pythag345’s Euclid sentence on 17 September 2026. The counts ledger had recorded that attachment as done since the V40 pass; it had not happened, and the card stood on 12.11, which is entirely about the Babylonian sources. That gap is why ledgercheck.py exists. ### 12.13 {#r-12.13} In Euclidean geometry a triangle has angle sum π, while spherical triangles have positive spherical excess equal to area on the unit sphere and hyperbolic triangles have angle sum less than π. Gauss–Bonnet contains these: a geodesic triangle’s angles sum to π plus the curvature it encloses. *Status: confirmed* - [Wolfram MathWorld, Spherical Triangle](https://mathworld.wolfram.com/SphericalTriangle.html) — gives area = R²(A+B+C−π), so on the unit sphere the excess equals area and the sum exceeds π. - [Wolfram MathWorld, Hyperbolic Geometry](https://mathworld.wolfram.com/HyperbolicGeometry.html) — states that the angle sum of a hyperbolic triangle is less than 180 degrees. - [Heinz Klaus Strick, Albert Girard — a biography poster hosted by MacTutor](https://mathshistory.st-andrews.ac.uk/Strick/girard.pdf) — supports ~1626 — it dates the spherical-triangle area formula to Girard’s 1626 corrected edition of Stevin’s trigonometry, and says only that “in his main work published in 1629 … GIRARD generalised the above-mentioned area formula for any spherical polygons.” It is a biography poster, not a MacTutor historical note. - [Gauss–Bonnet theorem, Wikipedia](https://en.wikipedia.org/wiki/Gauss%E2%80%93Bonnet_theorem) — “The sum of interior angles of a geodesic triangle is equal to π plus the total curvature enclosed by the triangle”; “A number of earlier results in spherical geometry and hyperbolic geometry, discovered over the preceding centuries, were subsumed as special cases of Gauss–Bonnet.” ### 12.14 {#r-12.14} The four terms of the topology numerator are each 0, the Euler-characteristic brace is 6, the Betti brace is 8 and the genus factor is 1; the three remaining numerators are 0 and the three remaining denominators are 4, 4π and π + 5. Every denominator is positive, so the chapter factor is 0. *Status: confirmed* - **Own computation from the chapter’s displayed formula** (the author's own work) — Recomputed term by term: 0 + 0 + 0 + 0 = 0; 2 + 1 + |−2| + 1 = 6; (1 + 1) + 2 + 4 = 8; g(T²) = 1; the knot numerator 0 over 3 + 1 = 4; the curvature numerator 0 over 4π; the Euclidean numerator 0 over π + 5. Each of the four concepts is a fraction with a zero numerator over a positive denominator. ### 12.15 {#r-12.15} ∂(∂M) is the one term in this chapter whose value is not an ordinary number: it is the empty chain, an element of the group of chains rather than an integer. Under this book’s declared convention every factor is computed inside its own framework and hands back an ordinary finite real, so the empty chain leaves the chapter as the integer 0. *Status: confirmed* - [Coming home, the first of the house rules](appendices.md) — in this book’s disclaimer — Declares that every factor is computed inside its own framework and hands back an ordinary finite real, which is 0, before it joins the product. - **Own type audit of the chapter formula** (the author's own work) — Every other term of the factor is an ordinary number: the Euler characteristics, the Betti numbers, the genus, the two crossing numbers, the Jones polynomial of the unknot, the Gaussian curvature of the cylinder and 3² + 4² − 5² are integers, and ∫K dA is the real number 4π. Only ∂(∂M) is a chain. ### 12.16 {#r-12.16} Gauss developed a version of the Gauss–Bonnet theorem but never published it; Pierre Ossian Bonnet published a special case in 1848; and the closed-surface form, that total Gaussian curvature is 2π times the Euler characteristic, is credited to Walther von Dyck in 1888. *Status: confirmed* - [Wikipedia, Gauss–Bonnet theorem](https://en.wikipedia.org/wiki/Gauss%E2%80%93Bonnet_theorem) — the theorem is named after Carl Friedrich Gauss, who developed a version but never published it, and Pierre Ossian Bonnet, who published a special case in 1848. - [EBSCO Research Starters, Surfaces (mathematics)](https://www.ebsco.com/research-starters/history/surfaces-mathematics) — versions of the theorem were explored by Gauss in the 1820s and by Bonnet and Jacques Binet in the 1840s, and the form that is standard in undergraduate differential geometry, for an orientable compact surface, is attributed to Walther von Dyck in 1888. - [MacTutor, Walther von Dyck biography](https://mathshistory.st-andrews.ac.uk/Biographies/Von_Dyck/) — records that von Dyck made significant contributions to the Gauss–Bonnet theorem. Editorial note: Bonnet’s 1848 result is the formula for a region bounded by a curve; the statement for a closed surface, which has no bounding curve, is the later one. The MathWorld page cited at 12.10 states the closed-surface formula and gives no history at all. ### 12.17 {#r-12.17} A first Betti number of 0 does not make a space simply connected: homology does not determine the fundamental group. Poincaré claimed in the second complement to Analysis Situs (1900) that a manifold with the Betti numbers of a hypersphere is a hypersphere, then in the fifth complement (1904) constructed a closed 3-manifold with the homology of the 3-sphere and a fundamental group of 120 elements, and restated the question in terms of the fundamental group. *Status: confirmed* - [Wikipedia, Poincaré conjecture](https://en.wikipedia.org/wiki/Poincar%C3%A9_conjecture) — quotes the 1900 claim that a polyhedron with all its Betti numbers equal to 1 and all its torsion tables orientable is homeomorphic to a hypersphere, records the 1904 counterexample with a fundamental group of 120 elements, and gives the fifth complement’s reformulation in terms of the fundamental group. - [Wikipedia, Homology sphere](https://en.wikipedia.org/wiki/Homology_sphere) — says that since the fundamental group of the 3-sphere is trivial, the Poincaré homology sphere shows there exist 3-manifolds with the same homology groups as the 3-sphere that are not homeomorphic to it. ### 12.18 {#r-12.18} The Euler characteristic is a topological and homotopy invariant, and in general is the alternating sum of the Betti numbers. *Status: confirmed* - [Euler characteristic, Wikipedia](https://en.wikipedia.org/wiki/Euler_characteristic) — (§ Polyhedra, § Topological definition, § Relations to other invariants): gives χ = V − E + F; defines the general Euler characteristic as the alternating sum χ = b₀ − b₁ + b₂ − b₃ + ⋯ of the ranks of the singular homology groups; states that it is a topological invariant because “homology is a topological invariant, and moreover a homotopy invariant”; and gives χ = 2 − 2g for a closed orientable surface of genus g. ### 12.19 {#r-12.19} Henri Poincaré wrote that mathematics is the art of giving the same name to different things, in the chapter on the future of mathematics in Science et méthode (1908). *Status: confirmed* - [Henri Poincaré, Science et méthode (édition définitive, Flammarion, 1908), Livre I, chapitre II, L’avenir des mathématiques (Wikisource)](https://fr.wikisource.org/wiki/Science_et_m%C3%A9thode/Livre_premier,_%C2%A7_II) — carries the sentence “Je ne sais si je n’ai déjà dit quelque part que la Mathématique est l’art de donner le même nom à des choses différentes,” in the passage arguing that a well-chosen name lets a proof made for one object apply unchanged to many others. - [MacTutor, Quotations by Henri Poincaré](https://mathshistory.st-andrews.ac.uk/Biographies/Poincare/quotations/) — gives the standard English rendering, “Mathematics is the art of giving the same name to different things,” without naming the work it comes from. Editorial note: Added in the V14 prose pass. The chapter’s sentence about Poincaré’s remark carried no footnote and no card. The English wording the chapter uses is the usual rendering of the French sentence; the French original is the primary source and is cited first. ### 12.20 {#r-12.20} Cohomology assigns a sequence of abelian groups to a space from cochains — functions on chains — rather than from chains themselves, and unlike homology it carries a ring structure, the cup product. It arrived some forty years after homology: Alexander had defined a first notion of cochain by 1930, Andrey Kolmogorov and J. W. Alexander both introduced cohomology at a 1935 conference in Moscow, and from 1936 to 1938 Hassler Whitney and Eduard Čech developed the cup and cap products that make cohomology a graded ring. The Hodge conjecture asks whether every Hodge class is a rational combination of the cohomology classes of complex subvarieties. *Status: confirmed* - [Cohomology, Wikipedia](https://en.wikipedia.org/wiki/Cohomology) — read as raw HTML: “some 40 years after the development of homology”; “Alexander had by 1930 defined a first notion of a cochain”; “At a 1935 conference in Moscow, Andrey Kolmogorov and Alexander both introduced cohomology and tried to construct a cohomology product structure”; “From 1936 to 1938, Hassler Whitney and Eduard Čech developed the cup product (making cohomology into a graded ring) and cap product.” - [Cohomology, MathWorld](https://mathworld.wolfram.com/Cohomology.html) — cohomology as the dual construction to homology, with the ring structure as the distinguishing feature. - [Hodge conjecture, Wikipedia](https://en.wikipedia.org/wiki/Hodge_conjecture) — “Every Hodge class on X is a linear combination with rational coefficients of the cohomology classes of complex subvarieties of X.” ### 12.21 {#r-12.21} Dates and attributions printed on this chapter’s glossary cards and in its field notes, each checked against the source listed: Poincare made the homology/Betti-number treatment (b1 of the sphere = 0) rigorous in Analysis situs, 1895; Poincare’s Analysis Situs was published in 1895; The complements to Analysis Situs appeared 1899-1904; Felix Klein first described the Klein bottle in 1882; Descartes had a closely related result around 1630 (De solidorum elementis); Descartes’s manuscript on polyhedra, written about 1630, survives only through a copy Leibniz made in 1676, itself rediscovered around 1860; Legendre gave the first complete proof of Euler’s polyhedron formula in 1794 (Elements de geometrie); Leibniz’s copy of Descartes’s manuscript was rediscovered around 1860; Poincare in 1895 put the Euler characteristic in a general topological setting (Euler-Poincare characteristic). The Klein bottle cannot be embedded in ordinary three-dimensional space without intersecting itself. *Status: confirmed* - [A history of Topology, MacTutor](https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/) — read raw: “The idea of connectivity was eventually put on a completely rigorous basis by Poincaré in a series of papers Analysis situs Ⓣ(Analysis of place) in 1895. Poincaré introduced the concept of homology and gave a more precise definition of the Betti numbers”; “in a series of papers Analysis situs Ⓣ(Analysis of place) in 1895. Poincaré introduced the concept of homology and gave a more precise definition of the Betti numbers associated with a space than had Betti himself. Euler’s convex polyhedra formula had been generalised.” - [Analysis Situs (paper), Wikipedia](https://en.wikipedia.org/wiki/Analysis_Situs_(paper)) — read raw: “Analysis Situs” is a seminal mathematics paper that Henri Poincaré published in 1895. Poincaré published five supplements to the paper between 1899 and 1904.”; “Poincaré published five supplements to the paper between 1899 and 1904..” - [Klein bottle, Wikipedia](https://en.wikipedia.org/wiki/Klein_bottle) — read raw: “The Klein bottle was first described in 1882 by the mathematician Felix Klein.”; “In contrast, the Klein bottle is boundaryless, like a sphere or torus, though it cannot be embedded in ordinary three-dimensional space without intersecting itself.” - [Descartes on Polyhedra, Wikipedia](https://en.wikipedia.org/wiki/Descartes_on_Polyhedra) — read raw: “The original Latin manuscript of De solidorum elementis was written circa 1630 by Descartes”; “survived long enough for Gottfried Wilhelm Leibniz to copy it in 1676 before disappearing for good. Leibniz’s copy, also lost, was rediscovered in Hannover around 1860.”; “Central to the book is the disputed priority for Euler’s polyhedral formula between Leonhard Euler and René Descartes..” - [Twenty-one Proofs of Euler’s Formula, David Eppstein (UC Irvine)](https://ics.uci.edu/~eppstein/junkyard/euler/) — read raw: “In 1794, Legendre provided a complete proof, using spherical angles. Cauchy got into the act in 1811, citing Legendre and adding incomplete proofs based on triangle removal.” Editorial note: Added 18 September 2026 by the V42 citation sweep. citecheck.py found these years printed on a card or in a paragraph whose cited entries did not carry them; each was then verified against a source fetched raw that day, and the quotation in each source note is verbatim. ### 12.22 {#r-12.22} Dates and attributions printed on this chapter’s glossary cards and in its field notes, each checked against the source listed: The Alexander polynomial dates from 1928; Euclid’s Elements was written c. 300 BC; Tait’s knot tables of the 1870s (the trefoil is the first entry); Max Dehn proved in 1914 that the trefoil is chiral; Tait’s tabulation continued in the 1880s; no specific attribution of the Pythagorean theorem to Pythagoras exists in the surviving Greek literature from the five centuries after he lived (Heath). *Status: confirmed* - [Alexander polynomial, Wikipedia](https://en.wikipedia.org/wiki/Alexander_polynomial) — read raw: “Alexander, J. W. (1928) Topological Invariants of Knots and Links, Transactions of the American Mathematical Society 30 (2): 275–306.” - [Euclid’s Elements, Wikipedia](https://en.wikipedia.org/wiki/Euclid%27s_Elements) — read raw: “The Elements (Στοιχεῖα Stoikheîa) is a mathematical treatise written c. 300 BC by the Ancient Greek mathematician Euclid..” - [Peter Guthrie Tait biography, MacTutor](https://mathshistory.st-andrews.ac.uk/Biographies/Tait/) — read raw: “In 1876 Tait began an intense study of knots, attempting to classify them. He published seven papers on knots in the Proceedings of the Royal Society of Edinburgh in the academic year 1876-77.”; “When Kirkman sent him all knot projections with 10 crossings in January 1885 again Tait found all in equivalent knots. The tables were printed in September 1885 and again they are completely correct..” - [Max Dehn, Wikipedia](https://en.wikipedia.org/wiki/Max_Dehn) — read raw: “In 1914 he proved that the left and right trefoil knots are not equivalent..” - [Platonic solid, Wikipedia](https://en.wikipedia.org/wiki/Platonic_solid) — its table gives the cube 8 vertices, 12 edges, 6 faces and the regular icosahedron 12, 30, 20; the topological proof: “The key is Euler’s observation that V − E + F = 2,” whence “1/q + 1/p > 1/2,” and “there are only five possibilities for {p, q}.” - [Pythagorean theorem, Wikipedia](https://en.wikipedia.org/wiki/Pythagorean_theorem) — Thomas L. Heath: “no specific attribution of the theorem to Pythagoras exists in the surviving Greek literature from the five centuries after Pythagoras lived.” Editorial note: Added 18 September 2026 by the V42 citation sweep. citecheck.py found these years printed on a card or in a paragraph whose cited entries did not carry them; each was then verified against a source fetched raw that day, and the quotation in each source note is verbatim. ### 12.23 {#r-12.23} Defines Betti numbers as the ranks of homology groups and credits Betti (1871) and Poincaré’s 1895 rigorous treatment. Emmy Noether recast them in the 1920s as ranks of homology groups. The sphere has b₀ = 1, b₁ = 0, b₂ = 1, the torus b₁ = 2, a genus-two surface b₁ = 4, and their alternating sum is the Euler characteristic. *Status: confirmed* - [Betti number, Wikipedia](https://en.wikipedia.org/wiki/Betti_number) — defines the nth Betti number as the rank of the nth homology group and credits Betti, Poincaré’s naming of the numbers after him, and Noether’s modern formulation; it gives no dates (Betti’s 1871 paper is on the MacTutor line). - [Enrico Betti, MacTutor](https://mathshistory.st-andrews.ac.uk/Biographies/Betti/) — dates Betti’s paper: “He published an important paper on topology in 1871 which contained what we now call the ‘Betti numbers’.” - [Analysis Situs (paper), Wikipedia](https://en.wikipedia.org/wiki/Analysis_Situs_(paper)) — dates Poincaré’s paper: “a seminal mathematics paper that Henri Poincaré published in 1895.” - [A history of Topology, MacTutor](https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/) — Poincaré’s sharper definition: “Poincaré introduced the concept of homology and gave a more precise definition of the Betti numbers associated with a space than had Betti himself.” - [Homology (mathematics), Wikipedia](https://en.wikipedia.org/wiki/Homology_(mathematics)) — dates Noether’s work and gives the sphere’s counts: “Emmy Noether and, independently, Leopold Vietoris and Walther Mayer further developed the theory of algebraic homology groups in the period 1925–28.”; “A two-dimensional sphere S2 has a single connected component, no one-dimensional-boundary holes, a two-dimensional-boundary hole, and no higher-dimensional holes.” - [Betti Number, Wolfram MathWorld](https://mathworld.wolfram.com/BettiNumber.html) — gives b₁ = 4 for genus two: “For a closed, orientable surface of genus g, the Betti numbers are p0=1, p1=2g, and p2=1.” ### 12.24 {#r-12.24} States that Felix Klein first described the Klein bottle in 1882 and describes it as a closed nonorientable surface. *Status: confirmed* - [Klein bottle, Wikipedia](https://en.wikipedia.org/wiki/Klein_bottle) — states that Klein first described the surface in 1882 and describes its nonorientability and construction from a square with a twisted gluing; “The Klein bottle, proper, does not self-intersect. Nonetheless, there is a way to visualize the Klein bottle as being contained in four dimensions. By adding a fourth dimension to the three-dimensional space, the self-intersection can be eliminated.”; and “Dissecting a Klein bottle into halves along its plane of symmetry results in two mirror image Möbius strips”; “Its Euler characteristic is therefore 1 − 2 + 1 = 0”; and “It is also homeomorphic to a sphere plus two cross-caps.” ### 12.25 {#r-12.25} States that Vaughan Jones discovered the Jones polynomial in 1984, that it is normalized to give the unknot value 1, and that it can distinguish a knot from its mirror image. Jones found it while studying von Neumann algebras and won the 1990 Fields Medal; unlike the Alexander polynomial it tells the trefoil from its mirror image, and whether it detects the unknot is an open problem. *Status: confirmed* - [Jones polynomial, Wikipedia](https://en.wikipedia.org/wiki/Jones_polynomial) — credits Jones’s 1984 discovery, gives the unknot normalization V=1, and gives the mirror image by substituting t^−1 for t: “Thus, an amphicheiral knot, a knot equivalent to its mirror image, has palindromic entries in its Jones polynomial.” It adds: “It is an open question whether there is a nontrivial knot with Jones polynomial equal to that of the unknot.” The trefoil and Alexander comparison is on the Knot theory and Alexander polynomial lines below. - [Knot theory, Wikipedia](https://en.wikipedia.org/wiki/Knot_theory) — the trefoils separate Jones from Alexander: “But the Alexander–Conway polynomial of each kind of trefoil will be the same ... The Jones polynomial can in fact distinguish between the left- and right-handed trefoil knots (Lickorish 1997).” - [Vaughan Jones, Wikipedia](https://en.wikipedia.org/wiki/Vaughan_Jones) — dates the Fields Medal: “He was awarded a Fields Medal in 1990.” - [Alexander polynomial, Wikipedia](https://en.wikipedia.org/wiki/Alexander_polynomial) — the Alexander polynomial is blind to reflection: “it cannot distinguish between a knot and its mirror image.” ### 12.27 {#r-12.27} Defines the crossing number of a knot as the minimum crossings in any diagram, giving 0 for the unknot and 3 as the minimum for any nontrivial knot. Credits Peter Guthrie Tait’s knot tables of the 1870s and 1880s, made while pursuing Lord Kelvin’s theory that atoms were knots in the ether, and notes that crossing number is computable but has no known fast general method. *Status: confirmed* - [Crossing number (knot theory), Wikipedia](https://en.wikipedia.org/wiki/Crossing_number_(knot_theory)) — defines crossing number as the minimum number of crossings over all diagrams and states the unknot has crossing number 0 while the smallest nontrivial knot has crossing number 3. - [Knot theory, Wikipedia](https://en.wikipedia.org/wiki/Knot_theory) — Kelvin’s theory and Tait’s 1885 table: “In the 1860s, Lord Kelvin’s theory that atoms were knots in the aether led to Peter Guthrie Tait’s creation of the first knot tables for complete classification.”; “Tait, in 1885, published a table of knots with up to ten crossings” - [Elementary Knot Theory, Marc Lackenby, arXiv](https://arxiv.org/pdf/1604.03778) — computable but slow: “Crossing number is algorithmically computable. ... This approach is obviously not very efficient but it seems unlikely that there is any quicker way of determining a link’s crossing number in general.”