Sei sulla pagina 1di 3

I NTRODUZIONE ALLA TEORIA DEGLI SCHEMI

E SERCITAZIONE N . 1

A NNO A CCADEMICO 2020/21


A NGELO V ISTOLI

D A CONSEGNARE ENTRO VENERD Ì 11 DICEMBRE

Esercizio 1. Sia φ : A → B un omomorfismo di anelli. Dimostrare i fatti


seguenti.

(a) Sia I un ideale di A; chiamiamo IB l’ideale di B generato da φ( I ). Allora


l’immagine inversa di V A ( I ) ⊆ Spec A in Spec B è VB ( IB).

 di B, la chisura dell’immagine di VB ( J ) ⊆ Spec B in Spec A


(b) Se J è un ideale
è VB φ−1 ( J ) .
(c) L’immagine di φ∗ : Spec B → Spec A è densa in Spec A e solo se il nucleo di
φ è contenuto nel nilradicale di A.

Esercizio 2. Dimostrate che la funzione f : A1C → A1R indotta dall’ovvia


immersione R[ x ] ⊆ C[ x ] è suriettiva, e descrivetene tutte le fibre.

Esercizio 3. Sia { Fi } una famiglia di fasci su uno spazio topologico X.

(a) Dimostrate che il prefascio prodotto, che manda U in ∏i Fi (U ), è un fascio.


(b) Date un esempio che mostra che il prefascio immagine diretta, che manda
U in ⊕i Fi (U ), non è necessariamente un fascio.

Ricordo che abbiamo definito il fascio immagine diretta ⊕i Fi come la fascifi-


cazione del prefascio immagine diretta.
def
Esercizio 4. Sia k un campo algebricamente chiuso; poiniamo X = P1 (k), con
la topologia di Zariski (questo è la retta proiettiva della geometria algebrica
def
classica). Sia K = k( x ) il il campo delle funzioni razionali su X. Consideriamo
il fascio OX∗ su X che associa ad ogni aperto U ⊆ X il gruppo delle funzioni
regolari mai nulle U → k∗ , con l’operazione data dalla moltiplicazione. Consi-
deriamo anche il fascio costante KX ∗ associato al gruppo K ∗ degli elementi non
nulli di K, e il fascio p∈X i p∗ Z p , dove i p : p → X è l’inclusione del punto p in
L

X (con Z p il fascio costante Z sul punto p, considerato come spazio topologico:


nulla a che vedere con i numeri p-adici).

(a) Dimostrate che (


∗ K∗ if U 6= ∅
KX =
{1} if U = ∅
per ogni aperto U ⊆ X.

1
(b) Dimostrate che M 
i p ∗ Z p (U ) = Z
M

p∈ X p ∈U

per ogni aperto U ⊆ X.


(c) Per ogni f ∈ K ∗ e ogni p ∈ X, incluso il punto all’infinito, denotiamo con
ord p f l’ordine di 0 di f in p (questo è negativo se f ha un polo in p). Sia


i p∗ Z p
M
div : KX −→
p∈ X

l’omomorfismo che manda f ∈ K ∗ = KX ∗ (U ) in (ord f )


p ∈U ∈ p∈U Z per
L
p
ogni aperto U ⊆ X. Dimostrate che esiste una successione esatta di fasci su
X
∗ div
0 −→ OX∗ −→ KX i p∗ Z p −→ 0
M
−→
p∈ X

dove il primo omomorfismo è l’inclusione ovvia.


(d) Considerate l’omomorfismo suriettivo

Γ X, i p∗ Z p = ∑ Z −→ Z
M  σ

p∈ X p∈ X

definita da σ (n p ) = ∑ p∈X n p . Dimostrate che l’immagine dell’omomorfi-




smo Γ( X, KX∗ ) → Γ X, L
p∈ X i p∗ Z p indotto da div è esattamente il nucleo


di σ. In particolare, questo non è suriettivo, benché div sia suriettivo come


omomorfismo di fasci.

Esercizio 5. Sia A un dominio d’integrità con campo dei quozienti K; poniamo


X = Spec A. Per ogni primo p ∈ X, la localizzazione A p è un sottoanello di K.
Mostrate allora che se U ⊆ X è un aperto non vuoto, allora OX (U ) = ∩ p∈U A p ⊆
K; e se U ⊆ V è un’inclusione di aperti non vuoti di X, allora l’omomorfismo di
restrizione corrisponde all’inclusione naturale ∩ p∈U A p ⊆ ∩ p∈V A p .
Esercizio 6. Sia A un dominio locale con campo dei quozienti K; supponete
def def
A 6= K. Poniamo X = Spec A e Y = Spec K. Denotiamo con s ∈ X l’unico
punto chiuso, con η l’unico punto di Y. Sia f : Y → X la funzione continua
definita da f (η ) = s. Definiamo f ] : OX → f ∗ OY come segue: se U 6= ∅, allora
f U] : OX (U ) → OY f −1 U = K è l’inclusione naturale di OX (U ) in K, discussa


sopra.
Allora ( f , f ] ) : (Y, OY ) → ( X, OX ) è un morfismo di spazi anulati, ma non è
locale, e quindi non proviene da un omomorfismo di anelli A → K.
Nota: ricordiamo che s è contenuto in tutti gli aperti non vuoti di X.

Esercizio 7. Siano X e Y spazi localmente anulati, U un aperto di X. Dimostrate


che la comporre con l’immersione U ⊆ X dà una biezione tra morfismi di spazi
localmente anulati Y → U e morfismi di spazi localmente anulati Y → X la cui
immagine è contenuta in U.

2
Esercizio 8. Sia ( X, OX ) uno spazio localmente anulato. Per ciascun p ∈ X
possiamo definire il campo residuo k( p) come il quoziente OX,p /m p , e che per
ciascun aperto U ⊆ X, ciascuna sezione φ ∈ OX (U ), e ciascun p ∈ X possiamo
definire φ( p) come l’immagine in k( p) del germe φ p .
Dimostrate che se φ ∈ OX (U ), allora il luogo degli zeri di φ, definito come
{ p ∈ U | φ( p) = 0}, è un chiuso di U.
Esercizio 9. Sia G un gruppo che agisce sullo spazio localmente anulato ( X, OX );
in altre parole, è dato un omomorfismo di gruppi da G al gruppo degli auto-
morfismi di ( X, OX ) nella categoria degli spazi localmente anulati. Un quo-
ziente consiste di uno spazio localmente anulato (Y, OY ), con un morfismo
π : ( X, OX ) → (Y, OY ), tale che

(a) il morfismo π è G-invariante, ossia, se φ è un automorfismo di ( X, OX ) che


proviene da un elemento di G, allora π ◦ φ = π, e
(b) ogni morfismo G-invariante da ( X, OX ) ad un’altro spazio localmente anu-
lato si fattorizza in modo unico attraverso (Y, OY ).

Allora dimostrate che un quoziente esiste, e che può essere costruito nel
modo seguente. Come Y prendiamo lo spazio quoziente X/G; chiamiamo
π : X → Y la proiezione. Inotre osserviamo che G agisce sul fascio π∗ OX ;
prendiamo come OY il fascio di invarianti, ossia, per ogni aperto V di Y poniamo
def G
OY (V ) = OX π −1 (U ) .
Non dimenticate di fare vedere che (Y, OY ) è uno spazio localmente anulato,
e π è un morfismo locale.

Potrebbero piacerti anche

  • Dinamica 1
    Dinamica 1
    Documento1 pagina
    Dinamica 1
    Filippo Bianchi
    Nessuna valutazione finora
  • Esercizi Schemi 2020-21 #2
    Esercizi Schemi 2020-21 #2
    Documento2 pagine
    Esercizi Schemi 2020-21 #2
    Filippo Bianchi
    Nessuna valutazione finora
  • Compito 2
    Compito 2
    Documento2 pagine
    Compito 2
    Filippo Bianchi
    Nessuna valutazione finora
  • Compito 4
    Compito 4
    Documento1 pagina
    Compito 4
    Filippo Bianchi
    Nessuna valutazione finora
  • Esercizi Schemi 2020-21 #3
    Esercizi Schemi 2020-21 #3
    Documento2 pagine
    Esercizi Schemi 2020-21 #3
    Filippo Bianchi
    Nessuna valutazione finora
  • Esercizi Schemi 2020-21 #4
    Esercizi Schemi 2020-21 #4
    Documento2 pagine
    Esercizi Schemi 2020-21 #4
    Filippo Bianchi
    Nessuna valutazione finora
  • Geom 2
    Geom 2
    Documento1 pagina
    Geom 2
    Filippo Bianchi
    Nessuna valutazione finora
  • Prova 2
    Prova 2
    Documento2 pagine
    Prova 2
    Filippo Bianchi
    Nessuna valutazione finora
  • Din A
    Din A
    Documento1 pagina
    Din A
    Filippo Bianchi
    Nessuna valutazione finora
  • Geom 1
    Geom 1
    Documento1 pagina
    Geom 1
    Filippo Bianchi
    Nessuna valutazione finora
  • Dinamica 3
    Dinamica 3
    Documento2 pagine
    Dinamica 3
    Filippo Bianchi
    Nessuna valutazione finora
  • Prova 3
    Prova 3
    Documento2 pagine
    Prova 3
    Filippo Bianchi
    Nessuna valutazione finora
  • Dinamica 2
    Dinamica 2
    Documento1 pagina
    Dinamica 2
    Filippo Bianchi
    Nessuna valutazione finora
  • Recrad
    Recrad
    Documento1 pagina
    Recrad
    Filippo Bianchi
    Nessuna valutazione finora
  • Din A
    Din A
    Documento1 pagina
    Din A
    Filippo Bianchi
    Nessuna valutazione finora
  • Compito Di Algebra: Classe 2D, Fila A 19/05/2021
    Compito Di Algebra: Classe 2D, Fila A 19/05/2021
    Documento1 pagina
    Compito Di Algebra: Classe 2D, Fila A 19/05/2021
    Filippo Bianchi
    Nessuna valutazione finora
  • Recdin
    Recdin
    Documento1 pagina
    Recdin
    Filippo Bianchi
    Nessuna valutazione finora
  • Prova Eq 2
    Prova Eq 2
    Documento2 pagine
    Prova Eq 2
    Filippo Bianchi
    Nessuna valutazione finora
  • Prova Eq 2
    Prova Eq 2
    Documento2 pagine
    Prova Eq 2
    Filippo Bianchi
    Nessuna valutazione finora
  • Compito Di Algebra: Classe 2D, Fila A 19/05/2021
    Compito Di Algebra: Classe 2D, Fila A 19/05/2021
    Documento1 pagina
    Compito Di Algebra: Classe 2D, Fila A 19/05/2021
    Filippo Bianchi
    Nessuna valutazione finora
  • Prova Eq 2
    Prova Eq 2
    Documento2 pagine
    Prova Eq 2
    Filippo Bianchi
    Nessuna valutazione finora
  • Prova Sist 1
    Prova Sist 1
    Documento1 pagina
    Prova Sist 1
    Filippo Bianchi
    Nessuna valutazione finora
  • Sist A
    Sist A
    Documento1 pagina
    Sist A
    Filippo Bianchi
    Nessuna valutazione finora
  • Eq Rec
    Eq Rec
    Documento1 pagina
    Eq Rec
    Filippo Bianchi
    Nessuna valutazione finora
  • Prova Sist 3
    Prova Sist 3
    Documento1 pagina
    Prova Sist 3
    Filippo Bianchi
    Nessuna valutazione finora
  • Prova Sist Con Materiale
    Prova Sist Con Materiale
    Documento1 pagina
    Prova Sist Con Materiale
    Filippo Bianchi
    Nessuna valutazione finora
  • Sist B
    Sist B
    Documento1 pagina
    Sist B
    Filippo Bianchi
    Nessuna valutazione finora
  • Prova Sist 2
    Prova Sist 2
    Documento1 pagina
    Prova Sist 2
    Filippo Bianchi
    Nessuna valutazione finora
  • Sist Rec
    Sist Rec
    Documento1 pagina
    Sist Rec
    Filippo Bianchi
    Nessuna valutazione finora
  • Strutture Algebriche
    Strutture Algebriche
    Documento16 pagine
    Strutture Algebriche
    Omino Sentenzioso
    Nessuna valutazione finora
  • Geometrie Di Galois
    Geometrie Di Galois
    Documento77 pagine
    Geometrie Di Galois
    Antonio Maschietti
    Nessuna valutazione finora
  • Kagerou Sheet
    Kagerou Sheet
    Documento7 pagine
    Kagerou Sheet
    จ๋าาาาาาา กรวิภา
    Nessuna valutazione finora
  • I Numeri Primi Di Mersenne Ed Il Free Project Mersenne's Gap
    I Numeri Primi Di Mersenne Ed Il Free Project Mersenne's Gap
    Documento13 pagine
    I Numeri Primi Di Mersenne Ed Il Free Project Mersenne's Gap
    Rosario Turco
    Nessuna valutazione finora