Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s...
Transcript of Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s...
![Page 1: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/1.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
Subvarieties of moduli stacks
Sándor Kovács
AMS Summer Institute on Algebraic GeometryUniversity of Washington, Seattle
August 4, 2005
Sándor Kovács Subvarieties of moduli stacks
![Page 2: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/2.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
Outline
1 Shafarevich’s Conjecture
2 Generalizations
3 Techniques and Ingredients
Sándor Kovács Subvarieties of moduli stacks
![Page 3: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/3.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
Section Outline
Definitions and Notation
Sándor Kovács Subvarieties of moduli stacks
![Page 4: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/4.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
NotationB – smooth projective curve of genus g,
∆ ⊆ B – finite set of points.
A family over B \∆, f : X → B \∆, is a surjectivemorphism with equidimensional, connected fibers.
For b ∈ B, the fiber f−1(b) will be denoted by Xb.
A family is smooth if Xb is smooth for ∀b ∈ B.
A family is projective if Xb is projective for ∀b ∈ B.
Sándor Kovács Subvarieties of moduli stacks
![Page 5: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/5.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
NotationB – smooth projective curve of genus g,
∆ ⊆ B – finite set of points.
A family over B \∆, f : X → B \∆, is a surjectivemorphism with equidimensional, connected fibers.
For b ∈ B, the fiber f−1(b) will be denoted by Xb.
A family is smooth if Xb is smooth for ∀b ∈ B.
A family is projective if Xb is projective for ∀b ∈ B.
Sándor Kovács Subvarieties of moduli stacks
![Page 6: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/6.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
NotationB – smooth projective curve of genus g,∆ ⊆ B – finite set of points.
A family over B \∆, f : X → B \∆, is a surjectivemorphism with equidimensional, connected fibers.
For b ∈ B, the fiber f−1(b) will be denoted by Xb.
A family is smooth if Xb is smooth for ∀b ∈ B.
A family is projective if Xb is projective for ∀b ∈ B.
Sándor Kovács Subvarieties of moduli stacks
![Page 7: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/7.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
NotationB – smooth projective curve of genus g,∆ ⊆ B – finite set of points.
A family over B \∆, f : X → B \∆, is a surjectivemorphism with equidimensional, connected fibers.
For b ∈ B, the fiber f−1(b) will be denoted by Xb.
A family is smooth if Xb is smooth for ∀b ∈ B.
A family is projective if Xb is projective for ∀b ∈ B.
Sándor Kovács Subvarieties of moduli stacks
![Page 8: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/8.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
NotationB – smooth projective curve of genus g,∆ ⊆ B – finite set of points.
A family over B \∆, f : X → B \∆, is a surjectivemorphism with equidimensional, connected fibers.
For b ∈ B, the fiber f−1(b) will be denoted by Xb.
A family is smooth if Xb is smooth for ∀b ∈ B.
A family is projective if Xb is projective for ∀b ∈ B.
Sándor Kovács Subvarieties of moduli stacks
![Page 9: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/9.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
NotationB – smooth projective curve of genus g,∆ ⊆ B – finite set of points.
A family over B \∆, f : X → B \∆, is a surjectivemorphism with equidimensional, connected fibers.
For b ∈ B, the fiber f−1(b) will be denoted by Xb.
A family is smooth if Xb is smooth for ∀b ∈ B.
A family is projective if Xb is projective for ∀b ∈ B.
Sándor Kovács Subvarieties of moduli stacks
![Page 10: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/10.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
NotationB – smooth projective curve of genus g,∆ ⊆ B – finite set of points.
A family over B \∆, f : X → B \∆, is a surjectivemorphism with equidimensional, connected fibers.
For b ∈ B, the fiber f−1(b) will be denoted by Xb.
A family is smooth if Xb is smooth for ∀b ∈ B.
A family is projective if Xb is projective for ∀b ∈ B.
Sándor Kovács Subvarieties of moduli stacks
![Page 11: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/11.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
A family of curves
y2 − λx2 = 1
defines a family of conics.
Remark: all fibers for λ 6= 0 are isomorphic.
Sándor Kovács Subvarieties of moduli stacks
![Page 12: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/12.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
A family of curves
y2 − λx2 = 1defines a family of conics.
Remark: all fibers for λ 6= 0 are isomorphic.
Sándor Kovács Subvarieties of moduli stacks
![Page 13: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/13.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
A family of curves
y2 − λx2 = 1defines a family of conics.
Remark: all fibers for λ 6= 0 are isomorphic.
Sándor Kovács Subvarieties of moduli stacks
![Page 14: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/14.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
A family of curves of general type
y2 = x5 − 5λx + 4λ
defines a smooth family of curves parametrized by λ 6= 0, 1.
Sándor Kovács Subvarieties of moduli stacks
![Page 15: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/15.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
A family of curves of general type
y2 = x5 − 5λx + 4λ
defines a smooth family of curves parametrized by λ 6= 0, 1.
Sándor Kovács Subvarieties of moduli stacks
![Page 16: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/16.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
Isotrivial Families
A family f : X → B is isotrivial if there exists a finite set ∆ ⊂ Bsuch that Xb ' Xb′ for all b, b′ ∈ B \∆.
Example:y2 − λx2 =
For λ 6= 0, the fiber over λ is isomorphic to P1,and so this is an isotrivial family.
Warm-Up Question: Fix B and q ∈ Z. How many isotrivialfamilies of curves of genus q over B are there?
Sándor Kovács Subvarieties of moduli stacks
![Page 17: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/17.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
Isotrivial Families
A family f : X → B is isotrivial if there exists a finite set ∆ ⊂ Bsuch that Xb ' Xb′ for all b, b′ ∈ B \∆.
Example:y2 − λx2 = 1
For λ 6= 0, the fiber over λ is isomorphic to P1,and so this is an isotrivial family.
Warm-Up Question: Fix B and q ∈ Z. How many isotrivialfamilies of curves of genus q over B are there?
Sándor Kovács Subvarieties of moduli stacks
![Page 18: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/18.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
Isotrivial Families
A family f : X → B is isotrivial if there exists a finite set ∆ ⊂ Bsuch that Xb ' Xb′ for all b, b′ ∈ B \∆.
Example:y2 − λx2 = z2
For λ 6= 0, the fiber over λ is isomorphic to P1,and so this is an isotrivial family.
Warm-Up Question: Fix B and q ∈ Z. How many isotrivialfamilies of curves of genus q over B are there?
Sándor Kovács Subvarieties of moduli stacks
![Page 19: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/19.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
Isotrivial Families
A family f : X → B is isotrivial if there exists a finite set ∆ ⊂ Bsuch that Xb ' Xb′ for all b, b′ ∈ B \∆.
Example:y2 − λx2 = z2
For λ 6= 0, the fiber over λ is isomorphic to P1,and so this is an isotrivial family.
Warm-Up Question: Fix B and q ∈ Z. How many isotrivialfamilies of curves of genus q over B are there?
Sándor Kovács Subvarieties of moduli stacks
![Page 20: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/20.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
Isotrivial Families
A family f : X → B is isotrivial if there exists a finite set ∆ ⊂ Bsuch that Xb ' Xb′ for all b, b′ ∈ B \∆.
Example:y2 − λx2 = z2
For λ 6= 0, the fiber over λ is isomorphic to P1,and so this is an isotrivial family.
Warm-Up Question: Fix B and q ∈ Z. How many isotrivialfamilies of curves of genus q over B are there?
Sándor Kovács Subvarieties of moduli stacks
![Page 21: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/21.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
Non-isotrivial families
For the family defined by y2 = x5 − 5λx + 4λ one checkseasily that
Xλ1 6' Xλ2
for λ1 6= λ2.
Therefore this is a non-isotrivial family.
Sándor Kovács Subvarieties of moduli stacks
![Page 22: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/22.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and IngredientsDefinitions and Notation
Non-isotrivial families
For the family defined by y2 = x5 − 5λx + 4λ one checkseasily that
Xλ1 6' Xλ2
for λ1 6= λ2.
Therefore this is a non-isotrivial family.
Sándor Kovács Subvarieties of moduli stacks
![Page 23: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/23.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Section Outline
1 Shafarevich’s ConjectureStatement and DefinitionsFirst Results and ConnectionsThe Arakelov-Parshin Method
Sándor Kovács Subvarieties of moduli stacks
![Page 24: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/24.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Conjecture (SHAFAREVICH (1962))Fix B, ∆ as before, q ∈ Z, q ≥ 2. Then
(I) there exists only finitely many non-isotrivialsmooth families of curves of genus q over B \∆.
These will be called “admissible families”.
(II) If2g(B)− 2 + #∆ ≤ 0,
then there aren’t any admissible families.
Note:
2g(B)− 2 + #∆ ≤ 0 ⇔
g(B) = 0 & #∆ ≤ 2g(B) = 1 & ∆ = ∅
Sándor Kovács Subvarieties of moduli stacks
![Page 25: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/25.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Conjecture (SHAFAREVICH (1962))Fix B, ∆ as before, q ∈ Z, q ≥ 2. Then
(I) there exists only finitely many non-isotrivialsmooth families of curves of genus q over B \∆.
These will be called “admissible families”.
(II) If2g(B)− 2 + #∆ ≤ 0,
then there aren’t any admissible families.
Note:
2g(B)− 2 + #∆ ≤ 0 ⇔
g(B) = 0 & #∆ ≤ 2g(B) = 1 & ∆ = ∅
Sándor Kovács Subvarieties of moduli stacks
![Page 26: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/26.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Conjecture (SHAFAREVICH (1962))Fix B, ∆ as before, q ∈ Z, q ≥ 2. Then
(I) there exists only finitely many non-isotrivialsmooth families of curves of genus q over B \∆.These will be called “admissible families”.
(II) If2g(B)− 2 + #∆ ≤ 0,
then there aren’t any admissible families.
Note:
2g(B)− 2 + #∆ ≤ 0 ⇔
g(B) = 0 & #∆ ≤ 2g(B) = 1 & ∆ = ∅
Sándor Kovács Subvarieties of moduli stacks
![Page 27: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/27.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Conjecture (SHAFAREVICH (1962))Fix B, ∆ as before, q ∈ Z, q ≥ 2. Then
(I) there exists only finitely many non-isotrivialsmooth families of curves of genus q over B \∆.These will be called “admissible families”.
(II) If2g(B)− 2 + #∆ ≤ 0,
then there aren’t any admissible families.
Note:
2g(B)− 2 + #∆ ≤ 0 ⇔
g(B) = 0 & #∆ ≤ 2g(B) = 1 & ∆ = ∅
Sándor Kovács Subvarieties of moduli stacks
![Page 28: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/28.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Conjecture (SHAFAREVICH (1962))Fix B, ∆ as before, q ∈ Z, q ≥ 2. Then
(I) there exists only finitely many non-isotrivialsmooth families of curves of genus q over B \∆.These will be called “admissible families”.
(II) If2g(B)− 2 + #∆ ≤ 0,
then there aren’t any admissible families.
Note:
2g(B)− 2 + #∆ ≤ 0 ⇔
g(B) = 0 & #∆ ≤ 2g(B) = 1 & ∆ = ∅
Sándor Kovács Subvarieties of moduli stacks
![Page 29: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/29.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
HyperbolicityA complex analytic space X is Brody hyperbolic if everyC → X holomorphic map is constant.
X Brody hyperbolic implies that• ∀ C∗ → X holomorphic map is constant,• ∀ T → X holomorphic map is constant for any complex
torus T = Cn/Z2n.
An algebraic variety X is algebraically Brody hyperbolic(or here and now simply hyperbolic) if• ∀ A1 \ 0 → X morphism is constant
, and
• ∀ A → X morphism is constant, for any abelian variety A.
Remark: There are other notions of hyperbolicity: incomplex analysis, “Kobayashi hyperbolicity”, and itsalgebraic counterpart introduced by Demailly.
Sándor Kovács Subvarieties of moduli stacks
![Page 30: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/30.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
HyperbolicityA complex analytic space X is Brody hyperbolic if everyC → X holomorphic map is constant.X Brody hyperbolic implies that
• ∀ C∗ → X holomorphic map is constant,• ∀ T → X holomorphic map is constant for any complex
torus T = Cn/Z2n.
An algebraic variety X is algebraically Brody hyperbolic(or here and now simply hyperbolic) if• ∀ A1 \ 0 → X morphism is constant
, and
• ∀ A → X morphism is constant, for any abelian variety A.
Remark: There are other notions of hyperbolicity: incomplex analysis, “Kobayashi hyperbolicity”, and itsalgebraic counterpart introduced by Demailly.
Sándor Kovács Subvarieties of moduli stacks
![Page 31: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/31.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
HyperbolicityA complex analytic space X is Brody hyperbolic if everyC → X holomorphic map is constant.X Brody hyperbolic implies that• ∀ C∗ → X holomorphic map is constant,
• ∀ T → X holomorphic map is constant for any complextorus T = Cn/Z2n.
An algebraic variety X is algebraically Brody hyperbolic(or here and now simply hyperbolic) if• ∀ A1 \ 0 → X morphism is constant
, and
• ∀ A → X morphism is constant, for any abelian variety A.
Remark: There are other notions of hyperbolicity: incomplex analysis, “Kobayashi hyperbolicity”, and itsalgebraic counterpart introduced by Demailly.
Sándor Kovács Subvarieties of moduli stacks
![Page 32: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/32.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
HyperbolicityA complex analytic space X is Brody hyperbolic if everyC → X holomorphic map is constant.X Brody hyperbolic implies that• ∀ C∗ → X holomorphic map is constant,• ∀ T → X holomorphic map is constant for any complex
torus T = Cn/Z2n.
An algebraic variety X is algebraically Brody hyperbolic(or here and now simply hyperbolic) if• ∀ A1 \ 0 → X morphism is constant
, and
• ∀ A → X morphism is constant, for any abelian variety A.
Remark: There are other notions of hyperbolicity: incomplex analysis, “Kobayashi hyperbolicity”, and itsalgebraic counterpart introduced by Demailly.
Sándor Kovács Subvarieties of moduli stacks
![Page 33: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/33.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
HyperbolicityA complex analytic space X is Brody hyperbolic if everyC → X holomorphic map is constant.X Brody hyperbolic is equivalent to• ∀ C∗ → X holomorphic map is constant,• ∀ T → X holomorphic map is constant for any complex
torus T = Cn/Z2n.
An algebraic variety X is algebraically Brody hyperbolic(or here and now simply hyperbolic) if• ∀ A1 \ 0 → X morphism is constant
, and
• ∀ A → X morphism is constant, for any abelian variety A.
Remark: There are other notions of hyperbolicity: incomplex analysis, “Kobayashi hyperbolicity”, and itsalgebraic counterpart introduced by Demailly.
Sándor Kovács Subvarieties of moduli stacks
![Page 34: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/34.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
HyperbolicityA complex analytic space X is Brody hyperbolic if everyC → X holomorphic map is constant.X Brody hyperbolic is equivalent to• ∀ C∗ → X holomorphic map is constant,• ∀ T → X holomorphic map is constant for any complex
torus T = Cn/Z2n.
An algebraic variety X is algebraically Brody hyperbolic(or here and now simply hyperbolic) if
• ∀ A1 \ 0 → X morphism is constant
, and
• ∀ A → X morphism is constant, for any abelian variety A.
Remark: There are other notions of hyperbolicity: incomplex analysis, “Kobayashi hyperbolicity”, and itsalgebraic counterpart introduced by Demailly.
Sándor Kovács Subvarieties of moduli stacks
![Page 35: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/35.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
HyperbolicityA complex analytic space X is Brody hyperbolic if everyC → X holomorphic map is constant.X Brody hyperbolic is equivalent to• ∀ C∗ → X holomorphic map is constant,• ∀ T → X holomorphic map is constant for any complex
torus T = Cn/Z2n.
An algebraic variety X is algebraically Brody hyperbolic(or here and now simply hyperbolic) if• ∀ A1 \ 0 → X morphism is constant
, and• ∀ A → X morphism is constant, for any abelian variety A.
Remark: There are other notions of hyperbolicity: incomplex analysis, “Kobayashi hyperbolicity”, and itsalgebraic counterpart introduced by Demailly.
Sándor Kovács Subvarieties of moduli stacks
![Page 36: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/36.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
HyperbolicityA complex analytic space X is Brody hyperbolic if everyC → X holomorphic map is constant.X Brody hyperbolic is equivalent to• ∀ C∗ → X holomorphic map is constant,• ∀ T → X holomorphic map is constant for any complex
torus T = Cn/Z2n.
An algebraic variety X is algebraically Brody hyperbolic(or here and now simply hyperbolic) if• ∀ A1 \ 0 → X morphism is constant, and• ∀ A → X morphism is constant, for any abelian variety A.
Remark: There are other notions of hyperbolicity: incomplex analysis, “Kobayashi hyperbolicity”, and itsalgebraic counterpart introduced by Demailly.
Sándor Kovács Subvarieties of moduli stacks
![Page 37: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/37.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
HyperbolicityA complex analytic space X is Brody hyperbolic if everyC → X holomorphic map is constant.X Brody hyperbolic is equivalent to• ∀ C∗ → X holomorphic map is constant,• ∀ T → X holomorphic map is constant for any complex
torus T = Cn/Z2n.
An algebraic variety X is algebraically Brody hyperbolic(or here and now simply hyperbolic) if• ∀ A1 \ 0 → X morphism is constant, and• ∀ A → X morphism is constant, for any abelian variety A.
Remark: There are other notions of hyperbolicity: incomplex analysis, “Kobayashi hyperbolicity”, and itsalgebraic counterpart introduced by Demailly.
Sándor Kovács Subvarieties of moduli stacks
![Page 38: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/38.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Hyperbolicity: Examples
B – smooth projective curve, ∆ ⊆ B – finite subset.
• If g(B) ≥ 2, thenB \∆ is hyperbolic for arbitrary ∆.
• If g(B) = 1, thenB \∆ is hyperbolic ⇔ ∆ 6= ∅.
• If g(B) = 0, thenB \∆ is hyperbolic ⇔ #∆ ≥ 3.
B \∆ is hyperbolic ⇔ 2g(B)− 2 + #∆ > 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 39: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/39.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Hyperbolicity: Examples
B – smooth projective curve, ∆ ⊆ B – finite subset.
• If g(B) ≥ 2, thenB \∆ is hyperbolic for arbitrary ∆.
• If g(B) = 1, thenB \∆ is hyperbolic ⇔ ∆ 6= ∅.
• If g(B) = 0, thenB \∆ is hyperbolic ⇔ #∆ ≥ 3.
B \∆ is hyperbolic ⇔ 2g(B)− 2 + #∆ > 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 40: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/40.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Hyperbolicity: Examples
B – smooth projective curve, ∆ ⊆ B – finite subset.
• If g(B) ≥ 2, thenB \∆ is hyperbolic for arbitrary ∆.
• If g(B) = 1, thenB \∆ is hyperbolic ⇔ ∆ 6= ∅.
• If g(B) = 0, thenB \∆ is hyperbolic ⇔ #∆ ≥ 3.
B \∆ is hyperbolic ⇔ 2g(B)− 2 + #∆ > 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 41: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/41.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Hyperbolicity: Examples
B – smooth projective curve, ∆ ⊆ B – finite subset.
• If g(B) ≥ 2, thenB \∆ is hyperbolic for arbitrary ∆.
• If g(B) = 1, thenB \∆ is hyperbolic ⇔ ∆ 6= ∅.
• If g(B) = 0, thenB \∆ is hyperbolic ⇔ #∆ ≥ 3.
B \∆ is hyperbolic ⇔ 2g(B)− 2 + #∆ > 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 42: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/42.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Hyperbolicity: Examples
B – smooth projective curve, ∆ ⊆ B – finite subset.
• If g(B) ≥ 2, thenB \∆ is hyperbolic for arbitrary ∆.
• If g(B) = 1, thenB \∆ is hyperbolic ⇔ ∆ 6= ∅.
• If g(B) = 0, thenB \∆ is hyperbolic ⇔ #∆ ≥ 3.
B \∆ is hyperbolic ⇔ 2g(B)− 2 + #∆ > 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 43: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/43.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Shafarevich’s Conjecture: Take TwoConjecture (SHAFAREVICH (1962))
Fix B, ∆ as before, q ∈ Z, q ≥ 2. Then
(I) there exists only finitely many non-isotrivial smoothfamilies of curves of genus q over B \∆.“admissible families”.
(II) If2g(B)− 2 + #∆ ≤ 0,
then there aren’t any admissible families.
(II∗) If there exist any admissible families, then B \∆ ishyperbolic.
Sándor Kovács Subvarieties of moduli stacks
![Page 44: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/44.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Shafarevich’s Conjecture: Take TwoConjecture (SHAFAREVICH (1962))
Fix B, ∆ as before, q ∈ Z, q ≥ 2. Then
(I) there exists only finitely many non-isotrivial smoothfamilies of curves of genus q over B \∆.
“admissible families”.
(II) If2g(B)− 2 + #∆ ≤ 0,
then there aren’t any admissible families.
(II∗) If there exist any admissible families, then B \∆ ishyperbolic.
Sándor Kovács Subvarieties of moduli stacks
![Page 45: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/45.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Shafarevich’s Conjecture: Take TwoConjecture (SHAFAREVICH (1962))
Fix B, ∆ as before, q ∈ Z, q ≥ 2. Then
(I) there exists only finitely many non-isotrivial smoothfamilies of curves of genus q over B \∆,“admissible families”.
(II) If2g(B)− 2 + #∆ ≤ 0,
then there aren’t any admissible families.
(II∗) If there exist any admissible families, then B \∆ ishyperbolic.
Sándor Kovács Subvarieties of moduli stacks
![Page 46: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/46.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Shafarevich’s Conjecture: Take TwoConjecture (SHAFAREVICH (1962))
Fix B, ∆ as before, q ∈ Z, q ≥ 2. Then
(I) there exists only finitely many non-isotrivial smoothfamilies of curves of genus q over B \∆,“admissible families”.
(II) If2g(B)− 2 + #∆ ≤ 0,
then there aren’t any admissible families.
(II∗) If there exist any admissible families, then B \∆ ishyperbolic.
Sándor Kovács Subvarieties of moduli stacks
![Page 47: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/47.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Shafarevich’s Conjecture: Take TwoConjecture (SHAFAREVICH (1962))
Fix B, ∆ as before, q ∈ Z, q ≥ 2. Then
(I) there exists only finitely many non-isotrivial smoothfamilies of curves of genus q over B \∆,“admissible families”.
(II) If2g(B)− 2 + #∆ ≤ 0,
then there aren’t any admissible families.
(II∗) If there exist any admissible families, then B \∆ ishyperbolic.
Sándor Kovács Subvarieties of moduli stacks
![Page 48: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/48.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Section Outline
1 Shafarevich’s ConjectureStatement and DefinitionsFirst Results and ConnectionsThe Arakelov-Parshin Method
Sándor Kovács Subvarieties of moduli stacks
![Page 49: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/49.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
History
Theorem (PARSHIN (1968))Shafarevich’s Conjecture holds for ∆ = ∅.
Theorem (ARAKELOV (1971))Shafarevich’s Conjecture holds in general.
Theorem (BEAUVILLE (1981))(II) holds.
Sándor Kovács Subvarieties of moduli stacks
![Page 50: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/50.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
History
Theorem (PARSHIN (1968))Shafarevich’s Conjecture holds for ∆ = ∅.
Theorem (ARAKELOV (1971))Shafarevich’s Conjecture holds in general.
Theorem (BEAUVILLE (1981))(II) holds.
Sándor Kovács Subvarieties of moduli stacks
![Page 51: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/51.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
History
Theorem (PARSHIN (1968))Shafarevich’s Conjecture holds for ∆ = ∅.
Theorem (ARAKELOV (1971))Shafarevich’s Conjecture holds in general.
Theorem (BEAUVILLE (1981))(II) holds.
Sándor Kovács Subvarieties of moduli stacks
![Page 52: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/52.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Intermezzo: The number field case
Theorem (FALTINGS (1983))Let C be a smooth projective curve of genus ≥ 2defined over a number field F .Then C has only finitely many F-rational points.
Shafarevich’s Conjecture has a number field version as well.
Sándor Kovács Subvarieties of moduli stacks
![Page 53: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/53.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Intermezzo: The number field case
Conjecture (MORDELL (1922))Let C be a smooth projective curve of genus ≥ 2defined over a number field F .Then C has only finitely many F -rational points.
Shafarevich’s Conjecture has a number field version as well.
Sándor Kovács Subvarieties of moduli stacks
![Page 54: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/54.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Intermezzo: The number field case
Theorem (FALTINGS (1983))Let C be a smooth projective curve of genus ≥ 2defined over a number field F .Then C has only finitely many F-rational points.
Shafarevich’s Conjecture has a number field version as well.
Sándor Kovács Subvarieties of moduli stacks
![Page 55: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/55.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Intermezzo: The number field case
Theorem (FALTINGS (1983))Let C be a smooth projective curve of genus ≥ 2defined over a number field F .Then C has only finitely many F-rational points.
Shafarevich’s Conjecture has a number field version as well.
Sándor Kovács Subvarieties of moduli stacks
![Page 56: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/56.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Conjecture (Geometric Mordell)Let f : X → B be a non-isotrivial family ofprojective curves of genus ≥ 2.Then there are only finitely many sections of f , i.e.,σ : B → X , such that f σ = idB.
Theorem (MANIN (1963))The Geometric Mordell Conjecture holds.
Theorem (PARSHIN (1968))The Shafarevich Conjecture implies The Mordell Conjecture.
Proof“Parshin’s Covering Trick”
Sándor Kovács Subvarieties of moduli stacks
![Page 57: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/57.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Conjecture (Geometric Mordell)Let f : X → B be a non-isotrivial family ofprojective curves of genus ≥ 2.Then there are only finitely many sections of f , i.e.,σ : B → X , such that f σ = idB.
Theorem (MANIN (1963))The Geometric Mordell Conjecture holds.
Theorem (PARSHIN (1968))The Shafarevich Conjecture implies The Mordell Conjecture.
Proof“Parshin’s Covering Trick”
Sándor Kovács Subvarieties of moduli stacks
![Page 58: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/58.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Conjecture (Geometric Mordell)Let f : X → B be a non-isotrivial family ofprojective curves of genus ≥ 2.Then there are only finitely many sections of f , i.e.,σ : B → X , such that f σ = idB.
Theorem (MANIN (1963))The Geometric Mordell Conjecture holds.
Theorem (PARSHIN (1968))The Shafarevich Conjecture implies The Mordell Conjecture.
Proof“Parshin’s Covering Trick”
Sándor Kovács Subvarieties of moduli stacks
![Page 59: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/59.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Conjecture (Geometric Mordell)Let f : X → B be a non-isotrivial family ofprojective curves of genus ≥ 2.Then there are only finitely many sections of f , i.e.,σ : B → X , such that f σ = idB.
Theorem (MANIN (1963))The Geometric Mordell Conjecture holds.
Theorem (PARSHIN (1968))The Shafarevich Conjecture implies The Mordell Conjecture.
Proof“Parshin’s Covering Trick”
Sándor Kovács Subvarieties of moduli stacks
![Page 60: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/60.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Section Outline
1 Shafarevich’s ConjectureStatement and DefinitionsFirst Results and ConnectionsThe Arakelov-Parshin Method
Sándor Kovács Subvarieties of moduli stacks
![Page 61: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/61.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Deformations of FamiliesA deformation of a family X → B (with fixed base) is afamily F : X → B × T such that there exists a t ∈ T that(X/B) ' (Xt/B × t), where Xt = F−1(B × t).
Sándor Kovács Subvarieties of moduli stacks
![Page 62: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/62.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
Deformation Type of FamiliesTwo families X1 → B and X2 → B have the samedeformation type if there exists a familyF : X → B × T , t1, t2 ∈ T such that(X1/B) ' (Xt1/B × t1) and (X2/B) ' (Xt2/B × t2).
Sándor Kovács Subvarieties of moduli stacks
![Page 63: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/63.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
The Arakelov-Parshin method
Conjecture (Reformulated Shafarevich)(B) Boundedness: There are only finitely many deformation
types of admissible families.
(R) Rigidity: Admissible families do not admit non-trivialdeformations.
(H) Hyperbolicity: If there exist admissible families, thenB \∆ is hyperbolic.
Note:
• (B) and (R) together imply (I).
• (H) = (II∗) and hence is equivalent to (II).
Sándor Kovács Subvarieties of moduli stacks
![Page 64: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/64.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
The Arakelov-Parshin method
Conjecture (Reformulated Shafarevich)(B) Boundedness: There are only finitely many deformation
types of admissible families.
(R) Rigidity: Admissible families do not admit non-trivialdeformations.
(H) Hyperbolicity: If there exist admissible families, thenB \∆ is hyperbolic.
Note:
• (B) and (R) together imply (I).
• (H) = (II∗) and hence is equivalent to (II).
Sándor Kovács Subvarieties of moduli stacks
![Page 65: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/65.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
The Arakelov-Parshin method
Conjecture (Reformulated Shafarevich)(B) Boundedness: There are only finitely many deformation
types of admissible families.
(R) Rigidity: Admissible families do not admit non-trivialdeformations.
(H) Hyperbolicity: If there exist admissible families, thenB \∆ is hyperbolic.
Note:
• (B) and (R) together imply (I).
• (H) = (II∗) and hence is equivalent to (II).
Sándor Kovács Subvarieties of moduli stacks
![Page 66: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/66.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
The Arakelov-Parshin method
Conjecture (Reformulated Shafarevich)(B) Boundedness: There are only finitely many deformation
types of admissible families.
(R) Rigidity: Admissible families do not admit non-trivialdeformations.
(H) Hyperbolicity: If there exist admissible families, thenB \∆ is hyperbolic.
Note:
• (B) and (R) together imply (I).
• (H) = (II∗) and hence is equivalent to (II).
Sándor Kovács Subvarieties of moduli stacks
![Page 67: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/67.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
StatementsFirst Results and ConnectionsThe Arakelov-Parshin Method
The Arakelov-Parshin method
Conjecture (Reformulated Shafarevich)(B) Boundedness: There are only finitely many deformation
types of admissible families.
(R) Rigidity: Admissible families do not admit non-trivialdeformations.
(H) Hyperbolicity: If there exist admissible families, thenB \∆ is hyperbolic.
Note:
• (B) and (R) together imply (I).
• (H) = (II∗) and hence is equivalent to (II).
Sándor Kovács Subvarieties of moduli stacks
![Page 68: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/68.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Section Outline
2 GeneralizationsHigher Dimensional FibersOther directionsHigher Dimensional Bases
Sándor Kovács Subvarieties of moduli stacks
![Page 69: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/69.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Varieties of General Type
X is of general type if κ(X ) = dim X .
Recall: A curve C is of general type iff g(C) ≥ 2.
Genus is replaced by the Hilbert polynomial.
Recall: For curves, the Hilbert polynomial is determinedby the genus.
Sándor Kovács Subvarieties of moduli stacks
![Page 70: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/70.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Varieties of General Type
X is of general type if κ(X ) = dim X .
Recall: A curve C is of general type iff g(C) ≥ 2.
Genus is replaced by the Hilbert polynomial.
Recall: For curves, the Hilbert polynomial is determinedby the genus.
Sándor Kovács Subvarieties of moduli stacks
![Page 71: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/71.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Varieties of General Type
X is of general type if κ(X ) = dim X .
Recall: A curve C is of general type iff g(C) ≥ 2.
Genus is replaced by the Hilbert polynomial.
Recall: For curves, the Hilbert polynomial is determinedby the genus.
Sándor Kovács Subvarieties of moduli stacks
![Page 72: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/72.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Varieties of General Type
X is of general type if κ(X ) = dim X .
Recall: A curve C is of general type iff g(C) ≥ 2.
Genus is replaced by the Hilbert polynomial.
Recall: For curves, the Hilbert polynomial is determinedby the genus.
Sándor Kovács Subvarieties of moduli stacks
![Page 73: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/73.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Admissible FamiliesSetup: Fix B a smooth projective curve, ∆ ⊆ B a finitesubset, and h a polynomial.
f : X → B is an admissible family if• f is non-isotrivial• for all b ∈ B \∆, Xb is a smooth projective variety,
canonically embedded with Hilbert polynomial h.
“Canonically embedded” means that it is embedded bythe global sections of ωm
Xb. In particular, Xb is of general
type.
Sándor Kovács Subvarieties of moduli stacks
![Page 74: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/74.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Admissible FamiliesSetup: Fix B a smooth projective curve, ∆ ⊆ B a finitesubset, and h a polynomial.f : X → B is an admissible family if
• f is non-isotrivial• for all b ∈ B \∆, Xb is a smooth projective variety,
canonically embedded with Hilbert polynomial h.
“Canonically embedded” means that it is embedded bythe global sections of ωm
Xb. In particular, Xb is of general
type.
Sándor Kovács Subvarieties of moduli stacks
![Page 75: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/75.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Admissible FamiliesSetup: Fix B a smooth projective curve, ∆ ⊆ B a finitesubset, and h a polynomial.f : X → B is an admissible family if• f is non-isotrivial
• for all b ∈ B \∆, Xb is a smooth projective variety,canonically embedded with Hilbert polynomial h.
“Canonically embedded” means that it is embedded bythe global sections of ωm
Xb. In particular, Xb is of general
type.
Sándor Kovács Subvarieties of moduli stacks
![Page 76: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/76.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Admissible FamiliesSetup: Fix B a smooth projective curve, ∆ ⊆ B a finitesubset, and h a polynomial.f : X → B is an admissible family if• f is non-isotrivial• for all b ∈ B \∆, Xb is a smooth projective variety,
canonically embedded with Hilbert polynomial h.
“Canonically embedded” means that it is embedded bythe global sections of ωm
Xb. In particular, Xb is of general
type.
Sándor Kovács Subvarieties of moduli stacks
![Page 77: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/77.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Admissible FamiliesSetup: Fix B a smooth projective curve, ∆ ⊆ B a finitesubset, and h a polynomial.f : X → B is an admissible family if• f is non-isotrivial• for all b ∈ B \∆, Xb is a smooth projective variety,
canonically embedded with Hilbert polynomial h.
“Canonically embedded” means that it is embedded bythe global sections of ωm
Xb. In particular, Xb is of general
type.
Sándor Kovács Subvarieties of moduli stacks
![Page 78: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/78.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Admissible FamiliesSetup: Fix B a smooth projective curve, ∆ ⊆ B a finitesubset, and h a polynomial.f : X → B is an admissible family if• f is non-isotrivial• for all b ∈ B \∆, Xb is a smooth projective variety,
canonically embedded with Hilbert polynomial h.
“Canonically embedded” means that it is embedded bythe global sections of ωm
Xb. In particular, Xb is of general
type.
Sándor Kovács Subvarieties of moduli stacks
![Page 79: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/79.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Conjecture (Higher Dimensional Shafarevich)(B) Boundedness: There are only finitely many deformation
types of admissible families.
(R) Rigidity: Admissible families do not admit non-trivialdeformations.
(H) Hyperbolicity: If there exist admissible families, thenB \∆ is hyperbolic.
Sándor Kovács Subvarieties of moduli stacks
![Page 80: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/80.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Applications of Hyperbolicity
Theorem (CATANESE-SCHNEIDER (1994))(H) can be used for giving upper bounds on the size ofautomorphisms groups of varieties of general type.
Theorem (SHOKUROV (1995))(H) can be used to prove quasi-projectivity of moduli spacesof varieties of general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 81: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/81.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Recent
1
Contributors to theHigher Dimensional Case
MIGLIORINI (1995)
K (1996), (1997), (2000), (2002), (2003)
ZHANG (1997)
BEDULEV AND VIEHWEG (2000)
VIEHWEG AND ZUO (2001), (2002), (2003)
1 most of the activity took place since Santa Cruz ’95
Sándor Kovács Subvarieties of moduli stacks
![Page 82: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/82.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Recent
1
Contributors to theHigher Dimensional Case
MIGLIORINI (1995)
K (1996), (1997), (2000), (2002), (2003)
ZHANG (1997)
BEDULEV AND VIEHWEG (2000)
VIEHWEG AND ZUO (2001), (2002), (2003)
1 most of the activity took place since Santa Cruz ’95
Sándor Kovács Subvarieties of moduli stacks
![Page 83: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/83.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Recent1 Contributors to theHigher Dimensional Case
MIGLIORINI (1995)
K (1996), (1997), (2000), (2002), (2003)
ZHANG (1997)
BEDULEV AND VIEHWEG (2000)
VIEHWEG AND ZUO (2001), (2002), (2003)
1 most of the activity took place since Santa Cruz ’95
Sándor Kovács Subvarieties of moduli stacks
![Page 84: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/84.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Current KnowledgeTheorem (BEDULEV-VIEHWEG, K )
Hyperbolicity holds in all dimensions.
Boundedness holds in all dimensions in which Mh, themoduli space of canonically polarized varieties withHilbert polynomial h, admits a modular compactification.In particular boundedness holds for families of surfaces.
Theorem (VIEHWEG-ZUO, K )Both of these statements can be extended to include familiesof smooth minimal varieties of general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 85: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/85.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Current KnowledgeTheorem (BEDULEV-VIEHWEG, K )
Hyperbolicity holds in all dimensions.
Boundedness holds in all dimensions in which Mh, themoduli space of canonically polarized varieties withHilbert polynomial h, admits a modular compactification.In particular boundedness holds for families of surfaces.
Theorem (VIEHWEG-ZUO, K )Both of these statements can be extended to include familiesof smooth minimal varieties of general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 86: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/86.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
But
, what about Rigidity?
Sándor Kovács Subvarieties of moduli stacks
![Page 87: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/87.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
But, what about Rigidity?
Sándor Kovács Subvarieties of moduli stacks
![Page 88: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/88.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Rigidity – An Example
Sándor Kovács Subvarieties of moduli stacks
![Page 89: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/89.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Rigidity – An ExampleY → B a non-isotrivial family of curves of genus ≥ 2, and
C a smooth projective curve of genus ≥ 2.
Sándor Kovács Subvarieties of moduli stacks
![Page 90: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/90.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Rigidity – An ExampleY → B a non-isotrivial family of curves of genus ≥ 2, and
C a smooth projective curve of genus ≥ 2.
Sándor Kovács Subvarieties of moduli stacks
![Page 91: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/91.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Rigidity – An ExampleY → B a non-isotrivial family of curves of genus ≥ 2, and
C a smooth projective curve of genus ≥ 2.
Sándor Kovács Subvarieties of moduli stacks
![Page 92: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/92.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Rigidity – An Examplef : X = Y × C → B is an admissible family, and
any deformation of C gives a deformation of f .
Sándor Kovács Subvarieties of moduli stacks
![Page 93: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/93.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Rigidity – An Examplef : X = Y × C → B is an admissible family, and
any deformation of C gives a deformation of f .
Sándor Kovács Subvarieties of moduli stacks
![Page 94: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/94.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
RigidityTherefore, (R) fails.
Question:Under what additional conditions does (R) hold?
(Partial) Answer:
Theorem (VIEHWEG-ZUO, K )Rigidity holds for strongly non-isotrivial families.
1unfortunately the margin is not wide enough to define this term.
Sándor Kovács Subvarieties of moduli stacks
![Page 95: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/95.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
RigidityTherefore, (R) fails.
Question:Under what additional conditions does (R) hold?
(Partial) Answer:
Theorem (VIEHWEG-ZUO, K )Rigidity holds for strongly non-isotrivial families.
1unfortunately the margin is not wide enough to define this term.
Sándor Kovács Subvarieties of moduli stacks
![Page 96: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/96.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
RigidityTherefore, (R) fails.
Question:Under what additional conditions does (R) hold?
(Partial) Answer:
Theorem (VIEHWEG-ZUO, K )Rigidity holds for strongly non-isotrivial families.
1unfortunately the margin is not wide enough to define this term.
Sándor Kovács Subvarieties of moduli stacks
![Page 97: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/97.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
RigidityTherefore, (R) fails.
Question:Under what additional conditions does (R) hold?
(Partial) Answer:
Theorem (VIEHWEG-ZUO, K )Rigidity holds for strongly1non-isotrivial families.
1unfortunately the margin is not wide enough to define this term.
Sándor Kovács Subvarieties of moduli stacks
![Page 98: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/98.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Open ProblemGive a geometric description of strong non-isotriviality.
lt g that pl it w l
Sándor Kovács Subvarieties of moduli stacks
![Page 99: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/99.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Open ProblemGive a geometric description of strong non-isotriviality,or at least give a geometric condition that implies it.
Sándor Kovács Subvarieties of moduli stacks
![Page 100: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/100.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Section Outline
2 GeneralizationsHigher Dimensional FibersOther directionsHigher Dimensional Bases
Sándor Kovács Subvarieties of moduli stacks
![Page 101: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/101.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Uniform Boundedness
Currently only known for families of curves:
Caporaso (2002), (2003)
Heier (2004)
Sándor Kovács Subvarieties of moduli stacks
![Page 102: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/102.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Uniform Boundedness
Currently only known for families of curves.
:
Caporaso (2002), (2003)
Heier (2004)
Sándor Kovács Subvarieties of moduli stacks
![Page 103: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/103.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Uniform Boundedness
Currently only known for families of curves:
Caporaso (2002), (2003)
Heier (2004)
Sándor Kovács Subvarieties of moduli stacks
![Page 104: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/104.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Uniform Boundedness
Currently only known for families of curves:
Caporaso (2002), (2003)
Heier (2004)
Sándor Kovács Subvarieties of moduli stacks
![Page 105: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/105.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Varieties of Kodaira dimension 0FALTINGS (1983): (B) holds, (R) fails for abelianvarieties.BORCHERDS, KATZARKOV, PANTEV, SHEPHERD-BARRON
(1998), OGUISO (2003): (R) holds for families of K3surfaces with fixed Picard number.OGUISO, VIEHWEG (2001): (H) holds for elliptic surfaces.JORGENSON, TODOROV (2002): Various partial andrelated results for K3s and Enriques surfaces.LIU, TODOROV, YAU, ZUO (2003): Various partial andrelated results for Calabi-Yau manifolds.VIEHWEG, ZUO (2003): (R) holds for stronglynon-isotrivial families of varieties of Kodairadimension 0 plus a condition.
Sándor Kovács Subvarieties of moduli stacks
![Page 106: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/106.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Varieties of Kodaira dimension ≥ 0FALTINGS (1983): (B) holds, (R) fails for abelianvarieties.BORCHERDS, KATZARKOV, PANTEV, SHEPHERD-BARRON
(1998), OGUISO (2003): (R) holds for families of K3surfaces with fixed Picard number.OGUISO, VIEHWEG (2001): (H) holds for elliptic surfaces.JORGENSON, TODOROV (2002): Various partial andrelated results for K3s and Enriques surfaces.LIU, TODOROV, YAU, ZUO (2003): Various partial andrelated results for Calabi-Yau manifolds.VIEHWEG, ZUO (2003): (R) holds for stronglynon-isotrivial families of varieties of Kodairadimension ≥ 0 plus a condition.
Sándor Kovács Subvarieties of moduli stacks
![Page 107: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/107.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Section Outline
2 GeneralizationsHigher Dimensional FibersOther directionsHigher Dimensional Bases
Sándor Kovács Subvarieties of moduli stacks
![Page 108: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/108.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Higher dimensional basesBack to canonically polarized varieties (ωXb is ample).
Instead of ∆ being a finite subset,it is a 1-codimensional subvariety of B.A family being non-isotrivial is no longer a goodassumption. Instead: maximal variation in moduli.In this case (B) is only known in a few special cases(Work of VIEHWEG, ZUO and K ).(R) would follow from the case when dim B = 1.(H) is replaced by
Conjecture (VIEHWEG (2001))If there exists an admissible family over B,then (B, ∆) is of log general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 109: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/109.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Higher dimensional basesBack to canonically polarized varieties (ωXb is ample).
Instead of ∆ being a finite subset,it is a 1-codimensional subvariety of B.
A family being non-isotrivial is no longer a goodassumption. Instead: maximal variation in moduli.In this case (B) is only known in a few special cases(Work of VIEHWEG, ZUO and K ).(R) would follow from the case when dim B = 1.(H) is replaced by
Conjecture (VIEHWEG (2001))If there exists an admissible family over B,then (B, ∆) is of log general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 110: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/110.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Higher dimensional basesBack to canonically polarized varieties (ωXb is ample).
Instead of ∆ being a finite subset,it is a 1-codimensional subvariety of B.A family being non-isotrivial is no longer a goodassumption.
Instead: maximal variation in moduli.In this case (B) is only known in a few special cases(Work of VIEHWEG, ZUO and K ).(R) would follow from the case when dim B = 1.(H) is replaced by
Conjecture (VIEHWEG (2001))If there exists an admissible family over B,then (B, ∆) is of log general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 111: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/111.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Higher dimensional basesBack to canonically polarized varieties (ωXb is ample).
Instead of ∆ being a finite subset,it is a 1-codimensional subvariety of B.A family being non-isotrivial is no longer a goodassumption. Instead: maximal variation in moduli.
In this case (B) is only known in a few special cases(Work of VIEHWEG, ZUO and K ).(R) would follow from the case when dim B = 1.(H) is replaced by
Conjecture (VIEHWEG (2001))If there exists an admissible family over B,then (B, ∆) is of log general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 112: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/112.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Higher dimensional basesBack to canonically polarized varieties (ωXb is ample).
Instead of ∆ being a finite subset,it is a 1-codimensional subvariety of B.A family being non-isotrivial is no longer a goodassumption. Instead: maximal variation in moduli.In this case (B) is only known in a few special cases(Work of VIEHWEG, ZUO and K ).(R) would follow from the case when dim B = 1.
(H) is replaced by
Conjecture (VIEHWEG (2001))If there exists an admissible family over B,then (B, ∆) is of log general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 113: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/113.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Higher dimensional basesBack to canonically polarized varieties (ωXb is ample).
Instead of ∆ being a finite subset,it is a 1-codimensional subvariety of B.A family being non-isotrivial is no longer a goodassumption. Instead: maximal variation in moduli.In this case (B) is only known in a few special cases(Work of VIEHWEG, ZUO and K ).(R) would follow from the case when dim B = 1.(H) is replaced by
Conjecture (VIEHWEG (2001))If there exists an admissible family over B,then (B, ∆) is of log general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 114: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/114.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Higher dimensional basesBack to canonically polarized varieties (ωXb is ample).
Instead of ∆ being a finite subset,it is a 1-codimensional subvariety of B.A family being non-isotrivial is no longer a goodassumption. Instead: maximal variation in moduli.In this case (B) is only known in a few special cases(Work of VIEHWEG, ZUO and K ).(R) would follow from the case when dim B = 1.(H) is replaced by
Conjecture (VIEHWEG (2001))If there exists an admissible family over B,then (B, ∆) is of log general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 115: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/115.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Higher dimensional basesBack to canonically polarized varieties (ωXb is ample).
Instead of ∆ being a finite subset,it is a 1-codimensional subvariety of B.A family being non-isotrivial is no longer a goodassumption. Instead: maximal variation in moduli.In this case (B) is only known in a few special cases(Work of VIEHWEG, ZUO and K ).(R) would follow from the case when dim B = 1.(H) is replaced by
Conjecture (VIEHWEG (2001))If there exists an admissible family over B,then (B, ∆) is of log general type.
Sándor Kovács Subvarieties of moduli stacks
![Page 116: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/116.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Admissible Families
Let B be a smooth projective variety, and∆ ⊆ B a divisor with simple normal crossings.
f : X → B is an admissible family if
• Xb is a smooth projective canonicallypolarized variety ∀b ∈ B \∆,
• Var f = dim B.
Sándor Kovács Subvarieties of moduli stacks
![Page 117: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/117.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Admissible Families
Let B be a smooth projective variety, and∆ ⊆ B a divisor with simple normal crossings.
f : X → B is an admissible family if
• Xb is a smooth projective canonicallypolarized variety ∀b ∈ B \∆,
• Var f = dim B.
Sándor Kovács Subvarieties of moduli stacks
![Page 118: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/118.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Admissible Families
Let B be a smooth projective variety, and∆ ⊆ B a divisor with simple normal crossings.
f : X → B is an admissible family if
• Xb is a smooth projective canonicallypolarized variety ∀b ∈ B \∆,
• Var f = dim B.
Sándor Kovács Subvarieties of moduli stacks
![Page 119: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/119.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Admissible Families
Let B be a smooth projective variety, and∆ ⊆ B a divisor with simple normal crossings.
f : X → B is an admissible family if
• Xb is a smooth projective canonicallypolarized variety ∀b ∈ B \∆,
• Var f = dim B.
Sándor Kovács Subvarieties of moduli stacks
![Page 120: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/120.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Conjecture (VIEHWEG (2001))Let f : X → B be an admissible family. Then κ(B, ∆) = dim B.
Theorem (ZUO (2000))Viehweg’s conjecture holds if the local Torelli theorem is truefor the general fiber of f .
Theorem (VIEHWEG-ZUO, K (2002))Viehweg’s conjecture holds for B = Pn.
Theorem (VIEHWEG-ZUO (2002))A similar result holds for smooth complete intersections of lowcodimension.
Sándor Kovács Subvarieties of moduli stacks
![Page 121: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/121.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Conjecture (VIEHWEG (2001))Let f : X → B be an admissible family. Then κ(B, ∆) = dim B.
Theorem (ZUO (2000))Viehweg’s conjecture holds if the local Torelli theorem is truefor the general fiber of f .
Theorem (VIEHWEG-ZUO, K (2002))Viehweg’s conjecture holds for B = Pn.
Theorem (VIEHWEG-ZUO (2002))A similar result holds for smooth complete intersections of lowcodimension.
Sándor Kovács Subvarieties of moduli stacks
![Page 122: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/122.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Conjecture (VIEHWEG (2001))Let f : X → B be an admissible family. Then κ(B, ∆) = dim B.
Theorem (ZUO (2000))Viehweg’s conjecture holds if the local Torelli theorem is truefor the general fiber of f .
Theorem (VIEHWEG-ZUO, K (2002))Viehweg’s conjecture holds for B = Pn.
Theorem (VIEHWEG-ZUO (2002))A similar result holds for smooth complete intersections of lowcodimension.
Sándor Kovács Subvarieties of moduli stacks
![Page 123: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/123.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
Conjecture (VIEHWEG (2001))Let f : X → B be an admissible family. Then κ(B, ∆) = dim B.
Theorem (ZUO (2000))Viehweg’s conjecture holds if the local Torelli theorem is truefor the general fiber of f .
Theorem (VIEHWEG-ZUO, K (2002))Viehweg’s conjecture holds for B = Pn.
Theorem (VIEHWEG-ZUO (2002))A similar result holds for smooth complete intersections of lowcodimension.
Sándor Kovács Subvarieties of moduli stacks
![Page 124: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/124.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
ConjectureLet f : X → B be an admissible family, then
max(κ(B, ∆), 0) ≥ Var f .
Evidence:
Theorem (K (1997))Let B be birational to an abelian variety and ∆ = ∅.Then Var f = 0.
Theorem (VIEHWEG-ZUO (2002))Let B be such that TB(− log ∆) is weakly positive.Then Var f = 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 125: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/125.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
ConjectureLet f : X → B be an admissible family, then
max(κ(B, ∆), 0) ≥ Var f .
Evidence:
Theorem (K (1997))Let B be birational to an abelian variety and ∆ = ∅.Then Var f = 0.
Theorem (VIEHWEG-ZUO (2002))Let B be such that TB(− log ∆) is weakly positive.Then Var f = 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 126: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/126.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
ConjectureLet f : X → B be an admissible family, then
max(κ(B, ∆), 0) ≥ Var f .
Evidence:
Theorem (K (1997))Let B be birational to an abelian variety and ∆ = ∅.Then Var f = 0.
Theorem (VIEHWEG-ZUO (2002))Let B be such that TB(− log ∆) is weakly positive.Then Var f = 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 127: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/127.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
ConjectureLet f : X → B be an admissible family, then
max(κ(B, ∆), 0) ≥ Var f .
Evidence:
Theorem (K (1997))Let B be birational to an abelian variety and ∆ = ∅.Then Var f = 0.
Theorem (VIEHWEG-ZUO (2002))Let B be such that TB(− log ∆) is weakly positive.Then Var f = 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 128: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/128.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
New Progress
ConjectureLet f : X → B be an admissible family, then
max(κ(B, ∆), 0) ≥ Var f .
Theorem (KEBEKUS-K (2005))This conjecture holds if dim B ≤ 2.
Sándor Kovács Subvarieties of moduli stacks
![Page 129: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/129.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
New Progress
ConjectureLet f : X → B be an admissible family, then
max(κ(B, ∆), 0) ≥ Var f .
Theorem (KEBEKUS-K (2005))This conjecture holds if dim B ≤ 2.
Sándor Kovács Subvarieties of moduli stacks
![Page 130: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/130.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
New Progress
ConjectureLet f : X → B be an admissible family, then
max(κ(B, ∆), 0) ≥ Var f .
Theorem (KEBEKUS-K (2005))This conjecture holds if dim B ≤ 2.
Sándor Kovács Subvarieties of moduli stacks
![Page 131: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/131.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Higher Dimensional FibersOther directionsHigher Dimensional Bases
New Progress
ConjectureLet f : X → B be an admissible family, then
max(κ(B, ∆), 0) ≥ Var f .
Theorem (KEBEKUS-K (2005))This conjecture holds if dim B ≤ 2.
Sándor Kovács Subvarieties of moduli stacks
![Page 132: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/132.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Section Outline
3 Techniques and IngredientsPositivity of direct imagesIterated Kodaira-Spencer maps
Sándor Kovács Subvarieties of moduli stacks
![Page 133: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/133.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Positivity of direct imagesLet f : X → B be an admissible family and for simplicity,assume that dim B = 1. Then
Theorem (Fujita, Kawamata, Kollár, Viehweg)f∗ωm
X/B is ample.
Corollarydet f∗ωm
X/B is an ample line bundle, in particular deg f∗ωmX/B > 0.
Corollary (?, K )Assume that f : X → B is smooth. Then ωX/B is ample.
Sándor Kovács Subvarieties of moduli stacks
![Page 134: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/134.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Positivity of direct imagesLet f : X → B be an admissible family and for simplicity,assume that dim B = 1. Then
Theorem (Fujita, Kawamata, KOLLÁR , Viehweg)f∗ωm
X/B is ample.
Corollarydet f∗ωm
X/B is an ample line bundle, in particular deg f∗ωmX/B > 0.
Corollary (?, K )Assume that f : X → B is smooth. Then ωX/B is ample.
Sándor Kovács Subvarieties of moduli stacks
![Page 135: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/135.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Positivity of direct imagesLet f : X → B be an admissible family and for simplicity,assume that dim B = 1. Then
Theorem (Fujita, Kawamata, Kollár, Viehweg)f∗ωm
X/B is ample.
Corollarydet f∗ωm
X/B is an ample line bundle, in particular deg f∗ωmX/B > 0.
Corollary (?, K )Assume that f : X → B is smooth. Then ωX/B is ample.
Sándor Kovács Subvarieties of moduli stacks
![Page 136: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/136.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Positivity of direct imagesLet f : X → B be an admissible family and for simplicity,assume that dim B = 1. Then
Theorem (Fujita, Kawamata, Kollár, Viehweg)f∗ωm
X/B is ample.
Corollarydet f∗ωm
X/B is an ample line bundle, in particular deg f∗ωmX/B > 0.
Corollary (?, K )Assume that f : X → B is smooth. Then ωX/B is ample.
Sándor Kovács Subvarieties of moduli stacks
![Page 137: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/137.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Weak Boundedness(WB) If f : X → B is an admissible family, then deg f∗ωm
X/B isbounded in terms of B, ∆, h, m.
good moduli theory + (WB) ⇒ (B)
(WB) ⇒ (H)
0 <
deg f∗ωmX/B ≤ (positive constant)
· (2g − 2 + #∆)
⇒ (2g − 2 + #∆) > 0.
Hence Weak Boundedness is the key statement towardsproving (B) and (H).
Sándor Kovács Subvarieties of moduli stacks
![Page 138: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/138.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Weak Boundedness(WB) If f : X → B is an admissible family, then deg f∗ωm
X/B isbounded in terms of B, ∆, h, m.
good moduli theory + (WB) ⇒ (B)
(WB) ⇒ (H)
0 <
deg f∗ωmX/B ≤ (positive constant)
· (2g − 2 + #∆)
⇒ (2g − 2 + #∆) > 0.
Hence Weak Boundedness is the key statement towardsproving (B) and (H).
Sándor Kovács Subvarieties of moduli stacks
![Page 139: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/139.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Weak Boundedness(WB) If f : X → B is an admissible family, then deg f∗ωm
X/B isbounded in terms of B, ∆, h, m.
good moduli theory + (WB) ⇒ (B)
effective form of (WB)
⇒ (H)
0 <
deg f∗ωmX/B ≤ (positive constant) · (2g − 2 + #∆)
⇒ (2g − 2 + #∆) > 0.
Hence Weak Boundedness is the key statement towardsproving (B) and (H).
Sándor Kovács Subvarieties of moduli stacks
![Page 140: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/140.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Weak Boundedness(WB) If f : X → B is an admissible family, then deg f∗ωm
X/B isbounded in terms of B, ∆, h, m.
good moduli theory + (WB) ⇒ (B)
effective form of (WB) ⇒ (H)
0 < deg f∗ωmX/B ≤ (positive constant) · (2g − 2 + #∆)
⇒ (2g − 2 + #∆) > 0.
Hence Weak Boundedness is the key statement towardsproving (B) and (H).
Sándor Kovács Subvarieties of moduli stacks
![Page 141: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/141.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Weak Boundedness(WB) If f : X → B is an admissible family, then deg f∗ωm
X/B isbounded in terms of B, ∆, h, m.
good moduli theory + (WB) ⇒ (B)
(K , 2002) (WB) ⇒ (H)
0 <
deg f∗ωmX/B ≤ (positive constant)
· (2g − 2 + #∆)
⇒ (2g − 2 + #∆) > 0.
Hence Weak Boundedness is the key statement towardsproving (B) and (H).
Sándor Kovács Subvarieties of moduli stacks
![Page 142: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/142.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Weak Boundedness(WB) If f : X → B is an admissible family, then deg f∗ωm
X/B isbounded in terms of B, ∆, h, m.
good moduli theory + (WB) ⇒ (B)
(K , 2002) (WB) ⇒ (H)
0 <
deg f∗ωmX/B ≤ (positive constant)
· (2g − 2 + #∆)
⇒ (2g − 2 + #∆) > 0.
Hence Weak Boundedness is the key statement towardsproving (B) and (H).
Sándor Kovács Subvarieties of moduli stacks
![Page 143: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/143.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Vanishing TheoremsLet X be a smooth projective variety of dimension n over Cand L an ample line bundle on X .
Then
Theorem (Kodaira, Akizuki-Nakano)Hq(X , Ωp
X ⊗L ) = 0 for p + q > n.
Theorem (Esnault-Viehweg)Let D be a normal crossing divisor on X.Then Hq(X , Ωp
X (log D)⊗L ) = 0 for p + q > n.
Theorem (Navarro-Aznar et al., K )These admit reasonable generalizations to singular varieties.
Sándor Kovács Subvarieties of moduli stacks
![Page 144: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/144.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Vanishing TheoremsLet X be a smooth projective variety of dimension n over Cand L an ample line bundle on X . Then
Theorem (Kodaira, Akizuki-Nakano)Hq(X , Ωp
X ⊗L ) = 0 for p + q > n.
Theorem (Esnault-Viehweg)Let D be a normal crossing divisor on X.Then Hq(X , Ωp
X (log D)⊗L ) = 0 for p + q > n.
Theorem (Navarro-Aznar et al., K )These admit reasonable generalizations to singular varieties.
Sándor Kovács Subvarieties of moduli stacks
![Page 145: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/145.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Vanishing TheoremsLet X be a smooth projective variety of dimension n over Cand L an ample line bundle on X . Then
Theorem (Kodaira, Akizuki-Nakano)Hq(X , Ωp
X ⊗L ) = 0 for p + q > n.
Theorem (Esnault-Viehweg)Let D be a normal crossing divisor on X.Then Hq(X , Ωp
X (log D)⊗L ) = 0 for p + q > n.
Theorem (Navarro-Aznar et al., K )These admit reasonable generalizations to singular varieties.
Sándor Kovács Subvarieties of moduli stacks
![Page 146: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/146.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Vanishing TheoremsLet X be a smooth projective variety of dimension n over Cand L an ample line bundle on X . Then
Theorem (Kodaira, Akizuki-Nakano)Hq(X , Ωp
X ⊗L ) = 0 for p + q > n.
Theorem (Esnault-Viehweg)Let D be a normal crossing divisor on X.Then Hq(X , Ωp
X (log D)⊗L ) = 0 for p + q > n.
Theorem (Navarro-Aznar et al., K )These admit reasonable generalizations to singular varieties.
Sándor Kovács Subvarieties of moduli stacks
![Page 147: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/147.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Theorem (K )Let f : X → B be an admissible family, and L an ample linebundle on X. Assume that L ⊗ f ∗ωB(∆)−(n−1) is also ample.Then Hn(X , L ⊗ f ∗ωB(∆)) = 0.
ProofCompose the edge morphisms to get a diagonal map.
ApplicationLet f : X → B be an admissible family and suppose that (H)fails, i.e., 2g(C)− 2 + #∆ ≤ 0, and hence ωB(∆)−1 is nef.Then for any ample line bundle L , Hn(X , L ⊗ f ∗ωB(∆)) = 0.If ∆ = ∅, we are done, as this implies thatHn(X , ωX ) = Hn(X , ωX/B ⊗ f ∗ωB) = 0, a contradiction.
Sándor Kovács Subvarieties of moduli stacks
![Page 148: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/148.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Theorem (K )Let f : X → B be an admissible family, and L an ample linebundle on X. Assume that L ⊗ f ∗ωB(∆)−(n−1) is also ample.Then Hn(X , L ⊗ f ∗ωB(∆)) = 0.
ProofCompose the edge morphisms to get a diagonal map.
ApplicationLet f : X → B be an admissible family and suppose that (H)fails, i.e., 2g(C)− 2 + #∆ ≤ 0, and hence ωB(∆)−1 is nef.Then for any ample line bundle L , Hn(X , L ⊗ f ∗ωB(∆)) = 0.If ∆ = ∅, we are done, as this implies thatHn(X , ωX ) = Hn(X , ωX/B ⊗ f ∗ωB) = 0, a contradiction.
Sándor Kovács Subvarieties of moduli stacks
![Page 149: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/149.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Theorem (K )Let f : X → B be an admissible family, and L an ample linebundle on X. Assume that L ⊗ f ∗ωB(∆)−(n−1) is also ample.Then Hn(X , L ⊗ f ∗ωB(∆)) = 0.
ProofCompose the edge morphisms to get a diagonal map.
ApplicationLet f : X → B be an admissible family and suppose that (H)fails, i.e., 2g(C)− 2 + #∆ ≤ 0, and hence ωB(∆)−1 is nef.
Then for any ample line bundle L , Hn(X , L ⊗ f ∗ωB(∆)) = 0.If ∆ = ∅, we are done, as this implies thatHn(X , ωX ) = Hn(X , ωX/B ⊗ f ∗ωB) = 0, a contradiction.
Sándor Kovács Subvarieties of moduli stacks
![Page 150: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/150.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Theorem (K )Let f : X → B be an admissible family, and L an ample linebundle on X. Assume that L ⊗ f ∗ωB(∆)−(n−1) is also ample.Then Hn(X , L ⊗ f ∗ωB(∆)) = 0.
ProofCompose the edge morphisms to get a diagonal map.
ApplicationLet f : X → B be an admissible family and suppose that (H)fails, i.e., 2g(C)− 2 + #∆ ≤ 0, and hence ωB(∆)−1 is nef.Then for any ample line bundle L , Hn(X , L ⊗ f ∗ωB(∆)) = 0.
If ∆ = ∅, we are done, as this implies thatHn(X , ωX ) = Hn(X , ωX/B ⊗ f ∗ωB) = 0, a contradiction.
Sándor Kovács Subvarieties of moduli stacks
![Page 151: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/151.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Theorem (K )Let f : X → B be an admissible family, and L an ample linebundle on X. Assume that L ⊗ f ∗ωB(∆)−(n−1) is also ample.Then Hn(X , L ⊗ f ∗ωB(∆)) = 0.
ProofCompose the edge morphisms to get a diagonal map.
ApplicationLet f : X → B be an admissible family and suppose that (H)fails, i.e., 2g(C)− 2 + #∆ ≤ 0, and hence ωB(∆)−1 is nef.Then for any ample line bundle L , Hn(X , L ⊗ f ∗ωB(∆)) = 0.If ∆ = ∅, we are done, as this implies thatHn(X , ωX ) = Hn(X , ωX/B ⊗ f ∗ωB) = 0, a contradiction.
Sándor Kovács Subvarieties of moduli stacks
![Page 152: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/152.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Negativity of KS kernels
ZUO
observed that via duality the positivity theorem on directimages implies negativity of subbundles of the kernel ofKodaira-Spencer maps.
VIEHWEG and ZUO
combined this with the ’compose the edge morphisms to geta diagonal map’ trick to“localize” the argument. The result isan argument that makes it easier to handle singular fibers.
Sándor Kovács Subvarieties of moduli stacks
![Page 153: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/153.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Negativity of KS kernels
ZUO
observed that via duality the positivity theorem on directimages implies negativity of subbundles of the kernel ofKodaira-Spencer maps.
VIEHWEG and ZUO
combined this with the ’compose the edge morphisms to geta diagonal map’ trick to“localize” the argument. The result isan argument that makes it easier to handle singular fibers.
Sándor Kovács Subvarieties of moduli stacks
![Page 154: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/154.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Section Outline
3 Techniques and IngredientsPositivity of direct imagesIterated Kodaira-Spencer maps
Sándor Kovács Subvarieties of moduli stacks
![Page 155: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/155.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Strong non-isotriviality (and rigidity)Let f : X → B be a smooth admissible family, dim X = n + 1,dim B = 1, T m
X = ∧mTX and T mX/B = ∧mTX/B. Let 1 ≤ p ≤ n.
0 → T pX/B ⊗ f ∗T⊗(n−p)
B →→ T p
X ⊗ f ∗T⊗(n−p)B → T p−1
X/B ⊗ f ∗T⊗(n−p+1)B → 0.
This induces an edge map,
ρ(p)f : Rp−1f∗T
p−1X/B ⊗ T⊗(n−p+1)
B → Rpf∗TpX/B ⊗ T⊗(n−p)
B .
DefinitionLet ρf := ρ
(n)f ρ
(n−1)f · · · ρ
(1)f : T⊗n
B −→ Rnf∗T nX/B and
call f strongly non-isotrivial if ρf 6= 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 156: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/156.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Strong non-isotriviality (and rigidity)Let f : X → B be a smooth admissible family, dim X = n + 1,dim B = 1, T m
X = ∧mTX and T mX/B = ∧mTX/B. Let 1 ≤ p ≤ n.
0 → T pX/B ⊗ f ∗T⊗(n−p)
B →→ T p
X ⊗ f ∗T⊗(n−p)B → T p−1
X/B ⊗ f ∗T⊗(n−p+1)B → 0.
This induces an edge map,
ρ(p)f : Rp−1f∗T
p−1X/B ⊗ T⊗(n−p+1)
B → Rpf∗TpX/B ⊗ T⊗(n−p)
B .
DefinitionLet ρf := ρ
(n)f ρ
(n−1)f · · · ρ
(1)f : T⊗n
B −→ Rnf∗T nX/B and
call f strongly non-isotrivial if ρf 6= 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 157: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/157.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Strong non-isotriviality (and rigidity)Let f : X → B be a smooth admissible family, dim X = n + 1,dim B = 1, T m
X = ∧mTX and T mX/B = ∧mTX/B. Let 1 ≤ p ≤ n.
0 → T pX/B ⊗ f ∗T⊗(n−p)
B →→ T p
X ⊗ f ∗T⊗(n−p)B → T p−1
X/B ⊗ f ∗T⊗(n−p+1)B → 0.
This induces an edge map,
ρ(p)f : Rp−1f∗T
p−1X/B ⊗ T⊗(n−p+1)
B → Rpf∗TpX/B ⊗ T⊗(n−p)
B .
DefinitionLet ρf := ρ
(n)f ρ
(n−1)f · · · ρ
(1)f : T⊗n
B −→ Rnf∗T nX/B and
call f strongly non-isotrivial if ρf 6= 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 158: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/158.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Strong non-isotriviality (and rigidity)Let f : X → B be a smooth admissible family, dim X = n + 1,dim B = 1, T m
X = ∧mTX and T mX/B = ∧mTX/B. Let 1 ≤ p ≤ n.
0 → T pX/B ⊗ f ∗T⊗(n−p)
B →→ T p
X ⊗ f ∗T⊗(n−p)B → T p−1
X/B ⊗ f ∗T⊗(n−p+1)B → 0.
This induces an edge map,
ρ(p)f : Rp−1f∗T
p−1X/B ⊗ T⊗(n−p+1)
B → Rpf∗TpX/B ⊗ T⊗(n−p)
B .
DefinitionLet ρf := ρ
(n)f ρ
(n−1)f · · · ρ
(1)f : T⊗n
B −→ Rnf∗T nX/B and
call f strongly non-isotrivial if ρf 6= 0.
Sándor Kovács Subvarieties of moduli stacks
![Page 159: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/159.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Geometric Meaning
Definitionρf : T⊗n
B −→ Rnf∗T nX/B and f is strongly non-isotrivial if ρf 6= 0.
The condition ρf 6= 0 is supposed to mean that the family isnon-isotrivial in every vertical direction.
ProblemMake this precise, i.e., give a geometric description of "strongnon-isotriviality".
Sándor Kovács Subvarieties of moduli stacks
![Page 160: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/160.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Geometric Meaning
Definitionρf : T⊗n
B −→ Rnf∗T nX/B and f is strongly non-isotrivial if ρf 6= 0.
The condition ρf 6= 0 is supposed to mean that the family isnon-isotrivial in every vertical direction.
ProblemMake this precise, i.e., give a geometric description of "strongnon-isotriviality".
Sándor Kovács Subvarieties of moduli stacks
![Page 161: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/161.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Positivity of direct imagesIterated Kodaira-Spencer maps
Geometric Meaning
Definitionρf : T⊗n
B −→ Rnf∗T nX/B and f is strongly non-isotrivial if ρf 6= 0.
The condition ρf 6= 0 is supposed to mean that the family isnon-isotrivial in every vertical direction.
ProblemMake this precise, i.e., give a geometric description of "strongnon-isotriviality".
Sándor Kovács Subvarieties of moduli stacks
![Page 162: Subvarieties of moduli stacks - sites.math.washington.edukovacs/seattle... · Shafarevich’s Conjecture Generalizations Techniques and Ingredients Definitions and Notation Outline](https://reader036.fdocuments.in/reader036/viewer/2022071218/605145dfcacc1f25aa5b91c9/html5/thumbnails/162.jpg)
Shafarevich’s ConjectureGeneralizations
Techniques and Ingredients
Acknowledgement
This presentation was made using thebeamertex LATEX macropackage of Till Tantau.
http://latex-beamer.sourceforge.net
Sándor Kovács Subvarieties of moduli stacks