106
$\begingroup$

I thought that the closed question here could be modified to a very interesting question (at least as far as big-list type questions go).

Can people name examples of fields of mathematics that were once very active, then fell dormant for a while (and maybe even were forgotten by most people!), and then were revived and became active again?

Here's an example to show what I mean. In the late 19th and early 20th century, hyperbolic geometry was an active and thriving field, attracting the attention of many of the best mathematicians of the era (for instance, Fricke, Klein, Dehn, etc). Fashions changed, however, and the subject was largely forgotten outside of textbooks. In the late '70's, however, Thurston introduced new ideas and showed that hyperbolic geometry was enormously important for the study of 3-manifolds, and now it and its offshoots have become central topics in low-dimensional topology and geometry.

$\endgroup$
22
  • 23
    $\begingroup$ Surely somebody here will want to comment on the periodic rebirth of invariant theory? $\endgroup$ May 11, 2010 at 17:44
  • 3
    $\begingroup$ Rota has interesting things to say about this phenomenon, but I can't quite remember where he wrote them down... $\endgroup$ May 11, 2010 at 20:15
  • 2
    $\begingroup$ @Qiaochu: Yes, I was thinking of Gian-Carlo Rota when I wrote that line. He actually wrote things down in a lot of places, having passionate views about invariant theory and its neglect. My own view of the subject has always been more tentative, but his personality is unforgettable for those of us who encountered him. $\endgroup$ May 11, 2010 at 22:24
  • 5
    $\begingroup$ Actually, another example just came to me. Dehn proved that the mapping class group of a surface was generated by a finite number of so-called Dehn twists. This was forgotten for many years, and in the '70's Lickorish rediscovered the result (for a while, these mapping classes were known as "Lickorish Twists" <grin>). This was the beginning of an enormous amount of work. However, if you go back to Dehn's papers, you will find many of the things people spent the next 10 or so years rediscovering (for instance, the famous "lantern relation" between mapping classes). $\endgroup$ May 12, 2010 at 2:49
  • 6
    $\begingroup$ +1. I hope that people confronted with potentially interesting but ultimately flawed questions will do this in the future rather than trying to keep the original question open. $\endgroup$ May 12, 2010 at 8:05

26 Answers 26

44
$\begingroup$

The older theory of Hopf algebras, which grew out of algebraic topology as well as some purely algebraic theories, developed to the level of Sweedler's 1969 book and then became something of a backwater (at least as seen from the outside). But a generation later the study of quantum groups by Drinfeld, Jimbo, and their followers aroused interest in Hopf algebras on a far wider scale than the earlier algebraic work. The "dormancy" period here was not all that long, but I think it's fair to say that the earlier theory stayed mostly outside the mainstream (as measured by ICM programs, top journals, big grants, etc.).

$\endgroup$
44
$\begingroup$

Work of Julia, Fatou, Montel et al on complex dynamics that was largely forgotten or relegated to complex analysis textbooks until Douady – Hubbard and Mandelbrot revitalized it through the study of the Mandelbrot set supplemented by attractive computer graphics.

$\endgroup$
1
  • 7
    $\begingroup$ It can be said that the work of Julia, Fatou, Lattes etc. revived earlier work by Schroeder, Koenigs, Boettcher etc. on iteration theory. A good account is Daniel Alexander's book on history of complex dynamics and its follow-up, Early Days in Complex Dynamics: A history of complex dynamics in one variable during 1906-1942 Daniel S. Alexander, Drake University, Des Moines, IA, Felice Iavernaro, Università di Bari, Italy, and Alessandro Rosa A co-publication of the AMS and the London Mathematical Society $\endgroup$ Nov 3, 2011 at 18:27
39
$\begingroup$

Knot theory. That seems like a canonical example: after a lot of interest up until the 1960s it became mathematical backwater in a way, but experienced an enormous surge in development with the discovery of the Jones polynomial and connections with physics (TQFT).

Related area: braid groups and mapping class groups. Besides connections with knots and physics, needs of low-dimensional topology and solution of some long-standing problems played a major role in the revival.

$\endgroup$
3
  • 9
    $\begingroup$ Maybe this should go back to Lord Kelvin and Tait $\endgroup$
    – Ian Agol
    Mar 9, 2011 at 22:33
  • 19
    $\begingroup$ o.O < ponders the backwaters of 1984--1960 knot theory inhabited by D. Gabai, W. Thurston, D. Rolfsen, H. Hilden, J. Montesinos, J. Birman, C. Gordon, L. Kaufmann, R. Riley, W. Whitten, L. Neuworth, K. Murasugi, R. Fox.......... > $\endgroup$
    – Lee Mosher
    Apr 1, 2012 at 20:59
  • 5
    $\begingroup$ I agree with Lee. This is an example of a field that only went out of fashion in a sub-population of mathematics. It was actively being researched, and the theory was amazingly successful, but much of the nature of the work was technical-enough that a significant proportion of the mathematics community did not understand the consequences. Even today, the impact of geometrization on knot theory isn't emphasized nearly as much as it should be. $\endgroup$ Aug 26, 2021 at 20:13
37
$\begingroup$

Symplectic and Contact geometries were invented in the 19th centuries as generalisations of the formalism classical mechanics and geometric optics, respectively. It seems to me both subjects soon died until the 1970-s, when Arnold became interested in the purely topological (as opposed to physics-related) aspects of these subjects and posed a few conjectures. Then, in 1980-s Gromov invented the method of J-holomorphic curves that allowed people to actually solve some problems in these subjects, and now both are very active. Nowadays, people have even invented ways to apply them to the study of general differentiable 3- and 4-manifolds.

$\endgroup$
35
$\begingroup$

Modular forms were actively studied by number theorists Hecke and Siegel in the 1930s, but it was not widely appreciated. Around the same time Hardy, in a series of lectures on Ramanujan's work delivered at Harvard in 1936, called modular forms -- as represented by Ramanujan's interest in the coefficients of the weight 12 form $\Delta(q) = \sum_{n \geq 1} \tau(n)q^n$ -- "one of the backwaters of mathematics". The study of modular forms basically died off in the 1940s and 1950s. It was revitalized by Weil, Shimura et al. in the 1960s. See the introduction to Lang's book on modular forms for some relevant historical remarks.

[EDIT: As Emerton points out in his comment below, the full quote by Hardy is actually more complimentary, so let me include it here: "We may seem to be straying into one of the backwaters of mathematics, but the genesis of $\tau(n)$ as a coefficient in so fundamental a function compels us to treat it with respect." This is at the start of Chapter X of Hardy's "Ramanjuan: Twelve Lectures on Subjects Suggested by his Life and Work."]

$\endgroup$
8
  • 2
    $\begingroup$ I think String Theory also kicked new life into modular forms encouraging physicists to revisit a bunch of classical work, reading new physical meaning into it. For example, $\Delta$ plays (part of) the role of a generating function for the number of physical states corresponding to each energy level. $\endgroup$
    – Dan Piponi
    May 11, 2010 at 17:55
  • 20
    $\begingroup$ One should be careful in interpreting Hardy's remark, which is often quoted in the spirit that it is here. I think a careful reading of the text will show that Hardy says that "it may seem" that one is entering the backwaters of mathematics, but his intention (in the rest of that chapter, which is the last in his book on Ramanujan) is to show that in fact it is not the backwaters at all. $\endgroup$
    – Emerton
    May 11, 2010 at 17:57
  • 1
    $\begingroup$ One should also consider the representation theoretic point of view on more general automorphic forms which began to be developed by Gelfand and others in the 50s and 60s, as well as Selberg's work, which together formed the base of Langlands massive work on Eisenstein series. I guess like any deep mathematical subject, the detailed history of its development is complicated. But I don't think one can deny that the connection between modular forms and arithmetic was dormant for quite some time. $\endgroup$
    – Emerton
    May 11, 2010 at 18:01
  • $\begingroup$ Matt: Hardy's chapter on Ramanujan's work on tau(n) is not the last one in his book: it is X out of XII. $\endgroup$
    – KConrad
    May 11, 2010 at 18:29
  • 7
    $\begingroup$ It dismays me to register my age in this way, but... Around 1970, "automorphic forms and L-functions" was not the booming business it is now. Langlands' results were privately circulated [criticism possible here], Shimura's results about generation of classfields and Hasse-Weil zeta functions were ... difficult, Weil's extension of Hecke's converse theorem was a bit baroque, Gelfand-Fomin-PiatetskiShapiro's understanding of the power of repn theory in automorphic forms was new, ... as was Harish-Chandra's repn theory... Godement's repn theory... Ack!!! It confused me then, as now... :) 8 chrs $\endgroup$ Jun 22, 2011 at 22:59
33
$\begingroup$

Back in 2008, I was trying to find a publisher to bring Dominic Welsh's classic book Matroid Theory back into print. I approached the American Mathematical Society, who solicited opinions from four experts. Here's what the experts said regarding the subject of matroid theory generally.

Matroid theory is not as active lately as it was a couple of decades ago, so I would not expect a large volume of sales.

The subject "matroid theory" is very narrow and not exactly active.

The field is not very active these days. Therefore a book about matroid theory won't find too many readers.

It depends on the philosophy of the series in which it should appear: classic YES, compelling topicality NO.

At the time, I personally didn't agree that matroid theory was inactive, but let's suppose that they were right and that matroid theory was dormant in 2008. There have been at least two major "revitalizing" developments since then. In 2013, Geelen, Gerards, and Whittle announced a proof of Rota's excluded minors conjecture. Around the same time, June Huh and his collaborators introduced the Hodge theory of matroids, solving a number of open problems (this latter development was cited by Richard Stanley in a recent interview as one of the four most influential advances in enumerative/algebraic combinatorics in the last 30 years). There is now an active matroid union blog from which you can get a sense of other recent developments in matroid theory. It would be hard to argue today that matroid theory is not active.


UPDATE (2022): June Huh was awarded the Fields Medal, and the short citation focuses primarily on his work in matroid theory. So it is even harder now to argue that matroid theory is inactive.
$\endgroup$
3
  • 15
    $\begingroup$ Amusingly, I earned a Necromancer badge for this answer. $\endgroup$ Nov 4, 2020 at 21:05
  • 3
    $\begingroup$ So can we get the Welsh book reprinted now? $\endgroup$ Nov 9, 2020 at 4:29
  • 7
    $\begingroup$ @SamHopkins : Yes, after the AMS said no, I approached Dover, who fortunately said yes. I'm not sure how long Dover will keep it in print, but it's in print as of this writing. $\endgroup$ Nov 9, 2020 at 13:39
27
$\begingroup$

The lambda calculus was first published in 1933 by Alonzo Church, intended to be an alternative to first-order logic. Two of his students, Kleene and Rosser, proved it inconsistent in 1935. In 1936, another student, Alan Turing, proved that a stripped-down version was equivalent in computational power to the Turing machine. It was pretty much "just another example of a Turing-equivalent language" for about 30 years.

In the late 1960s and 1970s, John McCarthy, Dana Scott, and Peter Landin (among others) revived the lambda calculus: John McCarthy by loosely basing LISP on it, Dana Scott by giving it a set-theoretic interpretation, and Peter Landin by developing a theoretical machine that - unlike Turing's - was similar to actual computers and a transformation into its machine instructions. These things together showed that the lambda calculus was not only good at encoding mathematical procedures as programs, but could be compiled into reasonable programs that run on actual machines. Guy Steele showed shortly after in his series of "Lambda the Ultimate" papers that the programs could be run efficiently, and that the lambda calculus easily models many familiar programming language constructs.

Today, the lambda calculus is THE theory of programming languages. Among the ways to describe algorithms, its mathematical purity is unrivaled.

Compared to other mathematical areas, 30 years isn't a long time for something to lay dormant. But consider that Computer Science has only been around for about 70!

$\endgroup$
2
  • 7
    $\begingroup$ If I remember right, LISP was invented in the late 50's. Something like 1958 or so. $\endgroup$
    – Asaf Karagila
    Nov 3, 2011 at 17:48
  • 3
    $\begingroup$ Oh, you're right. 1958 it is. My point still stands, though: programming languages, as a mathematical field, was pretty much dead until Scott, Landin and Steele revived the lambda calculus and connected the mathematics to the machines. That makes John McCarthy a forerunner, a voice crying in the wilderness... "LAMBDA!" $\endgroup$ Nov 6, 2011 at 23:27
27
$\begingroup$

Modal Logic.

This goes back to Aristotle. It was picked up by Medieval and Arab philosophers (often associated with proofs of the existence of God) but I don't think it was taken very seriously by mathematicians until the 20th century. Kripke provided nice semantics for modal logics in terms of possible worlds in the 50s (I think) and since then the subject has blossomed. Nowadays modal logics are a commonplace tool in computer science.

$\endgroup$
5
  • $\begingroup$ An interesting point and I'm gonna bring it up to Dr.Kripke in his seminar next semester at the CUNY Graduate Center. $\endgroup$ May 12, 2010 at 0:44
  • 2
    $\begingroup$ Leibniz wrote a lot on what (today) is recognized as modal logic. Russell greatly misunderstood some of Leibniz's work because 'modal logic' had not yet been properly invented. $\endgroup$ May 14, 2010 at 18:20
  • $\begingroup$ @Jacques In fact, I take Russell's comments on the subject as evidence the subject was dormant. $\endgroup$
    – Dan Piponi
    May 14, 2010 at 23:20
  • 2
    $\begingroup$ Considering the little Aristotle I have read, I find it hard to believe he had anything worthwhile to say about modal logic. It is not sufficient to state that some things are "necessary" and others are "possible", many people have done that, but one must also define at least a rudimentary set of formal rules for manipulating negations and conjunctions of these statements. $\endgroup$
    – Ron Maimon
    Aug 1, 2011 at 13:27
  • 8
    $\begingroup$ Aristotle did in fact give some rules for manipulation of propositions with modalities. For example, he gave the rule that "necessarily P" is equivalent to "not possibly not P" as well as a bunch of entailment rules. plato.stanford.edu/entries/aristotle-logic/#Syl $\endgroup$
    – Dan Piponi
    Aug 1, 2011 at 17:16
25
$\begingroup$

This might not be exactly what you're asking for but I think it's close: Manjul Bhargava's generalizations of Gauss's composition law to higher composition laws. While Gauss's composition law did not exactly languish in obscurity, it is clear that Bhargava's stunning work has revitalized a classical subject. Perhaps one could argue that this is really a case of a long-standing open problem finally being solved, but my sense is that it's more accurate to say that Bhargava found unsuspected treasures in deceptively familiar territory.

$\endgroup$
1
  • $\begingroup$ again related to invariant theory and Cayley's hyperdeterminants... $\endgroup$ May 11, 2012 at 20:46
24
$\begingroup$

As Jim Humphreys has suggested in the comments, practically all of Gian-Carlo Rota's career could be described as breathing new life into unjustly neglected subjects: Möbius functions of posets, invariant theory, lattice theory, etc. For the purposes of MO, let me single out the umbral calculus as a specific subject that languished and was revived by Rota. For anyone who is skeptical of the power of umbral calculus, I recommend Gessel's paper on applications of the classical umbral calculus. Gessel writes:

When I first encountered umbral notation it seemed to me that this was all there was to it; it was simply a notation for dealing with exponential generating functions, or to put it bluntly, it was a method for avoiding the use of exponential generating functions when they really ought to be used. The point of this paper is that my first impression was wrong: none of the results proved here (with the exception of Theorem 7.1, and perhaps a few other results in section 7) can be easily proved by straightforward manipulation of exponential generating functions.

$\endgroup$
1
  • 1
    $\begingroup$ Umbral calculus and invariant theory are quite related since the former is one way of making sense of the symbolic method used in the latter. One could surmise that this is why G-C Rota was interested in both subjects at the same time. $\endgroup$ Mar 9, 2011 at 16:21
21
$\begingroup$

Branko Grünbaum wrote in 1978 lecture notes called "Lectures on Lost Mathematics" Grünbaum talks about areas of geometry that went "underground". The topics discussed there and Grünbaum philosophical comments (e.g. p. 15 of the pdf file where the original manuscript begins) are quite relevant to the topic of the question.

Some topics discussed by Grünbaum were "revived" in some cases because of these lecture notes and in other cases independently.

$\endgroup$
2
  • 4
    $\begingroup$ Hi Gil, thanks for this great link. While many conjectures in the notes are resolved by now, I am afraid some of this material is again "overly neglected" (in Grunbaum's words). That's really too bad... $\endgroup$
    – Igor Pak
    May 12, 2010 at 9:21
  • 3
    $\begingroup$ Grünbaum has in two other publications shown the value of taking a "fresh look" at geometrical/combinatorial problems that had been considered by geometers/combinatorialists in the past (19th century), using the power of more recent ideas and methods. These are: Arrangements and Spreads (American Mathematical Society, 1972) and the very recent book: Configurations of Points and Lines (AMS, 2009). Arrangements and Spreads has stimulated many new results in geometry and computational geometry. $\endgroup$ May 12, 2010 at 14:03
20
$\begingroup$

The study of generalized symmetries of differential equations was initiated by Emmy Noether in the context of her famous theorem but by and large the field lay dormant until it was revitalized by the discovery of the equations integrable via the inverse scattering transform (i.e., roughly until 1970s).

$\endgroup$
2
  • 3
    $\begingroup$ The same theory of integrable systems also picked up on the much earlier work of Jacobi, Neumann and Sofia Kovalevskaya on explicit integration of differential equations by theta functions - see, for example, Mumford's "Tata lectures on Theta". $\endgroup$ May 12, 2010 at 2:19
  • 1
    $\begingroup$ The transformations discovered by Noether are now known as Lie-Bäcklund transformations, even though neither Lie nor Bäcklund discovered them. $\endgroup$ Nov 26, 2020 at 3:15
14
$\begingroup$

This wikipedia link on dessin d'enfants says the following.

Early proto-forms of dessins d'enfants appeared as early as 1856 in the Icosian Calculus of William Rowan Hamilton in modern terms, Hamiltonian paths on the icosahedral graph. Recognizable modern dessins d'enfants (and Belyi functions) were used by Felix Klein, which he called Linienzüge (German, plural of Linienzug “line-track”, also used as a term for polygon. Dessins d'enfant in their modern form were then rediscovered over a century later and named by Alexander Grothendieck in 1984 in his Esquisse d'un Programme.

$\endgroup$
13
$\begingroup$

This example may not be that of a whole field but I think it illustrates an important result that lay dormant for a very long time. A natural question in the theory of graphs is when is a graph the vertex-edge graph of a 3-dimensional convex polyhedron? It turns out that this question was in essence answered by Ernst Steinitz in 1922. However, Steinitz did not use a graph theory framework for his work. As a consequence, almost no one noticed what he had accomplished. Almost no references to Steinitz's work was made until 1962 and 1963 when Branko Grünbaum and Theodore Motzkin wrote two papers where they mentioned what Steinitz had done but reformulated it using graph theory terminology. The result in these terms, now known as Steinitz's Theorem states that a graph is the vertex-edge graph of a convex 3-dimensional polyhedron if and only if the graph is planar and 3-connected. A good place to read about this is in Grünbaum's book: Convex Polytopes (2nd edition). Grünbaum (and others) went on to produce many papers that exploited Steinitz's Theorem in many directions. One way to think of what was accomplished here was that to study the combinatorial properties of 3-dimensional convex polyhedra one does not have to think in 3-dimensions but only in 2 dimensions.

$\endgroup$
13
$\begingroup$

Analytic number theory has gone through several cycles of high and low activity. Around 1900 complex analysis solved lots of hitherto unsolvable problems. In the 20's there was much less activity, but in the 30's and 40's there was odd Goldbach, Vinogradov's bound for exponential sums, Linnik's theorem, Siegel's zero. Then again much less activity till the large sieve and density results around 1970. After the large sieve there was a decline, and in 1990 so many mathematicians believed that analytic number theory was dead that most positions were converted to more "modern" subjects, in particular arithmetic geometry. And then suddenly prime detecting sieves, subconvexity, additive combinatorics, explicit congruencing, and we see that the whole theory is well alive.

$\endgroup$
12
$\begingroup$

Some historians have speculated that classical Greek geometers used "hidden" analytic methods to discover results, which they then reconstructed synthetically. Further, it seems that Archimedes was further along towards calculus (though I gather this might be a bit exaggerated) than had been thought. In any case, the gradual decline of Aristotelean finitism and dismissal of empiricist epistemological constraints on geometrical reasoning in the 17th/18th century and the subsequent period of mathematical advance might be an instance of revitalization/rediscovery rather than of completely new developments, though these are claims in need of more careful historical argument than I'm in a position to give.

$\endgroup$
3
  • 17
    $\begingroup$ The mystery deepens when one considers the discovery of the power series for sine, cosine and inverse tangent (with the corollary that $\pi/4=1-1/3+1/5-1/7+\cdots$) by Madhava and others in India around 1400. $\endgroup$ May 11, 2010 at 23:16
  • 1
    $\begingroup$ John: Do you have a reference for this? $\endgroup$ Oct 29, 2010 at 13:06
  • 3
    $\begingroup$ Exposition in Mathematics Magazine 63 (1990) 291--306 "The Discovery of the Series Formula for pi by Leibniz, Gregory and Nilakantha" by Ranjan Roy $\endgroup$ Mar 9, 2011 at 14:49
12
$\begingroup$

I've heard that finite group theory was pretty big in the late 19th century, lay dormant for a while, and had a big increase in activity around 1960 when cases of the Odd Order Theorem started falling. After the theorem was proved, a full classification of finite simple groups looked (to some experts) like a more reasonable goal than before.

(I am somewhat unqualified to elaborate - edits are welcome.)

$\endgroup$
5
  • 9
    $\begingroup$ This is probably overstated. The work of Frobenius, Schur, Burnside, Brauer, and others in the first decades of the 20th century took the subject in new directions. This grew out of 19th century invariant theory but opened the door (by the time of the Brauer-Fowler paper in 1955 on centralizers of involutions) to Feit-Thompson and the acceleration of the classification project. Representation theory of finite groups has kept developing in many directions, alongside the structure theory which levelled off more after 1980. $\endgroup$ May 11, 2010 at 17:30
  • 10
    $\begingroup$ You should also remember Philip Hall! $\endgroup$ May 11, 2010 at 19:36
  • 1
    $\begingroup$ Yes, Hall was a major influence, especially in British group theory. I should emphasize that the first half of the 20th century, with its world wars, depression, and other upheavals, was not a flourishing period for mathematics. There were relatively few people doing real research, no "institutes" before IAS, disbanding of European research centers, few journals, slow communication. Even so, finite group theory, combinatorial group theory, Lie theory all made important progress. But it's true that finite group theory became less visible than other subjects in that period. $\endgroup$ May 11, 2010 at 21:02
  • 5
    $\begingroup$ Actually, I think that in some sense, (finite) group theory went out of fashion after the announcement of the classification, especially in America. I would say that only now in the last decade or two it is coming back. Is this just my feeling? $\endgroup$ May 11, 2010 at 22:07
  • 7
    $\begingroup$ The structure of finite groups has always been a rather specialized field ignored by most mathematicians. But the ordinary and modular representation theory has continued to have a fairly high profile, though here too it's somewhat of an acquired taste and usually not directly applicable elsewhere. George Lusztig has for example reshaped the agenda for groups of Lie type and attracted new interest in the area. Here the modular theory is still far from being understood. The classification of simple groups is another matter, having reached highest intensity around 1980. $\endgroup$ May 11, 2010 at 22:36
10
$\begingroup$

Hyperdeterminants which are generalisations of determinants to multidimensional hypermatrices were first found and developed by Cayley in the mid 19th century and were actively studied until around 1900. Then general results on invariants such Hilbert's basis theorem made them look redundant. For most of the 20th century few mathematicians would even have recognised Cayley's simplest hyperdeterminants if they came upon them.

Then there were a series of rediscoveries of these objects in areas of mathematics and physics, (e.g. hypergeometric functions, Diophantine equations, qubit entanglement and string theory) Now people are starting to look at them again and realize that they are useful and not yet fully understood.

$\endgroup$
1
  • 1
    $\begingroup$ Indeed there was renewed interest in these object, especially after the book by Gelfand, Kapranov and Zelevinsky. There was also a series a massive papers by Jouanolou. $\endgroup$ Mar 9, 2011 at 16:16
9
$\begingroup$

q-special functions (basic hypergeometric functions) were developed between the end of the XIXth and beginning of the XXth century. Then remained somewhat in the background as a very peculiar math gadget. When it turned out that they play a relevant role in the representation theory of quantum groups, towards the end of the 80's, they came back into play and enjoyed a very lively period.

$\endgroup$
8
$\begingroup$

This one is debatable but it comes with a wonderful quote. In ¨Geometry and the imagination¨ Hilbert and Cohn Vossen wrote, It might be mentioned here, that there was a time in which the study of configurations (incidence configurations between points and lines) was considered the most important part of all geometry. Today we have the Kakeya conjecture, the theorems of Szemeredi-Trotter, of Sylvester-Gallai and a long list of relatives in discrete geometry, additive combinatorics and harmonic analysis.

$\endgroup$
1
  • 5
    $\begingroup$ Gee, I'd add the general theory of buildings to that list. $\endgroup$
    – Todd Trimble
    Jun 29, 2015 at 23:15
7
$\begingroup$

C.S. Peirce was lecturing on what he called the “laws of information” as early as 1865–1866 and later gave a simple form of logarithmic measure for the information content of a logical constraint. Of course, he gave these lectures at those colonial backwaters known as Harvard College and the Lowell Institute, so it's no surprise these seeds of information theory took so long to sprout.

$\endgroup$
7
$\begingroup$

Polynomial Chaos was developed in the late 30s by N. Wiener, but went more or less unnoticed until Ghanem & Spanos picked up on it for use in finite element analysis in the 80s and 90s. In some ways it still may be an under-utilized approach, given the dominance of the Itô and Stratonovich calculi.

$\endgroup$
1
  • 4
    $\begingroup$ It also goes under the name "Malliavin calculus" and as such is the basis of a pretty large chunk of modern stochastic analysis. $\endgroup$ Feb 15, 2021 at 19:12
4
$\begingroup$

De Morgan established a calculus of binary relations in 1860. Charles Peirce turned out to the subject in 1870, and found most of the interesting equational laws of relation algebra. The subject fell into neglect between 1900 and 1940, to be revived by Alfred Tarski.

$\endgroup$
1
$\begingroup$

In Pi and the AGM by Borwein and Borwein we find the following remark of Klein [1928]:

When I was a student, abelian functions were ... the uncontested summit of mathematics ... And now? The younger generation hardly knows abelian functions.

How did this happen? In mathematics, as in other sciences, the same processes can be observed again and again. First, new questions arise and draw researchers away from the old questions. And the old questions, just because they have been worked on so much, need ever more comprehensive study for their mastery ...

And so there is nothing for it but to collect together the old subjects in good references ... so that later developments may continue them, if fate should so decree.

$\endgroup$
1
$\begingroup$

Kervaire invariant theory (that is: the question of when a given framed manifold can be converted into a sphere via surgery) was dormant from 1969 until 2009, when Hill, Hopkins, and Ravenel announced a proof (published in 2016) of the Kervaire Invariant Theorem. They now have a wonderful book about this work, where I learned the quotations below.

After a flurry of activity in the 1950s and 60s, the problem was solved in all dimensions other than those of the form $2^{j+1}-2$. The Kervaire invariant of a manifold is always 0 or 1, and if it's 0 then there's no obstruction to framed surgery, so $M$ is framed cobordant to a homotopy sphere.

In dimensions of the form $2^{j+1}-2$, Browder (1969) proved that there exists a framed manifold of dimension $2^{j+1}-2$ with nontrivial Kervaire invariant if and only if the element $h_j^2$ in the Adams spectral sequence (at the prime 2) is a permanent cycle, i.e., survives to an element $\theta_j$ in $\pi_{2^{j+1}-2}^S$. It was known that such manifolds do exist for $j < 6$, i.e., in dimensions 2, 6, 14, 30, and 62. But there were infinitely many dimensions (126, 254, ...) where the answer wasn't known.

Just before the Hill, Hopkins, Ravenel announcement, Victor Snaith published a book with the following quotes:

As ideas for progress on a particular mathematics problem atrophy it can disappear. Accordingly I wrote this book to stem the tide of oblivion.

He also wrote:

In the light of the above conjecture and the failure over fifty years to construct framed manifolds of Arf–Kervaire invariant one this might turn out to be a book about things which do not exist. This [is] why the quotations which preface each chapter contain a preponderance of utterances from the pen of Lewis Carroll.

In 2009, Hill, Hopkins, and Ravenel proved that, indeed, there are no manifolds of Kervaire invariant one in those dimensions (for $j \geq 7$, leaving the case $j=6$, corresponding to dimension 126, open). The field is no longer dormant. People are working hard to compute stable homotopy groups (especially, using new techniques from motivic homotopy) to answer this question in dimension 126. A 2017 Annals paper by Wang and Xu built on this story to prove there are no exotic smooth structures on spheres in dimensions 5, 6, 12, 56, and 61.

$\endgroup$
0
$\begingroup$

I believe that at the time that Stokes began studying fluid mechanics it was something of a dead subject and his contributions which we all know played a large part in reviving interest in it.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.