Sei sulla pagina 1di 21

Ideali primi

negli anelli di
Bhargava
Giorgio

Ideali primi negli anelli di Bhargava

Introduzione
Localizzazioni

Giorgio Scattareggia

giorgio.scattareggia@yahoo.it

Spettro
primo di

Bx ( )
Spettro
primo di

Bx ( )

Universit di Roma Tre


17 Maggio 2012

Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

1 / 15

Piano della presentazione


Ideali primi
negli anelli di
Bhargava

Giorgio

Introduzione
Introduzione
Localizzazioni

Localizzazioni

Spettro
primo di

Bx ( )

Spettro primo di

Bx (D )

Spettro primo di

Bx (V )

Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

Spettro
primo di

Bx ( )

17 Maggio 2012

2 / 15

Cos' un Anello di Bhargava?


Dato un dominio

con campo dei quozienti

anello dei polinomi a valori interi su

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)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

3 / 15

Cos' un Anello di Bhargava?


Dato un dominio

con campo dei quozienti

anello dei polinomi a valori interi su

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)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

3 / 15

Le origini di Int(D )
I polinomi a valori interi sono noti ai

Ideali primi
negli anelli di
Bhargava

matematici sin dalla seconda met del


XVII secolo. Lo stesso Isaac Newton ne
fa uso per la risoluzione interpolativa
delle equazioni algebriche.

Giorgio
Introduzione
Localizzazioni
Spettro
primo di

Bx ( )

Tuttavia, lo studio di tali polinomi viene approfondito solo a


partire dal 1919, quando G. Plia e A. Ostrowski iniziano ad

Spettro
primo di

Bx ( )

indagare sulla struttura algebrica dell'insieme da essi costituito.


Gli anelli di Bhargava vengono introdotti da Manjul Bhargava
nel 2000: sono oggetti matematici molto pi recenti rispetto ai
polinomi a valori interi.

Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

4 / 15

Gli anelli di Bhargava come strumento per lo studio


di Int(D )
D)

Il dominio Int(
di

x D ),

e gli anelli di Bhargava,

Bx (D )

(al variare

godono di una parentela molto stretta. Infatti, si

Ideali primi
negli anelli di
Bhargava

dimostra facilmente che


Int(

Giorgio

D) =

[
06=x D

Bx (D ) ,

Introduzione
Localizzazioni

dunque, gli anelli di Bhargava formano un ricoprimento di

D ).

Spettro
primo di

Bx ( )

Int(

Tuttavia, generalmente

Bx (D )

presenta una struttura algebrica

pi elementare rispetto a quella di Int(


dall'identit

Bx (D ) =

aD

D ).

X a
D
x


Bx ( )

Ad esempio

D ), Bx (D )

si osserva che, a dierenza di Int(

Spettro
primo di

non mai un

dominio di Prfer.
Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

5 / 15

Gli anelli di Bhargava come strumento per lo studio


di Int(D )
D)

Il dominio Int(
di

x D ),

e gli anelli di Bhargava,

Bx (D )

(al variare

godono di una parentela molto stretta. Infatti, si

Ideali primi
negli anelli di
Bhargava

dimostra facilmente che


Int(

Giorgio

D) =

[
06=x D

Bx (D ) ,

Introduzione
Localizzazioni

dunque, gli anelli di Bhargava formano un ricoprimento di

D ).

Spettro
primo di

Bx ( )

Int(

Tuttavia, generalmente

Bx (D )

presenta una struttura algebrica

pi elementare rispetto a quella di Int(


dall'identit

Bx (D ) =

aD

D ).

X a
D
x


Bx ( )

Ad esempio

D ), Bx (D )

si osserva che, a dierenza di Int(

Spettro
primo di

non mai un

dominio di Prfer.
Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

5 / 15

Gli anelli di Bhargava come strumento per lo studio


di Int(D )
In realt, per alcune importanti propriet di struttura sembra
che il dominio
polinomi

D [X ]

Bx (D )

si comporti in modo pi simile all'anello di

D ).

Giorgio

piuttosto che ad Int(

D)

Un caso in cui la distinzione tra i domini Int(

Bx (D )

Introduzione

ben

V.

visibile quello in cui tali domini sono deniti su un DVR


Nella parte nale della presentazione vedremo, infatti, che

Bx (V )
Int(V )

Ideali primi
negli anelli di
Bhargava

noetheriano non di Prfer, mentre


un dominio di Prfer non noetheriano.

un dominio

Pertanto, vista la stretta parentela tra Int(


che la struttura algebrica di
semplice di quella di Int(

D ),

studio dello spettro primo di

Bx (D )

D)

Bx (D )

Localizzazioni
Spettro
primo di

Bx ( )
Spettro
primo di

Bx ( )

e visto

in alcuni casi sembra pi

ragionevole supporre che lo

Bx (D )

possa fornire in futuro uno

D ).

strumento ulteriore per l'analisi dello spettro primo di Int(


Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

6 / 15

Localizzazioni
In generale, se

una qualsiasi parte moltiplicativa di

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

nito non tuttora noto.

Ideali primi negli anelli di Bhargava

17 Maggio 2012

7 / 15

Una corrispondenza biunivoca di ideali primi


I risultati sulle localizzazioni di

Bx (D )

garantiscono il seguente

Teorema

Sia P Spec(D ) e sia (P , ) un upper di P in D [X ]. Se x


/P
oppure se DP innito, allora
Q D [X ] = P [X ] Q = PDP [X ] Bx (D ),
Q D [X ] = (P , ) Q = (P , )DP [X ] Bx (D ).

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 ]

una corrispondenza biunivoca.


Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

8 / 15

Gli ideali primi Pa [X ] e M(P ,) , a


P Spec(D ), un upper (P , )
a D , i sottoinsiemi di Bx (D )

Fissati un ideale primo

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

ideali primi di Bx (D ) che si contraggono su P .

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

massimale tra gli ideali primi di

P.

Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

Bx (D )

che si

17 Maggio 2012

9 / 15

La dimensione di Krull di Int(D )


D ), dove D

La dimensione di Krull di Int(

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

Inoltre, vi una congettura ancora aperta secondo la quale

Bx ( )
Spettro
primo di

D )) dim D [X ] .

Bx ( )

dim(Int(

Al momento la precedente disuguaglianza stata dimostrata


solo per alcune importanti classi di domini

D,

ad esempio per i

domini noetheriani e per i domini di Prfer.

Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

10 / 15

La dimensione di Krull di Bx (D )
Anche per quanto riguarda

Bx (D )

Ideali primi
negli anelli di
Bhargava

nel caso generale la

dimensione di Krull non stata ancora determinata.

M(P ,) , a
1

Introduzione

si ottengono le due stime:

+ dim D dim Bx (D )

dim

Giorgio

Pa [X ]

Tuttavia, proprio grazie allo studio sugli ideali primi

Localizzazioni

D [X ] 1 dim Bx (D )

Spettro
primo di

Bx ( )

D ).

che sono del tutto equivalenti a quelle note per Int(


L'analogia tra i risultati sulla dimensione di Krull di

D)

risultati sulla dimensione di Krull di Int(

Spettro
primo di

Bx (D )

Bx ( )

e i

una delle prove pi

D)

evidenti del legame che intercorre tra i domini Int(

Bx (D ).

Si spera, perci, che una futura computazione della dimensione


di

Bx (D )

possa fornire dei risultati validi anche per la

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

nel caso generale la

dimensione di Krull non stata ancora determinata.

M(P ,) , a
1

Introduzione

si ottengono le due stime:

+ dim D dim Bx (D )

dim

Giorgio

Pa [X ]

Tuttavia, proprio grazie allo studio sugli ideali primi

Localizzazioni

D [X ] 1 dim Bx (D )

Spettro
primo di

Bx ( )

D ).

che sono del tutto equivalenti a quelle note per Int(


L'analogia tra i risultati sulla dimensione di Krull di

D)

risultati sulla dimensione di Krull di Int(

Spettro
primo di

Bx (D )

Bx ( )

e i

una delle prove pi

evidenti del legame che intercorre tra i domini Int(

D)

Bx (D ).

Si spera, perci, che una futura computazione della dimensione


di

Bx (D )

possa fornire dei risultati validi anche per la

dimensione di Int(
Giorgio (UniRomaTre)

D ).
Ideali primi negli anelli di Bhargava

17 Maggio 2012

11 / 15

Il caso in cui Bx (V ) denito su un DVR


Se

un DVR con campo residuo nito, allora:


si pu sempre costruire una base regolare

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

Bx (V ) si comporta in modo diverso da Int(V ),


V ) non noetheriano. Inoltre, Int(V ) un dominio
mentre Bx (D ) non mai un dominio di Prfer, a

poich Int(
di Prfer,

prescindere dalle condizioni sul dominio

Giorgio (UniRomaTre)

D.

Ideali primi negli anelli di Bhargava

17 Maggio 2012

12 / 15

Il caso in cui Bx (V ) denito su un DVR


Se

un DVR con campo residuo nito, allora:


si pu sempre costruire una base regolare

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

Bx (V ) si comporta in modo diverso da Int(V ),


V ) non noetheriano. Inoltre, Int(V ) un dominio
mentre Bx (D ) non mai un dominio di Prfer, a

poich Int(
di Prfer,

prescindere dalle condizioni sul dominio

Giorgio (UniRomaTre)

D.

Ideali primi negli anelli di Bhargava

17 Maggio 2012

12 / 15

Il caso in cui Bx (V ) denito su un DVR


Gli ideali primi di

Bx (V )

sopra l'ideale massimale

V
di

sono

descritti dal seguente

Giorgio

Teorema

Tutti e soli gli ideali primi di Bx (V ) sopra M appartengono alle


due seguenti famiglie:
1
per a V , gli ideali
Ma [X ] := {f (X ) Bx (V ) | f (xX + a) M [X ]}
2

Ideali primi
negli anelli di
Bhargava

sono primi di altezza 1;


V [X ], gli ideali
per a V , V [X ] irriducibile in M
M(M ,) , a := {f (X ) Bx (V ) | f (xX + a) (M , )}

Introduzione
Localizzazioni
Spettro
primo di

Bx ( )
Spettro
primo di

Bx ( )

sono primi di altezza 2, sono massimali e contengono uno


ed un solo ideale primo Ma [X ].
Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

13 / 15

Il caso in cui Bx (V ) denito su un DVR


Gli ideali primi di

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

il campo dei quozienti di

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)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

14 / 15

Il caso in cui Bx (V ) denito su un DVR


Gli ideali primi di

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

il campo dei quozienti di

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)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

14 / 15

Il caso in cui Bx (V ) denito su un DVR


Il contenimento di

Pg

in qualche ideale massimale

strettamente legato alla valutazione del polinomio

M(M ,) , a

g.

Infatti,

vale il seguente

Ideali primi
negli anelli di
Bhargava
Giorgio

Teorema

Introduzione

Sia g un polinomio irriducibile di K [X ]; allora


esiste un ideale M(M ,) , a tale che Pg M(M ,) , a se e
solo se
v (g (xX + a) g (a)) v (g (a)) .

Localizzazioni
Spettro
primo di

Bx ( )
Spettro
primo di

Bx ( )

Corollario

Sia g un polinomio irriducibile di K [X ]; allora Pg un ideale


massimale di Bx (V ) se e solo se
v (g (xX + a) g (a)) > v (g (a)) a V .
Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

15 / 15

Il caso in cui Bx (V ) denito su un DVR


Il contenimento di

Pg

in qualche ideale massimale

strettamente legato alla valutazione del polinomio

M(M ,) , a

g.

Infatti,

vale il seguente

Ideali primi
negli anelli di
Bhargava
Giorgio

Teorema

Introduzione

Sia g un polinomio irriducibile di K [X ]; allora


esiste un ideale M(M ,) , a tale che Pg M(M ,) , a se e
solo se
v (g (xX + a) g (a)) v (g (a)) .

Localizzazioni
Spettro
primo di

Bx ( )
Spettro
primo di

Bx ( )

Corollario

Sia g un polinomio irriducibile di K [X ]; allora Pg un ideale


massimale di Bx (V ) se e solo se
v (g (xX + a) g (a)) > v (g (a)) a V .
Giorgio (UniRomaTre)

Ideali primi negli anelli di Bhargava

17 Maggio 2012

15 / 15

Potrebbero piacerti anche