Hilbert-Kunz Functions of Surface Rings of Type ADE Arxiv:1604.08435V1
Total Page：16
File Type：pdf, Size：1020Kb
Dissertation zur Erlangung des Doktorgrades (Dr. rer. nat.) des Fachbereichs Mathematik/Informatik der Universität Osnabrück Hilbert-Kunz functions of surface rings of type ADE vorgelegt von Daniel Brinkmann Osnabrück eingereicht: Mai 2013 arXiv:1604.08435v1 [math.AC] 28 Apr 2016 veröffentlicht: August 2013 Betreuer: Prof. Dr. Holger Brenner Contents Introduction5 The goal of this thesis and a sketch of the most important ideas5 Summary of the thesis 10 Acknowledgements 15 Notations and conventions 15 Chapter 1. A survey on Hilbert-Kunz theory 17 1.1. The algebraic viewpoint of Hilbert-Kunz theory 17 1.2. The geometric viewpoint of Hilbert-Kunz theory 31 1.2.1. Generalities on vector bundles 31 1.2.2. Frobenius 33 1.2.3. Syzygy bundles 34 1.2.4. Stability 37 1.2.5. Relation to Hilbert-Kunz theory 40 1.2.6. Curves of degree three 42 1.3. Related invariants and further readings 44 1.3.1. Limit Hilbert-Kunz multiplicity 44 1.3.2. F-Signature 46 1.3.3. Further readings 46 Chapter 2. Examples of Hilbert-Kunz functions and Han’s δ function 49 2.1. Examples of Hilbert-Kunz functions 49 2.2. Han’s δ function 55 2.3. The behaviour of the Hilbert-Kunz multiplicity in families 67 2.3.1. The family F1 68 2.3.2. The family FU 70 2.3.3. The family FV 72 2.3.4. The family FW 73 Chapter 3. Matrix factorizations and representations as first syzygy modules 77 3.1. Properties of maximal Cohen-Macaulay modules 77 3.1.1. Maximal Cohen-Macaulay modules and Hilbert-Kunz theory 79 3.2. Generalities on matrix factorizations 83 3.3. Constructing isomorphisms of maximal Cohen-Macaulay modules 88 3.4. The case An with n ≥ 0 91 3.5. The case Dn with n ≥ 4 92 3.6. The case E6 95 3.7. The case E7 99 3 4 CONTENTS 3.8. The case E8 102 3.9. An idea of a purely algebraic construction of the isomorphisms 106 3.10. A comment on the graded situation 108 Chapter 4. The Hilbert-series of first syzygy modules of monomial ideals 111 4.1. A short exact sequence 111 4.2. Examples 115 4.2.1. The case An 116 4.2.2. The case Dn 116 4.2.3. The case E6 118 4.2.4. The case E7 119 4.2.5. The case E8 120 Chapter 5. Relations between the maximal Cohen-Macaulay modules 123 5.1. The Case An−1 with n ≥ 1 125 5.2. The Case Dn+2 with n ≥ 2 126 5.2.1. Pull-backs to At−1 with tj2n 127 5.2.2. Pull-backs to Dn=2+2 128 5.3. The Case E6 129 5.4. The Case E7 133 5.5. The Case E8 135 5.6. Overview 136 Chapter 6. The Hilbert-Kunz functions of surface rings of type ADE 139 6.1. The case An−1 with n ≥ 1 139 6.2. The case Dn+2 with n ≥ 2 140 6.3. The case E6 142 6.4. The case E7 143 6.5. The case E8 147 Chapter 7. Extensions and further examples 151 7.1. Hilbert-Kunz functions of E8 with respect to various ideals I , m 151 7.2. The Hilbert-Kunz function of A1 153 7.3. The Hilbert-Kunz function of D1 155 7.4. On the Hilbert-Kunz functions of two-dimensional Fermat rings 158 7.5. Open questions 166 7.5.1. Questions concerning rings of dimension two 166 7.5.2. Questions concerning rings of dimension at least three 169 Appendix A. An implementation of Corollary 2.31 for CoCoA 171 Appendix B. Computer computations to Chapter 5 175 B.1. Normal subgroups with GAP and rings of invariants with Singular 175 B.2. Macaulay2 computations in the E6-case 177 B.3. Macaulay2 computations in the E8-case 178 Bibliography 187 Introduction The goal of this thesis and a sketch of the most important ideas The starting point for Hilbert-Kunz theory was the paper “Characterizations of regular local rings of characteristic p” and its sequel “On Noetherian rings of characteristic p” by Kunz published 1969 resp. 1976 (cf. [Kun69] and [Kun76]). The central objects are the Hilbert-Kunz function and the Hilbert-Kunz multiplicity, which are defined in the case of affine k-algebras R := k[X1;:::; Xn]=I in dependence on the classical Hilbert-Samuel multiplicity and function as e e e HK(R; p ) HK(R; pe) = dim R= X p ;:::; X p and e (R) = lim ; k 1 n HK e!1 pe·dim(R) where k denotes a field of characteristic p > 0 and dim(R) denotes the Krull dimension of R. For an (X1;:::; Xn)-primary ideal J := ( f1;:::; fm), the Hilbert-Kunz function of R with respect to J and the Hilbert-Kunz multiplicity of R with respect to J are defined as e e e HK(J;R; p ) HK(J;R; pe) = dim R= f p ;:::; f p resp. e (R) = lim : k 1 m HK e!1 pe·dim(R) Seven years later, Monsky proved the existence of Hilbert-Kunz multiplicities in a more general situation (cf. [Mon83a, Theorem 1.8]). In the same paper the term “Hilbert-Kunz function” firstly appeared. Hilbert-Kunz theory has applications in Iwasawa theory as well as in tight closure theory (see for example [Mon83b] and [Hun96]). Initially, Kunz expected a relation to the resolution of singularities in positive characteristics (cf. the discussion after Example 4.3 of [Kun76]) but up to today there are no substantial results in this direction. Maybe the most central question in Hilbert-Kunz theory was whether Hilbert-Kunz multiplicities have to be rational or not. For long time the favourite answer was that they have to be rational (cf. [Mon83a]) and there were many results in this direction (e.g. [Bre06], [Eto02], [FT03], [HM93], [Sei97], [Tri05a] or [Wat00]). But 2008 Monsky came up with a conjecture whose correctness would imply the existence of a four-dimensional ring of characteristic two with irrational Hilbert-Kunz multiplicity (cf. [Mon08]). Extending the geometric approach to Hilbert-Kunz theory (cf. [Bre06] or [Tri05a]), Brenner recently proved the existence of irrational Hilbert-Kunz multiplicities in all characteristics (cf. [Bre13]). The goal of this thesis is to compute the Hilbert-Kunz functions of the surface rings n+1 • An := k[X;Y;Z]=(X − YZ) with n ≥ 0, 2 n−1 2 • Dn := k[X;Y;Z]=(X + Y + YZ ) with n ≥ 4 2 3 4 • E6 := k[X;Y;Z]=(X + Y + Z ), 5 6 INTRODUCTION 2 3 3 • E7 := k[X;Y;Z]=(X + Y + YZ ) and 2 3 5 • E8 := k[X;Y;Z]=(X + Y + Z ), where k denotes an algebraically closed field. These are called surface rings of type ADE. In characteristic zero surface rings of type ADE show up as quotient singularities of C2 and are unique up to isomorphism as it was shown by Klein (cf. [Kle86]) in 1886. This is also how they have share in string theory (cf. [Wit02]). Surface rings of type ADE were studied for example by du Val (cf. [dV34a], [dV34b], [dV34c]) and Brieskorn (cf. [Bri68]) and are sometimes called Kleinian or du Val singularities. Due to Artin (cf. [Art66]) they are exactly the rational double points. In positive characteristics Artin classified the rational double points of surfaces. In characteristics at least seven, these are exactly the surface rings of type ADE. In characteristics two, three and five all rational double points are given by surface rings of type ADE or certain deformations of them (cf. [Art77]). Note that the rational double points are exactly the simple surface singularities (cf. [Art77]). Due to Watanabe and Yoshida (cf. [WY00]) the Hilbert-Kunz multiplicity of the surface 1 rings of type ADE is known to be 2− jGj , where G ( SL2(C) is the group corresponding to the singularity in characteristic zero and under the additional assumption that the corre- sponding ring is F-rational (cf. [WY00]). Note that this assumption is satisfied in almost all characteristics. The Hilbert-Kunz function of the surface rings of type An is known due to Kunz (cf. [Kun76]) and the Hilbert-Kunz functions of surface rings of type E6 or E8 can be computed at least for explicitly given characteristic using the algorithm of Han and Monsky (cf. [HM93]). In general the Hilbert-Kunz function of surface rings R of type ADE has due to Huneke, McDermott and Monsky the shape e 2e e HK(R; p ) = eHK(R) · p + γ(p ); where γ(pe) is a bounded function (cf. [HMM04]). By a geometric approach of Brenner and Trivedi for two-dimensional standard-graded rings S one needs to control the Frobenius pull-backs of the cotangent bundle on C := Proj(S ), e.g. the sheaves [pe]∼ SyzS S + ; to compute the Hilbert-Kunz function of S (cf. [Bre06] or [Tri05a]). Unfortunately, surface rings of type ADE are not standard-graded. But we can associate to them the standard-graded rings S := k[U;V;W]=(F), where (F) is the image of the principal ideal defining a surface ring of type ADE under the map k[X;Y;Z] ! k[U;V;W]; X 7! Udeg(X); Y 7! Vdeg(Y); Z 7! Wdeg(Z): Since the map R ! S is a flat extension of Noetherian domains, one obtains HK((Udeg(X);Vdeg(Y);Wdeg(Z));S; pe) HK(R; pe) = ; [Q(S ): Q(R)] where [Q(S ): Q(R)] denotes the degree of the extension of the fields of fractions of R and S .