{
"type": "Article",
"authors": [
{
"type": "Person",
"familyNames": [
"Dundas"
],
"givenNames": [
"Bjørn",
"Ian"
]
},
{
"type": "Person",
"familyNames": [
"Skau"
],
"givenNames": [
"Christian",
"F."
]
}
],
"identifiers": [],
"title": "Interview with Abel laureate 2022 Dennis Sullivan",
"meta": {},
"content": [
{
"type": "Paragraph",
"id": "p1",
"content": [
{
"type": "Emphasis",
"content": [
"Professor Sullivan, first we want to congratulate you on being awarded the Abel Prize for 2022 for your groundbreaking contributions to topology in its broadest sense and, in particular, its algebraic, geometric and dynamical aspects.\nYou will receive the Abel Prize from His Majesty the King of Norway tomorrow."
]
}
]
},
{
"type": "Paragraph",
"id": "p2",
"content": [
"Thank you!"
]
},
{
"type": "Paragraph",
"id": "p3",
"content": [
{
"type": "Emphasis",
"content": [
"You have worked in very many different fields, and, actually, your supervisor, William Browder, described you as sort of an intellectual vacuum cleaner.\nBut it seems that you always had a guiding principle for what you are doing.\nIf mathematics rests upon two pillars: ",
{
"type": "Emphasis",
"content": [
"space"
]
},
" and ",
{
"type": "Emphasis",
"content": [
"number"
]
},
", you have been partial to space to the extent that you want to replace number by space."
]
}
]
},
{
"type": "Paragraph",
"id": "p4",
"content": [
{
"type": "Emphasis",
"content": [
"A part of this quest of yours is the question: “What is a manifold?”\nAnd that is perhaps a good place to start; before we continue on your journey, as you say, from the outside to the inside, intuitively: what is a manifold?"
]
}
]
},
{
"type": "Paragraph",
"id": "p5",
"content": [
"It is ",
{
"type": "Emphasis",
"content": [
"space"
]
},
", expressed logically in terms of a set of points."
]
},
{
"type": "Paragraph",
"id": "p6",
"content": [
{
"type": "Emphasis",
"content": [
"It’s space, but it’s sort of a special space, isn’t it?"
]
}
]
},
{
"type": "Paragraph",
"id": "p7",
"content": [
"No.\nThe idea of space is that you can move things around.\nThere isn’t an invisible wall that makes you stop here, but you can move around.\nAny object which is locally like that is called a manifold.\nSpace itself is an intuitive word, that we all know about.\nBut there is an actual concept called manifold, which is the logical version of that intuitive concept.\nIt’s an attractive notion when you first learn about it as a math student.\nAnd the first math theory about these manifolds that I learned about was sort of strange."
]
},
{
"type": "Paragraph",
"id": "p8",
"content": [
{
"type": "Emphasis",
"content": [
"Tell us!"
]
}
]
},
{
"type": "Paragraph",
"id": "p9",
"content": [
"You attached to such an object, which you didn’t really describe in terms of its logical definition, some other objects which were very abstract and part of algebraic topology.\nAnd when you had enough of those with the right conditions, you could build the manifold."
]
},
{
"type": "Paragraph",
"id": "p10",
"content": [
{
"type": "Emphasis",
"content": [
"So you could actually reconstruct the manifold from these abstract objects?"
]
}
]
},
{
"type": "Paragraph",
"id": "p11",
"content": [
"You could build it up to equivalence.\nBut you didn’t really construct the points of the manifold in a canonical way.\nSo, it has no points.\nIt was like a black box.\nThe information is stored there.\nAnd that is where numbers come in; all these concepts are based on numbers, the algebra, whereas the actual ",
{
"type": "Emphasis",
"content": [
"texture of space"
]
},
" is not there."
]
},
{
"type": "Figure",
"id": "fig1",
"caption": [
{
"type": "Paragraph",
"content": [
"Abel Prize laureate Dennis Sullivan receives the Abel Prize from His Majesty, King Harald of Norway. © Naina Helén Jåma / The Abel Prize"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-108-1.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
}
]
},
{
"type": "Paragraph",
"id": "p12",
"content": [
{
"type": "Emphasis",
"content": [
"Is it like the recipe for the cake versus the cake?"
]
}
]
},
{
"type": "Paragraph",
"id": "p13",
"content": [
"Yeah, I’d say it’s exactly like that; it’s a good idea.\nYou must have prepared that?"
]
},
{
"type": "Paragraph",
"id": "p14",
"content": [
{
"type": "Emphasis",
"content": [
"No, we did not!"
]
}
]
},
{
"type": "Paragraph",
"id": "p15",
"content": [
"It’s a very good interpretation.\nIt’s like a cake with no edges or layers.\nIt’s just this delicious cake going on for ever, right?"
]
},
{
"type": "Paragraph",
"id": "p16",
"content": [
{
"type": "Emphasis",
"content": [
"And you really want to get at the cake?"
]
}
]
},
{
"type": "Paragraph",
"id": "p17",
"content": [
"Well, that is what you are attracted to, the idea of space and its texture.\nAnd then, it turned out, that every time I would ask a professor a question, he gave me an answer that was in terms of number, which is algebraic topology and homotopy theory.\nSo I had to learn that, as it were.\nI adjusted the geometrical problem so that it fitted with the numbers, so to speak.\nYou know, some goals are not achievable and some are within reach, so I adjusted to get the ones within reach during that period."
]
},
{
"type": "Paragraph",
"id": "p18",
"content": [
{
"type": "Emphasis",
"content": [
"Is what you describe here more or less what is called surgery, where you actually build the space according to the prescription?"
]
}
]
},
{
"type": "Paragraph",
"id": "p19",
"content": [
"Right, you have a prescription of the information: how many holes it has, how many handles etc., and you build an actual manifold with that description.\nAnd surgery allows you to build it.\nThat was a powerful technique.\nActually, it was a secondary technique following Thom’s cobordism theory, which was very influential."
]
},
{
"type": "Paragraph",
"id": "p20",
"content": [
{
"type": "Emphasis",
"content": [
"But the important distinction here is between what can be deformed and pushed, well, in homotopy theory, in the homotopy type – to use technical jargon – as opposed to the actual manifold?"
]
}
]
},
{
"type": "Paragraph",
"id": "p21",
"content": [
"Right.\nFirst, it’s interesting that the classification of closed manifolds is an interesting subject.\nIt’s not, a priori, clear that it will be so, but it’s extremely interesting classifying manifolds that are closed.\nYou know, no boundary, not going off to infinity."
]
},
{
"type": "Paragraph",
"id": "p22",
"content": [
"Classically, one knows the classification for surfaces.\nThat goes back to Abel and Riemann.\nThey figured that out.\nThe sphere, the genus number, abelian functions, abelian differentials, and so on.\nBut already Poincaré discovered that in dimension three it’s much more complex.\nAnd then it gets more and more complex as the dimension goes up."
]
},
{
"type": "Paragraph",
"id": "p23",
"content": [
"It was kind of interesting that there is enough “number machinery”, so to speak, to understand spaces of dimension five and higher.\nThat was an amazing development, basically due to Thom, I would say, who started this, and surgery was completing this story.\nAnd I got in on the last big boat heading to … wherever."
]
},
{
"type": "Paragraph",
"id": "p24",
"content": [
{
"type": "Emphasis",
"content": [
"With the surgery exact sequence?"
]
}
]
},
{
"type": "Paragraph",
"id": "p25",
"content": [
"Kind of.\nBrowder – you mentioned Browder – he was presenting this theory.\nAnd it was in a complicated form.\nYou could sort of change it around a little bit and get it simpler.\nAnd then you could see from the changed picture which areas could be developed completely.\nThe smooth structure is still open, in some sense, up to finiteness.\nI mean, we know all the infinite part for the smooth structures."
]
},
{
"type": "Paragraph",
"id": "p26",
"content": [
{
"type": "Emphasis",
"content": [
"And that is an area where the previous Abel Prize winner Milnor had a huge impact."
]
}
]
},
{
"type": "Paragraph",
"id": "p27",
"content": [
"Yeah, on that one, certainly. His 1963 paper with Kervaire was my math bible."
]
},
{
"type": "Paragraph",
"id": "p28",
"content": [
{
"type": "Emphasis",
"content": [
"This actually leads us to your thesis in Princeton.\nPrinceton must have been a fascinating place to be at that time?"
]
}
]
},
{
"type": "Paragraph",
"id": "p29",
"content": [
"Absolutely!\nAll these famous people around with their expertise."
]
},
{
"type": "Paragraph",
"id": "p30",
"content": [
{
"type": "Emphasis",
"content": [
"So you could just ask them?"
]
}
]
},
{
"type": "Paragraph",
"id": "p31",
"content": [
"Yeah, you could just ask them every day at tea, you didn’t have to make an appointment, because they all came to tea.\nYou could ask them anything you wanted to."
]
},
{
"type": "Paragraph",
"id": "p32",
"content": [
{
"type": "Emphasis",
"content": [
"There is a cute story about when you are closing in on your thesis, and you had a discussion with Milnor.\nCould you tell it?"
]
}
]
},
{
"type": "Paragraph",
"id": "p33",
"content": [
"Well, I had this sequence of steps, and if I could do them all, I could solve what I wanted.\nBut each step had a clear surgery part and then it had a Milnor exotic sphere part.\nI didn’t know how they where linked together, so I went into his office, because I had a serious question.\nAt tea you could ask any question, but this was serious.\nHe looked at it and said: “Why don’t you just forget the Milnor-part”.\nHe didn’t say it that way, but something like: “Why don’t you just forget the exotic sphere part, and just do the first part.”\nAnd this worked for piecewise differentiable manifolds."
]
},
{
"type": "Paragraph",
"id": "p34",
"content": [
{
"type": "Emphasis",
"content": [
"So this is the combinatorial manifold case?"
]
}
]
},
{
"type": "Paragraph",
"id": "p35",
"content": [
"Yes, I call them combinatorial manifolds, or PL manifolds, or piecewise differentiable manifolds.\nYou allow the differential structure to break, but you keep the combinatorial structure.\nAnd I said: “Thank you Professor Milnor”, but I thought: “Oh, these piecewise linear manifolds, I like ",
{
"type": "Emphasis",
"content": [
"smooth"
]
},
" manifolds, but these are just piecewise linear.”\nAnd I thought about it: “Wait a minute, if I do that, I know the structure completely!\nThat is, I know the local structure completely.” And I just had to figure out the global structure, which took another year, but then it solved the whole problem."
]
},
{
"type": "Paragraph",
"id": "p36",
"content": [
{
"type": "Emphasis",
"content": [
"And you asked your thesis advisor Browder: “Can this go into my thesis?”"
]
}
]
},
{
"type": "Paragraph",
"id": "p37",
"content": [
"Well, yeah, that’s right.\nI asked him: “I have this sequence of steps, which have these coefficients, and if you can do all the steps you get this result.\nCan that be a part of my thesis?” And he said: “Well, I guess that ",
{
"type": "Emphasis",
"content": [
"is"
]
},
" your thesis.”"
]
},
{
"type": "Paragraph",
"id": "p38",
"content": [
{
"type": "Emphasis",
"content": [
"And that answered a long standing question that people had been wondering about for quite a while?\nWe are thinking about the so-called Hauptvermutung."
]
}
]
},
{
"type": "Paragraph",
"id": "p39",
"content": [
"That was actually the driving engine.\nThere was this more famous question about whether the combinatorial structure was uniquely determined by the topological structure.\nAnd that was called the Hauptvermutung.\nAnd it turned out that whenever I could understand the theory of what I was discussing completely, I could use the technique of Novikov to prove my list of numbers were zero."
]
},
{
"type": "Paragraph",
"id": "p40",
"content": [
"The next eight months was like a race, it was really a race against reality.\nEvery time I could understand this global theory better, I could prove the Hauptvermutung.\nIt turned out that I could prove everything was zero except one little thing in dimension four that wasn’t zero, but had order two, and that was it.\nA few years later they actually found counterexamples in that little place there.\nSo I proved as much as one could."
]
},
{
"type": "Paragraph",
"id": "p41",
"content": [
{
"type": "Emphasis",
"content": [
"What you call “that little place” is an obstruction group in dimension four, right?\n"
]
}
]
},
{
"type": "Paragraph",
"id": "p42",
"content": [
"Yes, that was my obstruction group in dimension four.\nIn a sense, that isn’t the way I work.\nWell, I would love it if I could solve a well-known question, but I really like ",
{
"type": "Emphasis",
"content": [
"understanding"
]
},
" things better.\nSo, I actually like the theory that says that these are all the piecewise linear manifolds in a given homotopy type, and you can compute these numbers and then you know which one you have, and that is a complete discussion.\nIt turns out that 99 out of a 100 of those numbers are also topological invariants.\nSo you get this corollary.\nPeople today only know the corollary.\nAnd now they even have a simpler proof, so everything I have done is forgotten!\nSo I’m glad I get this Prize so I can talk about it again."
]
},
{
"type": "Paragraph",
"id": "p43",
"content": [
{
"type": "Emphasis",
"content": [
"Immediately from there you move on and do other amazing stuff.\nYou discover that the Galois group has important consequences for the study of manifolds.\nIndeed, you solve a famous conjecture that way.\nCould you elaborate on that, focusing on the manifold aspect of it?\nSpecifically, how come you have a Galois action on manifolds, it doesn’t seem reasonable at all."
]
}
]
},
{
"type": "Paragraph",
"id": "p44",
"content": [
"I would say that it’s still not understood.\nIn other words, there was this list of invariants – I’m simplifying it a little bit – but a big part of that list could be collected into one element in K-theory.\nAnd K-theory has this symmetry, the Adams operations.\nOne knows that when you look at the roots of unity in the complex numbers, that is if you add the roots of unity and form that field, that gives you the abelian part of the Galois group.\nAnd the symmetry of those fields, more precisely, you have to complete the manifold theory – it’s technically a little strange to topologists and geometers – you complete the number aspect of manifolds so to speak, and that has symmetry exactly the abelian part of the big Galois group.\nSo we have Abel and Galois together."
]
},
{
"type": "Paragraph",
"id": "p45",
"content": [
"And that symmetry exists in K-theory, so it acts on the invariants of manifolds.\nSo, the manifolds were just given the information, the homotopy type and these other numerical invariants, and the Galois group acted on these invariants, and therefore it acted on the manifolds.\nThat is how it came about.\nIt doesn’t come about in a natural explicit geometric way, and that gave rise to this Jugendtraum, or dream of youth, a term coined by Kronecker in a different context.\nThis Jugendtraum, explaining this in elementary terms, is still open."
]
},
{
"type": "Paragraph",
"id": "p46",
"content": [
{
"type": "Emphasis",
"content": [
"How can we view manifolds?\nAs we would view algebraic varieties?"
]
}
]
},
{
"type": "Paragraph",
"id": "p47",
"content": [
"It’s a little strange, you see.\nIf you think of usual algebraic varieties with real numbers and complex numbers, they are normal topological spaces.\nAnd this topology comes from the topology of complex numbers or the real numbers, right?\nThe Galois group doesn’t preserve that topology.\nA lesson from algebraic geometry is that to understand things that are defined in terms of integers it is best understood by looking at each prime and looking at the real completion, and view the information that way.\nThe “intersection” of all this information gives the integral information.\nIt’s kind of sophisticated.\nThis was actually too much for my topological colleagues.\nThey didn’t want to hear about it.\nThe geometric topologists, not the homotopy theorists.\nThe homotopy theorists – they loved it!"
]
},
{
"type": "Paragraph",
"id": "p48",
"content": [
{
"type": "Emphasis",
"content": [
"So, you are assembling all this information, one prime at a time, plus the rational information?"
]
}
]
},
{
"type": "Paragraph",
"id": "p49",
"content": [
"Yeah, for a manifold the finite prime part splits into the prime two and all the odd primes.\nIndividual odd primes behave the same way.\nBecause of the Poincaré duality, it’s like a quadratic form.\nIt’s well known that quadratic forms behave differently at the prime two than at the odd primes."
]
},
{
"type": "Paragraph",
"id": "p50",
"content": [
{
"type": "Emphasis",
"content": [
"Could we for a moment segue into a different topic, though still associated with the name Poincaré.\nWe are thinking of the term Poincaré moment, which refers to the experience Poincaré himself described where he in a flash saw the solution to a problem he had worked on for months.\nHave you had such Poincaré moments?"
]
}
]
},
{
"type": "Paragraph",
"id": "p51",
"content": [
"I search for them all the time, but they come very seldom."
]
},
{
"type": "Paragraph",
"id": "p52",
"content": [
{
"type": "Emphasis",
"content": [
"Could you tell us about the fascinating experience you had when you were about to take the oral exam as part of your PhD?"
]
}
]
},
{
"type": "Paragraph",
"id": "p53",
"content": [
"Oh, yeah, yes, right.\nThere is a little book by Milnor called ",
{
"type": "Emphasis",
"content": [
"Topology from a differentiable viewpoint"
]
},
".\nAbout how you could do all of the usual things, you know, the Königsberg bridge problem, continuing to Betti numbers, etc., etc.\nYou could do all that more geometrically using smooth functions and regular values, preimages of the nice points, submanifolds and stuff like that.\nThat was Milnor’s beautiful description of the Thom theory from 1953, okay?\nSo, we were studying that for the orals, and I knew it forwards and backwards, I could answer any question."
]
},
{
"type": "Paragraph",
"id": "p54",
"content": [
"I was walking in to take the exam, and thought: “Let me look at it one more time before the exam”.\nI went to the library, opened the book, looked at it.\nIt’s a small book, it’s got ten theorems in it.\nBut still, there are a lot of steps, and I was looking at it one more time, and then this basic picture appeared to me: You have a map to something like a sphere, and you take the preimage of a point – which is what is called a nice value – you get a nice submanifold by the Implicit Function Theorem.\nYou get local coordinates, and then the neighborhood sort of funnels down, like you would push a slinky down and flatten it out completely.\nBut this was saying something about the global map: There is the preimage of one point, and then I noticed: “Oh, wait a minute, the preimage of one point has all the information.”\nThe complement may be very complicated in the domain, but the complement of a point or a disk in the image sphere is contractible.\nIt’s like taking a point out of a balloon, it contracts, it’s contractible!\nSo you can extend the mapping to the contractible part uniquely.\nAny choice you make will be related by deformation to any other choice."
]
},
{
"type": "Figure",
"id": "fig2",
"caption": [
{
"type": "Paragraph",
"content": [
"Dennis Parnell Sullivan – 2022 Abel Prize laureate. © John Griffin / Stony Brook University / Abel Prize"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-108-4.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
}
]
},
{
"type": "Paragraph",
"id": "p55",
"content": [
"Suddenly the whole book, or the whole theory, became clear.\nIt just follows from this picture, from this slinky picture, with the logical remark that the complement here is contractible, so there is no more information.\nThat is just pure logic, plus this simple picture.\nThe whole book fell away, the entire theory fell away.\nIf I got amnesia but was left with that picture in my mind, I could reproduce the whole book and the whole theory.\nAnd then I thought: “This is what it means to understand mathematics”.\nI was a graduate student!\nSo, I want to feel this again!"
]
},
{
"type": "Paragraph",
"id": "p56",
"content": [
{
"type": "Emphasis",
"content": [
"And have you?"
]
}
]
},
{
"type": "Paragraph",
"id": "p57",
"content": [
"Yes!\nHowever, it takes longer and longer.\n"
]
},
{
"type": "Paragraph",
"id": "p58",
"content": [
{
"type": "Emphasis",
"content": [
"Of your other main results in this area, is there any one that has such a picture in your mind, where you actually see the entire theory?"
]
}
]
},
{
"type": "Paragraph",
"id": "p59",
"content": [
"Well, I mean, basically this sequence of steps things I was talking about, where you take preimages and use this picture, I kept using it.\nFor example you know how a screwdriver works, it goes into the slot and you turn it.\nYou can take apart this house, you know.\nI mean, you can do anything.\nYou have to have a simple tool, you have to understand it, and then use it.\nWell, that wasn’t exactly a Poincaré moment."
]
},
{
"type": "Paragraph",
"id": "p60",
"content": [
"The Poincaré moment I was thinking of, when you said that, was when he put his foot on the bus and he realized that the holomorphic bijections of the unit disk were the same as the symmetries or the congruences of non-euclidean geometry.\nAnd that was a fantastic connection.\nHe knew both things.\nBut, in a sense, the connection is the moment.\nThis largely dictated the next century, and all the work of Thurston and so on."
]
},
{
"type": "Paragraph",
"id": "p61",
"content": [
{
"type": "Emphasis",
"content": [
"But you must have had a similar experience, when you proved the Adams conjecture.\nYou’ve commented that it wasn’t really important that the Galois action corresponded to the Adams operations.\nStill, it must have been very important to you at the time when you were trying to solve the Adams conjecture, that they were the same.\nThat must have been a revelation, that that actually could be true?"
]
}
]
},
{
"type": "Paragraph",
"id": "p62",
"content": [
"Well, it’s not my creation, it was Quillen’s observation that somehow these Adams operations, whatever they are, let’s just say they are some symmetries of something that relates to manifolds and space."
]
},
{
"type": "Paragraph",
"id": "p63",
"content": [
"The symmetry is related to the fact that, when you are working in the field of algebra, you may assume that ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "p",
"meta": {
"altText": "p"
}
},
" times anything is ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "0",
"meta": {
"altText": "0"
}
},
", where ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "p",
"meta": {
"altText": "p"
}
},
" is a prime, like ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "3",
"meta": {
"altText": "3"
}
},
" times anything is zero, ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "3",
"meta": {
"altText": "3"
}
},
" being the prime.\nThere is an amazing fact that if you work, for example, with ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "3",
"meta": {
"altText": "3"
}
},
" times something is ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "0",
"meta": {
"altText": "0"
}
},
", and you take a number ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "x",
"meta": {
"altText": "x"
}
},
" and you cube it, and you take another number ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "y",
"meta": {
"altText": "y"
}
},
" and cube it, then if you add the two and then cube the sum of the two numbers, you get the same thing: ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "x3+y3=(x+y)3",
"meta": {
"altText": "x^{3}+y^{3}=(x+y)^{3}"
}
},
".\nThis is because of what the binomial coefficient theorem says, that you get these ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "1,3,3,1",
"meta": {
"altText": "1,3,3,1"
}
},
"-terms, but ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "3",
"meta": {
"altText": "3"
}
},
" is zero, so you get ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "1",
"meta": {
"altText": "1"
}
},
" and ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "1",
"meta": {
"altText": "1"
}
},
".\nThat shows that you have this symmetry in each of these prime worlds.\nSo, you have this additional symmetry given by what is called the Frobenius automorphism.\nThat is fantastic!"
]
},
{
"type": "Paragraph",
"id": "p64",
"content": [
"Quillen had already suggested that there is a relation between the Adams conjecture and Frobenius, but then that was a little too exotic for me.\nI wanted to ",
{
"type": "Emphasis",
"content": [
"use"
]
},
" the answer to the Adams conjecture, I didn’t want to prove it.\nAnd then I heard – I hadn’t met him yet – that he wasn’t going to work on it, because he first had to learn 200 pages of Grothendieck and transfer it into his setting.\nOkay, he only wrote perfect papers, it had to be perfect, or else he didn’t write it."
]
},
{
"type": "Paragraph",
"id": "p65",
"content": [
{
"type": "Emphasis",
"content": [
"It’s Quillen you are talking about, right?"
]
}
]
},
{
"type": "Paragraph",
"id": "p66",
"content": [
"Yes, it’s Quillen.\nNow I’m adding what I found out later, as I read more of his work: every paper is perfect.\nPerfect isn’t the right word, it’s optimal.\nYou can’t do better.\nSo, I heard about this, and I said: “Okay, I’m going to pretend that this is true, because Quillen made this connection, and he could have written the proof out.”\nAnd then I said: “But wait a minute, I can’t just pretend that this is true, I’ve got to prove it myself.”\nBut if it’s true, it’s easier to prove.\nBecause you know it’s true.\nIt’s a topological theorem, so I just kept working on it."
]
},
{
"type": "Paragraph",
"id": "p67",
"content": [
"I worked on it for six months, which in those times was a really long time because things were happening faster.\nI reduced it to something – it was equivalent to something – and then I tried for a long time to prove this something, but I couldn’t do it.\nAnd then: I remember sitting on the lawn, I remember exactly that moment, August 19, 1967.\nI had just driven up from Mexico with my family to Berkeley.\nI was going to spend two years there.\nI was sitting on the lawn of the house where we were staying for a few days until we got our own place, and I thought: “What has Quillen said about this?”\nHe said: “Frobenius! algebraic symmetry! at the primes!”\nIt turned out that it gave my condition immediately, and so I had a proof of the Adams conjecture."
]
},
{
"type": "Figure",
"id": "fig3",
"caption": [
{
"type": "Paragraph",
"content": [
"© Scott Sanden, Gyro AS"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-108-2.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
}
]
},
{
"type": "Paragraph",
"id": "p68",
"content": [
"In some sense that was a Poincaré moment.\nIt took me a year to write out the details.\nThere were different details, less foreboding than what Quillen had envisaged, so I was able to do it."
]
},
{
"type": "Paragraph",
"id": "p69",
"content": [
{
"type": "Emphasis",
"content": [
"And that spawned the so-called MIT notes, which became widely circulated and famous?"
]
}
]
},
{
"type": "Paragraph",
"id": "p70",
"content": [
"That spawned the MIT notes, yeah.\nYou have to first localize, then complete and then do all the related homotopy theory."
]
},
{
"type": "Paragraph",
"id": "p71",
"content": [
{
"type": "Emphasis",
"content": [
"And then you moved on to the quasiconformal manifolds and Lipschitz conditions.\nHow did that transition happen?"
]
}
]
},
{
"type": "Paragraph",
"id": "p72",
"content": [
"You sort of skipped about ten years … but we don’t have so many hours!"
]
},
{
"type": "Paragraph",
"id": "p73",
"content": [
{
"type": "Emphasis",
"content": [
"Yeah, we agreed to skip the rational homotopy theory, which really hurts, but …"
]
}
]
},
{
"type": "Paragraph",
"id": "p74",
"content": [
"Okay, but let me make one point about that.\nAlgebraic geometry and stuff like that just does the finite primes.\nIt turns out that all the information in this algebraic topology which is determined at the primes, has this extra symmetry in it, which is related to algebraic geometry.\nBut then I thought: “Wait a minute, what about the infinite prime, the archimedean place?”\nI didn’t know any analysis, or anything like that.\n“But, maybe it has to do with differential forms?”\nAnd it turned out that it did.\nIt’s sort of like algebra does ",
{
"type": "Emphasis",
"content": [
"this"
]
},
" part, analysis and geometry do ",
{
"type": "Emphasis",
"content": [
"this"
]
},
" part."
]
},
{
"type": "Paragraph",
"id": "p75",
"content": [
{
"type": "Emphasis",
"content": [
"Which does open analysis to all of the rational theory."
]
}
]
},
{
"type": "Paragraph",
"id": "p76",
"content": [
"Right!"
]
},
{
"type": "Paragraph",
"id": "p77",
"content": [
{
"type": "Emphasis",
"content": [
"And you then prove that cohomology in many situations determines the entire rational type; Kähler manifolds."
]
}
]
},
{
"type": "Paragraph",
"id": "p78",
"content": [
"Yeah, it had nice corollaries.\nThe idea was to express the information in terms that are natural.\nIt’s natural to express the information of the infinite part, rational numbers, real numbers, in terms of differential forms, which is natural for analysis and geometry."
]
},
{
"type": "Figure",
"id": "fig4",
"caption": [
{
"type": "Paragraph",
"content": [
"© John Griffin / Stony Brook University / Abel Prize"
]
}
],
"licenses": [
{
"type": "CreativeWork",
"content": [
{
"type": "Paragraph",
"content": [
"All rights reserved."
]
}
]
}
],
"content": [
{
"type": "ImageObject",
"contentUrl": "mag-108-3.jpg",
"mediaType": "image/jpeg",
"meta": {
"inline": false
}
}
]
},
{
"type": "Paragraph",
"id": "p79",
"content": [
{
"type": "Emphasis",
"content": [
"So you have this information for the primes with the Galois action and you have analysis on the differential forms for the infinite piece?"
]
}
]
},
{
"type": "Paragraph",
"id": "p80",
"content": [
"All of which is related to topology, right.\nBut then, to go on, all of this was frustrating, because it was outside the manifold.\nThey were sort of invariants.\nI liked facts about things inside the manifold.\nFoliations or dynamical systems and fractal sets, these things are inside the manifold and they are constructed by infinite processes inside the manifold.\nSo I started to learn about these infinite processes."
]
},
{
"type": "Paragraph",
"id": "p81",
"content": [
"That began the dynamics part.\nIt was sort of like just following this interest inside, there was no logical reason.\nI was starting over as a graduate student again, I’d say.\nIt turns out that the best way to understand the holomorphic part of manifold theory in dimension two is not through the smooth structure, but in terms of the quasiconformal structure.\nThat is the best way to understand dimension two.\nAnd it’s amenable to certain infinite fractal processes.\nAnyway, it was natural to leave this highly sophisticated algebraic viewpoint and go back to the original interest in manifolds, like dynamics – and processes like dynamics – inside the manifold.\nI mean, physical processes take place in space, so this is all about everything else in science. You know, even medicine; your body has tubes with fluids and so on."
]
},
{
"type": "Paragraph",
"id": "p82",
"content": [
{
"type": "Emphasis",
"content": [
"Let’s talk a little more about these dynamical systems and their importance in studying manifolds.\nPerhaps we could start with something very concrete, namely Denjoy’s answer in the 1930s to a question posed by Poincaré about circle diffeomorphisms without periodic points.\nThis was taken up and extended enormously in the ’70s by Michel Herman and his student Yoccoz, answering, among other things, a question posed by Arnold.\nWith this as background, could we ask you how this theory impacted your desire, so to speak, to understand things inside the manifold?\nThis in contrast to the picture you give of manifolds locally being like a puddle of milk looked at from the outside – there isn’t much personality."
]
}
]
},
{
"type": "Paragraph",
"id": "p83",
"content": [
"Let me answer this by first posing the question: “Why is it interesting to know about manifolds?”\nIt’s all about space.\nOkay, we have done the number aspect, but why is it really interesting?\nWell, all the processes that we see go on in space.\nAll that stuff that is described by various other fields, ODEs, partial differential equations, functional analysis, that’s all part of describing the processes.\nIt’s also combinatorics, computer algorithms.\nAll that is about processes in time, but all these processes in time go on in space."
]
},
{
"type": "Paragraph",
"id": "p84",
"content": [
"I didn’t know all that then, but I wanted to know more about things going on inside manifolds.\nA little dynamical system could create an interesting fractal set inside the manifold.\nAnd if you perturb that dynamical system, that fractal set was still there.\nIt was structurally stable.\nSo I had to learn about things such as Cantor sets, fractals and stuff.\nSo I started and I’d say it was almost a ten year period of time before I got to quasiconformal mappings."
]
},
{
"type": "Paragraph",
"id": "p85",
"content": [
"This was at the end of the ’70s.\nI was thinking about dynamics and foliations, like this idea of an onion that is foliated.\nThat is a very attractive picture, and these were interesting objects.\nThurston had arrived on the scene, and he blew everybody’s mind away, including mine.\nImmodestly, I have to say that I was smart enough to appreciate that I was watching Mozart playing the piano.\nI mean, not everyone did, because Thurston wasn’t so communicative."
]
},
{
"type": "Paragraph",
"id": "p86",
"content": [
{
"type": "Emphasis",
"content": [
"But he was one of your heroes along with Thom, wasn’t he?"
]
}
]
},
{
"type": "Paragraph",
"id": "p87",
"content": [
"Yes, but he was younger than I was, he was my younger brother hero.\nAll this fitted with this desire of mine to go inside the manifolds, and understand more geometric things.\nSo I started studying dynamics, and I learned about the Smale school.\nAnd then, in France, I started going to Michel Herman’s lectures, and I met Yoccoz, his student.\nMichel Herman was working on the problem you alluded to in your question.\nIt happened like this: Denjoy died in 1974, and Michel Herman was working on his papers for the French Mathematical Society.\nHerman started to talk about the Denjoy argument.\nSo, I learned that argument.\nAnd then Herman started answering these questions, refining what Denjoy had done.\nYou have to remember that Poincaré was doing celestial mechanics, in particular, the three body problem.\nHe came up with this question that was answered by Denjoy, who did this a couple of decades after Poincaré died, actually."
]
},
{
"type": "Paragraph",
"id": "p88",
"content": [
"This is all about one dimensional manifolds.\nIt turns out that they are actually among the hardest from this interior point of view.\nThey are very difficult.\nHerman analyzed the very fine structure of diffeomorphisms of the circle, and we were learning as he was producing results.\nI was just intrigued about it.\nFor example, there is a beautiful example involving the golden ratio number and Fibonacci numbers, and that intrigued me."
]
},
{
"type": "Paragraph",
"id": "p89",
"content": [
{
"type": "Emphasis",
"content": [
"And this is while you are at IHÉS?"
]
}
]
},
{
"type": "Paragraph",
"id": "p90",
"content": [
"At IHÉS, yes.\nHe was at Orsay, which was just a walk across the valley of the Yvette.\nThe interesting thing about the real line is that there are three kinds of distortions that behave algebraically very nicely.\nThere’s the metric distance distortion, the ratio distance distortion and the cross ratio distortion; corresponding respectively to metric geometry, affine geometry and projective geometry.\nAnd there is the usual chain rule.\nYou take the logarithm of that, it’s a nice formula under composition, and now you can do two other compositions with these higher distortions.\nThose were the key things that I used to explain Herman’s work to myself."
]
},
{
"type": "Paragraph",
"id": "p91",
"content": [
"Michel Herman’s theorem took a whole volume of Publications Mathématiques de l’IHÉS, and I wanted to get it down to something like just a few key moments of understanding.\nAnd you could – after a couple of years thinking about it – get it down to something you could tell on the phone to somebody.\nThat was my challenge: Find a proof that I could tell to somebody on the phone.\nYou have to understand it, you can’t write down a lot of formulas and calculate and stuff like that, you have to understand it.\nIt was just like that, the desire to understand, and it was just like fun, you know."
]
},
{
"type": "Paragraph",
"id": "p92",
"content": [
"But then, in ’82, I heard that physicists had discovered something startling related to phase change.\nYou know, the water gets colder and colder, and suddenly it forms this crystal, right?\nIt’s when all this rigidity happens.\nThat is called phase change.\nThere are a lot of situations where that happens in physics.\nIt turned out that physicists had calculated one such in a dynamics example, where you adjust a certain parameter to the freezing point, I’d say, and then you get this incredible thing:\nIt could have depended on infinitely many parameters, and it doesn’t depend on anything at all, it’s universal!"
]
},
{
"type": "Paragraph",
"id": "p93",
"content": [
{
"type": "Emphasis",
"content": [
"That was what Feigenbaum first discovered, right?"
]
}
]
},
{
"type": "Paragraph",
"id": "p94",
"content": [
"Feigenbaum discovered that there was this ",
{
"type": "Emphasis",
"content": [
"rate"
]
},
" (from the other direction).\nThen other physicists discovered – and Feigenbaum too, actually; he hadn’t communicated it as well as the other ones – that it was this intrinsic geometry, like a crystal, I’d say."
]
},
{
"type": "Paragraph",
"id": "p95",
"content": [
"What was interesting about this for me was that there were not enough techniques available to ",
{
"type": "Emphasis",
"content": [
"prove"
]
},
" this at the time.\nIt was numerically calculated.\nYou can take this formula and that formula, and do this infinite process, calculate and – bingo!\nThe Hausdorff dimension is ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "0.5308…",
"meta": {
"altText": "0.5308\\dots"
}
},
", or something like that.\nSo, here is a theorem that is true and it is precisely formulated.\nTrue with quotes, because it was numerically true.\nThe available techniques weren’t enough to prove it.\nIt turned out that you just had to add three more things to the Michel Herman and Yoccoz stuff, and then you could prove it.\nBut it took eight years."
]
},
{
"type": "Paragraph",
"id": "p96",
"content": [
"The idea was, I could stop whatever I was doing, and just work on this, there wouldn’t be any counterexamples, you know.\nAnd a proof would need new math."
]
},
{
"type": "Paragraph",
"id": "p97",
"content": [
{
"type": "Emphasis",
"content": [
"And you were the one that came up with a proof?"
]
}
]
},
{
"type": "Paragraph",
"id": "p98",
"content": [
"Yeah, I found it and it took eight years."
]
},
{
"type": "Paragraph",
"id": "p99",
"content": [
{
"type": "Emphasis",
"content": [
"And that was in ’82?"
]
}
]
},
{
"type": "Paragraph",
"id": "p100",
"content": [
"It was in ’90.\nIt was ’82 when I heard about it."
]
},
{
"type": "Paragraph",
"id": "p101",
"content": [
{
"type": "Emphasis",
"content": [
"And in the meantime …"
]
}
]
},
{
"type": "Paragraph",
"id": "p102",
"content": [
"… in the meantime?\nI was just working on this.\nThere might be other things that appeared in print, but I wasn’t working on anything else."
]
},
{
"type": "Paragraph",
"id": "p103",
"content": [
{
"type": "Emphasis",
"content": [
"For instance the non-wandering-domain theorem?"
]
}
]
},
{
"type": "Paragraph",
"id": "p104",
"content": [
"No, that is ’81."
]
},
{
"type": "Paragraph",
"id": "p105",
"content": [
{
"type": "Emphasis",
"content": [
"It was published in ’85?"
]
}
]
},
{
"type": "Paragraph",
"id": "p106",
"content": [
"No no no, that was already over.\nI ",
{
"type": "Emphasis",
"content": [
"was"
]
},
" in quasiconformal mappings; Ahlfors and Bers’ theory goes into dynamics.\nThat was already ",
{
"type": "Emphasis",
"content": [
"fait accompli"
]
},
" by 1980."
]
},
{
"type": "Paragraph",
"id": "p107",
"content": [
{
"type": "Emphasis",
"content": [
"That must have been very inspirational that you got this result about non-wandering sets."
]
}
]
},
{
"type": "Paragraph",
"id": "p108",
"content": [
"It was sort of obvious.\nIt was obvious from the understanding."
]
},
{
"type": "Paragraph",
"id": "p109",
"content": [
{
"type": "Emphasis",
"content": [
"But it wasn’t obvious to Fatou."
]
}
]
},
{
"type": "Paragraph",
"id": "p110",
"content": [
"No, but he didn’t have this theory of quasiconformal mappings, this deformation theory."
]
},
{
"type": "Paragraph",
"id": "p111",
"content": [
{
"type": "Emphasis",
"content": [
"It must have been very satisfactory for you to prove that?"
]
}
]
},
{
"type": "Paragraph",
"id": "p112",
"content": [
"Well, no it’s not, no no, you have misread me.\nThese prizes and stuff are nice, but that’s not the point.\nIt’s not the point to solve a problem, the point is to understand.\nAnd by this point, by the time, you understood what Ahlfors and Bers were doing, it was like a Poincaré moment, where you say: “This theory here could be very useful in this other theory”.\nThese are disjoint universes, and do this Fatou–Julia thing, and just transfer the technique over."
]
},
{
"type": "Paragraph",
"id": "p113",
"content": [
{
"type": "Emphasis",
"content": [
"Are you now talking about your dictionary?"
]
}
]
},
{
"type": "Paragraph",
"id": "p114",
"content": [
"That is the first entry of my dictionary, right."
]
},
{
"type": "Paragraph",
"id": "p115",
"content": [
{
"type": "Emphasis",
"content": [
"In the paper where you prove the non-wandering domain you state the dictionary in the introduction.\nBut do you use your dictionary in order to prove, say, the non-wandering result?"
]
}
]
},
{
"type": "Paragraph",
"id": "p116",
"content": [
"I do.\nThere is something called the Ahlfors finiteness theorem, and you take what makes that work, and you restructure it over in this other domain.\nIt was really using the comparison, the correspondence."
]
},
{
"type": "Paragraph",
"id": "p117",
"content": [
"The non-wandering result, the Fatou theorem, corresponds to a known theorem in this Kleinian group category.\nIt’s about the idea of understanding, not the names, not what field it is, but what is the math idea.\nThe math idea is the same ",
{
"type": "Emphasis",
"content": [
"here"
]
},
" and ",
{
"type": "Emphasis",
"content": [
"here"
]
},
"."
]
},
{
"type": "Paragraph",
"id": "p118",
"content": [
{
"type": "Emphasis",
"content": [
"Is this like you were telling us a moment ago, that once you know something is true, it’s way easier to prove it?\nWas the dictionary some sort of guidance in that respect – you knew what would be true?\n"
]
}
]
},
{
"type": "Paragraph",
"id": "p119",
"content": [
"No, it’s like when you arrange a party: you have to have enough drinks, enough food.\nI mean, you have to have enough stuff.\nYou have to accommodate the correspondence.\nIn retrospect you can say that the Fatou problem corresponds to something known over here, in Ahlfors and Bers, okay?"
]
},
{
"type": "Paragraph",
"id": "p120",
"content": [
"The underlying math is the same, and that is satisfying. But it was so obvious, it wasn’t exciting.\nThe idea is, if you think in terms of structures, the structure here and the structure there were the same, two examples, the same structure."
]
},
{
"type": "Paragraph",
"id": "p121",
"content": [
{
"type": "Emphasis",
"content": [
"So we were talking about your dictionary between the Kleinian groups and quadratic or complex dynamics, if you like, right?"
]
}
]
},
{
"type": "Paragraph",
"id": "p122",
"content": [
"That is one item in the dictionary.\nThe dictionary says: “For every item ",
{
"type": "Emphasis",
"content": [
"here"
]
},
", there should be a corresponding item ",
{
"type": "Emphasis",
"content": [
"here"
]
},
", because the basic elements of the two universes are the same.\nIn fact, I once introduced Bers at a conference to Mostow.\nBers asked: “Why are you introducing us?\nWe’ve know each other for years, we’re close friends, but we never talk math”.\nLike he said it proudly.\nI said: “Well, I have this one theorem.\nIf you do ",
{
"type": "Emphasis",
"content": [
"this"
]
},
" it is Mostow’s theorem, if you do ",
{
"type": "Emphasis",
"content": [
"this"
]
},
" it is your theorem.”"
]
},
{
"type": "Paragraph",
"id": "p123",
"content": [
{
"type": "Emphasis",
"content": [
"How did they react to that?"
]
}
]
},
{
"type": "Paragraph",
"id": "p124",
"content": [
"You know, people are in their comfortable world, it’s already rich and beautiful, they are happy there.\nI’m not like that, when I start to understand something, I start wanting to move sideways, somehow."
]
},
{
"type": "Paragraph",
"id": "p125",
"content": [
{
"type": "Emphasis",
"content": [
"So, you have the dictionary and what you’re telling us is that the underlying mathematics of the two things are the same.\nBut not for any particular reason; it’s just the same?\nIt occasionally happens that you have two different mathematical problems, and the way you handle them, or the way their combinatorics work is just the same, for no apparent reason."
]
}
]
},
{
"type": "Paragraph",
"id": "p126",
"content": [
"No.\nThe question is: “what are the basic elements that are involved in the mathematics, in each situation?”\nIn this case there is dynamics which has a certain form actually, a technical form called hyperfiniteness, related to von Neumann algebras, and also it has to do with Riemann’s ideas of deforming the complex structure.\nOkay, so those are the two ideas."
]
},
{
"type": "Paragraph",
"id": "p127",
"content": [
"There is an underlying complex structure, that is preserved by the dynamics.\nThese are called holomorphic dynamical systems.\nThis technique can be used in the entire field.\nBut before this happened there was a field called Fatou–Julia theory\nand one separate field involving Poincaré limit sets and domains of discontinuity and so on.\nThese were two different fields.\n",
{
"type": "Emphasis",
"content": [
"This"
]
},
" was occupied by complex analysts, and ",
{
"type": "Emphasis",
"content": [
"this"
]
},
" was occupied, in modern time, by dynamical systems people.\nThe basic elements of the underlying discussion were the same.\nEvery advance here should correspond to something over there."
]
},
{
"type": "Paragraph",
"id": "p128",
"content": [
"It’s just to look at things in simple terms, without the words.\nI don’t let my graduate students use names, they can’t use any proper name.\nThey have to say, in an English sentence, in terms of basic concepts, like linear algebra or integers what the hell they are talking about.\nAnd I slap them around if they don’t, verbally."
]
},
{
"type": "Paragraph",
"id": "p129",
"content": [
{
"type": "Emphasis",
"content": [
"You are known to be very broad in your interests in mathematics, and you see connections that other people do not see.\nBut could we ask you a provocative question: is there some type of mathematics that you don’t like?"
]
}
]
},
{
"type": "Paragraph",
"id": "p130",
"content": [
"No, because there is this one tapestry, it’s all connected.\nIt’s like the tapestry behind you, it goes all around.\nEverything is interesting to me."
]
},
{
"type": "Paragraph",
"id": "p131",
"content": [
{
"type": "Emphasis",
"content": [
"And now the fluid dynamics enters.\nCan you tell us about that and why?\nOkay, you have a punchline in the end here, we won’t spoil it for you."
]
}
]
},
{
"type": "Paragraph",
"id": "p132",
"content": [
"I forgot …"
]
},
{
"type": "Paragraph",
"id": "p133",
"content": [
{
"type": "Emphasis",
"content": [
"Oh, you promised to replace Newton’s calculus by Poincaré’s combinatorial topology."
]
}
]
},
{
"type": "Paragraph",
"id": "p134",
"content": [
"Oh, right, of course yes, but that isn’t a punchline, that’s the theme.\nThe idea is, yeah, so, quick history of math, right:\nWe had the Greeks, they had their problems, more than two thousand years ago.\nNewton came along and he invented the calculus along with Leibniz.\nSuddenly, a bunch of problems the Greeks had could be solved.\nYou can compute volumes of new things.\nBecause with calculus you sort of ignore higher order error terms.\nError of 0.1 decimal place, and errors of 0.001, you ignore all those, and you just try to get the first part.\nAnd then the formula is simple, and you get this beautiful theory."
]
},
{
"type": "Paragraph",
"id": "p135",
"content": [
"But, you know, if you look a physicist in the eyes and ask, they’ll say: “The continuum doesn’t exist.”\nThe continuum doesn’t exist, because, what do we know about it?\nThe atomic models, elementary particles, there is no physics below 33 decimal places.\nThere is no physical theory, you can’t even talk about distance below that."
]
},
{
"type": "Paragraph",
"id": "p136",
"content": [
"On the other hand, the calculus ideal works beautifully, we have gravity, Einstein’s theory.\nBy the way, Einstein’s theory hasn’t been connected to the standard model, which is the way the elementary particles interact, with these small distances getting down to Planck scale.\nIn fact, Planck scale is sort of the scale in which gravity and the strong forces of nature are comparable."
]
},
{
"type": "Paragraph",
"id": "p137",
"content": [
"Even the physicists use the continuum … like in a religious way!\nAs if it exists!\nAnd they know it’s not true, because Newton’s calculus leads to classical physics, which is negated by quantum theory.\nBut it’s so beautiful!\nRepresentation theory, Lie groups, it’s so beautiful, and they can make models, and the models work!\nBut there is no basis somehow, there is something missing, right?\nIn the physics theory."
]
},
{
"type": "Paragraph",
"id": "p138",
"content": [
"So, fluid mechanics has been in between the classical and the quantum discussion, you might say, the statistical discussion.\nIt has been in between, and in three dimensions …\nWell, in two dimensions it has theoretically been worked out, not computationally, but theoretically worked out.\nFor the same mathematical reasons, this Ahlfors–Bers theory and this deformation theory works, analysis, it’s related to that, and I understood that.\nThat was one reason I got in, I understand that, and half of that theory works in dimension three, but not the other half."
]
},
{
"type": "Paragraph",
"id": "p139",
"content": [
"I was astonished to hear, in ’91 or ’92, that these basic hydrodynamics equations in three dimensions weren’t theoretically understood – whether they have solutions or not – because in dimension two it was all clearcut, and I understood why.\nThey’re used all over the world by engineers to produce oil and by doctors to fix aneurysms.\nThe latter use a little turbulence inside the aneurysms and do a little support thing here, doctors can do several a day, and they can fix people up that might die at any point."
]
},
{
"type": "Paragraph",
"id": "p140",
"content": [
"How could it be true that 3D hydrodynamics was so mysterious?\nAlso about that same time one was able to put things on a computer quite well, but still there is now a limitation of a thousand of grid points or so in each direction.\nThousand by thousand by thousand, that is a billion.\nYou calculate, but then there is a matrix problem, billion by billion, so that is beyond reach.\nSo there is this definite limitation to what one can compute.\nThis mathematical problem, which actually became one of these millennium problems later, I was already working on it for about a decade before, is beautiful, precise and so on. But it’s not practical.\nWhat is really important is: what can you understand at the scale where you can compute?\nAnd then maybe prove theorems too."
]
},
{
"type": "Paragraph",
"id": "p141",
"content": [
"The idea I had was, this is all about space – processes happening in space.\nAnd you’ve got the Newton continuum, which gives you a beautiful algebra picture of space, you have differential forms, calculus, the Leibniz’ rule for a product, you know.\nGreat!\nIt turns out that if you discretize the problem and put it on a computer, you’ve got to do difference quotients instead of derivatives, and they don’t satisfy the product rule which has an ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "h2",
"meta": {
"altText": "h^{2}"
}
},
"-error, divided by ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "h",
"meta": {
"altText": "h"
}
},
", still an ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "h",
"meta": {
"altText": "h"
}
},
"-error.\nBut then ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "h",
"meta": {
"altText": "h"
}
},
" goes to ",
{
"type": "MathFragment",
"mathLanguage": "mathml",
"text": "0",
"meta": {
"altText": "0"
}
},
".\nThat is in every computation, that error term.\nSo the idea is, and they know this, the numerical analysts know this, of course, they know this much better than I do, but they don’t seem to have a theoretical way to approach it.\nSo, the idea is, or Poincaré told us, for all this topology, all the numbers games we were talking about before, which is quite deep, has to be done by breaking space into little chunks, and do some combinatorics with that.\nSo, that is combinatorial topology, that allows you to understand the non-linear aspect, which has a product structure.\nThat has been my theme of understanding, and now I have been working on it for three decades, and I think I have made some progress recently."
]
},
{
"type": "Paragraph",
"id": "p142",
"content": [
{
"type": "Emphasis",
"content": [
"To take the discretization that we have to do in order to calculate anything in fluid mechanics and anything like that. Are you saying that we should make ",
{
"type": "Emphasis",
"content": [
"that"
]
},
" as a main object of study itself?"
]
}
]
},
{
"type": "Paragraph",
"id": "p143",
"content": [
"Yes!\nWe should study the full algebraic topology – this is going back to the beginning now: Poincaré duality, intersections, how things intersect, that’s the ring structure.\nYou know, these objects in a manifold can be intersected, and that gives a ring structure."
]
},
{
"type": "Paragraph",
"id": "p144",
"content": [
{
"type": "Emphasis",
"content": [
"Do you think the Navier–Stokes problem, which we’ve been talking about, is one of the hardest Millennium Prize Problems?"
]
}
]
},
{
"type": "Paragraph",
"id": "p145",
"content": [
"No idea.\nI’m even not concerned with it as a Millennium Problem.\nI’d love to prove it, but I’d rather understand some variant of it.\nI mean, what made this dictionary stuff so interesting in a way, there were several Fields Medals there and stuff like that, was because they had these pictures of the Mandelbrot set.\nOnce a waiter came along while we were working on it, and he said: “Oh, that’s the Mandelbrot set”.\nEverybody knows the Mandelbrot set, right?\nThere are good computations of the Mandelbrot set, you can zoom in to any scale, it gets more and more complicated, it’s beautiful, like a fern or something.\nAnd you go deeper, and then there is a new thing, you know, it’s precise.\nAnd that has led to many statements and conjectures, half of which have become theorems, and half of which are still open.\nSo, it has been a very active field.\nWe don’t have such good computations for fluids in general.\nWe don’t have enough understanding.\nWe can just try, if it works: good.\nIf it doesn’t work, you know: bad.\nSo, the idea is to put more kind of conceptual work on the problem."
]
},
{
"type": "Paragraph",
"id": "p146",
"content": [
"To use Poincaré’s ideas, to break space up to combinatorial pieces, see how they interact, put other pieces to cover the breaks which reveals the Poincaré duality, and put all that into the computer programs that is treating the Navier–Stokes equation."
]
},
{
"type": "Paragraph",
"id": "p147",
"content": [
{
"type": "Emphasis",
"content": [
"You’ve said several times, that simplicity is the thing.\nWhen Atle Selberg was interviewed two years before he died, one of the things he stressed very much, was, and we quote him with a direct translation from Norwegian: “I believe that it is the simple things that will survive in mathematics.”\nWould you agree with that?"
]
}
]
},
{
"type": "Paragraph",
"id": "p148",
"content": [
"Oh yeah, of course.\n",
{
"type": "Emphasis",
"content": [
"C’est evident!"
]
},
"\nYou know, like a screwdriver. It’s going to last forever, if it’s simple, and it’s useful.\nI’ll go even further, the goal of mathematics is to simplify everything.\nI think that the complicated things can be simplified."
]
},
{
"type": "Paragraph",
"id": "p149",
"content": [
{
"type": "Emphasis",
"content": [
"Actually, Selberg mentioned Hermann Weyl as a prime example of a person that could attack a problem, simplify it and solve it."
]
}
]
},
{
"type": "Paragraph",
"id": "p150",
"content": [
"I think that is a good method, because there are these fundamental points, like the moments I was describing with the graduate students, organize everything.\nThey aren’t easy to find, you know.\nWhat are the central points? You don’t know a priori.\nAnd you start by getting a sense of it, it has to do with the structure: what is the structure of the situation. A little “Grothendieck-like”."
]
},
{
"type": "Paragraph",
"id": "p151",
"content": [
{
"type": "Emphasis",
"content": [
"The time is …"
]
}
]
},
{
"type": "Paragraph",
"id": "p152",
"content": [
"I’m not tired!\nI know this phenomenon; if hours are late and the mathematician one is talking to is tired, then one just asks him a question about what he is doing, right?\nAnd he starts talking, and suddenly he’s full of energy again!"
]
},
{
"type": "Paragraph",
"content": [
{
"type": "Emphasis",
"content": [
"This is going to be the last question, we promise!\nDuring our preparatory Zoom-meeting we mentioned a 1828 quote of Abel’s we’d like you to comment on."
]
}
]
},
{
"type": "QuoteBlock",
"content": [
{
"type": "Paragraph",
"content": [
"One should give a problem such a form that it is possible to solve it, something one can always do with any problem.\nIn presenting a problem in this manner, the actual wording of it contains the germ to its solution, and shows the route one should take.\nI have treated several topics in analysis and algebra in this manner, and although I have often posed myself problems that surpass my powers, I have nevertheless attained a great number of general results that have shed a broad light on the nature of these quantities, the knowledge of which is the object of mathematics."
]
}
]
},
{
"type": "Paragraph",
"content": [
{
"type": "Emphasis",
"content": [
"Do you have any comment on this?"
]
}
]
},
{
"type": "Paragraph",
"id": "p154",
"content": [
"The formulation of the problem is very important.\nEven more, a given problem may not be the correct formulation of ",
{
"type": "Emphasis",
"content": [
"the"
]
},
" problem.\nEvery problem stands, if it’s well-defined, but it could be that there is a slightly different version of the problem which is more natural and will be successfully solved, you know."
]
},
{
"type": "Paragraph",
"id": "p155",
"content": [
"I’m willing to change the problem, while it sounds like Abel is trying to take the problem as given and put it in its best perspective.\nI’m also willing to change a problem slightly, to one that can be solved, right?\nBut I certainly agree with that."
]
},
{
"type": "Paragraph",
"id": "p156",
"content": [
"Another thing that I’ve noticed, as I’ve been around doing this for a long time, is that when a subject is sort of complete, you can look back, you know, it’s very easy to close the barn door after the horse has escaped.\nYou know that you should have done it before.\nWhen you look at the final story, you would say, “Jeez, if we had started over ",
{
"type": "Emphasis",
"content": [
"here"
]
},
", then it would be natural to do ",
{
"type": "Emphasis",
"content": [
"this"
]
},
", and then you would have gotten there very quickly.”\nUsing just a simple picture of what has happened."
]
},
{
"type": "Paragraph",
"id": "p157",
"content": [
"So, if you are in a situation where you don’t have that, look for it.\nThat is kind of what Abel said."
]
},
{
"type": "Paragraph",
"id": "p158",
"content": [
{
"type": "Emphasis",
"content": [
"On behalf of the Norwegian Mathematical Society and the European Mathematical Society and the two of us we would like to thank you very much for this most interesting interview."
]
}
]
},
{
"type": "Paragraph",
"id": "p159",
"content": [
"It was my pleasure, I assure you!\n"
]
},
{
"type": "Paragraph",
"id": "p160",
"content": [
{
"type": "Emphasis",
"content": [
"Thank you!"
]
}
]
}
]
}