Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil,...
Transcript of Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil,...
![Page 1: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/1.jpg)
Interpretable sets in o-minimal structures
Will Johnson
March 27, 2015
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 1 / 13
![Page 2: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/2.jpg)
Interpretable groups in o-minimal theories
Theorem (Ramakrishnan, Peterzil, Eleftheriou)
Let G be an interpretable group in an o-minimal structure M. Then G isM-definably isomorphic to a definable group.
But don’t o-minimal theories eliminate imaginaries?
Yes, if they expand RCF.
Usually, if they expand DOAG.
No, in general.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 2 / 13
![Page 3: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/3.jpg)
Interpretable groups in o-minimal theories
Theorem (Ramakrishnan, Peterzil, Eleftheriou)
Let G be an interpretable group in an o-minimal structure M. Then G isM-definably isomorphic to a definable group.
But don’t o-minimal theories eliminate imaginaries?
Yes, if they expand RCF.
Usually, if they expand DOAG.
No, in general.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 2 / 13
![Page 4: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/4.jpg)
Interpretable groups in o-minimal theories
Theorem (Ramakrishnan, Peterzil, Eleftheriou)
Let G be an interpretable group in an o-minimal structure M. Then G isM-definably isomorphic to a definable group.
But don’t o-minimal theories eliminate imaginaries?
Yes, if they expand RCF.
Usually, if they expand DOAG.
No, in general.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 2 / 13
![Page 5: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/5.jpg)
Interpretable groups in o-minimal theories
Theorem (Ramakrishnan, Peterzil, Eleftheriou)
Let G be an interpretable group in an o-minimal structure M. Then G isM-definably isomorphic to a definable group.
But don’t o-minimal theories eliminate imaginaries?
Yes, if they expand RCF.
Usually, if they expand DOAG.
No, in general.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 2 / 13
![Page 6: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/6.jpg)
The affine line
Consider (R, <,∼), where
(x , y) ∼ (a, b) ⇐⇒ x − y = a− b
Remark
The interpretable set R2/ ∼ isn’t definable.
The automorphismx 7→ x + 1
acts trivially on R2/ ∼, but fixes no elements of the home sort.
Remark
After naming any constant, R2/ ∼ becomes definably isomorphic to thehome sort.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 3 / 13
![Page 7: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/7.jpg)
The affine line
Consider (R, <,∼), where
(x , y) ∼ (a, b) ⇐⇒ x − y = a− b
Remark
The interpretable set R2/ ∼ isn’t definable.
The automorphismx 7→ x + 1
acts trivially on R2/ ∼, but fixes no elements of the home sort.
Remark
After naming any constant, R2/ ∼ becomes definably isomorphic to thehome sort.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 3 / 13
![Page 8: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/8.jpg)
The affine line
Consider (R, <,∼), where
(x , y) ∼ (a, b) ⇐⇒ x − y = a− b
Remark
The interpretable set R2/ ∼ isn’t definable.
The automorphismx 7→ x + 1
acts trivially on R2/ ∼, but fixes no elements of the home sort.
Remark
After naming any constant, R2/ ∼ becomes definably isomorphic to thehome sort.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 3 / 13
![Page 9: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/9.jpg)
The affine line
Consider (R, <,∼), where
(x , y) ∼ (a, b) ⇐⇒ x − y = a− b
Remark
The interpretable set R2/ ∼ isn’t definable.
The automorphismx 7→ x + 1
acts trivially on R2/ ∼, but fixes no elements of the home sort.
Remark
After naming any constant, R2/ ∼ becomes definably isomorphic to thehome sort.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 3 / 13
![Page 10: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/10.jpg)
A natural question to ask
Theorem (Ramakrishnan, Peterzil, Eleftheriou)
Let G be an interpretable group in an o-minimal structure M. Then G isM-definably isomorphic to a definable group.
Is this really a property of groups?
Conjecture
If X is an interpretable set in an o-minimal structure M, then there is anM-definable bijection to a definable set.
Unfortunately, this is false. . .
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 4 / 13
![Page 11: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/11.jpg)
A natural question to ask
Theorem (Ramakrishnan, Peterzil, Eleftheriou)
Let G be an interpretable group in an o-minimal structure M. Then G isM-definably isomorphic to a definable group.
Is this really a property of groups?
Conjecture
If X is an interpretable set in an o-minimal structure M, then there is anM-definable bijection to a definable set.
Unfortunately, this is false. . .
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 4 / 13
![Page 12: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/12.jpg)
A natural question to ask
Theorem (Ramakrishnan, Peterzil, Eleftheriou)
Let G be an interpretable group in an o-minimal structure M. Then G isM-definably isomorphic to a definable group.
Is this really a property of groups?
Conjecture
If X is an interpretable set in an o-minimal structure M, then there is anM-definable bijection to a definable set.
Unfortunately, this is false. . .
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 4 / 13
![Page 13: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/13.jpg)
A natural question to ask
Theorem (Ramakrishnan, Peterzil, Eleftheriou)
Let G be an interpretable group in an o-minimal structure M. Then G isM-definably isomorphic to a definable group.
Is this really a property of groups?
Conjecture
If X is an interpretable set in an o-minimal structure M, then there is anM-definable bijection to a definable set.
Unfortunately, this is false. . .
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 4 / 13
![Page 14: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/14.jpg)
My counterexample
Consider M = (R, <,∼) where the relation
(x , y) ∼z (x ′, y ′)
means. . .
z < {x , y , x ′, y ′} < z + π
and
cot(x − z)− cot(y − z) = cot(x ′ − z)− cot(y ′ − z)
Morally, M is the universal cover of the real projective line.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 5 / 13
![Page 15: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/15.jpg)
My counterexample
Consider M = (R, <,∼) where the relation
(x , y) ∼z (x ′, y ′)
means. . .z < {x , y , x ′, y ′} < z + π
and
cot(x − z)− cot(y − z) = cot(x ′ − z)− cot(y ′ − z)
Morally, M is the universal cover of the real projective line.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 5 / 13
![Page 16: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/16.jpg)
My counterexample
Consider M = (R, <,∼) where the relation
(x , y) ∼z (x ′, y ′)
means. . .z < {x , y , x ′, y ′} < z + π
and
cot(x − z)− cot(y − z) = cot(x ′ − z)− cot(y ′ − z)
Morally, M is the universal cover of the real projective line.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 5 / 13
![Page 17: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/17.jpg)
Properties of M
M is o-minimal
The map x 7→ x + π is definable
For each a ∈ R, the relation ∼a is an equivalence relation on(a, a + π)2.
Aut(M) acts transitively on M
For any a ∈ R, dcl(a) = a + Z · π.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 6 / 13
![Page 18: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/18.jpg)
Properties of M
M is o-minimal
The map x 7→ x + π is definable
For each a ∈ R, the relation ∼a is an equivalence relation on(a, a + π)2.
Aut(M) acts transitively on M
For any a ∈ R, dcl(a) = a + Z · π.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 6 / 13
![Page 19: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/19.jpg)
Properties of M
M is o-minimal
The map x 7→ x + π is definable
For each a ∈ R, the relation ∼a is an equivalence relation on(a, a + π)2.
Aut(M) acts transitively on M
For any a ∈ R, dcl(a) = a + Z · π.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 6 / 13
![Page 20: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/20.jpg)
Properties of M
M is o-minimal
The map x 7→ x + π is definable
For each a ∈ R, the relation ∼a is an equivalence relation on(a, a + π)2.
Aut(M) acts transitively on M
For any a ∈ R, dcl(a) = a + Z · π.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 6 / 13
![Page 21: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/21.jpg)
Properties of M
M is o-minimal
The map x 7→ x + π is definable
For each a ∈ R, the relation ∼a is an equivalence relation on(a, a + π)2.
Aut(M) acts transitively on M
For any a ∈ R, dcl(a) = a + Z · π.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 6 / 13
![Page 22: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/22.jpg)
Automorphisms of M
Lemma
Aut(M/ dcl(0)) is isomorphic to the group A of affine transformations
x 7→ ax + b with a > 0.
The non-singleton orbits of Aut(M/ dcl(0)) are exactly the openintervals (nπ, (n + 1)π).
Each orbit is A-isomorphic to the affine line via cot(−).
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 7 / 13
![Page 23: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/23.jpg)
Automorphisms of M
Lemma
Aut(M/ dcl(0)) is isomorphic to the group A of affine transformations
x 7→ ax + b with a > 0.
The non-singleton orbits of Aut(M/ dcl(0)) are exactly the openintervals (nπ, (n + 1)π).
Each orbit is A-isomorphic to the affine line via cot(−).
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 7 / 13
![Page 24: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/24.jpg)
Automorphisms of M
Lemma
Aut(M/ dcl(0)) is isomorphic to the group A of affine transformations
x 7→ ax + b with a > 0.
The non-singleton orbits of Aut(M/ dcl(0)) are exactly the openintervals (nπ, (n + 1)π).
Each orbit is A-isomorphic to the affine line via cot(−).
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 7 / 13
![Page 25: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/25.jpg)
Failure of EI
We can identify the quotient of ∼0 with R, via
(x , y) 7→ cot(x)− cot(y)
Under this identification, an affine transformation x 7→ ax + b acts bymultiplication by a.
Any ∼0-equivalence class is fixed by translations, but most aren’tfixed by scalings.
No tuple from the home sort has this property.
Corollary
Most ∼0-equivalence classes can’t be coded by reals, so M doesn’teliminate imaginaries.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 8 / 13
![Page 26: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/26.jpg)
Failure of EI
We can identify the quotient of ∼0 with R, via
(x , y) 7→ cot(x)− cot(y)
Under this identification, an affine transformation x 7→ ax + b acts bymultiplication by a.
Any ∼0-equivalence class is fixed by translations, but most aren’tfixed by scalings.
No tuple from the home sort has this property.
Corollary
Most ∼0-equivalence classes can’t be coded by reals, so M doesn’teliminate imaginaries.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 8 / 13
![Page 27: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/27.jpg)
Failure of EI
We can identify the quotient of ∼0 with R, via
(x , y) 7→ cot(x)− cot(y)
Under this identification, an affine transformation x 7→ ax + b acts bymultiplication by a.
Any ∼0-equivalence class is fixed by translations, but most aren’tfixed by scalings.
No tuple from the home sort has this property.
Corollary
Most ∼0-equivalence classes can’t be coded by reals, so M doesn’teliminate imaginaries.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 8 / 13
![Page 28: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/28.jpg)
Failure of EI
We can identify the quotient of ∼0 with R, via
(x , y) 7→ cot(x)− cot(y)
Under this identification, an affine transformation x 7→ ax + b acts bymultiplication by a.
Any ∼0-equivalence class is fixed by translations, but most aren’tfixed by scalings.
No tuple from the home sort has this property.
Corollary
Most ∼0-equivalence classes can’t be coded by reals, so M doesn’teliminate imaginaries.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 8 / 13
![Page 29: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/29.jpg)
Failure of EI
We can identify the quotient of ∼0 with R, via
(x , y) 7→ cot(x)− cot(y)
Under this identification, an affine transformation x 7→ ax + b acts bymultiplication by a.
Any ∼0-equivalence class is fixed by translations, but most aren’tfixed by scalings.
No tuple from the home sort has this property.
Corollary
Most ∼0-equivalence classes can’t be coded by reals, so M doesn’teliminate imaginaries.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 8 / 13
![Page 30: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/30.jpg)
Naming parameters doesn’t help
Fact
We can lay two copies of M “end to end,” getting a structure M1 ∪M2.Then:
M1 � M1 ∪M2 � M2
Aut(M1 ∪M2) ∼= Aut(M1)× Aut(M2).
If all quotients could be eliminated by naming parameters, the structureM1 ∪M2 would have elimination of imaginaries after naming all elementsof M2. But then
Aut(M1 ∪M2/M2) = Aut(M1)
and we can still run the automorphisms argument in M1.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 9 / 13
![Page 31: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/31.jpg)
Naming parameters doesn’t help
Fact
We can lay two copies of M “end to end,” getting a structure M1 ∪M2.Then:
M1 � M1 ∪M2 � M2
Aut(M1 ∪M2) ∼= Aut(M1)× Aut(M2).
If all quotients could be eliminated by naming parameters, the structureM1 ∪M2 would have elimination of imaginaries after naming all elementsof M2. But then
Aut(M1 ∪M2/M2) = Aut(M1)
and we can still run the automorphisms argument in M1.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 9 / 13
![Page 32: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/32.jpg)
Naming parameters doesn’t help
Fact
We can lay two copies of M “end to end,” getting a structure M1 ∪M2.Then:
M1 � M1 ∪M2 � M2
Aut(M1 ∪M2) ∼= Aut(M1)× Aut(M2).
If all quotients could be eliminated by naming parameters, the structureM1 ∪M2 would have elimination of imaginaries after naming all elementsof M2. But then
Aut(M1 ∪M2/M2) = Aut(M1)
and we can still run the automorphisms argument in M1.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 9 / 13
![Page 33: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/33.jpg)
Naming parameters doesn’t help
Fact
We can lay two copies of M “end to end,” getting a structure M1 ∪M2.Then:
M1 � M1 ∪M2 � M2
Aut(M1 ∪M2) ∼= Aut(M1)× Aut(M2).
If all quotients could be eliminated by naming parameters, the structureM1 ∪M2 would have elimination of imaginaries after naming all elementsof M2. But then
Aut(M1 ∪M2/M2) = Aut(M1)
and we can still run the automorphisms argument in M1.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 9 / 13
![Page 34: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/34.jpg)
Interpretable sets aren’t always definable
Proposition (J.)
There is an o-minimal structure M and an interpretable set X in M whichcannot be put in M-definable bijection with an M-definable set.
Tracing through the proof, X is actually the quotient of
{(x , y , z) : x < y < x + π, x < z < x + π}
by the equivalence relation
(x , y , z) ≈ (x ′, y ′, z ′) ⇐⇒(x = x ′ and (y , z) ∼x (y ′, z ′)
).
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 10 / 13
![Page 35: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/35.jpg)
Interpretable sets aren’t always definable
Proposition (J.)
There is an o-minimal structure M and an interpretable set X in M whichcannot be put in M-definable bijection with an M-definable set.
Tracing through the proof, X is actually the quotient of
{(x , y , z) : x < y < x + π, x < z < x + π}
by the equivalence relation
(x , y , z) ≈ (x ′, y ′, z ′) ⇐⇒(x = x ′ and (y , z) ∼x (y ′, z ′)
).
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 10 / 13
![Page 36: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/36.jpg)
What can be said about interpretable sets?
Invariants of definable sets can be extended:
Dimension theory (Peterzil)Euler characteristic (Kamenkovich and Peterzil)
Interpretable sets can be definably topologized.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 11 / 13
![Page 37: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/37.jpg)
What can be said about interpretable sets?
Invariants of definable sets can be extended:
Dimension theory (Peterzil)Euler characteristic (Kamenkovich and Peterzil)
Interpretable sets can be definably topologized.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 11 / 13
![Page 38: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/38.jpg)
What can be said about interpretable sets?
Invariants of definable sets can be extended:
Dimension theory (Peterzil)Euler characteristic (Kamenkovich and Peterzil)
Interpretable sets can be definably topologized.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 11 / 13
![Page 39: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/39.jpg)
Topologizing interpretable sets
Fix M a dense o-minimal structure.
Theorem
Let Y ⊂ Mn be definable, and E be a definable equivalence relation on Y .Then there is Y ′ ⊂ Y definable, such that
The quotient topology on Y ′/E is definable, Hausdorff, regular, and“locally Euclidean.”
dim(Y \ Y ′) < dim(Y )
For any Y ′′ ⊂ Y ′, the quotient topology on Y ′′/E is the subspacetopology of that on Y ′/E .
All these properties remain true in elementary extensions of M.
By recursively handling (Y \ Y ′)/E , one can topologize Y /E as an“interpretable manifold” with finitely many connected components.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 12 / 13
![Page 40: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/40.jpg)
Topologizing interpretable sets
Fix M a dense o-minimal structure.
Theorem
Let Y ⊂ Mn be definable, and E be a definable equivalence relation on Y .Then there is Y ′ ⊂ Y definable, such that
The quotient topology on Y ′/E is definable, Hausdorff, regular, and“locally Euclidean.”
dim(Y \ Y ′) < dim(Y )
For any Y ′′ ⊂ Y ′, the quotient topology on Y ′′/E is the subspacetopology of that on Y ′/E .
All these properties remain true in elementary extensions of M.
By recursively handling (Y \ Y ′)/E , one can topologize Y /E as an“interpretable manifold” with finitely many connected components.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 12 / 13
![Page 41: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/41.jpg)
Topologizing interpretable sets
Fix M a dense o-minimal structure.
Theorem
Let Y ⊂ Mn be definable, and E be a definable equivalence relation on Y .Then there is Y ′ ⊂ Y definable, such that
The quotient topology on Y ′/E is definable, Hausdorff, regular, and“locally Euclidean.”
dim(Y \ Y ′) < dim(Y )
For any Y ′′ ⊂ Y ′, the quotient topology on Y ′′/E is the subspacetopology of that on Y ′/E .
All these properties remain true in elementary extensions of M.
By recursively handling (Y \ Y ′)/E , one can topologize Y /E as an“interpretable manifold” with finitely many connected components.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 12 / 13
![Page 42: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/42.jpg)
Topologizing interpretable sets
Fix M a dense o-minimal structure.
Theorem
Let Y ⊂ Mn be definable, and E be a definable equivalence relation on Y .Then there is Y ′ ⊂ Y definable, such that
The quotient topology on Y ′/E is definable, Hausdorff, regular, and“locally Euclidean.”
dim(Y \ Y ′) < dim(Y )
For any Y ′′ ⊂ Y ′, the quotient topology on Y ′′/E is the subspacetopology of that on Y ′/E .
All these properties remain true in elementary extensions of M.
By recursively handling (Y \ Y ′)/E , one can topologize Y /E as an“interpretable manifold” with finitely many connected components.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 12 / 13
![Page 43: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/43.jpg)
Topologizing interpretable sets
Fix M a dense o-minimal structure.
Theorem
Let Y ⊂ Mn be definable, and E be a definable equivalence relation on Y .Then there is Y ′ ⊂ Y definable, such that
The quotient topology on Y ′/E is definable, Hausdorff, regular, and“locally Euclidean.”
dim(Y \ Y ′) < dim(Y )
For any Y ′′ ⊂ Y ′, the quotient topology on Y ′′/E is the subspacetopology of that on Y ′/E .
All these properties remain true in elementary extensions of M.
By recursively handling (Y \ Y ′)/E , one can topologize Y /E as an“interpretable manifold” with finitely many connected components.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 12 / 13
![Page 44: Interpretable sets in o-minimal structureswillij/drafts/slides.pdfTheorem (Ramakrishnan, Peterzil, Eleftheriou) Let G be an interpretable group in an o-minimal structure M. Then G](https://reader033.fdocuments.net/reader033/viewer/2022042002/5e6e2a99bf24791ca24ce729/html5/thumbnails/44.jpg)
References
Will Johnson. A pathological o-minimal quotient.arXiv:1404.3175v1 [math.LO], 2014.
Sofya Kamenkovich and Ya’acov Peterzil. Euler characteristic ofimaginaries in o-minimal structures, 2014.
Janak Ramakrishnan, Ya’acov Peterzil, and Pantelis Eleftheriou.Interpretable groups are definable. arXiv:1110.6581v1 [math.LO],2011.
Will Johnson Interpretable sets in o-minimal structures March 27, 2015 13 / 13