L 2 extension theorem for sections defined on non reduced analytic subvarieties
|
|
- Alexander Rose
- 5 years ago
- Views:
Transcription
1 L 2 extension theorem for sections defined on non reduced analytic subvarieties Jean-Pierre D ly Institut Fourier, Université de Grenoble Alpes & Académie des Sciences de Paris Conference on Geometry and Topology, Harvard University, April 28 May 2, 2017, celebrating 50 years of the Journal of Differential Geometry J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 1/18
2 References This is a joint work with Junyan Cao & Shin-ichi Matsumura J.-P. D ly, Extension of holomorphic functions defined on non reduced analytic subvarieties, arxiv: v1, Advanced Lectures in Mathematics Volume 35.1, the legacy of Bernhard Riemann after one hundred and fifty years, J.Y. Cao, J.-P. D ly, S-i. Matsumura, A general extension theorem for cohomology classes on non reduced analytic subspaces, arxiv: v2, Science China Mathematics, 60 (2017) T. Ohsawa, On a curvature condition that implies a cohomology injectivity theorem of Kollár-Skoda type, Publ. Res. Inst. Math. Sci. 41 (2005), no. 3, T. Ohsawa, K. Takegoshi, On the extension of L 2 holomorphic functions, Math. Zeitschrift 195 (1987), J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 2/18
3 The extension problem Let (X, ω) be a possibly noncompact n-dimensional Kähler manifold, J O X a coherent ideal sheaf, Y = V (J ) its zero variety and O Y = O X /J. Here Y may be non reduced, i.e. O Y may have nilpotent elements. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 3/18
4 The extension problem Let (X, ω) be a possibly noncompact n-dimensional Kähler manifold, J O X a coherent ideal sheaf, Y = V (J ) its zero variety and O Y = O X /J. Here Y may be non reduced, i.e. O Y may have nilpotent elements. Also, let (L, h L ) be a hermitian holomorphic line bundle on X, and Θ L,hL = i log h 1 L its curvature current (we allow singular metrics, h L = e ϕ, ϕ L 1 loc, Θ L,h L being computed in the sense of currents). Question Under which conditions on X, Y = V (J ), (L, h L ) H q (X, K X L) H q (Y, (K X L) Y ) = H q (X, O X (K X L) O X /J ) a surjective restriction morphism? is J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 3/18
5 Assumptions (1) We assume X to be holomorphically convex. By the Cartan-Remmert theorem, this is the case iff X admits a proper holomorphic map p : X S only a Stein complex space S. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 4/18
6 Assumptions (1) We assume X to be holomorphically convex. By the Cartan-Remmert theorem, this is the case iff X admits a proper holomorphic map p : X S only a Stein complex space S. Observation : cohomology is then always Hausdorff Let X be a holomorphically convex complex space and F a coherent analytic sheaf over X. Then all cohomology groups H q (X, F) are Hausdorff with respect to their natural topology (local uniform convergence of holomorphic Čech cochains) J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 4/18
7 Assumptions (1) We assume X to be holomorphically convex. By the Cartan-Remmert theorem, this is the case iff X admits a proper holomorphic map p : X S only a Stein complex space S. Observation : cohomology is then always Hausdorff Let X be a holomorphically convex complex space and F a coherent analytic sheaf over X. Then all cohomology groups H q (X, F) are Hausdorff with respect to their natural topology (local uniform convergence of holomorphic Čech cochains) Proof. H q (X, F) H 0 (S, R q p F) is a Fréchet space. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 4/18
8 Assumptions (1) We assume X to be holomorphically convex. By the Cartan-Remmert theorem, this is the case iff X admits a proper holomorphic map p : X S only a Stein complex space S. Observation : cohomology is then always Hausdorff Let X be a holomorphically convex complex space and F a coherent analytic sheaf over X. Then all cohomology groups H q (X, F) are Hausdorff with respect to their natural topology (local uniform convergence of holomorphic Čech cochains) Proof. H q (X, F) H 0 (S, R q p F) is a Fréchet space. Corollary To solve an equation u = v on a holomorphically convex manifold X, it is enough to solve it approximately: u ε = v + w ε, w ε 0 as ε 0 J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 4/18
9 Assumptions (2) We assume that the subvariety Y X is defined by Y = V (I(e ψ )), O Y := O X /I(e ψ ) where ψ is a quasi-psh function with analytic singularities, i.e. locally on a neighborhood V of an arbitrary point x 0 X we have ψ(z) = c log g j (z) 2 + v(z), g j O X (V ), c>0, v C (V ), J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 5/18
10 Assumptions (2) We assume that the subvariety Y X is defined by Y = V (I(e ψ )), O Y := O X /I(e ψ ) where ψ is a quasi-psh function with analytic singularities, i.e. locally on a neighborhood V of an arbitrary point x 0 X we have ψ(z) = c log g j (z) 2 + v(z), g j O X (V ), c>0, v C (V ), and I(e ψ ) O X is the multiplier ideal sheaf I(e ψ ) x0 = { f O X,x0 ; U x 0, U f 2 e ψ dλ < + } J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 5/18
11 Assumptions (2) We assume that the subvariety Y X is defined by Y = V (I(e ψ )), O Y := O X /I(e ψ ) where ψ is a quasi-psh function with analytic singularities, i.e. locally on a neighborhood V of an arbitrary point x 0 X we have ψ(z) = c log g j (z) 2 + v(z), g j O X (V ), c>0, v C (V ), and I(e ψ ) O X is the multiplier ideal sheaf I(e ψ ) x0 = { f O X,x0 ; U x 0, U f 2 e ψ dλ < + } Claim (Nadel) I(e ψ ) is a coherent ideal sheaf. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 5/18
12 Assumptions (2) We assume that the subvariety Y X is defined by Y = V (I(e ψ )), O Y := O X /I(e ψ ) where ψ is a quasi-psh function with analytic singularities, i.e. locally on a neighborhood V of an arbitrary point x 0 X we have ψ(z) = c log g j (z) 2 + v(z), g j O X (V ), c>0, v C (V ), and I(e ψ ) O X is the multiplier ideal sheaf I(e ψ ) x0 = { f O X,x0 ; U x 0, U f 2 e ψ dλ < + } Claim (Nadel) I(e ψ ) is a coherent ideal sheaf. Moreover I(e ψ ) is always an integrally closed ideal. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 5/18
13 Assumptions (2) We assume that the subvariety Y X is defined by Y = V (I(e ψ )), O Y := O X /I(e ψ ) where ψ is a quasi-psh function with analytic singularities, i.e. locally on a neighborhood V of an arbitrary point x 0 X we have ψ(z) = c log g j (z) 2 + v(z), g j O X (V ), c>0, v C (V ), and I(e ψ ) O X is the multiplier ideal sheaf I(e ψ ) x0 = { f O X,x0 ; U x 0, U f 2 e ψ dλ < + } Claim (Nadel) I(e ψ ) is a coherent ideal sheaf. Moreover I(e ψ ) is always an integrally closed ideal. Typical choice: ψ(z) = c log s(z) 2 h E, c > 0, s H 0 (X, E). J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 5/18
14 Log resolution / reduction to the divisorial case The simplest case is when Y = m j Y j is an effective simple normal crossing divisor and O Y = O X /O X ( Y ). We can then take ψ(z) = c j log σ Yj 2 h j, c j > 0, c j = m j, for some smooth hermitian metric h j on O X (Y j ). Then I(e ψ ) = O X ( mj Y j ), i ψ = cj (2π[Y j ] Θ O(Yj ),h j ) J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 6/18
15 Log resolution / reduction to the divisorial case The simplest case is when Y = m j Y j is an effective simple normal crossing divisor and O Y = O X /O X ( Y ). We can then take ψ(z) = c j log σ Yj 2 h j, c j > 0, c j = m j, for some smooth hermitian metric h j on O X (Y j ). Then I(e ψ ) = O X ( mj Y j ), i ψ = cj (2π[Y j ] Θ O(Yj ),h j ) The case of a higher codimensional multiplier ideal scheme I(e ψ ) can easily be reduced to the divisorial case by using a suitable log resolution (a composition of blow ups, thanks to Hironaka s desingularization theorem). J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 6/18
16 Main results Theorem (JY. Cao, D, S-i. Matsumura, January 2017) Take (X, ω) to be Kähler and holomorphically convex, and let (L, h L ) be a hermitian line bundle such that ( ) Θ L,hL + (1 + αδ)i ψ 0 in the sense of currents for some δ(x) > 0 continuous and α = 0, 1. Then: J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 7/18
17 Main results Theorem (JY. Cao, D, S-i. Matsumura, January 2017) Take (X, ω) to be Kähler and holomorphically convex, and let (L, h L ) be a hermitian line bundle such that ( ) Θ L,hL + (1 + αδ)i ψ 0 in the sense of currents for some δ(x) > 0 continuous and α = 0, 1. Then: the morphism induced by the natural inclusion I(h L e ψ ) I(h L ) H q (X, K X L I(h L e ψ )) H q (X, K X L I(h L )) is injective for every q 0, J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 7/18
18 Main results Theorem (JY. Cao, D, S-i. Matsumura, January 2017) Take (X, ω) to be Kähler and holomorphically convex, and let (L, h L ) be a hermitian line bundle such that ( ) Θ L,hL + (1 + αδ)i ψ 0 in the sense of currents for some δ(x) > 0 continuous and α = 0, 1. Then: the morphism induced by the natural inclusion I(h L e ψ ) I(h L ) H q (X, K X L I(h L e ψ )) H q (X, K X L I(h L )) is injective for every q 0, in other words, the sheaf morphism I(h) I(h L )/I(h L e ψ ) yields a surjection H q (X, K X L I(h L )) H q (X, K X L I(h L )/I(h L e ψ )). J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 7/18
19 Main results Theorem (JY. Cao, D, S-i. Matsumura, January 2017) Take (X, ω) to be Kähler and holomorphically convex, and let (L, h L ) be a hermitian line bundle such that ( ) Θ L,hL + (1 + αδ)i ψ 0 in the sense of currents for some δ(x) > 0 continuous and α = 0, 1. Then: the morphism induced by the natural inclusion I(h L e ψ ) I(h L ) H q (X, K X L I(h L e ψ )) H q (X, K X L I(h L )) is injective for every q 0, in other words, the sheaf morphism I(h) I(h L )/I(h L e ψ ) yields a surjection H q (X, K X L I(h L )) H q (X, K X L I(h L )/I(h L e ψ )). Corollary (take h L smooth I(h L ) = O X, and Y = V (I(e ψ )) If h L is smooth, O Y = O X /I(e ψ ) and h L, ψ satisfy ( ), then H q (X, K X L) H q (Y, (K X L) Y ) is surjective. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 7/18
20 Comments / algebraic consequences The exact sequence 0 I(h L e ψ ) I(h L ) I(h L )/I(h L e ψ ) 0 implies that both injectivity and surjectivity hold when H q (X, K X L I(h L e ψ ) = 0, and for this it is enough to have a strict curvature assumption ( ) Θ L,hL + i ψ δω > 0 in the sense of currents. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 8/18
21 Comments / algebraic consequences The exact sequence 0 I(h L e ψ ) I(h L ) I(h L )/I(h L e ψ ) 0 implies that both injectivity and surjectivity hold when H q (X, K X L I(h L e ψ ) = 0, and for this it is enough to have a strict curvature assumption ( ) Θ L,hL + i ψ δω > 0 in the sense of currents. Corollary (purely algebraic) Assume that X is projective (or that one has a projective morphism X S over an affine algebraic base S). Let Y = m j Y j be an effective divisor and O Y = O X /O X ( Y ). If (as Q-divisors) ( ) L (1 + δ) c j Y j = G δ + U δ, c j = m j with δ = 0 or δ 0 Q +, G δ semiample and U δ Pic 0 (X ), then is surjective. H q (X, K X L) H q (Y, (K X L) Y ) J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 8/18
22 Possible use for abundance by induction on dim X? For a line bundle L, one defines the Kodaira-Iitaka dimension κ(l) = lim sup m + log dim H 0 (X, L m )/ log m and the numerical dimension nd(l) = maximum power of non zero positive intersection of a positive current T c 1 (L), if L is pseudo-effective, and nd(l) = otherwise. They always satisfy κ(l) nd(l) n = dim X. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 9/18
23 Possible use for abundance by induction on dim X? For a line bundle L, one defines the Kodaira-Iitaka dimension κ(l) = lim sup m + log dim H 0 (X, L m )/ log m and the numerical dimension nd(l) = maximum power of non zero positive intersection of a positive current T c 1 (L), if L is pseudo-effective, and nd(l) = otherwise. They always satisfy κ(l) nd(l) n = dim X. One says that L is abundant if κ(l) = nd(l). The abundance conjecture states that K X is always abundant if X is nonsingular and projective (or even compact Kähler). More generally, it is expected that K X + is abundant for every effective klt Q-divisor. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 9/18
24 Possible use for abundance by induction on dim X? For a line bundle L, one defines the Kodaira-Iitaka dimension κ(l) = lim sup m + log dim H 0 (X, L m )/ log m and the numerical dimension nd(l) = maximum power of non zero positive intersection of a positive current T c 1 (L), if L is pseudo-effective, and nd(l) = otherwise. They always satisfy κ(l) nd(l) n = dim X. One says that L is abundant if κ(l) = nd(l). The abundance conjecture states that K X is always abundant if X is nonsingular and projective (or even compact Kähler). More generally, it is expected that K X + is abundant for every effective klt Q-divisor. When X is not uniruled, i.e. K X is pseudoeffective, one can ask whether the following generalized abundance property holds true: let L be a line bundle such that L εk X is pseudoeffective, 0 < ε 1; does there exist G Pic 0 (X ) such that L + G is abundant? J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 9/18
25 Twisted Bochner-Kodaira-Nakano inequality (Ohsawa-Takegoshi) Let (X, ω) be a Kähler manifold and let η, λ > 0 be smooth functions on X. For every compacted supported section u C c (X, Λ p,q T X L) with values in a hermitian line bundle (L, h L ), one has (η + λ) 1 2 u 2 + η 1 2 u 2 + λ 1 2 u λ 1 2 η u 2 B p,q L,h L,ω,η,λ u, u dv X,ω X where dv X,ω = 1 n! ωn is the Kähler volume element and B p,q the Hermitian operator on Λ p,q TX L such that B p,q L,h L,ω,η,λ = [η iθ L i η iλ 1 η η, Λ ω ]. L,h L,ω,η,λ is J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 10/18
26 Approximate solutions to -equations Main L 2 estimate Let (X, ω) be a Kähler manifold possessing a complete Kähler metric let (E, h E ) be a Hermitian vector bundle over X. Assume that B = B n,q E,h,ω,η,λ satisfies B + ε Id > 0 for some ε > 0 (so that B can be just semi-positive or even slightly negative). J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 11/18
27 Approximate solutions to -equations Main L 2 estimate Let (X, ω) be a Kähler manifold possessing a complete Kähler metric let (E, h E ) be a Hermitian vector bundle over X. Assume that B = B n,q E,h,ω,η,λ satisfies B + ε Id > 0 for some ε > 0 (so that B can be just semi-positive or even slightly negative). Take a section v L 2 (X, Λ n,q TX E) such that v = 0 and M(ε) := (B + ε Id) 1 v, v dv X,ω < +. X J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 11/18
28 Approximate solutions to -equations Main L 2 estimate Let (X, ω) be a Kähler manifold possessing a complete Kähler metric let (E, h E ) be a Hermitian vector bundle over X. Assume that B = B n,q E,h,ω,η,λ satisfies B + ε Id > 0 for some ε > 0 (so that B can be just semi-positive or even slightly negative). Take a section v L 2 (X, Λ n,q TX E) such that v = 0 and M(ε) := (B + ε Id) 1 v, v dv X,ω < +. X Then there exists an approximate solution u ε L 2 (X, Λ n,q 1 TX E) and a correction term w ε L 2 (X, Λ n,q TX E) such that u ε = v + w ε and X (η + λ) 1 u ε 2 dv X,ω + 1 ε X w ε 2 dv X,ω M(ε). J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 11/18
29 Proof: setting up the relevant equation (1) Every cohomology class in H q (X, O X (K X L) I(h L )/I(h L e ψ )) is represented by a holomorphic Čech q-cocycle with respect to a Stein covering U = (U i ), say (c i0...i q ), c i0...i q H 0( U i0... U iq, O X (K X L) I(h L )/I(h L e ψ ) ). J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 12/18
30 Proof: setting up the relevant equation (1) Every cohomology class in H q (X, O X (K X L) I(h L )/I(h L e ψ )) is represented by a holomorphic Čech q-cocycle with respect to a Stein covering U = (U i ), say (c i0...i q ), c i0...i q H 0( U i0... U iq, O X (K X L) I(h L )/I(h L e ψ ) ). By the standard sheaf theoretic isomorphism with Dolbeault cohomology, this class is represented by a smooth (n, q)-form f = i 0,...,i q c i0...i q ρ i0 ρ i1... ρ iq by means of a partition of unity (ρ i ) subordinate to (U i ). This form is to be interpreted as a form on the (non reduced) analytic subvariety Y associated with the colon ideal sheaf J = I(he ψ ) : I(h) and the structure sheaf O Y = O X /J. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 12/18
31 Proof: setting up the relevant equation (2) We get an extension of f as a smooth (no longer -closed) (n, q)-form on X by taking f = i 0,...,i q c i0...i q ρ i0 ρ i1... ρ iq where c i0...i q = extension of c i0...i q from U i0... U iq Y to U i0... U iq J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 13/18
32 Proof: setting up the relevant equation (2) We get an extension of f as a smooth (no longer -closed) (n, q)-form on X by taking f = i 0,...,i q c i0...i q ρ i0 ρ i1... ρ iq where c i0...i q = extension of c i0...i q from U i0... U iq Y to U i0... U iq {x X / t<ψ(x)<t+1} 1 θ(s) Y 0 1 s J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 13/18
33 Proof: setting up the relevant equation (2) We get an extension of f as a smooth (no longer -closed) (n, q)-form on X by taking f = i 0,...,i q c i0...i q ρ i0 ρ i1... ρ iq where c i0...i q = extension of c i0...i q from U i0... U iq Y to U i0... U iq {x X / t<ψ(x)<t+1} 1 θ(s) Y 0 1 s Now, truncate f as θ(ψ t) f on the green hollow tubular neighborhood, and solve an approximate -equation ( ) u t,ε = (θ(ψ t) f ) + w t,ε J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 13/18
34 Proof: setting up the relevant equation (3) Here we have (θ(ψ t) f ) = θ (ψ t) ψ f + θ(ψ t) f where the first term vanishes near Y and the second one is L 2 with respect to h L e ψ (as the image of f in I(h L )/I(h L e ψ ) is f = 0). J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 14/18
35 Proof: setting up the relevant equation (3) Here we have (θ(ψ t) f ) = θ (ψ t) ψ f + θ(ψ t) f where the first term vanishes near Y and the second one is L 2 with respect to h L e ψ (as the image of f in I(h L )/I(h L e ψ ) is f = 0). With ad hoc twisting functions η = η t := 1 δχ t (ψ), λ := π(1 + δ 2 ψ 2 ) and a suitable adjustment ε = e (1+β)t, β 1, we can find approximate L 2 solutions of the -equation such that u t,ε = (θ(ψ t) f ) + w t,ε, u t,ε 2 ω,h L e ψ dv X,ω < + and lim w t,ε 2 ω,h t L e ψ dv X,ω = 0. X X J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 14/18
36 Proof: setting up the relevant equation (3) Here we have (θ(ψ t) f ) = θ (ψ t) ψ f + θ(ψ t) f where the first term vanishes near Y and the second one is L 2 with respect to h L e ψ (as the image of f in I(h L )/I(h L e ψ ) is f = 0). With ad hoc twisting functions η = η t := 1 δχ t (ψ), λ := π(1 + δ 2 ψ 2 ) and a suitable adjustment ε = e (1+β)t, β 1, we can find approximate L 2 solutions of the -equation such that u t,ε = (θ(ψ t) f ) + w t,ε, u t,ε 2 ω,h L e ψ dv X,ω < + and lim w t,ε 2 ω,h t L e ψ dv X,ω = 0. X The estimate on u t,ε with respect to the weight h L e ψ shows that θ(ψ t) f u t,ε is an approximate extension of f. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 14/18 X
37 Can one get estimates for the extension? The answer is yes if ψ is log canonical, namely I(e (1 ε)ψ ) = O X for all ε > 0. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 15/18
38 Can one get estimates for the extension? The answer is yes if ψ is log canonical, namely I(e (1 ε)ψ ) = O X for all ε > 0. Ohsawa s residue measure If ψ is log canonical, one can also associate in a natural way a measure dv Y,ω[ψ] on the set Y of regular points of Y as follows. If g C c (Y ) is a compactly supported continuous function on Y and g a compactly supported extension of g to X, one sets Y g dv Y,ω[ψ] = lim t {x X, t<ψ(x)<t+1} ge ψ dv X,ω J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 15/18
39 Can one get estimates for the extension? The answer is yes if ψ is log canonical, namely I(e (1 ε)ψ ) = O X for all ε > 0. Ohsawa s residue measure If ψ is log canonical, one can also associate in a natural way a measure dv Y,ω[ψ] on the set Y of regular points of Y as follows. If g C c (Y ) is a compactly supported continuous function on Y and g a compactly supported extension of g to X, one sets Y g dv Y,ω[ψ] = lim t {x X, t<ψ(x)<t+1} ge ψ dv X,ω Theorem If ψ is lc and the curvature hypothesis is satisfied, for any f in H 0 (Y, K X L I(h L )/I(h L e ψ )) s.t. f 2 Y ω,h L dv Y,ω[ψ] < +, there exists f H 0 (X, K X L I(h L )) which extends f, such that (1 + δ 2 ψ 2 ) 1 e ψ f 2 ω,h L dv X,ω 34 f 2 ω,h δ L dv Y,ω[ψ]. Y X J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 15/18
40 Can one get estimates for the extension? (sequel) If ψ is not log canonical, consider the last jumps m p 1 < m p 1 such that I(h L e m p 1ψ ) I(h L e mpψ ) = I(h L e ψ ) and assume f H 0 (Y, K X L I(h L e m p 1ψ )/I(h L e mpψ )), i.e., f vanishes just a little bit less than prescribed by the sheaf I(h L e ψ )). Then there is still a corresponding residue measure: J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 16/18
41 Can one get estimates for the extension? (sequel) If ψ is not log canonical, consider the last jumps m p 1 < m p 1 such that I(h L e m p 1ψ ) I(h L e mpψ ) = I(h L e ψ ) and assume f H 0 (Y, K X L I(h L e m p 1ψ )/I(h L e mpψ )), i.e., f vanishes just a little bit less than prescribed by the sheaf I(h L e ψ )). Then there is still a corresponding residue measure: Higher multiplicity residue measure If f is as above, and f is a local extension, one can associate a higher multiplicity residue measure f 2 dv Y,ω[ψ] (formal notation) as follows. If g C c (Y ) and g a compactly supported extension of g to X, one sets Y g f 2 dv Y,ω[ψ] = lim g f 2 e mpψ dv X,ω t {x X, t<ψ(x)<t+1} J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 16/18
42 Can one get estimates for the extension? (sequel) If ψ is not log canonical, consider the last jumps m p 1 < m p 1 such that I(h L e m p 1ψ ) I(h L e mpψ ) = I(h L e ψ ) and assume f H 0 (Y, K X L I(h L e m p 1ψ )/I(h L e mpψ )), i.e., f vanishes just a little bit less than prescribed by the sheaf I(h L e ψ )). Then there is still a corresponding residue measure: Higher multiplicity residue measure If f is as above, and f is a local extension, one can associate a higher multiplicity residue measure f 2 dv Y,ω[ψ] (formal notation) as follows. If g C c (Y ) and g a compactly supported extension of g to X, one sets Y g f 2 dv Y,ω[ψ] = lim g f 2 e mpψ dv X,ω t {x X, t<ψ(x)<t+1} Then a global extension f H 0 (X, K X L I(h L e m p 1ψ )) exists, that satisfies the expected L 2 estimate. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 16/18
43 Special case / limitations of the L 2 estimates In the special case when ψ is given by ψ(z) = r log s(z) 2 h E for a section s H 0 (X, E) generically transverse to the zero section of a rank r vector vector E on X, the subvariety Y = s 1 (0) has codimension r, and one can check easily that dv Y,ω[ψ] = dv Y,ω Λ r (ds) 2 ω,h E. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 17/18
44 Special case / limitations of the L 2 estimates In the special case when ψ is given by ψ(z) = r log s(z) 2 h E for a section s H 0 (X, E) generically transverse to the zero section of a rank r vector vector E on X, the subvariety Y = s 1 (0) has codimension r, and one can check easily that dv Y,ω[ψ] = dv Y,ω Λ r (ds) 2 ω,h E. Thus one sees that the residue measure takes into account in a very precise manner the singularities of Y. It may happen that dv Y,ω[ψ] has infinite mass near the singularities of Y, as is the case when Y is a simple normal crossing divisor. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 17/18
45 Special case / limitations of the L 2 estimates In the special case when ψ is given by ψ(z) = r log s(z) 2 h E for a section s H 0 (X, E) generically transverse to the zero section of a rank r vector vector E on X, the subvariety Y = s 1 (0) has codimension r, and one can check easily that dv Y,ω[ψ] = dv Y,ω Λ r (ds) 2 ω,h E. Thus one sees that the residue measure takes into account in a very precise manner the singularities of Y. It may happen that dv Y,ω[ψ] has infinite mass near the singularities of Y, as is the case when Y is a simple normal crossing divisor. Therefore, sections s H 0 (Y, (K X L) Y may not be L 2 with respect to dv Y,ω[ψ]), and the L 2 estimate of the approximate extension can blow up as ε 0. The surprising fact is this is however sufficient to prove the qualitative extension theorem, but without any effective L 2 estimate in the limit. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 17/18
46 The end Thank you! Tentative image of a Calabi-Yau manifold (K X = O X ). It would be important to know about the generalized abundance property in that case. J.-P. D ly (Grenoble), JDG Conference 2017, Harvard L 2 extension theorem from nonreduced analytic subvarieties 18/18
Structure theorems for compact Kähler manifolds
Structure theorems for compact Kähler manifolds Jean-Pierre Demailly joint work with Frédéric Campana & Thomas Peternell Institut Fourier, Université de Grenoble I, France & Académie des Sciences de Paris
More informationENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5
ENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) OSAMU FUJINO Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5 1. Preliminaries Let us recall the basic notion of the complex geometry.
More informationOn the cohomology of pseudoeffective line bundles
On the cohomology of pseudoeffective line bundles Jean-Pierre Demailly Institut Fourier, Université de Grenoble I, France & Académie des Sciences de Paris in honor of Professor Yum-Tong Siu on the occasion
More informationON EMBEDDABLE 1-CONVEX SPACES
Vâjâitu, V. Osaka J. Math. 38 (2001), 287 294 ON EMBEDDABLE 1-CONVEX SPACES VIOREL VÂJÂITU (Received May 31, 1999) 1. Introduction Throughout this paper all complex spaces are assumed to be reduced and
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More informationCOHOMOLOGY OF q CONVEX SPACES IN TOP DEGREES
COHOMOLOGY OF q CONVEX SPACES IN TOP DEGREES Jean-Pierre DEMAILLY Université de Grenoble I, Institut Fourier, BP 74, Laboratoire associé au C.N.R.S. n 188, F-38402 Saint-Martin d Hères Abstract. It is
More informationA NEW BOUND FOR THE EFFECTIVE MATSUSAKA BIG THEOREM
Houston Journal of Mathematics c 2002 University of Houston Volume 28, No 2, 2002 A NEW BOUND FOR THE EFFECTIVE MATSUSAKA BIG THEOREM YUM-TONG SIU Dedicated to Professor Shiing-shen Chern on his 90th Birthday
More informationA TRANSCENDENTAL APPROACH TO KOLLÁR S INJECTIVITY THEOREM II
A TRANSCENDENTAL APPROACH TO KOLLÁR S INJECTIVITY THEOREM II OSAMU FUJINO Abstract. We treat a relative version of the main theorem in [F1]: A transcendental approach to Kollár s injectivity theorem. More
More informationDEFORMATIONS OF A STRONGLY PSEUDO-CONVEX DOMAIN OF COMPLEX DIMENSION 4
TOPICS IN COMPLEX ANALYSIS BANACH CENTER PUBLICATIONS, VOLUME 31 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1995 DEFORMATIONS OF A STRONGLY PSEUDO-CONVEX DOMAIN OF COMPLEX DIMENSION 4
More informationTHE HODGE DECOMPOSITION
THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional
More informationAlgebraic geometry over quaternions
Algebraic geometry over quaternions Misha Verbitsky November 26, 2007 Durham University 1 History of algebraic geometry. 1. XIX centrury: Riemann, Klein, Poincaré. Study of elliptic integrals and elliptic
More informationVanishing theorems and holomorphic forms
Vanishing theorems and holomorphic forms Mihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Holomorphic one-forms and geometry X compact complex manifold, dim C X = n. Holomorphic one-forms and
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
More informationAnalytic Methods in Algebraic Geometry
Surveys of Modern Mathematics Volume I Analytic Methods in Algebraic Geometry by Jean-Pierre Demailly International Press www.intlpress.com HIGHER EDUCATION PRESS Surveys of Modern Mathematics, Volume
More informationF. LAYTIMI AND D.S. NAGARAJ
REMARKS ON RAMANUJAM-KAWAMATA-VIEHWEG VANISHING THEOREM arxiv:1702.04476v1 [math.ag] 15 Feb 2017 F. LAYTIMI AND D.S. NAGARAJ Abstract. In this article weproveageneralresult on anef vector bundle E on a
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationFAKE PROJECTIVE SPACES AND FAKE TORI
FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.
More informationUniformization in several complex variables.
Uniformization in several complex variables. Grenoble. April, 16, 2009. Transmitted to IMPA (Rio de Janeiro). Philippe Eyssidieux. Institut Fourier, Université Joseph Fourier (Grenoble 1). 1 The uniformization
More informationNumerical characterization of the Kähler cone of a compact Kähler manifold
Annals of Mathematics, 159 (2004), 1247 1274 Numerical characterization of the Kähler cone of a compact Kähler manifold By Jean-Pierre Demailly and Mihai Paun Abstract The goal of this work is to give
More informationarxiv:alg-geom/ v1 2 Aug 1997
Singular hermitian metrics on vector bundles Mark Andrea A. de Cataldo ariv:alg-geom/9708003v1 2 Aug 1997 Abstract We introduce a notion of singular hermitian metrics (s.h.m.) for holomorphic vector bundles
More informationPullbacks of hyperplane sections for Lagrangian fibrations are primitive
Pullbacks of hyperplane sections for Lagrangian fibrations are primitive Ljudmila Kamenova, Misha Verbitsky 1 Dedicated to Professor Claire Voisin Abstract. Let p : M B be a Lagrangian fibration on a hyperkähler
More information1. Plurisubharmonic functions and currents The first part of the homework studies some properties of PSH functions.
MATH 263: PROBLEM SET 2: PSH FUNCTIONS, HORMANDER S ESTIMATES AND VANISHING THEOREMS 1. Plurisubharmonic functions and currents The first part of the homework studies some properties of PSH functions.
More informationAPPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY
APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then
More informationarxiv: v1 [math.ag] 13 Mar 2019
THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show
More informationTakao Akahori. z i In this paper, if f is a homogeneous polynomial, the correspondence between the Kodaira-Spencer class and C[z 1,...
J. Korean Math. Soc. 40 (2003), No. 4, pp. 667 680 HOMOGENEOUS POLYNOMIAL HYPERSURFACE ISOLATED SINGULARITIES Takao Akahori Abstract. The mirror conjecture means originally the deep relation between complex
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationA partial converse to the Andreotti-Grauert theorem arxiv: v2 [math.ag] 28 Nov 2018
A partial converse to the Andreotti-rauert theorem ariv:1707.08006v2 [math.a] 28 Nov 2018 iaokui Yang Abstract. Let be a smooth projective manifold with dim C = n. We show that if a line bundle L is (n
More informationL 2 -THEORY FOR THE -OPERATOR ON COMPLEX SPACES WITH ISOLATED SINGULARITIES
L 2 -THEORY FOR THE -OPERATOR ON COMPLEX SPACES WITH ISOLATED SINGULARITIES J. RUPPENTHAL Abstract. The present paper is a complement to the L 2 -theory for the - operator on a Hermitian complex space
More informationScalar curvature and uniruledness on projective manifolds
communications in analysis and geometry Volume 20, Number 4, 751 764, 2012 Scalar curvature and uniruledness on projective manifolds Gordon Heier and Bun Wong It is a basic tenet in complex geometry that
More informationGeneralized Hitchin-Kobayashi correspondence and Weil-Petersson current
Author, F., and S. Author. (2015) Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current, International Mathematics Research Notices, Vol. 2015, Article ID rnn999, 7 pages. doi:10.1093/imrn/rnn999
More informationKähler manifolds and transcendental techniques in algebraic geometry
Kähler manifolds and transcendental techniques in algebraic geometry Jean-Pierre Demailly Abstract. Our goal is to survey some of the main advances which took place recently in the study of the geometry
More informationarxiv: v2 [math.cv] 8 Apr 2013
ADJUNCTION FOR THE GRAUERT RIEMENSCHNEIDER CANONICAL SHEAF AND EXTENSION OF L 2 -COHOMOLOGY CLASSES JEAN RUPPENTHAL AND HÅKAN SAMUELSSON KALM AND ELIZABETH WULCAN arxiv:1211.3660v2 [math.c] 8 Apr 2013
More informationContents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39.
Preface xiii Chapter 1. Selected Problems in One Complex Variable 1 1.1. Preliminaries 2 1.2. A Simple Problem 2 1.3. Partitions of Unity 4 1.4. The Cauchy-Riemann Equations 7 1.5. The Proof of Proposition
More informationDedicated to Mel Hochster on his 65th birthday. 1. Introduction
GLOBAL DIVISION OF COHOMOLOGY CLASSES VIA INJECTIVITY LAWRENCE EIN AND MIHNEA POPA Dedicated to Mel Hochster on his 65th birthday 1. Introduction The aim of this note is to remark that the injectivity
More informationNOTES COURS L SÉBASTIEN BOUCKSOM
NOTES COURS L2 2016 Table des matières 1. Subharmonic functions 1 2. Plurisubharmonic functions 4 3. Basic analysis of first order differential operators 10 4. Fundamental identities of Kähler geometry
More informationLELONG NUMBERS ON PROJECTIVE VARIETIES
LELONG NUMBERS ON PROJECTIVE VARIETIES RODRIGO PARRA Contents 1. Introduction 2 2. Generalities on complex manifolds 5 2.1. Vector bundles 5 2.2. Differential forms 6 2.3. Cohomology of Complex Manifolds
More informationAPPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction
APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact
More informationON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION
ON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION OSAMU FUJINO Abstract. We reduce Iitaka s subadditivity conjecture for the logarithmic Kodaira dimension to a special case of the generalized abundance
More informationarxiv:math/ v4 [math.ag] 6 Feb 2001
ariv:math/0012225v4 [math.ag] 6 Feb 2001 DEFORMATION INVARIANCE OF PLURIGENERA Hajime Tsuji February 5, 2001 Abstract We prove the invariance of plurigenera under smooth projective deformations in full
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationThe geometry of Landau-Ginzburg models
Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror
More informationInvariance of Plurigenera and Torsion-Freeness of Direct Image Sheaves of Pluricanonial Bundles. Yum-Tong Siu 1
Invariance of Plurigenera and Torsion-Freeness of Direct Image Sheaves of Pluricanonial Bundles Yum-Tong Siu Abstract. The deformational invariance of plurigenera proved recently by the author is a special
More informationLECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS
LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity
More informationSingularities of hypersurfaces and theta divisors
Singularities of hypersurfaces and theta divisors Gregor Bruns 09.06.2015 These notes are completely based on the book [Laz04] and the course notes [Laz09] and contain no original thought whatsoever by
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationarxiv:math/ v1 [math.ag] 17 Sep 1998
arxiv:math/9809091v1 [math.ag] 17 Sep 1998 ON THE EXTENSION PROBLEM OF PLURICANONICAL FORMS DEDICATED TO PROFESSOR FRIEDRICH HIRZEBRUCH ON HIS SEVENTIETH BIRTHDAY Yujiro Kawamata Abstract. We review some
More informationA REMARK ON THE THEOREM OF OHSAWA-TAKEGOSHI
K. Diederich and E. Mazzilli Nagoya Math. J. Vol. 58 (2000), 85 89 A REMARK ON THE THEOREM OF OHSAWA-TAKEGOSHI KLAS DIEDERICH and EMMANUEL MAZZILLI. Introduction and main result If D C n is a pseudoconvex
More informationBOUNDEDNESS OF MODULI OF VARIETIES OF GENERAL TYPE
BOUNDEDNESS OF MODULI OF VARIETIES OF GENERAL TYPE CHRISTOPHER D. HACON, JAMES M C KERNAN, AND CHENYANG XU Abstract. We show that the family of semi log canonical pairs with ample log canonical class and
More informationMath. Proc. Camb. Phil. Soc. (1999), 125,83 Printed in the United Kingdom 1999 Cambridge Philosophical Society
Math. Proc. Camb. Phil. Soc. (1999 125,83 Printed in the United Kingdom 1999 Cambridge Philosophical Society 83 Irregularity of canonical pencils for a threefold of general type* BY MENG CHEN Department
More informationA CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction
A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM GAUTAM BHARALI, INDRANIL BISWAS, AND GEORG SCHUMACHER Abstract. Let X and Y be compact connected complex manifolds of the same dimension
More informationUnder these assumptions show that if D X is a proper irreducible reduced curve with C K X = 0 then C is a smooth rational curve.
Example sheet 3. Positivity in Algebraic Geometry, L18 Instructions: This is the third and last example sheet. More exercises may be added during this week. The final example class will be held on Thursday
More informationSome Concepts and Results in Complex Geometry
Some Concepts and Results in Complex Geometry Min Ru, University of Houston 1 Geometry on Hermitian and Kahler Manifolds A complex manifold is a differentiable manifold admitting an open cover {U α } and
More informationON SHOKUROV S RATIONAL CONNECTEDNESS CONJECTURE
ON SHOKUROV S RATIONAL CONNECTEDNESS CONJECTURE CHRISTOPHER D. HACON AND JAMES M C KERNAN Abstract. We prove a conjecture of V. V. Shokurov which in particular implies that the fibers of a resolution of
More informationTopic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016
Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces
More informationarxiv: v1 [math.ag] 12 Jun 2012
SCALAR CURVATURE AND UNIRULEDNESS ON PROJECTIVE ANIFOLDS arxiv:1206.2576v1 [math.ag] 12 Jun 2012 GORDON HEIER AND BUN WONG Abstract. It is a basic tenet in complex geometry that negative curvature corresponds,
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationFinite generation of pluricanonical rings
University of Utah January, 2007 Outline of the talk 1 Introduction Outline of the talk 1 Introduction 2 Outline of the talk 1 Introduction 2 3 The main Theorem Curves Surfaces Outline of the talk 1 Introduction
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION
ON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION OSAMU FUJINO Abstract. We reduce Iitaka s subadditivity conjecture for the logarithmic Kodaira dimension to a special case of the generalized abundance
More informationWild ramification and the characteristic cycle of an l-adic sheaf
Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationCurvature of vector bundles associated to holomorphic fibrations
Annals of Mathematics, 169 (2009), 531 560 Curvature of vector bundles associated to holomorphic fibrations By Bo Berndtsson Abstract Let L be a (semi)-positive line bundle over a Kähler manifold, X, fibered
More informationFUNDAMENTAL THEOREMS FOR THE LOG MINIMAL MODEL PROGRAM
FUNDAMENTAL THEOREMS FOR THE LOG MINIMAL MODEL PROGRAM OSAMU FUJINO Abstract. In this paper, we prove the cone theorem and the contraction theorem for pairs (X, B), where X is a normal variety and B is
More informationCohomology of the Mumford Quotient
Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationFUNDAMENTAL THEOREMS FOR THE LOG MINIMAL MODEL PROGRAM
FUNDAMENTAL THEOREMS FOR THE LOG MINIMAL MODEL PROGRAM OSAMU FUJINO Abstract. In this paper, we prove the cone theorem and the contraction theorem for pairs (X, B), where X is a normal variety and B is
More informationarxiv: v2 [math.ag] 25 Oct 2017
RATIONAL CURVES ON COMPACT KÄHLER MANIFOLDS arxiv:1502.03936v2 [math.ag] 25 Oct 2017 JUNYAN CAO AND ANDREAS HÖRING Abstract. Mori s theorem yields the existence of rational curves on projective manifolds
More informationProgress in Several Complex Variables KIAS 2018
for Progress in Several Complex Variables KIAS 2018 Outline 1 for 2 3 super-potentials for 4 real for Let X be a real manifold of dimension n. Let 0 p n and k R +. D c := { C k (differential) (n p)-forms
More informationVarieties fibred over abelian varieties with fibres of log general type. Caucher Birkar and Jungkai Alfred Chen
Varieties fibred over abelian varieties with fibres of log general type Caucher Birkar and Jungkai Alfred Chen Abstract. Let (X, B) be a complex projective klt pair, and let f : X Z be a surjective morphism
More informationUniversité Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM. Master 2 Memoire by Christopher M. Evans. Advisor: Prof. Joël Merker
Université Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM Master 2 Memoire by Christopher M. Evans Advisor: Prof. Joël Merker August 2013 Table of Contents Introduction iii Chapter 1 Complex Spaces 1
More informationON THE MODULI B-DIVISORS OF LC-TRIVIAL FIBRATIONS
ON THE MODULI B-DIVISORS OF LC-TRIVIAL FIBRATIONS OSAMU FUJINO AND YOSHINORI GONGYO Abstract. Roughly speaking, by using the semi-stable minimal model program, we prove that the moduli part of an lc-trivial
More informationConstructing compact 8-manifolds with holonomy Spin(7)
Constructing compact 8-manifolds with holonomy Spin(7) Dominic Joyce, Oxford University Simons Collaboration meeting, Imperial College, June 2017. Based on Invent. math. 123 (1996), 507 552; J. Diff. Geom.
More informationALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3
ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric
More informationNOTES ON NEWLANDER-NIRENBERG THEOREM XU WANG
NOTES ON NEWLANDER-NIRENBERG THEOREM XU WANG Abstract. In this short note we shall recall the classical Newler-Nirenberg theorem its vector bundle version. We shall also recall an L 2 -Hörmer-proof given
More informationSome brief notes on the Kodaira Vanishing Theorem
Some brief notes on the Kodaira Vanishing Theorem 1 Divisors and Line Bundles, according to Scott Nollet This is a huge topic, because there is a difference between looking at an abstract variety and local
More informationDevoir 1. Valerio Proietti. November 5, 2014 EXERCISE 1. z f = g. supp g EXERCISE 2
GÉOMÉTRIE ANALITIQUE COMPLEXE UNIVERSITÉ PARIS-SUD Devoir Valerio Proietti November 5, 04 EXERCISE Thanks to Corollary 3.4 of [, p. ] we know that /πz is a fundamental solution of the operator z on C.
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationLecture III: Neighbourhoods
Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In
More informationNon-uniruledness results for spaces of rational curves in hypersurfaces
Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree
More informationNOTES ON DIVISORS AND RIEMANN-ROCH
NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as
More informationKähler-Einstein metrics and K-stability
May 3, 2012 Table Of Contents 1 Preliminaries 2 Continuity method 3 Review of Tian s program 4 Special degeneration and K-stability 5 Thanks Basic Kähler geometry (X, J, g) (X, J, ω g ) g(, ) = ω g (,
More informationSome Remarks on the Minimal Model Program
J. Math. Sci. Univ. Tokyo 22 (2015), 149 192. Some Remarks on the Minimal Model Program for Log Canonical Pairs By Osamu Fujino In memory of Professor Kunihiko Kodaira Abstract. We prove that the target
More informationHIGHER COHOMOLOGY OF DIVISORS ON A PROJECTIVE VARIETY. Introduction
HIGHER COHOMOLOGY OF DIVISORS ON A PROJECTIVE VARIETY TOMMASO DE FERNEX, ALEX KÜRONYA, AND ROBERT LAZARSFELD Introduction The purpose of this paper is to study the growth of higher cohomology of line bundles
More informationRIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY
RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY NICK MCCLEEREY 0. Complex Differential Forms Consider a complex manifold X n (of complex dimension n) 1, and consider its complexified tangent bundle T C
More informationBernstein s analytic continuation of complex powers
(April 3, 20) Bernstein s analytic continuation of complex powers Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Analytic continuation of distributions 2. Statement of the theorems
More informationFactorization of birational maps on steroids
Factorization of birational maps on steroids IAS, April 14, 2015 Dan Abramovich Brown University April 14, 2015 This is work with Michael Temkin (Jerusalem) Abramovich (Brown) Factorization of birational
More informationA generic property of families of Lagrangian systems
Annals of Mathematics, 167 (2008), 1099 1108 A generic property of families of Lagrangian systems By Patrick Bernard and Gonzalo Contreras * Abstract We prove that a generic Lagrangian has finitely many
More informationCANONICAL BUNDLE FORMULA AND VANISHING THEOREM
CANONICAL BUNDLE FORMULA AND VANISHING THEOREM OSAMU FUJINO Abstract. In this paper, we treat two different topics. We give sample computations of our canonical bundle formula. They help us understand
More information0.1 Complex Analogues 1
0.1 Complex Analogues 1 Abstract In complex geometry Kodaira s theorem tells us that on a Kähler manifold sufficiently high powers of positive line bundles admit global holomorphic sections. Donaldson
More informationarxiv:alg-geom/ v1 21 Mar 1996
AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alg-geom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically
More informationPeriod Domains. Carlson. June 24, 2010
Period Domains Carlson June 4, 00 Carlson - Period Domains Period domains are parameter spaces for marked Hodge structures. We call Γ\D the period space, which is a parameter space of isomorphism classes
More informationNodal symplectic spheres in CP 2 with positive self intersection
Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationHolomorphic symmetric differentials and a birational characterization of Abelian Varieties
Holomorphic symmetric differentials and a birational characterization of Abelian Varieties Ernesto C. Mistretta Abstract A generically generated vector bundle on a smooth projective variety yields a rational
More informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More informationVERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP
VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP CHRISTIAN PAULY AND ANA PEÓN-NIETO Abstract. Let X be a smooth complex projective curve of genus g 2 and let K be its canonical bundle. In this note
More informationBASE POINT FREE THEOREMS SATURATION, B-DIVISORS, AND CANONICAL BUNDLE FORMULA
BASE POINT FREE THEOREMS SATURATION, B-DIVISORS, AND CANONICAL BUNDLE FORMULA OSAMU FUJINO Abstract. We reformulate base point free theorems. Our formulation is flexible and has some important applications.
More informationOn the Convergence of a Modified Kähler-Ricci Flow. 1 Introduction. Yuan Yuan
On the Convergence of a Modified Kähler-Ricci Flow Yuan Yuan Abstract We study the convergence of a modified Kähler-Ricci flow defined by Zhou Zhang. We show that the modified Kähler-Ricci flow converges
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More information