### Abstract

In 1801 Gauss laid down a remarkable law of composition on integral binary quadratic forms. This discovery, known as Gauss composition, not only had a profound influence on elementary number theory but also laid the foundations for ideal theory and modern algebraic number theory. Even today, Gauss composition remains one of the best ways of understanding ideal class groups of quadratic fields. The question arises as to whether there might exist similar laws of composition on other spaces of forms that could shed light on the structure of other algebraic number rings and fields. In this article we present several such higher analogues of Gauss composition, and we describe how each of these composition laws can be interpreted in terms of ideal classes in appropriate rings of algebraic integers. We also discuss several applications of these composition laws, including the resolution of a critical case of the Cohen-Lenstra-Martinet heuristics, and a solution of the longstanding problem of counting the number of quartic and quintic fields of bounded discriminant. In addition, we describe the mysterious relationship between these various composition laws and the exceptional Lie groups. Finally, we discuss prospects for future work and conclude with several open questions.

Original language | English (US) |
---|---|

Pages | 271-294 |

Number of pages | 24 |

State | Published - Dec 1 2006 |

Event | 25th International Congress of Mathematicians, ICM 2006 - Madrid, Spain Duration: Aug 22 2006 → Aug 30 2006 |

### Other

Other | 25th International Congress of Mathematicians, ICM 2006 |
---|---|

Country | Spain |

City | Madrid |

Period | 8/22/06 → 8/30/06 |

### All Science Journal Classification (ASJC) codes

- Mathematics(all)

### Keywords

- Classical invariant theory
- Density theorems
- Gauss composition

## Fingerprint Dive into the research topics of 'Higher composition laws and applications'. Together they form a unique fingerprint.

## Cite this

*Higher composition laws and applications*. 271-294. Paper presented at 25th International Congress of Mathematicians, ICM 2006, Madrid, Spain.