Question

There are lots of statements that have been conditionally proved on the assumption that the Riemann Hypothesis is true.

What other conjectures have a large number of proven consequences ?

Answer 1

The ABC conjecture and Vojta's conjectures come to mind.

Answer 2

The standard conjectures (http://en.wikipedia.org/wiki/Standard_conjectures_on_algebraic_cycles) were pretty much designed to be used in this way (and then proved); but proofs are lacking, and some of the results now have non-conditional proofs. There are many related results in the theory of motives.

In number theory, Vandiver's conjecture (http://en.wikipedia.org/wiki/Vandiver%27s_conjecture) has begun to stand out, because of its connection with K-theory (which is another area in which there are large scale conjectures used in this way).

Answer 3

Clicking on Toolbox-What Link's Here in the wikipedia article Conditional proof brings up Schinzel's hypothesis H which the article says is used to prove conditional results in diophantine geometry.

Answer 4

Wiki also says:

A famous network of conditional proofs is the NP-complete class of complexity theory

Answer 5

What is usually referred to as Lusztig's Conjecture in the modular representation theory of semisimple algebraic groups has been enormously influential, as seen in Jantzen's treatise Representations of Algebraic Groups. It is actually a series of closely related conjectures, from 1979 on, inspired by the (soon proved) Kazhdan-Lusztig Conjecture (1979) on the formal characters of the usually infinite dimensional simple highest weight modules for a complex semisimple Lie algebra: such a character can be written as a $\mathbb{Z}$-linear combination of the known formal characters of Verma modules whose coefficients are values at 1 of Kazhdan-Lusztig polynomials for the Iwahori-Hecke algebra of the Weyl group $W$. The original characteristic $p$ conjecture has a similar flavor, but with the affine Weyl group (whose translations are multiplied by $p$) replacing $W$ and with the essential proviso that $p$ be not too small. It is expected that the Coxeter number of $W$ will be a suitable lower bound, but so far the partial proofs by Andersen-Jantzen-Soergel, Fiebig, and Bezrukavnikov-Mirkovic do not achieve a reasonable bound.

If proved, the conjecture would combine with older results of Curtis and Steinberg to yield all modular irreducible characters of finite groups of Lie type in the defining characteristic (but still with the lower bound on $p$), as well as the formal characters and dimensions of all restricted representations of the Lie algebra of the given semisimple group. Andersen and others have formulated further consequences, in terms of the structure of Weyl modules, the extensions and cohomology of simple or Weyl modules, etc. (Adapted to general linear groups, there are also implications for modular characters of symmetric groups.) The later conjectures of Lusztig, proved for large enough $p$ in a preprint by Bezrukavnikov and Mirkovic, go further with the non-restricted Lie algebra representations as well in a unified geometric setting which promises further applications.

ADDED: I should point out that many special cases of the more general results which would follow from Lusztig's Conjecture have in fact been verified, but usually by computational or somewhat ad hoc methods. Plus the existing proofs of the conjecture itself for "large enough" primes, which don't seem improvable without new methods.

Answer 6

Set theory is of course completely saturated with this feature, since the independence phenomenon means that a huge proportion of the most interesting natural set-theoretic questions turn out to be independent of the basic ZFC axioms. Thus, most of the interesting work in set theory is about the relations beteween these various independent statements. They typically have the form of implications assuming the truth of a hypothesis not known to be true (and often, known in some sense not to be provably true), and therefore are instances of what you requested. The status of these various hypotheses as conjectures, however, to use the word you use, has given rise to vigorous philosophical debate in the foundations of mathematics and set theory, as to whether or not they have definite truth values and how we could come to know them.

Examples of such hypothesis that are used in this way would include all of the main set-theoretic hypotheses known to be independent. This list would run to several hundred natural statements, but let me list just a few:

• The Continuum Hypothesis (also the Generalized Continuum Hypothesis)
• The negation of the Continuum Hypothesis
• Martin's Axiom
• More generally, other forcing axioms, such as PFA or MM
• Cardinal characteristics relations, such as b < d
• The entire large cardinal hierarchy

This last example is extremely important and a unifying instance of what you requested, for the large cardinal hierarchy is a tower of increasingly strong hypotheses, which we believe to be consistent, but haven't proved, and indeed, provably cannot prove, to be consistent, unless set theory itself is inconsistent. From any level of the large cardinal hierarchy, if consistent, we provably cannot prove the consistency of the higher levels.

So in this sense, the large cardinal hierarchy provides enormous iterated towers of your phenomenon.

This might seem at first to be a flaw. Why would we be interested in these large cardinals, if we cannot prove they exist, cannot prove that their existence is consistent, and indeed, can prove that we cannot prove they are consistent, assuming our basic axioms are consistent? The reason is that because of Goedel's incompeteness theorem, we know and expect to find such statements, that are not settled, even when we assume Con(ZFC) and more. Thus, we know there is hierarchy of consistency strength towering above us. The remarkable thing is that this tower turns out to be describable in terms of the very natural infinite combinatorics of large cardinals. These were notions, such as inaccessible, Ramsey and measurable cardinals, that arose from natural questions about infinite combinatorics, independently of any considerations of consistency strength.

Some of the most interesting uses of large cardinals have been equiconsistencies between large cardinals and other natural mathematical statements. For example, the impossibility of removing AC from the Vitali construction of a non-measurable set is exactly equiconsistent with the existence of an inaccessible cardinal. And the complete determinacy of infinite integer games (with not AC) is equiconsistent with the existence of infinitely many Woodin cardinals.