• Non ci sono risultati.

Families of rational 1-cycles

Nel documento Fano manifolds (pagine 50-72)

Ratcurvesn(X) → Chow(X )

V V = V ⊂ Chow(X ) Reducible cycles are parametrized

by points inV \ V

Chow family of rational 1-cycles:

W ⊂ Chow(X ) irreducible, parametrizing ratio-nal and connected 1-cycles.

If V is an unsplit family by abuse V =V .

If all the irreducible components of reducible cycles are numerically proportional we say thatV isquasi-unsplit.

Introduction Families of rational curves Sketch of proof

Families of rational 1-cycles

Ratcurvesn(X) → Chow(X )

V V = V ⊂ Chow(X ) Reducible cycles are parametrized

by points inV \ V

Chow family of rational 1-cycles:

W ⊂ Chow(X ) irreducible, parametrizing ratio-nal and connected 1-cycles.

If V is an unsplit family by abuse V =V .

If all the irreducible components of reducible cycles are numerically proportional we say thatV isquasi-unsplit.

Introduction Families of rational curves Sketch of proof

Families of rational 1-cycles

Ratcurvesn(X) → Chow(X )

V V = V ⊂ Chow(X ) Reducible cycles are parametrized

by points inV \ V

Chow family of rational 1-cycles:

W ⊂ Chow(X ) irreducible, parametrizing ratio-nal and connected 1-cycles.

If V is an unsplit family by abuse V =V .

If all the irreducible components of reducible cycles are numerically proportional we say thatV isquasi-unsplit.

Introduction Families of rational curves Sketch of proof

Families of rational 1-cycles

Ratcurvesn(X) → Chow(X )

V V = V ⊂ Chow(X ) Reducible cycles are parametrized

by points inV \ V

Chow family of rational 1-cycles:

W ⊂ Chow(X ) irreducible, parametrizing ratio-nal and connected 1-cycles.

If V is an unsplit family by abuse V =V .

If all the irreducible components of reducible cycles are numerically proportional we say thatV isquasi-unsplit.

Introduction Families of rational curves Sketch of proof

Families of rational 1-cycles

Ratcurvesn(X) → Chow(X )

V V = V ⊂ Chow(X ) Reducible cycles are parametrized

by points inV \ V

Chow family of rational 1-cycles:

W ⊂ Chow(X ) irreducible, parametrizing ratio-nal and connected 1-cycles.

If V is an unsplit family by abuse V =V .

If all the irreducible components of reducible cycles are numerically proportional we say thatV isquasi-unsplit.

Introduction Families of rational curves Sketch of proof

Families of rational 1-cycles

Ratcurvesn(X) → Chow(X )

V V = V ⊂ Chow(X ) Reducible cycles are parametrized

by points inV \ V

Chow family of rational 1-cycles:

W ⊂ Chow(X ) irreducible, parametrizing ratio-nal and connected 1-cycles.

If V is an unsplit family by abuse V =V .

If all the irreducible components of reducible cycles are numerically proportional we say thatV isquasi-unsplit.

Introduction Families of rational curves Sketch of proof

Families of rational 1-cycles

Ratcurvesn(X) → Chow(X )

V V = V ⊂ Chow(X ) Reducible cycles are parametrized

by points inV \ V

Chow family of rational 1-cycles:

W ⊂ Chow(X ) irreducible, parametrizing ratio-nal and connected 1-cycles.

If V is an unsplit family by abuse V =V .

Introduction Families of rational curves Sketch of proof

Chains

V family of rational curves, Y ⊂ X closed.

Locus(V )Y = {x ∈ X | ∃ C parametrized by V with C ∩ Y 6= /0 and x ∈ C }.

Inductively define Locus(V1, . . . , Vk)Y := Locus(V2, . . . , Vk)Locus(V1)Y.

Notice that Locus(V )x = Locus(Vx).

Analogously we define Locus(W1, . . . ,Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V family of rational curves, Y ⊂ X closed.

Locus(V )Y = {x ∈ X | ∃ C parametrized by V with C ∩ Y 6= /0 and x ∈ C }.

Inductively define Locus(V1, . . . , Vk)Y := Locus(V2, . . . , Vk)Locus(V1)Y.

Notice that Locus(V )x = Locus(Vx).

Analogously we define Locus(W1, . . . ,Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V family of rational curves, Y ⊂ X closed.

Locus(V )Y = {x ∈ X | ∃ C parametrized by V with C ∩ Y 6= /0 and x ∈ C }.

Inductively define Locus(V1, . . . , Vk)Y := Locus(V2, . . . , Vk)Locus(V1)Y.

Notice that Locus(V )x = Locus(Vx).

Analogously we define Locus(W1, . . . ,Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V family of rational curves, Y ⊂ X closed.

Locus(V )Y = {x ∈ X | ∃ C parametrized by V with C ∩ Y 6= /0 and x ∈ C }.

Inductively define Locus(V1, . . . , Vk)Y :=

Locus(V2, . . . , Vk)Locus(V1)Y.

Notice that Locus(V )x = Locus(Vx).

Analogously we define Locus(W1, . . . ,Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V family of rational curves, Y ⊂ X closed.

Locus(V )Y = {x ∈ X | ∃ C parametrized by V with C ∩ Y 6= /0 and x ∈ C }.

Inductively define Locus(V1, . . . , Vk)Y :=

Locus(V2, . . . , Vk)Locus(V1)Y.

Notice that Locus(V )x = Locus(Vx).

Analogously we define Locus(W1, . . . ,Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V family of rational curves, Y ⊂ X closed.

Locus(V )Y = {x ∈ X | ∃ C parametrized by V with C ∩ Y 6= /0 and x ∈ C }.

Inductively define Locus(V1, . . . , Vk)Y :=

Locus(V2, . . . , Vk)Locus(V1)Y.

Notice that Locus(V )x = Locus(Vx).

Analogously we define Locus(W1, . . . ,Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V family of rational curves, Y ⊂ X closed.

Locus(V )Y = {x ∈ X | ∃ C parametrized by V with C ∩ Y 6= /0 and x ∈ C }.

Inductively define Locus(V1, . . . , Vk)Y :=

Locus(V2, . . . , Vk)Locus(V1)Y.

Notice that Locus(V )x = Locus(Vx).

Analogously we define Locus(W1, . . . ,Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V family of rational curves, Y ⊂ X closed.

Locus(V )Y = {x ∈ X | ∃ C parametrized by V with C ∩ Y 6= /0 and x ∈ C }.

Inductively define Locus(V1, . . . , Vk)Y :=

Locus(V2, . . . , Vk)Locus(V1)Y.

Notice that Locus(V )x = Locus(Vx).

Introduction Families of rational curves Sketch of proof

Chains

V1, . . . , Vk families of rational curves, Y ⊂ X .

ChLocusm(V1, . . . , Vk)Y the set of points such that ∃C1, . . . , Cm with

Ci belongs to a family Vj; Ci∩ Ci +16= /0;

C1∩ Y 6= /0 and x ∈ Cm.

Analogously we define ChLocusm(W1, . . .Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V1, . . . , Vk families of rational curves, Y ⊂ X .

ChLocusm(V1, . . . , Vk)Y the set of points such that ∃C1, . . . , Cm with

Ci belongs to a family Vj; Ci∩ Ci +16= /0;

C1∩ Y 6= /0 and x ∈ Cm.

Analogously we define ChLocusm(W1, . . .Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V1, . . . , Vk families of rational curves, Y ⊂ X .

ChLocusm(V1, . . . , Vk)Y the set of points such that ∃C1, . . . , Cm with

Ci belongs to a family Vj;

Ci∩ Ci +16= /0;

C1∩ Y 6= /0 and x ∈ Cm.

Analogously we define ChLocusm(W1, . . .Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V1, . . . , Vk families of rational curves, Y ⊂ X .

ChLocusm(V1, . . . , Vk)Y the set of points such that ∃C1, . . . , Cm with

Ci belongs to a family Vj; Ci∩ Ci +16= /0;

C1∩ Y 6= /0 and x ∈ Cm.

Analogously we define ChLocusm(W1, . . .Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V1, . . . , Vk families of rational curves, Y ⊂ X .

ChLocusm(V1, . . . , Vk)Y the set of points such that ∃C1, . . . , Cm with

Ci belongs to a family Vj; Ci∩ Ci +16= /0;

C1∩ Y 6= /0 and x ∈ Cm.

Analogously we define ChLocusm(W1, . . .Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V1, . . . , Vk families of rational curves, Y ⊂ X .

ChLocusm(V1, . . . , Vk)Y the set of points such that ∃C1, . . . , Cm with

Ci belongs to a family Vj; Ci∩ Ci +16= /0;

C1∩ Y 6= /0 and x ∈ Cm.

Analogously we define ChLocusm(W1, . . .Wk)Y for Chow families W1, . . . ,Wk of rational 1-cycles.

Introduction Families of rational curves Sketch of proof

Chains

V1, . . . , Vk families of rational curves, Y ⊂ X .

ChLocusm(V1, . . . , Vk)Y the set of points such that ∃C1, . . . , Cm with

Ci belongs to a family Vj; Ci∩ Ci +16= /0;

C1∩ Y 6= /0 and x ∈ Cm.

Analogously we define ChLocusm(W1, . . .Wk)Y for Chow families

W1 Wk

Introduction Families of rational curves Sketch of proof

Nel documento Fano manifolds (pagine 50-72)

Documenti correlati