ALGAR 2022: Constructive methods for quadratic form theory

Start op 05.09.2022

Wetenschappen

Geïnteresseerd?

Meer informatie
° ASU23 Engels Online beschikbaar
Tags: algebra , arithmetics , quadratic forms , number theory , mathematics

Antwerp Summer School in Algebra and Arithmetic

Beschrijving

In 2022, the ALGAR summer school aims to present ideas and techniques from constructive mathematics in relation to open problems in quadratic form theory. Some familiarity with the basics of quadratic form theory will be assumed, but no previous exposure to mathematical logic and constructive mathematics will be required. The lectures will be accompanied by exercise sessions and a couple of research talks.

Target group: Master students and PhD students in pure mathematics. Also more experienced mathematicians are welcome to participate.

Programma

The theory of quadratic forms and central simple algebras over general fields is based to a large extent on elementary arguments. Nevertheless, many great theorems in this area are full of mysteries. Often they tell us the existence of some representation for certain objects, but the proof does not provide us with such a representation.

Constructive mathematics is an active branch of research concerned with the systematic search for computational proofs. Here the Law of the Excluded Middle and the Axiom of Choice have to be avoided. From a computational proof, one can usually extract extra information. For example, if the statement is about some way to represent a certain object, then a constructive proof will show us how to find such a representation and give us a bound on the number of parameters involved in the description.

In the summer school, general background and specific techniques from constructive algebra will be explained and linked to concrete open quantitative problems in quadratic form theory.

The programme will include a glimpse into topos theory and its role in mathematical logic. It will be tailored to young researchers in quadratic form theory and it will open perspectives for future research.


Opmerkingen

3 ECTS credits are awarded upon successful completion of the programme.

Cursusnummer:
ASU23
Type opleiding:
Kort- en langlopende opleidingen
Interessegebied:
Wetenschappen
Taal:
Engels
Academiejaar:
2022 - 2023
Startdatum:
05.09.2022
Lesgevers:
  • Karim Johannes Becher (UAntwerpen)
  • Sten Veraa (UAntwerpen)
  • Marco Zaninelli (UAntwerpen)
Contactpersoon:
algar@uantwerpen.be
Locatie

Stadscampus, University of Antwerp, Belgium

Meer informatie
Online beschikbaar

Deze website gebruikt cookies om jouw surfervaring gemakkelijker en aangenamer te maken en om de inhoud van de websites beter af te stemmen op jouw behoeften en voorkeuren. Je kan de installatie van cookies weigeren, maar dan zullen sommige onderdelen van onze websites niet of niet optimaal werken. Lees meer.

Uw browser voldoet niet aan de minimale vereisten om deze website te bekijken. Onderstaande browsers zijn compatibel. Mocht je geen van deze browsers hebben, klik dan op het icoontje om de gewenste browser te downloaden.