Mathematische Zeitschrift
|
|
- Camilla Allison
- 8 years ago
- Views:
Transcription
1 Math. Z. (212 27: DOI 1.17/s Mathematische Zeitschrift Modular properties of nodal curves on K3 surfaces Mihai Halic Received: 25 April 21 / Accepted: 28 November 21 / Published online: 11 January 211 Springer-Verlag 211 Abstract In this article we are going to address the following issues: (1 the first is a rigidity property for pairs (S, C consisting of a general projective K 3 surface S,andacurve C obtained as the normalization of a nodal, hyperplane section Ĉ S. We prove that a non-trivial deformation of a pair (S, C induces a non-trivial deformation of C; (2the second question concerns the Wahl map of curves C obtained as above. We prove that the Wahl map of the normalization of a nodal curve contained in a general projective K 3 surface is non-surjective. In both cases, we impose upper bounds on the number of nodes of Ĉ. Keywords K 3 surfaces Nodal curves Deformations Wahl map Mathematics Subject Classification (2 14H1 14J28 14D15 Introduction Curves on K 3 surfaces have been investigated from various points of view, and there is an extensive literature concerning their properties. Most attention has been payed to the smooth curves. In a series of articles Mukai studied the properties of the morphism { (S, C S is a general projective K 3 surface, C is a smooth hyperplane section of genus g. } μ M g, which associates to a pair (S, C consisting of a general, projective K 3 surface the class of the curve C in the Deligne Mumford space. He proved in [11] that the morphism (μ is finite (μ The research has been funded by the King Fahd University of Petroleum and Minerals project FT16. M. Halic (B Department of Mathematics and Statistics, King Fahd University of Petroleum and Minerals, P. O. Box 546, Dhahran 31261, Saudi Arabia mihai.halic@gmail.com
2 872 M. Halic for g 13, and then he went on proving that it is actually birational (see [12, Theorem 1.2]. These topics are surveyed in [13]and[1]. By contrast nodal curves on K 3 surfaces have received somewhat less attention. The existence of nodal curves on K 3 surfaces has been addressed in [1], and later on generalized in [7]. The deformation theory of nodal curves on K 3 surfaces has been treated in [14], and recently in [8]. The goal of this article is to answers the following questions: (i (ii The first one (see [8, Question 5.7(ii] concerns the finiteness of the forgetful morphism (μ, where one considers instead pairs (S, C, such that C is the normalization of a nodal curve Ĉ S. The second one is to find obstructions for embedding nodal curves into K 3 surfaces. More precisely, a result due to Wahl says that for a smooth curve C laying on a projective K 3 surface, the homomorphism 2 w C : H (C, K C H (C, KC 3 is non-surjective (see [2,15]. Thequestionraisedin[8, Question 5.5] is the following: suppose that C is the normalization of a nodal curve on a projective K 3 surface. Is it true that the homomorphism w C is still non-surjective? For these questions we have the following two answers: Theorem Let n and d be two positive integers (subject to the inequalities below. We define: Then hold: n2 25 if d = 1 and n 5; δ max (n, d = 2n 27 if d = 2 and n 14; 2(n 1(d 1 25 if d 3 and n = 11 or n 13. (i For δ δ max (n, d, the forgetful morphism (S, A K n, C M n δ, u : C S is a morphism μ (S, C, u s.t. u C S is a reduced, nodal curve with δ nodes M 1+(n 1d 2 δ which belongs to the linear system da. is generically finite onto its image. (ii Suppose (S, A is a polarized K 3 surface, with Pic(S = ZA, A 2 = 2(n 1. Consider a nodal, hyperplane section Ĉ of S of degree d, with δ δ max (n, d nodes. Let C be the normalization of Ĉ. Then the Wahl map of C is not surjective. A remark concerning the upper bound appearing in (ii above: there are few articles discussing the surjectivity properties of the normalization of nodal curves on surfaces. The reference [6] deals with the surjectivity of the Wahl map of plane nodal curves, where the authors impose a similar upper bound on the number of nodes. This article is structured as follows: In the first section we briefly recall basic facts concerning the deformation theory of curves on surfaces, and fix the notations used throughout the article.
3 Modular properties of nodal curves on K 3 surfaces 873 The second section and the appendix contain the technical results used for addressing the two questions mentioned above. In Proposition 2.1 we give an effective upper bound for the number of nodes of a nodal curve Ĉ S, such that the pull-back of the tangent bundle of S to the normalization of Ĉ is still stable. The appendix contains a diagram chasing which is needed for proving the non-surjectivity of the Wahl map. The third and the fourth sections contain respectively the proof of the first and the second main result. 1 Description of the problem Throughout the article we will work over the field C of complex numbers. Most of the material appearing in this section is contained in the references [1]and[8]. Here we will introduce only those objects, and recall those properties, which are essential for our presentation. Definition 1.1 (i We say that a polarized K 3 surface (S, A is Picard general if Pic(S = ZA, with A X ample. (ii In this case the self-intersection number A 2 = 2(n 1, with n 3, and for generic (S, A the linear system A induces an embedding S P n. We say that a morphism S between π irreducible algebraic varieties is a family of Picard general, polarized K 3 surfaces, if there is a relatively ample line bundle A S such that fibres (S t, A t, t, are Picard general K 3 surfaces. In this case the function t At 2 is constant. Theorem 1.1 (i Let K n be the set of Picard general, polarized K 3 surfaces. Then K n can be endowed with the structure of a smooth stack, whose local charts are given by the local Kuranishi models of its points. (ii For any g 1,letM g be the Deligne-Mumford stack of smooth and irreducible curves of genus g. For d 1 and δ (n 1d 2,wedefine Vn,δ d := (S, A K n, C M n δ, and u : C S is a morphism (S, C, u s.t. u C S is a reduced, nodal curve with δ nodes, which belongs to the linear system da. Then Vn,δ d can be endowed with the structure of an analytic stack, which admits two forgetful morphisms M g(d δ μ Vn,δ d κ K n with g(d := 1 + (n 1d 2. (1.1 (iii There is a non-empty open subset K n K n such that (V d n,δ := κ 1 ( K n is smooth, the projection (V d n,δ K n is submersive, and all the irreducible components of (V d n,δ are 19 + g(d δ dimensional. Note that for d = 1 we recover the situation studied in [8, Sect. 4]: the stack V n,δ introduced in loc.cit., Definition 4.3. ( V 1 n,δ coincides with
4 874 M. Halic Proof (i The detailed construction can be found in [3, chap. VIII, Sect. 12]. (ii The analytic stack structure is obtained as follows: for a family (S, A of π Picard general K 3 surfaces, Vn,δ d (S is naturally an open subscheme of the Kontsevich Manin space of stable maps M g(d δ (S; β, with suitable β H 2 (S; Z such that π β =. (iii The proof is ad litteram thesameas[8, Proposition 4.8]. According to [7], there is a non-empty open subset K n K n such that for all (S, A K n the linear system da contains irreducible, nodal curves with δ nodes. Consider a point (S, C, u κ 1 ( K n, and denote Ĉ := u C. Then the short exact sequence T S Ĉ :=Ker(ˆλ induces the long exact sequence in cohomology: ι ˆλ T S u (u T S /T } {{ C } = K C H (C, K C H 1 (S, T S Ĉ H 1 (ι H 1 (S, T S } {{ } = k 2 H 1 (ˆλ H 1 (C, K C } {{ } = k H 2 (S, T S Ĉ The cohomology group H 1 S, T S Ĉ is naturally isomorphic to the Zariski tangent space T V d n,δ,(s,c,u, and the homomorphism H 1 (ι can be identified with the differential of κ at (S, C, u (see diagram (1.2 below. Hence: Image ( H 1 (ι T Kn,[S] dim ( Image ( H 1 (ι 19, Image ( H 1 (ι = Ker H 1 (ˆλ dim ( Image ( H 1 (ι 19. We deduce that Image(dκ (S,C,u = Image ( H 1 (ι = T Kn,[S], and H 2 (S, T S Ĉ =. The Zariski tangent space of Vn,δ d is described in [8, Sect. 4]. For a triple (S, C, u V d n,δ, we consider the blow-up S σ S at the δ double points of Ĉ = u(c. Then the morphism u can be lifted to a morphism ũ into S, which is a closed embedding: S ũ u C S. The infinitesimal deformations of (S, C, u are controlled by the (locally free sheaf (σ T S C defined in the diagram below: σ
5 Modular properties of nodal curves on K 3 surfaces 875 (σ T S ( C (σ T S ( C (1.2 (σ T S C :=Ker(λ σ λ T S N u r T C u T S N u The sheaf N u, defined by the last row of the diagram, is called the normal sheaf to the map u. The Zariski tangent space to Vn,δ d at (S, C, u is isomorphic to H 1 ( S,(σ T S C = H 1 (S, T S Ĉ. After these preparations, we can finally precise the topic of this article. The first issue, related to [8, Question 5.7 (ii], is: Question 1.1 Is the morphism V d enough? n,δ μ M g(d δ (generically finite for g(d δ large The ( second issue, related to [8, Question 5.5], is the following: one can see that dim Vn,δ d < dim M g(d δ for n sufficiently large. Question 1.2 Is there any obstruction for a point C M g(d δ to belong to the image of μ? We will address these questions in Theorems 3.1 and 4.2, respectively. However, we do not know if the bounds in there are optimal or how far are they from being optimal. 2 A vanishing result In this section we prove the main technical ingredient needed for addressing the Question 1.1. Lemma 2.1 Let Ĉ be a reduced, irreducible, nodal curve with δ nodes, and denote by ν : C Ĉ its normalization. Consider a vector bundle E Ĉ, and a quotient line bundle q : ν E Q. Then there is a torsion-free quotient ˆq : E ˆQ of rank one such that Q = ν ˆQ/(ν ˆQ tor, and whose degree satisfies the inequality deg C Q degĉ ˆQ deg C Q + δ. Here we define degĉ ˆQ := χ( ˆQ + p a (Ĉ 1, with p a (Ĉ the arithmetic genus of Ĉ. Proof We denote by ˆx 1,..., ˆx δ the nodes of Ĉ, and by {x 11, x 21 },...,{x 1δ, x 2δ } C their pre-images by ν. For j {1,...,δ} we let q 1 j : E ˆx j = (ν E x1 j Q x1 j = k, q2 j : E ˆx j = (ν E x2 j Q x2 j = k. and consider the set δ := { j {1,...,δ} Ker(q 1 j = Ker(q 2 j }. The construction of the sheaf ˆQ Ĉ is done in two steps, described below:
6 876 M. Halic Step 1 j δ,thatisker(q 1 j = Ker(q 2 j. In this case there is an isomorphism τ j such that the diagram below commutes: E ˆx j q 1 j Q x1 j τ j E ˆx j q 2 j Q x2 j After identifying Q x1 j and Q x2 j using τ j, we get an invertible sheaf on the nodal curve C/{x 1 j = x 2 j } whose degree equals deg C Q. We repeat this procedure until we eliminate all the pairs of points {x 1 j, x 2 j } with j δ. The result will be a nodal curve C, a naturally induced morphism ν : C Ĉ, and an invertible sheaf Q C of degree deg C Q,which is still quotient of (ν E. Step 2 j δ,thatisker(q 1 j = Ker(q 2 j. The homomorphism (ν E Q is surjective, and therefore ν q : E ν O C ˆQ := (ν Q is the same. Then ˆQ Ĉ is a torsion free sheaf of rank one (since Q is so, and degĉ ˆQ = deg C Q + δ. We claim that the composed homomorphism E OĈ E ν O C = ν (u E ˆq ˆQ. is still surjective. Indeed, let ˆx ( {ˆx j j δ } be a double point of Ĉ. The (analytic germ of (Ĉ, ˆx is isomorphic to Spec k[[u,v]] uv.sincee,(, Ĉ is locally free, we have E ˆx = k[[u,v]] r, uv and this isomorphism depends on the choice of a frame at ˆx. By hypothesis holds Ker(q 1 j = Ker(q 2 j, and therefore Ker q 1 : E ˆx Q x1 + Ker q2 : E ˆx Q x2 = E ˆx. Hence we may choose the frame in such a way that (q 1, q 2 : E ˆx Q x1 Q x2 corresponds to the homomorphism k[[u,v]] r 2 ( k[[u,v]] k[[u,v]] pr 2 k[[u,v]] k[[u,v]] h k[[u,v]] k[[u,v]]. uv uv uv uv uv v u } {{ } =E ˆx With respect to these choices the homomorphism E ˆx k[[u,v]] r and k[[u,v]] 2 k[[u,v]] k[[u,v]] k[[u,v]] uv k[[u,v]] uv pr 2 k[[u,v]] 2 ı k[[u,v]] 2 k[[u,v]] k[[u,v]] uv ˆq ˆx ˆQ ˆx equals ν q ı pr 2 : forgets the first r 2 components, ( k[[u,v]] k[[u,v]] ν q k[[u]] k[[v]], where k[[u,v]] v u ı( f, g = ( f (u, + f (,v,g(u, + g(,v and (ν q (h 1 (u + k 1 (v, h 2 (u + k 2 (v = h 1 (u + k 2 (v. Our claim becomes now clear.
7 Modular properties of nodal curves on K 3 surfaces 877 The proposition below is the main result of this section. It is an application of Bogomolov s effective restriction theorem for stable vector bundles over surfaces (see [9, Sect. 7.3]. Proposition 2.1 (a Let (S, A be a Picard general K 3 surface, with A 2 = 2(n 1, and let E S be a stable vector bundle of rank r 2, and c 1 (E =. LetĈ j S be a reduced and irreducible, nodal curve having δ double points, with Ĉ da. We denote by C ν u:= j ν Ĉ its normalization, and by C S the composed morphism. Suppose that one of the conditions below are satisfied: (i d = 1 or r = d = 2, and δ c 2 (E, or (r 1(n 1d 2 1 r (ii r 2 and d 2, with (r, d = (2, 2, and δ 2(n 1d c 2 (E Then H (C, u E =. r(n 1+1 r 1. (b Assume that the rank of E is r = 2.Thenu E C is a stable vector bundle too. s Proof (a Suppose that there is a non-zero section O C u E. Then there is an effective divisor on C, such that s extends to a monomorphism of vector bundles O C ( u E ; equivalently, we obtain an epimorphism of vector bundles u E q Q := O C (, with deg C Q. According to Lemma 2.1, the line bundle Q C determines the torsion free sheaf of rank one ˆQ Ĉ satisfying deg C Q degĉ ˆQ deg C Q + δ, together with the epimorphism E OĈ ˆQ. We denote by G := Ker(ε where: E E OĈ ε j ˆQ. It is a locally free sheaf (a vector bundle of rank r over S. We compute its numerical invariants using [9, Proposition 5.2.2]: c 1 (G = [Ĉ] = da, c 2 (G = c 2 (E + (n 1d 2 + χ( ˆQ = c 2 (E + δ + deg C Q c 2 (E + δ, [ (G := 2rc 2 (G (r 1c1 2 (G = 2r c 2 (G r 1 ] (n 1d 2 r [ 2r c 2 (E + δ r 1 ] (n 1d 2. r The hypothesis implies that (G <. Therefore [9, Theorem 7.3.4] implies the existence of a subsheaf G G of rank r, with torsion free quotient, such that: ξ G,G := c 1(G r c 1(G >, and ξg 2 r,g (G r 2 (r 1. (2.1 The sheaf G is contained in E, which is stable by hypothesis, hence c 1 (G A <. Since S is a Picard general K 3 surface, it follows that c 1 (G = ma with m 1. Moreover, the inequality ξ G,G > implies < r d rm 1 (r 1d rm m (r 1d 1. r
8 878 M. Halic In particular r+1 r 1 d. Ford = 1andforr = d = 2 this is a contradiction, coming from the assumption that u E C has non-zero sections. In higher degrees, we must go further, and use the second inequality in (2.1: (b ( d r 1 2 ( d 2(n 1 r 1 r m 2 r 2(n 1 2(r 1(n 1d2 r(c 2 (E + δ r 2 (r 1 r(n 1 δ 2(n 1d c 2 (E r 1. This inequality contradicts our hypothesis again. Since c 1 (E =, u E C is unstable if and only if it admits a (maximal destabilizing quotient line bundle u E Q with deg C Q. (Here we use r = 2.Byrepeating ad litteram the previous proof, we obtain a contradiction. Hence u E C is indeed a stable rank two vector bundle. ρ Remark 2.1 For r 3, by applying the result to E,forρ = 1,...,r 1 (which are all stable, it follows that u E C is a stable vector bundle too, as soon as the number δ of nodes is small enough. However, the formula for the upper bound of the number of nodes is lengthy, and we did not work it out explicitly. The tangent bundle T S of S plays a privileged role for proving the rigidity of nodal curves on K 3 surfaces. In this case, the previous theorem becomes: Corollary 2.1 Suppose that S and u : C S are as in Proposition 2.1. If either (i d = 1 and δ δ max (n, 1 := n 2 25 (hence n 5, or (ii d = 2 and δ δ max (n, 2 := 2n 27 (hence n 14, or (iii d 3 and δ δ max (n, d := 2(n 1(d 1 25 (hence (n 1(d 1 13, then u T S C is a stable, rank two bundle, and therefore H (C, u T S =. Remark 2.2 The upper bound obtained above obeys the rule δ max (n, d d A 2, d 1. However it is not clear how to interpret this fact. We speculate that this asymptotic behavior reflects some positivity property of the tangent bundle T S S.Webringsomeevidencein this direction in Corollary 3.1. Question 2.1 Suppose that S,andu : C S are as above, and that the genus of C is at least two. Is it true that u T S C has no section? Although it looks elementary, we are unable to answer this question. A positive answer would allow to extend the rigidity results obtained in Sects. 3 and 4. 3 The rigidity result In this section we are going to give a (partial positive answer to the Question 1.1. Theorem 3.1 The morphism μ : V d n,δ M g(d δ is generically finite onto its image for all triples (d, n,δsatisfying n 13 and δ δ max (n, d, with δ max (n, d as in Corollary 2.1.
9 Modular properties of nodal curves on K 3 surfaces 879 Proof We must prove that for any smooth, quasi-projective curve, and for any morphism U Vn,δ d such that μ U : M g(d δ is constant, the morphism U is constant itself. Such a morphism U is equivalent to the following data: a smooth and irreducible curve C of genus g := g(d δ; a smooth family (S, A of π Picard general K 3 surfaces; a family of morphisms over the 1-dimensional base U=(u t t C := C S = (S t t pr π (3.1 such that Ĉ t := u t (C S t are nodal curves with δ ordinary double points, and Ĉ t da t for all t. We must prove that, up to isomorphism, S t and u t are independent of t. Step 1 First notice that we may assume that T is trivializable. Otherwise we cover with trivializable open subsets. We denote by / t a trivializing section of T. The differentials of the various morphisms in (3.1 fit into the diagram: prc T C T C = prc T C pr T pr T = O C U U s (3.2 U T S/ U π T S O C Notice that s := U ( / t is a section of U T S C.Wedenoteby s t := s {t} C H (C, u t T S. The diagram (3.1 commutes, and therefore the tangential map π : T S St T, t sends s into the trivializing section / t H (, T. It follows that the second row in (3.2 is split, that is U T S = O C U T S/. With respect to this splitting s = (s, s,where s H ( C, U T S/. By hypothesis Ĉ t S t are nodal curves for all t. Therefore Corollary 2.1 implies that u t T S t C has no non-trivial sections, that is s {t} C = forallt. We deduce that s =, or intrinsically U ( / t = (s,. (3.3 Step 2 We interpret the result locally on S: there are local coordinates (t, z,w on S such that the morphism U is given by U(t, x = (t, z(t, x, w(t, x, (t, x C. } {{ } = u t (x The equality (3.3 becomes: dz (t,x ( / t = and dw (t,x ( / t =, (t, x C. It follows that z(t, x = z(x and w(t, x = w(x, it means that the vertical component u t (x of U is independent of the parameter t. Consider an arbitrary t. Suppose that ˆx Ĉ t is a double point, and let x 1, x 2 C t u be the corresponding pair of points identified by the normalization map C t Ĉ t. Then for all t holds u t (x 1 = (z(t, x 1, w(t, x 2 = (z(t, x 1, w(t, x 2 = u (x 1 = u (x 2 = =u t (x 2,
10 88 M. Halic that is the morphism u t will identify the same pairs of points of C.Sincet was arbitrary, we conclude that the curves Ĉ t := u t (C S t are all isomorphic to Ĉ := Ĉ t. Step 3 The previous step reduces the initial problem to the study of deformations of pairs (S, Ĉ consisting of a K 3 surface S, and a nodal curve Ĉ S (that is we ignore the normalization ν : C Ĉ. More precisely, we must prove that for any commutative diagram Ĉ j =( j t t S = (S t t π such that Ĉ = j t (Ĉ S t, t are nodal curves, (3.4 the family (S, Ĉ, j is trivial. The deformations of the pair (S, Ĉ are controlled by the locally free sheaf T S Ĉ,defined similarly as in (1.2 (see[8, Sect. 2]. It fits into the exact sequence T S ( Ĉ T S Ĉ TĈ := ν T C. The deformation j appearing in (3.4 keeps the nodal curve Ĉ fixed, as an abstract curve. Therefore the infinitesimal deformation induced by j corresponds to an element ( ( ê Ker H 1 (S, T S Ĉ H 1 (Ĉ, TĈ = Image H 1 (S, T S ( Ĉ H 1 (S, T S Ĉ. Accordingto[5, Lemma 2.3] (see also [11], H 1 (S, T S ( Ĉ = for a general (S, A with A 2 = 2(n It follows that ê =, which means that the deformation of the pair (S, Ĉ is trivial. Remark 3.1 The first step of the previous proof can be interpreted and proved at the level of the Zariski tangent space of Vn,δ d.lete H 1 ( S,(σ T S C be the element corresponding to the deformation (3.1. By diagram chasing in (1.2 at the level of the long exact sequences in cohomology, we obtain the following (self-explanatory diagram: H (C,T C =! f e H 1 S,(σ T S C H 1 (C, T C f H 1 S,(σ T S ( C It is injective by Corollary 2.1. e H 1 ( S,σ T S More precisely, we have the inclusion Ker ( H 1 (r ( H (C, T C = == H 1 S,(σ H (C, u TS = T S ( C H 1 ( S,σ T S = H 1 (S, T S which shows that we can identify the deformation (3.1 with the induced infinitesimal deformation of S, corresponding to e = π (e. This is the differential theoretic counterpart of the claim that the section s in the proof of 3.1 has the form (s,. The third step can be proved by differential methods too. However the second step is not proved at the tangential level: it uses effectively the fact that we are considering a 1-dimensional deformation.
11 Modular properties of nodal curves on K 3 surfaces 881 As a by-product we obtain: Corollary 3.1 Suppose that S is a general K 3 surface with Pic(S = ZA, A 2 = 2(n 1. Then the global sections of 1 S A d separate its fibres over δ max (n, d general points on S. Proof According to [7], for any d 1and δ g(d there is a (g(d δ-dimensional family of irreducible nodal curves with exactly δ nodes. We apply this result for δ := δ max (n, d, and find a nodal curve Ĉ A d whose set of nodes is N ={ˆx 1,..., ˆx δ }; we denote by I N O S be the ideal of functions vanishing at N. At infinitesimal level, Theorem 3.1 implies that the homomorphism H 1 (r in diagram (1.2 is injective. Using the long exact sequence in cohomology corresponding to the first column of the diagram we deduce that H 1( S,(σ T S ( C = hence, by Poincaré duality, H 1( S, ( σ ( 1 S (Ĉ ( E =. (Here E stands for the exceptional divisor of σ. The projection formula implies that: H 1 S, 1 S (Ĉ I N =, or equivalently H S, 1 S (Ĉ evaln ˆx N 1 S, ˆx is surjective. The surjectivity property of the evaluation homomorphism at δ points is open. Therefore we find an open neighborhood U Sym δ (S of N, such that the homomorphisms H S, 1 evaln S (Ĉ 1 S, ˆx ˆx N are surjective for all N U. Concerning the Remark 2.2, one can interpret the corollary by saying that the number δ max (n, d is related to some kind of Seshadri constant of T S = 1 S (which is an intrinsic numerical invariant of S. 4 Application to the Wahl map The Wahl map for curves has been considered for the first time in [15]. The surjectivity of the Wahl map is an obstruction to embed a smooth curve into a K 3 surface. For an overview and further generalizations of these results, we invite the reader to consult [16]. Here we recall only those notions which are necessary for this article. Suppose that L V is a line bundle over some variety V. The Wahl map is by definition w L : 2 H (V, L H (V, 1 V L 2, s t sdt tds. (4.1 Equivalently, it is the restriction homomorphism H (res defined at the level of sections, induced by the exact sequence I 2 V (L L I V (L L res (I V /I 2 V L 2. } {{ } = 1 V
12 882 M. Halic Much attention has been payed to the case when V = C is a smooth projective curve, and L = K C,whereK C is the canonical line bundle of C. The importance of the map 2 w C : H (C, K C H (C, KC 3 relies in the fact that it is the only known obstruction to obtain a curve as a hyperplane section of a K 3 surface. More precisely: Theorem 4.1 (i (See [4]. The Wahl map w C is surjective for a general curve C of genus at least 12. (ii (See [2,15]. Suppose that C S is a smooth hyperplane section of some K 3 surface. Then the Wahl map is not surjective. In other words, a generic smooth curve C M g can not be realized as a hyperplane section of any K 3 surface, as soon as g 12. Remarkably, nodal curves escaped to the attention. Recently, in [8, Question 5.6], the authors asked whether there is an analogous obstruction for embedding nodal curves. We will use the results obtained in Sect. 2 to prove: Theorem 4.2 Let S be a Picard general K 3 surface, and let Ĉ S be a nodal curve of degree d with δ nodes, with δ δ max (n, d. Then the Wahl map 2 w C : H (C, K C H (C, KC 3 is not surjective. ( See Corollary 2.1 for the definition of δ max (n, d. The proof of the theorem is inspired from [2], but contains several modifications needed to include the double points. Let us recall from loc.cit. that the proof of 4.1(ii is based on the study of the diagram 2 H (S, O S (C ρ 2 H (C, K C w S H ( S, 1 S O S(2C H ( C, 1 S C K 2 C ρ 1 b w C H (C, KC 3. (4.2 The surjectivity of w C implies that of b, and one proves that this is impossible. The main difficulty for extending this argument to the nodal case is to find appropriate substitutes for the cohomology groups appearing in (4.2. Since this step is rather computational, and is based on diagram chasing, we have deferred it to Appendix A. Now we introduce the notations which will be used in this section. We denote by A S the ample generator of Pic(S. LetĈ S be a nodal curve of degree d (that is Ĉ A d with δ nodes, and let N ={ˆx 1,..., ˆx δ } S be its nodes. We denote by C ν Ĉ the normalization, and by x 1,1, x 1,2,...,x δ,1, x δ,2 C the pre-images by ν of ˆx 1,..., ˆx δ, respectively. Consider the blow-up S := Bl N (S σ S of S at the nodes of Ĉ,andletE = E 1 + +E δ be the exceptional divisor in S. Then the diagram ũ C S ν u Ĉ j S σ
13 Modular properties of nodal curves on K 3 surfaces 883 is commutative, and ũ is an embedding. Note that the divisor := x 1,1 +x 1,2 + +x δ,1 +x δ,2 equals C E, hence O C ( = O S (E C = K S C. We deduce the existence of the short exact sequence T C ( 1 S O C K C, and the isomorphism K C = σ A d ( E C. (4.3 Lemma 4.1 Let S, C, and u : C S be as above, such that δ δ max (n, d. Then the exact sequence (4.3 is not split. Proof Assume that ũ T S = T C K C (. Then the diagram T C ũ T S K C ( T C u T S K C shows that K C ( u T S. Moreover, for δ δ max (n, d holds: deg C K C ( = 2 (g(c 1 δ = 2 (g(d 1 2δ. This contradicts Corollary 2.1,sayingthatu T S C is stable. We denote by L := O S (Ĉ = A d. The Wahl maps of C and S fit into the following commutative diagram, which is important in the subsequent constructions: 2 H S,σ w S L ( E ρ 2 H (C, K C surjective by Lemma A.1 H S, 1 S σ L ( 2E ρ 1 w C H (C, K 3 C. (4.4 Proof (of Theorem 4.2 We assume that there is a curve Ĉ S such that the Wahl map of its normalization is surjective. We define R(C,:= wc 1 ( H ( C, KC 3 ( 2 H (C, K C, and denote by w C, : R(C, H ( C, KC 3( the restriction of the Wahl map to it. Since w C is surjective, w C, is surjective too. Furthermore, we define R := ρ 1 (R(C, 2 H S,σ L ( E The rear face of the cube (A.3 constructed in the appendix gives the diagram: R ρ R(C, H 1 S, 1 S σ L 2 ( 3E w C, H ( C, K 3 C ( ( H C, 1 S C KC 2( b (4.5
14 884 M. Halic It will be the substitute in the case of nodal curves for the diagram (4.2. Indeed, the surjectivity of ρ, and of w C, implies the surjectivity of the homomorphism b. Butb is the restriction homomorphism at the level of sections in the exact sequence K C 1 S C KC 2 ( K C 3 (, (4.6 obtained by tensoring (4.3 with KC 2 (. Therefore the boundary map : H ( C, KC 3 ( H 1 (C, K C vanishes. By applying [2, Lemme 1], we deduce that the sequence (4.6 is split, hence (4.3 is split too. This contradicts the Lemma 4.1. Acknowledgments reference [5]. The author is grateful to the referee for the careful reading, and for pointing out the Appendix A: Diagram chasing We will use the same notations as in Sect. 4. Lemma ( A.1 The restriction homomorphisms H S,σ L ( E H (C, K C and H S,σ L ( 2E H (C, K C ( are both surjective. Proof We have the exact sequence over S: σ L 1 (2E O S O C. (i The first statement is obtained by tensoring it by σ ( L ( E, and using that H 1 S, O S (E = H 1 S, K S =. (ii The second statement ( is obtained by tensoring the exact sequence by σ L ( 2E, and using that H 1 S, O S =. There is a natural surjective restriction homomorphism 1 S res C K C, and its kernel F := Ker(res C is a locally free sheaf (a vector bundle over S of rank two. The following commutative diagram is essential for the proof of Theorem 4.2: F σ L 2 ( 3E 1 S σ L 2 ( 3E F σ L 2 ( 2E 1 S σ L 2 ( 2E F O E 1 S O E res C ρ 1, ρ 1 K 3 C ( K 3 C δ K C,x j,1 K C,x j,1 j=1 Actually the whole proof is based on the careful analysis of this diagram. (A.1
15 Modular properties of nodal curves on K 3 surfaces 885 Every vector bundle on the projective line splits into the direct sum of line bundles. Hence the restriction of 1 S to each component E j, j = 1,...,δ, of the exceptional divisor E is the direct sum of line bundles. In fact 1 S O E j = 1 E j N E j S = O E j ( 2 O E j (1. Therefore 1 S O E notation O E ( 2 := = 1 E N E S = O E( 2 O E (1, where we use the shorthand δ j=1 O E j ( 2, and O E (1 := δ O E j (1. Since the homomorphism res C is the restriction of 1-forms on S to 1-forms on C, we deduce from the last line in (A.1 that j=1 F O E = O E ( 2 O E ( 1. (A.2 Lemma A.2 (i H (F O E = and H 1 (F O E = H 1 (O E ( 2 = C... C; } {{ } δ times (ii H S, ( = F σ L 2 ( 3E H S, F σ L 2 ( ( 2E is an isomorphism; (iii H 1 S, F σ L 2 ( 3E H 1 S, F σ L 2 ( 2E is injective. Proof (i It follows from (A.2. (ii and (iii Consider the long exact sequence in cohomology corresponding to the first column in (A.1. The claims follows from (i above. Standing hypothesis. From now on we will assume that the nodal curve Ĉ S has the property that the Wahl map of its normalization is surjective. w C : 2 H (C, K C H (C, K 3 C Lemma A.3 (i The homomorphisms H 1 S, F σ L 2 ( 2E H 1 S, 1 S σ L 2 ( 2E, and H 1 S, F σ L 2 ( 3E H 1 S, 1 S σ L 2 ( 3E (ii (iii are injective. The restriction homomorphisms ρ 1 : H S, 1 S σ L 2 ( 2E ρ 1, : H S, 1 S σ L 2 ( 3E are surjective. H S, 1 S σ L 2 ( 3E = ρ 1 1, { = s H S, 1 S σ L 2 ( 2E H ( C, KC 3, and H ( C, K 3 C ( ( H ( C, KC 3 ( ρ 1 (s H ( C, K 3 C ( }.
16 886 M. Halic Proof (i In the commutative diagram (4.4 the homomorphisms w C and ρ are surjective, hence ρ 1 is also surjective. The injectivity of the first homomorphism follows from the second line in (A.1. On the other hand, it follows from (A.1 thatwehavethe commutative square H 1 S, F σ L 2 ( 3E injective by A.2 (ii H 1 ( S, F σ L 2 ( 2E injective as ρ 1 surjective H 1 S, 1 S σ L 2 ( 3E H 1 S, 1 S σ L 2 ( 2E. (ii (iii Hence the upper homomorphism is injective too, as claimed. The surjectivity of ρ 1 has been proved already. For the second homomorphism, consider the long exact sequence in cohomology corresponding to the first line in (A.1, and use (i above. The first two rows of (A.1, together with (ii above imply that we have the commutative diagram H S, F σ L 2 ( 3E = H S, F σ L 2 ( 2E H S, 1 S σ L 2 ( 3E H S, 1 S σ L 2 ( 2E H ( C, K 3 C ( H ( C, KC 3 The claim is a consequence of the fact that the first vertical arrow is an isomorphism. We define R(C, := wc 1 ( H ( C, KC 3( 2 H (C, K C, and denote by w C, the restriction of the Wahl map to it. Then w C, : R(C, H ( C, KC 3( is surjective because w C is surjective. The cohomology groups introduced so far fit into the following commutative cube: R := ρ 1 w ( S,E (R(C, H S, 1 S σ L ( 3E (A.3 2 H S,σ w S L ( E H S, 1 S σ L ( 2E ρ surjective since ρ is so. R(C, 2 H (C, K C ρ ρ 1, w C, H ( C, K 3 The signs on various arrows denote inclusions. surjective by Lemma A.2 C ( w C H (C, K 3 ρ 1 C References 1. Beauville, A.: Fano threefolds and K 3 surfaces. In: The Fano Conference, University of Torino, pp Beauville, A., Mérindol, J.-Y.: Sections hyperplanes des surfaces K 3. Duke Math. J. 55, ( Barth, W., Peters, C., Van de Ven, A.: Compact Complex Surfaces. Springer, Berlin (1984
17 Modular properties of nodal curves on K 3 surfaces Ciliberto, C., Harris, J., Miranda, R.: On the surjectivity of the Wahl map. Duke Math. J. 57, ( Ciliberto, C., Lopez, A., Miranda, R.: Classification of varieties with canonical curve section via Gaussian maps on canonical curves. Am. J. Math. 12, 1 21 ( Ciliberto, C., Lopez, A., Miranda, R., et al. : On the Wahl Map of Plane Nodal Curves. In: Peternell, T.(ed. Complex Analysis Algebraicgeometry, pp Walter de Gruyter, Berlin (2 7. Chen, Xi.: Rational curves on K 3 surfaces. J. Algebra Geom. 8, ( Flamini, F., Knutsen, A.L., Pacienza, G., Sernesi, E.: Nodal curves with general moduli on K 3 surfaces. Commun. Algebra 36, (28 9. Huybrechts, D., Lehn, M.: The Geometry of Moduli Spaces of Sheaves. Aspects of Mathematics, Vieweg&Sohn ( Mori, S., Mukai, S.: The Uniruledness of the Moduli Spaces of Curves of Genus 11. Lecture Notes in Math., vol. 116, pp Springer ( Mukai, S.: Fano 3-folds. In: Complex Projective Geometry (Trieste-Bergen. London Mathematical Society Lecture Notes, vol. 179, pp Cambridge University Press, New York ( Mukai, S., et al.: Duality of Polarized K 3 Surfaces. In: Hulek, K. (ed. New Trends in Algebraic Geometry. London Mathematical Society Lecture Notes, vol. 264, pp Cambridge University Press, New York ( Mukai, S.: Non-abelian Brill-Noether theory and Fano 3-folds. Sugaku Expo. 14, ( Tannenbaum, A.: Families of curves with nodes on K 3 surfaces. Math. Ann. 26, ( Wahl, J.: The Jacobian algebra of a graded Gorenstein singularity. Duke Math. J. 55, ( Wahl, J.: Gaussian maps on algebraic curves. J. Differ. Geom. 32, (199
RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES
RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationRow Ideals and Fibers of Morphisms
Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion
More informationON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE
Illinois Journal of Mathematics Volume 46, Number 1, Spring 2002, Pages 145 153 S 0019-2082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More informationCURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves
More informationOn The Existence Of Flips
On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry
More informationFiber sums of genus 2 Lefschetz fibrations
Proceedings of 9 th Gökova Geometry-Topology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More informationGEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE
GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE SIJONG KWAK AND JINHYUNG PARK Abstract. We study geometric structures of smooth projective varieties of small degree in birational geometric
More informationSets of Fibre Homotopy Classes and Twisted Order Parameter Spaces
Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche
More informationNOTES ON CATEGORIES AND FUNCTORS
NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category
More informationClassification of Cartan matrices
Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationRESEARCH STATEMENT AMANDA KNECHT
RESEARCH STATEMENT AMANDA KNECHT 1. Introduction A variety X over a field K is the vanishing set of a finite number of polynomials whose coefficients are elements of K: X := {(x 1,..., x n ) K n : f i
More informationA result of Gabber. by A.J. de Jong
A result of Gabber by A.J. de Jong 1 The result Let X be a scheme endowed with an ample invertible sheaf L. See EGA II, Definition 4.5.3. In particular, X is supposed quasi-compact and separated. 1.1 Theorem.
More informationIdeal Class Group and Units
Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals
More informationSINTESI DELLA TESI. Enriques-Kodaira classification of Complex Algebraic Surfaces
Università degli Studi Roma Tre Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Magistrale in Matematica SINTESI DELLA TESI Enriques-Kodaira classification of Complex Algebraic Surfaces
More informationABEL-JACOBI MAP, INTEGRAL HODGE CLASSES AND DECOMPOSITION OF THE DIAGONAL
J. ALGEBRAIC GEOMETRY 22 (2013) 141 174 S 1056-3911(2012)00597-9 Article electronically published on May 23, 2012 ABEL-JACOBI MAP, INTEGRAL HODGE CLASSES AND DECOMPOSITION OF THE DIAGONAL CLAIRE VOISIN
More informationMath 231b Lecture 35. G. Quick
Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by
More informationThe Ideal Class Group
Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned
More informationLecture 4 Cohomological operations on theories of rational type.
Lecture 4 Cohomological operations on theories of rational type. 4.1 Main Theorem The Main Result which permits to describe operations from a theory of rational type elsewhere is the following: Theorem
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it
More informationFIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3
FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges
More informationFactoring of Prime Ideals in Extensions
Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree
More informationOn deformation of nef values. Jaros law A. Wiśniewski
On deformation of nef values Jaros law A. Wiśniewski Introduction. Let L be an ample line bundle over a smooth projective variety X. It follows from a theorem of Kawamata that if the canonical divisor
More informationLectures on rationally connected varieties
Lectures on rationally connected varieties by Joe Harris at the EAGER Advanced School in Algebraic Geometry in Levico Terme, Trento, September 2001. Notes by Joachim Kock. Contents 1 Definition and good
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24 RAVI VAKIL Contents 1. Degree of a line bundle / invertible sheaf 1 1.1. Last time 1 1.2. New material 2 2. The sheaf of differentials of a nonsingular curve
More informationNonzero degree tangential maps between dual symmetric spaces
ISSN 1472-2739 (on-line) 1472-2747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris
More informationGROUP ALGEBRAS. ANDREI YAFAEV
GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite
More informationADDITIVE GROUPS OF RINGS WITH IDENTITY
ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free
More informationTOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS
TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS OSAMU SAEKI Dedicated to Professor Yukio Matsumoto on the occasion of his 60th birthday Abstract. We classify singular fibers of C stable maps of orientable
More informationHow To Find Out How To Build An Elliptic Curve Over A Number Field
Numbers Volume 2015, Article ID 501629, 4 pages http://dx.doi.org/10.1155/2015/501629 Research Article On the Rank of Elliptic Curves in Elementary Cubic Extensions Rintaro Kozuma College of International
More informationCOMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS
Bull Austral Math Soc 77 (2008), 31 36 doi: 101017/S0004972708000038 COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V EROVENKO and B SURY (Received 12 April 2007) Abstract We compute
More informationOnline publication date: 11 March 2010 PLEASE SCROLL DOWN FOR ARTICLE
This article was downloaded by: [Modoi, George Ciprian] On: 12 March 2010 Access details: Access Details: [subscription number 919828804] Publisher Taylor & Francis Informa Ltd Registered in England and
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationOn Smooth Surfaces of Degree 10 in the Projective Fourspace
On Smooth Surfaces of Degree 10 in the Projective Fourspace Kristian Ranestad Contents 0. Introduction 2 1. A rational surface with π = 8 16 2. A rational surface with π = 9 24 3. A K3-surface with π =
More informationIrreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients
DOI: 10.2478/auom-2014-0007 An. Şt. Univ. Ovidius Constanţa Vol. 221),2014, 73 84 Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients Anca
More informationGroup Theory. Contents
Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation
More informationHow To Prove The Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationA Minkowski-style bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field.
A Minkowski-style bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field Jean-Pierre Serre Let k be a field. Let Cr(k) be the Cremona group of rank 2 over k,
More informationFIXED POINT SETS OF FIBER-PRESERVING MAPS
FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics
More informationON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath
International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December
More information1 Sets and Set Notation.
LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most
More informationLinear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)
MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of
More informationLOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO
LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO PETER MÜLLER AND MICHAEL E. ZIEVE Abstract. Planar functions over finite fields give rise to finite projective planes and other combinatorial objects.
More informationChapter 13: Basic ring theory
Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring
More informationHow To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)
Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.
More informationSOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS
SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th
More informationON THE CLASSIFICATION OF SURFACES OF GENERAL TYPE WITH p g = q = 2. Contents 0. Introduction 1 1. Product-Quotient Surfaces with p g = q = 2 3
ON THE CLASSIFICATION OF SURFACES OF GENERAL TYPE WITH p g = q = 2 MATTEO PENEGINI Contents 0. Introduction. Product-Quotient Surfaces with p g = q = 2 3 2. Surfaces with p g = q = 2 and KS 2 = 6 6 Albanese
More informationPOLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS
POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).
More informationAlgebraic Geometry. Keerthi Madapusi
Algebraic Geometry Keerthi Madapusi Contents Chapter 1. Schemes 5 1. Spec of a Ring 5 2. Schemes 11 3. The Affine Communication Lemma 13 4. A Criterion for Affineness 15 5. Irreducibility and Connectedness
More informationMATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column
More informationCOMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS
COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V. EROVENKO AND B. SURY ABSTRACT. We compute commutativity degrees of wreath products A B of finite abelian groups A and B. When B
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationU.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra
U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory
More informationThe van Hoeij Algorithm for Factoring Polynomials
The van Hoeij Algorithm for Factoring Polynomials Jürgen Klüners Abstract In this survey we report about a new algorithm for factoring polynomials due to Mark van Hoeij. The main idea is that the combinatorial
More informationEXERCISES FOR THE COURSE MATH 570, FALL 2010
EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime
More informationAbout the inverse football pool problem for 9 games 1
Seventh International Workshop on Optimal Codes and Related Topics September 6-1, 013, Albena, Bulgaria pp. 15-133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationDEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES.
DEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES. JAN O. KLEPPE Abstract. Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationKenji Matsuki and Martin Olsson
Mathematical Research Letters 12, 207 217 (2005) KAWAMATA VIEHWEG VANISHING AS KODAIRA VANISHING FOR STACKS Kenji Matsuki and Martin Olsson Abstract. We associate to a pair (X, D), consisting of a smooth
More information11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(
More informationYou know from calculus that functions play a fundamental role in mathematics.
CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.
More informationPrime Numbers and Irreducible Polynomials
Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.
More informationOn the existence of G-equivariant maps
CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of G-equivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,
More information4.1 Modules, Homomorphisms, and Exact Sequences
Chapter 4 Modules We always assume that R is a ring with unity 1 R. 4.1 Modules, Homomorphisms, and Exact Sequences A fundamental example of groups is the symmetric group S Ω on a set Ω. By Cayley s Theorem,
More informationSingular fibers of stable maps and signatures of 4 manifolds
359 399 359 arxiv version: fonts, pagination and layout may vary from GT published version Singular fibers of stable maps and signatures of 4 manifolds OSAMU SAEKI TAKAHIRO YAMAMOTO We show that for a
More informationLinear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:
Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),
More informationSurface bundles over S 1, the Thurston norm, and the Whitehead link
Surface bundles over S 1, the Thurston norm, and the Whitehead link Michael Landry August 16, 2014 The Thurston norm is a powerful tool for studying the ways a 3-manifold can fiber over the circle. In
More informationCOMPUTING DYNAMICAL DEGREES OF RATIONAL MAPS ON MODULI SPACE
COMPUTING DYNAMICAL DEGREES OF RATIONAL MAPS ON MODULI SPACE SARAH KOCH AND ROLAND K. W. ROEDER Abstract. The dynamical degrees of a rational map f : X X are fundamental invariants describing the rate
More informationSMALL SKEW FIELDS CÉDRIC MILLIET
SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite
More information(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9
Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationA NOTE ON TRIVIAL FIBRATIONS
A NOTE ON TRIVIAL FIBRATIONS Petar Pavešić Fakulteta za Matematiko in Fiziko, Univerza v Ljubljani, Jadranska 19, 1111 Ljubljana, Slovenija petar.pavesic@fmf.uni-lj.si Abstract We study the conditions
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More information1. Introduction. PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1
Publ. Mat. 45 (2001), 69 77 PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1 Bernard Coupet and Nabil Ourimi Abstract We describe the branch locus of proper holomorphic mappings between
More informationAllen Back. Oct. 29, 2009
Allen Back Oct. 29, 2009 Notation:(anachronistic) Let the coefficient ring k be Q in the case of toral ( (S 1 ) n) actions and Z p in the case of Z p tori ( (Z p )). Notation:(anachronistic) Let the coefficient
More informationThe Australian Journal of Mathematical Analysis and Applications
The Australian Journal of Mathematical Analysis and Applications Volume 7, Issue, Article 11, pp. 1-14, 011 SOME HOMOGENEOUS CYCLIC INEQUALITIES OF THREE VARIABLES OF DEGREE THREE AND FOUR TETSUYA ANDO
More informationEMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION
EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION CHRISTIAN ROBENHAGEN RAVNSHØJ Abstract. Consider the Jacobian of a genus two curve defined over a finite field and with complex multiplication.
More informationIntroduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
More informationNotes on Factoring. MA 206 Kurt Bryan
The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor
More informationBABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS
BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS SETH SHELLEY-ABRAHAMSON Abstract. These are notes for a talk in the MIT-Northeastern Spring 2015 Geometric Representation Theory Seminar. The main source
More informationAdaptive Online Gradient Descent
Adaptive Online Gradient Descent Peter L Bartlett Division of Computer Science Department of Statistics UC Berkeley Berkeley, CA 94709 bartlett@csberkeleyedu Elad Hazan IBM Almaden Research Center 650
More informationCyclotomic Extensions
Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate
More informationTHREE DIMENSIONAL GEOMETRY
Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,
More informationLINEAR ALGEBRA W W L CHEN
LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,
More informationFIBER BUNDLES AND UNIVALENCE
FIBER BUNDLES AND UNIVALENCE TALK BY IEKE MOERDIJK; NOTES BY CHRIS KAPULKIN This talk presents a proof that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference
More informationON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationMatrix Representations of Linear Transformations and Changes of Coordinates
Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under
More informationARITHMETIC PROPERTIES OF PROJECTIVE VARIETIES OF ALMOST MINIMAL DEGREE
ARITHMETIC PROPERTIES OF PROJECTIVE VARIETIES OF ALMOST MINIMAL DEGREE MARKUS BRODMANN AND PETER SCHENZEL ABSTRACT. We study the arithmetic properties of projective varieties of almost minimal degree,
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationPYTHAGOREAN TRIPLES KEITH CONRAD
PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient
More informationAlex, I will take congruent numbers for one million dollars please
Alex, I will take congruent numbers for one million dollars please Jim L. Brown The Ohio State University Columbus, OH 4310 jimlb@math.ohio-state.edu One of the most alluring aspectives of number theory
More informationSUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by
SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples
More informationUnique Factorization
Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon
More information