Hints and tips:
  • You may need to look up some unfamiliar terms in the title or description to get more of a sense of what is involved.
  • If the project has "No" in the "Current Availability:" field, it is already taken or not being offered this academic year but may be available again in future years.
  • The supervisor name links to a contact details webpage so, if you are interested, you can arrange to discuss this project or even propose a related topic of your own.
Level: BSc, MSci, MSc
Title: Quadratic forms
Supervisor:
Research Area: Algebra
Description:

A homogeneous polynomial Q(x_1,...,x_n) of degree 2 is called a quadratic form.  After linear equations, quadratic equations are the next simplest class of algebraic equations. Nevertheless, they have a rich theory linking them to various subjects in mathematics such as Number Theory, Topology, Algebraic Geometry, K-theory, and so on.

This project can involve one (or more) of the topics below (at your choice). Due to the elementary nature of quadratic forms, the project can be kept at an elementary level or, if there is interest, one can investigate deeper connections with other subjects alluded to above.

1- Hasse-Minkowski principle. The theorem of Hasse and Minkowski states, roughly, that for a quadratic equation with rational coefficients to have a solution in \mathbb{Q} it is necessary and sufficient that it has solutions at every prime and also in \mathbb{R}. This theorem has deep links with Number Theory.

2- Pfister forms and multiplicativity. A theorem of Fermat states that if integers m and n are of the form x^2+y^2, then so is mn. Lagrange proved the same statement for x^2+y^2+z^2+t^2.  Pfister generalized this to the case with 2^k variables and proved the similar statement over any field. In fact, he characterized all quadratic forms Q with an analogous multiplicativity property, leading to the theory of the so-called Pfister forms.

3- Structure of the Witt Ring.  The proper understanding of quadratic forms requires studying the so-called Witt ring and its analogue, the Grothendieck-Witt ring.   Pfister forms play a crucial role here. These rings turn out to have deep connections to Algebraic Geometry, Galois Theory and K-theory.  Vladimir Voevodsky was awarded a Fields medal for his work on this subject.

4- Clifford algebras. To any quadratic form one associates a Clifford algebra. These were invented by the Birtish mathematician William Kingdom Clifford in 1878 as a generalization of Hamilton's Quaternion algebras. They have an interesting structure whose study can be part of a nice thesis (for example: classification of Clifford algebras).  Clifford algebras play an important role in Geometry and Physics.
Further Reading:
  • R. Elman, N. Karpenko, A. Merkurjev, The Algebraic and Geometric Theory of Quadratic Forms. Colloquium Publications, Vol. 56, American Mathematical Society, 2008.
  • T-Y. Lam, Introduction to Quadratic Forms over Fields. Graduate Studies in Mathematics, Vol. 67, American Mathematical Society, 2005.
  • O. T. O'Meara, Introduction to Quadratic Forms. Springer, Berlin, 2000.
  • J-P. Serre, A Course in Arithmetic, Graduate Texts in Mathematics, Vol. 7, Springer, New York, 1973.
Key Modules:
Other Information:
Current Availability: Yes