{"id":2542,"date":"2023-01-10T20:29:51","date_gmt":"2023-01-10T18:29:51","guid":{"rendered":"https:\/\/mathematics.haifa.ac.il\/?p=2542"},"modified":"2023-01-27T16:21:43","modified_gmt":"2023-01-27T14:21:43","slug":"colloquium-tuesday-january-17-2023-speaker-yatir-halevi-haifa-title-definably-semisimple-groups-interpretable-in-p-adically-closed-fields","status":"publish","type":"post","link":"https:\/\/mathematics.haifa.ac.il\/?p=2542","title":{"rendered":"Colloquium: Tuesday January 17, 2023. Speaker: Yatir Halevi (Haifa). Title: &#8220;Definably semisimple groups interpretable in p-adically closed fields&#8221;."},"content":{"rendered":"\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Our next Math&nbsp;colloquium&nbsp;talk will be&nbsp;<strong>in person<\/strong>&nbsp;next week on the 17th of January, in room 614, Science &amp; Education building.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A zoom link for our meetings is:<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/us02web.zoom.us\/j\/83337601824\">https:\/\/us02web.zoom.us\/j\/83337601824<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Speaker :&nbsp;<strong>Yatir Halevi (Haifa)<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Date :&nbsp;<strong>Tuesday, 17th of January, 2023.<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Time :&nbsp;<strong>14:00<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Title:<\/strong>&nbsp;Definably semisimple groups interpretable in p-adically closed fields.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Abstract:&nbsp;<\/strong>Identifying and characterizing the groups and fields one can define in<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">various first order structures has had multiple applications within<br>model theory and in other branches of mathematics. We focus here on<br><img loading=\"lazy\" decoding=\"async\" width=\"8\" height=\"10\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=p\" alt=\"p\">-adically closed fields.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><br>Let <img loading=\"lazy\" decoding=\"async\" width=\"12\" height=\"11\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=%5Cmathbb%7BK%7D\" alt=\"\\mathbb{K}\">be a <img loading=\"lazy\" decoding=\"async\" width=\"8\" height=\"10\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=p\" alt=\"p\">-adically closed field (for example, <img loading=\"lazy\" decoding=\"async\" width=\"18\" height=\"16\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=%5Cmathbb%7BQ%7D%5Fp\" alt=\"\\mathbb{Q}_p\">). We will discuss some recent results regarding interpretable groups and interpretable fields in <img loading=\"lazy\" decoding=\"async\" width=\"12\" height=\"11\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=%5Cmathbb%7BK%7D\" alt=\"\\mathbb{K}\">:<br><br>1) Let <img loading=\"lazy\" decoding=\"async\" width=\"11\" height=\"11\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=G\" alt=\"G\"> be an interpretable group. If <img loading=\"lazy\" decoding=\"async\" width=\"11\" height=\"11\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=G\" alt=\"G\">is definably semisimple (i.e.<br><img loading=\"lazy\" decoding=\"async\" width=\"11\" height=\"11\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=G\" alt=\"G\">has no definable infinite normal abelian subgroups) group, then<br>there exists a finite normal subgroup <img loading=\"lazy\" decoding=\"async\" width=\"13\" height=\"11\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=H\" alt=\"H\">such that <img loading=\"lazy\" decoding=\"async\" width=\"34\" height=\"16\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=G\/H\" alt=\"G\/H\">is definably<br>isomorphic to a <img loading=\"lazy\" decoding=\"async\" width=\"12\" height=\"11\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=%5Cmathbb%7bK%7d\" alt=\"\\mathbb{K}\">-linear group.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><br>2) Let <img loading=\"lazy\" decoding=\"async\" width=\"9\" height=\"11\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=%5Cmathbb%7BF%7D\" alt=\"\\mathbb{F}\">be an interpretable field. Then&nbsp;<img loading=\"lazy\" decoding=\"async\" width=\"9\" height=\"11\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=%5Cmathbb%7BF%7D\" alt=\"\\mathbb{F}\">&nbsp;is definably isomorphic to&nbsp;a finite extension of <img loading=\"lazy\" decoding=\"async\" width=\"12\" height=\"11\" src=\"https:\/\/s0.wp.com\/latex.php?zoom=3&amp;bg=ffffff&amp;fg=000000&amp;s=0&amp;latex=%5Cmathbb%7BK%7D\" alt=\"\\mathbb{K}\">.<br><br>No knowledge in model theory will be assumed, but some basic knowledge<br>in logic will help. (Joint work with Assaf Hasson and Ya&#8217;acov Peterzil)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Kol tuv,<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Adam.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Our next Math&nbsp;colloquium&nbsp;talk will be&nbsp;in person&nbsp;next week on the 17th of January, in room 614, Science &amp; Education building. A zoom link for our meetings is: https:\/\/us02web.zoom.us\/j\/83337601824 Speaker :&nbsp;Yatir Halevi (Haifa) Date :&nbsp;Tuesday, 17th of January, 2023. Time :&nbsp;14:00 Title:&nbsp;Definably&#8230;<br \/><a class=\"read-more-button\" href=\"https:\/\/mathematics.haifa.ac.il\/?p=2542\">Read more<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[],"class_list":["post-2542","post","type-post","status-publish","format-standard","hentry","category-colloquium"],"_links":{"self":[{"href":"https:\/\/mathematics.haifa.ac.il\/index.php?rest_route=\/wp\/v2\/posts\/2542","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mathematics.haifa.ac.il\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mathematics.haifa.ac.il\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mathematics.haifa.ac.il\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mathematics.haifa.ac.il\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2542"}],"version-history":[{"count":2,"href":"https:\/\/mathematics.haifa.ac.il\/index.php?rest_route=\/wp\/v2\/posts\/2542\/revisions"}],"predecessor-version":[{"id":2550,"href":"https:\/\/mathematics.haifa.ac.il\/index.php?rest_route=\/wp\/v2\/posts\/2542\/revisions\/2550"}],"wp:attachment":[{"href":"https:\/\/mathematics.haifa.ac.il\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2542"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mathematics.haifa.ac.il\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2542"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mathematics.haifa.ac.il\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2542"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}