courseshub.world · Lives in Mathematics and Physics

Julius Plücker

Julius Plücker

A course in two strands: the Bonn professor who turned geometry into algebra with homogeneous and line coordinates, and the physicist who first watched a magnet bend the glow of what would be called cathode rays.

Born 16 July 1801, Elberfeld Died 22 May 1868, Bonn Copley Medal Royal Society, 1866 Level advanced undergraduate → graduate
A quartic curve with four ovals (Trott’s example) and all 28 of its bitangents, every one real. Plücker gave the first quartic of this kind in 1839 and proved that a real quartic has 28, 16, or at most 8 real bitangents.
Lesson 00

How to use this course

Julius Plücker had two careers. From 1825 to 1846 he was a geometer who showed that algebra, used cleverly, could do everything the synthetic geometers of his day did with figures. From 1847 he held the chair of physics at Bonn and did pioneering experiments on magnetism in crystals, on electric discharges in rarefied gases and on the spectra of gases. In his last years he returned to geometry and founded line geometry, which his assistant Felix Klein carried forward.

Prerequisites for Part II
  • Linear algebra: determinants, bilinear and quadratic forms.
  • Plane analytic geometry of conics; some familiarity with projective coordinates helps.
  • For Lesson 06, the notion of a singular point of a plane curve.
  • For Lessons 07–09, introductory electromagnetism (Lorentz force, magnetic susceptibility) and the idea of an atomic spectrum.

Each technical lesson opens with a paragraph for the general reader, then gives precise statements, derivations and exercises with folded solutions. Lessons 04–06 follow his geometry of 1828–1839. Lessons 07–09 follow his physics of 1847–1865. Lesson 10 returns to geometry and his last work. Where modern physics explains something Plücker could only observe, the lesson says so explicitly.

Reference

Timeline

1801Born 16 July in Elberfeld (now part of Wuppertal), in the Duchy of Berg. Many sources give 16 June; his gravestone gives 16 July.
1816–19Gymnasium in Düsseldorf.
1819–23Studies at Heidelberg, then Bonn from the winter of 1820.
1823To Paris in March; hears Biot, Cauchy, Lacroix and Poisson. Doctorate from Marburg in absentia, 30 August.
1825Habilitation at Bonn, 28 April; becomes Privatdozent.
1828Extraordinary professor at Bonn. Analytisch-geometrische Entwicklungen, volume I.
1831Volume II: line coordinates and an algebraic footing for duality.
1833Berlin, extraordinary professor and gymnasium teacher; conflict with Jakob Steiner. From 7 November, ordinary professor at Halle.
1835System der analytischen Geometrie, with a theory of cubic curves.
1836Professor of mathematics at Bonn.
1837Marries Antonie Altstätten in Bonn; their son Albert is born in 1838.
1839Theorie der algebraischen Curven: the Plücker formulas and a quartic with 28 real bitangents.
1846System der Geometrie des Raumes in neuer analytischer Behandlungsweise.
1847Professor of physics at Bonn. Begins work on the magnetic behaviour of crystals.
1855Foreign Member of the Royal Society of London.
1857–58“On the Magnetic Induction of Crystals”, Philosophical Transactions.
1858Paper on the action of the magnet on the electric discharge in rarefied gases, using Geissler’s tubes: the cathode glow and its deflection.
1864–65With Johann Wilhelm Hittorf, “On the Spectra of Ignited Gases and Vapours”. “On a New Geometry of Space” read to the Royal Society.
1866Copley Medal. Felix Klein becomes his assistant.
1868Neue Geometrie des Raumes, part I. Dies in Bonn on 22 May.
1869Klein publishes part II of the Neue Geometrie.
Part I · Formation
Lesson 01

Elberfeld, Bonn, Paris, 1801–1825

Julius Plücker was born in Elberfeld, a textile town east of Düsseldorf, in 1801. His father, Johann Peter Plücker, was a businessman. Most reference works give his birthday as 16 June. The gravestone in Bonn gives 16 July, and the MacTutor biography follows it.

He attended school in Elberfeld and then the gymnasium in Düsseldorf, graduating in 1819. He spent three semesters at Heidelberg and moved to Bonn in the winter of 1820, where he studied mathematics and physics. The Prussian university at Bonn was barely two years old.

Paris

In March 1823 he went to Paris, then the capital of mathematics. He heard Jean-Baptiste Biot, Augustin-Louis Cauchy, Sylvestre François Lacroix and Siméon Denis Poisson. More important for his own work was the French school of geometry founded by Gaspard Monge. Its students had revived pure geometry, and Jean-Victor Poncelet had just published his treatise on projective properties of figures (1822). Plücker absorbed the problems of this school but chose to attack them with algebra.

While in Paris he sent a Latin dissertation on analytic methods in geometry and mechanics to the University of Marburg, where the astronomer and mathematician Christian Ludwig Gerling examined it. Marburg awarded him the doctorate in absentia on 30 August 1823. He returned to Bonn and qualified as a university lecturer with a habilitation lecture on 28 April 1825.

Lesson 02

The analytic geometer, 1825–1836

Plücker’s first book, the Analytisch-geometrische Entwicklungen, appeared in two volumes in 1828 and 1831. In 1828 Bonn made him an extraordinary professor. The book develops what he called abridged notation (Lesson 04): instead of writing out the equation of a line or conic, one names it by a single letter and reasons with linear combinations of these letters. The second volume introduced coordinates for lines and put the principle of duality on an algebraic footing (Lesson 05).

Duality was then the subject of an angry priority quarrel between Poncelet and Joseph Gergonne, and Plücker’s papers were drawn into it. His algebraic approach made the dispute look less important. Once a line has coordinates just as a point does, every theorem about points and lines has a dual obtained by exchanging the roles of the coordinates.

Berlin and Halle

In 1833 he moved to Berlin as extraordinary professor at the university, also teaching at the Friedrich Wilhelm Gymnasium. Berlin was not a comfortable place for him. Jakob Steiner, the leader of the synthetic school that rejected coordinates, was working there. The two men were rivals in method and in the competition for posts, and the relationship was hostile from the start. Plücker left within months. From 7 November 1833 he was ordinary professor at Halle, where he stayed for four semesters.

In 1835 he published System der analytischen Geometrie, which contains a detailed classification of plane cubic curves. It also contains the configuration of the nine inflection points of a cubic, which lie by threes on twelve lines; this is an early example of what combinatorialists now call a Steiner triple system (Exercise 6.3). In 1836 he returned to Bonn as ordinary professor of mathematics.

Lesson 03

From geometry to physics, 1836–1847

Back in Bonn, Plücker married Antonie Altstätten in 1837; their son Albert was born the next year. In 1839 he published Theorie der algebraischen Curven, his deepest work on plane curves. It contains the relations between the degree, class and singularities of a curve now called the Plücker formulas (Lesson 06). The book also gives the first explicit quartic curve all of whose 28 bitangents are real. In 1846 a final geometrical treatise, System der Geometrie des Raumes, treated surfaces of the second order by the same methods.

His reputation in Germany remained modest. The synthetic geometers around Steiner dominated, and analytic methods were considered less pure. He was read more warmly in Britain, where Arthur Cayley and George Salmon built directly on his work on curves. The Royal Society made him a Foreign Member in 1855.

The physics chair

In 1847 Plücker became professor of physics at Bonn and took charge of its physical cabinet. Why a leading geometer took this step is not documented. He had always valued applications of mathematics to physics, and the new experiments of Michael Faraday on magnetism attracted him; his first physical work began by repeating some of them. For the next eighteen years he published almost no mathematics.

His student and collaborator Johann Wilhelm Hittorf later wrote that Plücker never acquired great manual dexterity as an experimenter. What he had, Hittorf said, was a very clear idea of what an experiment needed to show, and the ability to make others eager to carry it out. The Bonn glassblower and instrument maker Heinrich Geissler was one of those others.

Part II · The mathematics and the physics
Lesson 04

Abridged notation and pencils

For the general reader. To find where two circles cross, you could solve equations. Plücker preferred to give each curve a name, say \(S\) and \(S'\), and to notice that every combination \(S+\lambda S'\) passes through all their common points. This simple observation, used systematically, proves many classical theorems in a few lines.

Goals
  • Use pencils of curves to prove incidence theorems without computing intersection points.
  • Understand homogeneous coordinates and the count of conditions on a curve of degree \(n\).
  • Explain Cramer’s paradox, which Plücker clarified.

Homogeneous coordinates

A point of the projective plane is a ratio \((x:y:z)\) of three numbers, not all zero. Ordinary points have \(z\ne0\) and correspond to \((x/z,y/z)\); points with \(z=0\) are at infinity. A curve of degree \(n\) is the zero set of a homogeneous polynomial \(F(x,y,z)\) of degree \(n\). August Ferdinand Möbius (with barycentric coordinates, 1827) and Plücker introduced such coordinates independently, and Plücker used them systematically.

A homogeneous polynomial of degree \(n\) in three variables has \(\binom{n+2}{2}\) coefficients. Up to a scalar factor, the curves of degree \(n\) form a projective space of dimension

\[ N_n=\binom{n+2}{2}-1=\frac{n(n+3)}{2}. \]

Requiring the curve to pass through a point is one linear condition on the coefficients, so \(N_n\) points in general position determine a unique curve of degree \(n\): 2 points a line, 5 a conic, 9 a cubic.

Principle of abridged notation

Let \(S=0\) and \(S'=0\) be curves of degree \(n\) with no common component. Every curve \(S+\lambda S'=0\) (\(\lambda\) a constant, including \(\lambda=\infty\), meaning \(S'=0\)) passes through all points common to \(S\) and \(S'\). The curves of this pencil are the only curves of degree \(n\) that are linear combinations of \(S\) and \(S'\), and one member passes through any further given point.

The idea of combining equations goes back at least to Gabriel Lamé (1818). Plücker made it a method. A classic application is Pascal’s theorem.

Theorem (Pascal) via abridged notation

If a hexagon is inscribed in a conic, the three intersection points of opposite sides are collinear.

Proof. Let the sides, in order, be the lines \(\ell_1,\dots,\ell_6\). The cubics \(A=\ell_1\ell_3\ell_5\) and \(B=\ell_2\ell_4\ell_6\) meet in nine points: the six vertices and the three points \(P_{14}=\ell_1\cap\ell_4\), \(P_{25}\), \(P_{36}\). Choose a further point \(Q\) on the conic \(C\), and choose \(\lambda\) so that \(A+\lambda B\) vanishes at \(Q\). This cubic meets the conic in seven points (six vertices and \(Q\)), more than the \(2\cdot3=6\) allowed by Bézout’s theorem, so it contains \(C\) as a component: \(A+\lambda B=C\cdot\ell\) for a line \(\ell\). The points \(P_{14},P_{25},P_{36}\) lie on \(A+\lambda B\) but not on \(C\), since each side meets the conic only at its two vertices. So they lie on \(\ell\). ∎

Cramer’s paradox

Two cubics meet in \(3\cdot3=9\) points, and 9 points seem to determine a cubic. So how can two different cubics pass through the same nine points? Gabriel Cramer and Leonhard Euler discussed this in letters of 1744–45. Plücker gave the explanation that became standard: the nine intersection points of two cubics are never in general position. Any cubic through eight of them passes through the ninth, and they impose only eight independent conditions. The pencil \(A+\lambda B\) is the whole one-parameter family of cubics through them. The same reasoning appears in the proof of Pascal’s theorem above, and in the group law on a cubic curve.

Exercise 4.1Let \(S=x^2+y^2-1\) and \(S'=x^2+y^2-4x+2\). Without solving for the intersection points, find the line through them and the circle of the pencil that passes through the origin.

Show solution
The member \(S-S'=4x-3\) has no quadratic part, so it is the common chord \(x=\tfrac34\). (Check: substituting gives \(y^2=\tfrac7{16}\), two real points.) For the origin, \(S+\lambda S'\) at \((0,0)\) is \(-1+2\lambda=0\), so \(\lambda=\tfrac12\) and the circle is \(\tfrac32(x^2+y^2)-2x=0\), that is \(x^2+y^2-\tfrac43x=0\).

Exercise 4.2Compute \(N_n\) for \(n=1,2,3,4\), and the number \(n^2\) of intersection points of two curves of degree \(n\). For which \(n\) does Cramer’s paradox arise, in the sense that \(n^2\ge N_n\)?

Show solution
\(N_1=2,\ N_2=5,\ N_3=9,\ N_4=14\), and \(n^2=1,4,9,16\). We need \(n^2\ge n(n+3)/2\), i.e. \(n\ge3\). For \(n=3\) the 9 points impose only 8 conditions. For \(n=4\), 16 intersection points of two quartics impose only 13 independent conditions on quartics, since all the quartics \(A+\lambda B\) pass through them.

Exercise 4.3Three circles in the plane, with centres not collinear, are given. Use abridged notation to prove that their three common chords (radical axes) are concurrent.

Show solution
Normalize each circle as \(S_i=x^2+y^2+\dots\) with leading coefficient 1. The radical axes are \(S_1-S_2=0\), \(S_2-S_3=0\), \(S_3-S_1=0\), all lines. Any point where the first two vanish satisfies \(S_1=S_2=S_3\), hence also \(S_3-S_1=0\). The first two lines are not parallel because the centres are not collinear, so they meet in a point lying on all three.
Lesson 05

Line coordinates and duality

For the general reader. A point in the plane can be described by numbers. Plücker saw that a line can be too: the line \(ux+vy+wz=0\) is fixed by the ratio \((u:v:w)\). Then points and lines become two equal partners, and every theorem about one becomes a theorem about the other.

Goals
  • Use line coordinates and the incidence relation \(ux+vy+wz=0\).
  • Compute the dual of a conic and of a curve.
  • Define the class of a curve.

Points and lines as equals

In the projective plane, a line is the set of points \((x:y:z)\) satisfying \(ux+vy+wz=0\). Plücker took \((u:v:w)\) as the coordinates of the line. The incidence relation is symmetric. Fixing \((x:y:z)\) and letting \((u:v:w)\) vary, the same equation describes the pencil of lines through a point. The line through two points is their cross product, and the point on two lines is the cross product of their coordinates.

Principle of duality (algebraic form)

Any statement about incidence of points and lines in the projective plane remains true when “point” and “line” are exchanged, because the incidence relation \(\sum u_ix_i=0\) is symmetric in the two sets of coordinates.

Dual curves and class

A curve can be regarded as the set of its points or as the envelope of its tangent lines. At a smooth point \(p\) of \(F=0\), the tangent line has coordinates \((u:v:w)=\nabla F(p)\). The closure of the set of tangent lines is the dual curve \(C^*\) in the dual plane. Its degree is the class of \(C\): the number of tangents to \(C\) through a general point.

Proposition (dual conic)

If \(C\) is the smooth conic \(x^{\mathsf T}Ax=0\) with \(A\) symmetric and invertible, then \(C^*\) is the conic \(u^{\mathsf T}A^{-1}u=0\). In particular a smooth conic has class 2, and \((C^*)^*=C\).

Proof. The tangent at \(p\in C\) is \(u=Ap\) (up to scale), so \(p=A^{-1}u\) and \(p^{\mathsf T}Ap=u^{\mathsf T}A^{-1}AA^{-1}u=u^{\mathsf T}A^{-1}u=0\). ∎

Biduality \((C^*)^*=C\) holds for all plane curves in characteristic 0. Under duality, a double tangent (bitangent) of \(C\) becomes a node of \(C^*\), and an inflectional tangent becomes a cusp of \(C^*\). This is the dictionary behind the Plücker formulas.

Exercise 5.1Find the dual of the conic \(x^2+y^2-z^2=0\) and of the parabola \(y z=x^2\).

Show solution
For the circle, \(A=\mathrm{diag}(1,1,-1)=A^{-1}\), so the dual is \(u^2+v^2-w^2=0\): a line \(ux+vy+w=0\) is tangent to the unit circle iff its distance \(|w|/\sqrt{u^2+v^2}\) to the origin is 1. For \(x^2-yz=0\), \(A=\begin{pmatrix}1&0&0\\0&0&-\tfrac12\\0&-\tfrac12&0\end{pmatrix}\), \(A^{-1}=\begin{pmatrix}1&0&0\\0&0&-2\\0&-2&0\end{pmatrix}\), so the dual is \(u^2-4vw=0\).

Exercise 5.2The cuspidal cubic \(C:\ y^2z=x^3\) is parametrized by \((t^2:t^3:1)\). Find the equation of its dual curve.

Show solution
\(\nabla F=(-3x^2,\ 2yz,\ y^2)\) at \((t^2,t^3,1)\) is \((-3t^4,2t^3,t^6)\propto(-3t:2:t^3)\). With \(u=-3t,\ v=2,\ w=t^3\) we get \(t=-2u/(3v)\) and \(w/v=t^3/2=-4u^3/(27v^3)\), so \(C^*:\ 4u^3+27v^2w=0\). The dual is again a cuspidal cubic: the cusp of \(C\) and its single inflection exchange roles.

Exercise 5.3State the dual of Pascal’s theorem.

Show solution
Brianchon’s theorem (1806): if a hexagon is circumscribed about a conic, its three main diagonals (joining opposite vertices) are concurrent. Points on the conic become tangent lines, the line through two points becomes the point where two lines meet, and collinear points become concurrent lines.
Lesson 06

The Plücker formulas

For the general reader. A smooth curve of degree 3 has exactly 9 points where it is flattest (inflection points). A smooth curve of degree 4 has exactly 28 lines that touch it twice. Plücker found the general rule behind such numbers: a small set of equations that link the degree of a curve, the number of tangents through a point, and the curve’s special points.

Goals
  • State the Plücker formulas with their hypotheses.
  • Derive the class formula from the polar curve and the flex count from the Hessian.
  • Compute the numbers of flexes and bitangents of smooth cubics and quartics.

The invariants

Let \(C\) be an irreducible plane curve of degree \(d\) over \(\mathbb C\) whose only singularities are \(\delta\) ordinary nodes and \(\kappa\) ordinary cusps, and suppose its dual \(C^*\) has the same property. Let \(d^*\) be the class, \(\delta^*\) the number of bitangents and \(\kappa^*\) the number of inflection points (the nodes and cusps of \(C^*\)).

Theorem (Plücker, 1830s) \[ \begin{aligned} d^* &= d(d-1)-2\delta-3\kappa, & d &= d^*(d^*-1)-2\delta^*-3\kappa^*,\\ \kappa^* &= 3d(d-2)-6\delta-8\kappa, & \kappa &= 3d^*(d^*-2)-6\delta^*-8\kappa^*. \end{aligned} \]

Moreover the genus is the same computed from either side:

\[ g=\tfrac12(d-1)(d-2)-\delta-\kappa=\tfrac12(d^*-1)(d^*-2)-\delta^*-\kappa^*. \]

Only three of these relations among \(d,d^*,\delta,\delta^*,\kappa,\kappa^*\) are independent, so three suitably chosen numbers determine the rest. Plücker stated six equations of this kind. Reading the common quantity as the genus of the curve came later, with the work of Bernhard Riemann and Alfred Clebsch.

Derivation of the class formula

The tangents from a general point \(q\) touch \(C\) where \(F=0\) and \(\sum_i q_i\,\partial F/\partial x_i=0\). The second curve, the first polar of \(q\), has degree \(d-1\), so by Bézout it meets \(C\) in \(d(d-1)\) points counted with multiplicity. The polar passes through every singular point of \(C\). A careful local computation shows that a node absorbs 2 of the intersections and a cusp absorbs 3, and these do not correspond to tangents from \(q\). Hence \(d^*=d(d-1)-2\delta-3\kappa\).

Flexes and the Hessian

A smooth point of \(C\) is an inflection point exactly when the Hessian determinant \(H=\det(\partial^2F/\partial x_i\partial x_j)\) vanishes there. \(H\) has degree \(3(d-2)\), so it meets \(C\) in \(3d(d-2)\) points. Again a local analysis shows that a node absorbs 6 and a cusp 8, giving \(\kappa^*=3d(d-2)-6\delta-8\kappa\). The other two formulas follow by applying these to \(C^*\) and using biduality.

Exercise 6.1Show that a smooth plane quartic has class 12, 24 flexes and 28 bitangents, and check the two genus formulas.

Show solution
\(d=4,\ \delta=\kappa=0\): \(d^*=12\) and \(\kappa^*=3\cdot4\cdot2=24\). Then \(4=12\cdot11-2\delta^*-3\cdot24=60-2\delta^*\), so \(\delta^*=28\). Genus: \(\tfrac12\cdot3\cdot2=3\), and \(\tfrac12\cdot11\cdot10-28-24=55-52=3\).

Exercise 6.2Compute class, flexes and bitangents for (a) a smooth cubic, (b) a nodal cubic, (c) a cuspidal cubic. Compare (c) with Exercise 5.2.

Show solution
(a) \(d^*=6,\ \kappa^*=9\), and \(3=30-2\delta^*-27\) gives \(\delta^*=0\). (b) \(\delta=1\): \(d^*=4,\ \kappa^*=9-6=3\), \(3=12-2\delta^*-9\), \(\delta^*=0\). (c) \(\kappa=1\): \(d^*=3,\ \kappa^*=9-8=1\), \(\delta^*=0\). The dual of a cuspidal cubic is a cubic with one cusp, as found directly in Exercise 5.2.

Exercise 6.3For a smooth cubic, the line through any two flexes passes through a third flex. How many such lines are there, and how many pass through each flex? Verify this for the Fermat cubic \(x^3+y^3+z^3=0\), whose Hessian is \(216xyz\).

Show solution
Nine points, each pair on exactly one line, three points per line: \(\binom92/\binom32=36/3=12\) lines, and each flex lies on \((9-1)/2=4\) of them. The flexes of the Fermat cubic lie on \(xyz=0\): with \(z=0\), \(x^3=-y^3\) gives \((1:-\omega^k:0)\) for \(\omega^3=1\), and similarly for \(x=0\) and \(y=0\), nine points in all. This is the Steiner triple system \(S(2,3,9)\), the affine plane over \(\mathbb F_3\).
Lesson 07

Magnecrystallic action

For the general reader. Faraday showed in 1845 that all matter responds to a strong magnet: iron is attracted, while bismuth and many other substances are weakly repelled. Soon after taking the physics chair, Plücker found that a crystal also turns in a magnetic field, in a way set by its internal crystal axes rather than its outer shape. This is magnetic anisotropy, and he spent a decade sorting out its laws.

Goals
  • Describe a weakly magnetic anisotropic crystal by a susceptibility tensor.
  • Derive the torque on a crystal and its stable orientations.
  • See how Plücker’s “auxiliary ellipsoid” matches the modern tensor.

What Plücker observed

Suspending small crystals between the poles of a strong electromagnet, Plücker found that the optic axis of certain uniaxial crystals set itself in the equatorial position, perpendicular to the line joining the poles. Further experiments showed that in other crystals the optic axis went to the axial position instead. In the paper “On the Magnetic Induction of Crystals”, read to the Royal Society in 1857 and published in 1858, he proposed that induction in a crystal is governed by an auxiliary ellipsoid, using Poisson’s theory of induced magnetism and a construction of his student August Beer. He found that each crystal has directions along which it behaves like an amorphous body. He stressed that the optic axes exert no special force; they merely mark directions of the crystal’s structure.

The modern description

For a weakly magnetic material, \(|\chi|\ll1\), the magnetization is \(\mathbf M=\chi\,\mathbf H\approx\chi\,\mathbf B/\mu_0\), where \(\chi\) is a symmetric \(3\times3\) tensor. Its principal axes are tied to the crystal lattice. A sample of volume \(V\) in a uniform field has energy

\[ U=-\frac{V}{2\mu_0}\,\mathbf B^{\mathsf T}\chi\,\mathbf B. \]
Proposition (uniaxial crystal)

Let \(\chi\) have eigenvalue \(\chi_\parallel\) along the crystal axis and \(\chi_\perp\) across it, and let \(\theta\) be the angle between axis and field. Then

\[ U(\theta)=-\frac{VB^2}{2\mu_0}\big(\chi_\perp+(\chi_\parallel-\chi_\perp)\cos^2\theta\big),\qquad \tau=-\frac{dU}{d\theta}=-\frac{VB^2}{2\mu_0}(\chi_\parallel-\chi_\perp)\sin2\theta . \]

The axis turns parallel to the field if \(\chi_\parallel>\chi_\perp\) and perpendicular to it if \(\chi_\parallel<\chi_\perp\). Only the difference matters: a diamagnetic crystal (both \(\chi\) negative) still has a preferred orientation.

This explains why the same experiment gave “equatorial” for some crystals and “axial” for others. The ellipsoid with semi-axes related to the principal susceptibilities is the geometric form of the tensor, close in spirit to Plücker’s auxiliary ellipsoid. Plücker himself later accepted William Thomson’s (Lord Kelvin’s) theory of magnetic induction as the right foundation for these laws.

Exercise 7.1Derive the torque formula from \(U\). Show that \(\theta=0\) is stable when \(\chi_\parallel>\chi_\perp\).

Show solution
With \(\mathbf B=B(\cos\theta,\sin\theta,0)\) in the crystal frame, \(\mathbf B^{\mathsf T}\chi\mathbf B=B^2(\chi_\parallel\cos^2\theta+\chi_\perp\sin^2\theta)=B^2(\chi_\perp+(\chi_\parallel-\chi_\perp)\cos^2\theta)\). Then \(dU/d\theta=\frac{VB^2}{2\mu_0}(\chi_\parallel-\chi_\perp)\cdot2\cos\theta\sin\theta\), giving \(\tau\). Near \(\theta=0\), \(U\approx\text{const}+\frac{VB^2}{2\mu_0}(\chi_\parallel-\chi_\perp)\theta^2\), a minimum when \(\chi_\parallel>\chi_\perp\).

Exercise 7.2A crystal suspended by a fibre of negligible stiffness, with moment of inertia \(I\) about the vertical, oscillates about its stable orientation. Find the small-oscillation period and explain how it could be used to measure \(\Delta\chi=\chi_\parallel-\chi_\perp\).

Show solution
Linearizing, \(I\ddot\theta=-\frac{VB^2}{\mu_0}|\Delta\chi|\,\theta\), so \(T=2\pi\sqrt{\mu_0 I/(VB^2|\Delta\chi|)}\). Measuring \(T\) at known \(B\), \(V\) and \(I\) gives \(|\Delta\chi|\). Doubling \(B\) halves the period, which is a check that the effect is induced and quadratic in the field.
Lesson 08

The glow that a magnet moves

For the general reader. Pass a high voltage through a glass tube from which most of the air has been pumped, and the tube glows. In 1858 Plücker noticed a green glow on the glass near the negative electrode, and found that a magnet pushed it around. Something was leaving the negative electrode and could be steered by magnetism. Forty years later it was identified as a stream of electrons.

Goals
  • Describe Plücker’s observations of 1858 and what followed from them.
  • Derive the helical motion of a charge in a magnetic field and explain why the glow follows field lines.
  • Relate gas pressure to the mean free path and to the appearance of cathode rays.

The experiments

From about 1856 Plücker studied how strong magnets act on the luminous discharge in glass tubes of highly rarefied gas. Heinrich Geissler, working in Bonn, made tubes with sealed-in platinum electrodes, evacuated with an improved pump. In an 1858 paper in Poggendorff’s Annalen der Physik, Plücker reported that the glass wall near the cathode glowed with a greenish fluorescence, and that an electromagnet displaced this glow. The Royal Society’s Copley Medal address summarized his finding that a magnet gathers the bluish negative light from each point of the cathode along a line of magnetic force. Plücker gave mathematical definitions of these curves.

Hittorf continued the work. In 1869 he showed that an object between the cathode and the glass casts a sharp shadow, so that whatever leaves the cathode travels in straight lines. Eugen Goldstein named the agent Kathodenstrahlen, cathode rays, in 1876. William Crookes studied them in better vacua, and in 1897 J. J. Thomson measured their charge-to-mass ratio and identified them as particles far lighter than any atom.

Charges in a magnetic field

A particle of charge \(q\) and mass \(m\) in a uniform field \(\mathbf B\) obeys \(m\dot{\mathbf v}=q\,\mathbf v\times\mathbf B\).

Proposition (gyration)

Decompose \(\mathbf v=v_\parallel\hat{\mathbf b}+\mathbf v_\perp\). Then \(v_\parallel\) and \(|\mathbf v_\perp|\) are constant, and the particle moves on a helix around a field line with radius and angular frequency

\[ r_L=\frac{m v_\perp}{|q|B},\qquad \omega_c=\frac{|q|B}{m}. \]

Proof. Dotting the equation of motion with \(\mathbf B\) gives \(\dot v_\parallel=0\). Dotting with \(\mathbf v\) gives \(\frac{d}{dt}\tfrac12 m|\mathbf v|^2=0\), so \(|\mathbf v_\perp|\) is constant too. In the plane perpendicular to \(\mathbf B\), the force has constant magnitude \(|q|v_\perp B\) and is perpendicular to the velocity, so the motion is uniform circular with \(m v_\perp^2/r_L=|q|v_\perp B\). ∎

For electrons of a few hundred to a few thousand electron volts and laboratory fields, \(r_L\) is a millimetre or less. The electrons are tied to field lines, which is why the glow traced out the lines of force that Plücker described. The direction of deflection follows from the sign: for an electron, \(\mathbf F=-e\,\mathbf v\times\mathbf B\).

Why the vacuum matters

In a gas at temperature \(T\) and pressure \(p\), with molecular diameter \(d\), the mean free path is

\[ \lambda=\frac{k_BT}{\sqrt2\,\pi d^2p}. \]

Electrons travel freely only over distances of order \(\lambda\) (larger by a modest factor, since electrons are small and fast, but of the same scaling). At the pressures of the early Geissler tubes most of the energy goes into collisions and a glowing column of gas. As the pressure falls, the dark space near the cathode grows, and the beam reaches the glass, where it excites fluorescence.

Exercise 8.1An electron is accelerated through 1000 V and enters a field of 0.1 T perpendicular to its velocity. Find its speed and radius of curvature. (\(e=1.602\times10^{-19}\) C, \(m_e=9.109\times10^{-31}\) kg; ignore relativity.)

Show solution
\(v=\sqrt{2eU/m_e}=\sqrt{2\cdot1.602\times10^{-16}/9.109\times10^{-31}}\approx1.88\times10^7\) m/s, about 6% of the speed of light. \(r=m_ev/(eB)\approx(9.109\times10^{-31}\cdot1.88\times10^7)/(1.602\times10^{-20})\approx1.07\times10^{-3}\) m, about a millimetre.

Exercise 8.2Take \(d=3.7\times10^{-10}\) m for air molecules and \(T=293\) K. Compute \(\lambda\) at 100 Pa (about \(10^{-3}\) atm) and at 1 Pa. Which pressure allows a beam to cross a tube 10 cm long?

Show solution
\(\lambda=k_BT/(\sqrt2\pi d^2p)\). At 100 Pa, \(\lambda\approx6.7\times10^{-5}\) m, about 0.07 mm. At 1 Pa, \(\lambda\approx6.7\) mm. Neither reaches 10 cm; that needs roughly 0.05 Pa or less. This is why clear cathode-ray effects required the better pumps of the 1870s.

Exercise 8.3Electrons travel in the \(+x\) direction and a magnetic field points in the \(+z\) direction. In which direction is the beam deflected?

Show solution
\(\mathbf F=-e\,v\hat x\times B\hat z=-evB(\hat x\times\hat z)=-evB(-\hat y)=+evB\,\hat y\). The beam bends toward \(+y\), opposite to the direction a positive charge would bend.
Lesson 09

Spectra of gases

For the general reader. Light from a glowing gas, passed through a prism, breaks into bright lines whose pattern identifies the gas. Plücker made this observation with his discharge tubes around 1859, just as Kirchhoff and Bunsen were establishing spectrum analysis with flames. He was among the first to see the visible lines of hydrogen. With Hittorf he discovered that one element can show two quite different spectra.

Goals
  • Describe the capillary tube and the results of Plücker and Hittorf.
  • Compute the visible hydrogen lines from the Balmer–Rydberg formula.
  • Interpret “spectra of the first and second order” as molecular bands and atomic lines.

The capillary tube

In a wide tube the light of the discharge was too faint for a spectroscope. Plücker had Geissler make tubes with a narrow capillary section. The current density there was high, and the capillary glowed brightly enough to give clean spectra. Each gas gave its own spectrum, even in quantities too small for chemical detection. Plücker thus showed, independently of Gustav Kirchhoff and Robert Bunsen, that spectral lines are characteristic of the emitting substance. According to Hittorf, he was the first to see the three bright visible lines of hydrogen, now called H\(\alpha\), H\(\beta\), H\(\gamma\).

Two spectra of one element

The joint memoir of Plücker and Hittorf, read to the Royal Society in 1864 and printed in the Philosophical Transactions for 1865, reported that nitrogen, sulphur and several other elements each show two spectra with no lines in common. They called them spectra of the first order (shaded bands, at lower temperature) and of the second order (bright lines, at higher temperature, for example with a Leyden jar in the circuit). The change was abrupt and reversible. They attributed it to different states of the gas. They also saw the hydrogen lines broaden at high temperature until the spectrum approached a continuum.

Quantum mechanics explains both findings. Band spectra come from molecules such as \(\mathrm N_2\), whose vibrational and rotational levels give closely spaced lines that merge into shaded bands. Line spectra come from atoms and ions, produced in the hotter, more violent discharge. Broadening in a dense discharge is mainly due to the electric fields of nearby charged particles (pressure or Stark broadening); thermal Doppler broadening is much smaller.

Balmer–Rydberg formula (1885–1888)

The visible lines of hydrogen have wavelengths given by

\[ \frac1\lambda=R_{\mathrm H}\Big(\frac1{2^2}-\frac1{n^2}\Big),\qquad n=3,4,5,\dots,\qquad R_{\mathrm H}\approx1.0968\times10^{7}\ \mathrm{m}^{-1}. \]

Equivalently \(\lambda=B\,n^2/(n^2-4)\). Balmer’s empirical constant for wavelengths measured in air is \(B\approx364.56\) nm; in vacuum \(B=4/R_{\mathrm H}\approx364.7\) nm. In Bohr’s model (1913) the line \(n\to2\) has photon energy \(13.6\ \mathrm{eV}\,(1/4-1/n^2)\).

Johann Balmer found this formula in 1885 from four measured wavelengths. Plücker died seventeen years before, without knowing that the lines he had seen would become the key to atomic structure.

Exercise 9.1Compute the wavelengths of H\(\alpha\), H\(\beta\) and H\(\gamma\) from \(\lambda=364.56\ \mathrm{nm}\cdot n^2/(n^2-4)\). Where does the series accumulate?

Show solution
\(n=3\): \(364.56\cdot9/5=656.2\) nm (red). \(n=4\): \(364.56\cdot16/12=486.1\) nm (blue-green). \(n=5\): \(364.56\cdot25/21=434.0\) nm (violet). As \(n\to\infty\), \(\lambda\to364.6\) nm, the series limit in the near ultraviolet.

Exercise 9.2The thermal Doppler width (full width at half maximum) of a line is \(\Delta\lambda=\lambda\sqrt{8k_BT\ln2/(mc^2)}\). Compute it for H\(\alpha\) at 300 K and at 3000 K. Could Doppler broadening explain hydrogen lines that widen toward a continuum?

Show solution
With \(m=1.67\times10^{-27}\) kg, \(\Delta\lambda\approx0.008\) nm at 300 K and \(\approx0.026\) nm at 3000 K, tiny compared with the spacing of the lines (tens of nanometres). The large broadening Plücker and Hittorf saw must come from another mechanism; in a dense discharge it is mainly Stark broadening by the fields of neighbouring ions and electrons, to which hydrogen is especially sensitive.

Exercise 9.3Using the Bohr energies \(E_n=-13.6\ \mathrm{eV}/n^2\), compute the photon energy of H\(\alpha\) and check its wavelength with \(\lambda=hc/E\), \(hc=1239.8\) eV·nm.

Show solution
\(E=13.6(1/4-1/9)=13.6\cdot5/36\approx1.89\) eV, and \(\lambda=1239.8/1.89\approx656\) nm, in agreement with Exercise 9.1.
Lesson 10

Line geometry

For the general reader. Ordinary geometry builds space out of points. Plücker proposed building it out of straight lines. Space has a four-dimensional family of lines, so families defined by one equation (complexes) are three-dimensional, and their study is a geometry in its own right. The idea came from optics and mechanics, where rays of light and axes of rotation are lines, and it later fed into robotics and kinematics.

Goals
  • Define Plücker coordinates and prove the Plücker relation.
  • Decide when two lines meet.
  • Understand linear complexes and the count of dimensions in line geometry.

Coordinates of a line

Let \(x=(x_0:x_1:x_2:x_3)\) and \(y\) be two distinct points of a line \(L\) in projective 3-space \(\mathbb P^3\). Plücker took the six \(2\times2\) minors

\[ p_{ij}=x_iy_j-x_jy_i,\qquad 0\le i<j\le3. \]

Replacing \(x,y\) by two other points of \(L\) multiplies all \(p_{ij}\) by the same nonzero determinant, so \((p_{01}:p_{02}:p_{03}:p_{12}:p_{13}:p_{23})\) is a point of \(\mathbb P^5\) determined by \(L\).

Theorem (Plücker relation; Klein quadric)

For every line, \(p_{01}p_{23}-p_{02}p_{13}+p_{03}p_{12}=0\). Conversely, every point of \(\mathbb P^5\) satisfying this relation comes from a unique line. Lines in \(\mathbb P^3\) are therefore in bijection with the points of a smooth quadric hypersurface in \(\mathbb P^5\), a four-dimensional variety.

Proof sketch. Expand \(\det(x,y,x,y)=0\) along the first two rows (Laplace expansion): the result is \(2(p_{01}p_{23}-p_{02}p_{13}+p_{03}p_{12})\). For the converse, given \(p\) on the quadric, one of the coordinates is nonzero, say \(p_{01}\ne0\); then the points \((0,p_{01},p_{02},p_{03})\) and \((-p_{01},0,p_{12},p_{13})\) span a line with the given coordinates. ∎

Proposition (incidence)

For lines \(L=\overline{xy}\) and \(L'=\overline{ab}\), define the symmetric bilinear form

\[ \Omega(p,p')=p_{01}p'_{23}+p_{23}p'_{01}-p_{02}p'_{13}-p_{13}p'_{02}+p_{03}p'_{12}+p_{12}p'_{03}. \]

Then \(\Omega(p,p')=\det(x,y,a,b)\), so \(L\) and \(L'\) meet if and only if \(\Omega(p,p')=0\).

The two lines meet exactly when the four points lie in a plane, that is, when the determinant vanishes. In Euclidean language, with \(x_0=1\), a line has direction \(\mathbf d=(p_{01},p_{02},p_{03})\) and moment \(\mathbf m=(p_{23},-p_{13},p_{12})=\mathbf x\times\mathbf y\), with \(\mathbf d\cdot\mathbf m=0\). Two lines meet when \(\mathbf d\cdot\mathbf m'+\mathbf d'\cdot\mathbf m=0\).

Complexes

A line complex is a three-parameter family of lines given by one equation in the \(p_{ij}\); a congruence is a two-parameter family, and a ruled surface a one-parameter family. In a linear complex \(\sum a_{ij}p_{ij}=0\), the lines of the complex through any point lie in one plane. This correspondence of points and planes is the null system studied earlier by Möbius in statics. Linear complexes describe instantaneous screw motions of a rigid body: the lines along which the motion has no component form such a complex. Klein’s dissertation (1868), written under Plücker, classified quadratic line complexes.

Exercise 10.1In affine coordinates, find \(\mathbf d\) and \(\mathbf m\) for the line through \((1,0,0)\) and \((1,1,0)\). Check \(\mathbf d\cdot\mathbf m=0\) and show that \(|\mathbf m|/|\mathbf d|\) is the distance from the line to the origin.

Show solution
\(\mathbf d=(0,1,0)\), \(\mathbf m=(1,0,0)\times(1,1,0)=(0,0,1)\), and \(\mathbf d\cdot\mathbf m=0\). The line is \(x=1,\ z=0\), at distance 1 from the origin, and \(|\mathbf m|/|\mathbf d|=1\). In general \(\mathbf m=\mathbf x\times\mathbf d\) for any point \(\mathbf x\) of the line, and \(|\mathbf x\times\mathbf d|/|\mathbf d|\) is the distance from the origin.

Exercise 10.2Fix a line \(L'\) with coordinates \(p'\). Show that the lines meeting \(L'\) form a linear complex whose coefficient vector satisfies the Plücker relation. Such complexes are called special.

Show solution
By the incidence proposition the condition is \(\Omega(p,p')=0\), linear in \(p\), with coefficients \(a_{01}=p'_{23},\ a_{23}=p'_{01},\ a_{02}=-p'_{13},\ a_{13}=-p'_{02},\ a_{03}=p'_{12},\ a_{12}=p'_{03}\). Then \(a_{01}a_{23}-a_{02}a_{13}+a_{03}a_{12}=p'_{23}p'_{01}-p'_{13}p'_{02}+p'_{12}p'_{03}=0\). Conversely, a linear complex is special exactly when its coefficients satisfy the Plücker relation.

Exercise 10.3Count dimensions: why is the family of lines in \(\mathbb P^3\) four-dimensional? How many lines meet four general lines?

Show solution
A line is determined by its intersection points with two fixed general planes, each a point in a 2-dimensional plane: 2+2=4. Equivalently, the Klein quadric is a hypersurface in \(\mathbb P^5\). Meeting a given line is one linear condition, so four general lines give four hyperplane sections of the quadric, a linear space \(\mathbb P^1\) meeting a quadric in 2 points: two lines meet four general lines. This is a first problem of Schubert calculus.
Part III · Life and legacy
Lesson 11

Last years and Klein, 1864–1868

In 1864 Plücker sent the Royal Society two memoirs, one on gas spectra with Hittorf and one titled “On a New Geometry of Space”. Both appeared in the Philosophical Transactions for 1865. From then on his research was mainly geometry again, though he kept the chair of physics. A paper on the foundations of mechanics followed in 1866.

On 30 November 1866 the Royal Society awarded him its Copley Medal, its highest honour, for his researches in analytical geometry, magnetism and spectral analysis. The same year the seventeen-year-old Felix Klein became his assistant in the physics laboratory. Klein helped him prepare the Neue Geometrie des Raumes, gegründet auf die Betrachtung der geraden Linie als Raumelement, whose first part appeared in 1868.

Plücker died in Bonn on 22 May 1868 and is buried in the Alter Friedhof there. The second part of his book was unfinished. Klein, who had discussed its plan with him, completed it and published it in 1869, and in doing so came into contact with Alfred Clebsch at Göttingen. Klein took his doctorate at Bonn in 1868 with a dissertation on line geometry; Rudolf Lipschitz is also named as an advisor. Among Plücker’s other students were Hittorf, who became professor at Münster, and August Beer, remembered for the Beer–Lambert law of absorption.

DiscussionPlücker spent eighteen years in experimental physics, then returned to geometry with an idea (lines as elements) suggested partly by optics and mechanics. Discuss how work in one field can prepare an unexpected contribution to another, using his career and one other example you know.

Lesson 12

Legacy

Plücker’s geometry won through. Within a generation, coordinates and algebra had absorbed the synthetic geometry of Poncelet and Steiner, and the questions he asked about curves became the starting point of algebraic geometry.

  • Projective algebraic geometry: homogeneous coordinates, the systematic use of duality, and the Plücker formulas, later generalized by Zeuthen, Max Noether and many others, and now understood through the genus and the Riemann–Hurwitz formula.
  • Grassmannians: his line coordinates generalize to the Plücker embedding of the Grassmannian of \(k\)-planes in an \(n\)-dimensional space, cut out by the Plücker relations. These are central in Schubert calculus, representation theory, integrable systems (the KP hierarchy) and the theory of positive Grassmannians in physics.
  • Klein and Lie: line geometry was the starting point of Felix Klein’s work and, through Klein, of Sophus Lie’s line–sphere correspondence and his theory of continuous groups. Klein’s Erlangen programme grew from these studies.
  • Kinematics and robotics: Plücker coordinates and screw theory describe the motions of rigid bodies and are standard in robot kinematics and computer graphics.
  • Physics: his discharge experiments began the line of research that led through Hittorf, Goldstein and Crookes to J. J. Thomson’s electron (1897). His gas spectra were part of the founding evidence for spectrum analysis, and the hydrogen lines he saw led to Balmer’s formula and to Bohr’s atom.
  • Honours: Foreign Member of the Royal Society (1855) and Copley Medal (1866). His collected mathematical papers were edited by Arthur Schoenflies and his physical papers by Friedrich Pockels (1895–96).

Final projectWrite a two-page account of the Plücker embedding of the Grassmannian \(G(2,4)\): define it, prove that its image is the quadric of Lesson 10, and explain how the incidence form \(\Omega\) answers the question of Exercise 10.3.

Reference

Sources and further reading

Biography

  1. J. J. O’Connor and E. F. Robertson, Julius Plücker, MacTutor History of Mathematics.
  2. Julius Plücker, Wikipedia.
  3. Obituary notice, Proceedings of the Royal Society (1869), via MacTutor.
  4. Julius Plücker receives the Copley Medal, address of 30 November 1866, Proc. Roy. Soc. 15 (1867).
  5. Plücker’s correspondence with Faraday, Epsilon: Faraday letters.

Mathematics

  1. J. Plücker, Analytisch-geometrische Entwicklungen, 2 vols., Essen, 1828–1831.
  2. J. Plücker, System der analytischen Geometrie, Berlin, 1835.
  3. J. Plücker, Theorie der algebraischen Curven, Bonn, 1839.
  4. J. Plücker, On a new geometry of space, Phil. Trans. R. Soc. 155 (1865).
  5. J. Plücker, Neue Geometrie des Raumes, gegründet auf die Betrachtung der geraden Linie als Raumelement, Leipzig, 1868–1869 (part II edited by F. Klein).
  6. Plücker formula and Plücker coordinates, Wikipedia.
  7. C. T. C. Wall, Singular Points of Plane Curves, Cambridge University Press, 2004 (modern treatment of the Plücker formulas).
  8. H. Pottmann and J. Wallner, Computational Line Geometry, Springer, 2001.

Physics

  1. J. Plücker, On the magnetic induction of crystals, Phil. Trans. R. Soc. 148 (1858), text.
  2. J. Plücker, Ueber die Einwirkung des Magneten auf die elektrischen Entladungen in verdünnten Gasen, Ann. Phys. (1858), doi:10.1002/andp.18581790106.
  3. J. Plücker and J. W. Hittorf, On the spectra of ignited gases and vapours, with especial regard to the different spectra of the same elementary gaseous substance, Phil. Trans. R. Soc. 155 (1865), text.
  4. Cathode ray, Wikipedia (history section).