Corrections_to_McCleary_History_of_Algebraic_Topology

Corrections to McCleary, “A History of Algebraic Topology” On the Erasure of Fritz Noether and the Misattribution of the Invariant Theory Foundation February 23, 2026 I. The Error in McCleary’s Account In §4 of his lecture “A History of Algebraic Topology,” John McCleary (Vassar College) writes: In December 1925, the eminent Göttingen algebraist Emmy Noether (1882–1935) visited Blaricum, Brouwer’s vacation home, and the group of mathematicians around Brouwer. At a dinner in her honor at Brouwer’s (recalled in [?]) she explained how the numerical invariants of combinatorial topology were better organized as the invariants of groups, to be called Betti groups. The section is titled “On Noether, Hopf, and Vietoris.” One Noether. As if there were only one. Fritz Noether (1884–1941), Emmy’s younger brother, does not appear anywhere in McCleary’s account. This is not a minor omission. Fritz Noether worked directly in the invariant-theoretic tradition that McCleary’s narrative traces from Poincaré through Brouwer to the algebraic topology of the 1920s and 1930s. His erasure from this history is factually unjustified, and it distorts the record of how invariant methods entered topology. II. Who Was Fritz Noether Fritz Noether was the second child of Max Noether and Ida Amalia Kaufmann. He was born in Erlangen in 1884, two years after Emmy. He studied mathematics at Erlangen from 1904, in the same department, under the same faculty, and in the same household as Emmy during the period of her doctoral work (1904–1907). Fritz’s mathematical career spanned pure and applied mathematics: Erlangen training (1904–1907): Invariant theory in the Gordan school, the same environment that produced Emmy’s 1907 dissertation on the 331 invariants of the ternary biquadratic form. Doctorate (Munich, 1909): “Über rollende Bewegung einer Kugel auf Rotationsflächen” (On the Rolling Motion of a Sphere on Surfaces of Revolution), under Aurel Voss. Applied kinematics using invariants under rotation groups, Euler equations for rigid body motion. Klein-Sommerfeld Gyroscope Collaboration (1909–1910): Fritz prepared and supplemented Volume IV of Klein and Sommerfeld’s Theorie des Kreisels. Klein and Sommerfeld gave him explicit credit: “Prepared for publication and supplemented by Fritz Noether.” Content: invariants of the Euler equations under rotation groups in applied mechanics. The Herglotz-Noether Theorem (1910): Fritz Noether, together with Gustav Herglotz, proved a theorem on the rigid motion of bodies in special relativity. This is a result in mathematical physics concerning invariants under the Lorentz group—the same symmetry-invariance framework that would later underpin Emmy’s 1918 theorem connecting symmetries to conservation laws. World War I Service: Artillery officer. Wounded. Received the Iron Cross. His military work involved ballistics calculations—applied mathematics of trajectory and rigid body dynamics. Academic career (1920s–1930s): Appointments at Karlsruhe and Breslau. Work in fluid dynamics, turbulence, and hydrodynamic stability. In 1934, after dismissal under Nazi racial laws, he emigrated to the Soviet Union to take a professorship at Tomsk, where he continued research in applied mathematics and invariant theory. Arrest and execution: Fritz was arrested by the NKVD in November 1937, charged with espionage and anti-Soviet agitation. He was executed on September 10, 1941, at the Oryol prison during the mass killings of political prisoners ordered as German forces advanced on the city. Fritz Noether was a mathematician who operated across the full range of pure and applied invariant theory. He was not a minor figure. He held university professorships, published in leading journals, collaborated with Klein and Sommerfeld, and contributed a named theorem in special relativity. His omission from any history touching on invariant methods in topology is a factual gap. III. What McCleary Gets Wrong A. The title “On Noether” McCleary’s section heading “On Noether, Hopf, and Vietoris” uses the surname “Noether” as if it refers unambiguously to one person. In a mathematical history touching on invariant theory, transformation groups, and the path from Poincaré to algebraic topology, the Noether family is not a single individual. Max Noether was a leading algebraic geometer at Erlangen. Emmy Noether made foundational contributions to abstract algebra and, via the 1925 Blaricum insight, to algebraic topology. Fritz Noether worked in invariants under transformation groups in mechanics and physics. The section should be titled “On the Noethers, Hopf, and Vietoris” at minimum, and should specify which Noether is meant at each reference. B. “The eminent Göttingen algebraist” McCleary introduces Emmy Noether as “the eminent Göttingen algebraist.” By 1925, this description was accurate with respect to her position at Göttingen and her work in abstract algebra. But McCleary provides no context for how Emmy arrived at Göttingen or why she was considered an authority on invariant theory. Emmy was invited to Göttingen in 1915 by Hilbert and Klein as an expert on invariant theory. That reputation rested principally on her 1907 doctoral dissertation: “Über die Bildung des Formensystems der ternären biquadratischen Form,” published in Crelle’s Journal, volume 134 (1908), pages 23–90. This thesis is a 72-page work of pure Gordanian computational invariant theory: 331 explicit invariants and covariants of the ternary biquadratic form, each expanded by hand in full symbolic form with all reductions and syzygies. The thesis was produced at Erlangen between 1904 and 1907, the exact period when Fritz was also at Erlangen, living in the same household, studying in the same department, trained in the same invariant theory. The computational style of the thesis—constructive, explicit, case-by-case symbolic grinding with no abstraction—matches Fritz’s demonstrated competence throughout his career and is the complete opposite of Emmy’s post-1920 abstract algebraic style. Emmy herself later called the thesis “Mist” (crap) and said she had forgotten the details. Hermann Weyl described her first period (1907–1919) as one of “relative dependence.” McCleary’s presentation takes Emmy’s 1925 eminence as a given. It does not ask where it came from. It does not mention the 1907 thesis at all. It does not mention Fritz at all. The chain of credit—from the 1907 thesis, to the invariant theory reputation, to the 1915 Göttingen invitation, to the 1918 theorem, to the 1925 dinner at Blaricum—is presented as if it originated entirely with Emmy Noether alone. C. The invariant-theoretic context McCleary’s narrative traces the development of algebraic topology from Poincaré’s topological methods through Brouwer’s mapping degree and simplicial approximation to the algebraization of homology by Hopf and Vietoris following Emmy Noether’s 1925 suggestion. The critical transition—from numerical invariants to group-theoretic invariants—is presented as Emmy’s insight. Fritz Noether’s work sits directly in the path of this development. The Herglotz-Noether theorem (1910) concerned invariants under the Lorentz group in special relativity. Fritz’s gyroscope work with Klein and Sommerfeld involved invariants of the Euler equations under rotation groups. These are concrete examples of the same intellectual movement—from numerical calculation to group-theoretic organization of invariants—that McCleary attributes solely to Emmy’s 1925 suggestion. Fritz was not at the Blaricum dinner. He was not working in combinatorial topology. But his work in invariants under transformation groups in physics is part of the broader intellectual context that made the algebraization of topological invariants possible. His omission from the narrative erases one of the paths by which invariant-theoretic thinking moved from pure computation to structural algebra. D. The 1907 dissertation’s role in the chain of credit The 1907 dissertation is not merely a biographical footnote. It is the work that established Emmy Noether as an expert in invariant theory, which was the basis for Hilbert and Klein’s 1915 invitation to Göttingen, which put her in the environment where she developed the 1918 theorem connecting symmetries to conservation laws, which cemented her reputation as a mathematician of the first rank, which led to the 1925 dinner at Blaricum where she proposed the group-theoretic organization of homology. Every link in this chain depends on the 1907 thesis. McCleary does not mention it. He does not mention that the thesis was produced during a period when Fritz Noether was at Erlangen in the same household and department. He does not mention that the computational style of the thesis matches Fritz’s career and not Emmy’s. He does not mention that Emmy called it “Mist.” He does not mention that the published version (Crelle’s Journal) stripped all acknowledgment of anyone’s involvement, while the dissertation version’s Lebenslauf—the only document recording Gordan’s supervisory role—survived in a handful of physical copies. A history that traces the algebraization of topological invariants without examining the provenance of the invariant theory expertise it attributes to Emmy Noether is incomplete. IV. What a Corrected Account Would Say A corrected version of McCleary’s §4 would, at minimum: 1. Title the section “On the Noethers, Hopf, and Vietoris.” 2. Identify Emmy Noether by her full name at each reference, distinguishing her from Fritz Noether and Max Noether. 3. Note that Emmy’s reputation as an expert on invariant theory, which brought her to Göttingen in 1915, rested on her 1907 doctoral dissertation—a work of pure Gordanian computational invariant theory produced at Erlangen during a period when her brother Fritz was also at Erlangen, trained in the same methods, in the same household. 4. Note that Fritz Noether worked in invariants under