return

Celebratio Mathematica

Cameron McAllan Gordon

Cameron Gordon: a brief biography

by Rob Kirby

Camer­on Mc­Al­lan Gor­don was born on March 2, 1945, in the small vil­lage of Lums­den in Ab­er­deen­shire, Scot­land. His an­cest­ors are Scots as far back as Camer­on knows. His fath­er’s full name, Camer­on Grant Gor­don, and his own are dis­tin­guished by the middle names of Mc­Al­lan and Grant, which are the maid­en names of Camer­on Jr.’s moth­er and grand­moth­er, re­spect­ively, for that was a cus­tom in Scot­land — pre­serving the moth­er’s maid­en name by mak­ing it the middle name of a son or daugh­ter.

Un­til she got mar­ried, Camer­on’s moth­er, Ag­nes Emma Mc­Al­lan, was a school­teach­er. His fath­er was a baker, as was his fath­er be­fore him. After an eight-year so­journ in New York, Camer­on Grant Gor­don re­turned to Scot­land, and, in 1942, bought a Lums­den bakery, which he made a suc­cess. Be­sides the shop in the vil­lage, he had sev­er­al vans which would de­liv­er baked goods to the sur­round­ing farms. As the busi­ness ma­tured, much of the day-to-day routine passed in­to the hands of the work­ers, but the wed­ding and birth­day cakes re­mained Camer­on’s fath­er’s do­main. His “but­ter­ies”, a north­east­ern Scot­tish spe­cialty — a heav­ier ver­sion of the crois­sant — were well known in the re­gion. They’re really good; a but­tery with marmalade in the morn­ing, man…

Des­pite his fath­er’s suc­cess, and the com­par­at­ive wealth that res­ul­ted from it, the fam­ily of four (which now in­cluded Camer­on’s young­er broth­er, Ken­neth) lived in tiny quar­ters above the bakery. His par­ents’ mar­riage was a “dis­aster”, and he had “a miser­able child­hood”.

Camer­on at­ten­ded the loc­al primary school un­til the age of eight, when he was sent to Blair­more, a nearby board­ing school situ­ated in an old coun­try house with ex­tens­ive grounds. Camer­on re­counts that in the wake of World War II, there were many ex-mil­it­ary of­ficers who ended up teach­ing at such schools. Blair­more it­self was foun­ded in 1947 by one Col­on­el Ainslie, and among a fac­ulty that in­cluded many ex­cel­lent teach­ers, there were Ma­jor Dav­id­son, Col­on­el Col­lard, and Squad­ron Lead­er Hurn­dall. The eth­os of the school was thus rather mil­it­ary. With only 50 stu­dents, it was not a large in­sti­tu­tion, and but for two girls (the daugh­ters of Col­on­el Ainslie and one of his friends), it was all boys.

Camer­on at­ten­ded Blair­more from the ages of eight to twelve when he shif­ted to Fettes Col­lege, a “pub­lic” (in the Brit­ish sense) board­ing school in Ed­in­burgh. It, too, was tinged with mil­it­ar­ism: stu­dents had to take a cold shower every morn­ing, and skip­ping one meant get­ting caned if caught. In some sense it was fairly rig­or­ous. But by my day, in 1957, it was be­gin­ning to mel­low. And it did have a strong aca­dem­ic tra­di­tion, with a good re­cord of get­ting pu­pils in­to Ox­ford and Cam­bridge. A con­tem­por­ary of mine at Fettes was An­gus Deaton, who won the No­bel Prize in Eco­nom­ics in 2015. Tony Blair also went there, a bit later. I had very good teach­ers, es­pe­cially in sci­ence and math. The teach­ing was elit­ist in the Brit­ish tra­di­tion: the bright kids got the good teach­ers, and the rest got the poorer, of­ten ex-mil­it­ary, teach­ers.

Camer­on star­ted play­ing the gui­tar at Fettes, at around age 14. One of the big re­grets of my life was when I was liv­ing in Aber­lour on the Spey river, near a town called El­gin. There was a dance hall in El­gin called the Two Red Shoes, and one day, around Christ­mas 1962, I was passing by and saw a poster out­side ad­vert­ising “The Beatles, The ’Love Me Do’ Boys from Liv­er­pool”, and I nev­er went be­cause who had ever heard of them? When school was not in ses­sion, he lived in Aber­lour with his moth­er, who had by then de­cided to sep­ar­ate from his fath­er, and had re­sumed her teach­ing ca­reer by ac­cept­ing a post at a well-known orphan­age in town.

At Blair­more I did Lat­in, and even­tu­ally Greek. When I went to Fettes, the first day in class we were asked wheth­er we wanted to do clas­sics or sci­ence. I had nev­er had sci­ence so, along with one oth­er boy who had been at Blair­more, I chose clas­sics. We had this rather sad­ist­ic Greek teach­er whose meth­od of im­part­ing know­ledge was to grab hold of one of our side­burns and say “De­cline ‘strat­e­gos’ ”, or whatever, in­creas­ingly twist­ing the side­burn at each er­ror. Quite Dick­ensi­an! So need­less to say we wer­en’t en­joy­ing clas­sics very much. However, 1957–58 was the year of the Asi­an flu pan­dem­ic, which sickened a lot of people at the school, and ne­ces­sit­ated a tem­por­ary re­or­gan­iz­a­tion of a lot of the classes. My friend and I were moved in­to the sci­ence classes, and we thought these nov­el sub­jects phys­ics and chem­istry were such fun that we asked if we could make the change per­man­ent. To the school’s cred­it, they said yes. So I star­ted do­ing sci­ence and loved it — got really hooked.

At age 16, Camer­on sat the en­trance ex­am in Nat­ur­al Sci­ences at Cam­bridge Uni­versity. One ap­plied not to the uni­versity as a whole, but to a spe­cif­ic col­lege, and Camer­on chose Trin­ity, be­cause it had a strong tra­di­tion in sci­ence and math. He was offered a “place” at Trin­ity but be­cause of his age he was en­cour­aged to go back to Fettes for a year. He did so, and dur­ing that time be­came in­creas­ingly in­ter­ested in math.

I’m ram­bling a bit, but there is a good ex­ample here of the edu­ca­tion­al philo­sophy, more pre­val­ent then than now, which be­lieved in cri­ti­cism of fail­ure rather than praise of suc­cess. Be­fore I took the Cam­bridge en­trance ex­am the house­mas­ter of my board­ing house at Fettes had told me and an­oth­er boy to ap­ply for Trev­ely­an Schol­ar­ships; these were schol­ar­ships awar­ded by a private trust that could be held at Ox­ford or Cam­bridge. We did, but were un­suc­cess­ful, and the house­mas­ter made no secret of his dis­pleas­ure. Later, when I got the let­ter from Trin­ity of­fer­ing me a place, I was quite ex­cited. But when I told the house­mas­ter, who was an ex-Nav­al of­ficer, he just grunted and said: “Hm­mph. At least we man­aged to sal­vage something from the wreck”.

The fol­low­ing year Camer­on went back to Cam­bridge and took the en­trance ex­am in math. He was offered an “ex­hib­i­tion” at Trin­ity, one notch be­low a “schol­ar­ship”. (After his first year at Cam­bridge he was up­graded from ex­hibi­tion­er to schol­ar.)

The ex­am was giv­en in a large hall with desks ar­ranged al­pha­bet­ic­ally. There was a three-hour ses­sion in the morn­ing, an­oth­er in the af­ter­noon, and this went on for sev­er­al days. Most ex­ams had eight ques­tions, and be­cause they were dif­fi­cult, get­ting five or so right was con­sidered good. Of course every­one dis­cussed the prob­lems af­ter­wards, and how they thought they’d done. Camer­on re­mem­bers be­ing some­what in­tim­id­ated by one fel­low sit­ting next to him who would typ­ic­ally re­port that he’d been able to do sev­en of the ques­tions, and maybe most of the eighth. It turned out to be Peter God­dard! (God­dard is a phys­i­cist and pro­fess­or and ex-dir­ect­or of the In­sti­tute of Ad­vanced Study.)

Camer­on re­calls: I had a rather idio­syn­crat­ic ca­reer at Cam­bridge. I was very ir­re­spons­ible and ex­tremely lucky that the sys­tem didn’t give up on me. My train of thought was this. Get­ting in­to Trin­ity was great, and you’re sur­roun­ded by all these clev­er people, so in my first year I worked really hard, went to all the lec­tures, etc. I took Part I of the Tri­pos at the end of that year, and I did al­right, got a First Class and saw a lot of friends drop out, so I thought this is not so bad. Now at the end of the second year you take a Pre­lim­in­ary Ex­am to Part II, which doesn’t really count: the im­port­ant ex­am, Part II (the equi­val­ent of the BS in the US, as Part III is a year of gradu­ate work) is at the end of the third year. I thought, well, the second year doesn’t count for much, and I can al­ways work hard in the third year, and so I lit­er­ally didn’t go to a single math lec­ture in my second year. Pre­dict­ably, even though I bor­rowed Peter God­dard’s lec­ture notes, I did dis­astrously on the Pre­lim­in­ary Ex­am. Of course the (rather ob­vi­ous!) flaw in my plan was that you had to know a lot of the second year ma­ter­i­al in or­der to un­der­stand the third year ma­ter­i­al. Con­sequently, I was told that on my Part II ex­am, on each pa­per I either got a reas­on­ably high score or zero! Des­pite this very mixed per­form­ance the au­thor­it­ies were nice enough to let me stay on for Part III, where I did well enough to get in­to the PhD pro­gram.

I star­ted work­ing with John Hud­son, who had been a stu­dent of Chris­toph­er Zee­man. In 1968, Hud­son got a chair at the Uni­versity of Durham, and Sue and I (we had just got mar­ried) de­cided to ac­com­pany him to Durham. I fin­ished after two years at Durham in 1970.

I had met Sue (née Wat­son) a few years earli­er when she was at a wo­men’s teach­er train­ing col­lege, Balls Park, in Hert­ford, about 30 miles from Cam­bridge. There were only two wo­men’s col­leges at Cam­bridge, Newn­ham and Gir­ton, so there was a huge gender im­bal­ance. On week­ends some of the wo­men from Balls Park would come to Cam­bridge for parties, some­times tak­ing a bus laid on by the col­lege which Sue main­tained was called “the pas­sion wag­on”. I met Sue at such a party, and even­tu­ally we got to­geth­er.

Sue was from Chin­ley, a little town in Derby­shire, in a beau­ti­ful part of Eng­land known as the Peak Dis­trict. There’s a bit of a math con­nec­tion here, for L. J. Mor­dell, the well-known num­ber the­or­ist, was a pro­fess­or at Manchester Uni­versity from 1922–45, and had a coun­try cot­tage in Chin­ley which he and his wife would vis­it at the week­ends.

Hud­son was a power­ful PL to­po­lo­gist, and got a pro­fess­or­ship un­usu­ally early in his ca­reer. But Camer­on sus­pects he re­gret­ted his move to Durham for he missed the so­cial life in Cam­bridge and left Durham after two years — and left to­po­logy not long after.

Hud­son gave Camer­on a thes­is prob­lem that stemmed from an em­bed­ding the­or­em of M. C. Ir­win [e3]. Us­ing en­gulf­ing meth­ods pi­on­eered by Chris­toph­er Zee­man, Ir­win had shown that a map \( f:M^m \to Q^q \) was ho­mo­top­ic to a PL em­bed­ding if \( q \geq m+3 \), \( M \) is \( (2m{-}q) \)-con­nec­ted and \( Q \) is \( (2m{-}q{+}1) \)-con­nec­ted. Via a the­or­em of Stallings (in an un­pub­lished manuscript [e1]) to­geth­er with an early ver­sion of the Hauptver­mu­tung proved by Cas­son and Sul­li­van (see [e15]), Ir­win’s the­or­em can be im­proved by put­ting con­nectiv­ity con­di­tions on the map rather than on the man­i­folds: \( f \) is ho­mo­top­ic to a PL em­bed­ding if \( f \) is \( (2m{-}q{+}1) \)-con­nec­ted, i.e., \( f_*:\pi_i(M) \to \pi_i(Q) \) is an iso­morph­ism for \( i\leq 2m-q \) and is an epi­morph­ism for \( i=2m-q+1 \). (Hud­son had proved an earli­er ver­sion of this which had the ad­di­tion­al hy­po­thes­is that \( M \) and \( Q \) are \( (3m{-}2q{+}2) \)-con­nec­ted [9].) Hud­son had also proved a re­l­at­ive ver­sion of Ir­win’s The­or­em for man­i­folds with bound­ary [e7]: a map \( f: (M^m, \partial M) \to (Q^q, \partial Q) \) is ho­mo­top­ic, as a map of pairs, to a PL em­bed­ding if \( q \ge m+3 \), \( (M, \partial M) \) is \( (2m{-}q) \)-con­nec­ted and \( (Q, \partial Q) \) is \( (2m{-}q{+}1) \)-con­nec­ted.

Hud­son’s sug­ges­tion to Camer­on was to prove the ob­vi­ous miss­ing fourth the­or­em: the re­l­at­ive case with the con­nectiv­ity con­di­tions on \( (M, \partial M) \) and \( (Q, \partial Q) \) re­placed by the cor­res­pond­ing con­nectiv­ity con­di­tion on the map — i.e., that \( (f, \partial f) \) be \( (2m{-}q{+}1) \)-con­nec­ted — and he gave hints for the ex­pec­ted proof. Noth­ing seemed to work, and Hud­son re­peated his hints and en­cour­age­ment, but still noth­ing.

Then one day I read Fox’s “A quick trip through knot the­ory” and I found it fas­cin­at­ing. I par­tic­u­larly re­mem­ber be­ing in­trigued by a table of the ho­mo­logy of the cyc­lic branched cov­ers of the fig­ure eight knot. So I got in­ter­ested in knot the­ory.

And then I read Zee­man’s pa­per [e4] on twis­ted spun knots. It’s one of the most beau­ti­ful pa­pers I’ve read, a mod­el for good math­em­at­ic­al writ­ing. He starts off with an ex­ample, the 5-twist spun tre­foil, and, us­ing the fibra­tion of the com­ple­ment of the tre­foil, shows that the res­ult­ing 2-knot is fibered with fiber the Poin­caré ho­mo­logy sphere. Then Zee­man gets more gen­er­al, points out that the fact that the tre­foil is fibered is a red her­ring, and proves his main the­or­em: if \( X^n \) is a knot­ted sphere in \( S^{n+2} \), then for any \( k > 0 \) there is a codi­men­sion one knot (the \( k \)-twist spin of \( K \)) whose fiber is the \( k \)-fold cyc­lic branched cov­er of \( S^{n+2} \) branched over \( X \).

At the end of his pa­per Zee­man asked some ques­tions, and I don’t think he had thought very hard about them, for I was able to an­swer one of them. So I star­ted writ­ing pa­pers on knots, and was hav­ing great fun. After work­ing on knots for a year or so, I went back to the PL stuff, and, with a more ma­ture per­spect­ive per­haps, saw that the thing I’d been try­ing to prove was ac­tu­ally false. I wrote up the counter­example in [1]. I might add that an­oth­er be­ne­fit of read­ing Zee­man’s pa­per was that later I was able to use twist-spin­ning to show that smooth 2-knots in \( S^4 \) are not de­term­ined by their com­ple­ments [2]. An im­port­ant part of the proof was show­ing that the Gluck con­struc­tion on a twist-spun 2-knot al­ways gives \( S^4 \) (in­cid­ent­ally an­swer­ing an­oth­er of Zee­man’s ques­tions). By the way, this ex­per­i­ence has made me ap­pre­ci­ate the value of ask­ing ques­tions in pa­pers. I think we are some­times re­luct­ant to do this, feel­ing per­haps that if a ques­tion is too eas­ily answered it makes us look fool­ish for ask­ing it. But we shouldn’t be.

How did Camer­on end up go­ing to Flor­ida State Uni­versity in Tal­l­a­hassee? Well, he’d read the “little red book”, the con­fer­ence pro­ceed­ings from the 1961 work­shop in Geor­gia (which in­cluded Fox’s “Quick Trip Through Knot The­ory” and oth­er gems), and noted all the to­po­lo­gists in the south­east­ern United States, es­pe­cially at Flor­ida State, which in 1970 had De Witt Sum­ners, John Bry­ant, Chris Lach­er, Jim An­drews (of the An­drews–Curtis Con­jec­ture [e2]), Per­rin Wright, Wolfgang Heil, and Or­ville Har­rold (who was chair­man). Camer­on ap­plied else­where in the US and UK, but guesses that get­ting an of­fer from Flor­ida State was not un­re­lated to the fact that De Witt Sum­ners was Hud­son’s only oth­er Ph.D. stu­dent; he had been a Mar­shall Schol­ar at Cam­bridge and got his Ph.D. in 1967. Camer­on and Sue had a great time in Tal­l­a­hassee with that young group of geo­met­ric to­po­lo­gists.

After two years at Flor­ida State, and des­pite the fact that he had a ten­ure-track job, Camer­on figured he’d go back to the UK. The gov­ern­ment had in­sti­tuted a scheme to try and re­verse “brain drain”, a prom­in­ent is­sue in those days when the US had many jobs which lured “brains” from all over Europe. So Camer­on got a three-year fel­low­ship to re­turn to Cam­bridge. While there, he ap­plied and got a Fel­low­ship at Gon­ville and Caius Col­lege (Caius, pro­nounced “Keys”, for short). Zee­man had been at Caius be­fore leav­ing to found the Maths In­sti­tute at War­wick, and wrote a let­ter for Camer­on which the lat­ter sus­pects helped greatly with his fel­low­ship ap­plic­a­tion.

Camer­on re­calls that when he vis­ited Cam­bridge in 2017 to par­ti­cip­ate in a pro­gram at the New­ton In­sti­tute, he was honored to be ap­poin­ted by Caius as the G. C. Stew­ard Vis­it­ing Fel­low. Soon after ar­riv­ing he was in­formed that one of the du­ties of the Stew­ard Fel­low was to at­tend the Venn Din­ner, the an­nu­al din­ner of the Venn So­ci­ety, the col­lege’s un­der­gradu­ate math­em­at­ic­al so­ci­ety. (John Venn had been a Fel­low of the col­lege; he is com­mem­or­ated with a stained glass win­dow of his fam­ous dia­gram in the col­lege din­ing hall. The an­nu­al black-tie din­ner is ap­par­ently the only func­tion of the Venn So­ci­ety.) But Camer­on’s en­thu­si­asm at ac­cept­ing the in­vit­a­tion was dampened some­what on be­ing in­formed that an­oth­er of his du­ties was to give the after-din­ner speech! To make mat­ters worse, he was told that Zee­man, as the Stew­ard Fel­low some years earli­er, had be­gun his speech by climb­ing onto the ban­quet table, throw­ing a boom­er­ang around the din­ing hall, catch­ing it, and then do­ing it again to prove that the first time wasn’t a fluke. A hard act to fol­low!

At Cam­bridge Camer­on star­ted work­ing with An­drew Cas­son and fairly soon they had what is known as the Cas­son–Gor­don in­vari­ant [3]. A second ver­sion based on Cas­son’s lec­tures at IHES in 1974 ap­peared in the “lost to­po­logy” book [7].

Camer­on vis­ited Bob Ed­wards at UCLA in 1975, and went on to the In­sti­tute for Ad­vanced Study in 1976–77 for a spe­cial year in to­po­logy. (I re­call vis­it­ing for a few days, de­scrib­ing a handle de­scrip­tion of K3, and so­li­cit­ing ques­tions for the prob­lem list [e9] which had star­ted at the Stan­ford con­fer­ence in Au­gust 1976. Thur­ston sug­ges­ted a num­ber of prob­lems most of which he promptly solved him­self dur­ing the next few years.)

That year was a great year. I de­cided I was go­ing to stay in the States and I ap­plied for jobs, and went to Aus­tin in late sum­mer 1977.

I vis­ited Camer­on in Septem­ber and brought with me a just-out copy of Bill Meeks’ lec­ture notes [e8], sketch­ing a proof of an equivari­ant Dehn’s Lemma. Camer­on im­me­di­ately real­ized that this, to­geth­er with work of Thur­ston, meant that P. A. Smith’s fam­ous prob­lem ask­ing wheth­er a fi­nite cyc­lic group ac­tion on \( S^3 \) could ever have a knot as the fixed point set was settled in the neg­at­ive; only the un­knot could be the fixed point set. Moreover, the ac­tion is by the re­stric­tion to \( \mathbb{Z}_n \subset S^1 \) of the circle ac­tion on the unit 3-sphere in \( \mathbb{C}^2 \) giv­en by \( (z,w) \mapsto (uz,w) \),  \( u \in S^1 \). The whole story is well told in [e13]. Camer­on had worked on the prob­lem with Rick Lith­er­land, in par­tic­u­lar look­ing for a proof of an equivari­ant Dehn’s Lemma, but min­im­al sur­face the­ory was needed to re­duce daunt­ing tech­nic­al dif­fi­culties. The his­tory is de­scribed in the pre­face to [e13]. from which I quote:

Dur­ing a con­ver­sa­tion with Bass, Thur­ston learned of Bass’s res­ult (Chapter VI). He saw, in the light of his own work (Chapter V), the rel­ev­ance to the Smith con­jec­ture. He also saw the need to treat the cases covered in Part C. What was needed to deal with these miss­ing cases came clearly in­to fo­cus dur­ing con­ver­sa­tions between Thur­ston and Gor­don (the lat­ter be­ing mo­tiv­ated by his earli­er work with Lith­er­land [5]; see Chapter VII). At about the same time, Meeks and Yau had es­tab­lished ex­actly the re­quired res­ult (Chapter VIII). However, there was a gap in com­mu­nic­a­tion between Thur­ston and Gor­don, on the one hand, and Meeks and Yau, on the oth­er. This gap was bridged by Gor­don when he learned of the ex­ist­ence of the work of Meeks and Yau. With that, the proof was com­plete.

When I asked Camer­on for his three fa­vor­ite the­or­ems or pieces of work, he began with the Cas­son–Gor­don in­vari­ant [3] [7]. Well, the stuff with An­drew, it just worked out so well. In 1973 Frank Adams de­cided that in the to­po­logy sem­in­ar at Cam­bridge we would go through the Atiyah–Sing­er In­dex The­or­em, and every­one was ex­pec­ted to give a talk. I was ter­ri­fied, people were talk­ing about Fred­holm op­er­at­ors and stuff I knew noth­ing about. What was I go­ing to do? But I found this pa­per by Hsiang and Szczar­ba [e6] where they used the In­dex The­or­em to get res­ults about sur­faces in 4-man­i­folds. It was the 4-di­men­sion­al \( G \)-Sig­na­ture The­or­em where the fixed points were sur­faces and isol­ated points, ex­pli­cit enough that I could un­der­stand it and give a talk on it. And it came in handy when I star­ted talk­ing with An­drew.

(I will in­ter­ject in­to Camer­on’s story the fact that he later came up with a beau­ti­ful, ele­ment­ary proof of the 4-di­men­sion­al \( G \)-Sig­na­ture The­or­em which ap­pears in the lost to­po­logy book [6].)

An­drew told me he had shown that, apart from the steve­dore’s knot, none of the in­fin­itely many al­geb­ra­ic­ally slice twist knots are rib­bon, and we wondered if we could show that they wer­en’t slice either. Well we even­tu­ally did. Our first ar­gu­ments were sort of ham-fis­ted, but very ex­pli­cit, with branched cov­ers and sur­gery pic­tures [3]. A more el­eg­ant ac­count was writ­ten up by An­drew in [7].

Hav­ing men­tioned Frank Adams let me say that I al­ways had a soft spot for him. He was very en­cour­aging to me, al­though he could be quite in­tim­id­at­ing and had a repu­ta­tion for be­ing harsh on his stu­dents.

Then I asked Camer­on about an­oth­er pa­per with An­drew [9] that turned out to be quite im­port­ant al­though pub­lished in a mod­est journ­al.

One day (when we were both at Aus­tin) I went to An­drew’s of­fice and said: “I know that if you have a Hee­gaard split­ting and there are two disks on op­pos­ite sides that in­ter­sect in one point, then the split­ting can be re­duced, but what hap­pens if the two disks are dis­joint?” Well, we star­ted talk­ing and about three hours later we had a the­or­em. I wrote it up, prob­ably badly, and we sent it to To­po­logy. They re­jec­ted it, say­ing that the ap­plic­a­tions were already known, and Larry Sieben­mann, who was ed­it­or of both To­po­logy and To­po­logy and its Ap­plic­a­tions, re­marked that if An­drew and I had not been such fam­ous au­thors(!) he would have re­jec­ted it out of hand, but in­stead he sug­ges­ted that it be pub­lished in the less­er journ­al, so it was. It turned out to be quite in­flu­en­tial, but only later.

Get­ting back to your ques­tion, Rob, about my three fa­vor­ite pieces of work, I’ve already men­tioned the Cas­son–Gor­don in­vari­ant. The oth­er two ob­vi­ous choices are the Cyc­lic Sur­gery The­or­em [8], with Marc Cull­er, John Luecke, and Peter Shalen, and the Knot Com­ple­ment The­or­em [10], with John Luecke. The former was a nice ex­ample of two com­pletely dif­fer­ent sets of tech­niques per­fectly com­ple­ment­ing each oth­er. The the­or­em is that if \( M \) is a com­pact, con­nec­ted, ir­re­du­cible, ori­ent­able 3-man­i­fold with tor­us bound­ary, that is not a Seifert fibered space, and if \( r \) and \( s \) are dis­tinct slopes on \( \partial M \) such that the cor­res­pond­ing Dehn fillings \( M(r) \) and \( M(s) \) have cyc­lic fun­da­ment­al groups, then the dis­tance (min­im­al in­ter­sec­tion num­ber) \( \Delta(r,s) \) between \( r \) and \( s \) is 1. Hence there are at most three such slopes. In the case where the man­i­fold \( M \) is hy­per­bol­ic, Marc and Peter, us­ing a beau­ti­ful set of ideas in­volving the \( \operatorname{SL}_{2}(\mathbb{C}) \)char­ac­ter vari­ety \( X(M) \) of \( \pi_1(M) \), showed that the ideal points of the pro­ject­ive com­ple­tion \( \tilde{X}(M) \) of \( X(M) \) cor­res­pond to ac­tions of \( \pi_1(M) \) on a sim­pli­cial tree, which in turn give rise to es­sen­tial sur­faces in \( M \). Fur­ther, they showed that for al­most all slopes \( r \), either there is a point of \( X(M) \) cor­res­pond­ing to a non­cyc­lic rep­res­ent­a­tion of \( \pi_1(M(r)) \), or there is an ideal point of \( \tilde{X}(M) \) whose as­so­ci­ated sur­face is either closed and re­mains in­com­press­ible in \( M(r) \) or has bound­ary slope \( r \) and is not a fiber in any fibra­tion of \( M \) over the circle (i.e., \( r \) is a strict bound­ary slope). The con­clu­sion is that if \( \pi_1(M(r)) \) and \( \pi_1(M(s)) \) are cyc­lic then either \( \Delta(r,s) = 1 \) or one of \( r \) and \( s \) is a strict bound­ary slope. Us­ing vari­ous com­bin­at­or­i­al-to­po­lo­gic­al meth­ods John and I were able to de­scribe in enough de­tail what hap­pens when you do Dehn filling along a bound­ary slope to com­plete the proof in the hy­per­bol­ic case, and also to do the case where \( M \) con­tains an es­sen­tial tor­us. One of the tech­niques we used was the com­bin­at­or­i­al ana­lys­is of the in­ter­sec­tion of a pair of es­sen­tial punc­tured sur­faces in \( M \) with dif­fer­ent bound­ary slopes, a tech­nique in­tro­duced by Rick Lith­er­land [e11] in his study of Dehn sur­gery on satel­lite knots. By us­ing Dave Gabai’s power­ful idea of thin po­s­i­tion used in his proof of the Prop­erty R Con­jec­ture [e14] one can ap­ply sur­face-in­ter­sec­tion tech­niques to punc­tured spheres in knot com­ple­ments that are not ne­ces­sar­ily es­sen­tial. By a con­sid­er­able elab­or­a­tion of the ma­chinery de­veloped in the proof of the Cyc­lic Sur­gery The­or­em to study such in­ter­sec­tions, John and I were even­tu­ally able to prove the Knot Com­ple­ment The­or­em.

In ad­di­tion to the col­lab­or­a­tions I have already men­tioned I have more re­cently done a lot of joint work with Steve Boy­er, some of which is on­go­ing. Giv­en that math­em­at­ic­al re­search con­sists mostly of banging one’s head against a brick wall, one pleas­ant fea­ture of joint work is that you know (OK, maybe not 100%…) that there is at least one oth­er per­son who is in­ter­ested in what you’re do­ing.

Camer­on has two chil­dren: Cath­er­ine born in Septem­ber, 1976, and An­drew in Au­gust, 1980, both in the same hos­pit­al in Cam­bridge.

Sue passed away in Janu­ary 2018 of can­cer.

Works

[1] C. M. Gor­don: “Em­bed­ding piece­wise lin­ear man­i­folds with bound­ary,” Proc. Cam­bridge Philos. Soc. 72 : 1 (July 1972), pp. 21–​25. MR 295359 Zbl 0236.​57009 article

[2] C. M. Gor­don: “Knots in the 4-sphere,” Com­ment. Math. Helv. 51 (December 1976), pp. 585–​596. MR 440561 Zbl 0346.​55004 article

[3] A. J. Cas­son and C. M. Gor­don: “On slice knots in di­men­sion three,” pp. 39–​53 in Al­geb­ra­ic and geo­met­ric to­po­logy (Stan­ford, CA, 2–21 Au­gust 1976), Part 2. Edi­ted by R. J. Mil­gram. Pro­ceed­ings of Sym­po­sia in Pure Math­em­at­ics 32. Amer­ic­an Math­em­at­ic­al So­ci­ety (Provid­ence, RI), 1978. MR 520521 Zbl 0394.​57008 incollection

[4] A. J. Cas­son and C. M. Gor­don: “A loop the­or­em for du­al­ity spaces and fibred rib­bon knots,” In­vent. Math. 74 : 1 (February 1983), pp. 119–​137. MR 722728 Zbl 0538.​57003 article

[5] C. M. Gor­don and R. A. Lith­er­land: “In­com­press­ible sur­faces in branched cov­er­ings,” Chapter 7, pp. 139–​152 in The Smith con­jec­ture (New York, 6–7 April 1979). Edi­ted by J. W. Mor­gan and H. Bass. Pure and Ap­plied Math­em­at­ics 112. Aca­dem­ic Press (Or­lando, FL), 1984. MR 758466 Zbl 0599.​57006 incollection

[6] C. M. Gor­don: “On the \( G \)-sig­na­ture the­or­em in di­men­sion four,” pp. 159–​180 in À la recher­che de la to­po­lo­gie per­due [In search of the lost to­po­logy]. Edi­ted by L. Guil­lou and A. Mar­in. Pro­gress in Math­em­at­ics 62. Birkhäuser (Bo­ston), 1986. MR 900251 incollection

[7] A. J. Cas­son and C. M. Gor­don: “Cobor­d­ism of clas­sic­al knots,” pp. 181–​199 in À la recher­che de la to­po­lo­gie per­due [In search of the lost to­po­logy]. Edi­ted by L. Guil­lou and A. Mar­in. Pro­gress in Math­em­at­ics 62. Birkhäuser (Bo­ston), 1986. With an ap­pendix by P. M. Gilmer. MR 900252 incollection

[8] M. Cull­er, C. M. Gor­don, J. Luecke, and P. B. Shalen: “Dehn sur­gery on knots,” Ann. of Math. (2) 125 : 2 (1987), pp. 237–​300. MR 881270 Zbl 0633.​57006 article

[9] A. J. Cas­son and C. M. Gor­don: “Re­du­cing Hee­gaard split­tings,” To­po­logy Ap­pl. 27 : 3 (December 1987), pp. 275–​283. MR 918537 Zbl 0632.​57010 article

[10] C. M. Gor­don and J. Luecke: “Knots are de­term­ined by their com­ple­ments,” J. Am. Math. Soc. 2 : 2 (1989), pp. 371–​415. A much short­er ver­sion of this art­icle was pub­lished in Bull. Am. Math. Soc. 20:1 (1989). MR 965210 Zbl 0678.​57005 article