J. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that
|
|
- Dorthy Carson
- 5 years ago
- Views:
Transcription
1 On the dual of a real analytic hypersurface J. Huisman Abstract Let f be an immersion of a compact connected smooth real analytic variety X of dimension n into real projective space P n+1 (R). We say that f is homologically trivial if the induced maps f? : H i (X;Z=2Z)?! H i (P n+1 (R);Z=2Z) are zero maps for all i > 0. Denote by f g the dual map of f and let bxc be the fundamental Z=2Z-homology class of X. We show that the dual map f g is homologically trivial in each of the following two cases: 1. f is homologically trivial and of odd degree when considered as a map from X into f(x). 2. f? bxc 6= 0 in H n (P n+1 (R);Z=2Z). As an application, we show that f(x) has an inection point if f(x) is not a real projective hyperplane and if f? bxc 6= 0. Roughly speaking, this implies that a minimal real analytic hypersurface in a real projective space realizing the nontrivial Z=2Z-homology class is a real projective hyperplane. MSC 1991: 14P15, 32C07 Keywords: point real analytic hypersurface, dual hypersurface, inection 1 Introduction In the literature [4, proof of Lemma 5], one comes across the following curious statement. Theorem 1. Let C be a compact connected smooth real analytic curve in the real projective plane. Then, the dual curve C g is homologically trivial in the dual real projective plane. 1
2 I nd this statement curious because it says that, whether or not C is homologically trivial in P 2 (R), the dual curve C g is homologically trivial in P 2 (R) g. It seems contradictory in view of duality: if one applies Theorem 1 to C g one would get that C = (C g ) g is homologically trivial in P 2 (R). This seems contradictory because C might have been homologically nontrivial in P 2 (R). Of course, the statement is not really contradictory. The point is that one cannot apply Theorem 1 to C g if C is homologically nontrivial, i.e., C g either is reduced to a point, or is a singular real analytic curve. In [4] this is used to obtain the following statement. Corollary 2. Let C be a compact connected smooth real analytic curve in the real projective plane. Suppose that C satises the following properties. 1. C is homologically nontrivial in P 2 (R), 2. C is not a real projective line in P 2 (R), and 3. C has no bitangent lines. Then, C contains an inection point. Roughly speaking, Corollary 2 implies that a minimal homologically nontrivial smooth compact connected real analytic curve in the real projective plane is a real projective line. In the present paper, we generalize Theorem 1 to a statement about immersions into real projective (n + 1)-space of smooth compact connected real analytic varieties of arbitrary dimension n (Theorem 10). The main ingredients of its proof are an adjunction formula for such immersions (Lemma 12), and a formula that relates the homologically triviality of such an immersion and the homologically triviality of its dual (Proposition 13). As an application, we generalize Corollary 2 to arbitrary dimension and, moreover, we get rid of the condition about bitangent lines (Theorem 16). Convention. In order to avoid the usual pathologies, a real analytic variety will be the germ at the real points of a complex analytic variety dened over the reals, a morphism between real analytic varieties will be a morphism of such germs, etc. Due to this convention we can apply results of [3] to real analytic varieties. We will do this without further mention. 2 Homological and cohomological triviality Let n be a natural integer and let X be a compact connected topological manifold of dimension n. Let f : X! P n+1 (R) be a continuous map. We 2
3 say that f is cohomologically trivial if the induced morphism f? : H (P n+1 (R);Z=2Z)?! H (X;Z=2Z) of graded Z=2Z-algebras factorizes through the trivially graded Z=2Z-algebra Z=2Z. In order to put it otherwise, let = n+1 be the unique nonzero element of the cohomology group H (P 1 n+1 (R);Z=2Z). Dene! f = f? () 2 H 1 (X;Z=2Z): Since generates the Z=2Z-algebra H (P n+1 (R);Z=2Z), the map f is cohomologically trivial if and only if! f = 0. By abuse of language, we will also say that X is cohomologically trivial in P n+1 (R) if f is so. If X P n+1 (R) is a submanifold then we will say that X is cohomologically trivial in P n+1 (R) if X is so with respect to the inclusion map of X into P n+1 (R). Examples 3. A projective hyperplane in P n+1 (R) is cohomologically nontrivial in P n+1 (R), unless n = 0. The n-sphere in P n+1 (R), dened by the ane equation x x2 n+1 = 1, is cohomologically trivial in Pn+1 (R). We say that f is homologically trivial if for all i > 0 the map f? : H i (X;Z=2Z)?! H i (P n+1 (R);Z=2Z) is the zero map. By abuse of language, we will also say that X is homologically trivial in P n+1 (R) if f is so. If X P n+1 (R) is a submanifold then we will say that X is homologically trivial in P n+1 (R) if X is so with respect to the inclusion map of X into P n+1 (R). By Kronecker Duality [5], f is homologically trivial if and only if f is cohomologically trivial. Therefore we may and will interchangeably use the notions of homological and cohomological triviality. There is also a weaker notion of homological triviality. Let bxc be the fundamental class of X, i.e., bxc is the unique nonzero element of the homology group H n (X;Z=2Z) [5]. We say that f is homologically trivial in its highest degree if f? bxc = 0 in H n (P n+1 (R);Z=2Z). Of course, f is homologically trivial in its highest degree whenever f is homologically trivial, provided that n > 0. The converse does not necessarily hold, as is shown in the following example. Example 4. Let X P 3 (R) be the hyperboloid dened by the ane equation z 2 = x 2 + y 2? 1. Then, X is a compact connected submanifold of P 3 (R) of dimension 2. Let f be the inclusion of X into P 3 (R). We show that the map f is homologically trivial in its highest degree but is not homologically trivial. 3
4 O Let L X be the projective line dened by the ane equations x = 1 and z = y. Consider the fundamental class blc of L as an element of the homology group H 1 (X;Z=2Z). Of course, f? blc is nonzero. Hence, f is not homologically trivial. However, the complement P 3 (R)n X is not connected. Therefore, f? bxc = 0, i.e., f is homologically trivial in its highest degree. Here is a useful criterion for a map to be homologically trivial when one knows it to be homologically trivial in its highest degree. Proposition 5. Let n be a natural integer and let X be a compact connected topological manifold of dimension n. Let f : X! P n+1 (R) be a continuous map. Suppose that f? : H n?1 (X;Z=2Z)?! H n?1 (P n+1 (R);Z=2Z) is injective. Then f is homologically trivial if f is homologically trivial in its highest degree. Proof. Consider the commutative diagram [5] H 1 (X;Z=2Z) f? H 1 (P n+1 (R);Z=2Z) \bxc \f?bxc / H n?1 (X;Z=2Z) f? / H n?1 (P n+1 (R);Z=2Z) By hypothesis, f? bxc is zero. Hence, the lower horizontal arrow in the diagram is the zero map. Also by hypothesis, the vertical arrow to the right is an injective map. Since the upper horizontal arrow is an isomorphism by Poincare Duality [5], the vertical arrow to the left is the zero map. In particular,! f = f? () = 0. Hence, f is homologically trivial. 3 The dual of a real analytic hypersurface Let us recall the classical construction of the dual of a real analytic hypersurface of real projective space. Let n be a natural integer. Let X be a smooth compact connected real analytic variety of dimension n. Suppose that f : X! P n+1 (R) is a real analytic immersion of X into the (n + 1)-dimensional real projective space P n+1 (R). Let x 2 X. Since f is an immersion, the image of the tangent map T x f of f at x is an n-dimensional real vector subspace of the tangent space T f (x) P n+1 (R) of P n+1 (R) at f(x). Let : R n+2 n f0g! P n+1 (R) be the projection map. We identify the tangent space to R n+2 n f0g at a point y 4
5 with R n+2. For y 2 R n+2 n f0g such that (y) = f(x), the inverse image V x of im(t x f) by the map T y is a (n + 1)-dimensional real vector subspace of R n+2. It is clear that V x does not depend on y, but only on x. The n-dimensional real projective subspace T x = (V x n f0g) of P n+1 (R) is the embedded projective tangent space to f(x) at f(x). The subspace T x is an element of the dual real projective space P n+1 (R) g. We denote by f g the map from X into P n+1 (R) g dened by x 7?! T x. That map is the dual map of f. It is a real analytic map. If X P n+1 (R) is a smooth real analytic subvariety then the image X g = f g (X) is the dual variety of X, where f is the inclusion map of X into P n+1 (R). This is a slight abuse of language since X g is not necessarily a real analytic subset of P n+1 (R), as the following example shows. Example 6. Let X be the smooth compact connected real analytic subvariety of P 3 (R) dened by the ane equation x 3 + y 3 + z 3 = 1. We show that X g is not a real analytic subset of P 3 (R) g. Indeed, let L be the real projective line in P 3 (R) dened by the ane equations x = 1 and z =?y. Then, L is contained in X. The set of all hyperplanes in P 3 (R) containing L is a real projective line L g in P 3 (R) g. We show that the intersection L g \X g is a proper closed interval in L g. Let H be a real projective plane in P 3 (R) which is tangent to X and contains L. Then, it can be readily checked that H is tangent to X at a point of L. It follows that L g \ X g = f g (L), where f is the inclusion map from X into P 3 (R). Let ': P 1 (R)! L be the bijective parametrization of L anely dened by '(t) = (1; t;?t). It can be readily checked that the embedded projective tangent space to X at '(t) has ane coordinates (?1;?t 2 ;?t 2 ). It follows that f g (L) is a closed interval of L g, properly contained in L g. Therefore, X g is not a real analytic subset of P 3 (R) g. Proposition 7. Let n be a natural integer. Let X be a smooth compact connected real analytic variety of dimension n and let f : X! P n+1 (R) be a real analytic immersion. Then f(x) is a closed real analytic subset of P n+1 (R). Proof. Let x 2 X. Since f is an immersion, there are an open neighborhood U of x in X and an open neighborhood V of f(x) in P n+1 (R) such that f(u) is a smooth closed real analytic subvariety of V and fj U is an isomorphism from U onto f(u). Therefore, in order to show that f(x) is a real analytic subset of P n+1 (R), it suces to show that, for any x 2 X there are only nitely many y 2 X such that f(y) = f(x). But this follows from the compactness of X and the fact that f is an immersion. 5
6 Let X be a smooth compact connected real analytic variety of dimension n. Denote by bxc the fundamental Z=2Z-homology class of X [5]. Since under the hypotheses of Proposition 7 f(x) is a real analytic subset of P n+1 (R), it has a fundamental Z=2Z-homology class [2] bf(x)c 2 H n (f(x);z=2z); i.e., bf(x)c is the unique nonzero element of the above homology group. Dene the degree mod 2 of f to be the unique integer d mod 2 such that f? bxc = dbf(x)c in H n (f(x);z=2z). Since we are interested in real analytic hypersurfaces and not in immersions into real projective spaces, we will concentrate on immersions of odd degree. The following statement shows that this is not very restrictive, as far as real analytic hypersurfaces are concerned. Proposition 8. Let n be a natural integer. Let X be a smooth compact connected real analytic variety of dimension n and let f : X! P n+1 (R) be a real analytic immersion. Then, there are a smooth compact connected real analytic variety X of dimension n, an immersion f of X into P n+1 (R), and a real analytic map : X! X such that the diagram X H f HHHHHHHH$ X wwwwwwww; f w P n+1 (R) commutes and such that (X; f) is universal in having these properties. The map f is injective on the complement of a proper closed real analytic subset of X. In particular, f(x) = f(x) and f is of odd degree. Proof. Let R be the equivalence relation on X dened by (x; y) 2 R if and only if there are open neighborhoods U and V of x and y, respectively, such that f(u) = f(v ). Then, R is a smooth closed real analytic subvariety of X X. Moreover, the restriction to R of the projection on any factor of X X is a local isomorphism. It follows that the quotient X = X=R is a smooth compact connected real analytic variety of dimension n. Obviously, one has induced real analytic maps : X! X and f : X! P n+1 (R) such 6
7 that f = f. Moreover, is a local isomorphism. Hence, f is an immersion. It is clear that (X; f) is universal. By construction, if x; y 2 X, x 6= y, such that f(x) = f(y), then f(u) 6= f(v ) for all open neighborhoods U and V in X of x and y, respectively. It follows that f is injective on the complement of a proper closed real analytic subset of X. Corollary 9. Let n be a natural integer. Let X be a smooth compact connected real analytic variety of dimension n and let f : X! P n+1 (R) be a real analytic immersion. Suppose that f g is also an immersion. Then, f g = (f) g. In particular, the topological degrees mod 2 of f and f g coincide. Proof. Let (X; f) be universal for f : X! P n+1 (R) and let (X 0 ; f g ) be universal for f g : X! P n+1 (R) g. By universality, X 0 = X and f g = f g. Let : X! X and 0 : X! X 0 be the quotient maps. Then, = 0. Since f g and f g are of odd degree, deg(f) = deg() = deg( 0 ) = deg(f g ) (mod 2): Here is the principal result of the paper concerning the dual of a real hypersurface. Theorem 10. Let n be a nonzero natural integer. Let X be a smooth compact connected real analytic variety of dimension n and let f : X! P n+1 (R) be a real analytic immersion. Let f g : X! P n+1 (R) g be the dual morphism. Suppose that 1. f is homologically trivial and of odd degree, or 2. f is homologically nontrivial in its highest degree. Then f g is homologically trivial. Before attacking the proof of Theorem 10, we need some preparation. First of all, we will often consider a closed real analytic subspace Z of codimension 1 in a smooth compact connected real analytic variety of dimension m. Let i: Z! Y be the inclusion map. We will denote by dze 2 H 1 (Y;Z=2Z) the Poincare Dual of the homology class i? bzc, where bzc is the fundamental Z=2Z-homology class of Z [2]. Since Z is of codimension 1 in Y, one 7
8 has an invertible sheaf O Y (Z) of O Y -modules and a global section s such that div(s) = Z as real analytic spaces. The cohomology class dze is nothing but the rst Stiefel-Whitney class w 1 (O Y (Z)) of O Y (Z) (compare [1, x12.4]). From now on, we x, throughout the rest of this section, a nonzero natural integer n, a smooth compact connected real analytic variety X of dimension n and an immersion f : X! P n+1 (R). Let N g f be the conormal sheaf of X over P n+1 (R). Lemma 11. w 1 (N g f ) = f? df(x)e. Proof. By Proposition 7, f(x) is a closed real analytic subset of P n+1 (R) of codimension 1. Let I be the sheaf of O-ideals dening f(x). The sheaf f? I is isomorphic to N g f. Since f(x) is of codimension 1 in Pn+1 (R), the sheaf I is isomorphic to the dual O(f(X)) g of the invertible sheaf O(f(X)). It follows that w 1 (N g f ) = w 1 (f? I) = = f? w 1 (I) = = f? w 1 (O(f(X)) g ) = = f? w 1 (O(f(X))) = = f? dxe: If Y is a smooth compact connected real analytic variety of dimension m then we denote by w 1 (Y ) the rst Stiefel-Whitney class of the invertible sheaf m Y of real analytic dierential m-forms on Y. Lemma 12 (Adjunction formula). w 1 (X) = f? (w 1 (P n+1 (R)))+f? df(x)e. Proof. Since f is an immersion, one has an isomorphism f? n+1 P n+1 (R) = n X OX N g f : Taking rst Stiefel-Whitney classes, one gets by Lemma 11. f? (w 1 (P n+1 (R))) = w 1 (f? n+1 P n+1 (R) ) = = w 1 ( n X) + w 1 (N g f ) = = w 1 (X) + f? df(x)e; 8
9 Recall from Section 2 that! f is the pull-back by f? of the nontrivial cohomology class n+1 of H 1 (P n+1 (R);Z=2Z). Proposition 13.! f g =! f + f? df(x)e. Proof. Let P 2 P n+1 (R) be a point such that P 62 f(x). Denote by P linear projection of P n+1 (R)nfP g onto P n (R). More precisely, identify P n (R) with the set of projective lines of P n+1 (R) that pass through P. Then, P (Q) is dened to be the projective line of P n+1 (R) that passes through P and Q, for Q 2 P n+1 (R) n fp g. Consider the map g : X?! P n (R) dened by g = P f. Clearly, g is real analytic. Let us show that g is a nite map. Let L be a projective line in P n+1 (R) passing through P. By Proposition 7, f(x) is a closed real analytic subset of P n+1 (R). Hence, the intersection f(x) \ L is a closed real analytic subset of L. Since P 62 f(x), it is also a proper subset of L. Therefore, f(x) \ L is nite. It follows that g is nite. The morphism g induces a pull-back morphism g? : g? n P n (R)?! n X : Note that both sheaves g? n P n (R) and n X are invertible sheaves of O X -modules. Since g is nite, the morphism g? is nonzero. Let I be the annihilator of the sheaf coker(g? ). Then, I is a sheaf of ideals of O X. Let Z be the real analytic subspace of X dened by I. Then, Z is equal to the real analytic subspace (f g )?1 (P g ) of X, where P g denotes the projective hyperplane in P n+1 (R) g dual to P. In particular, dze = (f g )? dp g e =! f g: The morphism g? corresponds to a global section s of the invertible sheaf (g? n P n (R))?1 OX n X : Moreover, s is not the zero section since g is nite. Since the divisor div(s) of s is equal to Z, in H 1 (X;Z=2Z). By Lemma 12,! f g = ddiv(s)e = g? (w 1 (P n (R))) + w 1 (X)! f g = g? (w 1 (P n (R))) + f? (w 1 (P n+1 (R))) + f? df(x)e (1) the 9
10 If n is odd, P n (R) is orientable, i.e., w 1 (P n (R)) = 0, and P n+1 (R) is not orientable, i.e., w 1 (P n+1 (R)) = n+1. Hence, if n is odd, equation (1) gives! f g =! f + f? df(x)e: (2) If n is even, w 1 (P n (R)) = n and w 1 (P n+1 (R)) = 0. But g? n = f? n+1 =! f. Substituting in equation (1) shows that equation (2) holds as well if n is even. The conclusion is that the equation (2) holds for all n. Remark 14. In the proof above, it is particularly important to consider following our convention a real analytic space as the germ of the real points of a complex analytic space dened over R. For example, above, Z is a codimension 1 real analytic subspace of X. However, forgetting about the germ and taking into account only its real points, Z may well be of higher codimension in X! In fact, Z may even be empty! Proof of Theorem 10. We treat separately the two cases 1 and 2. In case 1, f is homologically trivial and of odd degree. In particular,! f = 0 and f? bxc = 0. Let i be the inclusion map of f(x) into P n+1 (R). Since f is of odd degree, i? bf(x)c = f? bxc = 0. Hence, df(x)e = 0. By Proposition 13,! f g = 0, i.e., f g is homologically trivial. In case 2, f is homologically nontrivial in its highest degree, i.e., f? bxc 6= 0. Then, necessarily, i? bf(x)c = f? bxc 6= 0. Hence, df(x)e 6= 0, i.e., df(x)e =. Then, f? df(x)e =! f and! f g = 0 by Proposition 13. As we have seen in the above proof, if f is homologically nontrivial in it highest degree then f is necessarily of odd degree. Hence, Theorem 10 only concerns immersions of odd degree that are either homologically trivial, or homologically nontrivial in their highest degree. As shows the following example, the statement of Theorem 10 cannot be weakened as to include all real analytic immersions f : X! P n+1 (R) of odd degree. Example 15. Let again X P 3 (R) be the hyperboloid of Example 4, let f be the inclusion of X into P 3 (R) and let L X be the projective line dened by the ane equations x = 1 and z = y. The dual L g of L is the projective line in P 3 (R) g consisting of all projective planes in P 3 (R) that contain L. It is clear that L g is contained in X g. Therefore, X g is not homologically trivial. 4 Inflection points on real analytic hypersurfaces Let n be a natural integer. Let X be a smooth compact connected real analytic variety of dimension n. Let f : X! P n+1 (R) be a real analytic 10
11 immersion. The map f is said to be nondegenerate if the image f(x) is not contained in a projective hyperplane. Let f g : X! P n+1 (R) g be the dual map of f. We say that x 2 X is an inection point of f if f is nondegenerate and the map f g is not an immersion at x. By abuse of language, we will also say that f(x) is an inection point of f(x) if x is an inection point of f. Theorem 16. Let n be a natural integer. Let X be a smooth compact connected real analytic variety of dimension n. Let f : X! P n+1 (R) be a real analytic immersion. Suppose that 1. f has no inection points, and 2. f is homologically nontrivial in its highest degree. Then f(x) is a projective hyperplane in P n+1 (R) and f is an isomorphism from X onto f(x). In particular, X is isomorphic to P n (R). Proof. The statement obviously holds if n = 0. We may assume, therefore, that n > 0. By Theorem 10, the dual map f g of X into P n+1 (R) g is homologically trivial. We show that f g is not an immersion. Suppose, to the contrary, that f g is an immersion. Since f is homologically nontrivial in its highest degree, the topological degree of f is odd. Applying Corollary 9 to f g, the topological degrees mod 2 of f g and f are equal. Hence, f g is of odd topological degree. Since f g is homologically trivial, Theorem 10 implies that f = (f g ) g is homologically trivial. This contradicts the hypothesis that f is not homologically trivial in its highest degree. Therefore, f g is not an immersion. Since f g is not an immersion, f has an inection point or f is degenerate. By hypothesis, f does not have an inection point. Hence, f is degenerate, i.e., f(x) is contained in a projective hyperplane H of P n+1 (R). Then, f considered as a map from X into H is a topological covering. Since the fundamental group 1 (P n (R)) of P n (R) is isomorphic to Z=2Z, the map f is of degree 1 or 2. But f is not of degree 2 since f is not homologically trivial in its highest degree. Therefore, the degree of f is equal to 1 and f is an isomorphism from X onto H. Theorem 16 has some nice equivalent formulations: Corollary 17. Let n be a nonzero natural integer. Let X be a smooth compact connected real analytic variety of dimension n. Let f : X! P n+1 (R) be a nondegenerate real analytic immersion. If f has no inection points then f is homologically trivial in its highest degree, i.e., f? bxc = 0 in the homology group H n (P n+1 (R);Z=2Z). In particular, f(x) is the boundary of some closed region in P n+1 (R). 11
12 Corollary 18. Let n be a nonzero natural integer. Let X be a smooth compact connected real analytic variety of dimension n. Let f : X! P n+1 (R) be a nondegenerate real analytic immersion. If f is homologically nontrivial in its highest degree then f has an inection point. Remark 19. The statement of Corollary 18 admits an easier proof if, moreover, n is odd and f(x) is a branch of a real algebraic variety V in P n+1 (R). Indeed, in that case, V is of odd degree d. The Hessian H of V is of degree (n + 2)(d? 2). In particular, the degree of H is odd. Then, there is a real analytic branch B of H such that bbc 6= 0 in H n (P n+1 (R);Z=2Z). Since bf(x)c 6= 0 in H n (P n+1 (R);Z=2Z) as well, B \ f(x) 6= ;, i.e., f has an inection point. References [1] Bochnak, J., Coste, M., Roy M-F.: Geometrie algebrique reelle. Ergeb. Math. 3.Folge, Bd. 12, Springer Verlag, 1987 [2] Borel, A., Haeiger, A.: La classe d'homologie fondamentale d'un espace analytique. Bull. Soc. Math. France 89 (1961), 461{513 [3] Grauert, H., Remmert, R.: Coherent analytic sheaves. Grundlehren Math. Wiss. 265, Springer Verlag, 1984 [4] Huisman, J.: Inection points on real plane curves having many pseudolines. Beitrage Algebra Geom. (to appear) [5] Munkres, J. R.: Elements of algebraic topology. Addison-Wesley, 1984 Institut de Recherche Mathematique de Rennes Universite de Rennes 1 Campus de Beaulieu Rennes Cedex France huisman@univ-rennes1.fr Home page: Typeset by AMS-L A TEX and XY-pic 12
Inflection Points on Real Plane Curves Having Many Pseudo-Lines
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 42 (2001), No. 2, 509-516. Inflection Points on Real Plane Curves Having Many Pseudo-Lines Johannes Huisman Institut Mathématique
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationAPPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY
APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationMicro-support of sheaves
Micro-support of sheaves Vincent Humilière 17/01/14 The microlocal theory of sheaves and in particular the denition of the micro-support is due to Kashiwara and Schapira (the main reference is their book
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More 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 informationCOMPLEX ALGEBRAIC SURFACES CLASS 4
COMPLEX ALGEBRAIC SURFACES CLASS 4 RAVI VAKIL CONTENTS 1. Serre duality and Riemann-Roch; back to curves 2 2. Applications of Riemann-Roch 2 2.1. Classification of genus 2 curves 3 2.2. A numerical criterion
More information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationVector Bundles on Algebraic Varieties
Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationUniversité Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM. Master 2 Memoire by Christopher M. Evans. Advisor: Prof. Joël Merker
Université Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM Master 2 Memoire by Christopher M. Evans Advisor: Prof. Joël Merker August 2013 Table of Contents Introduction iii Chapter 1 Complex Spaces 1
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationMath 396. Bijectivity vs. isomorphism
Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationINTERSECTION THEORY CLASS 6
INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudo-divisors 3 2. Intersecting with divisors 4 2.1.
More informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationNOTES ON DIVISORS AND RIEMANN-ROCH
NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as
More informationON EMBEDDABLE 1-CONVEX SPACES
Vâjâitu, V. Osaka J. Math. 38 (2001), 287 294 ON EMBEDDABLE 1-CONVEX SPACES VIOREL VÂJÂITU (Received May 31, 1999) 1. Introduction Throughout this paper all complex spaces are assumed to be reduced and
More informationk k would be reducible. But the zero locus of f in A n+1
Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along
More informationSpecial cubic fourfolds
Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
More informationPaolo Aluffi Mathematics Department, Florida State University
SINGULAR SCHEMES OF HYPERSURFACES Paolo Aluffi Mathematics Department, Florida State University June 1996 Contents 0. Introduction 1. The µ-class of the singularity of a hypersurface 2. Relations with
More information1.5.4 Every abelian variety is a quotient of a Jacobian
16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.
More informationSYMMETRIC ALGEBRAS OVER RINGS AND FIELDS
SYMMETRIC ALGEBRAS OVER RINGS AND FIELDS THOMAS C. CRAVEN AND TARA L. SMITH Abstract. Connections between annihilators and ideals in Frobenius and symmetric algebras are used to provide a new proof of
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationCHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES
CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results
More informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
More informationCharacteristic classes in the Chow ring
arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
More informationNon-uniruledness results for spaces of rational curves in hypersurfaces
Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
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 informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More information(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.
0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationCharacteristic Classes, Chern Classes and Applications to Intersection Theory
Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
More informationMath 147, Homework 5 Solutions Due: May 15, 2012
Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationarxiv: v1 [math.ag] 28 Sep 2016
LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra
More informationSYMPLECTIC LEFSCHETZ FIBRATIONS ALEXANDER CAVIEDES CASTRO
SYMPLECTIC LEFSCHETZ FIBRATIONS ALEXANDER CAVIEDES CASTRO. Introduction A Lefschetz pencil is a construction that comes from algebraic geometry, but it is closely related with symplectic geometry. Indeed,
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
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 informationTHE GROUP OF AUTOMORPHISMS OF A REAL
THE GROUP OF AUTOMORPHISMS OF A REAL RATIONAL SURFACE IS n-transitive JOHANNES HUISMAN AND FRÉDÉRIC MANGOLTE To Joost van Hamel in memoriam Abstract. Let X be a rational nonsingular compact connected real
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
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 informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN
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 informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationAlgebraic Topology II Notes Week 12
Algebraic Topology II Notes Week 12 1 Cohomology Theory (Continued) 1.1 More Applications of Poincaré Duality Proposition 1.1. Any homotopy equivalence CP 2n f CP 2n preserves orientation (n 1). In other
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationAbstract. Jacobi curves are far going generalizations of the spaces of \Jacobi
Principal Invariants of Jacobi Curves Andrei Agrachev 1 and Igor Zelenko 2 1 S.I.S.S.A., Via Beirut 2-4, 34013 Trieste, Italy and Steklov Mathematical Institute, ul. Gubkina 8, 117966 Moscow, Russia; email:
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationGlobalization and compactness of McCrory Parusiński conditions. Riccardo Ghiloni 1
Globalization and compactness of McCrory Parusiński conditions Riccardo Ghiloni 1 Department of Mathematics, University of Trento, 38050 Povo, Italy ghiloni@science.unitn.it Abstract Let X R n be a closed
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 informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationSelf-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds
Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu
More informationTHREE APPROACHES TO CHOW S THEOREM
THREE APPROACHES TO CHOW S THEOREM EVAN WARNER 1. Statement and overview The focus of this talk will be on Chow s theorem, a simple but very useful result linking complex analytic geometry to algebraic
More informationPolynomial mappings into a Stiefel manifold and immersions
Polynomial mappings into a Stiefel manifold and immersions Iwona Krzyżanowska Zbigniew Szafraniec November 2011 Abstract For a polynomial mapping from S n k to the Stiefel manifold Ṽk(R n ), where n k
More informationTHE JORDAN-BROUWER SEPARATION THEOREM
THE JORDAN-BROUWER SEPARATION THEOREM WOLFGANG SCHMALTZ Abstract. The Classical Jordan Curve Theorem says that every simple closed curve in R 2 divides the plane into two pieces, an inside and an outside
More informationAlgebraic Geometry. Question: What regular polygons can be inscribed in an ellipse?
Algebraic Geometry Question: What regular polygons can be inscribed in an ellipse? 1. Varieties, Ideals, Nullstellensatz Let K be a field. We shall work over K, meaning, our coefficients of polynomials
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationA MORE GENERAL ABC CONJECTURE. Paul Vojta. University of California, Berkeley. 2 December 1998
A MORE GENERAL ABC CONJECTURE Paul Vojta University of California, Berkeley 2 December 1998 In this note we formulate a conjecture generalizing both the abc conjecture of Masser-Oesterlé and the author
More informationMath 141 Final Exam December 18, 2014
Math 141 Final Exam December 18, 2014 Name: Complete the following problems. In order to receive full credit, please provide rigorous proofs and show all of your work and justify your answers. Unless stated
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationCousin-I spaces and domains of holomorphy
ANNALES POLONICI MATHEMATICI 96.1 (2009) Cousin-I spaces and domains of holomorphy by Ilie Bârză (Karlstad) and Viorel Vâjâitu (Lille) Abstract. We prove that a Cousin-I open set D of an irreducible projective
More informationarxiv:math/ v1 [math.ag] 17 Oct 2006
Remark on a conjecture of Mukai Arnaud BEAUVILLE Introduction arxiv:math/0610516v1 [math.ag] 17 Oct 2006 The conjecture mentioned in the title appears actually as a question in [M] (Problem 4.11): Conjecture.
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More information1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3
Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces
More informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationON r-neighbourly SUBMANIFOLDS IN R N. Victor A. Vassiliev. 1. Introduction. Let M be a k-dimensional manifold, and r a natural number.
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 11, 1998, 273 281 ON r-neighbourly SUBMANIFOLDS IN R N Victor A. Vassiliev (Submitted by A. Granas) To Jürgen Moser
More informationCharacterizations of the finite quadric Veroneseans V 2n
Characterizations of the finite quadric Veroneseans V 2n n J. A. Thas H. Van Maldeghem Abstract We generalize and complete several characterizations of the finite quadric Veroneseans surveyed in [3]. Our
More informationSEPARABLE RATIONAL CONNECTEDNESS AND STABILITY
SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More information