Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
negli anelli di
Bhargava
Giorgio
Introduzione
Localizzazioni
Giorgio Scattareggia
giorgio.scattareggia@yahoo.it
Spettro
primo di
Bx ( )
Spettro
primo di
Bx ( )
Giorgio (UniRomaTre)
17 Maggio 2012
1 / 15
Giorgio
Introduzione
Introduzione
Localizzazioni
Localizzazioni
Spettro
primo di
Bx ( )
Spettro primo di
Bx (D )
Spettro primo di
Bx (V )
Giorgio (UniRomaTre)
Spettro
primo di
Bx ( )
17 Maggio 2012
2 / 15
D
K,
si denisce
il dominio
Ideali primi
negli anelli di
Bhargava
Giorgio
D ) = {f K [X ] | f (a) D a D } .
Int(
Introduzione
Localizzazioni
x D , si denisce anello
all'elemento x il dominio
Fissato un elemento
su
relativo
di Bhargava
Spettro
primo di
Bx ( )
Bx (D ) := {f K [X ] | f (xX + a) D [X ] a D } .
Spettro
primo di
Bx ( )
Osservazione
Discende immediatamente dalla denizione che
D [X ] Bx (D ) Int(D ) K [X ] .
Giorgio (UniRomaTre)
17 Maggio 2012
3 / 15
D
K,
si denisce
il dominio
Ideali primi
negli anelli di
Bhargava
Giorgio
D ) = {f K [X ] | f (a) D a D } .
Int(
Introduzione
Localizzazioni
x D , si denisce anello
all'elemento x il dominio
Fissato un elemento
su
relativo
di Bhargava
Spettro
primo di
Bx ( )
Bx (D ) := {f K [X ] | f (xX + a) D [X ] a D } .
Spettro
primo di
Bx ( )
Osservazione
Discende immediatamente dalla denizione che
D [X ] Bx (D ) Int(D ) K [X ] .
Giorgio (UniRomaTre)
17 Maggio 2012
3 / 15
Le origini di Int(D )
I polinomi a valori interi sono noti ai
Ideali primi
negli anelli di
Bhargava
Giorgio
Introduzione
Localizzazioni
Spettro
primo di
Bx ( )
Spettro
primo di
Bx ( )
Giorgio (UniRomaTre)
17 Maggio 2012
4 / 15
Il dominio Int(
di
x D ),
Bx (D )
(al variare
Ideali primi
negli anelli di
Bhargava
Giorgio
D) =
[
06=x D
Bx (D ) ,
Introduzione
Localizzazioni
D ).
Spettro
primo di
Bx ( )
Int(
Tuttavia, generalmente
Bx (D )
Bx (D ) =
aD
D ).
X a
D
x
Bx ( )
Ad esempio
D ), Bx (D )
Spettro
primo di
non mai un
dominio di Prfer.
Giorgio (UniRomaTre)
17 Maggio 2012
5 / 15
Il dominio Int(
di
x D ),
Bx (D )
(al variare
Ideali primi
negli anelli di
Bhargava
Giorgio
D) =
[
06=x D
Bx (D ) ,
Introduzione
Localizzazioni
D ).
Spettro
primo di
Bx ( )
Int(
Tuttavia, generalmente
Bx (D )
Bx (D ) =
aD
D ).
X a
D
x
Bx ( )
Ad esempio
D ), Bx (D )
Spettro
primo di
non mai un
dominio di Prfer.
Giorgio (UniRomaTre)
17 Maggio 2012
5 / 15
D [X ]
Bx (D )
D ).
Giorgio
D)
Bx (D )
Introduzione
ben
V.
Bx (V )
Int(V )
Ideali primi
negli anelli di
Bhargava
un dominio
D ),
Bx (D )
D)
Bx (D )
Localizzazioni
Spettro
primo di
Bx ( )
Spettro
primo di
Bx ( )
e visto
Bx (D )
D ).
17 Maggio 2012
6 / 15
Localizzazioni
In generale, se
D,
vale l'inclusione
Giorgio
S 1 Bx (D ) Bx (S 1 D ) .
Inoltre, se
P Spec(D )
x
/P
oppure
valgono le uguaglianze
D
P
Introduzione
Localizzazioni
innito, allora
x P
Spettro
primo di
Bx ( )
Spettro
primo di
Bx (D )P = Bx (DP ) = DP [X ] .
D'altra parte, se
Ideali primi
negli anelli di
Bhargava
Bx ( )
(x ) nito, allora
Bx (D ) * DP [X ].
Il caso
x P , (Dx )
Giorgio (UniRomaTre)
innito e
D
P
17 Maggio 2012
7 / 15
Bx (D )
garantiscono il seguente
Teorema
Q Spec(Bx (D )) ,
Q D =P
Q
Giorgio
Introduzione
Localizzazioni
Spettro
primo di
Bx ( )
Spettro
primo di
In particolare, l'applicazione
Ideali primi
negli anelli di
Bhargava
Bx ( )
J Spec(D [X ]) ,
J D =P
Q D [X ]
17 Maggio 2012
8 / 15
D [X ]
ed un elemento
di
in
Giorgio
Pa [X ] := {f (X ) Bx (D ) | f (xX + a) P [X ]} ,
M(P ,) , a := {f (X ) Bx (D ) | f (xX + a) (P , )}
sono particolari
Ideali primi
negli anelli di
Bhargava
Introduzione
Localizzazioni
Spettro
primo di
Bx ( )
Spettro
primo di
Bx ( )
Si pu dimostrare che
Pa [X ] M(P ,) , a
e che
M(P ,) , a
contraggono su
P.
Giorgio (UniRomaTre)
Bx (D )
che si
17 Maggio 2012
9 / 15
un dominio generico,
non tuttora nota. Gli unici risultati certi sono le due stime:
1
+ dim D dim(Int(D ))
dim
Giorgio
Introduzione
D [X ] 1 dim(Int(D ))
Ideali primi
negli anelli di
Bhargava
Localizzazioni
Spettro
primo di
Bx ( )
Spettro
primo di
D )) dim D [X ] .
Bx ( )
dim(Int(
D,
ad esempio per i
Giorgio (UniRomaTre)
17 Maggio 2012
10 / 15
La dimensione di Krull di Bx (D )
Anche per quanto riguarda
Bx (D )
Ideali primi
negli anelli di
Bhargava
M(P ,) , a
1
Introduzione
+ dim D dim Bx (D )
dim
Giorgio
Pa [X ]
Localizzazioni
D [X ] 1 dim Bx (D )
Spettro
primo di
Bx ( )
D ).
D)
Spettro
primo di
Bx (D )
Bx ( )
e i
D)
Bx (D ).
Bx (D )
dimensione di Int(
Giorgio (UniRomaTre)
D ).
Ideali primi negli anelli di Bhargava
17 Maggio 2012
11 / 15
La dimensione di Krull di Bx (D )
Anche per quanto riguarda
Bx (D )
Ideali primi
negli anelli di
Bhargava
M(P ,) , a
1
Introduzione
+ dim D dim Bx (D )
dim
Giorgio
Pa [X ]
Localizzazioni
D [X ] 1 dim Bx (D )
Spettro
primo di
Bx ( )
D ).
D)
Spettro
primo di
Bx (D )
Bx ( )
e i
D)
Bx (D ).
Bx (D )
dimensione di Int(
Giorgio (UniRomaTre)
D ).
Ideali primi negli anelli di Bhargava
17 Maggio 2012
11 / 15
V;
Bx (V )
{fn }
di
Bx (V )
Ideali primi
negli anelli di
Bhargava
Giorgio
su
una
V -algebra
nita, in particolare
Bx (V )
un
dominio noetheriano;
lo spettro primo di
Bx (V )
la dimensione di Krull di
Localizzazioni
Spettro
primo di
noto;
Bx (V )
Introduzione
Bx ( )
2.
Spettro
primo di
Bx ( )
Osservazione
Il dominio
poich Int(
di Prfer,
Giorgio (UniRomaTre)
D.
17 Maggio 2012
12 / 15
V;
Bx (V )
{fn }
di
Bx (V )
Ideali primi
negli anelli di
Bhargava
Giorgio
su
una
V -algebra
nita, in particolare
Bx (V )
un
dominio noetheriano;
lo spettro primo di
Bx (V )
la dimensione di Krull di
Localizzazioni
Spettro
primo di
noto;
Bx (V )
Introduzione
Bx ( )
2.
Spettro
primo di
Bx ( )
Osservazione
Il dominio
poich Int(
di Prfer,
Giorgio (UniRomaTre)
D.
17 Maggio 2012
12 / 15
Bx (V )
V
di
sono
Giorgio
Teorema
Ideali primi
negli anelli di
Bhargava
Introduzione
Localizzazioni
Spettro
primo di
Bx ( )
Spettro
primo di
Bx ( )
17 Maggio 2012
13 / 15
Bx (V )
che si contraggono su
(0)
in
sono
noti dalla teoria sui domini di polinomi: tali sono tutti e soli gli
ideali della forma
Ideali primi
negli anelli di
Bhargava
Giorgio
Introduzione
Pg = gK [X ] Bx (V ) ,
dove
irriducibile in
K [X ].
Localizzazioni
un polinomio
Spettro
primo di
Bx ( )
Spettro
primo di
Bx ( )
Osservazione
Resta da mostrare sotto quali condizioni si vericano inclusioni
del tipo
Pg M(M ,) , a .
Giorgio (UniRomaTre)
17 Maggio 2012
14 / 15
Bx (V )
che si contraggono su
(0)
in
sono
noti dalla teoria sui domini di polinomi: tali sono tutti e soli gli
ideali della forma
Ideali primi
negli anelli di
Bhargava
Giorgio
Introduzione
Pg = gK [X ] Bx (V ) ,
dove
irriducibile in
K [X ].
Localizzazioni
un polinomio
Spettro
primo di
Bx ( )
Spettro
primo di
Bx ( )
Osservazione
Resta da mostrare sotto quali condizioni si vericano inclusioni
del tipo
Pg M(M ,) , a .
Giorgio (UniRomaTre)
17 Maggio 2012
14 / 15
Pg
M(M ,) , a
g.
Infatti,
vale il seguente
Ideali primi
negli anelli di
Bhargava
Giorgio
Teorema
Introduzione
Localizzazioni
Spettro
primo di
Bx ( )
Spettro
primo di
Bx ( )
Corollario
17 Maggio 2012
15 / 15
Pg
M(M ,) , a
g.
Infatti,
vale il seguente
Ideali primi
negli anelli di
Bhargava
Giorgio
Teorema
Introduzione
Localizzazioni
Spettro
primo di
Bx ( )
Spettro
primo di
Bx ( )
Corollario
17 Maggio 2012
15 / 15