Colloquium: Tuesday January 17, 2023. Speaker: Yatir Halevi (Haifa). Title: “Definably semisimple groups interpretable in p-adically closed fields”.
Our next Math colloquium talk will be in person next week on the 17th of January, in room 614, Science & Education building.
A zoom link for our meetings is:
Speaker : Yatir Halevi (Haifa)
Date : Tuesday, 17th of January, 2023.
Time : 14:00
Title: Definably semisimple groups interpretable in p-adically closed fields.
Abstract: Identifying and characterizing the groups and fields one can define in
various first order structures has had multiple applications within
model theory and in other branches of mathematics. We focus here on
-adically closed fields.
Let be a -adically closed field (for example, ). We will discuss some recent results regarding interpretable groups and interpretable fields in :
1) Let be an interpretable group. If is definably semisimple (i.e.
has no definable infinite normal abelian subgroups) group, then
there exists a finite normal subgroup such that is definably
isomorphic to a -linear group.
2) Let be an interpretable field. Then is definably isomorphic to a finite extension of .
No knowledge in model theory will be assumed, but some basic knowledge
in logic will help. (Joint work with Assaf Hasson and Ya’acov Peterzil)