El corazón lgaloisiano
Transcript of El corazón lgaloisiano
![Page 1: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/1.jpg)
r
El corazón lgaloisiano) deuna Clase Elemental Abstracta .
Andrej Villaveces
Dept . Maten .Sept . 2021STCR
Univ . Nacional
de Colombia
![Page 2: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/2.jpg)
Hrushovski
teoría" "" " "
¿a. ↳ ¡ g
_"
P"
.
1. {#Autumn"" ! !!!!MFT
modelo grande
![Page 3: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/3.jpg)
1. Teoría de Galois modelo - teórica (1)
Galois.
Shelah . D. izat - . . .
2. Contextos modelo - teóricos
(de f- a 4)3. Teoría de Galois modelo
. teórica (2)
Hrushorskiyel COIYE
azón
![Page 4: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/4.jpg)
1. Teoría de Galois modelo - teórica (1)
Galois.
Shelah . D. izat - MedvedevTakao
Bighaih
sístole diástole
¥ ?.
.
Autlf"'/K )
/:HEE]i.Flrn) -
- - \ Í\ /
F A- HFIK )'K
![Page 5: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/5.jpg)
~ 1980 : Shelah define los imaginariosde una teoría arbitraria ( 1er orden ) T :
clases de equivalencia de f-nioes.de/-ii-bbsM
% = { se MIAEB }
y/ a. b) ⇐ a Fb
5. Shelah - 2016
![Page 6: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/6.jpg)
1983 : Poizat nota quelos imaginarios
de Shelah son exactamente lo
necesariopara una teoría de Galois
general :
Bruno Poizat( 1970,1
![Page 7: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/7.jpg)
Poizat :¡ la demostración
modelo _ teórica
es MUCHO MÁS CERCANA
de las [ indicaciones de) prueba
de los manuscritos de Galois ! ! !
• ¿ En qué sentido ?• ¿ Y qué rol juega
la topología ?
![Page 8: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/8.jpg)
• A. Medvedev,
R .
Takloo - Big hash :An Invitation to Model - Theonelic Galois Th .
2010
T ACF ( cuerposalg . cerradas )
IMET ( €,
+, ;°
,
' )(nuf . ) saturado
cr < m F E E
![Page 9: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/9.jpg)
T
yA" EJE.es)
MET(" f.) saturado
( €,
+, ;°
,1)
""f" F,no
µ grado de éxt . gmdo ('%) I
FU Aut (1) A- 1- ( F.)
fg ext.
NORMAL de R F,ext
.
NORMAL de Fde RUPTURA de RUPTURA
![Page 10: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/10.jpg)
T
y" ' 'I.en )
G. f.) ?ÍÍ( E. + . ; : , )cramfa.EU
↳grado de éxt . grado ( FY, )
F
Iv I
U Aut (1) Y A- 1- ( F.) Fgo.yyqyganqa.yyqyy.ae#↳ Y Q (normal ) ! ( normal ) LZF
Gdlsrtrl 1 " L GIIYFI/ / \ V1
V1 dualidad•
Í/Í Í . dnaliiaad
fndai.mil'
¡§-- - fndaimahl H
: '
É'
I
i
![Page 11: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/11.jpg)
¿ Qué se pierde ?•IL podría no tener
símb.de f-noiín !
• Polinomios uns Fórmulas
R . si elin.
• & no lnec .) es sp .
veat. µ
c-anlif . /
• grado de extensión puede no
estar dado p. _ dimensión vectorial
• No hay normas, trazas,de terminales
![Page 12: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/12.jpg)
•MET ' - f. saturado
. ylxig ) L - fila ; b ahr es solución
de yla.gl si ME yla , b) .• ad
,
dd
b c- al (A) si orb (4) esFifa
. .. grado de % = | . - b / HAY
![Page 13: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/13.jpg)
Mfr es extensión finita de 9
sisi
la
"
J b ty.la de tornado )
t.q.fr cálidos )• & es normal /y ni
orb / %) a lo VCEB
![Page 14: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/14.jpg)
• tres de ruptura de irrlb/A) sobre 4
ni orblblu) C B
B c ddlcruorb ( Yn ) )
Énruptn la
•
nos trae fin .
⇒ grado a) = grado/ %) . grado /%)
![Page 15: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/15.jpg)
- Si T codifica hoy: fiiksC = dd (C) en est . normal de d
"
della)
6=1--1-1%1Extensiones
⇒ Subgr . def . cerradasde intermedias
a a
h N
" Fixer :{ v.el !}H Gal
![Page 16: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/16.jpg)
esto es
"" "
¡" ""
de 1- pls sijusto elROL de
los polinomios✓n EN simétricos . . .
V. FCM"
t.it.3- b / V-rc-A.tl]Ir (F) = F
![Page 17: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/17.jpg)
Inspiración
L
Poizat
Shelah
![Page 18: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/18.jpg)
2. Contextos modelo - teóricos
(de f- a < )Shelah ' 80 | teorías de teorías estables ( Sh)Poizat
'
83 primer orden teorías simples ( KP)con"
elin.
de imaginarios" LASCAR ( 80 's)
señala la importan.buen control de amalgamaCia de la
de conj . dentrodel
"
universal"
:
TOPOLOGIA
![Page 19: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/19.jpg)
geometría- dualidadAEC
Hrnhonki
de?
Galois
bien : teorías estables,. . . simples ( Kin - Pillay)
amalgama de conjuntos biencontrolado
mejor corr . de Galois :cocientes
por rdsdeeq . que sonintersecciones de definibles
![Page 20: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/20.jpg)
Laser
A.tl/MYpGias-(Autl'%.))candidato
a Noam Daniel LASCAR
mejor grupo Mopeq .
de
Galois problema : ¡ no tiene la topologíaadecuada !
![Page 21: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/21.jpg)
Un resultadoprecursor
sobre la acción
delgrupo
de laser
A.tw/AutftH-.LFixM.yMohlMS1Plal-p.logia--es reducible al
álgebra
![Page 22: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/22.jpg)
Izán :
(t.GL .)definibilidad(simetría)-
"
pols : .
COR ' control
geometría aúnde
de Hrushovskila acción de órbitasG A
. . .
![Page 23: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/23.jpg)
T primer ordenf-
defT {Robinson
t.exist . cerrada y
[E. á)( lógica positiva )
k clase elt . abstracta tips orbitales( Galois )
p topología yddjúbilidad ASIMÉTRICA
![Page 24: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/24.jpg)
3. Teoría de Galois modelo. teórica (2)
Hrushorskiyel COIYE
azón
![Page 25: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/25.jpg)
tips de TT
~
ultmfiltvs en Lin (T )I"
SCT) = esp.de Stone de T
refleja MAL la geometría2( are ( T )
"
an alternative Galois gwup cawúcallyassociated with T
,that in corporales Glas
"
![Page 26: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/26.jpg)
Morley : SCM ) para modelos MFTsi refleja informaciónde la teoría T
↳ w - estabilidad, rango
de MorleyShelah : localizar los
osp .SCMI
→ SGCMItlrushouski
propone
enriquecer los SCM) en un lenguajeLdef
![Page 27: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/27.jpg)
que capta los patrones de
definibilidadde los [etifiltn) de T en M
órbitas
cerrados básicos = definibles en L
Cone ( T ) = es
p.de patrones Univ . de T
![Page 28: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/28.jpg)
" "
Greci )↳
SCM ,y
↳☒ Kg SCM a)
¡↳
patrones dedef . de T→¿ qué tan Loca ,es una órbita ?
![Page 29: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/29.jpg)
G =Auf ( Core (T ) ) I Co -ect )
acción en una
geometría que hereda] = Core ( T)propiedades de T
es compactopero
no nec . de Hausdorff es
compactode
ly = % Handott✗infinitesimalesde G
![Page 30: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/30.jpg)
La acción de Auf (M ) robe ] ,
| elwreaá.
Cuasi
cuasi acciín :
¢ : G → H : K
cuasi homomorfismo con resp.a KCH (error)
✗ ( n) = ITuring'
38
✗ ( xylc-plxspq.sktlxiyfh
la fiil.)Kazhdan
- G amenable
![Page 31: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/31.jpg)
Un Corfú, pm T
es una L - esto .J y.
• V-M-i-Mla.iei.sin /i.fi/Yii.:7j:-→ SCMIg-
• Jj :] → SCMITr: SCM-s-skoj.ie,)
![Page 32: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/32.jpg)
ü i.HA*base de %
.w%
'
:
pieles paratodos ↳ SCM ) MEK
![Page 33: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/33.jpg)
• DefiúbilidadSimétrica
•
Corr.
de Galois
•Normalidad de extensiones
• Amalgama ( depende )• lazo : ✗ = 1K¥ )
cuariniuinal
![Page 34: El corazón lgaloisiano](https://reader036.fdocuments.ec/reader036/viewer/2022072118/62d8a771db45916faa69a5a8/html5/thumbnails/34.jpg)
I mil
gracias !