|
Ravenel Conjectures
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. It was earlier circulated in preprint. The problems involved have largely been resolved, with all but the "telescope conjecture" being proved in later papers by others. The telescope conjecture is now generally believed not to be true, though there are some conflicting claims concerning it in the published literature, and is taken to be an open problem. 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stable Homotopy Theory
In mathematics, stable homotopy theory is the part of homotopy theory (and thus algebraic topology) 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 X, the homotopy groups \pi_(\Sigma^n X) stabilize for n sufficiently large. In particular, the homotopy groups of spheres \pi_(S^n) stabilize for n\ge k + 2. For example, :\langle \text_\rangle = \Z = \pi_1(S^1)\cong \pi_2(S^2)\cong \pi_3(S^3)\cong\cdots :\langle \eta \rangle = \Z = \pi_3(S^2)\to \pi_4(S^3)\cong \pi_5(S^4)\cong\cdots In the two examples above all the maps between homotopy groups are applications of the suspension functor. The first example is a standard corollary of the Hurewicz theorem, that \pi_n(S^n)\cong \Z. In the second example the Hopf map, \eta, is mapped to its suspension \Sigma\eta, which generates \pi_4(S^3)\cong \Z/2. One of the most i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Douglas Ravenel
Douglas Conner Ravenel (born 1947) is an American mathematician known for work in algebraic topology. Life Ravenel received his PhD from Brandeis University in 1972 under the direction of Edgar H. Brown, Jr. with a thesis on exotic characteristic classes of spherical fibrations. From 1971 to 1973 he was a C. L. E. Moore instructor at the Massachusetts Institute of Technology, and in 1974/75 he visited the Institute for Advanced Study. He became an assistant professor at Columbia University in 1973 and at the University of Washington in Seattle in 1976, where he was promoted to associate professor in 1978 and professor in 1981. From 1977 to 1979 he was a Sloan Fellow. Since 1988 he has been a professor at the University of Rochester. He was an invited speaker at the International Congress of Mathematicians in Helsinki, 1978, and is an editor of The New York Journal of Mathematics since 1994. In 2012 he became a fellow of the American Mathematical Society. In 2022 he received the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annals Of Mathematics
The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as the founding editor-in-chief. It was "intended to afford a medium for the presentation and analysis of any and all questions of interest or importance in pure and applied Mathematics, embracing especially all new and interesting discoveries in theoretical and practical astronomy, mechanical philosophy, and engineering". It was published in Des Moines, Iowa, and was the earliest American mathematics journal to be published continuously for more than a year or two. This incarnation of the journal ceased publication after its tenth year, in 1883, giving as an explanation Hendricks' declining health, but Hendricks made arrangements to have it taken over by new management, and it was continued from March 1884 as the ''Annals of Mathematics''. The n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chromatic Homotopy Theory
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. Chromatic convergence theorem In algebraic topology, the chromatic convergence theorem states the homotopy limit of the chromatic tower (defined below) of a finite ''p''-local spectrum X is X itself. The theorem was proved by Hopkins and Ravenel. Statement Let L_ denotes the Bousfield localization with respect to the Morava E-theory and let X be a finite, p-local spectrum. Then there is a tower associated to the localizations :\cdots \rightarrow L ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilpotence Theorem
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 \mathrm. More precisely, it states that for any ring spectrum R, the kernel of the map \pi_\ast R \to \mathrm_\ast(R) consists of nilpotent elements. It was conjectured by and proved by . Nishida's theorem showed that elements of positive degree of the homotopy groups of spheres 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 o ... are nilpotent. This is a special case of the nilpotence theorem. References * * . Open online version.* Further reading Connection of ''X(n)'' spectra to formal group laws Homotopy theory Theorems in algebraic topology {{Topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adams–Novikov Spectral Sequence
In mathematics, the Adams spectral sequence is a spectral sequence introduced by which computes the stable homotopy groups of topological spaces. Like all spectral sequences, it is a computational tool; it relates homology theory to what is now called stable homotopy theory. It is a reformulation using homological algebra, and an extension, of a technique called 'killing homotopy groups' applied by the French school of Henri Cartan and Jean-Pierre Serre. Motivation For everything below, once and for all, we fix a prime ''p''. All spaces are assumed to be CW complexes. The ordinary cohomology groups H^*(X) are understood to mean H^*(X; \Z/p\Z). The primary goal of algebraic topology is to try to understand the collection of all maps, up to homotopy, between arbitrary spaces ''X'' and ''Y''. This is extraordinarily ambitious: in particular, when ''X'' is S^n, these maps form the ''n''th homotopy group of ''Y''. A more reasonable (but still very difficult!) goal is to understand th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Triangulated Category
In mathematics, a triangulated category is a category with the additional structure of a "translation functor" and a class of "exact triangles". Prominent examples are the derived category of an abelian category, as well as the stable homotopy category. The exact triangles generalize the short exact sequences in an abelian category, as well as fiber sequences and cofiber sequences in topology. Much of homological algebra is clarified and extended by the language of triangulated categories, an important example being the theory of sheaf cohomology. In the 1960s, a typical use of triangulated categories was to extend properties of sheaves on a space ''X'' to complexes of sheaves, viewed as objects of the derived category of sheaves on ''X''. More recently, triangulated categories have become objects of interest in their own right. Many equivalences between triangulated categories of different origins have been proved or conjectured. For example, the homological mirror symmetry conj ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Groups Of Spheres
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. The -dimensional unit sphere — called the -sphere for brevity, and denoted as — generalizes the familiar circle () and the ordinary sphere (). The -sphere may be defined geometrically as the set of points in a Euclidean space of dimension located at a unit distance from the origin. The -th ''homotopy group'' summarizes the different ways in which the -dimensional sphere can be mapped continuously into the sphere . This summary does not distinguish between two mappings if one can be continuously deformed to the oth ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Theory
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories). Concepts Spaces and maps In homotopy theory and algebraic topology, the word "space" denotes a topological space. In order to avoid pathologies, one rarely works with arbitrary spaces; instead, one requires spaces to meet extra constraints, such as being compactly generated, or Hausdorff, or a CW complex. In the same vein as above, a "map" is a continuous function, possibly with some extra constraints. Often, one works with a pointed space -- that is, a space with a "distinguished point", called a basepoint. A pointed map is then a map which preserv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
