Doomsday conjecture

Last updated

In algebraic topology, the doomsday conjecture was a conjecture about Ext groups over the Steenrod algebra made by Joel Cohen, named by Michael Barratt, published by Milgram (1971 , conjecture 73) and disproved by Mahowald (1977). Minami (1995) stated a modified version called the new doomsday conjecture.

The original doomsday conjecture was that for any prime p and positive integer s there are only a finite number of permanent cycles in

Mahowald (1977) found an infinite number of permanent cycles for p = s = 2, disproving the conjecture. Minami's new doomsday conjecture is a weaker form stating (in the case p = 2) that there are no nontrivial permanent cycles in the image of (Sq0)n for n sufficiently large depending on s.

Related Research Articles

In mathematics, specifically in abstract algebra, power associativity is a property of a binary operation that is a weak form of associativity.

In mathematics, the Hodge conjecture is a major unsolved problem in algebraic geometry that relates the algebraic topology of a non-singular complex algebraic variety to its subvarieties. More specifically, the conjecture states that certain de Rham cohomology classes are algebraic; that is, they are sums of Poincaré duals of the homology classes of subvarieties. It was formulated by the Scottish mathematician William Vallance Douglas Hodge as a result of a work in between 1930 and 1940 to enrich the description of de Rham cohomology to include extra structure that is present in the case of complex algebraic varieties. It received little attention before Hodge presented it in an address during the 1950 International Congress of Mathematicians, held in Cambridge, Massachusetts. The Hodge conjecture is one of the Clay Mathematics Institute's Millennium Prize Problems, with a prize of $1,000,000 for whoever can prove or disprove the Hodge conjecture.

Daniel Gray "Dan" Quillen was an American mathematician.

In mathematics, the Thompson groups are three groups, commonly denoted , that were introduced by Richard Thompson in some unpublished handwritten notes in 1965 as a possible counterexample to the von Neumann conjecture. Of the three, F is the most widely studied, and is sometimes referred to as the Thompson group or Thompson's group.

Motivic cohomology is an invariant of algebraic varieties and of more general schemes. It is a type of cohomology related to motives and includes the Chow ring of algebraic cycles as a special case. Some of the deepest problems in algebraic geometry and number theory are attempts to understand motivic cohomology.

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.

In the mathematical field of knot theory, the Jones polynomial is a knot polynomial discovered by Vaughan Jones in 1984. Specifically, it is an invariant of an oriented knot or link which assigns to each oriented knot or link a Laurent polynomial in the variable with integer coefficients.

In mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure, and even if there exists a smooth structure, it need not be unique.

Nathan Jacobson

Nathan Jacobson was an American mathematician.

The Tait conjectures are three conjectures made by 19th-century mathematician Peter Guthrie Tait in his study of knots. The Tait conjectures involve concepts in knot theory such as alternating knots, chirality, and writhe. All of the Tait conjectures have been solved, the most recent being the Flyping conjecture.

In mathematics, the J-homomorphism is a mapping from the homotopy groups of the special orthogonal groups to the homotopy groups of spheres. It was defined by George W. Whitehead (1942), extending a construction of Heinz Hopf (1935).

In mathematics, the Steinberg representation, or Steinberg module or Steinberg character, denoted by St, is a particular linear representation of a reductive algebraic group over a finite field or local field, or a group with a BN-pair. It is analogous to the 1-dimensional sign representation ε of a Coxeter or Weyl group that takes all reflections to –1.

Ganea's conjecture is a claim in algebraic topology, now disproved. It states that

In mathematics, especially in the area of topology known as knot theory, an invertible knot is a knot that can be continuously deformed to itself, but with its orientation reversed. A non-invertible knot is any knot which does not have this property. The invertibility of a knot is a knot invariant. An invertible link is the link equivalent of an invertible knot.

In mathematics, the Bogomolov–Miyaoka–Yau inequality is the inequality

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

Robert Wayne Thomason was an American mathematician who worked on algebraic K-theory. His results include a proof that all infinite loop space machines are in some sense equivalent, and progress on the Quillen–Lichtenbaum conjecture.

Peter Paul Nikolas Orlik is an American mathematician, known for his research on topology, algebra, and combinatorics.

In algebraic geometry, the Chow group of a stack is a generalization of the Chow group of a variety or scheme to stacks. For a quotient stack , the Chow group of X is the same as the G-equivariant Chow group of Y.

In topology, a discipline within mathematics, the Brown–Gitler spectrum is a spectrum whose cohomology is a certain cyclic module over the Steenrod algebra.

References