Ravenel's conjectures

Last updated

In mathematics, the Ravenel conjectures are a set of mathematical conjectures in the field of stable homotopy theory posed by Douglas Ravenel at the end of a paper published in 1984. [1] It was earlier circulated in preprint. [2] The problems involved have largely been resolved, with all but the "telescope conjecture" being proved in later papers by others. [3] [4] [2] Ravenel's conjectures exerted influence on the field through the founding of the approach of chromatic homotopy theory.

The first of the seven conjectures, then the nilpotence conjecture, was proved in 1988 and is now known as the nilpotence theorem.

The telescope conjecture, which was #4 on the original list, remains of substantial interest because of its connection with the convergence of an Adams–Novikov spectral sequence. While opinion has been generally against the truth of the original statement, investigations of associated phenomena (for a triangulated category in general) have become a research area in its own right. [5] [6]

On June 6, 2023, Robert Burklund, Jeremy Hahn, Ishan Levy, and Tomer Schlank announced a disproof of the telescope conjecture. [7] Their preprint is submitted to the arXiv on October 26, 2023. [8]

See also

Related Research Articles

In stable homotopy theory, a branch of mathematics, Morava K-theory is one of a collection of cohomology theories introduced in algebraic topology by Jack Morava in unpublished preprints in the early 1970s. For every prime number p (which is suppressed in the notation), it consists of theories K(n) for each nonnegative integer n, each a ring spectrum in the sense of homotopy theory. Johnson & Wilson (1975) published the first account of the theories.

In mathematics, complex cobordism is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using it directly one uses some slightly weaker theories derived from it, such as Brown–Peterson cohomology or Morava K-theory, that are easier to compute.

<span class="mw-page-title-main">Homotopy groups of spheres</span> How spheres of various dimensions can wrap around each other

In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other. They are examples of topological invariants, which reflect, in algebraic terms, the structure of spheres viewed as topological spaces, forgetting about their precise geometry. Unlike homology groups, which are also topological invariants, the homotopy groups are surprisingly complex and difficult to compute.

Algorithmic topology, or computational topology, is a subfield of topology with an overlap with areas of computer science, in particular, computational geometry and computational complexity theory.

Jeffrey Henderson Smith is a former professor of mathematics at Purdue University in Lafayette, Indiana. He received his Ph.D. from the Massachusetts Institute of Technology in 1981, under the supervision of Daniel Kan, and was promoted to full professor at Purdue in 1999. His primary research interest is algebraic topology; his best-cited work consists of two papers in the Annals of Mathematics on "nilpotence and stable homotopy".

In mathematics, stable homotopy theory is the part of homotopy theory concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the Freudenthal suspension theorem, which states that given any pointed space , the homotopy groups stabilize for sufficiently large. In particular, the homotopy groups of spheres stabilize for . For example,

<span class="mw-page-title-main">Dennis Sullivan</span> American mathematician (born 1941)

Dennis Parnell Sullivan is an American mathematician known for his work in algebraic topology, geometric topology, and dynamical systems. He holds the Albert Einstein Chair at the City University of New York Graduate Center and is a distinguished professor at Stony Brook University.

<span class="mw-page-title-main">Jack Morava</span> American mathematician

Jack Johnson Morava is an American homotopy theorist at Johns Hopkins University.

In mathematics, the EHP spectral sequence is a spectral sequence used for inductively calculating the homotopy groups of spheres localized at some prime p. It is described in more detail in Ravenel and Mahowald (2001). It is related to the EHP long exact sequence of Whitehead (1953); the name "EHP" comes from the fact that George W. Whitehead named 3 of the maps of his sequence "E", "H", and "P".

In mathematics, Brown–Peterson cohomology is a generalized cohomology theory introduced by Edgar H. Brown and Franklin P. Peterson, depending on a choice of prime p. It is described in detail by Douglas Ravenel . Its representing spectrum is denoted by BP.

In mathematics, the Kervaire invariant is an invariant of a framed -dimensional manifold that measures whether the manifold could be surgically converted into a sphere. This invariant evaluates to 0 if the manifold can be converted to a sphere, and 1 otherwise. This invariant was named after Michel Kervaire who built on work of Cahit Arf.

<span class="mw-page-title-main">Michael J. Hopkins</span> American mathematician

Michael Jerome Hopkins is an American mathematician known for work in algebraic topology.

Mark Edward Mahowald was an American mathematician known for work in algebraic topology.

<span class="mw-page-title-main">Douglas Ravenel</span> American mathematician

Douglas Conner Ravenel is an American mathematician known for work in algebraic topology.

In algebraic topology, the nilpotence theorem gives a condition for an element in the homotopy groups of a ring spectrum to be nilpotent, in terms of the complex cobordism spectrum . More precisely, it states that for any ring spectrum , the kernel of the map consists of nilpotent elements. It was conjectured by Douglas Ravenel and proved by Ethan S. Devinatz, Michael J. Hopkins, and Jeffrey H. Smith.

Goro Nishida was a Japanese mathematician. He was a leading member of the Japanese school of homotopy theory, following in the tradition of Hiroshi Toda.

In mathematics, more specifically in chromatic homotopy theory, the redshift conjecture states, roughly, that algebraic K-theory has chromatic level one higher than that of a complex-oriented ring spectrum R. It was formulated by John Rognes in a lecture at Schloss Ringberg, Germany, in January 1999, and made more precise by him in a lecture at Mathematische Forschungsinstitut Oberwolfach, Germany, in September 2000. In July 2022, Robert Burklund, Tomer Schlank and Allen Yuan announced a solution of a version of the redshift conjecture for arbitrary -ring spectra, after Hahn and Wilson did so earlier in the case of the truncated Brown-Peterson spectra .

In mathematics, chromatic homotopy theory is a subfield of stable homotopy theory that studies complex-oriented cohomology theories from the "chromatic" point of view, which is based on Quillen's work relating cohomology theories to formal groups. In this picture, theories are classified in terms of their "chromatic levels"; i.e., the heights of the formal groups that define the theories via the Landweber exact functor theorem. Typical theories it studies include: complex K-theory, elliptic cohomology, Morava K-theory and tmf.

Colin Rourke is a British mathematician who worked in PL topology, low-dimensional topology, differential topology, group theory, relativity and cosmology. He is an emeritus professor at the Mathematics Institute of the University of Warwick and a founding editor of the journals Geometry & Topology and Algebraic & Geometric Topology, published by Mathematical Sciences Publishers, where he is the vice chair of its board of directors.

<span class="mw-page-title-main">Tomer Schlank</span> Israeli mathematician

Tomer Moshe Schlank is an Israeli mathematician and a professor at the Hebrew University of Jerusalem. He primarily works in homotopy theory, algebraic geometry, and number theory. In 2022 he won the Erdős prize in mathematics and in 2023 he was awarded a European Research Council consolidator grant. He is an editor for the Israel Journal of Mathematics.

References

  1. ↑ Ravenel, Douglas C. (1984). "Localization with Respect to Certain Periodic Homology Theories" (PDF). American Journal of Mathematics. 106 (2): 351–414. doi:10.2307/2374308. JSTOR   2374308. MR   0737778.
  2. 1 2 Hopkins, Michael J. (2008). "The mathematical work of Douglas C. Ravenel" (PDF). Homology, Homotopy and Applications. 10 (3, Proceedings of a Conference in Honor of Douglas C. Ravenel and W. Stephen Wilson ): 1–13. doi: 10.4310/HHA.2008.v10.n3.a1 .
  3. ↑ Devinatz, Ethan S.; Hopkins, Michael J.; Smith, Jeffrey H. (1988). "Nilpotence and stable homotopy theory. I". Annals of Mathematics . Second Series. 128 (2): 207–241. doi:10.2307/1971440. ISSN   0003-486X. JSTOR   1971440. MR   0960945.
  4. ↑ Hopkins, Michael J.; Smith, Jeffrey H. (1998). "Nilpotence and Stable Homotopy Theory II". Annals of Mathematics . Second Series. 148 (1): 1–49. CiteSeerX   10.1.1.568.9148 . doi:10.2307/120991. JSTOR   120991.
  5. ↑ Brüning, Kristian (2007). Subcategories of Triangulated Categories and the Smashing Conjecture (PDF) (Thesis). Dissertation zur Erlangung des akademischen Grades. p. 25.
  6. ↑ Jack, Hall; David, Rydh (2016-06-27). "The telescope conjecture for algebraic stacks". Journal of Topology. 10 (3): 776–794. arXiv: 1606.08413 . doi:10.1112/topo.12021. S2CID   119336098.
  7. ↑ Hartnett, Kevin (2023-08-22). "An Old Conjecture Falls, Making Spheres a Lot More Complicated". Quanta Magazine. Retrieved 2023-08-22.
  8. ↑ Burklund, Robert; Hahn, Jeremy; Levy, Ishan; Schlank, Tomer. "K-theoretic counterexamples to Ravenel's telescope conjecture" . Retrieved 27 October 2023.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.