most recent 30 from http://mathoverflow.net 2013-05-23T10:12:57Z http://mathoverflow.net/feeds/question/24256 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized Andy Putman 2010-05-11T16:25:54Z 2012-05-11T17:31:41Z

<p>I thought that the closed question <a href="http://mathoverflow.net/questions/24224/are-there-any-areas-of-mathematics-that-lie-dormant-closed" rel="nofollow">here</a> could be modified to a very interesting question (at least as far as big-list type questions go).</p> <p>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?</p> <p>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.</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24259#24259 S. Carnahan 2010-05-11T16:47:10Z 2010-05-11T16:47:10Z

<p>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 <a href="http://en.wikipedia.org/wiki/Feit-Thompson_theorem" rel="nofollow">Odd Order Theorem </a> 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.</p> <p>(I am somewhat unqualified to elaborate - edits are welcome.)</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24261#24261 Jeremy Shipley 2010-05-11T17:00:05Z 2010-05-11T17:00:05Z

<p>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 <em>might</em> be an instance of revitalization/rediscovery rather than of <em>completely</em> new developments, though these are claims in need of more careful historical argument than I'm in a position to give.</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24262#24262 KConrad 2010-05-11T17:12:12Z 2010-05-11T18:27:25Z

<p>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. </p> <p>[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."]</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24263#24263 mathphysicist 2010-05-11T17:14:32Z 2010-05-11T22:56:39Z

<p>The study of <a href="http://books.google.com/books?id=sI2bAxgLMXYC&amp;printsec=frontcover&amp;pg=PA286" rel="nofollow">generalized symmetries</a> of differential equations was initiated by Emmy Noether in the context of <a href="http://en.wikipedia.org/wiki/Noether_theorem" rel="nofollow">her famous theorem</a> but by and large the field lay dormant until it was revitalized by the discovery of the equations <a href="http://mathoverflow.net/questions/6379/what-is-an-integrable-system/9873#9873" rel="nofollow">integrable</a> via the inverse scattering transform (i.e., roughly until 1970s).</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24268#24268 Jim Humphreys 2010-05-11T17:41:48Z 2010-05-11T17:41:48Z

<p>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.). </p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24276#24276 Nicola Ciccoli 2010-05-11T18:38:23Z 2010-05-11T18:38:23Z

<p>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. </p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24291#24291 Joseph Malkevitch 2010-05-11T21:03:08Z 2010-05-11T21:03:08Z

<p>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. </p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24292#24292 Ed Gorcenski 2010-05-11T21:04:11Z 2010-05-12T00:52:57Z

<p>Polynomial Chaos was developed in the late 30s by N. Wiener, but went more or less unnoticed until Ghanem &amp; 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.</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24311#24311 Dan Piponi 2010-05-11T23:44:08Z 2010-05-11T23:44:08Z

<p><a href="http://plato.stanford.edu/entries/logic-modal/" rel="nofollow">Modal Logic</a>.</p> <p>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.</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24315#24315 Andrew L 2010-05-12T00:48:43Z 2010-05-12T00:59:18Z

<p>Point set topological methods are seeing a revivial in a very unexpected place:number theory. The use of ultrafilter methods as well as "tailored" topologies on the integers to produce topological proofs of number theoretic results-pioneered by Kevin Broughan and being pursued by Melvyn Nathanson,myself and several others-are causing a renewed interest in point set methods among number theorists lately. </p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24319#24319 Victor Protsak 2010-05-12T02:13:23Z 2010-05-12T02:13:23Z

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

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24332#24332 Victor Protsak 2010-05-12T04:26:14Z 2010-05-12T04:26:14Z

<p>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).</p> <p>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.</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24342#24342 Gil Kalai 2010-05-12T07:27:18Z 2010-05-12T07:27:18Z

<p>Branko Grunbaum wrote in 1978 lecture notes called "<a href="https://digital.lib.washington.edu/dspace/bitstream/handle/1773/15700/Lost%2520Mathematics.pdf?sequence=1" rel="nofollow">Lectures on Lost Mathematics</a>" Grunbaum talks about areas of geometry that went "underground". The topics discussed there and Grunbaum 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 Grunbaum were "revived" in some cases because of these lecture notes and in other cases independently. </p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/24560#24560 Ilya Grigoriev 2010-05-14T00:23:16Z 2011-11-03T07:06:13Z

<p><a href="http://en.wikipedia.org/wiki/Symplectic" rel="nofollow">Symplectic</a> and <a href="http://en.wikipedia.org/wiki/Contact_geometry" rel="nofollow">Contact</a> 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.</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/26309#26309 Jon Awbrey 2010-05-28T21:00:07Z 2010-05-28T21:00:07Z

<p>C.S. Peirce was lecturing on what he called the &ldquo;laws of information&rdquo; as early as 1865&ndash;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.</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/57942#57942 Koundinya Vajjha 2011-03-09T12:39:30Z 2011-03-09T13:37:44Z

<p>This wikipedia link on <a href="http://en.wikipedia.org/wiki/Dessin_d%27enfant" rel="nofollow">dessin d'enfants</a> says the following.</p> <blockquote> <p>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.</p> </blockquote>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/57954#57954 Philip Gibbs 2011-03-09T14:23:32Z 2011-03-09T14:23:32Z

<p>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. </p> <p>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.</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/57964#57964 Timothy Chow 2011-03-09T15:51:02Z 2011-03-09T15:51:02Z

<p>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 <a href="http://en.wikipedia.org/wiki/Umbral_calculus" rel="nofollow">umbral calculus</a> as a specific subject that languished and was revived by Rota. For anyone who is skeptical of the power of umbral calculus, I recommend <a href="http://people.brandeis.edu/~gessel/homepage/papers/umbral.pdf" rel="nofollow">Gessel's paper</a> on applications of the classical umbral calculus. Gessel writes:</p> <blockquote> <p>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.</p> </blockquote>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/57966#57966 Timothy Chow 2011-03-09T16:06:59Z 2011-03-09T16:06:59Z

<p>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.</p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/68556#68556 Tegiri Nenashi 2011-06-22T21:31:45Z 2011-06-22T21:31:45Z

<p>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. </p>

http://mathoverflow.net/questions/24256/fields-of-mathematics-that-were-dormant-for-a-long-time-until-someone-revitalized/79953#79953 Neil Toronto 2011-11-03T17:16:52Z 2011-11-03T17:16:52Z

<p>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.</p> <p>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.</p> <p>Today, the lambda calculus is THE theory of programming languages. Among the ways to describe algorithms, its mathematical purity is unrivaled.</p> <p>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!</p>