DOCSLIB.ORG

(A) Base Change. Let S Be a Scheme, X Be an Ss

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
(A) Base Change. Let S Be a Scheme, X Be an Ss 4. SEPARATED AND PROPER MORPHISMS 31 (Week 9, two classes, next week is spring break.) (13) Example of fiber product: (a) Base change. 0 0 Let S be a scheme, X be an S-scheme and S an S-scheme. Then XS0 := X ×S S is a S0-scheme, this process is called base change by S0 → S. n n Let S be a scheme. Define := ×Spec S. PS PZ Z (b) Fiber over a point. Let f : X → Y be a morphism of schemes, y ∈ Y be a point with residue field k(y). Let Spec k(y) → Y be the natural morphism. Then we define the fiber of f over the point y to be the scheme Xy := X ×Y Spec k(y) Example: Consider Spec k[x, y, t]/(ty − x2). Explain the reduced structure at t = 0. 4. Separated and proper morphisms I will focus on applications instead, and will be rather sketchy on the proof. First we define separated morphism. Definition 4.1. Let f : X → Y be a morphism of schemes. (1) The diagonal morphism is the unique morphism ∆ : X → X ×Y X such p1 ◦ ∆ = p2 ◦ ∆ = idX . (2) f is separated if ∆ is a closed immersion. Example: The line over k with double origins is not separated over k. Since the diagonal is not closed: any function vanish on the diagonal must vanish on 4 origins. Glue two varieties along open subsets is not separated in general. (explain the geometry of valuative criterion). Example: A morphism of affine schemes is separated. Let X = Spec A and Y = Spec B, then X → X ×Y X corresponds to the ring morphism B ×A B → A, which is surjective, so X → X ×Y X is a closed immersion. Remark: Surjection of rings ⇒ Closed immersion of affine schemes. But injection of rings ; surjection of schemes. For example Z → Q. Proposition 4.2. A morphism f : X → Y is separated iff the set-theoretic image of the diagonal morphism ∆ is a closed subset of X × X. Proof. Obviously separatedness implies the ∆(X) is closed. So we need to prove that if ∆(X) is closed then (1) X → ∆(X) is a homeomorphism, (2) the induced morphism OX×Y X → ∆∗OX is surjective. For (1), notice that the composition X → ∆(X) → X is identity. 32 2. SCHEMES For (2), it is local in X ×Y X. So we can restrict to an open affine subset U = Spec A of X, with its image f(U) in an open affine subset V = Spec B. Then it boils down to the affine case which we have proved. Before we give the valuative criterion for separatedness and properness, let us review basic facts on valuation ring: Definition 4.3. Let K be a field and G a totally ordered abelian group. A valuation of K with values in G is a map v : K \{0} → G s.t. (1) v(xy) = v(x) + v(y), ∀x, y ∈ K, x, y 6= 0; (2) v(x + y) ≥ min(v(x), v(y)), ∀x, y ∈ K, x, y, x + y 6= 0. If v is a valuation ring, R = {x ∈ K|v(x) ≥ 0} ∪ {0} is called the valuation ring of v. If R is a valuation ring with values in Z, then R is called a discrete valuation ring. We need the following Fact: Theorem 4.4. [Atiyah,Macdonald, Thm 5.21, ex 27] A local ring R in a field K is a valuation ring if it is maximal of the set of local rings contained in K w.r.t. the domination relation, i.e. we say B dominates A if A ⊆ B and mB ∩ A = mA. Theorem 4.5 (Valuative criterion of separatedness, EGA II, 7.2.3). Let Y be a scheme (resp. locally noetherian scheme), f : X → Y be a morphism (resp. a morphism which is locally of finite type). Then f is separated iff the following holds: X → X ×Y X is quasi-compact, and for any valuation ring R (resp. discrete valuation ring R) with quotient field K, in the following commute diagram Spec K / X Spec R / Y there is at most one lifting Spec R → X making the whole diagram commute. Proof. One direction: suppose f is separated, i.e. ∆ : X → X ×Y X is a closed immersion. Let h1, h2 : Spec R → X be two lifts making the whole diagram commute. By definition of fiber product we have h = (h1, h2) : Spec R → X ×Y X. The restriction of h to Spec K is in the diagonal, hence the image of h(Spec R) is in the diagonal set-theoretically. But Spec R is reduced (reduced structure is minimal), so h factors through the diagonal X: Spec R → X → X ×Y X, which means that h1 = h2. The other direction: suppose the lifting condition is satisfied, it suffices to show that ∆(X) is a closed subset in X ×Y X.(note here that we don’t need to prove it is a subscheme, which save us lots of strength). For this, we use the following fact: ∆(X) is a closed subset in X ×Y X if it is stable under specialization, i.e. let z1 be a point in ∆(X), z0 be a point in z1, then z0 should be in ∆(X). The idea is to construct a valuation ring R and f : Spec R → X ×Y X s.t. the generic point sends to z1 and the closed point sends to z0. Then p1 ◦ f, p2 ◦ f : Spec R → X give two lifting, and 4. SEPARATED AND PROPER MORPHISMS 33 by the lifting condition we have p1 = p2. Hence f factors through ∆ as ∆ f : Spec R → X → X ×Y X then z0 is in the diagonal ∆(X). So to finish the proof, we need to find a valuation ring that works. Let K = k(z1) the residue field of z1. Let O be the local ring of z0 on z1 and let R be a valuation ring of K dominating O. The existence of such an R is guaranteed by Theorem 4.4. Proposition 4.6. Assuming all schemes below are noetherian. (1) Open and closed immersions are separated. (2) A composition of two separated morphism is separated. (3) Separatedness is stable under base change. (4) If f : X → Y , g : X0 → Y 0 are separated morphisms over a base scheme S, then f × f 0 : 0 0 X ×S X → Y ×S Y are separated. (5) If f : X → Y and g : Y → Z are morphisms, if g ◦ f is separated then f is separated. −1 (6) f : X → Y is separated iff Y has a covering {Vi} such that f (Vi) → Vi are separated. Proof. Show (5) in class using valuative criterion. Similar to the separatedness, the properness for a morphism of schemes cannot be defined by requiring the inverse image of a quasi-compact set is quasi-compact, since there are too many quasi-compact sets. (recall that all affine schemes are quasi-compact). Amazingly, we can use closed morphism to define proper morphism. Definition 4.7. (1) A morphism is closed if the image of any closed subset is closed. A morphism is universally closed if the morphism is closed for every base change. (2) A morphism is proper if it is separated, or finite type, and universally closed. 1 Example: A → pt. Although it is closed since a point is a closed subset of itself, but it is not ’closed in heart’. And the way to find it out is by base-change. Theorem 4.8 (valuative criterion for properness, EGA II, 7.3.8). Let Y be a scheme (resp. locally noetherian scheme), f : X → Y be quasi-compact separate (resp. of finite type). Then f is universally closed (resp. proper) iff for any valuation ring R (resp. discrete valuation ring R) with quotient field K, in the following commute diagram Spec K / X Spec R / Y there is at least (resp. exactly) one lifting Spec R → X making the whole diagram commute. The proof is skipped. Again, we have the following properties: 34 2. SCHEMES Corollary 4.9. Assuming all schemes below are noetherian. (1) A closed immersion is proper. (2) Composition of proper morphisms is proper. (3) Proper morphisms are stable under base change. (4) Products of proper morphisms is proper. (5) Given f : X → Y , g : Y → Z, if g ◦ f is proper and g is separated, then f is proper. (6) Properness is local on the base. Why do we care about properness? Here are some good properties. (a) We use it to define a complete k-variety if it is proper over k. q (b) For a proper f : X → Y and a coherent sheaf F on X, R f∗(F )) is also coherent. In particular, if X is a complete variety over k, then Hq(X, F ) is finite dimensional. Very often, we require a morphism f : X → S to be proper and flat to form a good family. So, what are the examples of proper morphisms? We will give a large class of proper morphisms: projective morphisms. You may think of them as families of projective schemes. Here is the n n definition. Recall that the projective space is defined by ×Spec Y . PY PZ Z Definition 4.10. (1) A morphism f : X → Y is projective if it factors into a closed immersion n n i : X → PY for some n, followed by the projection PY → Y . (2) A morphism is quasi-projective if it is a composition of an open immersion followed by a projective morphism.
Load more

Recommended publications
  • Arxiv:1108.5351V3 [Math.AG] 26 Oct 2012 ..Rslso D-Mod( on Results Introduction the to 0.2
    ON SOME FINITENESS QUESTIONS FOR ALGEBRAIC STACKS VLADIMIR DRINFELD AND DENNIS GAITSGORY Abstract. We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of quasi-coherent sheaves is continuous. Contents Introduction 3 0.1. Introduction to the introduction 3 0.2. Results on D-mod(Y) 4 0.3. Results on QCoh(Y) 4 0.4. Ind-coherent sheaves 5 0.5. Contents of the paper 7 0.6. Conventions, notation and terminology 10 0.7. Acknowledgments 14 1. Results on QCoh(Y) 14 1.1. Assumptions on stacks 14 1.2. Quasi-coherent sheaves 15 1.3. Direct images for quasi-coherent sheaves 18 1.4. Statements of the results on QCoh(Y) 21 2. Proof of Theorems 1.4.2 and 1.4.10 23 2.1. Reducing the statement to a key lemma 23 2.2. Easy reduction steps 24 2.3. Devissage 24 2.4. Quotients of schemes by algebraic groups 26 2.5. Proof of Proposition 2.3.4 26 2.6. Proof of Theorem 1.4.10 29 arXiv:1108.5351v3 [math.AG] 26 Oct 2012 3. Implications for ind-coherent sheaves 30 3.1. The “locally almost of finite type” condition 30 3.2. The category IndCoh 32 3.3. The coherent subcategory 39 3.4. Description of compact objects of IndCoh(Y) 39 3.5. The category Coh(Y) generates IndCoh(Y) 42 3.6.
    [Show full text]
  • EXERCISES on LIMITS & COLIMITS Exercise 1. Prove That Pullbacks Of
    EXERCISES ON LIMITS & COLIMITS PETER J. HAINE Exercise 1. Prove that pullbacks of epimorphisms in Set are epimorphisms and pushouts of monomorphisms in Set are monomorphisms. Note that these statements cannot be deduced from each other using duality. Now conclude that the same statements hold in Top. Exercise 2. Let 푋 be a set and 퐴, 퐵 ⊂ 푋. Prove that the square 퐴 ∩ 퐵 퐴 퐵 퐴 ∪ 퐵 is both a pullback and pushout in Set. Exercise 3. Let 푅 be a commutative ring. Prove that every 푅-module can be written as a filtered colimit of its finitely generated submodules. Exercise 4. Let 푋 be a set. Give a categorical definition of a topology on 푋 as a subposet of the power set of 푋 (regarded as a poset under inclusion) that is stable under certain categorical constructions. Exercise 5. Let 푋 be a space. Give a categorical description of what it means for a set of open subsets of 푋 to form a basis for the topology on 푋. Exercise 6. Let 퐶 be a category. Prove that if the identity functor id퐶 ∶ 퐶 → 퐶 has a limit, then lim퐶 id퐶 is an initial object of 퐶. Definition. Let 퐶 be a category and 푋 ∈ 퐶. If the coproduct 푋 ⊔ 푋 exists, the codiagonal or fold morphism is the morphism 훻푋 ∶ 푋 ⊔ 푋 → 푋 induced by the identities on 푋 via the universal property of the coproduct. If the product 푋 × 푋 exists, the diagonal morphism 훥푋 ∶ 푋 → 푋 × 푋 is defined dually. Exercise 7. In Set, show that the diagonal 훥푋 ∶ 푋 → 푋 × 푋 is given by 훥푋(푥) = (푥, 푥) for all 푥 ∈ 푋, so 훥푋 embeds 푋 as the diagonal in 푋 × 푋, hence the name.
    [Show full text]
  • Arxiv:2008.00486V2 [Math.CT] 1 Nov 2020
    Anticommutativity and the triangular lemma. Michael Hoefnagel Abstract For a variety V, it has been recently shown that binary products com- mute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points π : Pt(C) → C, if and only if Gumm’s shifting lemma holds on pullbacks in V. In this paper, we establish a similar result connecting the so-called triangular lemma in universal algebra with a certain cat- egorical anticommutativity condition. In particular, we show that this anticommutativity and its local version are Mal’tsev conditions, the local version being equivalent to the triangular lemma on pullbacks. As a corol- lary, every locally anticommutative variety V has directly decomposable congruence classes in the sense of Duda, and the converse holds if V is idempotent. 1 Introduction Recall that a category is said to be pointed if it admits a zero object 0, i.e., an object which is both initial and terminal. For a variety V, being pointed is equivalent to the requirement that the theory of V admit a unique constant. Between any two objects X and Y in a pointed category, there exists a unique morphism 0X,Y from X to Y which factors through the zero object. The pres- ence of these zero morphisms allows for a natural notion of kernel or cokernel of a morphism f : X → Y , namely, as an equalizer or coequalizer of f and 0X,Y , respectively. Every kernel/cokernel is a monomorphism/epimorphism, and a monomorphism/epimorphism is called normal if it is a kernel/cokernel of some morphism.
    [Show full text]
  • Fundamental Groups of Schemes
    Fundamental Groups of Schemes Master thesis under the supervision of Jilong Tong Lei Yang Universite Bordeaux 1 E-mail address: [email protected] Chapter 1. Introduction 3 Chapter 2. Galois categories 5 1. Galois categories 5 §1. Definition and elementary properties. 5 §2. Examples and the main theorem 7 §2.1. The topological covers 7 §2.2. The category C(Π) and the main theorem 7 2. Galois objects. 8 3. Proof of the main theorem 12 4. Functoriality of Galois categories 15 Chapter 3. Etale covers 19 1. Some results in scheme theory. 19 2. The category of étale covers of a connected scheme 20 3. Reformulation of functoriality 22 Chapter 4. Properties and examples of the étale fundamental group 25 1. Spectrum of a field 25 2. The first homotopy sequence. 25 3. More examples 30 §1. Normal base scheme 30 §2. Abelian varieties 33 §2.1. Group schemes 33 §2.2. Abelian Varieties 35 §3. Geometrically connected schemes of finite type 39 4. G.A.G.A. theorems 39 Chapter 5. Structure of geometric fundamental groups of smooth curves 41 1. Introduction 41 2. Case of characteristic zero 42 §1. The case k = C 43 §2. General case 43 3. Case of positive characteristic 44 (p0) §1. π1(X) 44 §1.1. Lifting of curves to characteristic 0 44 §1.2. the specialization theory of Grothendieck 45 §1.3. Conclusion 45 ab §2. π1 46 §3. Some words about open curves. 47 Bibliography 49 Contents CHAPTER 1 Introduction The topological fundamental group can be studied using the theory of covering spaces, since a fundamental group coincides with the group of deck transformations of the asso- ciated universal covering space.
    [Show full text]
  • MAPPING STACKS and CATEGORICAL NOTIONS of PROPERNESS Contents 1. Introduction 2 1.1. Introduction to the Introduction 2 1.2
    MAPPING STACKS AND CATEGORICAL NOTIONS OF PROPERNESS DANIEL HALPERN-LEISTNER AND ANATOLY PREYGEL Abstract. One fundamental consequence of a scheme being proper is that there is an algebraic space classifying maps from it to any other finite type scheme, and this result has been extended to proper stacks. We observe, however, that it also holds for many examples where the source is a geometric stack, such as a global quotient. In our investigation, we are lead naturally to certain properties of the derived category of a stack which guarantee that the mapping stack from it to any geometric finite type stack is algebraic. We develop methods for establishing these properties in a large class of examples. Along the way, we introduce a notion of projective morphism of algebraic stacks, and prove strong h-descent results which hold in the setting of derived algebraic geometry but not in classical algebraic geometry. Contents 1. Introduction 2 1.1. Introduction to the introduction2 1.2. Mapping out of stacks which are \proper enough"3 1.3. Techniques for establishing (GE) and (L)5 1.4. A long list of examples6 1.5. Comparison with previous results7 1.6. Notation and conventions8 1.7. Author's note 9 2. Artin's criteria for mapping stacks 10 2.1. Weil restriction of affine stacks 11 2.2. Deformation theory of the mapping stack 12 2.3. Integrability via the Tannakian formalism 16 2.4. Derived representability from classical representability 19 2.5. Application: (pGE) and the moduli of perfect complexes 21 3. Perfect Grothendieck existence 23 3.1.
    [Show full text]
  • 4. Coherent Sheaves Definition 4.1. If (X,O X) Is a Locally Ringed Space
    4. Coherent Sheaves Definition 4.1. If (X; OX ) is a locally ringed space, then we say that an OX -module F is locally free if there is an open affine cover fUig of X such that FjUi is isomorphic to a direct sum of copies of OUi . If the number of copies r is finite and constant, then F is called locally free of rank r (aka a vector bundle). If F is locally free of rank one then we way say that F is invertible (aka a line bundle). The group of all invertible sheaves under tensor product, denoted Pic(X), is called the Picard group of X. A sheaf of ideals I is any OX -submodule of OX . Definition 4.2. Let X = Spec A be an affine scheme and let M be an A-module. M~ is the sheaf which assigns to every open subset U ⊂ X, the set of functions a s: U −! Mp; p2U which can be locally represented at p as a=g, a 2 M, g 2 R, p 2= Ug ⊂ U. Lemma 4.3. Let A be a ring and let M be an A-module. Let X = Spec A. ~ (1) M is a OX -module. ~ (2) If p 2 X then Mp is isomorphic to Mp. ~ (3) If f 2 A then M(Uf ) is isomorphic to Mf . Proof. (1) is clear and the rest is proved mutatis mutandis as for the structure sheaf. Definition 4.4. An OX -module F on a scheme X is called quasi- coherent if there is an open cover fUi = Spec Aig by affines and ~ isomorphisms FjUi ' Mi, where Mi is an Ai-module.
    [Show full text]
  • Nakai–Moishezon Ampleness Criterion for Real Line Bundles
    NAKAI{MOISHEZON AMPLENESS CRITERION FOR REAL LINE BUNDLES OSAMU FUJINO AND KEISUKE MIYAMOTO Abstract. We show that the Nakai{Moishezon ampleness criterion holds for real line bundles on complete schemes. As applications, we treat the relative Nakai{Moishezon ampleness criterion for real line bundles and the Nakai{Moishezon ampleness criterion for real line bundles on complete algebraic spaces. The main ingredient of this paper is Birkar's characterization of augmented base loci of real divisors on projective schemes. Contents 1. Introduction 1 2. Preliminaries 2 3. Augmented base loci of R-divisors 3 4. Proof of Theorem 1.4 4 5. Proof of Theorem 1.3 5 6. Proof of Theorem 1.5 7 7. Proof of Theorem 1.6 8 References 9 1. Introduction Throughout this paper, a scheme means a separated scheme of finite type over an alge- braically closed field k of any characteristic. We call such a scheme a variety if it is reduced and irreducible. Let us start with the definition of R-line bundles. Definition 1.1 (R-line bundles). Let X be a scheme (or an algebraic space). An R-line bundle (resp. a Q-line bundle) is an element of Pic(X) ⊗Z R (resp. Pic(X) ⊗Z Q) where Pic(X) is the Picard group of X. Similarly, we can define R-Cartier divisors. Definition 1.2 (R-Cartier divisors). Let X be a scheme. An R-Cartier divisor (resp. a Q-Cartier divisor) is an element of Div(X)⊗Z R (resp. Div(X)⊗Z Q) where Div(X) denotes the group of Cartier divisors on X.
    [Show full text]
  • D-Modules on Infinite Dimensional Varieties
    D-MODULES ON INFINITE DIMENSIONAL VARIETIES SAM RASKIN Contents 1. Introduction 1 2. D-modules on prestacks 4 3. D-modules on schemes 7 4. Placidity 19 5. Holonomic D-modules 30 6. D-modules on indschemes 33 References 44 1. Introduction 1.1. The goal of this foundational note is to develop the D-module formalism on indschemes of ind-infinite type. 1.2. The basic feature that we struggle against is that there are two types of infinite dimensionality at play: pro-infinite dimensionality and ind-infinite dimensionality. That is, we could have an infinite dimensional variety S that is the union S “YiSi “ colimiSi of finite dimensional varieties, or T that is the projective limit T “ limj Tj of finite dimensional varieties, e.g., a scheme of infinite type. Any reasonable theory of D-modules will produce produce some kinds of de Rham homology and cohomology groups. We postulate as a basic principle that these groups should take values in discrete vector spaces, that is, we wish to avoid projective limits. Then, in the ind-infinite dimensional case, the natural theory is the homology of S: H˚pSq :“ colim H˚pSiq i while in the pro-infinite dimensional case, the natural theory is the cohomology of T : ˚ ˚ H pT q :“ colim H pTjq: j For indschemes that are infinite dimensional in both the ind and the pro directions, one requires a semi-infinite homology theory that is homology in the ind direction and cohomology in the pro direction. Remark 1.2.1. Of course, such a theory requires some extra choices, as is immediately seen by considering the finite dimensional case.
    [Show full text]
  • Relative Affine Schemes
    Relative Affine Schemes Daniel Murfet October 5, 2006 The fundamental Spec(−) construction associates an affine scheme to any ring. In this note we study the relative version of this construction, which associates a scheme to any sheaf of algebras. The contents of this note are roughly EGA II §1.2, §1.3. Contents 1 Affine Morphisms 1 2 The Spec Construction 4 3 The Sheaf Associated to a Module 8 1 Affine Morphisms Definition 1. Let f : X −→ Y be a morphism of schemes. Then we say f is an affine morphism or that X is affine over Y , if there is a nonempty open cover {Vα}α∈Λ of Y by open affine subsets −1 Vα such that for every α, f Vα is also affine. If X is empty (in particular if Y is empty) then f is affine. Any morphism of affine schemes is affine. Any isomorphism is affine, and the affine property is stable under composition with isomorphisms on either end. Example 1. Any closed immersion X −→ Y is an affine morphism by our solution to (Ex 4.3). Remark 1. A scheme X affine over S is not necessarily affine (for example X = S) and if an affine scheme X is an S-scheme, it is not necessarily affine over S. However, if S is separated then an S-scheme X which is affine is affine over S. Lemma 1. An affine morphism is quasi-compact and separated. Any finite morphism is affine. Proof. Let f : X −→ Y be affine. Then f is separated since any morphism of affine schemes is separated, and the separatedness condition is local.
    [Show full text]
  • Foundations of Algebraic Geometry Problem Set 11
    FOUNDATIONS OF ALGEBRAIC GEOMETRY PROBLEM SET 11 RAVI VAKIL This set is due Thursday, February 9, in Jarod Alper’s mailbox. It covers (roughly) classes 25 and 26. Please read all of the problems, and ask me about any statements that you are unsure of, even of the many problems you won’t try. Hand in six solutions. If you are ambitious (and have the time), go for more. Problems marked with “-” count for half a solution. Problems marked with “+” may be harder or more fundamental, but still count for one solution. Try to solve problems on a range of topics. You are encouraged to talk to each other, and to me, about the problems. I’m happy to give hints, and some of these problems require hints! Class 25: 1. Verify that the following definition of “induced reduced subscheme structure” is well- defined. Suppose X is a scheme, and S is a closed subset of X. Then there is a unique reduced closed subscheme Z of X “supported on S”. More precisely, it can be defined by the following universal property: for any morphism from a reduced scheme Y to X, whose image lies in S (as a set), this morphism factors through Z uniquely. Over an affine X = Spec R, we get Spec R/I(S). (For example, if S is the entire underlying set of X, we get Xred.) 2+. Show that open immersions and closed immersions are separated. (Answer: Show that monomorphisms are separated. Open and closed immersions are monomorphisms, by earlier exercises. Alternatively, show this by hand.) 3+.
    [Show full text]
  • Chapter V. Fano Varieties
    Chapter V. Fano Varieties A variety X is called Fano if the anticanonical bundle of X is ample. Thus Fano surfaces are the same as Del pezzo surfaces. The importance of Fano varieties in the theory of higher dimensional varieties is similar to the sig­ nificance of Del Pezzo surfaces in the two dimensional theory. The interest in Fano varieties increased recently since Mori's program predicts that every uniruled variety is birational to a fiberspace whose general fiber is a Fano variety (with terminal singularities). From this point of view it is more important to study the general prop­ erties of Fano varieties with terminal singularities than to understand the properties of smooth Fano varieties. At the moment, however, we know much more about smooth Fano varieties, and their theory should serve as a guide to the more subtle questions of singular Fano varieties. Fano varieties also appear naturally as important examples of varieties. In characteristic zero every projective variety which is homogeneous under a linear algebraic group is Fano (1.4), and their study is indispensable for the theory of algebraic groups. Also, Fano varieties have a very rich internal geometry, which makes their study very rewarding. This is one of the reasons for the success of the theory of Fano threefolds. This is a beautiful subject, about which I say essentially nothing. Section 1 is devoted to presenting the basic examples of Fano varieties and to the study of low degree rational curves on them. The largest class of examples are weighted complete intersections (1.2-3); these are probably the most accessible by elementary methods.
    [Show full text]
  • Notes on Automorphism Groups of Projective Varieties
    NOTES ON AUTOMORPHISM GROUPS OF PROJECTIVE VARIETIES MICHEL BRION Abstract. These are extended and slightly updated notes for my lectures at the School and Workshop on Varieties and Group Actions (Warsaw, September 23{29, 2018). They present old and new results on automorphism groups of normal projective varieties over an algebraically closed field. Contents 1. Introduction 1 2. Some basic constructions and results 4 2.1. The automorphism group 4 2.2. The Picard variety 7 2.3. The lifting group 10 2.4. Automorphisms of fibrations 14 2.5. Big line bundles 16 3. Proof of Theorem 1 18 4. Proof of Theorem 2 20 5. Proof of Theorem 3 23 References 28 1. Introduction Let X be a projective variety over an algebraically closed field k. It is known that the automorphism group, Aut(X), has a natural structure of smooth k-group scheme, locally of finite type (see [Gro61, Ram64, MO67]). This yields an exact sequence 0 (1.0.1) 1 −! Aut (X) −! Aut(X) −! π0 Aut(X) −! 1; where Aut0(X) is (the group of k-rational points of) a smooth connected algebraic group, and π0 Aut(X) is a discrete group. To analyze the structure of Aut(X), one may start by considering the connected automorphism 0 group Aut (X) and the group of components π0 Aut(X) separately. It turns out that there is no restriction on the former: every smooth connected algebraic group is the connected automorphism group of some normal projective variety X (see [Bri14, Thm. 1]). In characteristic 0, we may further take X to be smooth by using equivariant resolution of singularities (see e.g.
    [Show full text]