Geometrical Visions The distinctive styles of Klein and Lie.

85
Geometrical Visions The distinctive styles of Klein and Lie

Transcript of Geometrical Visions The distinctive styles of Klein and Lie.

Page 1: Geometrical Visions The distinctive styles of Klein and Lie.

Geometrical Visions

The distinctive styles

of Klein and Lie

Page 2: Geometrical Visions The distinctive styles of Klein and Lie.

Uses and Abuses of Style as an Explanatory Concept

• Style: a vague and problematic notion

• Particularly problematic when extended to mathematical schools, research communities or national traditions (Duhem on German vs. French science)

• Or when used to discredit opponents

(Bieberbach’s use of racial stereotypes against Landau and others)

Page 3: Geometrical Visions The distinctive styles of Klein and Lie.

Types of Mathematical Creativity

• Hilbert as an algebraist, even when doing geometry

• Poincaré as a geometer, even when doing analysis

• Weyl commenting on Hilbert’s Zahlbericht

• Van der Waerden (algebraist) accounting for why Weyl (analyst) gave up Brouwer‘s intuitionism

Page 4: Geometrical Visions The distinctive styles of Klein and Lie.

Different Views of Hilbert’s Work on Foundations of Geometry

• Hans Freudenthal emphasized the modern elements; how he broke the umbilical cord that connected geometry with investigations of the natural world

• Leo Corry emphasizes the empiricist elements that motivated Hilbert’s axiomatic approach to geometry but also his larger program for axiomatizing all exact sciences

Page 5: Geometrical Visions The distinctive styles of Klein and Lie.

Hilbert as a Classical Geometer• Hilbert’s work can also be seen within the

classical tradition of geometric problem solving (Pappus, Descartes)

• Greek tradition: construction with straight edge and compass, conics (Knorr)

• Descartes: more general instruments used to construct special types of algebraic curves (Bos)

• Hilbert, like Descartes, saw geometric problem solving as a paradigm for epistemology

Page 6: Geometrical Visions The distinctive styles of Klein and Lie.

• Methodological challenge: to develop a systematic way to determine whether a well-posed geometrical problem can be solved with specified means

• Descartes showed that a problem which can be transformed into a quadratic equation can be solved by straight edge and compass

• 19th-century mathematicians used new methods to prove that trisecting an angle and doubling a cube could not be constructed using Euclidean tools

Page 7: Geometrical Visions The distinctive styles of Klein and Lie.

Impossibility Proofs• Ferdinand Lindemann showed in 1882 that π

is a transcendental number • So even Descartes’ system of algebraic

curves is insufficient for squaring the circle• Hilbert regarded this as an important result, so

he gave a new proof: in 4 pages!• He emphasized the importance of impossibility

proofs in his famous Paris address on “Mathematical Problems”

• Not all problems are created equal: he gave general criteria for those which are fruitful

Page 8: Geometrical Visions The distinctive styles of Klein and Lie.

Hilbert’s geometric vision• Doing synthetic geometry with given

constructive means corresponds to doing analytic geometry over a particular algebraic number field

• Solvability of a geometric problem is equivalent to deciding whether the corresponding algebraic equation has solutions in the field

• Paradigm for Hilbert’s “24th Paris problem”: to show that every well-posed mathematical problem has a definite answer (refutation of du Bois Reymond’s Ignorabimus)

Page 9: Geometrical Visions The distinctive styles of Klein and Lie.

Hilberts Schlusswort aus derGrundlagen der Geometrie

Page 10: Geometrical Visions The distinctive styles of Klein and Lie.

Die vorstehende Abhandlung ist eine kritische Untersuchung der Prinzipien der Geometrie; in dieser Untersuchung leitete uns der Grundsatz, eine jede sich darbietende Frage in der Weise zu erörtern, dass wir zugleich prüften, ob ihre Beantwortung auf einem vorgeschriebenen Wege mit gewissen eingeschränkten Hilfsmitteln möglich oder nicht möglich ist. Dieser Grundsatz scheint mir eine allgemeine und naturgemäße Vorschrift zu enthalten; in der Tat wird, wenn wir bei unseren mathematischen Betrachtungen einem Probleme begegnen oder einen Satz vermuten, unser Erkenntnistrieb erst dann befriedigt, wenn uns entweder die völlige Lösung jenes Problem und der strenge Beweis dieses Satzes gelingt oder wenn der Grund für die Unmöglichkeit des Gelingens und damit zugleich die Notwendigkeit des Misslingens von uns klar erkannt worden ist.

Page 11: Geometrical Visions The distinctive styles of Klein and Lie.

So spielt dann in der neueren Mathematik die Frage nach der Unmöglichkeit gewisser Lösungen oder Aufgaben eine hervorragende Rolle und das Bestreben, eine Frage solcher Art zu beantworten, war oftmals der Anlass zur Entdeckung neuer und fruchtbarer Forschungsgebiete. Wir erinnern nur an Abel’s Beweise für die Unmöglichkeit der Auflösung der Gleichungen fünften Grades durch Wurzelziehen, ferner an die Erkenntnis der Unbeweisbarkeit des Parallelaxioms und an Hermite’s und Lindemann’s Sätze von der Unmöglichkeit, die Zahlen e und π auf algebraischem Wege zu konstruieren.

Page 12: Geometrical Visions The distinctive styles of Klein and Lie.

Der Grundsatz, demzufolge man überall die Prinzipien der Möglichkeit der Beweise erläutern soll, hängt auch aufs Engste mit der Forderung der „Reinheit“ der Beweismethoden zusammen, die von mehreren Mathematikern der neueren Zeit mit Nachdruck erhoben worden ist. Diese Forderung ist im Grunde nichts anderes als eine subjektive Fassung des hier befolgten Grundsatzes. In der Tat sucht die vorstehende geometrische Untersuchung allgemein darüber Aufschluss zu geben, welche Axiome, Voraussetzungen oder Hilfsmittel zu Beweise einer elementar-geometrischen Wahrheit nötig sind, und es bleibt dann dem jedesmaligen Ermessen anheim gestellt, welche Beweismethode von dem gerade eingenommenen Standpunkte aus zu bevorzugen ist.

Page 13: Geometrical Visions The distinctive styles of Klein and Lie.

Klein and Lie as Creative Mathematicians

Two full-blooded geometers

Page 14: Geometrical Visions The distinctive styles of Klein and Lie.

Klein’s Universality• Felix Klein was fascinated by questions of

style and discussed it often in his lectures• On a number of occasions he described

Sophus Lie’s style as a geometer• Geometry, for Klein, was essentially a

springboard to a way of thinking about mathematics in general

• This is surely the most striking and also impressive feature in his research, which covered many parts of pure and applied mathematics

Page 15: Geometrical Visions The distinctive styles of Klein and Lie.

Felix Klein as a Young Admirer and Collaborator of Lie

• Studied line geometry with Plücker in Bonn, 1865-1868

• Protégé of Clebsch in Göttingen; projective & algebraic geometry

• Met Lie in Berlin, 1869

• Presented his work in Kummer’s seminar

Page 16: Geometrical Visions The distinctive styles of Klein and Lie.

Klein’s first great discovery

• Lie was nowhere near as broad as Klein would become, but he was far deeper

• It is only a slight exaggeration to say that Klein discovered Lie

• During the early 1870s he was virtually the only one who had any understanding of Lie’s mathematics

• He described how Lie spent whole days “living” in the spaces he imagined

Page 17: Geometrical Visions The distinctive styles of Klein and Lie.

On Lie’s Relationship with Klein

D. Rowe, “Der Briefwechsel Sophus Lie – Felix Klein, eine Einsicht in ihre persönlichen und wissenschaftlichen Beziehungen,” NTM, 25 (1988)1, 37-47.

Sophus Lie’s Letters to Felix Klein,

1876-1898, ed. D. Rowe, to appear

Page 18: Geometrical Visions The distinctive styles of Klein and Lie.

Sophus Lie: a Norwegian Hero

Page 19: Geometrical Visions The distinctive styles of Klein and Lie.

• Arild Stubhaug’s Heroic Portrait of Lie, the Norwegian Patriot

• Interpretation of Lie’s Life as a Triumphant Struggle

• Story of Friends, Foes and Betrayal

• Subsidiary Theme: French wisdom vs. German petty-mindedness

Page 20: Geometrical Visions The distinctive styles of Klein and Lie.

Sophus Lie, 1844-1899

• 1865-68: study at Univ. Christiania

• 1869-70: stipend to study in Berlin, Paris

• 1869-72: collaboration with Felix Klein

• 1872-86: Prof. in Christiania

• 1886-98: Leipzig• 1898 return to Norway

Page 21: Geometrical Visions The distinctive styles of Klein and Lie.

On Lie’s Mathematics

Hans Freudenthal, “Marius Sophus Lie,” Dictionary of Scientific Biography.

Thomas Hawkins, “Jacobi and the Birth of Lie’s Theory of Groups,” Archive for History of Exact Sciences, 1991.

Page 22: Geometrical Visions The distinctive styles of Klein and Lie.

On Lie’s Early Work

D. Rowe, “The Early Geometrical Works of Felix Klein and Sophus Lie”

T. Hawkins, “Line Geometry, Differential Equations, and the Birth of Lie’s Theory of Groups”

In The History of Modern Mathematics, vol. 1, ed. D. Rowe and J. McCleary, 1989.

Page 23: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Early Career

• 1868-71: line and sphere geometry; special contact transformations

• 1871-73: PDEs and line complexes; general concept of contact transformations

• 1873-74: Lie’s vision for a Galois theory of differential equations

Page 24: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Subsequent Career

• 1874-77: first work on continuous transformation groups; classification of groups for line and plane

• 1877-82: return to geometry; applications of group theory to differential geometry, in particular minimal surfaces

• 1882-85: group-theoretic investigations and differential invariants (with Friedrich Engel beginning 1884)

Page 25: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Subsequent Career

• 1886: succeeds Klein as professor of geometry in Leipzig

• Continued collaboration with Engel on vol. 1 of Theorie der Transformationsgruppen

• 1889-90: Lie spends nine months at a sanatorium outside Hannover; leaves without having fully recovered

• 1890-91: works on Riemann-Helmholtz space problem

Page 26: Geometrical Visions The distinctive styles of Klein and Lie.

On the History of Lie Theory

Thomas Hawkins, Emergence of the Theory of Lie Groups. An Essay in the History of Mathematics, 1869-1926, Springer 2000.

Four Parts:

Sophus Lie, Wilhlem Killing,

Élie Cartan, and Hermann Weyl

Page 27: Geometrical Visions The distinctive styles of Klein and Lie.

German line geometry andFrench sphere geometry

4-dimensional geometries derived from 3-dimensional space

Page 28: Geometrical Visions The distinctive styles of Klein and Lie.

Julius Plücker and the Theory of Line Complexes

• Plücker took lines of space as elements of a 4-dim geometry

• Algebraic equation of degree n leads to an nth-order line complex

• Locally, the lines through a point determine a cone of the nth degree

• Counterpart to French sphere geometry

Page 29: Geometrical Visions The distinctive styles of Klein and Lie.

Lie and Klein: geometries based on free choice of the space elements

• Line and sphere geometry were central examples

• Klein also studied spaces of line complexes in 1860s, the space of cubic surfaces (1873), etc.

• In his Erlangen Program he emphasizes that the dimension of the geometry is insignificant, since one can always let the same group act on different spaces obtained by varying the space element, which may depend on an arbitrary number of coordinates

Page 30: Geometrical Visions The distinctive styles of Klein and Lie.

Kummer surfaces and their physical and geometrical contexts

Page 31: Geometrical Visions The distinctive styles of Klein and Lie.

Kummer Surfaces

• Quartic surfaces with 16 double points (here all are real)

• Klein was the first to study these as the singularity surfaces that naturally arise for families of 2nd-degree line complexes

Page 32: Geometrical Visions The distinctive styles of Klein and Lie.

The Fresnel Wave Surface

• Kummer‘s study of ray systems revealed that the Fresnel surface was a special type of Kummer surface

• It has 4 real and 12 complex double points

Page 33: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Breakthrough, Summer 1870

• Line-to-sphere transformation• Maps the principle tangent curves of one

surface onto the lines of curvature of a second surface

• Lie applied this to show that the principle tangent curves of the Kummer surface were algebraic curves of degree 16

• Klein recognized that they were identical to curves he had obtained in his work on line geometry

Page 34: Geometrical Visions The distinctive styles of Klein and Lie.

Klein’s Correspondence with Lie

• Used by Friedrich Engel in Band 7 of Lie’s Collected Works

• Fell into Hands of Ernst Hölder, son of Otto Hölder, who married one of Lie’s granddaughters

• Purchased by the Oslo University Library

• To be published by Springer in a German/English edition

Page 35: Geometrical Visions The distinctive styles of Klein and Lie.

• Klein’s letters to Lie, 1870-1872

• Collaboration in Berlin and Paris, 1869-1870

• Klein had trouble following Lie’s ideas by 1871

• Lie’s visit in summer 1872 led to enriched version of Klein’s Erlanger Programm

Page 36: Geometrical Visions The distinctive styles of Klein and Lie.

Klein’s Style as a Geometer

Page 37: Geometrical Visions The distinctive styles of Klein and Lie.

Felix Klein as a Young Admirer of Riemann

• Came in Contact with Riemann’s Ideas through Clebsch in Göttingen (1869-1872)

• Competed as self-appointed champion of Riemann with leading members of the Weierstrass school

Page 38: Geometrical Visions The distinctive styles of Klein and Lie.

Alfred Clebsch (1833-1872)

• Leading „Southern German“ mathematician of the era

• Founder of Mathematische Annalen

• Klein was youngest member of the Clebsch School

Page 39: Geometrical Visions The distinctive styles of Klein and Lie.

Klein’s “Physical Mathematics”

Accounting for the Connection between singular points and the

genus of a Riemann surface

Page 40: Geometrical Visions The distinctive styles of Klein and Lie.

Klein (borrowing from Maxwell) to Visualize Harmonic Functions

Page 41: Geometrical Visions The distinctive styles of Klein and Lie.

Building complex functions on an abstract Riemann surface

• Rather than introducing complex functions in the plane and then building Riemann surfaces over C, Klein began with a non-embedded surface of appropriate genus

• The harmonic functions were then introduced using current flows as before

• He visualized their behavior under deformations that affected the genus of the surface

Page 42: Geometrical Visions The distinctive styles of Klein and Lie.
Page 43: Geometrical Visions The distinctive styles of Klein and Lie.

Klein on Visualizing Projective Riemann Surfaces

Mathematische Annalen, 1873-76

Page 44: Geometrical Visions The distinctive styles of Klein and Lie.

Identifying Real and Imaginary Points on Real Algebraic Curves

• Riemann and Clebsch had dealt with the genus of a curve as a fundamental birational invariant

• Klein wanted to find a satisfying topological interpretation of the genus which preserved the real points of the curve

• He did this by building a projective surface in 3-space around an image of the real part of the curve in a plane

Page 45: Geometrical Visions The distinctive styles of Klein and Lie.

Carl Rodenberg‘s Modelsfor Cubic Surfaces

Page 46: Geometrical Visions The distinctive styles of Klein and Lie.

The Clebsch Model for a „Diagonal Surface“

• Klein studied cubics with Clebsch in Göttingen in 1872

• Clebsch came up with this special case of a non-singular cubic where all 27 lines are real

• There are 10 Eckhard points where 3 of the 27 lines meet

Page 47: Geometrical Visions The distinctive styles of Klein and Lie.

Klein on Constructing Models (1893)

„It may here be mentioned as a general rule, that in selecting a particular case for constructing a model the first prerequisite is regularity. By selecting a symmetrical form for the model, not only is the execution simplified, but what is of more importance, the model will be of such a character as to impress itself readily on the mind.“

Page 48: Geometrical Visions The distinctive styles of Klein and Lie.

Klein on his Research on Cubics

„Instigated by this investigation of Clebsch, I turned to the general problem of determining all possible forms of cubic surfaces. I established the fact that by the principle of continuity all forms of real surfaces of the third order can be derived from the particular surface having four real conical points. . . .”

Page 49: Geometrical Visions The distinctive styles of Klein and Lie.

A Cubic with 4 singular points

• Klein began by considering a cubic with 4 singular points located in the vertices of a tetrahedron

• The 27 lines collapse into the 6 edges of the tetrahedron

Page 50: Geometrical Visions The distinctive styles of Klein and Lie.

Removing Singularities by Deformations

• Two basic types of deformations

• The first splits the surfaces at the singular points

• The second enlarges the surface around the singularity

Page 51: Geometrical Visions The distinctive styles of Klein and Lie.

Moving about in the Space of Cubic Surfaces

• The nonsingular cubics form a 19-dimensional manifold

• Those with a single conical point form an 18-dimensional submanifold, and so on

• So starting with the special point in the 15-dimensional submanifold with 4 singularities, Klein could move up step by step through the entire manifold to exhaust the classification

Page 52: Geometrical Visions The distinctive styles of Klein and Lie.

Vision behind this research

“What is of primary importance is the completeness of enumeration resulting from my point of view; it would be of comparatively little value to derive any number of special forms if it cannot be proved that the method used exhausts the subject. Models of the typical cases of all the principal forms of cubic surfaces have since been constructed by Rodenberg for Brill’s collection.”

Page 53: Geometrical Visions The distinctive styles of Klein and Lie.

Some Stylistic Elements in Lie’s Early Work

Page 54: Geometrical Visions The distinctive styles of Klein and Lie.

Scheffers’ editions of Lie’s lectures

1891-1896: Georg Scheffers writes three books based on Lie’s lectures:

1) DEQs with known infinitesimal Transformations (1891)

2) Continuous Groups (1893)

3) Geometry of Contact Transformations (1896)

Page 55: Geometrical Visions The distinctive styles of Klein and Lie.

Solving Differential Equations

According to Engel, Lie had already realized in 1869 that an ordinary first-order DEQ

can be reduced to quadratures if one can find a one-parameter family of transformations that leaves the DEQ invariant.

α x , y dy−B x , y dx=0

Page 56: Geometrical Visions The distinctive styles of Klein and Lie.

By 1872 Lie saw that it was enough to have an infinitesimal transformation that generated the 1-parameter group. Thus if the DEQ

admits a known infinitesimal transformation

in which, however, the individual integral curves do not remain invariant, then the DEQ has an integrating factor.

ξ∂ f∂ x

η∂ f∂ y

Xdy−Ydx=0

Page 57: Geometrical Visions The distinctive styles of Klein and Lie.

The integrating factor

then leads directly to a solution by quadrature in the form:

1Xη−Yξ

∫ Xdy−YdxXη−Yξ

=C

Page 58: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s geometric interpretation of the integrating factor

Page 59: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Work on Tetrahedral Complexes

• A tetrahedral line complex consists of the lines in space that meet the four planes of a coordinate tetrahedron in a fixed cross ratio

• Such complexes were studied earlier by Theodor Reye and so were sometimes known as “Reyesche Komplexe”

• Lie generated such complexes by letting a 3-parameter group act on a given line

Page 60: Geometrical Visions The distinctive styles of Klein and Lie.

Lie and Klein study W-Kurven

• Earliest jointly published work of Lie and Klein dealt with W-Kurven (W = Wurf, an allusion to Staudt’s theory)

• Such curves in the plane are left invariant by a 1-parameter subgroup of the projective group acting on the plane

• They work on W-Kurven and W-Flächen in space, but find this too complicated and tedious, so they never finish their manuscript

Page 61: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s interest in geometrical analysis

Lie studied surfaces tangential to the infinitesimal cones determined by a tetrahedral complex, which leads to a first-order PDE of the form:

f x , y , z , p , q =0, p=∂ z∂ x

, q=∂ z∂ y

Page 62: Geometrical Visions The distinctive styles of Klein and Lie.

Lie used a special transformation to map this DEQ to a new one

which was left invariant by the 3-parameter group of translations in the space (X,Y,Z). This enabled him to reduce the equation to one of the form

which could be solved directly.

f =0 F X ,Y , Z ,P ,Q =0

F P ,Q =0

Page 63: Geometrical Visions The distinctive styles of Klein and Lie.

This result soon led Lie to the following insights:

1) PDEs that admit a commutative 3-parameter group can be reduced to the form

2) PDEs that admit a commutative 2-parameter group can be reduced to

3) PDEs that admit a 1-parameter group can be reduced to

f x , y , z , p , q =0

F P ,Q =0

F Z ,P ,Q =0

F X ,Y ,P ,Q =0

Page 64: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Theory of Contact Transformations

Lie noticed that the transformations needed to carry out the above reductions were in all cases contact transformations.

Earlier he had studied these intensively, in particular in connection with his line-to-sphere transformation.

Page 65: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Surface Elements

For a point (x,y,z) on a surface F given by z = f(x,y), the equation for the tangent plane is

For an infinitely small region, Lie associated to each point (x,y,z) of F the surface element with coordinates (x,y,z,p,q). All 5 coordinates are treated equally.

z '− z=p x '−x q y '−y

Page 66: Geometrical Visions The distinctive styles of Klein and Lie.

The following local condition holds:

and describes the property that contiguous surface elements intersect. This Pfaffian relation must hold under an arbitrary contact transformation.

Lie had no trouble extending these notions to n-dimensional space in order to deal with PDEs of the form:

dz− pdx−qdy=0,

f z , x1 , x2 , , x n , p1 , p2 , , pn =0, pi=∂ z∂ x i

Page 67: Geometrical Visions The distinctive styles of Klein and Lie.

Lie then (1872) defined a general contact transformation analytically as a mapping

for which the condition

remains invariant. He showed further that two first-order PDEs can be transformed to another by means of a contact transformation.

T : z , x , p ↦ Z ,X , P

dz− p1dx1p2 dx2pn dxn =0

Page 68: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Adaptation of Jacobi’s Theory

In his “Nova methodus” Jacobi introduced the bracket operator

within his theory of PDEs. This was a crucial tool for reducing a non-linear PDE to solving a system of linear PDEs.

ϕ ,ψ =∑ [ ∂ ϕ∂ pi

∂ψ∂ x i

−∂ ϕ∂ x i

∂ψ∂ pi ]

Page 69: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Notion of PDEs in Involution

Lie interpreted the bracket operator geometrically, borrowing from Klein’s notion of line complexes that lie in involution. He defined two functions

to be in involution if ϕ , ψ =0

ϕ x , p , ψ x , p , x= x1 , x2 , , xn p= p1 , p2 , , pn

Page 70: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s First Results on Differential Invariants

Lie showed that a system of m PDEs

satisfying

remains in involution after the application of a contact transformation.

Such considerations led Lie to investigate the invariant theory of the group of all contact transformations.

f i z , x1 , x2 , , xn , p1 , p2 , , pn =0, i=1,2 , , m

f i , f j = 0

Page 71: Geometrical Visions The distinctive styles of Klein and Lie.

On the Reception of Lie’s Work

Page 72: Geometrical Visions The distinctive styles of Klein and Lie.

Berlin Reactions to Lie’s Work

• Weierstrass considered Lie’s work so wobbly that it would have to be redone from the ground up

• Frobenius claimed Lie’s approach to differential equations represented a retrograde step compared with the elegant techniques Euler and Lagrange

Page 73: Geometrical Visions The distinctive styles of Klein and Lie.

Freudenthal on Lie’s failure to find an adequate language

• Lie tried “to adapt and express in a host of formulas, ideas which would have been better without them. . . . [For] by yielding to this urge, he rendered his theories obscure to the geometricians and failed to convince the analysts.”

• The three volumes written by Engel had a distinctly “function-theoretic touch”

Page 74: Geometrical Visions The distinctive styles of Klein and Lie.

Where to look for Lie’s Vision

• According to his student Gerhard Kowalewski, Lie never referred to the volumes ghost-written by Engel but rather always cited his own papers

• This suggests that the “true Lie”—to take up Klein’s image—should not be sought in the volumes produced with Engel’s assistance but rather in his own earlier papers and his lectures as edited by Georg Scheffers

Page 75: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Break with Klein

Page 76: Geometrical Visions The distinctive styles of Klein and Lie.

Lie’s Preface from 1893

Thanks those who helped pave his way:1) Course with Sylow on Galois theory (1863)2) Clebsch, Cremona, Klein, Adolf Mayer, and

“especially Camille Jordan”3) Darboux for promoting his geometrical work4) Picard, first to recognize importance of Lie’s

group theory for analysis5) J. Tannery for sending students from ENS6) Engel and Scheffers for writing his books

Page 77: Geometrical Visions The distinctive styles of Klein and Lie.

Lie on Poincaré’s Support

Lie expressed his gratitude to Poincaré for his interest in numerous applications of group theory. He was “especially grateful that he [Poincaré] and later Picard stood with me in my fight over the foundations of geometry, whereas my opponents tried to ignore my works on this topic.” (In the text one learns who these “opponents” were.)

Page 78: Geometrical Visions The distinctive styles of Klein and Lie.

Klein’s Erlangen Program

A supplement to Tom Hawkins, “The Erlanger Programm of Felix Klein: Reflections on its Place in

the History of Mathematics,” Historia Mathematica 11 (1984):

442-470

Page 79: Geometrical Visions The distinctive styles of Klein and Lie.

Klein’s Lectures on Higher Geometry

• Circa 1890 Klein was returning to several topics in geometry he had pursued twenty years earlier in collaboration with Lie

• Corrado Segre had Gino Fano prepare an Italian translation of the Erlangen Program

• Soon afterward it appeared in French and English translations

• Klein wanted to republish it in German too, along with several of Lie’s earlier works

Page 80: Geometrical Visions The distinctive styles of Klein and Lie.

End of a Partnership

• Klein even wrote two drafts for an introductory essay on their collaboration during the period 1869–1872

• Lie profoundly disagreed with Klein’s portrayal of these events

• He also realized that his own subsequent research program had little to do with the Erlangen Program

• Lie felt under appreciated in Germany and from 1889–1892 was severely depressed

Page 81: Geometrical Visions The distinctive styles of Klein and Lie.

Lie on Klein and the “Erlangen Program” from 1872

Words that Scandalized the

German Mathematical Community

Page 82: Geometrical Visions The distinctive styles of Klein and Lie.

“Felix Klein, to whom I communicated all of my ideas in the course of these years [1870-72], developed a similar point of view for discontinuous groups. In his Erlangen Program, where he reported on his and my ideas, he speaks beyond this of groups that are neither continuous nor discontinuous in my terminology, for example he speaks of the group of Cremona transformations. . .. That there is an essential difference between these types of groups and those I have named continuous groups, namely that my continuous groups can be defined by differential equations, whereas this is not the case for the former groups, evidently escaped him completely.”

Page 83: Geometrical Visions The distinctive styles of Klein and Lie.

“Moreover, one finds hardly a trace of the all important concept of differential invariant in Klein’s Program. Klein took no part in creating these concepts, which first make it possible to found a general theory of invariants, and it was only from me that he learned that every group defined by differential equations determines differential invariants that can be found by integration of complete systems.”

Page 84: Geometrical Visions The distinctive styles of Klein and Lie.

Lie felt compelled to clarify these matters because “Klein’s pupils and friends have continually represented the relationship between Klein’s works and mine falsely,” and also because some of Klein’s remarks appended to the recently reissued Erlangen Program could easily be misconstrued.

“I am not a pupil of Klein, nor is the reverse the case, even though it perhaps comes closer to the truth. . . . I rate Klein’s talent highly and will never forget the sympathy with which he followed my scientific efforts from the beginning, but I believe that he, for example, does not sufficiently distinguish between induction and proof, between the introduction of a concept and its utilization.”

Page 85: Geometrical Visions The distinctive styles of Klein and Lie.

Seeking New Allies

• These remarks scandalized many within Klein’s extensive network (Hilbert, Minkowski)

• But Lie also criticized several others by name, including Helmholtz, de Tilly, Lindemann, and Killing

• He also singled out several French mathematicians for praise