O seminarium
Terminy i tematyka spotkań
Among the notions of amenability that we are interested in are: definable amenability of a definable group, classical amenability of a topological group, and, more generally, [weak] definable topological amenability of a definable topological group. We also introduce and study amenable theories.
The consequences of amenability that we obtain are the appropriate versions of G-compactness: for first order theories this is the equality of Lascar strong types and Kim-Pillay strong types; for definable [topological] groups this is the equality of suitably defined connected components $G^{000}$ and $G^{00}$ of the group $G$ in question.
Among our main technical tools, of interest in its own right, is an elaboration on and strengthening of the Massicot-Wagner version of the stabilizer theorem, and also some results about measures and measure-like functions.
My series of talks will be based on my preprint “Amenability and definability” joint with Ehud Hrushovski and Anand Pillay. In the first series of talks, I will focus on the context of definable [topological] groups; the second series will be devoted to our new notion of amenable theory.
We develop sheaf theory in the context of difference algebraic geometry. We introduce categories of difference sheaves and develop the appropriate cohomology theories. As specializations, we get difference Galois cohomology, difference Picard group and a good theory of difference torsors.
It is well known that elementary equivalences of PAC fields are controlled by their Galois groups: For given two PAC fields, if their Galois groups are isomorphic over Galois group over Galois group over a common subfield, then two PAC fields are elementary equivalent. The Key ingredient of this result is the Embedding Lemma for PAC fields, proved by M. Jarden and U. Kiehne.
We generalize Embedding Lemma for PAC fields into PAC structures and using our generalized Embedding Lemma, we deduce the elementary equivalence theorem for PAC structures. This is a joint work with J. Dobrowolski and D. M. Hoffmann.
In this talk I will explain the idea of residue field domination, sketch some of the proofs, and use the results to at least partially describe forking in such fields relative to the value group and residue field.
The theory of $T$-models with a $T$-derivation has a model completion $\mathrm{T^{\delta}_G}$. The derivation in models $(M, \delta) \models \mathrm{T^{\delta}_G}$ behaves “generically,” it is wildly discontinuous, and its kernel is a dense elementary $L$-substructure of $M$.
If $T = \mathrm{RCF}$, then $\mathrm{T^{\delta}_G}$ is the theory of closed ordered differential fields ($\mathrm{CODF}$) as introduced by Michael Singer. We are able to recover many of the known facts about $\mathrm{CODF}$ in our setting.
Among other things, $\mathrm{T^{\delta}_G}$ has $T$ as its open core, and $\mathrm{T^{\delta}_G}$ is distal.
We also examine the case of finitely many commuting $T$-derivations.
Joint work with Elliot Kaplan.
The classical Fraisse theorem establishes a correspondence between ultrahomogeneous structures and classes of finite structures satisfying, in addition to the obvious restrictions, the joint embedding property and the amalgamation property.
In the early 2000s, the notion of homomorphism-homogeneity was introduced by Cameron and Nesetril, with further refinements by Lockett and Truss. In total, there are $18$ natural classes of homomorphism-homogeneous structures, but Fraisse theorems were not known for most of them until Coleman's work from last year, in which Fraisse theorems were identified and proved for $12$ of the $18$ classes. In this talk, I will present a Fraisse theorem for structures in which any isomorphism between finite substructures is restriction of a global bijective monomorphism.
This is joint work with Özlem Beyarslan, Daniel Hoffmann and Moshe Kamensky, which is available here: https://arxiv.org/abs/1806.00464 . I will describe the set-up (introduced by Moosa and Scanlon) of "B-operators" on rings. This set-up includes derivations, Hasse-Schmidt derivations and endomorphisms. In the paper, we give algebraic conditions about a finite algebra B over a field of positive characteristic, which are equivalent to the companionability of the theory of fields with B-operators (i.e. the operators coming from homomorphisms into tensor products with B). We show that, in the most interesting case of a local B, these model companions admit quantifier elimination in the "smallest possible" language and they are strictly stable. We also describe the forking relation there.
When a structure, M, is presented to us (in a language L), it is a
natural problem to try to describe the "reducts" of M, the (relational)
structures on the same domain as M which are definable in L, and to do
this up to first-order interdefinability. When M is omega-categorical
(and countable) this is equivalent to describing the permutation groups
H such that Aut(M) < H < Sym(M) that are closed in the natural Polish
topology on Sym(M). This characterisation allows us to use the theory of
infinite permutation groups to study reducts (and vice-versa).
There is a particularly interesting class of permutation groups called
Jordan groups with the property that if G is a Jordan group then any
closed permutation group containing G is also a Jordan group. This fact
has already been used to study reducts of combinatorial trees (by M.
Bodirsky and H.D. Macpherson) and affine/projective spaces (by I. Kaplan
and P. Simon).
We apply results from the structure theory of Jordan groups and
semilinear orderings to describe the reducts of ordered trees that are
sufficiently homogeneous and, in doing so, identify an infinite class of
maximally closed subgroups of Sym(omega).
In the talk, I will present several results from my latest preprint. It concerns the question whether a profinite group can occur as a Galois group of some Galois extension inside a monster model of a previously chosen stable theory. Does assuming projectivity of our profinite group reflect somehow in the properties of the Galois group? Yes - it turns out that any projective profinite group is the absolute Galois group of some definably closed substructure and in some circumstances it is even the absolute Galois group of a pseudo-algebraically closed substructure.
Localization is an important idea of stability theory and model theory in general. I will speak of localization of definable topological dynamics.
This will be a continuation of Ludomir's talks about our joint paper with Pierre Simon. Ludomir presented the proofs of boundedness and absoluteness of Ellis groups of the flows of the form (Aut(C), SX(C)), where X is type-definable over the empty set and C is a monster model of a given theory. During my talks, I will focus on boundedness and absoluteness of minimal ideals of Ellis semigroups of such flows. I will also discuss some more specific results on minimal ideals and on Ellis groups in the NIP environment.
Roelcke precompact groups are exactly the topological groups that can
be realized as automorphism groups of omega-categorical structures (in
continuous logic). In this talk, I will discuss a model-theoretic
framework for the study of those groups and their dynamical systems as
well as two concrete applications. The talk is based on joint work
with Itaï Ben Yaacov and Tomás Ibarlucía.
This will be a continuation of Ludomir's talks about our joint paper with Pierre Simon. Ludomir presented the proofs of boundedness and absoluteness of Ellis groups of the flows of the form (Aut(C), SX(C)), where X is type-definable over the empty set and C is a monster model of a given theory. During my talks, I will focus on boundedness and absoluteness of minimal ideals of Ellis semigroups of such flows. I will also discuss some more specific results on minimal ideals and on Ellis groups in the NIP environment.
J. Goodrick, B. Kim, and A. Kolesnikov introduced a notion of amenable
collection of functors to a proper category C to develop some simplicial
homology theory in a category. An amenable collection of functors satisfies
good extension and localization properties. A typical example comes from
model theory by considering the category of small subsets of a fixed
monster model with partial elementary embeddings.
Given an amenable collection, we define homology groups and under
(n+1)-complete amalgamation, the n-th homology group is just a set of
homology classes of n-chains of a certain simple form, called n-shell.
Specially, the first homology group is always given by homology classes of
1-shell.
By classifying all possible minimal 2-chains having 1-shell boundaries, we
can compute the first homology groups. In model theory, the first homology
group of a strong type of a model is the abelianization of Lascar group.
For a given abstract group G, we get an amenable collection of functors by
considering G-action on itself by left multiplication. In this case, the
first homology group is the abelianization of G.
Niech R będzie o-minimalnym wzbogaceniem ciała liczb rzeczywistych. Podczas seminarium zostanie omówione twierdzenie mówiące, że wymiar Hausdorffa dla R-definiowalnej rodziny przestrzeni metrycznych jest funkcją definiowalną przyjmującą wartości w ciele potęg.
W przypadku gdy R jest wielomianowo ograniczona, funkcja ta przyjmuje tylko skończenie wiele wartości.
(This is joint with Gabriel Conant and Caroline Terry.)
Graph regularity theorems (i.e. Szemeredi) concern decomposing finite graphs
(V,W,R) into a small number of subgraphs (Vi,Wj,R|(V_i×W_j)) most of
which are "almost regular", i.e. subgraphs have approximately the same
density.
When more assumptions are made on the relation R such as uniform stability
or NIP one obtains stronger statements with almost homogeneity in place of
almost regularity.
In the group version we consider finite groups G equipped with a
distinguished subset A and assumptions are made on the relation xy A. One
seeks nice decompositions compatible with the group structure and this is
what I will talk about.
This is joint work with Marcin Chałupnik. I will talk about our paper (available on https://arxiv.org/abs/1612.06960) which gives some basics about homological algebra of difference representations. We consider both the difference-discrete and the difference-rational case. We define the corresponding cohomology theories and show the existence of spectral sequences relating these cohomology theories with the standard ones. The main motivation of our work is to find a general difference counterpart of the generic cohomology of Cline, Parshall, Scott, and Van Der Kallen.
In the talk(s), the joint work with Predrag Tanović will be presented. We introduce the notion and do some investigation of stationary types in theories of linear orders. Most importantly, the relation of forking-dependence between realizations of stationary types is investigated, which turned out to be symmetric and transitive. We will show that the existence of some stationary types implies many countable models. Also, if all types over small sets (or just small models) are stationary, we will show that such theories are dp-minimal.
I will talk about joint work with Özlem Beyarslan (the last version of our paper is available here: http://www.math.uni.wroc.pl/~pkowa/mojeprace/vfree4.pdf). We showed that for a finitely generated virtually free group G, the theory of actions of G on fields has a model companion, which we call G-TCF. We also gave an algebraic condition on G, which is equivalent to simplicity of the theory G-TCF. Recently, we learnt from Ehud Hrushovski an argument showing that if the group Z × Z embeds into G, then the theory of G-actions on fields does NOT have model companion. I will present this argument as well.
Opowiem o związkach między pojęciami teoriomodelowymi (formuły i teorie stabilne, z NIP) a pojęciami z dynamiki topologicznej (funkcje słabo prawie okresowe, funkcje oswojone).
Opowiem też o twierdzeniu (z powstającej pracy z K. Krupińskim) o tym, że grupa Galois (Lascara) dowolnej teorii jest ilorazem zwartej grupy polskiej, i podobnie dla ilorazów grup typowo definiowalnych przez spójne składowe.
This is joint work with Özlem Beyarslan. For a fixed finitely generated group G, we consider actions of G by field automorphisms. If the theory of such generic actions is first-order axiomatizable, then we say that G-TCF exists. It is well-known that G-TCF exists if G is a free group (the theory ACFA_n), and it is also known that G-TCF exists for a finite G. On the other hand, it is also known that (Z^2)-TCF does not exist.
Using Bass-Serre theory, we give plausible axioms for G-TCF if G is virtually free. We show that in such a case, the theory G-TCF is simple if and only if G is free or finite.
W odczycie pokażę pewne wyniki dotyczące dynamiki topologicznej w grupach NIP, których struktury dają się opisać w terminach podgrup oraz ilorazów będących przykładami grup definiowalnie średniowalnych. Wyniki te stanowią teoriomodelowe uogólnienie opisu dynamiki topologicznej w definiowalnych grupach Liego.
Następnie pokażę ich zastosowanie w opisie dynamiki arbitralnych grup definiowalnych w o-minimalnych rozszerzeniach ciał rzeczywiście domkniętych, dowodząc wariantu hipotezy dotyczącej izomorfizmu grup Ellisa. Wskażę też zastosowania dla pewnych klas grup definiowalnych w ciałach z waluacją, w szczególności w "rozszerzeniach Macintyre'a" ciała liczb p-adycznych.
W pierwszej części seminarium prof. Ludomir Newelski dokończy swój odczyt "Model i jego podzbiór".
W drugiej części seminarium przypomnę podstawowe wiadomości na temat silnych typów i ich przestrzeni. Między innymi zdefiniuję silne typy Lascara oraz Kima-Pillaya, topologię logiczną na przestrzeniach silnych typów. Powiem też co rozumiemy przez moc borelowską silnego typu, a także o teoriomodelowych grupach Galois i składowych spójnych. Jeżeli wystarczy czasu, przypomnę też pokrótce istotne z tego punktu widzenia podstawowe pojęcia dynamiki topologicznej.
Planowany odczyt stanowi przypomnienie podstawowych pojęć przed właściwym odczytem, który odbędzie się w maju.
Załóżmy, że M jest strukturą przeliczalną, zaś Q jest jej
typowo-definiowalnym podzbiorem. Kiedy struktura M jest wyznaczona
jednoznacznie przez strukturę Q? W odczycie udzielimy odpowiedzi na to
pytanie. Udowodnimy także, że tego rodzaju relatywna kategoryczność jest
dość powszechnym zjawiskiem.
Dla grupy topologicznej G rozważamy grupę topologiczną L_0(G) składającą się z funkcji mierzalnych określonych na ([0,1],λ), gdzie λ jest miarą Lebesgue'a, o wartościach w G. Mnożenie jest punktowe, bierzemy metrykę zbieżności w mierze.
W czasie wykładu skoncentrujemy się na grupach G które są automorfizmami struktur przeliczalnych oraz skupimy się na pojęciach i własnościach związanych z klasami sprzężoności, takich jak topologiczne klasy podobieństwa i istnienie gęstej cyklicznej klasy sprzężoności.
Przedstawię wyniki otrzymane we wspólnej pracy z Maciejem Malickim.
Niech R będzie o-minimalnym wzbogaceniem ciała liczb rzeczywistych. Podczas seminarium zostanie omówione twierdzenie mówiące, że wymiar Hausdorffa dla R-definiowalnej rodziny przestrzeni metrycznych jest definiowalną funkcją parametrów definiujących daną przestrzeń metryczną.
Opowiem o średnicach Lascara składowej G∞ w kilku konkretnych przypadkach, np. dla grup nilpotentnych, rozwiązalnych i innych (np. grup torsyjnych, skończenie generowanych). Podam odpowiedzi na pewne wcześniej zadane pytania. Część zaprezentowanych metod będzie operała się na tw. Petera-Weyla o reprezentacjach unitarnych.
W ciągu kilku najbliższych seminariów omówię moją najnowszą pracę wspólną z A. Pillayem. Rozwijamy w niej dynamikę topologiczną dla grup topologicznych definiowalnych w strukturach pierwszego rzędu. W szczególności wprowadzamy pewne nowe topologiczno-teoriomodelowe spójne składowe.
Dowodzimy, że średniowalność grupy w różnych kontekstach implikuje równość pewnych spójnych składowych (odpowiednich dla rozważanego kontekstu), w szczególności odpowiadając na pytanie z mojej wcześniejszej pracy z A. Pillayem i mojej pracy z J. Gismatullinem. Używając tego, uzyskujemy główny wynik pracy: jeśli grupa automorfizmów struktury ω-kategorycznej jest średniowalna (jako grupa topologiczna), to teoria tej struktury jest G-zwarta. Istotnym elementem dowodu, który jest ciekawy sam w sobie, jest przedstawienie grup Galois rozważanej teorii jako ilorazów grupy automorfizmów, zinterpretowanej w modelu monstrum pewnej bogatej struktury, przez odpowiednie spójne składowe przez nas wprowadzone.
W ciągu kilku najbliższych seminariów omówię moją najnowszą pracę wspólną z A. Pillayem. Rozwijamy w niej dynamikę topologiczną dla grup topologicznych definiowalnych w strukturach pierwszego rzędu. W szczególności wprowadzamy pewne nowe topologiczno-teoriomodelowe spójne składowe.
Dowodzimy, że średniowalność grupy w różnych kontekstach implikuje równość pewnych spójnych składowych (odpowiednich dla rozważanego kontekstu), w szczególności odpowiadając na pytanie z mojej wcześniejszej pracy z A. Pillayem i mojej pracy z J. Gismatullinem. Używając tego, uzyskujemy główny wynik pracy: jeśli grupa automorfizmów struktury ω-kategorycznej jest średniowalna (jako grupa topologiczna), to teoria tej struktury jest G-zwarta. Istotnym elementem dowodu, który jest ciekawy sam w sobie, jest przedstawienie grup Galois rozważanej teorii jako ilorazów grupy automorfizmów, zinterpretowanej w modelu monstrum pewnej bogatej struktury, przez odpowiednie spójne składowe przez nas wprowadzone.
Lemat Szemerédiego o regularności, w pewnym uproszczeniu, mówi że każdy dostatecznie duży graf można podzielić na pewną skończną liczbę części (niezależną od wielkości grafu) o prawie jednakowym rozmiarze, tak że prawie każda para części zachowuje się jak "graf losowy". Znajduje on zastosowanie w teorii grafów, teorii liczb oraz kombinatoryce ekstremalnej.
Wadą lematu jest to, że wielkość grafu konieczna do uzyskania pożądanej "losowości" rośnie bardzo szybko (szybciej niż każda funkcja wykładnicza). Okazuje się jednak, że gdy ograniczymy stopień skomplikowania grafu (np. gdy zażądamy, by był on definiowalny w ciele skończonym, lub rzeczywistym), można uzyskać dużo lepsze szacowania.
W czasie seminarium opowiem o niektórych wariantach i wnioskach z lematu Szemerédiego dla teorii stabilnych i NIP, wraz z powiązaną terminologią, oraz udowodnię wersję lematu dla teorii stabilnych w wersji udowodnionej przez Malliaris oraz Pillay'a.
Pokażę niesprzecznosć z ZFC+\neg CH następujących twierdzeń:
- Istnieje teoria mocy \aleph_1 z jedynym modelem atomowym, który jednak nie jest konstruowalny
- Każda zupełna teoria mocy \aleph_1, która ma nieprzeliczalne modele atomowe, lecz nie ma modeli konstruowalnych, ma 2^{\aleph_1} modeli mocy \aleph_1.
Dowody używają kombinatoryki na \aleph_1 (słaby diament) oraz na prostej
rzeczywistej, odwołują się do metod Shelaha. Są to wyniki Douglasa Ulricha.
We relate a differential field K having fundamental systems of
solutions for all linear differential equations, to K having trivial
differential Galois cohomology with respect to linear differential algebraic groups.
The model theory of groups of finite Morley rank and superstable groups,
plays a role.
Teoria ciał z automorfizmem ma modelowego towarzysza (aksjomatyzującego egzystencjalnie domknięte ciała z automorfizmem): teorię ACFA (Chatzidakis-Hrushovski, Macintyre). Innymi słowami, modelowy towarzysz istnieje dla działań Galois grupy Z. Wiadomo też, że modelowy towarzysz istnieje dla działań Galois skończenie generowanej grupy wolnej oraz że nie istnieje dla działań Galois grupy Z\times Z. Poza tym, modelowy towarzysz istnieje dla działań Galois grup skończonych (Sjorgen, Hoffmann-Kowalski) oraz działań Galois Q (Medvedev).
Podczas seminarium opiszę aksjomatyzację modelowego towarzysza działań Galois nieskończonej grupy dihedralnej oraz próby uogólnienia tej aksjomatyzacji do działań Galois grup wirtualnie cyklicznych i (ogólniej) grup wirtualnie wolnych. Jest to wspólna praca z Özlem Beyarslan.
Teoria ciał z automorfizmem ma modelowego towarzysza (aksjomatyzującego egzystencjalnie domknięte ciała z automorfizmem): teorię ACFA (Chatzidakis-Hrushovski, Macintyre). Innymi słowami, modelowy towarzysz istnieje dla działań Galois grupy Z. Wiadomo też, że modelowy towarzysz istnieje dla działań Galois skończenie generowanej grupy wolnej oraz że nie istnieje dla działań Galois grupy Z\times Z. Poza tym, modelowy towarzysz istnieje dla działań Galois grup skończonych (Sjorgen, Hoffmann-Kowalski) oraz działań Galois Q (Medvedev).
Podczas seminarium opiszę aksjomatyzację modelowego towarzysza działań Galois nieskończonej grupy dihedralnej oraz próby uogólnienia tej aksjomatyzacji do działań Galois grup wirtualnie cyklicznych i (ogólniej) grup wirtualnie wolnych. Jest to wspólna praca z Özlem Beyarslan.
We show that logical equivalence, behavioral equivalence and
bisimilarity are equivalent for Kripke models. This is a joint work with E. E. Doberkat.
Klasyczne wyniki pokazują, że gdy G jest definiowalnie zwartą grupą
definiowalną w strukturze o-minimalnej, to G/G00 z topologią logiczną jest
zwartą grupą Liego o wymiarze równym o-minimalnemu wymiarowi G. Na
spotkaniu omówię uogólnienie tych wyników do dowolnych grup działających
wiernie i tranzytywnie na zbiorze definiowalnie zwartym.
W szczególności pokażę, że w tej sytuacji G ma ind-definiowalną podgrupę zawierającą
typowo definiowalną podgrupę, taką że ich iloraz \bar{G} jest grupą Liego
odpowiedniego wymiaru o następującej własności: dla każdego wiernego i
tranzytywnego działania G na definiowalnie zwartym zbiorze X, istnieje
rzeczywista, zwarta rozmaitość \bar{X} (uzyskana jako iloraz X) taka, że
działanie G na X redukuje się do indukowanego działania \bar{G} na
\bar{X}.
(Praca wspólna z K. Peterzilem.)
In the talk we present joint work with Dejan Ilić and Predrag Tanović. We
discuss complete theories of linear orderings with unary predicates and
convex equivalence relations (equivalence relations with convex classes). We
study two problems: the description of definable sets and the number of
non-isomorphic countable models.
We define the notion of strong linear binarity of linearly ordered
structures and their complete theories. We prove that any complete theory of
a linear ordering with unary predicates and convex equivalence relations is
strongly linearly binary, and also that every strongly linearly binary
structure is definitonally equivalent to a linear ordering with unary
predicates and convex equivalence relations. In the proof we give the
description of definable sets in linear orderings with unary predicates and
convex equivalence relations.
Further, we study regular types (in the sense of Pillay and Tanović) in
theories of linear orderings with unary predicates and convex equivalence
relations. We prove that every non-algebraic, global, invariant 1-type is
regular and that every non-algebraic complete 1-type over a small set A has
precisely two A-invariant global extensions. As an application we obtain
that these theories have either finitely many or continuum many
non-isomorphic countable models.
(Joint with Daniel Hoffmann)
We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general context of the model theory of fields with a (finite) group scheme action.
Będzie to cykl wykładów poświęconych pracy „Definably amenable NIP groups” A. Chernikova i P. Simona. Omówione zostaną różne własności grup definiowalnie średniowalnych w teoriach z NIP-em. W szczególności:
- charakteryzacja definiowalnej średniowalności w terminach typów f-generik oraz ograniczonych orbit;
- charakteryzacja bycia f-generikiem w terminach formuł słabo generycznych oraz miar;
- opis miar ergodycznych przy użyciu typów f-generik;
- dowód hipotezy Newelskiego dla definiowalnie średniowalnych grup z NIP-em.
Będę kontynuował opowiadanie o wynikach ze swojej ostatniej pracy, Equivalence relations invariant under group actions.
W pracy pokazałem, że dla pewnej szerokiej klasy relacji niemienniczych na ciągłe działanie grupy zwartej Hausdorffa, na typowo definiowalne działanie, lub na działanie grupy automorfizmów modelu monstrum, jeżeli wszystkie klasy są domknięte lub typowo definiowalne odpowiednio, to cała relacja jest domknięta lub typowo definiowalna odpowiednio.
Dzięki temu można uzyskać rozszerzenie wyników z mojej ostatniej pracy z K. Krupińskim i A. Pillayem o zastosowaniach dynamiki topologicznej do silnych typów w teorii modeli dotyczące związku między gładkością przestrzeni silnych typów a typową definiowalnością. Ponadto możemy wywnioskować analogiczne twierdzenia dla działań ciągłych grup zwartych (lub, szerzej, działań właściwych grup topologicznych Hausdorffa) na przestrzeniach polskich, oraz dla działań typowo definiowalnych (w miejsce działania grupy automorfizmów).
I will discuss some work in progress around Hrushovski's stabilizer theorem from the approximate subgroups paper and applications to NTP2. I will in particular discuss Hrushovski's theorem, present a simpler proof of it and some variations. I will then apply it to definably amenable groups in NTP2 theories.
Joint work with Alf Onshuus and Samaria Montenegro.
Opowiem o wynikach ze swojej ostatniej pracy, Equivalence relations invariant under group actions.
W pracy pokazałem, że dla pewnej szerokiej klasy relacji niemienniczych na ciągłe działanie grupy zwartej Hausdorffa, na typowo definiowalne działanie, lub na działanie grupy automorfizmów modelu monstrum, jeżeli wszystkie klasy są domknięte lub typowo definiowalne odpowiednio, to cała relacja jest domknięta lub typowo definiowalna odpowiednio.
Dzięki temu można uzyskać rozszerzenie wyników z mojej ostatniej pracy z K. Krupińskim i A. Pillayem o zastosowaniach dynamiki topologicznej do silnych typów w teorii modeli dotyczące związku między gładkością przestrzeni silnych typów a typową definiowalnością. Ponadto możemy wywnioskować analogiczne twierdzenia dla działań ciągłych grup zwartych (lub, szerzej, działań właściwych grup topologicznych Hausdorffa) na przestrzeniach polskich, oraz dla działań typowo definiowalnych (w miejsce działania grupy automorfizmów).
Będą przedstawione wyniki dotyczące struktury półgrup (typowo) definiowalnych w strukturach stabilnych. Wyniki te polepszają wcześniejsze wyniki L. Newelskiego. W szczególności, zostanie udowodnione, że półgrupa typów grupy stabilnej jest granicą odwrotną półgrup definiowalnych.
Będą przedstawione wyniki dotyczące struktury półgrup (typowo)
definiowalnych w strukturach stabilnych. Wyniki te polepszają wcześniejsze
wyniki L. Newelskiego. W szczególności, zostanie udowodnione, że półgrupa
typów grupy stabilnej jest granicą odwrotną półgrup definiowalnych.
W ciągu kilku najbliższych seminariów omówimy główne wyniki z pracy "Topological dynamics and the complexity of strong types" autorstwa K. Krupińskiego, A. Pillaya i T. Rzepeckiego. W teorii modeli istotną rolę odgrywają pewne grupy Galois danej teorii (głównie grupy Galois Shelaha, Kima-Pillaya oraz Lascara) oraz silne typy (głównie Shelaha, Kima-Pillaya i Lascara), które definiujemy jako klasy ograniczonych, niezmienniczych relacji równoważności rozdrabniających relację posiadania tego samego typu. O ile grupa Galois Kima-Pillaya może być naturalnie wyposażona w strukturę zwartej grupy topologicznej Hausdorffa, o tyle na grupie Lascara analogiczna topologia jest zwarta, ale niekoniecznie Hausdorffa. Podobnie dla przestrzeni silnych typów - iloraz przez ograniczoną relację typowo-definiowalną wyposażony w tzw. topologię logiczną jest zwartą przestrzenią Hausdorffa, natomiast na ilorazie przez ograniczoną, niezmienniczą relację równoważności topologia logiczna nie musi być Hausdorffa i może ona nawet być trywialna (a więc zupełnie bezużyteczna). Prowadzi to do bardzo ogólnego pytania: W jaki sposób traktować grupę Galois Lascara oraz przestrzenie silnych typów jako obiekty matematyczne i jak badać ich złożoność? Rozwijając dynamikę topologiczną dla grupy automorfizmów modelu monstrum, otrzymaliśmy głębokie związki między pewnymi pojęciami z dynamiki topologicznej oraz z teorii modeli. W szczególności przedstawiliśmy grupę Galois Lascara oraz przestrzenie silnych typów (na zbiorze realizacji jednego typu zupełnego nad zbiorem pustym) jako ilorazy pewnej zwartej grupy Hausdorffa. Używając tych wyników oraz wiedzy na temat zwartych grup topologicznych i deskryptywnej teorii mnogości uzyskaliśmy bardzo ogólne rezultaty na temat mocy [borelowskich] przestrzeni silnych typów, w szczególności odpowiedzieliśmy na pewne otwarte pytania. Końcowym wnioskiem jest trychotomia w pełni wyjaśniająca związki między fundamentalnymi własnościami (relatywną definiowalnością, typową definiowalnością, gładkością w sensie mocy borelowskich oraz liczbą klas) ograniczonych, niezmienniczych, analitycznych relacji równoważności.
Zbiory silnie generyczne to nowe pojęcie wprowadzone przeze mnie w definiowalnej dynamice topologicznej. Może ono być przydatne również w zwykłej dynamice topologicznej. Przedstawię to pojęcie wraz z kilkoma zastosowaniami.