K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of...
Transcript of K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of...
![Page 1: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/1.jpg)
Kahler Metricsand
Birational Geometry
David R. Morrison, Duke University
Hodge Theory in a New Century
Edinburgh, 23 July 2003
![Page 2: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/2.jpg)
1
Hodge and Birational Geometry
Hodge had a long-standing interest in birational geometry, stemming
from his friendship with Zariski, and culminating in volume III of
Hodge and Pedoe.
![Page 3: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/3.jpg)
1
Hodge and Birational Geometry
Hodge had a long-standing interest in birational geometry, stemming
from his friendship with Zariski, and culminating in volume III of
Hodge and Pedoe.
From Hodge’s 1950 ICM address: “The results which I have
described fall into two classes. In the one [. . . ] In the other, the
fact that the manifold carries a Kahler metric is fundamental [. . . ]
Yet many of the results do not depend on the actual Kahler metric
selected [. . . ].”
![Page 4: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/4.jpg)
2
My theme today: using a Kahler metric, and studying the set of all
Kahler classes, greatly clarifies birational geometry.
![Page 5: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/5.jpg)
2
My theme today: using a Kahler metric, and studying the set of all
Kahler classes, greatly clarifies birational geometry.
I will also make some remarks about the relationship of Kahler
manifolds to string theory, where other parts of Hodge’s work make
a surprising appearance.
![Page 6: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/6.jpg)
2
My theme today: using a Kahler metric, and studying the set of all
Kahler classes, greatly clarifies birational geometry.
I will also make some remarks about the relationship of Kahler
manifolds to string theory, where other parts of Hodge’s work make
a surprising appearance.
The first part of the talk focusses on birational geometry during the
past 50 years.
![Page 7: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/7.jpg)
3
Examples, I: Blowups
• Blowing up the origin in Cn yields the total space of the line bundle
OPn−1(−1).
![Page 8: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/8.jpg)
3
Examples, I: Blowups
• Blowing up the origin in Cn yields the total space of the line bundle
OPn−1(−1).
• Blowing up the origin in Cn/Zm (the action having just one
eigenvalue, with multipliciy n), yields the total space of the line
bundle OPn−1(−m).
![Page 9: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/9.jpg)
3
Examples, I: Blowups
• Blowing up the origin in Cn yields the total space of the line bundle
OPn−1(−1).
• Blowing up the origin in Cn/Zm (the action having just one
eigenvalue, with multipliciy n), yields the total space of the line
bundle OPn−1(−m).
• If X ⊂ Cn+1 is a hypersurface with a point of multiplicity k at
the origin whose leading terms are a nondegenerate homogeneous
polynomial of degree k, then the blowup replaces the origin by the
corresponding hypersurface of degree k in Pn.
![Page 10: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/10.jpg)
4
Examples, II: Cremona Transformations
• Algebraic curves were studied by the classical Italian school of
algebraic geometry as plane curves, and it was recognized that
there were many different plane models of a given curve.
![Page 11: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/11.jpg)
4
Examples, II: Cremona Transformations
• Algebraic curves were studied by the classical Italian school of
algebraic geometry as plane curves, and it was recognized that
there were many different plane models of a given curve.
• These could be related by means of Cremona transformations, the
simplest of which is described in projective coordinates by
[x, y, z] 7→ [1x,1y,1z] = [yz, xz, xy].
![Page 12: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/12.jpg)
5
• A Cremona transformation is geometrically described as the blow-
up of the three coordinate vertices:
![Page 13: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/13.jpg)
5
• A Cremona transformation is geometrically described as the blow-
up of the three coordinate vertices:
![Page 14: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/14.jpg)
5
• A Cremona transformation is geometrically described as the blow-
up of the three coordinate vertices:
followed by the blow-down of the three coordinate lines.
![Page 15: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/15.jpg)
5
• A Cremona transformation is geometrically described as the blow-
up of the three coordinate vertices:
followed by the blow-down of the three coordinate lines.
![Page 16: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/16.jpg)
6
Examples, III: Flips and Flops
• C2/Z2 can be described as a hypersurface; the invariants s1 = x21,
s2 = x1x2, s3 = x22 satisfy the equation s1s3 = s2
2. And indeed the
degree 2 hypersurface in P2 is isomorphic to P1.
This singularity has a deformation s1s3 = s22 + t, and Atiyah
discovered in 1958 that upon making the basechange
t = −u2,
the family of singularities can be simultaneously resolved.
![Page 17: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/17.jpg)
7
To do this, let X0 be the basechanged family, factor the equation
of X0 as
s1s3 = (s2 + u)(s2 − u),
and blow up the ideal
s1 = s2 + u = 0
to produce X−. This replaces the origin in X by P1 ⊂ X−, giving
a “small resolution” of the singularity.
![Page 18: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/18.jpg)
8
Alternate description: blowing up the origin in X0 produces X,
in which the origin has been replaced by a quadric hypersurface
Q ⊂ P3, which is isomorphic to P1 × P1. It turns out that the
blowup of X− along P1 replaces P1 by P1×P1 which is isomorphic
to Q, and so we get the usual blowup X. The fibers of the map
X → X− give one of the two rulings of Q.
![Page 19: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/19.jpg)
8
Alternate description: blowing up the origin in X0 produces X,
in which the origin has been replaced by a quadric hypersurface
Q ⊂ P3, which is isomorphic to P1 × P1. It turns out that the
blowup of X− along P1 replaces P1 by P1×P1 which is isomorphic
to Q, and so we get the usual blowup X. The fibers of the map
X → X− give one of the two rulings of Q.
The small resolution is ambiguous: if we blow up s3 = s2 + u = 0instead, we get X+, again with a P1 which can be blown up to
yield X → X+; the fibers of this map give the second ruling of Q.
![Page 20: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/20.jpg)
8
Alternate description: blowing up the origin in X0 produces X,
in which the origin has been replaced by a quadric hypersurface
Q ⊂ P3, which is isomorphic to P1 × P1. It turns out that the
blowup of X− along P1 replaces P1 by P1×P1 which is isomorphic
to Q, and so we get the usual blowup X. The fibers of the map
X → X− give one of the two rulings of Q.
The small resolution is ambiguous: if we blow up s3 = s2 + u = 0instead, we get X+, again with a P1 which can be blown up to
yield X → X+; the fibers of this map give the second ruling of Q.
The birational map X− 99K X+ is the simplest example of a flop.
![Page 21: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/21.jpg)
9
0
X
X
X
X
- +
![Page 22: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/22.jpg)
10
• To get the simplest example of a flip, start with X0 as above,
defined by
s1s3 = (s2 + u)(s2 − u),
and consider the Z2-action
(s1, s2, s3, u) 7→ (−s1,−u, s3,−s2).
The equation of the hypersurface transforms by −1, and we let
Y0 = X0/Z2.
![Page 23: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/23.jpg)
11
The invariants of this Z2-action are generated by
v1 = s21, v2 = s1(s2 + u), v3 = (s2 + u)2, v4 = s3, v5 = s2 − u
subject to the relation v1v3 = v22. The equation of the hypersurface
can be multiplied by either s1 or (s2 + u) to yield two invariant
equations
s21s3 − s1(s2 + u)(s2 − u) = v1v4 − v2v5,
(s2 + u)s1s3 − (s2 + u)2(s2 − u) = v2v4 − v3v5.
We thus get a codimension two singularity in C5 defined by three
equations.
![Page 24: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/24.jpg)
12
There are two small blowups Y− and Y+, constructed exactly as
before. Y− in fact has a singular point (of type C3/Z2) whereas
Y+ is nonsingular. The birational map Y− 99K Y+ is the simplest
example of a flip.
![Page 25: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/25.jpg)
13
Non-separatedness in Moduli Spaces
The existence of two different small resolutions of a double point in
dimension three leads to non-separatedness in moduli spaces of
surfaces.
![Page 26: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/26.jpg)
13
Non-separatedness in Moduli Spaces
The existence of two different small resolutions of a double point in
dimension three leads to non-separatedness in moduli spaces of
surfaces.
Moduli of complex K3 surfaces: captured by period integrals
(Torelli-type theorem), but not separated.
![Page 27: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/27.jpg)
13
Non-separatedness in Moduli Spaces
The existence of two different small resolutions of a double point in
dimension three leads to non-separatedness in moduli spaces of
surfaces.
Moduli of complex K3 surfaces: captured by period integrals
(Torelli-type theorem), but not separated. At certain points in the
moduli space, the Kahler cone suddenly shrinks to a sub-cone, and
there is a choice of sub-cones.
![Page 28: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/28.jpg)
14
Resolution of Singularities
Hironaka’s Theorem: Given a singular complex analytic space X0,
there is a sequence of blowups at smooth centers Xi+1 → Xi with
XN nonsingular.
![Page 29: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/29.jpg)
15
Minimal Models
The exceptional set C for the blowup of a point on a surface has a
numerical characterization: K · C = C · C = −1. These are called
“exceptional curves of the first kind.”
Enriques’ Theorem: Given a nonsingular complex projective surface
XN , there is a sequence of blowdowns Xi+1 → Xi with Xi
nonsingular, such that X0 has no exceptional curves of the first kind.
![Page 30: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/30.jpg)
16
In higher dimensions, we are forced to allow singularities.
Mori’s Theorem: Given a complex projective threefold XN with at
worst terminal singularities, there is a sequence of birational maps
Xi+1 99K Xi (projective blowdowns and flips), with each Xi having
at worst terminal singularities, such that either KX0 · C ≥ 0 for all
curves C on X0, or X0 admits a nontrivial fibration X0 → B whose
fibers contain all such curves C.
![Page 31: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/31.jpg)
16
In higher dimensions, we are forced to allow singularities.
Mori’s Theorem: Given a complex projective threefold XN with at
worst terminal singularities, there is a sequence of birational maps
Xi+1 99K Xi (projective blowdowns and flips), with each Xi having
at worst terminal singularities, such that either KX0 · C ≥ 0 for all
curves C on X0, or X0 admits a nontrivial fibration X0 → B whose
fibers contain all such curves C.
Technical tool: The cone of effective curves and its dual, the cone of
ample divisors.
![Page 32: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/32.jpg)
16
In higher dimensions, we are forced to allow singularities.
Mori’s Theorem: Given a complex projective threefold XN with at
worst terminal singularities, there is a sequence of birational maps
Xi+1 99K Xi (projective blowdowns and flips), with each Xi having
at worst terminal singularities, such that either KX0 · C ≥ 0 for all
curves C on X0, or X0 admits a nontrivial fibration X0 → B whose
fibers contain all such curves C.
Technical tool: The cone of effective curves and its dual, the cone of
ample divisors. i.e., the cone of Hodge metrics.
![Page 33: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/33.jpg)
16
In higher dimensions, we are forced to allow singularities.
Mori’s Theorem: Given a complex projective threefold XN with at
worst terminal singularities, there is a sequence of birational maps
Xi+1 99K Xi (projective blowdowns and flips), with each Xi having
at worst terminal singularities, such that either KX0 · C ≥ 0 for all
curves C on X0, or X0 admits a nontrivial fibration X0 → B whose
fibers contain all such curves C.
Technical tool: The cone of effective curves and its dual, the cone of
ample divisors. i.e., the cone of Hodge metrics. There will be
sequences of Hodge metrics approaching the boundary of the cone,
which in the limit realizes the contraction of the extremal curve.
![Page 34: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/34.jpg)
17
Factorization of Birational Maps
Wlodarczyk’s Theorem: Any birational equivalence XN 99K X0
between nonsingular complete varieties over C can be factored into a
sequence Xi+1 99K Xi, where each map is either a blowup or a
blowdown with a smooth center, and each Xi is nonsingular.
![Page 35: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/35.jpg)
18
Cobordisms in Morse Theory
Let W be a cobordism between two differentiable manifolds X− and
X+ and let f : W → [a, b] be a Morse function with X− = f−1(a),X+ = f−1(b).
As a variant of the usual setup, we glue X− × (−∞, a] to the left
side of W and X+× [b,∞) to the right side of W to obtain W ′ with
a Morse function f ′ : W ′→ (−∞,∞).
![Page 36: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/36.jpg)
19
Now grad(f ′) defines an action of R∗>0 on W ′, and we can recover
X− and X+ as follows: let
W ′− := x ∈ W ′ | lim
t→0tx does not exist
W ′+ := x ∈ W ′ | lim
t→∞tx does not exist
These are open subsets of W ′, and X± = W ′±/R∗>0.
Note that the critical points of the Morse function are the fixed
points of the R∗>0-action.
![Page 37: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/37.jpg)
20
Birational Cobordisms
A birational cobordism between X− and X+ is a variety B with an
action of C∗ such that the sets
B− := x ∈ B | limt→0
tx does not exist
B+ := x ∈ B | limt→∞
tx does not exist
are nonempty and open, and X± = B±/C∗ (as geometric quotients).
![Page 38: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/38.jpg)
21
Examples
• C∗ acting on Cn+1 as
(x1, . . . , xn, xn+1) 7→ (tx1, . . . , txn, t−kxn+1)
relates X− = Cn/Zk to X+ = OPn−1(−k).
![Page 39: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/39.jpg)
21
Examples
• C∗ acting on Cn+1 as
(x1, . . . , xn, xn+1) 7→ (tx1, . . . , txn, t−kxn+1)
relates X− = Cn/Zk to X+ = OPn−1(−k).
(The limits on one side exist when x1 = · · · = xn = 0, and on the
other side when xn+1 = 0.)
![Page 40: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/40.jpg)
22
• C∗ acting on C4 as
(x1, x2, x3, x4) 7→ (tx1, tx2, t−1x3, t
−1x4)
gives the simple flop.
![Page 41: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/41.jpg)
22
• C∗ acting on C4 as
(x1, x2, x3, x4) 7→ (tx1, tx2, t−1x3, t
−1x4)
gives the simple flop.
s1 = x1x3, s2 + u = x1x4, s2 − u = x2x3, s3 = x2x4.
![Page 42: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/42.jpg)
22
• C∗ acting on C4 as
(x1, x2, x3, x4) 7→ (tx1, tx2, t−1x3, t
−1x4)
gives the simple flop.
s1 = x1x3, s2 + u = x1x4, s2 − u = x2x3, s3 = x2x4.
• C∗ acting on C4 as
(x1, x2, x3, x4) 7→ (t2x1, tx2, t−1x3, t
−1x4)
gives the simple flip.
![Page 43: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/43.jpg)
23
Examples, con.
In the case of a Cremona transformation, can follow the general
procedure: let T± ⊂ X± be the coordinate triangles. There is a
natural isomorphism (which acts as t 7→ 1/t on the fibers) between
π∗−(O×X−(−T−)) and π∗+(O×X+(T+)),
which we use to glue OX−(−T−)) to OX+(T+)), yielding the space
B.
![Page 44: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/44.jpg)
24
Symplectic reduction
The group C∗ contains a compact subgroup U(1), and we can study
the quotient by means of the moment map
µ : B → u(1)∗ ∼= R.
For example, in the case of the simple flop
µ(x1, x2, x3, x4) =12(|x1|2 + |x2|2 − |x3|2 − |x4|2),
and one finds Xa := µ−1(a)/U(1) ∼= X− for a 0 while
Xa := µ−1(a)/U(1) ∼= X+ for a 0.
![Page 45: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/45.jpg)
25
Given any Kahler metric on B, we can average over U(1) to obtain
a U(1)-invariant metric. Then for each value of a, the space Xa
inherits a Kahler metric.
![Page 46: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/46.jpg)
25
Given any Kahler metric on B, we can average over U(1) to obtain
a U(1)-invariant metric. Then for each value of a, the space Xa
inherits a Kahler metric.
In the example, when a < 0 the 3-sphere |x3|2 + |x4|2 = −a has
volume proportional to (−a)3/2 and the U(1) fibers have length
proportional to (−a)1/2, so the area of P1 = S3/U(1) is proportional
to −a.
Similarly, when a > 0 using the 3-sphere |x1|2 + |x2|2 = a leads to
P1 with area proportional to a.
![Page 47: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/47.jpg)
26
Adjacent cones
One of the lessons to be learned from this analysis is that metrics
can be used to move from the Kahler cone into an adjacent cone
containing the Kahler classes on a flipped or flopped space.
Kawamata: consider moveable divisors whose linear system |D| has
no fixed components and n-dimensional image.
![Page 48: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/48.jpg)
27
Kahler metrics and birational geometry
• By including a Kahler class along with the complex structure, one
gets a separated moduli space for K3 surfaces.
• A blowdown can be accompanied by a family of Kahler metrics in
which the exceptional set shrinks to zero volume in the limit.
• A flip or flop can be accompanied by a family of Kahler metrics
(from the birational cobordims) which leads from the Kahler cone
to an adjacent cone.
![Page 49: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/49.jpg)
28
Complexifying the Kahler class
From string theory we learn that the Kahler class, while important in
itself, should also be accompanied by a so-called B-field, taking
values in H2(X, U(1)). General parameter space looks like
(K + iH2(X, R))/H2(X, Z).
This is actually only an approximation to the “correct” parameter
space for string theory which is valid when the volume of the Kahler
metric is sufficiently large.
![Page 50: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/50.jpg)
29
Mirror symmetry
One of the big surprises from string theory is the appearance of
Hodge’s periods, in a completely unexpected context.
The period integrals∫
γΩ on a Calabi–Yau threefold, together with
their derivatives with respect to the parameters, can be used to
parameterize the moduli space. Mirror symmetry predicts that this
same parametrization can be computed in terms of complexified
Kahler parameters of a second, “mirror”, Calabi–Yau threefold.
![Page 51: K¨ahler Metrics and Birational Geometryweb.math.ucsb.edu/~drm/lectures/hodge.pdfResolution of Singularities Hironaka’s Theorem: Given a singular complex analytic space X 0, there](https://reader036.fdocuments.in/reader036/viewer/2022070812/5f0b541b7e708231d42ff984/html5/thumbnails/51.jpg)
30
As is by now well-known, an appropriate expression in Hodge’s
periods is given a power series expansion, and the coefficients are
interpreted as (in physics) giving “quantum corrections to the
classical cohomology algebra” or (in mathematics) counting numbers
of rational curves on the Calabi–Yau threefold in a fixed cohomology
class.