. A formula for the geometric genus of surface singularities. Tomohiro Okuma
|
|
- Dorothy Farmer
- 5 years ago
- Views:
Transcription
1 A formula for the geometric genus of surface singularities Yamagata University Branched Coverings, Degenerations, and Related Topics 2011 TMU, March 7 10, 2011
2 Contents Some known results When is p g topological? 1 Some known results When is p g topological? 2 3
3 Some known results When is p g topological? (X, o) (C n, o): a normal complex surface singularity Σ: the link of (X, o) Σ = X S 2n 1 ε (0 < ε 1) We may assume X is a cone over Σ π : X X: a resolution with exceptional set E := π 1 (o) a) π is proper and X is smooth, b) X \ E X \ {o},
4 Some known results When is p g topological? (X, o) (C n, o): a normal complex surface singularity Σ: the link of (X, o) Σ = X S 2n 1 ε (0 < ε 1) We may assume X is a cone over Σ π : X X: a resolution with exceptional set E := π 1 (o) a) π is proper and X is smooth, b) X \ E X \ {o}, Definition (The geometric genus) p g (X, o) := h 1 ( X, O X ) := dim C H 1 ( X, O X ), independent of the resolution
5 Some known results When is p g topological? (X, o) (C n, o): a normal complex surface singularity Σ: the link of (X, o) Σ = X S 2n 1 ε (0 < ε 1) We may assume X is a cone over Σ π : X X: a resolution with exceptional set E := π 1 (o) a) π is proper and X is smooth, b) X \ E X \ {o}, Definition (The geometric genus) p g (X, o) := h 1 ( X, O X ) := dim C H 1 ( X, O X ), independent of the resolution By duality, H 0 ( X \ E, O X (K X )) p g (X, o) = dim C H 0 ( X, O X (K X ))
6 Some known results When is p g topological? Hypersurfaces (Counting lower monomials ) Suppose X = { f = 0}, f C[x 1, x 2, x 3 ] Z + := N {0} Kimio Watanabe, 1980 f is weighted homogeneous of degree d with weights (q 1, q 2, q 3 ) p g (X, o) = # { (a 1, a 2, a 3 ) (Z + ) 3 3 (a i=1 i + 1)q i d }
7 Some known results When is p g topological? Hypersurfaces (Counting lower monomials ) Suppose X = { f = 0}, f C[x 1, x 2, x 3 ] Z + := N {0} Kimio Watanabe, 1980 f is weighted homogeneous of degree d with weights (q 1, q 2, q 3 ) p g (X, o) = # { (a 1, a 2, a 3 ) (Z + ) 3 3 (a i=1 i + 1)q i d } Merle Teissier, 1980 f is non-degenerate wrt its Newton boundary p g (X, o) = # { a (Z + ) 3 a + (1, 1, 1) Int(Γ + ) }
8 Some known results When is p g topological? Hypersurfaces (Invariants from resolution process) Any double point is defined by a function of type x g(x 2, x 3 ) Horikawa, 1975 f = x 2 + g(x 2, x 3 ) 1 p g (X, o) = 1 n 2 γ mi i=1 i(γ i + 1), where γ i = 1, m i is the 2 multiplicity of curve singularity which is the center of i-th blowing up in the embedded resolution process for {g = 0} C 2
9 Some known results When is p g topological? Hypersurfaces (Invariants from resolution process) Any double point is defined by a function of type x g(x 2, x 3 ) Horikawa, 1975 f = x 2 + g(x 2, x 3 ) 1 p g (X, o) = 1 n 2 γ mi i=1 i(γ i + 1), where γ i = 1, m i is the 2 multiplicity of curve singularity which is the center of i-th blowing up in the embedded resolution process for {g = 0} C 2 Ashikaga (1999) obtained a formula for x n 1 + g(x 2, x 3 ) Tomari (1985) obtained a formula for any hypersurface singularity
10 Some known results When is p g topological? {E u } u V : the irreducible components of E Then H 2 ( X, Z) = u V ZE u Let Z = min {D Z + E u D E u 0, u V }: the Artin cycle Definition For D u V Z + E u p a (D) = 1 h 0 (O D ) + h 1 (O D ) = D (D + 2 K X ) p a (Z) is independent of the choice of resolution
11 Some known results When is p g topological? {E u } u V : the irreducible components of E Then H 2 ( X, Z) = u V ZE u Let Z = min {D Z + E u D E u 0, u V }: the Artin cycle Definition For D u V Z + E u p a (D) = 1 h 0 (O D ) + h 1 (O D ) = D (D + 2 K X ) p a (Z) is independent of the choice of resolution (Artin, 1966) p a (Z) = 0 p g = 0 (Laufer, 1977) Z K X (then p a(z) = 1) p g = 1
12 Some known results When is p g topological? {E u } u V : the irreducible components of E Then H 2 ( X, Z) = u V ZE u Let Z = min {D Z + E u D E u 0, u V }: the Artin cycle Definition For D u V Z + E u p a (D) = 1 h 0 (O D ) + h 1 (O D ) = D (D + 2 K X ) p a (Z) is independent of the choice of resolution (Artin, 1966) p a (Z) = 0 p g = 0 (Laufer, 1977) Z K X (then p a(z) = 1) p g = 1 (Némethi, 1999) (X, o) is Gorenstein, p a (Z) = 1, QHS link p g = the length of the elliptic sequence (SS-T Yau introduced the elliptic sequence and gave bounds of these invariants)
13 Some known results When is p g topological? Assume that π : X X is a good resolution, ie, E u are nonsingular, E u E w = 1 or 0 for u w I(E) = (E u E w ): the intersection matrix of E; it is negative-definite Γ: the weighted dual graph of E E u vertex u; E u E w edge connectin u and w; vertex u has weight (E u E u, g(e u )) (if all E u are rational, Γ I(E))
14 Some known results When is p g topological? Assume that π : X X is a good resolution, ie, E u are nonsingular, E u E w = 1 or 0 for u w I(E) = (E u E w ): the intersection matrix of E; it is negative-definite Γ: the weighted dual graph of E E u vertex u; E u E w edge connectin u and w; vertex u has weight (E u E u, g(e u )) (if all E u are rational, Γ I(E)) Ṭhe graph Γ and the link Σ determine each other (Neumann) An invariant of a singularity is topological if it is determined by the resolution graph
15 Some known results When is p g topological? Ịn general, Gorenstein condition and p g are not topological The following graph ( vertex P 1 ) is realized by:
16 Some known results When is p g topological? Ịn general, Gorenstein condition and p g are not topological The following graph ( vertex P 1 ) is realized by: X 1 : x 2 + y 3 + z 13 = 0, p g = 2
17 Some known results When is p g topological? Ịn general, Gorenstein condition and p g are not topological The following graph ( vertex P 1 ) is realized by: X 1 : x 2 + y 3 + z 13 = 0, p g = 2 X 2 (non ( Gorenstein): ) x y z rank y 3w 2 z + w 3 x 2 + 6wy 2w 3 < 2, p g = 1
18 Some known results When is p g topological? Ịn general, Gorenstein condition and p g are not topological The following graph ( vertex P 1 ) is realized by: X 1 : x 2 + y 3 + z 13 = 0, p g = 2 X 2 (non ( Gorenstein): ) x y z rank y 3w 2 z + w 3 x 2 + 6wy 2w 3 < 2, p g = 1 Main question Ẉhen (How) can we compute p g from the graph?
19 Let E u be an arbitrary component of E Let F 1,, F m be the connected components of E E u (X i, x i ): the normal singularity obtained by contracting F i
20 Let E u be an arbitrary component of E Let F 1,, F m be the connected components of E E u (X i, x i ): the normal singularity obtained by contracting F i Notation c( X, u) := p g (X, o) m i=1 p g(x i, x i )
21 Let E u be an arbitrary component of E Let F 1,, F m be the connected components of E E u (X i, x i ): the normal singularity obtained by contracting F i Notation c( X, u) := p g (X, o) m i=1 p g(x i, x i ) Problem Find a class R of surface singularities, which satisfies the following: For any (X, o) in R, there exists a good resolution X X such that c( X, u) can be computed from the graph for any u V, every (X i, x i ) is in R
22 There exisits E u i V QE i satisfying E u E i = δ ui ( i) Let k be a positive integer such that ke u L I n = H 0 (O X ( nke u )) G := n 0 I n/i n+1 H G (t) := n 0(dim G n )t n : the Hilbert series of G
23 There exisits E u i V QE i satisfying E u E i = δ ui ( i) Let k be a positive integer such that ke u L I n = H 0 (O X ( nke u )) G := n 0 I n/i n+1 H G (t) := n 0(dim G n )t n : the Hilbert series of G Definition Let F(t) = i 0 a i t i be a formal power series If ψ(n) := nk 1 i=0 is a polynomial function of n for some k N, then the constant term of ψ(n) is independent of k N This constant is called the periodic constant of F(t) and denote it by pc F a i
24 There exisits E u i V QE i satisfying E u E i = δ ui ( i) Let k be a positive integer such that ke u L I n = H 0 (O X ( nke u )) G := n 0 I n/i n+1 H G (t) := n 0(dim G n )t n : the Hilbert series of G Definition Let F(t) = i 0 a i t i be a formal power series If ψ(n) := nk 1 i=0 is a polynomial function of n for some k N, then the constant term of ψ(n) is independent of k N This constant is called the periodic constant of F(t) and denote it by pc F Lemma Assume F(t) = p(t) + r(t)/q(t), where p, q, and r are polynomials with deg r < deg q Then pc F = p(1) a i
25 Ụnder a certain condition, c( X, u) = pc H G
26 Ụnder a certain condition, c( X, u) = pc H G Let E V be the set of ends Definition Let i E We say that X satisfies the weak end curve condition (weak ECC) at E i if there exist n N and f H 0 (O X ) such that H = div( f) ne has no component of E i
27 Ụnder a certain condition, c( X, u) = pc H G Let E V be the set of ends Definition Let i E We say that X satisfies the weak end curve condition (weak ECC) at E i if there exist n N and f H 0 (O X ) such that H = div( f) ne has no component of E i We say that X satisfies the ECC at E i if it satisfies the weak ECC at E i and the divisor H can be chosen as a divisor with irreducible support We say simply that X satisfies the (weak) ECC if it satisfies the (weak) ECC at E i for every i E
28 Proposition Assume that X satisfies the weak ECC Then 1 p g (X, o) = pc H G + m i=1 g(x i, x i ) (ie, c( X, u) = pc H G ) 2 X i satisfies the weak ECC
29 Proposition Assume that X satisfies the weak ECC Then 1 p g (X, o) = pc H G + m i=1 g(x i, x i ) (ie, c( X, u) = pc H G ) 2 X i satisfies the weak ECC The point of (1) is that L n := O X ( nke u ) (n 0) has no base points in E If π : X X is the contraction of E E u, then 0 = H 1 (π L n) H 1 (L n ) H 0 (R 1 π L n ) 0 From the exact sequence we have 0 L n O X O nke u 0 p g (X, o) = dim I 0 /I n χ(o nke u ) + h 1 (L n )
30 Corollary (Tomari Watanabe, 1989) Suppose X is a hypersurface with multiplicity d Then p g (X, o) = 1 d(d 1)(d 2) if the blowing up of X at o has only 6 rational singularities (Eg superisolated singularities)
31 Corollary (Tomari Watanabe, 1989) Suppose X is a hypersurface with multiplicity d Then p g (X, o) = 1 d(d 1)(d 2) if the blowing up of X at o has only 6 rational singularities (Eg superisolated singularities) The Hilbert series of the tangent cone is F(t) = 1 td (1 t) ( ) 3 d pc F = = 1 d(d 1)(d 2) 3 6
32 Ạssume that H 1 (Σ, Q) = 0 ( E u P 1 and Γ is a tree)
33 Ạssume that H 1 (Σ, Q) = 0 ( E u P 1 and Γ is a tree) Theorem (End Curve Theorem (Neumann-Wahl) ) (X, o) is a splice quotient The minimal good resolution of (X, o) satisfies the ECC Definition Let i E X satisfies the weak ECC at E i if there exist n N and f H 0 (O X ) such that H = div( f) ne has no component i of E X satisfies the ECC at E i if it satisfies the weak end curve condition at E i and the divisor H can be chosen as a divisor with irreducible support X satisfies the ECC if it satisfies the ECC at E i for every i E
34 Splice quotients includes weighted homogeneous singularities with QHS links Rational singularities are splice quotients Minimally elliptic singularities with QHS links
35 Definition L := u V ZE u L := u V ZE u (E w E u = δ wu) H := L /L Then H H 1 (Σ, Z), H = det I(E)
36 Definition L := u V ZE u L := u V ZE u (E w E u = δ wu) H := L /L Then H H 1 (Σ, Z), H = det I(E) For h H, θ(h, i) := exp(2π 1 h E i ) where is (L /L) L Q/Z (m i j ) = H ( I(E)) 1 Z SW (t) = 1 (1 θ(h, i) t m wi ) δi 2 Γ,w H h H i V δ i = (E E i ) E i
37 Assume (X, o) is splice quotient Theorem (O, 2008) 1 p g (X, o) = pc Z SW + m p Γ,w i=1 g(x i, x i ) 2 Each (X i, x i ) is a splice quotient Corollary If Γ is a star-shaped graph with center u, then p g (X, o) = pc Z SW Γ,w
38 Example The following graph is realized by a Gorenstein splice quotient 4 2 u p a (Z) = 6
39 Example The following graph is realized by a Gorenstein splice quotient 4 2 u p a (Z) = 6 The polynomial part of Z SW (t) is Γ,w 6 + t 5 + t 10
40 Example The following graph is realized by a Gorenstein splice quotient 4 2 u p a (Z) = 6 The polynomial part of Z SW (t) is Γ,w 6 + t 5 + t 10 p g = = 8
41 Casson Invariant Conjecture Assume (X, o) is complete intersection F: the Milnor fiber of (X, o) (Then Σ F) σ(f): the signature λ(σ): the Casson invariant Casson Invariant Conjecture (Neumann-Wahl) Ạssume that H 1 (Σ, Z) = 0 Then λ(σ) = σ(f)/8
42 Casson Invariant Conjecture Assume (X, o) is complete intersection F: the Milnor fiber of (X, o) (Then Σ F) σ(f): the signature λ(σ): the Casson invariant Casson Invariant Conjecture (Neumann-Wahl) Ạssume that H 1 (Σ, Z) = 0 Then λ(σ) = σ(f)/8 By Laufer Durfee, CIC p g (X, o) + λ(σ) + K2 + s 8 K = K X, s = #V = 0
43 A generalization of CIC In the following, we do not assume that H = {0}, the existence of smoothing Seiberg Witten Invariant Conjecture (Némethi Nicolaescu) p g (X, o) + sw(σ) + K2 + s 0 8 If (X, o) is Q-Gorenstein, then = holds Ḥ 1 (Σ, Z) = 0 sw(σ) = λ(σ) (Casson invariant)
44 A generalization of CIC In the following, we do not assume that H = {0}, the existence of smoothing Seiberg Witten Invariant Conjecture (Némethi Nicolaescu) p g (X, o) + sw(σ) + K2 + s 0 8 If (X, o) is Q-Gorenstein, then = holds Ḥ 1 (Σ, Z) = 0 sw(σ) = λ(σ) (Casson invariant) Theorem (Némethi Nicolaescu) SWIC is true for quotient singularities, weighted homogeneous singularities, and z n = g(x, y)
45 For (X i, x i ), define Σ i, s i, K 2 as Σ, s, K 2 i Theorem (Braun Némethi, 2010) sw(σ) + K2 + s m = pc Z SW 8 + Γ,w sw(σ i) + i=1 K 2 i + s i 8
46 For (X i, x i ), define Σ i, s i, K 2 as Σ, s, K 2 i Theorem (Braun Némethi, 2010) sw(σ) + K2 + s m = pc Z SW 8 + Γ,w sw(σ i) + i=1 p g (X, o) = pc Z SW Γ,w + m i=1 p g(x i, x i ) Corollary ṢWIC and CIC are true for splice quotients K 2 i + s i 8
47 For (X i, x i ), define Σ i, s i, K 2 as Σ, s, K 2 i Theorem (Braun Némethi, 2010) sw(σ) + K2 + s m = pc Z SW 8 + Γ,w sw(σ i) + i=1 p g (X, o) = pc Z SW Γ,w + m i=1 p g(x i, x i ) Corollary ṢWIC and CIC are true for splice quotients K 2 i + s i 8 Ṭhere are counterexamples for SWIC; no for CIC
48 A counterexample for SWIC (Luengo-Velasco, Melle-Hernández, and Némethi) The following graph is realized by a superisolated singulaity 4 2 u Then Z 2 = 5, 5(5 1)(5 2) p g = = 10 6 (p g = 8 if it is splice quotient)
49 A counterexample for SWIC (Luengo-Velasco, Melle-Hernández, and Némethi) The following graph is realized by a superisolated singulaity 4 2 u Then Z 2 = 5, 5(5 1)(5 2) p g = = 10 6 (p g = 8 if it is splice quotient) Problem Characterize singularities satisfying SWIC (or pc Z SW = pc H G ) CIC is true?
50 Non splice quotient The following graph is not realized by a splice quotient, but realized by a hypersurface singularity with p a (Z) = 1, its minimal good resolution satisfies the weak ECC E E 3 1 E 1 6 E 4 4 E 6 E 5 3
51 Non splice quotient The following graph is not realized by a splice quotient, but realized by a hypersurface singularity with p a (Z) = 1, its minimal good resolution satisfies the weak ECC E E 3 1 E 1 6 E 4 4 E 6 E 5 3 p g = pc Z SW Γ,5 In particular, SWIC holds = pc ZSW Γ,6 = 2
52 Non splice quotient The following graph is not realized by a splice quotient, but realized by a hypersurface singularity with p a (Z) = 1, its minimal good resolution satisfies the weak ECC E E 3 1 E 1 6 E 4 4 E 6 E 5 3 p g = pc Z SW Γ,5 In particular, SWIC holds = pc ZSW Γ,6 = 2 The class of singularities satisfying SWIC is bigger than the class of splice quotients
arxiv:math/ v1 [math.ag] 16 Oct 2006
arxiv:math/0610465v1 [math.ag] 16 Oct 2006 ON THE CASSON INVARIANT CONJECTURE OF NEUMANN WAHL ANDRÁS NÉMETHI AND TOMOHIRO OKUMA Abstract. In the article we prove the Casson Invariant Conjecture of Neumann
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationCOMPLETE INTERSECTION SINGULARITIES OF SPLICE TYPE AS UNIVERSAL ABELIAN COVERS
COMPLETE INTERSECTION SINGULARITIES OF SPLICE TYPE AS UNIVERSAL ABELIAN COVERS WALTER D. NEUMANN AND JONATHAN WAHL Abstract. It has long been known that every quasi-homogeneous normal complex surface singularity
More informationTHE END CURVE THEOREM FOR NORMAL COMPLEX SURFACE SINGULARITIES
THE END CURVE THEOREM FOR NORMAL COMPLEX SURFACE SINGULARITIES WALTER D. NEUMANN AND JONATHAN WAHL Abstract. We prove the End Curve Theorem, which states that a normal surface singularity (X, o) with rational
More informationSeiberg Witten invariants and surface singularities: splicings and cyclic covers
Sel math, New ser (2005), 399 45 c 2006 Birkhäuser Verlag Basel/Switzerland 022-824/040399-53 DOI 0007/s00029-006-006-2 Selecta Mathematica New Series Seiberg Witten invariants and surface singularities:
More informationRATIONAL HOMOLOGY DISK SMOOTHING COMPONENTS OF WEIGHTED HOMOGENEOUS SURFACE SINGULARITIES
RATIONAL HOMOLOGY DISK SMOOTHING COMPONENTS OF WEIGHTED HOMOGENEOUS SURFACE SINGULARITIES Jacob R. Fowler A dissertation submitted to the faculty at the University of North Carolina at Chapel Hill in partial
More informationK3 Surfaces and Lattice Theory
K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9
More informationdiv(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:
Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.
More informationInvariants of Normal Surface Singularities
Rényi Institute of Mathematics, Budapest June 19, 2009 Notations Motivation. Questions. Normal surface singularities (X, o) = a normal surface singularity M = its link (oriented 3manifold) assume: M is
More informationTHE MAXIMAL IDEAL CYCLES OVER COMPLETE INTERSECTION SURFACE SINGULARITIES OF BRIESKORN TYPE
Kyushu J. Math. 68 (2014), 121 137 doi:10.2206/kyushujm.68.121 THE MAXIMAL IDEAL CYCLES OVER COMPLETE INTERSECTION SURFACE SINGULARITIES OF BRIESKORN TYPE Fan-Ning MENG and Tomohiro OKUMA (Received 12
More informationRemarks on the Milnor number
José 1 1 Instituto de Matemáticas, Universidad Nacional Autónoma de México. Liverpool, U. K. March, 2016 In honour of Victor!! 1 The Milnor number Consider a holomorphic map-germ f : (C n+1, 0) (C, 0)
More informationOn the Abhyankar-Moh inequality
On the Abhyankar-Moh inequality Evelia García Barroso La Laguna University, Tenerife September, 2014 In this talk we present some results of R.D. Barrolleta, E. García Barroso and A. Płoski, On the Abhyankar-Moh
More informationMultiplicity of singularities is not a bi-lipschitz invariant
Multiplicity of singularities is not a bi-lipschitz invariant Misha Verbitsky Joint work with L. Birbrair, A. Fernandes, J. E. Sampaio Geometry and Dynamics Seminar Tel-Aviv University, 12.12.2018 1 Zariski
More informationNormality of secant varieties
Normality of secant varieties Brooke Ullery Joint Mathematics Meetings January 6, 2016 Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 1 / 11 Introduction Let X
More informationIsolated singularities in analytic spaces
Isolated singularities in analytic spaces José Seade These are notes for my lectures at the meeting On the Geometry and Topology of Singularities, in honor of the 60th Birthday of Lê Dũng Tráng. The aim
More informationOn the spectrum of curve singularities
On the spectrum of curve singularities by András Némethi The Ohio State University Columbus, OH 43210, USA. Dedicated to Egbert Brieskorn on the occasion of his 60th birthday 1. Introduction There is the
More informationThe Cone Theorem. Stefano Filipazzi. February 10, 2016
The Cone Theorem Stefano Filipazzi February 10, 2016 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will give an overview
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationSPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree
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 informationComplete intersection singularities of splice type as universal abelian covers
ISSN 1364-0380 (on line) 1465-3060 (printed) 699 Geometry & Topology Volume 9 (2005) 699 755 Published: 28 April 2005 Complete intersection singularities of splice type as universal abelian covers Abstract
More informationA POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE
Bull. Korean Math. Soc. 47 (2010), No. 1, pp. 211 219 DOI 10.4134/BKMS.2010.47.1.211 A POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE Dosang Joe Abstract. Let P be a Jacobian polynomial such as deg P =
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationIntroduction Main Theorem
Abstract: We study the number of rational pre-images of a rational number a under the quadratic polynomial map (x) = x 2 + c. We state the existence of a uniform bound (uniform over the family of maps
More informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More informationLattice cohomology and. Seiberg Witten invariants of normal. surface singularities
Lattice cohomology and Seiberg Witten invariants of normal surface singularities arxiv:1310.3682v1 [math.gt] 14 Oct 2013 by Tamás László Submitted to Central European University Department of Mathematics
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationSESHADRI CONSTANTS ON SURFACES
SESHADRI CONSTANTS ON SURFACES KRISHNA HANUMANTHU 1. PRELIMINARIES By a surface, we mean a projective nonsingular variety of dimension over C. A curve C on a surface X is an effective divisor. The group
More informationRational points on curves and tropical geometry.
Rational points on curves and tropical geometry. David Zureick-Brown (Emory University) Eric Katz (Waterloo University) Slides available at http://www.mathcs.emory.edu/~dzb/slides/ Specialization of Linear
More informationA TOOL FOR STABLE REDUCTION OF CURVES ON SURFACES
A TOOL FOR STABLE REDUCTION OF CURVES ON SURFACES RAVI VAKIL Abstract. In the study of the geometry of curves on surfaces, the following question often arises: given a one-parameter family of divisors
More informationIntroduction Curves Surfaces Curves on surfaces. Curves and surfaces. Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway
Curves and surfaces Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway What is algebraic geometry? IMA, April 13, 2007 Outline Introduction Curves Surfaces Curves on surfaces
More informationMinimal model program and moduli spaces
Minimal model program and moduli spaces Caucher Birkar Algebraic and arithmetic structures of moduli spaces, Hokkaido University, Japan 3-7 Sep 2007 Minimal model program In this talk, all the varieties
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationTWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS
TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS KRISTIAN RANESTAD (OSLO), LUKECIN, 5.-6.SEPT 2013 1. Apolarity, Artinian Gorenstein rings and Arithmetic Gorenstein Varieties 1.1. Motivating
More informationCurve counting and generating functions
Curve counting and generating functions Ragni Piene Università di Roma Tor Vergata February 26, 2010 Count partitions Let n be an integer. How many ways can you write n as a sum of two positive integers?
More informationQuadratic forms and normal surface singularities
Quadratic forms and normal surface singularities C.T.C. Wall June 28, 2000 The title announced for my talk 1 was Quadratic forms in singularity theory. But that is too wide a topic for a lecture. There
More informationMac Williams identities for linear codes as Riemann-Roch conditions Azniv Kasparian, Ivan Marinov 1
Mac Williams identities for linear codes as Riemann-Roch conditions Azniv Kasparian, Ivan Marinov 1 1 Partially supported by Contract 57/12.04.2016 with the Scientific Foundation of Kliment Ohridski University
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 6
COMPLEX ALGEBRAIC SURFACES CLASS 6 RAVI VAKIL CONTENTS 1. The intersection form 1.1. The Neron-Severi group 3 1.. Aside: The Hodge diamond of a complex projective surface 3. Riemann-Roch for surfaces 4
More informationRiemann surfaces. Paul Hacking and Giancarlo Urzua 1/28/10
Riemann surfaces Paul Hacking and Giancarlo Urzua 1/28/10 A Riemann surface (or smooth complex curve) is a complex manifold of dimension one. We will restrict to compact Riemann surfaces. It is a theorem
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationAN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying
AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE 1. RATIONAL POINTS ON CIRCLE We start by asking us: How many integers x, y, z) can satisfy x 2 + y 2 = z 2? Can we describe all of them? First we can divide
More informationEach is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0
Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.
More informationHODGE NUMBERS OF COMPLETE INTERSECTIONS
HODGE NUMBERS OF COMPLETE INTERSECTIONS LIVIU I. NICOLAESCU 1. Holomorphic Euler characteristics Suppose X is a compact Kähler manifold of dimension n and E is a holomorphic vector bundle. For every p
More informationDiangle groups. by Gunther Cornelissen
Kinosaki talk, X 2000 Diangle groups by Gunther Cornelissen This is a report on joint work with Fumiharu Kato and Aristides Kontogeorgis which is to appear in Math. Ann., DOI 10.1007/s002080000183. Diangle
More informationThe Noether Inequality for Algebraic Threefolds
.... Meng Chen School of Mathematical Sciences, Fudan University 2018.09.08 P1. Surface geography Back ground Two famous inequalities c 2 1 Miyaoka-Yau inequality Noether inequality O χ(o) P1. Surface
More informationA NOTE ON E 8 -INTERSECTION FORMS AND CORRECTION TERMS
A NOTE ON E 8 -INTERSECTION FORMS AND CORRECTION TERMS MOTOO TANGE Abstract. In this paper we construct families of homology spheres which bound 4-manifolds with intersection forms isomorphic to E 8. We
More informationElliptic curves over function fields 1
Elliptic curves over function fields 1 Douglas Ulmer and July 6, 2009 Goals for this lecture series: Explain old results of Tate and others on the BSD conjecture over function fields Show how certain classes
More informationHOW TO CLASSIFY FANO VARIETIES?
HOW TO CLASSIFY FANO VARIETIES? OLIVIER DEBARRE Abstract. We review some of the methods used in the classification of Fano varieties and the description of their birational geometry. Mori theory brought
More informationPseudo symmetric monomial curves
Pseudo symmetric monomial curves Mesut Şahin HACETTEPE UNIVERSITY Joint work with Nil Şahin (Bilkent University) Supported by Tubitak No: 114F094 IMNS 2016, July 4-8, 2016 Mesut Şahin (HACETTEPE UNIVERSITY)
More informationa double cover branched along the smooth quadratic line complex
QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4-dimensional projective space
More informationOn Maps Taking Lines to Plane Curves
Arnold Math J. (2016) 2:1 20 DOI 10.1007/s40598-015-0027-1 RESEARCH CONTRIBUTION On Maps Taking Lines to Plane Curves Vsevolod Petrushchenko 1 Vladlen Timorin 1 Received: 24 March 2015 / Accepted: 16 October
More informationReal monoid surfaces
Real monoid surfaces Pål H. Johansen, Magnus Løberg, Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway Non-linear Computational Geometry IMA, May 31, 2007 Outline Introduction
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics ON DEGENERATE SECANT VARIETIES WHOSE GAUSS MAPS HAVE THE LARGEST IMAGES Masahiro Ohno Volume 187 No. 1 January 1999 PACIFIC JOURNAL OF MATHEMATICS Vol. 187, No. 1, 1999 ON
More informationDavid Eklund. May 12, 2017
KTH Stockholm May 12, 2017 1 / 44 Isolated roots of polynomial systems Let f 1,..., f n C[x 0,..., x n ] be homogeneous and consider the subscheme X P n defined by the ideal (f 1,..., f n ). 2 / 44 Isolated
More informationResolution of Singularities in Algebraic Varieties
Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.
More informationA TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY. We also have an isomorphism of holomorphic vector bundles
A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY LIVIU I. NICOLAESCU ABSTRACT. These are notes for a talk at a topology seminar at ND.. GENERAL FACTS In the sequel, for simplicity we denote the complex
More informationHypersurfaces and the Weil conjectures
Hypersurfaces and the Weil conjectures Anthony J Scholl University of Cambridge 13 January 2010 1 / 21 Number theory What do number theorists most like to do? (try to) solve Diophantine equations x n +
More informationThe Grothendieck Ring of Varieties
The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define
More informationNotes for Curves and Surfaces Instructor: Robert Freidman
Notes for Curves and Surfaces Instructor: Robert Freidman Henry Liu April 25, 2017 Abstract These are my live-texed notes for the Spring 2017 offering of MATH GR8293 Algebraic Curves & Surfaces. Let me
More informationComplex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool
Complex Algebraic Geometry: Smooth Curves Aaron Bertram, 2010 12. First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool for classifying smooth projective curves, i.e. giving
More informationOn Severi varieties of nodal curves on K3 surfaces
Università di Roma Tor Vergata, Italy (joint work with Th. Dedieu, University of Toulouse) Trento, September, 2010 K3 surfaces In this talk I will present some irreducibility result concerning Severi varieties
More informationClassifying complex surfaces and symplectic 4-manifolds
Classifying complex surfaces and symplectic 4-manifolds UT Austin, September 18, 2012 First Cut Seminar Basics Symplectic 4-manifolds Definition A symplectic 4-manifold (X, ω) is an oriented, smooth, 4-dimensional
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationDIRECT SUM DECOMPOSABILITY OF POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS
DIRECT SUM DECOMPOSABILITY OF POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove two criteria for direct sum decomposability of homogeneous polynomials. For a homogeneous
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics RATIONAL POLYNOMIALS OF SIMPLE TYPE Walter D. Neumann and Paul Norbury Volume 204 No. 1 May 2002 PACIFIC JOURNAL OF MATHEMATICS Vol. 204, No. 1, 2002 RATIONAL POLYNOMIALS
More informationAnalogs of Hodge Riemann relations
Analogs of Hodge Riemann relations in algebraic geometry, convex geometry and linear algebra V. Timorin State University of New York at Stony Brook March 28, 2006 Hodge Riemann form Let X be a compact
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 informationCounting curves on a surface
Counting curves on a surface Ragni Piene Centre of Mathematics for Applications and Department of Mathematics, University of Oslo University of Pennsylvania, May 6, 2005 Enumerative geometry Specialization
More informationDIMENSION 4: GETTING SOMETHING FROM NOTHING
DIMENSION 4: GETTING SOMETHING FROM NOTHING RON STERN UNIVERSITY OF CALIFORNIA, IRVINE MAY 6, 21 JOINT WORK WITH RON FINTUSHEL Topological n-manifold: locally homeomorphic to R n TOPOLOGICAL VS. SMOOTH
More informationAbstracts. A 1 -Milnor number Kirsten Wickelgren (joint work with Jesse Leo Kass) f/ f
Topologie 5 Abstracts A 1 -Milnor number Kirsten Wickelgren (joint work with Jesse Leo Kass) Let f : R n! R n be a C 1 -function with an isolated zero at the origin. Recall that the local degree deg 0
More informationThe Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves
The Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves Krishna Dasaratha dasaratha@college.harvard.edu Advisor: Joe Harris Submitted to the Department of Mathematics in partial
More informationEnumerative geometry of hyperplane arrangements
Enumerative geometry of hyperplane Max Department of Mathematics US Naval Academy Joint work with Will Traves and Thomas Paul Partially supported by the Simons Foundation and the Office of Naval Research.
More informationRUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW
Hedén, I. Osaka J. Math. 53 (2016), 637 644 RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW ISAC HEDÉN (Received November 4, 2014, revised May 11, 2015) Abstract The famous Russell hypersurface is
More informationSome examples of Calabi-Yau pairs with maximal intersection and no toric model
Some examples of Calabi-Yau pairs with maximal intersection and no toric model Anne-Sophie Kaloghiros Abstract It is known that a maximal intersection log canonical Calabi-Yau surface pair is crepant birational
More informationFUNDAMENTAL GROUPS. Alex Suciu. Northeastern University. Joint work with Thomas Koberda (U. Virginia) arxiv:
RESIDUAL FINITENESS PROPERTIES OF FUNDAMENTAL GROUPS Alex Suciu Northeastern University Joint work with Thomas Koberda (U. Virginia) arxiv:1604.02010 Number Theory and Algebraic Geometry Seminar Katholieke
More informationOn complete degenerations of surfaces with ordinary singularities in
Home Search Collections Journals About Contact us My IOPscience On complete degenerations of surfaces with ordinary singularities in This article has been downloaded from IOPscience. Please scroll down
More informationSegre classes of tautological bundles on Hilbert schemes of surfaces
Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande
More informationarxiv:math/ v2 [math.at] 2 Oct 2004
arxiv:math/0409412v2 [math.at] 2 Oct 2004 INTERSECTION HOMOLOGY AND ALEXANDER MODULES OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. Let V be a degree d, reduced, projective hypersurface in CP n+1,
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationComputational Formal Resolution of Surfaces in P 3 C
Computational Formal Resolution of Surfaces in P 3 C {Tobias.Beck Josef.Schicho}@oeaw.ac.at RICAM-Linz Austrian Academy of Sciences July 31 / Magma 2006 Berlin T. Beck, J. Schicho (RICAM-Linz) Computational
More informationROST S DEGREE FORMULA
ROST S DEGREE FORMULA ALEXANDER MERKURJEV Some parts of algebraic quadratic form theory and theory of simple algebras with involutions) can be translated into the language of algebraic geometry. Example
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 15
COMPLEX ALGEBRAIC SURFACES CLASS 15 RAVI VAKIL CONTENTS 1. Every smooth cubic has 27 lines, and is the blow-up of P 2 at 6 points 1 1.1. An alternate approach 4 2. Castelnuovo s Theorem 5 We now know that
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More informationDu Val Singularities
Du Val Singularities Igor Burban Introduction We consider quotient singularities C 2 /G, where G SL 2 (C) is a finite subgroup. Since we have a finite ring extension C[[x, y]] G C[[x, y]], the Krull dimension
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationCorollary. Let X Y be a dominant map of varieties, with general fiber F. If Y and F are rationally connected, then X is.
1 Theorem. Let π : X B be a proper morphism of varieties, with B a smooth curve. If the general fiber F of f is rationally connected, then f has a section. Corollary. Let X Y be a dominant map of varieties,
More informationLECTURE 5, FRIDAY
LECTURE 5, FRIDAY 20.02.04 FRANZ LEMMERMEYER Before we start with the arithmetic of elliptic curves, let us talk a little bit about multiplicities, tangents, and singular points. 1. Tangents How do we
More informationStable maps and Quot schemes
Stable maps and Quot schemes Mihnea Popa and Mike Roth Contents 1. Introduction........................................ 1 2. Basic Setup........................................ 4 3. Dimension Estimates
More informationAlgebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014
Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................
More informationJacobian Conjecture: A Birational Geometry Approach
Jacobian Conjecture: A Birational Geometry Approach Alexander Borisov University of Pittsburgh March 5, 2013 Johns Hopkins University Algebraic Geometry and Number Theory Seminar 1 Suppose n N. Suppose
More informationMAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.
DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous
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 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 informationMath 147, Homework 6 Solutions Due: May 22, 2012
Math 147, Homework 6 Solutions Due: May 22, 2012 1. Let T = S 1 S 1 be the torus. Is it possible to find a finite set S = {P 1,..., P n } of points in T and an embedding of the complement T \ S into R
More informationStructure 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 informationA CONJECTURE ON RATIONAL APPROXIMATIONS TO RATIONAL POINTS
A CONJECTURE ON RATIONAL APPROXIMATIONS TO RATIONAL POINTS DAVID MCKINNON Abstract. In this paper, we examine how well a rational point P on an algebraic variety X can be approximated by other rational
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions
More informationHodge theory for combinatorial geometries
Hodge theory for combinatorial geometries June Huh with Karim Adiprasito and Eric Katz June Huh 1 / 48 Three fundamental ideas: June Huh 2 / 48 Three fundamental ideas: The idea of Bernd Sturmfels that
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
More information