DEFORMATIONS VIA DIMENSION THEORY


 Vivien Norris
 2 years ago
 Views:
Transcription
1 DEFORMATIONS VIA DIMENSION THEORY BRIAN OSSERMAN Abstract. We show that standard arguments for deformations based on dimension counts can also be applied over a (not necessarily Noetherian) valuation ring A of rank 1. Key intermediate results are a principal ideal theorem for schemes of finite type over A, and a theorem on subadditivity of intersection codimension for schemes smooth over A. 1. Introduction In [8], Nagata began a process of extending certain dimensionrelated statements to a nonnoetherian setting. Motivated by applications to tropical geometry, where one typically works over a nonnoetherian valuation ring of rank 1, we continue in the same spirit as Nagata, proving several results involving dimensions of schemes over such valuation rings. We say that an irreducible catenary scheme S is intersectionregular if it has the property that codimension is subadditive under intersection: that is, for any irreducible closed subschemes Z 1, Z 2 of S, and any irreducible component Z of Z 1 Z 2, we have codim S Z codim S Z 1 + codim S Z 2. We say that S is universally intersectionregular if every irreducible scheme smooth over S is intersectionregular. It is a theorem of Serre (Theorem V.3 of [12]) that if S is regular, it is (universally) intersectionregular. If S is universally intersectionregular, one may use dimensioncounting arguments to deform points in a family over S. Such techniques are important for instance in the theory of limit linear series developed by Eisenbud and Harris. The primary purpose of the present paper is to show that valuation rings of rank 1 are universally intersectionregular, allowing us to conclude the following theorem: Theorem 1.1. Suppose S is the spectrum of a valuation ring of rank 1, and suppose Y S is smooth, of relative dimension d. Suppose that X S is constructed by intersecting closed subschemes Z 1,..., Z m Y, and for each i = 1,..., m we have that every irreducible component of Z i has codimension less than or equal to d i in Y. Choose x in the special fiber of X over S, and suppose that the dimension of the special fiber at x is less than or equal to d m i=1 d i. Then there is a point x in the generic fiber of X over S specializing to x. If x is closed in the special fiber, x may be chosen to be closed in the generic fiber. We can apply this result in tropical geometry (*) to study the relationship between tropicalization and intersection. In the tropical setting, the additional statement in the case that x is closed is very important one works with valuation rings having algebraically closed residue and fraction fields, so if we know x is closed, we conclude it is in fact rational. 1 cite samme
2 2 BRIAN OSSERMAN In 2, we use Noetherian approximation to prove a result which could be interpreted as a relative form of the principal ideal theorem, which we then apply in two ways: we first conclude that schemes of finite type over a valuation ring of rank 1 satisfy the usual principal ideal theorem, and then prove a statement on the existence of closed points in generic fibers specializing to chosen closed points in special fibers. In 3, we use the principal ideal theorem to prove that the spectrum of a valuation ring of rank 1 is universally intersectionring, adapting the usual argument for smooth varieties over a field. Finally, in 4 we adapt to the non Noetherian setting the standard argument allowing us to deduce Theorem 1.1, and in fact prove a sharper result in a more general setting. Acknowledgements. I would like to thank Brian Conrad, David Rydh, David Eisenbud, William Heinzer, Bernd Ulrich, and Sam Payne for helpful conversations. 2. A relative principal ideal theorem In this section, we prove a sort of relative version of the Krull principal ideal theorem (Proposition 2.1) for morphisms of finite type of not necessarily Noetherian schemes, and apply it to conclude that the usual principal ideal theorem holds for schemes of finite type over a valuation ring of rank 1. We also prove a statement on the existence of closed points in generic fibers specializing to given closed points in special fibers. Proposition 2.1. Suppose f : X S is a dominant morphism between irreducible schemes, and assume that f is either flat and locally of finite type, or locally of finite presentation with equidimensional fibers. Suppose D is an effective Cartier divisor in X. If D does not meet the generic fiber of f, then for every s S, every irreducible component of D f 1 (s) is an irreducible component of f 1 (s). Proof. First, we observe that the hypotheses that f is flat and locally of finite type imply that f is necessary locally of finite presentation, by Corollary of [11], and with equidimensional fibers by Theorem (ii) of [6]. The question is clearly local on both X and S, so we may assume that X is of finite presentation over S, and that both are affine, so that D is the vanishing locus of some function h on X. Say X = Spec A, S = Spec B. By finite presentation, there is a subring B of B which is finitely generated over Z, and hence Noetherian, such that X and h are defined over B that is, such that we have a finitely presented B algebra A, and h A, with X = X := Spec A S S and h being the pullback of h to X. If X is not irreducible, we may replace it with its closed image; since X X is an affine map, this coincides with the closure of the image of the generic point of X, so is still irreducible. of its generic fiber, which will still be of finite type. Let f : X S be the structure morphism, and let D be the vanishing locus of h. If D does not meet the generic fiber of f, then the same is true for D and f. Choose s S with D f 1 (s) nonempty, and let s be the image of s in S. By equidimensionality of fibers of f, we have that the generic fiber of f and f 1 (s) are both pure of some fixed dimension d, and the same then necessarily holds for the generic fiber of f and for f 1 (s ) Corollary of [5]. Similarly, D f 1 (s ) is pure dimension d if and only if D f 1 (s) is pure of dimension d, so it is enough to show that every irreducible component of D f 1 (s ) has dimension d. We claim that this follows from the Krull principal ideal theorem. Indeed, let D 1 be an irreducible component of D, meeting f 1 (s ). Then D 1 can have height
3 DEFORMATIONS VIA DIMENSION THEORY 3 at most 1 in X by the principal ideal theorem. Let s be the image of the generic point of D 1 in S. Since the generic point of D 1 is a specialization of the generic point of X and specializes to some point of f 1 (s ), we have that f 1 (s ) is pure of dimension d at the generic point of D 1, by upper semicontinuity of fiber dimension (Theorem of [6]). Since f is dominant and s is not the generic point of S, any component of f 1 (s ) has height at least 1 in X ; since D 1 has height at most 1, we conclude that D 1 f 1 (s ) is a component of f 1 (s ), and thus has dimension d. Applying Lemma of [6] to the closed image of D 1 in S, it follows that every irreducible component of D 1 f 1 (s ) has dimension at least d, as desired. Remark 2.2. Note that a hypothesis along the lines of flatness is in fact necessary for the proposition; otherwise, one obtains a counterexample from the blowup of the affine plane at the origin, with the divisor being the strict transform of a line through the origin. The first consequence of the proposition is that the Krull principal ideal theorem holds for schemes of finite type over valuation rings of rank 1. Corollary 2.3. Let f : X S be a morphism of finite type, with S = Spec A for A a valuation ring of rank 1, and let Z be a locally principal closed subscheme of X. Then every irreducible component of Z has codimension at most 1 in each component of X containing it. Proof. First note every closed subscheme of X can have only finitely many irreducible components, since each must have generic point in either the generic or closed fiber of f. The question is also local on X, and it suffices to work in a neighborhood of each generic point of Z, so we can reduce immediately to the case that Z is irreducible, by restricting to the complement of all but one of its components. We may further restrict to any given irreducible component of X containing Z, and we may further replace X by X red. We have thus reduced to the situation that X is integral and Z is irreducible. In this case, Z must either be equal to X, or a Cartier divisor in X, so we may assume we are in the latter situation. If X is supported in the special fiber of f, we immediately conclude the desired statement from the classical principal ideal theorem. On the other hand, if X is not supported in the special fiber, it is necessarily dominant, and hence flat. If Z meets the generic fiber, we may apply the classical principal ideal theorem to the generic fiber to conclude the desired statement. If Z is contained in the special fiber, we conclude from Proposition 2.1 that it is in fact a component of the special fiber. It thus follows that Z has height 1 in X. We can also conclude the following corollary on the topology of morphisms of finite type, using an argument in the spirit of Katz Lemma 4.15 of [7]: Corollary 2.4. Let f : X S be a morphism of finite type, and suppose we have s, s S with s specializing to s. Given x a closed point of f 1 (s), suppose there exists x f 1 (s ) specializing to x. Then there exists a point x closed in f 1 (s ), with x specializing to x and x specializing to x. Proof. We may replace X by the closure of x, and then S by the closure of s, so we may assume X and S are integral, and s, s are the generic and closed points of S respectively. We claim it is enough to treat the case that S = Spec B, with
4 4 BRIAN OSSERMAN B a valuation ring. Indeed, let A be a valuation ring with a dominant morphism Spec A X mapping the closed point to x (Proposition of [3]). Then set B = A K(S); the inclusion B A is then a local homomorphism of valuation rings, and we have a commutative diagram Spec A Spec B X. Then set S = Spec B, X = X S Spec B. The maps from Spec A induce a map Spec A X which gives us a pair of points x, x X mapping to x, x in X, and with x specializing to x. We see moreover that x must be closed in the special fiber over S, since it maps to a closed point of f 1 (s). Thus, if we have the statement of the corollary over a valuation ring, we conclude that we have x closed in the generic fiber and with x specializing to x specializing to x. Let x be the image of x in X; we necessarily have that x specializes to x, which specializes to x. However, since there was no extension of residue fields at the generic point under the map Spec B S, we have that the generic fibers are isomorphic, so we conclude that x is closed in the generic fiber, giving the desired statement. We thus treat the case that S = Spec B is a valuation ring. We may further continue with the hypotheses that s, s are the generic and closed point of s, and X is integral. It then follows that X is flat over S. Moreover, because the morphism is of finite type, we may pass to Zariski open subsets of X and thus assume X = Spec A is also affine. The proof is by induction on the dimension of the generic fiber of X over S. If the dimension is 0, then x is already necessarily closed. Suppose now that the dimension of the generic fiber is d > 0, and we know the desired statement for fiber dimension d 1. By semicontinuity of fiber dimension, the fiber dimension at x is necessarily at least d, and in particular strictly positive. We may thus choose f A vanishing at x, but whose vanishing set D does not contain any component of the special fiber passing through x. D can have at most finitely many irreducible components which meet the generic fiber; we may thus replace X by a Zariski open subset and assume that there is no irreducible component of D which meets the generic fiber but does not contain x. By Proposition 2.1, we conclude that D must meet the generic fiber, so if we let Z be any irreducible component of D meeting the generic fiber, applying the induction hypothesis to Z we obtain a closed point x in the generic fiber of Z over S which specializes to x, giving us the desired statement. Remark 2.5. Corollary 2.4 is broadly useful in the context of tropical geometry. Indeed, in addition to its application to tropical intersection theory, it fixes a gap in the original proof of a foundational result of Speyer and Sturmfels, Theorem 2.1 of [13]; see also Payne [10] for an alternative argument. 3. Serre s theorem over nonnoetherian valuation rings We now use the principal ideal theorem over valuation rings of rank 1 to prove that schemes smooth over a valuation ring of rank 1 are intersectionregular, giving a partial generalization of Serre s theorem to the nonnoetherian case. As compared to Serre s theorem, our proof follows the much easier argument for varieties smooth over a field. S
5 DEFORMATIONS VIA DIMENSION THEORY 5 Theorem 3.1. Let S = Spec B, with B a valuation ring of rank 1. Then S is universally intersectionregular. Note that the rank condition is necessary not only in our argument, but for also for the validity of the theorem, as demonstrated by the following example. Example 3.2. Let B be a valuation ring of rank greater than 1, and b B an element generating an ideal of height greater than 1. Let A = B[x], and consider the ideals of A generated by x and by x b. These each have height 1, but the ideal (x, x b) = (x, b) has height strictly greater than 2. We will repeatedly use the following altitude formula of Nagata (Theorem 2 of [8]): Theorem 3.3 (Nagata). Let S = Spec A with A a valuation ring of finite rank, and let X be an irreducible scheme, with f : X S dominant and of finite type. Given x X with closure x, we have: codim X x + trdeg f(x) x = codim S f(x) + trdeg S X, and moreover, any maximal chain of irreducible closed subschemes containing x has length equal to codim X x. In particular, X is catenary. Proof. Since the statement is in terms of codimensions and transcendance degrees, it is clearly local, so we may assume X is affine. It is likewise topological, so we may assume X is reduced. The first statement in is then precisely what is proved by Nagata. The catenary assertion following by extending any two maximal chains between x x to maximal chains containing x. The main proposition necessary for the proof of Theorem 3.1 is the following. Proposition 3.4. Let S be the spectrum of a valuation ring of rank 1, and suppose we have an irreducible scheme X flat and of finite type over S, and Z 1 and Z 2 two irreducible closed subschemes of X. Then for every irreducible component Z of Z 1 S Z 2, and any irreducible components X of X S X, we have the inequality codim X Z codim X Z 1 + codim X Z 2. Proof. Since Z 1 red S Z 2 red is homeomorphic to Z 1 S Z 2 (Proposition of [2]), we may assume both Z 1 and Z 2 are reduced. Let Z 1, Z 2 and Z be the closures of the images in S of Z 1, Z 2 and Z respectively. Z is contained in, and hence still an irreducible component of, Z 1 Z Z Z 2 Z. Let Z i be irreducible components of Z i Z containing the closure of the image of Z, which is irreducible. Considering the fibers over the generic points of Z i and Z, and applying Corollary of [6], we have trdeg(z i/ Z) trdeg Z i / Z i for i = 1, 2. Next, we claim that we cannot have Z equal to the closed point of S unless at least one of Z 1, Z 2 is also equal to the closed point. Indeed, suppose that both Z 1 and Z 2 dominate S. Then they are both flat over S, and so too is Z 1 S Z 2, and it follows that Z must dominate S (Proposition of [5]). We thus have codim S Z codims Z1 + codim S Z2.
6 6 BRIAN OSSERMAN Finally, we have by Proposition (iii) of [5] that trdeg Z/ Z = trdeg Z 1/ Z + trdeg Z 2/ Z, and X S X is still flat over S and must thus have any irreducible component X flat over S, with trdeg X /S = 2 trdeg X/S, by Corollary of [5]. Thus, by Theorem 3.3 we conclude as desired. codim X Z = codim S Z + trdeg X S X/S trdeg Z/ Z = codim S Z + 2 trdeg X/S trdeg Z 1 / Z trdeg Z 2/ Z codim S Z1 + trdeg X/S trdeg Z 1/ Z + codim S Z2 + trdeg X/S trdeg Z 2/ Z = codim X Z 1 + codim X Z 2, In order to conclude Theorem 3.1, we make the following naive definition in general, without assuming that the principal ideal theorem holds: Definition 3.5. A locally closed subscheme Z X is a locally complete intersection subscheme if, for every point z Z, there is an affine neighborhood U of z in X in which Z is the vanishing set of ideal I, generated by c sections of O X (U), and every irreducible component of Z passing through z has codimension c in every irreducible component of X containing it. We then recall the following wellknown theorem on smooth morphisms: Theorem 3.6. Let f : X Y be an immersion, locally of finite presentation, of one smooth Sscheme into another. Then X is a local complete intersection subscheme of Y. In particular, if f : X S is smooth, then the diagonal : X X S X is a locally complete intersection subscheme. Proof. This is essentially the implication (a) implies (d) in Proposition 7 of 2.2 of [1]. We note that the assertion is local, so we may assume that f is in fact a closed immersion. If (at given points x and f(x)) we denote by r and n the relative dimensions of X and Y over S, then given loc. cit. it is enough to verify that the codimension of X inside Y is n r. Let Z be any irreducible component of X containing x, and Z an irreducible component of Y containing Z; we claim that the codimension of Z in Z is n r. Since X and Y are smooth, we have that Z and Z must dominate an irreducible component Z of S, and we can compute the codimension after passing to the generic fiber. But in the generic fiber, we are simply of finite type over a field, so we can naively compute the codimension as n r, as desired. For the second assertion, note that the diagonal is locally of finite presentation by Corollary of [4], so we can apply the first assertion. We may now easily prove that the spectrum of a valuation ring of rank 1 is universally intersectionregular. Proof of Theorem 3.1. Suppose X is smooth over S, and Z 1 and Z 2 are two irreducible closed subschemes of X. By Proposition 3.4, if X is the connected (hence
7 DEFORMATIONS VIA DIMENSION THEORY 7 irreducible, by smoothness) component of X S X containing the diagonal, we have that every irreducible component Z of Z 1 S Z 2 satisfies codim X Z codim X Z 1 + codim X Z 2. By Theorem 3.3, all schemes in question are catenary, so we can inductively apply Corollary 2.3 to see that codimension can only decrease when intersecting with any locally complete intersection subscheme. Since Z 1 Z 2 can be realized as Z 1 S Z 2, we conclude the desired statement from Theorem Deformations via dimension theory We conclude by arguing that if we have that S is universally intersectionregular, then we can deform via dimension theory as in Theorem 1.1. Although the argument is standard, it is typically made for varieties over a field, where concepts of dimension are far more robust, and it requires somewhat more care in this setting. Even in the Noetherian setting, dimensions can be badly behaved globally, so for instance in [9] we state our comparable results in terms of dimensions of local rings at closed points of fibers and their images. Here, we instead propose the following definition, which applies in principal even to settings where local rings are infinitedimensional. Definition 4.1. Let f : X S be a morphism of finite type, with S an irreducible scheme. We say that f has strong relative dimension at least ρ over S if the following conditions hold: (i) for every irreducible component Z of X, every component of every fiber of Z has dimension at least ρ; (ii) for every x X, every integral closed subscheme S S, and every irreducible component Z of f 1 (S ), if the dimension of f 1 (f(x)) at x is ρ + δ, then the codimension f(z ) in S is at most δ. Note that in the definition, we allow ρ to be negative, and can still draw conclusions in this situation. Proposition 4.2. Let S be universally intersectionregular, and Y smooth over S of relative dimension d. Suppose that f : X S is constructed by intersecting closed subschemes Z 1,..., Z m Y, and for each i = 1,..., m we have that every irreducible component of Z i has codimension less than or equal to d i in Y. Then X has strong relative dimension at least d m i=1 d i over S. Proof. By hypothesis, Y is intersectionregular, so we conclude by induction on m that every irreducible component Z of X has codimension at most m i=1 d i in Y. Now let S S be an irreducible closed subscheme; note that S necessarily has finite codimension c since we assume S to be catenary. Then because Y is smooth and catenary, any irreducible component of the preimage S of S in Y also has codimension c by Proposition of [5], so we conclude that an irreducible component Z of S X has codimension at most c + m i=1 d i. For any s S, if we choose S to be the closure of s, then every component of f 1 (s) Z has closure in Z equal to a component of S Z, so in order for the latter to have codimension less than or equal to c + m i=1 d i in Y, we see that the former must have codimension less than or equal to m i=1 d i in the fiber of Y over s, giving condition (i).
8 8 BRIAN OSSERMAN For condition (ii), if the dimension of f 1 (f(x)) at x is d m i=1 d i + δ, and η is the generic point of Z, the dimension of f 1 (f(η)) at η is less than or equal to d m i=1 d i + δ. It follows that the codimension of Z in the fiber of Y over f(η) is at least m i=1 d i δ. Let c be the codimension of f(z ) in S. Then the codimension in S of the fiber of Y over f(η) is also c as before, so we have that the codimension of Z in Y is at least c + c + m i=1 d i δ. We conclude that we have m m c + c + d i δ codim Y Z c + d i, so c δ, as desired. i=1 Proposition 4.3. Suppose f : X S has strong relative dimension at least ρ, and suppose we have x X such that the dimension of f 1 (f(x)) at x is equal to ρ. Then: (i) for all s S specializing to f(x), and for all irreducible components Z of X containing x, there is a point x of Z specializing to x with f(x ) = s. (ii) if x is closed in its fiber, x as above may be chosen to be closed in its fiber as well; (iii) if X is of finite presention over S, then f is open at x. Proof. Condition (i) is an immediate application of the definition of strong relative dimension, with δ = 0. We conclude (ii) from Corollary 2.4. Finally, we conclude (iii) from (i) by Chevalley s theorem (see Proposition of [2]). Putting the two propositions together, we immediately conclude: Corollary 4.4. Let S be universally intersectionregular, and Y smooth over S of relative dimension d. Suppose that X S is constructed by intersecting closed subschemes Z 1,..., Z m Y, and for each i = 1,..., m we have that every irreducible component of Z i has codimension less than or equal to d i in Y. Choose x X, and suppose that the dimension of f 1 (f(x)) at x is less than or equal to d m i=1 d i. Then for every irreducible component Z of X, and every point s S specializing to f(x), there is a point x in Z specializing to x with f(x ) = s. If x is closed in its fiber, x may be chosen to be closed in its fiber as well. We conclude Theorem 1.1 immediately from Corollary 4.4 and Theorem 3.1. Note however that we have in fact shown that the hypotheses of Corollary 4.4 are satisfied more generally: in particular, it follows from Theorem 3.1 that our base scheme S could be any irreducible scheme smooth over the spectrum of a valuation ring of rank 1. References 1. Siegfried Bosch, Werner Lutkebohmert, and Michel Raynaud, Neron models, SpringerVerlag, Alexander Grothendieck and Jean Dieudonné, Éléments de géométrie algébrique: I. Le langage des schémas, Publications mathématiques de l I.H.É.S., vol. 4, Institut des Hautes Études Scientifiques, , Éléments de géométrie algébrique: II. Étude globale élémentaire de quelques classes de morphismes, Publications mathématiques de l I.H.É.S., vol. 8, Institut des Hautes Études Scientifiques, i=1
9 DEFORMATIONS VIA DIMENSION THEORY 9 4., Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, premiére partie, Publications mathématiques de l I.H.É.S., vol. 20, Institut des Hautes Études Scientifiques, , Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, seconde partie, Publications mathématiques de l I.H.É.S., vol. 24, Institut des Hautes Études Scientifiques, , Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, troisième partie, Publications mathématiques de l I.H.É.S., vol. 28, Institut des Hautes Études Scientifiques, Eric Katz, A tropical toolkit, preprint, Masayoshi Nagata, Finitely generated rings over a valuation ring, Journal of Mathematics of Kyoto University 5 (1966), Brian Osserman, A limit linear series moduli scheme, Annales de l Institut Fourier 56 (2006), no. 4, Sam Payne, Fibers of tropicalization, Mathematische Zeitschrift 262 (2009), no. 2, Michel Raynaud and Laurent Gruson, Critères de platitude et de projectivité. techniques de platification d un module, Inventiones Mathematicae 13 (1971), no. 1, J. P. Serre, Algèbre locale. multiplicités, Lecture Notes in Mathematics, no. 11, Springer Verlag, David Speyer and Bernd Sturmfels, The tropical Grassmannian, Advances in Geometry 4 (2004), no. 3,
CHEAT 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 informationNOTES ON DIMENSION THEORY OF SCHEMES
NOTES ON DIMENSION THEORY OF SCHEMES BRIAN OSSERMAN In this expository note, we discuss various aspects of the theory of dimension of schemes, in particular focusing on which hypotheses are necessary in
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
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 informationLINKED HOM SPACES BRIAN OSSERMAN
LINKED HOM SPACES BRIAN OSSERMAN Abstract. In this note, we describe a theory of linked Hom spaces which complements that of linked Grassmannians. Given two chains of vector bundles linked by maps in both
More informationHYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasiprojective morphism over an affine base. We develop in this article a technique
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 informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
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 information(dim Z j dim Z j 1 ) 1 j i
Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated kalgebra. In class we have seen that the dimension theory of A is linked to the
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 informationLIFTING TROPICAL INTERSECTIONS
LIFTING TROPICAL INTERSECTIONS BRIAN OSSERMAN AND SAM PAYNE Abstract. We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with
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 informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationwhere Σ is a finite discrete Gal(K sep /K)set unramified along U and F s is a finite Gal(k(s) sep /k(s))subset
Classification of quasifinite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasifinite étale separated schemes X over a henselian local ring
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationNéron models of abelian varieties
Néron models of abelian varieties Matthieu Romagny Summer School on SGA3, September 3, 2011 Abstract : We present a survey of the construction of Néron models of abelian varieties, as an application of
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 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 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.
RIMS1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis
More informationTHE KEEL MORI THEOREM VIA STACKS
THE KEEL MORI THEOREM VIA STACKS BRIAN CONRAD 1. Introduction Let X be an Artin stack (always assumed to have quasicompact and separated diagonal over Spec Z; cf. [2, 1.3]). A coarse moduli space for
More informationAN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More information1. Valuative Criteria Specialization vs being closed
1. Valuative Criteria 1.1. Specialization vs being closed Proposition 1.1 (Specialization vs Closed). Let f : X Y be a quasicompact Smorphisms, and let Z X be closed nonempty. 1) For every z Z there
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Proper morphisms 1 2. Schemetheoretic closure, and schemetheoretic image 2 3. Rational maps 3 4. Examples of rational maps 5 Last day:
More information1 Existence of the Néron model
Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable Sscheme of finite type X with X K = A. The nicest possible model over S
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48 RAVI VAKIL CONTENTS 1. The local criterion for flatness 1 2. Basepointfree, ample, very ample 2 3. Every ample on a proper has a tensor power that
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 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 socalled cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationSCHEMES. David Harari. Tsinghua, FebruaryMarch 2005
SCHEMES David Harari Tsinghua, FebruaryMarch 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14 RAVI VAKIL Contents 1. Dimension 1 1.1. Last time 1 1.2. An algebraic definition of dimension. 3 1.3. Other facts that are not hard to prove 4 2. Nonsingularity:
More informationMATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1
MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show
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 informationLINKED ALTERNATING FORMS AND LINKED SYMPLECTIC GRASSMANNIANS
LINKED ALTERNATING FORMS AND LINKED SYMPLECTIC GRASSMANNIANS BRIAN OSSERMAN AND MONTSERRAT TEIXIDOR I BIGAS Abstract. Motivated by applications to higherrank BrillNoether theory and the BertramFeinbergMukai
More informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND pcurvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and pcurvature, in terms of maps of sheaves
More information15 Lecture 15: Points and lft maps
15 Lecture 15: Points and lft maps 15.1 A noetherian property Let A be an affinoid algebraic over a nonarchimedean field k and X = Spa(A, A 0 ). For any x X, the stalk O X,x is the limit of the directed
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 information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationNéron Models of Elliptic Curves.
Néron Models of Elliptic Curves. Marco Streng 5th April 2007 These notes are meant as an introduction and a collection of references to Néron models of elliptic curves. We use Liu [Liu02] and Silverman
More informationGENERATING NONNOETHERIAN MODULES CONSTRUCTIVELY
GENERATING NONNOETHERIAN MODULES CONSTRUCTIVELY THIERRY COQUAND, HENRI LOMBARDI, CLAUDE QUITTÉ Abstract. In [6], Heitmann gives a proof of a Basic Element Theorem, which has as corollaries some versions
More informationTwo Denegeration Techniques for Maps of Curves
Contemporary Mathematics Two Denegeration Techniques for Maps of Curves Brian Osserman Abstract. In this paper, we discuss the theories of admissible covers (Harris Mumford) and limit linear series (EisenbudHarris),
More informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasiaffine, quasiprojective, proper and projective morphisms 5.1. Quasiaffine morphisms. Definition (5.1.1). A scheme is quasiaffine if it is isomorphic
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 information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfhsheaves. 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 informationPreliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
More informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an Amodule. In class we defined the Iadic completion of M to be M = lim M/I n M. We will soon show
More informationarxiv:math/ v1 [math.ac] 15 Sep 2002
arxiv:math/0209186v1 [math.ac] 15 Sep 2002 A SIMPLE PROOF OF SOME GENERALIZED PRINCIPAL IDEAL THEOREMS DAVID EISENBUD, CRAIG HUNEKE, AND BERND ULRICH Abstract. Using symmetric algebras we simplify (and
More informationOPENNESS OF FIDLOCI
OPENNESS OF FIDLOCI YO TAKAHASHI Abstract. Let be a commutative Noetherian ring and M a finite module. In this paper, we consider Zariskiopenness of the FIDlocus of M, namely, the subset of Spec consisting
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759P.792 Issue Date 20042 Text Version publisher URL https://doi.org/0.890/838
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationQuasicompactness of Néron models, and an application to torsion points
Quasicompactness of Néron models, and an application to torsion points David Holmes arxiv:1604.01155v2 [math.ag] 7 Apr 2016 April 8, 2016 Abstract We prove that Néron models of jacobians of genericallysmooth
More informationEXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES
EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES DUSTIN CARTWRIGHT Abstract. We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface.
More informationNAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES. To the memory of Masayoshi Nagata
NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES BRIAN CONRAD, MAX LIEBLICH, AND MARTIN OLSSON Abstract. We prove the Nagata compactification theorem for any separated map of finite type between quasicompact
More informationLEVINE S CHOW S MOVING LEMMA
LEVINE S CHOW S MOVING LEMMA DENIS NARDIN The main result of this note is proven in [4], using results from [2]. What is here is essentially a simplified version of the proof (at the expense of some generality).
More informationINTERSECTION THEORY CLASS 7
INTERSECTION THEORY CLASS 7 RAVI VAKIL CONTENTS 1. Intersecting with a pseudodivisor 1 2. The first Chern class of a line bundle 3 3. Gysin pullback 4 4. Towards the proof of the big theorem 4 4.1. Crash
More informationMOISHEZON SPACES IN RIGID GEOMETRY
MOISHEZON SPACES IN RIGID GEOMETRY BRIAN CONRAD Abstract. We prove that all proper rigidanalytic spaces with enough algebraically independent meromorphic functions are algebraic (in the sense of proper
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 informationThe Grothendieck Ring of Varieties
The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationarxiv: v2 [math.ac] 7 May 2018
INFINITE DIMENSIONAL EXCELLENT RINGS arxiv:1706.02491v2 [math.ac] 7 May 2018 HIROMU TANAKA Abstract. In this note, we prove that there exist infinite dimensional excellent rings. Contents 1. Introduction
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
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 nspace the collection A n k of points P = a 1, a,..., a
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 information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism 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 Amorphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationOn MordellLang in Algebraic Groups of Unipotent Rank 1
On MordellLang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question
More informationarxiv:math/ v1 [math.ac] 4 Oct 2002
manuscripta mathematica manuscript No. (will be inserted by the editor) Alberto Corso Claudia Polini Bernd Ulrich Core of projective dimension one modules arxiv:math/0210072v1 [math.ac] 4 Oct 2002 Received:
More informationREFINED ALTERATIONS BHARGAV BHATT AND ANDREW SNOWDEN
REFINED ALTERATIONS BHARGAV BHATT AND ANDREW SNOWDEN 1. INTRODUCTION Fix an algebraic variety X over a field. Hironaa showed [Hir64] that if has characteristic 0, then one can find a proper birational
More informationRemarks on the existence of Cartier divisors
arxiv:math/0001104v1 [math.ag] 19 Jan 2000 Remarks on the existence of Cartier divisors Stefan Schröer October 22, 2018 Abstract We characterize those invertible sheaves on a noetherian scheme which are
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 informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationA Purity Theorem for Torsors
A Purity Theorem for Torsors Andrea Marrama Advised by: Dr. Gabriel Zalamansky Universiteit Leiden Universität DuisburgEssen ALGANT Master Thesis  July 3, 2016 Contents Introduction V 1 Purity for finite
More informationTHE SMOOTH BASE CHANGE THEOREM
THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change
More information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
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 informationMINIMAL MODELS FOR ELLIPTIC CURVES
MINIMAL MODELS FOR ELLIPTIC CURVES BRIAN CONRAD 1. Introduction In the 1960 s, the efforts of many mathematicians (Kodaira, Néron, Raynaud, Tate, Lichtenbaum, Shafarevich, Lipman, and DeligneMumford)
More information3 Lecture 3: Spectral spaces and constructible sets
3 Lecture 3: Spectral spaces and constructible sets 3.1 Introduction We want to analyze quasicompactness properties of the valuation spectrum of a commutative ring, and to do so a digression on constructible
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETR CLASS 24 RAVI VAKIL CONTENTS 1. Normalization, continued 1 2. Sheaf Spec 3 3. Sheaf Proj 4 Last day: Fibers of morphisms. Properties preserved by base change: open immersions,
More informationARITHMETICALLY COHENMACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHENMACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen Macaulay vector bundle on a general hypersurface
More informationAN ALTERNATIVE APPROACH TO SERRE DUALITY FOR PROJECTIVE VARIETIES
AN ALTERNATIVE APPROACH TO SERRE DUALITY FOR PROJECTIVE VARIETIES MATTHEW H. BAKER AND JÁNOS A. CSIRIK This paper was written in conjunction with R. Hartshorne s Spring 1996 Algebraic Geometry course at
More informationTopology of Nonarchimedean Analytic Spaces
Topology of Nonarchimedean Analytic Spaces AMS Current Events Bulletin Sam Payne January 11, 2013 Complex algebraic geometry Let X C n be an algebraic set, the common solutions of a system of polynomial
More informationFIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES
FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES JORDAN RIZOV Abstract. Let X be a scheme over a field K and let M X be the intersection of all subfields L of K such that X has a Lvalued point. In
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More informationNOTES ON FIBER DIMENSION
NOTES ON FIBER DIMENSION SAM EVENS Let φ : X Y be a morphism of affine algebraic sets, defined over an algebraically closed field k. For y Y, the set φ 1 (y) is called the fiber over y. In these notes,
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective Amodule such that the rank function Spec A N is constant with value 1.
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 informationarxiv:alggeom/ v1 21 Mar 1996
AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alggeom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically
More informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 15]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 51 AND 52
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 51 AND 52 RAVI VAKIL CONTENTS 1. Smooth, étale, unramified 1 2. Harder facts 5 3. Generic smoothness in characteristic 0 7 4. Formal interpretations 11 1. SMOOTH,
More informationOn log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji
On log flat descent Luc Illusie, Chikara Nakayama, and Takeshi Tsuji Abstract We prove the log flat descent of log étaleness, log smoothness, and log flatness for log schemes. Contents 1. Review of log
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