Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low...
Transcript of Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low...
![Page 1: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/1.jpg)
Rational points, rational curves,rational varieties
![Page 2: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/2.jpg)
Rational and integral points
We study solutions of diophantine equations:
rational points = (nontrivial) rational solutions ofequations, e.g.,
x3 + y3 + z3 = 0︸ ︷︷ ︸elliptic curve
, x3 + y3 + z3 + t3 = 0︸ ︷︷ ︸cubic surface
integral points = integral solutions of nonhomogeneousequations, e.g.,
x2 + y2 + z2 = 3xyz︸ ︷︷ ︸log-K3 surface
, x2 + y2 + z2 = c︸ ︷︷ ︸log-Fano surface
, c ∈ N.
Introduction
![Page 3: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/3.jpg)
Rational and integral points
We study solutions of diophantine equations:
rational points = (nontrivial) rational solutions ofequations, e.g.,
x3 + y3 + z3 = 0︸ ︷︷ ︸elliptic curve
, x3 + y3 + z3 + t3 = 0︸ ︷︷ ︸cubic surface
integral points = integral solutions of nonhomogeneousequations, e.g.,
x2 + y2 + z2 = 3xyz︸ ︷︷ ︸log-K3 surface
, x2 + y2 + z2 = c︸ ︷︷ ︸log-Fano surface
, c ∈ N.
Introduction
![Page 4: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/4.jpg)
Rational points
Balakrishnan, ... (2018)
The only rational points on the curve
y2 = −4x7 + 24x6 − 56x5 + 72x4 − 56x3 + 28x2 − 8x+ 1.
are(0,−1), (0, 1), (1,−1), (1, 1).
Introduction
![Page 5: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/5.jpg)
Rational points
Euler’s conjecture (1769)
xn1 + xn2 + · · ·+ xnn−1 = xnn︸ ︷︷ ︸Calabi-Yau
, n ≥ 4,
has no nontrivial solutions in Q.
Counterexample n = 5 :
(27, 84, 110, 133, 144)
Elkies (1998)
For n = 4, rational points are dense. The smallest solution is
(95800, 217519, 414560, 422481).
Introduction
![Page 6: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/6.jpg)
Rational points
Euler’s conjecture (1769)
xn1 + xn2 + · · ·+ xnn−1 = xnn︸ ︷︷ ︸Calabi-Yau
, n ≥ 4,
has no nontrivial solutions in Q.
Counterexample n = 5 :
(27, 84, 110, 133, 144)
Elkies (1998)
For n = 4, rational points are dense. The smallest solution is
(95800, 217519, 414560, 422481).
Introduction
![Page 7: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/7.jpg)
Rational points
Euler’s conjecture (1769)
xn1 + xn2 + · · ·+ xnn−1 = xnn︸ ︷︷ ︸Calabi-Yau
, n ≥ 4,
has no nontrivial solutions in Q.
Counterexample n = 5 :
(27, 84, 110, 133, 144)
Elkies (1998)
For n = 4, rational points are dense.
The smallest solution is
(95800, 217519, 414560, 422481).
Introduction
![Page 8: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/8.jpg)
Rational points
Euler’s conjecture (1769)
xn1 + xn2 + · · ·+ xnn−1 = xnn︸ ︷︷ ︸Calabi-Yau
, n ≥ 4,
has no nontrivial solutions in Q.
Counterexample n = 5 :
(27, 84, 110, 133, 144)
Elkies (1998)
For n = 4, rational points are dense. The smallest solution is
(95800, 217519, 414560, 422481).
Introduction
![Page 9: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/9.jpg)
Integral points
x3 + y3 + z3 = c︸ ︷︷ ︸log-K3 surface
No solutions in Z, if c = ±4 (mod 9).
The only known solutionsfor c = 3 are
(1, 1, 1), (4, 4,−5), (4,−5, 4), (−5, 4, 4).
Booker (2019)
(8866128975287528,−8778405442862239,−2736111468807040)
is the smallest solution for c = 33.
23 core-years. No solution is known for c = 42.
Introduction
![Page 10: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/10.jpg)
Integral points
x3 + y3 + z3 = c︸ ︷︷ ︸log-K3 surface
No solutions in Z, if c = ±4 (mod 9). The only known solutionsfor c = 3 are
(1, 1, 1), (4, 4,−5), (4,−5, 4), (−5, 4, 4).
Booker (2019)
(8866128975287528,−8778405442862239,−2736111468807040)
is the smallest solution for c = 33.
23 core-years. No solution is known for c = 42.
Introduction
![Page 11: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/11.jpg)
Integral points
x3 + y3 + z3 = c︸ ︷︷ ︸log-K3 surface
No solutions in Z, if c = ±4 (mod 9). The only known solutionsfor c = 3 are
(1, 1, 1), (4, 4,−5), (4,−5, 4), (−5, 4, 4).
Booker (2019)
(8866128975287528,−8778405442862239,−2736111468807040)
is the smallest solution for c = 33.
23 core-years. No solution is known for c = 42.
Introduction
![Page 12: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/12.jpg)
Integral points
x3 + y3 + z3 = c︸ ︷︷ ︸log-K3 surface
No solutions in Z, if c = ±4 (mod 9). The only known solutionsfor c = 3 are
(1, 1, 1), (4, 4,−5), (4,−5, 4), (−5, 4, 4).
Booker (2019)
(8866128975287528,−8778405442862239,−2736111468807040)
is the smallest solution for c = 33.
23 core-years. No solution is known for c = 42.Introduction
![Page 13: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/13.jpg)
Rational and integral points
Sporadic, appear out of nowhere.
Close connections to complexity theory and computer science:
A solution is easy to verify but hard to find
Hidden structures (group law on elliptic curves)
Lattices interacting with geometry
Introduction
![Page 14: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/14.jpg)
Rational and integral points
Sporadic, appear out of nowhere.
Close connections to complexity theory and computer science:
A solution is easy to verify but hard to find
Hidden structures (group law on elliptic curves)
Lattices interacting with geometry
Introduction
![Page 15: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/15.jpg)
Rational and integral points
Sporadic, appear out of nowhere.
Close connections to complexity theory and computer science:
A solution is easy to verify but hard to find
Hidden structures (group law on elliptic curves)
Lattices interacting with geometry
Introduction
![Page 16: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/16.jpg)
Rational and integral points
Sporadic, appear out of nowhere.
Close connections to complexity theory and computer science:
A solution is easy to verify but hard to find
Hidden structures (group law on elliptic curves)
Lattices interacting with geometry
Introduction
![Page 17: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/17.jpg)
Rational points on cubic surfaces
Introduction
![Page 18: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/18.jpg)
Rational points on cubic surfaces
Introduction
![Page 19: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/19.jpg)
Rational points on cubic surfaces
Introduction
![Page 20: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/20.jpg)
How to navigate?
There is an abundance of concrete, computational resultsconcerning specific equations.
We need an organizing principle: geometry.
Introduction
![Page 21: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/21.jpg)
Rational curves
P1 = (x : y)
P1 ↪→ P2
{x2 + y2 = z2}
x(t) := t2 − 1, y(t) = 2t, z(t) = t2 + 1
Introduction
![Page 22: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/22.jpg)
Rational curves
P1 = (x : y)
P1 ↪→ P2
{x2 + y2 = z2}
x(t) := t2 − 1, y(t) = 2t, z(t) = t2 + 1
Introduction
![Page 23: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/23.jpg)
Rational surfaces
xyz = w3
can be parametrized by two independent variables
x = s, y = t, z = s2t2, w = st
contains lines, e.g., x = w = 0.
Introduction
![Page 24: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/24.jpg)
Basic algebraic geometry
X ⊂ Pn
algebraic variety = system of homogeneous polynomialequations in n+ 1 variables, with coefficients in a field k, e.g.,
X :=
{n∑i=0
cjxdi = 0, ci ∈ k
}, d = 2, 3, 4, . . .
Geometry concerns properties over algebraically closed fields,e.g., k = C.
Geometry
![Page 25: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/25.jpg)
Basic algebraic geometry
X ⊂ Pn
algebraic variety = system of homogeneous polynomialequations in n+ 1 variables, with coefficients in a field k, e.g.,
X :=
{n∑i=0
cjxdi = 0, ci ∈ k
}, d = 2, 3, 4, . . .
Geometry concerns properties over algebraically closed fields,e.g., k = C.
Geometry
![Page 26: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/26.jpg)
Basic algebraic geometry
Main questions:
Invariants (dimension, degree)
Classification
Fano, Calabi-Yau, general typerational, stably rational, unirational, rationallyconnectedhomogeneous, ...
Singularities
Fibrations, families of subvarieties, e.g., lines
Geometry
![Page 27: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/27.jpg)
Surfaces of degree 2, 3, and 4
Geometry
![Page 28: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/28.jpg)
Basic arithmetic geometry
Study ofX(k),
the set of k-rational points of X, i.e., nontrivial solutions of thesystem of defining equations, when k is not algebraically closed:
k = Fp, Q, Fp(t), C(t), ...
Main questions:
Existence of points
Density in various topologies
Geometry
![Page 29: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/29.jpg)
Basic arithmetic geometry
Study ofX(k),
the set of k-rational points of X, i.e., nontrivial solutions of thesystem of defining equations, when k is not algebraically closed:
k = Fp, Q, Fp(t), C(t), ...
Main questions:
Existence of points
Density in various topologies
Geometry
![Page 30: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/30.jpg)
Lang’s philosophy:
{Arithmetic} ⇔ {Geometry}
Existence of rational and elliptic curves on X(C)
Geometric properties of families parametrizing such curves
Goal today: Discuss examples, at the interface of these fields.
Geometry
![Page 31: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/31.jpg)
Lang’s philosophy:
{Arithmetic} ⇔ {Geometry}
Existence of rational and elliptic curves on X(C)
Geometric properties of families parametrizing such curves
Goal today: Discuss examples, at the interface of these fields.
Geometry
![Page 32: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/32.jpg)
Lang’s philosophy:
{Arithmetic} ⇔ {Geometry}
Existence of rational and elliptic curves on X(C)
Geometric properties of families parametrizing such curves
Goal today: Discuss examples, at the interface of these fields.
Geometry
![Page 33: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/33.jpg)
Lang’s philosophy:
{Arithmetic} ⇔ {Geometry}
Existence of rational and elliptic curves on X(C)
Geometric properties of families parametrizing such curves
Goal today: Discuss examples, at the interface of these fields.
Geometry
![Page 34: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/34.jpg)
Classification via degree
1 low degree: del Pezzo surfaces, Fano threefolds, . . .
2 high degree: general type
3 intermediate type
Basic examples:
1 Xd ⊂ Pn, with d ≤ n: quadrics, cubic surfaces
2 Xd with d ≥ n+ 2
3 Xd with d = n+ 1: K3 surfaces and their higherdimensional analogs, Calabi-Yau varieties
Classification schemes
![Page 35: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/35.jpg)
Classification via degree
1 low degree: del Pezzo surfaces, Fano threefolds, . . .
2 high degree: general type
3 intermediate type
Basic examples:
1 Xd ⊂ Pn, with d ≤ n: quadrics, cubic surfaces
2 Xd with d ≥ n+ 2
3 Xd with d = n+ 1: K3 surfaces and their higherdimensional analogs, Calabi-Yau varieties
Classification schemes
![Page 36: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/36.jpg)
Birational classification
How close is X to Pn?
(R) rational = birational to Pn
(S) stably rational = X × Pn is rational, for some n
(U) unirational = dominated by Pn
(RC) rational connectedness = for all x1, x2 ∈ X(k) there is arational curve C/k such that x1, x2 ∈ C(k)
(R)⇒ (S)⇒ (U)⇒ (RC)
These properties depend on the ground field k
x2 + y2 + z2 = 0︸ ︷︷ ︸not rational over Q, X(Q) = ∅
x2 + y2 − z2 = 0︸ ︷︷ ︸rational over Q
Classification schemes
![Page 37: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/37.jpg)
Birational classification
How close is X to Pn?
(R) rational = birational to Pn
(S) stably rational = X × Pn is rational, for some n
(U) unirational = dominated by Pn
(RC) rational connectedness = for all x1, x2 ∈ X(k) there is arational curve C/k such that x1, x2 ∈ C(k)
(R)⇒ (S)⇒ (U)⇒ (RC)
These properties depend on the ground field k
x2 + y2 + z2 = 0︸ ︷︷ ︸not rational over Q, X(Q) = ∅
x2 + y2 − z2 = 0︸ ︷︷ ︸rational over Q
Classification schemes
![Page 38: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/38.jpg)
Birational classification
How close is X to Pn?
(R) rational = birational to Pn
(S) stably rational = X × Pn is rational, for some n
(U) unirational = dominated by Pn
(RC) rational connectedness = for all x1, x2 ∈ X(k) there is arational curve C/k such that x1, x2 ∈ C(k)
(R)⇒ (S)⇒ (U)⇒ (RC)
These properties depend on the ground field k
x2 + y2 + z2 = 0︸ ︷︷ ︸not rational over Q, X(Q) = ∅
x2 + y2 − z2 = 0︸ ︷︷ ︸rational over Q
Classification schemes
![Page 39: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/39.jpg)
Birational classification
How close is X to Pn?
(R) rational = birational to Pn
(S) stably rational = X × Pn is rational, for some n
(U) unirational = dominated by Pn
(RC) rational connectedness = for all x1, x2 ∈ X(k) there is arational curve C/k such that x1, x2 ∈ C(k)
(R)⇒ (S)⇒ (U)⇒ (RC)
These properties depend on the ground field k
x2 + y2 + z2 = 0︸ ︷︷ ︸not rational over Q, X(Q) = ∅
x2 + y2 − z2 = 0︸ ︷︷ ︸rational over Q
Classification schemes
![Page 40: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/40.jpg)
Birational classification
How close is X to Pn?
(R) rational = birational to Pn
(S) stably rational = X × Pn is rational, for some n
(U) unirational = dominated by Pn
(RC) rational connectedness = for all x1, x2 ∈ X(k) there is arational curve C/k such that x1, x2 ∈ C(k)
(R)⇒ (S)⇒ (U)⇒ (RC)
These properties depend on the ground field k
x2 + y2 + z2 = 0︸ ︷︷ ︸not rational over Q, X(Q) = ∅
x2 + y2 − z2 = 0︸ ︷︷ ︸rational over Q
Classification schemes
![Page 41: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/41.jpg)
Birational classification
How close is X to Pn?
(R) rational = birational to Pn
(S) stably rational = X × Pn is rational, for some n
(U) unirational = dominated by Pn
(RC) rational connectedness = for all x1, x2 ∈ X(k) there is arational curve C/k such that x1, x2 ∈ C(k)
(R)⇒ (S)⇒ (U)⇒ (RC)
These properties depend on the ground field k
x2 + y2 + z2 = 0︸ ︷︷ ︸not rational over Q, X(Q) = ∅
x2 + y2 − z2 = 0︸ ︷︷ ︸rational over Q
Classification schemes
![Page 42: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/42.jpg)
Birational classification
Over C, in dimension ≤ 2, the notions coincide.
Over Q, in dimension ≥ 2, and over C, in dimension ≥ 3,
(R) 6= (S) 6= (U)?= (RC)
Classification schemes
![Page 43: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/43.jpg)
Birational classification
Over C, in dimension ≤ 2, the notions coincide.
Over Q, in dimension ≥ 2, and over C, in dimension ≥ 3,
(R) 6= (S) 6= (U)?= (RC)
Classification schemes
![Page 44: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/44.jpg)
Rationality of surfaces
There exist intersections of two quadrics Q1 ∩Q2 ⊂ P4,over Q, which are stably rational but not rational.
Cubic surfaces with a point over k are unirational, but notalways stably rational or rational.
Yang–T. (2018)
A minimal nonrational cubic surface is not stably rational.
There are effective procedures to determine rationality of acubic surface over Q.
There is no effective procedure to determine whether acubic surface over Q has a Q-rational point, at present.
Surfaces
![Page 45: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/45.jpg)
Rationality of surfaces
There exist intersections of two quadrics Q1 ∩Q2 ⊂ P4,over Q, which are stably rational but not rational.
Cubic surfaces with a point over k are unirational, but notalways stably rational or rational.
Yang–T. (2018)
A minimal nonrational cubic surface is not stably rational.
There are effective procedures to determine rationality of acubic surface over Q.
There is no effective procedure to determine whether acubic surface over Q has a Q-rational point, at present.
Surfaces
![Page 46: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/46.jpg)
Rationality of surfaces
There exist intersections of two quadrics Q1 ∩Q2 ⊂ P4,over Q, which are stably rational but not rational.
Cubic surfaces with a point over k are unirational, but notalways stably rational or rational.
Yang–T. (2018)
A minimal nonrational cubic surface is not stably rational.
There are effective procedures to determine rationality of acubic surface over Q.
There is no effective procedure to determine whether acubic surface over Q has a Q-rational point, at present.
Surfaces
![Page 47: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/47.jpg)
Rationality of surfaces
There exist intersections of two quadrics Q1 ∩Q2 ⊂ P4,over Q, which are stably rational but not rational.
Cubic surfaces with a point over k are unirational, but notalways stably rational or rational.
Yang–T. (2018)
A minimal nonrational cubic surface is not stably rational.
There are effective procedures to determine rationality of acubic surface over Q.
There is no effective procedure to determine whether acubic surface over Q has a Q-rational point, at present.
Surfaces
![Page 48: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/48.jpg)
Rationality of surfaces
There exist intersections of two quadrics Q1 ∩Q2 ⊂ P4,over Q, which are stably rational but not rational.
Cubic surfaces with a point over k are unirational, but notalways stably rational or rational.
Yang–T. (2018)
A minimal nonrational cubic surface is not stably rational.
There are effective procedures to determine rationality of acubic surface over Q.
There is no effective procedure to determine whether acubic surface over Q has a Q-rational point, at present.
Surfaces
![Page 49: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/49.jpg)
Fano threefolds: Quartics
Unirationality over k implies Zariski density of X(k).
Smooth quartic threefolds X4 ⊂ P4 are not rational, some areknown to be unirational.
Harris–T. (1998)
Rational points on X4 over number fields k are potentiallydense, i.e., Zariski dense after a finite extension of k.
Fano threefolds
![Page 50: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/50.jpg)
Fano threefolds: Quartics
Unirationality over k implies Zariski density of X(k).
Smooth quartic threefolds X4 ⊂ P4 are not rational, some areknown to be unirational.
Harris–T. (1998)
Rational points on X4 over number fields k are potentiallydense, i.e., Zariski dense after a finite extension of k.
Fano threefolds
![Page 51: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/51.jpg)
Intersections of two quadrics
LetX = Q1 ∩Q2 ⊂ P5
be a smooth intersection of two quadrics over a field k.
X is rational over k = C.
Assume that X(k) 6= ∅. Then X is unirational.
Hassett–T. (2019)
X is rational over k if and only if X contains a line over k.
A very general X is not stably rational over k = C(t).
Fano threefolds
![Page 52: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/52.jpg)
Intersections of two quadrics
LetX = Q1 ∩Q2 ⊂ P5
be a smooth intersection of two quadrics over a field k.
X is rational over k = C.
Assume that X(k) 6= ∅. Then X is unirational.
Hassett–T. (2019)
X is rational over k if and only if X contains a line over k.
A very general X is not stably rational over k = C(t).
Fano threefolds
![Page 53: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/53.jpg)
Intersections of two quadrics
LetX = Q1 ∩Q2 ⊂ P5
be a smooth intersection of two quadrics over a field k.
X is rational over k = C.
Assume that X(k) 6= ∅. Then X is unirational.
Hassett–T. (2019)
X is rational over k if and only if X contains a line over k.
A very general X is not stably rational over k = C(t).
Fano threefolds
![Page 54: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/54.jpg)
Intersections of two quadrics
LetX = Q1 ∩Q2 ⊂ P5
be a smooth intersection of two quadrics over a field k.
X is rational over k = C.
Assume that X(k) 6= ∅. Then X is unirational.
Hassett–T. (2019)
X is rational over k if and only if X contains a line over k.
A very general X is not stably rational over k = C(t).
Fano threefolds
![Page 55: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/55.jpg)
Rational points on K3 surfaces
K3 surfaces are not rational.
The only known nontrivial Q-rational point on
x4 + 2y4 = z4 + 4w4
is (up to signs):
(1 484 801, 1 203 120, 1 169 407, 1 157 520).
This surface contains 48 lines, over Q̄.
K3 surfaces
![Page 56: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/56.jpg)
Rational points on K3 surfaces
K3 surfaces are not rational.
The only known nontrivial Q-rational point on
x4 + 2y4 = z4 + 4w4
is (up to signs):
(1 484 801, 1 203 120, 1 169 407, 1 157 520).
This surface contains 48 lines, over Q̄.
K3 surfaces
![Page 57: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/57.jpg)
Rational points on K3 surfaces
K3 surfaces are not rational.
The only known nontrivial Q-rational point on
x4 + 2y4 = z4 + 4w4
is (up to signs):
(1 484 801, 1 203 120, 1 169 407, 1 157 520).
This surface contains 48 lines, over Q̄.
K3 surfaces
![Page 58: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/58.jpg)
Rational curves on K3 surfaces
Let N(d) be the number of rational d-nodal curves on a K3surface.
Yau-Zaslow formula (1996)∑d≥0
N(d)td =∏d≥1
(1
1− td
)24
.
K3 surfaces
![Page 59: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/59.jpg)
Rational points and curves on K3 surfaces
Bogomolov-T. (2000)
Let X → P1 be an elliptic K3 surface over a field k ofcharacteristic zero. Then
X contains infinitely many rational curves over k̄
,
rational points on X are potentially dense.
Technique: deformation and specialization
K3 surfaces
![Page 60: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/60.jpg)
Rational points and curves on K3 surfaces
Bogomolov-T. (2000)
Let X → P1 be an elliptic K3 surface over a field k ofcharacteristic zero. Then
X contains infinitely many rational curves over k̄,
rational points on X are potentially dense.
Technique: deformation and specialization
K3 surfaces
![Page 61: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/61.jpg)
Rational points and curves on K3 surfaces
Bogomolov-T. (2000)
Let X → P1 be an elliptic K3 surface over a field k ofcharacteristic zero. Then
X contains infinitely many rational curves over k̄,
rational points on X are potentially dense.
Technique: deformation and specialization
K3 surfaces
![Page 62: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/62.jpg)
Rational curves on K3 surfaces
Let X be a K3 surface over an algebraically closed field k ofcharacteristic zero. Then X contains infinitely many rationalcurves.
Bogomolov-Hassett-T. (2010): deg(X) = 2, i.e.,
w2 = f6(x, y, z),
Li-Liedtke (2011): Pic(X) ' Z
Chen-Gounelas-Liedtke (2019): general case
Technique: Reduction modulo p, deformation and specialization
K3 surfaces
![Page 63: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/63.jpg)
Rational curves on K3 surfaces
Let X be a K3 surface over an algebraically closed field k ofcharacteristic zero. Then X contains infinitely many rationalcurves.
Bogomolov-Hassett-T. (2010): deg(X) = 2, i.e.,
w2 = f6(x, y, z),
Li-Liedtke (2011): Pic(X) ' Z
Chen-Gounelas-Liedtke (2019): general case
Technique: Reduction modulo p, deformation and specialization
K3 surfaces
![Page 64: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/64.jpg)
Rational curves on Calabi-Yau varieties
Kamenova-Vafa (2019)
Let X be a Calabi-Yau variety over C of dimension ≥ 3 (whosemirror-dual exists and is not Hodge-degenerate). Then Xcontains rational or elliptic curves.
K3 surfaces
![Page 65: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/65.jpg)
Zariski density of rational points
Yau-Zaslow exhibited an abelian fibration
X [n] → Pn,
n-th punctual Hilbert scheme (n-th symmetric power) of the K3surface X, a holomorphic symplectic variety.
Hassett-T. (2000)
Let X be a K3 surface over a field. Then there exists an n suchthat rational points on X [n] are potentially dense.
K3 surfaces
![Page 66: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/66.jpg)
Zariski density of rational points
Yau-Zaslow exhibited an abelian fibration
X [n] → Pn,
n-th punctual Hilbert scheme (n-th symmetric power) of the K3surface X, a holomorphic symplectic variety.
Hassett-T. (2000)
Let X be a K3 surface over a field. Then there exists an n suchthat rational points on X [n] are potentially dense.
K3 surfaces
![Page 67: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/67.jpg)
Rational curves on K3[n]
Conjectural description of ample and effective divisors andof birational fibration structures (Hassett-T. 1999)
Examples with Aut(X) trivial but Bir(X) infinite(Hassett–T. 2009)
Proof of conjectures by Bayer–Macri (2013),Bayer–Hassett–T. (2015)
K3 surfaces
![Page 68: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/68.jpg)
Zariski density over k = C(B) / Hassett–T.
Examples of general K3 surfaces X with X(k) dense
Examples of Calabi-Yau: hypersurfaces of degree n+ 1 inPn, with n ≥ 4
Integral points on log-Fano varieties
Integral points on log-K3 surfaces over number fields arealso potentially dense
Arithmetic over function fields
![Page 69: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/69.jpg)
Technique: Broken teeth
Arithmetic over function fields
![Page 70: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/70.jpg)
Techniques
Managing rational curves:
comb constructions
deformation theory
degenerations (bend and break)
producing rational curves in prescribed homology classes
Arithmetic over function fields
![Page 71: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/71.jpg)
Rationality
In higher dimensions, it is difficult to produce a rationalparametrization or to show that no such parametrizations exists.
How to parametrize x3 + y3 + z3 + w3 = 0? Elkies:
x = −(s+ r)t2 + (s2 + 2r2)t− s3 + rs2 − 2r2s− r3
y = t3 − (s+ r)t2 + (s2 + 2r2)t+ rs2 − 2r2s+ r3
z = −t3 + (s+ r)t2 − (s2 + 2r2)t+ 2rs2 − r2s+ 2r3
w = (s− 2r)t2 + (r2 − s2)t+ s3 − rs2 + 2r2s− 2r3
What about x3 + y3 + z3 + 2w3 = 0?
Birational types
![Page 72: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/72.jpg)
Rationality
In higher dimensions, it is difficult to produce a rationalparametrization or to show that no such parametrizations exists.
How to parametrize x3 + y3 + z3 + w3 = 0?
Elkies:
x = −(s+ r)t2 + (s2 + 2r2)t− s3 + rs2 − 2r2s− r3
y = t3 − (s+ r)t2 + (s2 + 2r2)t+ rs2 − 2r2s+ r3
z = −t3 + (s+ r)t2 − (s2 + 2r2)t+ 2rs2 − r2s+ 2r3
w = (s− 2r)t2 + (r2 − s2)t+ s3 − rs2 + 2r2s− 2r3
What about x3 + y3 + z3 + 2w3 = 0?
Birational types
![Page 73: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/73.jpg)
Rationality
In higher dimensions, it is difficult to produce a rationalparametrization or to show that no such parametrizations exists.
How to parametrize x3 + y3 + z3 + w3 = 0? Elkies:
x = −(s+ r)t2 + (s2 + 2r2)t− s3 + rs2 − 2r2s− r3
y = t3 − (s+ r)t2 + (s2 + 2r2)t+ rs2 − 2r2s+ r3
z = −t3 + (s+ r)t2 − (s2 + 2r2)t+ 2rs2 − r2s+ 2r3
w = (s− 2r)t2 + (r2 − s2)t+ s3 − rs2 + 2r2s− 2r3
What about x3 + y3 + z3 + 2w3 = 0?
Birational types
![Page 74: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/74.jpg)
Rationality
In higher dimensions, it is difficult to produce a rationalparametrization or to show that no such parametrizations exists.
How to parametrize x3 + y3 + z3 + w3 = 0? Elkies:
x = −(s+ r)t2 + (s2 + 2r2)t− s3 + rs2 − 2r2s− r3
y = t3 − (s+ r)t2 + (s2 + 2r2)t+ rs2 − 2r2s+ r3
z = −t3 + (s+ r)t2 − (s2 + 2r2)t+ 2rs2 − r2s+ 2r3
w = (s− 2r)t2 + (r2 − s2)t+ s3 − rs2 + 2r2s− 2r3
What about x3 + y3 + z3 + 2w3 = 0?
Birational types
![Page 75: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/75.jpg)
(Stable) rationality via specialization
Larsen–Lunts (2003): K0(V ark)/L = free abelian groupspanned by classes of algebraic varieties over k, modulostable rationality.
Nicaise–Shinder (2017): motivic reduction – formula forthe homomorphism
K0(V arK)/L→ K0(V ark)/L, K = k((t)),
in motivic integration, as in Kontsevich, Denef–Loeser, ...
Kontsevich–T. (2017): Same formula for
Burn(K)→ Burn(k),
the free abelian group spanned by classes of varieties overthe corresponding field, modulo rationality.
Birational types
![Page 76: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/76.jpg)
Specialization (Kontsevich-T. 2017)
Let o ' k[[t]], K ' k((t)), char(k) = 0.
Let X/K be a smooth proper (or projective) variety ofdimension n, with function field L = K(X).
Choose a regular model
π : X → Spec(o),
such that π is proper and the special fiber X0 over Spec(k)is a simple normal crossings (snc) divisor:
X0 = ∪α∈AdαDα, dα ∈ Z≥1.
Put
ρn([L/K]) :=∑∅6=A⊆A
(−1)#A−1[DA × A#A−1/k],
Birational types
![Page 77: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/77.jpg)
How to apply?
Exhibit a familyX → B
such that some, mildly singular, special fibers admit(cohomological) obstructions to (stable) rationality.
Then a very general member of this family will also fail (stable)rationality.
Birational types
![Page 78: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/78.jpg)
Sample application
Smooth cubic threefolds X/C are not rational.
Via analysis of the geometry of the corresponding intermediateJacobian IJ(X), Clemens-Griffiths (1972).
Nonrationality of the smooth Klein cubic threefold X ⊂ P4
x20x1 + x21x2 + x22x3 + x23x4 + x24x0 = 0,
is easier to prove: PSL2(F11) acts on X and on IJ(X); thisaction is not compatible with a decomposition of IJ(X) into aproduct of Jacobians of curves.
Specialization of rationality implies that a very general smoothcubic threefold is also not rational.
Birational types
![Page 79: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/79.jpg)
Sample application
Smooth cubic threefolds X/C are not rational.
Via analysis of the geometry of the corresponding intermediateJacobian IJ(X), Clemens-Griffiths (1972).
Nonrationality of the smooth Klein cubic threefold X ⊂ P4
x20x1 + x21x2 + x22x3 + x23x4 + x24x0 = 0,
is easier to prove: PSL2(F11) acts on X and on IJ(X); thisaction is not compatible with a decomposition of IJ(X) into aproduct of Jacobians of curves.
Specialization of rationality implies that a very general smoothcubic threefold is also not rational.
Birational types
![Page 80: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/80.jpg)
Sample application
Smooth cubic threefolds X/C are not rational.
Via analysis of the geometry of the corresponding intermediateJacobian IJ(X), Clemens-Griffiths (1972).
Nonrationality of the smooth Klein cubic threefold X ⊂ P4
x20x1 + x21x2 + x22x3 + x23x4 + x24x0 = 0,
is easier to prove: PSL2(F11) acts on X and on IJ(X); thisaction is not compatible with a decomposition of IJ(X) into aproduct of Jacobians of curves.
Specialization of rationality implies that a very general smoothcubic threefold is also not rational.
Birational types
![Page 81: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/81.jpg)
Applications of specialization, over C
Hassett–Kresch–T. (2015)
Very general conic bundles π : X → S over rational surfaceswith discriminant of sufficiently large degree are not stablyrational.
Hassett-T. (2016) / Krylov-Okada (2017)
A very general nonrational Del Pezzo fibration π : X → P1,which is not birational to a cubic threefold, is not stablyrational.
Hassett-T. (2016)
A very general nonrational Fano threefold X which is notbirational to a cubic threefold is not stably rational.
Birational types
![Page 82: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/82.jpg)
Applications of specialization, over C
Hassett–Kresch–T. (2015)
Very general conic bundles π : X → S over rational surfaceswith discriminant of sufficiently large degree are not stablyrational.
Hassett-T. (2016) / Krylov-Okada (2017)
A very general nonrational Del Pezzo fibration π : X → P1,which is not birational to a cubic threefold, is not stablyrational.
Hassett-T. (2016)
A very general nonrational Fano threefold X which is notbirational to a cubic threefold is not stably rational.
Birational types
![Page 83: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/83.jpg)
Applications of specialization, over C
Hassett–Kresch–T. (2015)
Very general conic bundles π : X → S over rational surfaceswith discriminant of sufficiently large degree are not stablyrational.
Hassett-T. (2016) / Krylov-Okada (2017)
A very general nonrational Del Pezzo fibration π : X → P1,which is not birational to a cubic threefold, is not stablyrational.
Hassett-T. (2016)
A very general nonrational Fano threefold X which is notbirational to a cubic threefold is not stably rational.
Birational types
![Page 84: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/84.jpg)
Rationality in dimension 3
The stable rationality problem in dimension 3, over C, isessentially settled, with the exception of cubic threefolds.
Now the focus is on (stable) rationality over nonclosed fields.
Birational types
![Page 85: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/85.jpg)
Equivariant birational geometry
Let X and Y be birational varieties with (birational) actions ofa (finite) group G. Is there a G-equivariant birationalisomorphism between X and Y ?
Extensive literature on classification of (conjugacy classes of)finite subgroups of the Cremona group.
Main tool: explicit analysis of birational transformations.
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 86: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/86.jpg)
Equivariant birational geometry
Let X and Y be birational varieties with (birational) actions ofa (finite) group G. Is there a G-equivariant birationalisomorphism between X and Y ?
Extensive literature on classification of (conjugacy classes of)finite subgroups of the Cremona group.
Main tool: explicit analysis of birational transformations.
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 87: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/87.jpg)
Equivariant birational types
G - finite abelian group, A = G∨ = Hom(G,C)
X - smooth projective variety, with G-action
β : X 7→∑α
[Fα, [. . .]], XG = tFα.
Let X̃ → X be a G-equivariant blowup. Consider relations
β(X̃)− β(X) = 0.
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 88: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/88.jpg)
Equivariant birational types
G - finite abelian group, A = G∨ = Hom(G,C)
X - smooth projective variety, with G-action
β : X 7→∑α
[Fα, [. . .]], XG = tFα.
Let X̃ → X be a G-equivariant blowup. Consider relations
β(X̃)− β(X) = 0.
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 89: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/89.jpg)
Birational types
Fix an integer n ≥ 2 (dimension of X). Consider the Z-module
Bn(G) generated by [a1, . . . , an], ai ∈ A,
such that∑
i Zai = A, and
(S) for all σ ∈ Sn, a1, . . . , an ∈ A we have
[aσ(1), . . . , aσ(n)] = [a1, . . . , an],
(B) for all 2 ≤ k ≤ n, all a1, . . . , ak ∈ A, b1, . . . , bn−k ∈ A with∑i
Zai +∑j
Zbj = A
we have[a1, . . . , ak, b1, . . . bn−k] =
=∑
1≤i≤k, ai 6=ai′ ,∀i′<i[a1 − ai, . . . , ai, . . . , ak − ai, b1, . . . , bn−k]
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 90: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/90.jpg)
Birational types
Kontsevich-T. 2019
The classβ(X) ∈ Bn(G)
is a well-defined G-equivariant birational invariant.
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 91: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/91.jpg)
Birational types
Assume thatG = Z/pZ ' A.
Then B2(G) is generated by symbols [a1, a2] such that
a1, a2 ∈ Z/pZ, gcd(a1, a2, p) = 1,
and
[a1, a2] = [a2, a1],
[a1, a2] = [a1, a2 − a1] + [a1 − a2, a2], where a1 6= a2,
[a, a] = [a, 0], for all a ∈ Z/pZ, gcd(a, p) = 1.
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 92: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/92.jpg)
Birational types
This gives(p2
)linear equations in the same number of variables.
rkQ(B2(G)) =p2 + 23
24
For n ≥ 3 the systems of equations are highly overdetermined.
rkQ(B3(G))?=
(p− 5)(p− 7)
24.
Jumps atp = 43, 59, 67, 83, ...
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 93: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/93.jpg)
Birational types
This gives(p2
)linear equations in the same number of variables.
rkQ(B2(G)) =p2 + 23
24
For n ≥ 3 the systems of equations are highly overdetermined.
rkQ(B3(G))?=
(p− 5)(p− 7)
24.
Jumps atp = 43, 59, 67, 83, ...
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 94: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/94.jpg)
Birational types
This gives(p2
)linear equations in the same number of variables.
rkQ(B2(G)) =p2 + 23
24
For n ≥ 3 the systems of equations are highly overdetermined.
rkQ(B3(G))?=
(p− 5)(p− 7)
24.
Jumps atp = 43, 59, 67, 83, ...
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 95: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/95.jpg)
Birational types
This gives(p2
)linear equations in the same number of variables.
rkQ(B2(G)) =p2 + 23
24
For n ≥ 3 the systems of equations are highly overdetermined.
rkQ(B3(G))?=
(p− 5)(p− 7)
24.
Jumps atp = 43, 59, 67, 83, ...
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 96: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/96.jpg)
Birational types
This gives(p2
)linear equations in the same number of variables.
rkQ(B2(G)) =p2 + 23
24
For n ≥ 3 the systems of equations are highly overdetermined.
rkQ(B3(G))?=
(p− 5)(p− 7)
24.
Jumps atp = 43, 59, 67, 83, ...
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 97: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/97.jpg)
Birational types
Consider the Z-module
Mn(G) generated by 〈a1, . . . , an〉, ai ∈ A,
such that∑
i Zai = A, and
(S) for all σ ∈ Sn, a1, . . . , an ∈ A we have
〈aσ(1), . . . , aσ(n)〉 = 〈a1, . . . , an〉,
(M)〈a1, a2, a3, . . . , an〉 =
〈a1, a2 − a1, a3, . . . , an〉+ 〈a1 − a2, a2, a3, . . . , an〉
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 98: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/98.jpg)
Birational types
The natural homomorphism
Bn(G)→Mn(G)
is a surjection (modulo 2-torsion), and conjecturally anisomorphism, modulo torsion.
Imposing an additional relation on symbols
〈−a1, a2, . . . , an〉 = −〈a1, a2, . . . , an〉
we obtain a surjection
Mn(G)→M−n (G).
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 99: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/99.jpg)
Birational types
The natural homomorphism
Bn(G)→Mn(G)
is a surjection (modulo 2-torsion), and conjecturally anisomorphism, modulo torsion.
Imposing an additional relation on symbols
〈−a1, a2, . . . , an〉 = −〈a1, a2, . . . , an〉
we obtain a surjection
Mn(G)→M−n (G).
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 100: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/100.jpg)
Hecke operators on Mn(G)
The modular groups carry (commuting) Hecke operators:
T`,r :Mn(G)→Mn(G) 1 ≤ r ≤ n− 1
Example:
T2(〈a1, a2〉) = 〈2a2, a2〉+(〈a1−a2, 2a2〉+〈2a1, a2−a1〉
)+〈a1, 2a2〉.
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 101: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/101.jpg)
Hecke operators on Mn(G)
The modular groups carry (commuting) Hecke operators:
T`,r :Mn(G)→Mn(G) 1 ≤ r ≤ n− 1
Example:
T2(〈a1, a2〉) = 〈2a2, a2〉+(〈a1−a2, 2a2〉+〈2a1, a2−a1〉
)+〈a1, 2a2〉.
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 102: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/102.jpg)
Eigenvalues of T2 on M2(Z/59Z)
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 103: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/103.jpg)
Computations of Q-ranks of Bn(Z/NZ)
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 104: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/104.jpg)
Operations
Consider exact sequences of finite abelian groups
0→ G′ → G→ G′′ → 0.
We have operations
∇ :Mn′(G′)⊗Mn′′(G′′)→Mn′+n′′(G)
∆ :Mn′+n′′(G)→Mn′(G′)⊗M−n′′(G′′)
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 105: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/105.jpg)
Operations
Consider exact sequences of finite abelian groups
0→ G′ → G→ G′′ → 0.
We have operations
∇ :Mn′(G′)⊗Mn′′(G′′)→Mn′+n′′(G)
∆ :Mn′+n′′(G)→Mn′(G′)⊗M−n′′(G′′)
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 106: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/106.jpg)
Structure
The resulting homomorphism
M2(Z/pZ)→M−2 (Z/pZ)⊕M−1 (Z/pZ)
is an isomorphism, up to torsion.
We havedim(M−2 (Z/pZ)⊗ Q) = g(X1(p)),
whereX1(p) = Γ1(p)\H
is the modular curve for the congruence subgroup Γ1(p).
This is the tip of the iceberg – there is an unexpectedconnection between birational geometry and cohomology ofarithmetic groups.
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 107: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/107.jpg)
Structure
The resulting homomorphism
M2(Z/pZ)→M−2 (Z/pZ)⊕M−1 (Z/pZ)
is an isomorphism, up to torsion.
We havedim(M−2 (Z/pZ)⊗ Q) = g(X1(p)),
whereX1(p) = Γ1(p)\H
is the modular curve for the congruence subgroup Γ1(p).
This is the tip of the iceberg – there is an unexpectedconnection between birational geometry and cohomology ofarithmetic groups.
Equivariant birational types / Kontsevich–Pestun–T. (2019)
![Page 108: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/108.jpg)
Arithmetic geometry today:
extensive numerical experiments
assimilation of ideas and techniques from other branches ofmathematics and mathematical physics
source of intuition and new approaches to classicalproblems in complex geometry
Conclusion
![Page 109: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/109.jpg)
Arithmetic geometry today:
extensive numerical experiments
assimilation of ideas and techniques from other branches ofmathematics and mathematical physics
source of intuition and new approaches to classicalproblems in complex geometry
Conclusion
![Page 110: Rational points, rational curves, rational varieties€¦ · Classification via degree 1 low degree: del Pezzo surfaces, Fano threefolds, ::: 2 high degree:general type 3 intermediate](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f6ff25be819b52169495a29/html5/thumbnails/110.jpg)
Arithmetic geometry today:
extensive numerical experiments
assimilation of ideas and techniques from other branches ofmathematics and mathematical physics
source of intuition and new approaches to classicalproblems in complex geometry
Conclusion