Algebra & Number Theory
Volume 7 2013 No. 9
msp Algebra & Number Theory msp.org/ant
EDITORS
MANAGING EDITOR EDITORIAL BOARD CHAIR Bjorn Poonen David Eisenbud Massachusetts Institute of Technology University of California Cambridge, USA Berkeley, USA
BOARDOF EDITORS
Georgia Benkart University of Wisconsin, Madison, USA Susan Montgomery University of Southern California, USA Dave Benson University of Aberdeen, Scotland Shigefumi Mori RIMS, Kyoto University, Japan Richard E. Borcherds University of California, Berkeley, USA Raman Parimala Emory University, USA John H. Coates University of Cambridge, UK Jonathan Pila University of Oxford, UK J-L. Colliot-Thélène CNRS, Université Paris-Sud, France Victor Reiner University of Minnesota, USA Brian D. Conrad University of Michigan, USA Karl Rubin University of California, Irvine, USA Hélène Esnault Freie Universität Berlin, Germany Peter Sarnak Princeton University, USA Hubert Flenner Ruhr-Universität, Germany Joseph H. Silverman Brown University, USA Edward Frenkel University of California, Berkeley, USA Michael Singer North Carolina State University, USA Andrew Granville Université de Montréal, Canada Vasudevan Srinivas Tata Inst. of Fund. Research, India Joseph Gubeladze San Francisco State University, USA J. Toby Stafford University of Michigan, USA Roger Heath-Brown Oxford University, UK Bernd Sturmfels University of California, Berkeley, USA Ehud Hrushovski Hebrew University, Israel Richard Taylor Harvard University, USA Craig Huneke University of Virginia, USA Ravi Vakil Stanford University, USA Mikhail Kapranov Yale University, USA Michel van den Bergh Hasselt University, Belgium Yujiro Kawamata University of Tokyo, Japan Marie-France Vignéras Université Paris VII, France János Kollár Princeton University, USA Kei-Ichi Watanabe Nihon University, Japan Yuri Manin Northwestern University, USA Efim Zelmanov University of California, San Diego, USA Barry Mazur Harvard University, USA Shou-Wu Zhang Princeton University, USA Philippe Michel École Polytechnique Fédérale de Lausanne
PRODUCTION [email protected] Silvio Levy, Scientific Editor
See inside back cover or msp.org/ant for submission instructions. The subscription price for 2013 is US $200/year for the electronic version, and $350/year (+$40, if shipping outside the US) for print and electronic. Subscriptions, requests for back issues and changes of subscribers address should be sent to MSP. Algebra & Number Theory (ISSN 1944-7833 electronic, 1937-0652 printed) at Mathematical Sciences Publishers, 798 Evans Hall #3840, c/o University of California, Berkeley, CA 94720-3840 is published continuously online. Periodical rate postage paid at Berkeley, CA 94704, and additional mailing offices.
ANT peer review and production are managed by EditFLOW® from Mathematical Sciences Publishers.
PUBLISHED BY mathematical sciences publishers nonprofit scientific publishing http://msp.org/ © 2013 Mathematical Sciences Publishers ALGEBRA AND NUMBER THEORY 7:9 (2013) msp dx.doi.org/10.2140/ant.2013.7.2059
Multiplicities associated to graded families of ideals Steven Dale Cutkosky
We prove that limits of multiplicities associated to graded families of ideals exist under very general conditions. Most of our results hold for analytically unramified equicharacteristic local rings with perfect residue fields. We give a number of applications, including a “volume = multiplicity” formula, generalizing the formula of Lazarsfeld and Mustat,a,˘ and a proof that the epsilon multiplicity of Ulrich and Validashti exists as a limit for ideals in rather general rings, including analytic local domains. We prove a generalization of this to generalized symbolic powers of ideals proposed by Herzog, Puthenpurakal and Verma. We also prove an asymptotic “additivity formula” for limits of multiplicities and a formula on limiting growth of valuations, which answers a question posed by the author, Kia Dalili and Olga Kashcheyeva. Our proofs are inspired by a philosophy of Okounkov for computing limits of multiplicities as the volume of a slice of an appropriate cone generated by a semigroup determined by an appropriate filtration on a family of algebraic objects.
1. Introduction
In a series of papers, Okounkov interprets the asymptotic multiplicity of graded fami- lies of algebraic objects in terms of the volume of a slice of a corresponding cone (the Okounkov body). Okounkov’s method employs an asymptotic version of a result of Khovanskii[1992] for finitely generated semigroups. One of his realizations of this philosophy [Okounkov 1996; 2003] gives a construction that computes the volume of a family of graded linear systems. This method was systematically developed by Lazarsfeld and Mustat,a˘[2009], who give many interesting consequences, including a new proof of Fujita approximation (see[Fujita 1994] for the original proof) and the fact that the volume of a big divisor on an irreducible projective variety over an algebraically closed field is a limit, which was earlier proven in[Lazarsfeld 2004] using Fujita approximation. More recently, Fulger[2011] has extended this result to compute local volumes of divisors on a log resolution of a normal variety over
The author is partially supported by the NSF. MSC2010: primary 13H15; secondary 14B05. Keywords: multiplicity, graded family of ideals, Okounkov body.
2059 2060 Steven Dale Cutkosky an algebraically closed field. Kaveh and Khovanskii[2012] have recently greatly generalized the theory of Newton–Okounkov bodies and applied this to general graded families of linear systems. The method used in these papers is to choose a nonsingular closed point β on the d-dimensional variety X and then using a flag, a sequence of subvarieties
{β} = X0 ⊂ X1 ⊂ · · · ⊂ Xd−1 ⊂ X that are nonsingular at β, to determine a rank-d valuation of the function field k(X) that dominates the regular local ring ᏻX,β . This valuation gives a very simple filtration of ᏻX,β represented by monomials in a regular system of parameters of ᏻX,p, which are local equations of the flag. Since the residue field is algebraically closed, this allows us to associate a set of points in ޚd to a linear system on X (by means of a k-subspace of k(X) giving the linear system) so that the number of these points is equal to the dimension of the linear system. In this way, a semigroup in ޚd+1 is associated to a graded family of linear systems. One of their applications is to prove a formula of equality of volume and mul- tiplicity for a graded family {Ii }i∈ގ of m R-primary ideals in a local ring (R, m R) such that R is a local domain that is essentially of finite type over an algebraically closed field k with R/m R = k [Lazarsfeld and Mustat,a˘ 2009, Theorem 3.8]. These assumptions on R are all necessary for their proof. The proof involves interpreting the problem in terms of graded families of linear systems on a projective variety X on which R is the local ring of a closed point α. Then a valuation as above is constructed that is centered at a nonsingular point β ∈ X, and the cone methods are used to prove the limit. The formula “volume = multiplicity” for graded families of ideals was first proven by Ein, Lazarsfeld and Smith[Ein et al. 2003] for valuation ideals associated to an Abhyankar valuation in a regular local ring that is essentially of finite type over a field. Mustat,aˇ[2002] proved the formula for regular local rings containing a field. In all of these cases, the volume vol(I∗) of the family, which is defined as a lim sup, is shown to be a limit. Let {Ii } be a graded family of ideals in a d-dimensional (Noetherian) local ring (R, m R); that is, the family is indexed by the natural numbers with I0 = R and Ii I j ⊂ Ii+ j for all i and j. Suppose that the ideals are m R-primary (for i > 0). Let `R(N) denote the length of an R-module N. We find very general conditions on R under which the “volume”
`R(R/In) vol(I∗) = lim sup nd /d! is actually a limit. For instance, we show that this limit exists if R is analytically unramified and equicharacteristic with perfect residue field (Theorem 5.8) or if R is regular (Theorem 4.6). Multiplicities associated to graded families of ideals 2061
We thank the referee for pointing out that our basic result Theorem 4.2 is valid without our original assumption of excellence. Our proof involves reducing to the case of a complete domain and then finding a suitable valuation that dominates R to construct an Okounkov body. The valuation that we use is of rank 1 and rational rank d. There are two issues that require special care in the proof. The first issue is to reduce to the case of an analytically irreducible domain. Analytic irreducibility is necessary to handle the boundedness restriction on the corresponding cone (condition (2)). The proof of boundedness is accomplished by using the linear Zariski subspace theorem of Hübl[2001] (which is valid if R is assumed excellent) or, as was pointed out by the referee, by an application of the version of Rees[1989] of Izumi’s theorem, for which excellence is not required. The second issue is to handle the case of a nonclosed residue field. Our method for converting the problem into a problem of cones requires that the residue field of the valuation ring be equal to the residue field of R. Care needs to be taken when the base field is not algebraically closed. The perfect condition in Theorem 5.8 on the residue field is to prevent the introduction of nilpotents upon base change. n d The limit limn→∞ `R(R/I )/(n /d!) is just the Hilbert–Samuel multiplicity n e(I ), which is a positive integer, in the case when In = I with I an m R-primary ideal. In general, when working with the kind of generality allowed by a graded family of m R-primary ideals, the limit will be irrational. For instance, given λ ∈ ޒ+, i j the graded family of m R-primary ideals In generated by the monomials x y such that (1/2λ)i + j ≥ n in the power-series ring R = k[[x, y]] in two variables will 2 give us the limit limn→∞ `R(R/In)/n = λ. We also obtain irrational limits for more classical families of ideals. Suppose that R is an excellent d-dimensional local domain with perfect residue field and ν is a discrete valuation dominating R (the value group is ޚ). Then the valuation ideals In = { f ∈ R | ν( f ) ≥ n} form a graded family of m R-primary ideals, so d Theorem 5.8 tells us that the limit limn→∞ `R(R/In)/n exists. This limit will however in general not be rational.[Cutkosky and Srinivas 1993, Example 6] gives such an example in a three-dimensional normal local ring. We give a number of applications of this formula and these techniques to the computation of limits in commutative algebra. We prove the formula “vol(I∗) = multiplicity(I∗)” for local rings R and graded families of m R-primary ideals such that either R is regular or R is analytically unramified and equicharacteristic with perfect residue field in Theorem 6.5. In our proof, we use a critical result on volumes of cones, which is derived in[Lazarsfeld and Mustat,a˘ 2009]. We generalize this result to obtain an asymptotic additivity formula for multiplicities of an arbitrary graded family of ideals (not required to be m R-primary) in Theorem 6.10. 2062 Steven Dale Cutkosky
Another application is to show that the epsilon multiplicity of Ulrich and Vali- dashti[2011], defined as a lim sup, is actually a limit in some new situations. We prove that this limit exists for graded families of ideals in a local ring R such that one of the following holds: R is regular, R is analytically irreducible and excellent with algebraically closed residue field or R is normal, excellent and equicharacteristic with perfect residue field. As an immediate consequence, we obtain the existence of the limit for graded families of ideals in an analytic local domain, which is of interest in singularity theory. In[Cutkosky et al. 2005], an example is given showing that this limit is in general not rational. Previously, the limit was shown to exist in some cases in[Cutkosky et al. 2010b], and the existence of the limit was proven (for more general modules) in some cases in[Kleiman 2010] and over a domain R that is essentially of finite type over a perfect field in[Cutkosky 2011]. The proof in the latter paper used Fujita approximation on a projective variety on which the ring R was the local ring of a closed point. We prove in Corollary 6.4 a formula on asymptotic multiplicity of generalized symbolic powers proposed by Herzog, Puthenpurakal and Verma[Herzog et al. 2008, beginning of Introduction]. We also prove that a question raised in[Cutkosky et al. 2010a] about the growth of the semigroup of a valuation semigroup has a positive answer for very general valuations and domains. We prove in Theorem 7.1 that if R is a d-dimensional regular local ring or an analytically unramified local domain with algebraically closed residue field and ω is a zero-dimensional rank-1 valuation dominating R with value group contained in ޒ and if ϕ(n) is the number of elements in the semigroup of values attained on R that are less than n, then ϕ(n) lim n→∞ nd exists. This formula was established if R is a regular local ring of dimension 2 with algebraically closed residue field in[Cutkosky et al. 2010a] and if R is an arbitrary regular local ring of dimension 2 in[Cutkosky and Vinh 2011] using a detailed analysis of a generating sequence associated to the valuation. Our proof of this result in general dimension follows, as an application of the existence of limits for graded families of m R-primary ideals, from the fact that ϕ(n) = `R(R/In), where In = { f ∈ m R | ν( f ) ≥ n} [Cutkosky et al. 2010a; Cutkosky and Teissier 2010]. 2 It is shown in[Cutkosky et al. 2010a] that the limits limn→∞ ϕ(n)/n that can be ≤ 1 attained on a regular local ring of dimension 2 are the real numbers β with 0 β < 2 .
2. Notation
Let m R denote the maximal ideal of a local ring R. Q(R) will denote the quotient field of a domain R and `R(N) the length of an R-module N. ޚ+ denotes the Multiplicities associated to graded families of ideals 2063 positive integers and ގ the nonnegative integers. Suppose that x ∈ ޒ. Then dxe is the smallest integer n such that x ≤ n and bxc the largest integer n such that n ≤ x. We recall some notation on multiplicity from [Zariski and Samuel 1960, Chap- ter VIII, §10; Serre 1965, p. V-2; Bruns and Herzog 1993, § 4.6]. Suppose that (R, m R) is a (Noetherian) local ring, N is a finitely generated R-module with r = dim N and a is an ideal of definition of R. Then k `R(N/a N) ea(N) = lim . k→∞ kr /r!
We write e(a) = ea(R). If s ≥ r = dim N, then we define ea(N) if dim N = s, es(a, N) = 0 if dim N < s. A local ring is analytically unramified if its completion is reduced. In particular, a reduced excellent local ring is analytically unramified.
3. Semigroups and cones
Suppose that 0 ⊂ ގd+1 is a semigroup. Set 6 = 6(0) = closed convex cone(0) ⊂ ޒd+1, 1 = 1(0) = 6 ∩ (ޒd × {1}). For m ∈ ގ, put d 0m = 0 ∩ (ގ × {m}), which can be viewed as a subset of ގd . Consider the following three conditions on 0:
(1) 00 = {0}. d+1 (2) There exist finitely many vectors (vi , 1) spanning a semigroup B ⊂ ގ such that 0 ⊂ B. Let G(0) is the subgroup of ޚd+1 generated by 0. (3) G(0) = ޚd+1. d+1 We will use the convention that {ei } is the standard basis of ޚ . Assuming the boundedness condition (2), condition (1) simply states that 0 is in the semigroup 0. Theorem 3.1 [Okounkov 2003, §3; Lazarsfeld and Mustat,a˘ 2009, Proposition 2.1]. Suppose that 0 satisfies (1)–(3). Then #0 lim m = vol(1(0)). m→∞ md 2064 Steven Dale Cutkosky
Recently, it has been shown that limits exist under much weaker conditions by Kaveh and Khovanskii[2012]. Theorem 3.2 [Lazarsfeld and Mustat,a˘ 2009, Proposition 3.1]. Suppose that 0 satisfies (1)–(3). Fix ε > 0. Then there is an integer p0 = p0(ε) such that if p ≥ p0, then the limit #(k0 ) lim p ≥ vol(1(0)) − ε k→∞ kd pd exists, where k0p = {x1 + · · · + xk | x1,..., xk ∈ 0p}.
4. An asymptotic theorem on lengths
Definition 4.1. A graded family of ideals {Ii } in a ring R is a family of ideals indexed by the natural numbers such that I0 = R and Ii I j ⊂ Ii+ j for all i and j. If R is a local ring and Ii is m R-primary for i > 0, then we will say that {Ii } is a graded family of m R-primary ideals. In this section, we prove the following theorem: Theorem 4.2. Suppose that R is an analytically irreducible local domain of dimen- sion d > 0 and {In} is a graded family of ideals in R such that c there exists c ∈ ޚ+ such that m R ⊂ I1. (4) Suppose that there exists a regular local ring S such that S is essentially of finite type and birational over R (R and S have the same quotient field) and the residue field map R/m R → S/m S is an isomorphism. Then ` (R/I ) lim R i i→∞ i d exists. c We remark that the assumption m R ⊂ I1 implies that either In is m R-primary for = cn0 ⊂ all positive n or there exists n0 > 1 such that In0 R. In this case, m R In for all n ≥ n0, so `R(R/Ii ) is actually bounded. Let assumptions be as in Theorem 4.2. Let y1,..., yd be a regular system of parameters in S. Let λ1, . . . , λd be rationally independent real numbers such that
λi ≥ 1 for all i. (5) We define a valuation ν on Q(R) that dominates S by prescribing
a1 ··· ad = + · · · + ν(y1 yd ) a1λ1 ad λd for a1,..., ad ∈ ޚ+ and ν(γ ) = 0 if γ ∈ S has nonzero residue in S/m S. Multiplicities associated to graded families of ideals 2065
Let C be a coefficient set of S. Since S is a regular local ring, for r ∈ ޚ+ and f ∈ S, there is a unique expression
= P i1 ··· id + f si1,...,id y1 yd gr ∈ r ∈ + · · · + with gr m S, si1,...,id S and i1 id < r for all i1,..., id appearing in the + · · · + 6= sum. Take r so large that r > i1λ1 id λd for some term with si1,...,id 0. Then define = { + · · · + | 6= } ν( f ) min i1λ1 id λd si1,...,id 0 . (6) This definition is well-defined, and we calculate that ν( f + g) ≥ min{ν( f ), ν(g)} and ν( f g)=ν( f )+ν(g) (by the uniqueness of the expansion (6)) for all 0 6= f, g ∈ S. Thus, ν is a valuation. Let Vν be the valuation ring of ν (in Q(R)). The value group of Vν is the (nondiscrete) ordered subgroup ޚλ1 + · · · + ޚλd of ޒ. Since there is a unique monomial giving the minimum in (6), we have that the residue field of Vν is S/m S = R/m R. For λ ∈ ޒ, define ideals Kλ and Kλ+ in Vν by
Kλ = { f ∈ Q(R) | ν( f ) ≥ λ},
Kλ+ = { f ∈ Q(R) | ν( f ) > λ}. We follow the usual convention that ν(0) = ∞ is larger than any element of ޒ. n Lemma 4.3. There exists α ∈ ޚ+ such that Kαn ∩ R ⊂ m R for all n ∈ ގ.
Proof. Let ρ = dmax{λ1, . . . , λd }e ∈ ޚ+. Suppose that λ ∈ ޒ+. Kλ is generated by i1 ··· id + · · · + ≥ the monomials y1 yd such that i1λ1 id λd λ, which implies that λ ≤ i + · · · + i ρ 1 d so that dλ/ρe Kλ ∩ S ⊂ m S . (7)
We now establish the following equation: there exists a ∈ ޚ+ such that
a` ` m S ∩ R ⊂ m R (8) for all ` ∈ ގ. In the case when R is excellent, this is immediate from the linear Zariski subspace theorem[Hübl 2001, Theorem 1]. We now give a proof of (8) that was provided by the referee, which is valid without assuming that R is excellent. Let ω be the m S-adic valuation. Let νi be the
Rees valuations of m R. The νi extend uniquely to the Rees valuations of m Rˆ . By the version of Rees[1989] of Izumi’s theorem, the topologies defined on R by ω 2066 Steven Dale Cutkosky
and the νi are linearly equivalent. Let νm R be the reduced order of m R. By the Rees valuation theorem (recalled in[Rees 1989]), n ν (x) o = i νm R (x) min i νi (m R) for all x ∈ R, so the topology defined by ω on R is linearly equivalent to the topology defined by νm R . The νm R topology is linearly equivalent to the m R-topology by [Rees 1956] since R is analytically unramified. Thus, (8) is established. Let α = ρa, where ρ is the constant of (7) and a is the constant of (8). an Kαn ∩ S = Kρan ∩ S ⊂ m S by (7), and thus, an n Kαn ∩ R ⊂ m S ∩ R ⊂ m R by (8). Remark 4.4. The conclusions of Lemma 4.3 fail if R is not analytically irreducible as can be seen from the example 2 2 R = (k[x, y]/y − x (x + 1))(x,y) → S = k[s](s), where s = y/x − 1. For 0 6= f ∈ R, define d ϕ( f ) = (n1,..., nd ) ∈ ގ if ν( f ) = n1λ1 + · · · + nd λd .
Lemma 4.5. Suppose that I ⊂ R is an ideal and λ ∈ ޒ+. Then there are isomor- phisms of R/m R-modules ∼ k if there exists f ∈ I such that ν( f ) = λ, Kλ ∩ I/K + ∩ I = λ 0 otherwise.
Proof. Suppose that f, g ∈ Kλ ∩ I are such that ν( f ) = ν(g) = λ. Then ν( f/g) = 0. ∼ Let α be the class of f/g in Vν/mν = R/m R. Let α ∈ R be a lift of α to R. Then ν( f − αg) > λ, and the class of f in Kλ ∩ I/Kλ+ ∩ I is equal to α times the class of g in Kλ ∩ I/Kλ+ ∩ I . Suppose that I ⊂ R is an ideal and Kβ ∩ R ⊂ I for some β ∈ ޒ+. Then
`R(R/I ) = `R(R/Kβ ∩ R) − `R(I/Kβ ∩ R) M M = dimk Kλ ∩ R/Kλ+ ∩ R − dimk Kλ ∩ I/Kλ+ ∩ R λ<β λ<β
= #{(n1,..., nd ) ∈ ϕ(R) | n1λ1 + · · · + nd λd < β}
− #{(n1,..., nd ) ∈ ϕ(I ) | n1λ1 + · · · + nd λd < β}. (9) Multiplicities associated to graded families of ideals 2067
Let β = αc ∈ ޚ+, where c is the constant of (4) and α is the constant of Lemma 4.3 so that, for all i ∈ ޚ+,
ic Kβi ∩ R = Kαci ∩ R ⊂ m R ⊂ Ii . (10) We have from (9) that
`R(R/Ii ) = #{(n1,..., nd ) ∈ ϕ(R) | n1λ1 + · · · + nd λd < βi}
− #{(n1,..., nd ) ∈ ϕ(Ii ) | n1λ1 + · · · + nd λd < βi}. (11)
Now (n1,..., nd ) ∈ ϕ(R) and n1 + · · · + nd ≥ βi imply n1λ1 + · · · + nd λd ≥ βi by (5) so that (n1,..., nd ) ∈ ϕ(Ii ) by (10). Thus,
`R(R/Ii ) = #{(n1,..., nd ) ∈ ϕ(R) | n1 + · · · + nd ≤ βi}
− #{(n1,..., nd ) ∈ ϕ(Ii ) | n1 + · · · + nd ≤ βi}. (12) Let 0 ⊂ ގd+1 be the semigroup
0 = {(n1,..., nd , i) | (n1,..., nd ) ∈ ϕ(Ii ) and n1 + · · · + nd ≤ βi}.
I0 = R (and ν(1) = 0) implies (1) holds. The semigroup d B = {(n1,..., nd , i) | (n1,..., nd ) ∈ ގ and n1 + · · · + nd ≤ βi} is generated by B ∩ (ގd × {1}) and contains 0, so (2) holds. Write yi = fi /gi with fi , gi ∈ R for 1 ≤ i ≤ d. Let 0 6= h ∈ I1. Then h fi , hgi ∈ I1. 0 0 c0 There exists c ∈ ޚ+ such that c ≥ c and h fi , hgi ∈/ m R for 1 ≤ i ≤ d. We may 0 d replace c with c in (4). Then ϕ(h fi ), ϕ(hgi ) ∈ 01 = 0 ∩ (ގ × {1}) for 1 ≤ i ≤ d since h fi and hgi all have values n1λ1 +· · ·+nd λd < βi so that n1 +· · ·+nd < βi. We have that ϕ(h fi ) − ϕ(hgi ) = ei for 1 ≤ i ≤ d. Thus,
(ei , 0) = (ϕ(h fi ), 1) − (ϕ(hgi ), 1) ∈ G(0)
d+1 for 1 ≤i ≤ d. Since (ϕ(h fi ), 1) ∈ G(0), we have that (0, 1) ∈ G(0), so G(0) = ޚ and (3) holds. By Theorem 3.1, #0 lim i = vol(1(0)). (13) i→∞ i d Let 00 ⊂ ގd+1 be the semigroup 0 0 = {(n1,..., nd , i) | (n1,..., nd ) ∈ ϕ(R) and n1 + · · · + nd ≤ βi}. Our calculation for 0 shows that (1)–(3) hold for 00. By Theorem 3.1, #00 lim i = vol(1(00)). (14) i→∞ i d We obtain the conclusions of Theorem 4.2 from Equations (12), (13) and (14). 2068 Steven Dale Cutkosky
The following is an immediate consequence of Theorem 4.2, taking S = R:
Theorem 4.6. Suppose that R is a regular local ring of dimension d > 0 and {In} is a graded family of m R-primary ideals in R. Then the limit ` (R/I ) lim R n n→∞ nd exists.
5. A theorem on asymptotic lengths in more general rings
Lemma 5.1. Suppose that R is a d-dimensional reduced local ring and {In} is a graded family of m R-primary ideals in R. Let p1,..., ps be the minimal primes Ls of R, set Ri = R/pi , and let S be the ring S = i=1 Ri . Then there exists α ∈ ޚ+ such that for all n ∈ ޚ+, s X d−1 `R (Ri /In Ri ) − `R(R/In) ≤ αn . i i=1 c Proof. There exists c ∈ ޚ+ such that m R ⊂ I1. Since S is a finitely generated Ls R-submodule of the total ring of fractions T = i=1 Q(Ri ) of R, there exists a nonzero divisor x ∈ R such that x S ⊂ R. The natural inclusion R → S induces exact sequences of R-modules
0 → R ∩ In S/In → R/In → S/In S → Nn → 0. (15) We also have exact sequences of R-modules x 0 → An → R/In −→ R/In → Mn → 0. (16)
We have that x(R ∩ In S) ⊂ In and An = In : x/In so that
`R(R ∩ In S/In) ≤ `R(An). (17) ∼ Now Mn = (R/x)/In(R/x), so nc d−1 `R(Mn) ≤ `R((R/x)/m R (R/x)) ≤ β(nc) for some β, computed from the Hilbert–Samuel polynomial of R/x and the finitely many values of the Hilbert–Samuel function of R/x that do not agree with this polynomial. Thus, d−1 d−1 `R(An) = `(Mn) ≤ βc n (18) by (16). Since x S ⊂ R, we have that ∼ Nn = (S/R + In S) = S/(R + In S + x S). Multiplicities associated to graded families of ideals 2069
Thus, nc d−1 `R(Nn) ≤ `R((S/x S)/m R (S/x S)) ≤ γ (nc) (19) for some γ , computed from the Hilbert–Samuel polynomial of the semilocal ring S/x with respect to the ideal of definition m R(S/x S). Thus, d−1 d−1 |`R(R/In) − `R(S/In S)| ≤ max{β, γ }c n . The lemma now follows since = P `R(S/In S) `Ri (Ri /In Ri ). Theorem 5.2. Suppose that R is an analytically unramified local ring with alge- braically closed residue field. Let d > 0 be the dimension of R. Suppose that {In} is a graded family of m R-primary ideals in R. Then ` (R/I ) lim R i i→∞ i d exists. ˆ Proof. Let R be the m R-adic completion of R, which is reduced and excellent. Since ∼ ˆ ˆ = ˆ ˆ the In are m R-primary, we have that R/In = R/In R and `R(R/In) `Rˆ (R/In R) ˆ for all n. Let {q1,..., qs} be the minimal primes of R. By Lemma 5.1, we reduce ˆ ˆ to proving the theorem for the families of ideals {In R/qi } in R/qi for 1 ≤ i ≤ s. We may thus assume that R is a complete domain. Let π : X → Spec(R) be the normalization of the blow-up of m R. X is of finite type over R since R is excellent. −1 Since π (m R) has codimension 1 in X and X is normal, there exists a closed point x ∈ X such that the local ring ᏻX,x is a regular local ring. Let S be this local ring. S/m S = R/m R since S/m S is finite over R/m R, which is an algebraically closed field. Lemma 5.3. Suppose that R is a Noetherian local domain that contains a field k. 0 0 Suppose that k is a finite separable field extension of k such that k ⊂ R/m R ⊂ k . 0 Let S = R ⊗k k . Then S is a reduced Noetherian semilocal ring. Let p1,..., pr be the maximal ideals of S. Then m R S = p1 ∩ · · · ∩ pr . 0 Proof. Let K be the quotient field of R. Then K ⊗k k is reduced[Zariski and Samuel 1958, Theorem 39, p. 195]. Since k0 is flat over k, we have an inclusion 0 0 0 ∼ 0 R ⊗k k ⊂ K ⊗k k , so S = R ⊗k k is reduced. S/m R S = (R/m R) ⊗k k is also reduced by[Zariski and Samuel 1958, Theorem 39]. Thus, m R S = p1 ∩· · ·∩ pr . 0 Remark 5.4. In the case that R is a regular local ring, we have that S = R ⊗k k is a regular ring.
Proof. Since R is a regular local ring, m R is generated by d = dim R elements. For ≤ ≤ = = = 1 i r, we thus have that pi Spi m R Spi is generated by d dim R dim Spi elements. Thus, Spi is a regular local ring. 2070 Steven Dale Cutkosky
0 ∼ 0 Remark 5.5. If k is Galois over k, then S/pi = k for 1 ≤ i ≤ r. ˜ ˜ Proof. Let k = R/m R. By our assumption, k is a finite separable extension of k. Thus, k˜ = k[α] for some α ∈ k0. Let f (x) ∈ k[x] be the minimal polynomial of α. Since k0 is a normal extension of k containing α, f (x) splits into linear factors in k0[x]. Thus, r M ∼ ∼ ˜ 0 ∼ 0 ∼ 0 r R/pi = S/m R S = k ⊗k k = k [x]/( f (x)) = (k ) . i=1 0 Remark 5.6. If R is complete in the m R-adic topology, then R ⊗k k is complete 0 in the m R R ⊗k k -adic topology[Zariski and Samuel 1960, Theorem 16, p. 277]. ⊗ 0 ⊗ 0 ∼ Lr ⊗ 0 If p1,..., pr are the maximal ideals of R k k , then R k k = i=1(R k k )pi ⊗ 0 [Matsumura 1986, Theorem 8.15]. Thus, each (R k k )pi is a complete local ring. Lemma 5.7. Let assumptions and notation be as in Lemma 5.3, and suppose that I is an m R-primary ideal in R. Then r X [k0 : k]` (R/I ) = [S/p : R/m ]` ((S/IS) ). R i R Spi pi i=1 Proof. We have
dimk R/I = [R/m R : k]`R(R/I ), 0 0 dimk S/IS = dimk(R/I ) ⊗k k = [k : k] dimk(R/I ). ∼ Lr S/IS is an Artin local ring so that S/IS = i=1(S/IS)pi . Thus, r X dim (S/IS) = [S/p : k]` ((S/IS) ). k i Spi pi i=1 We will need the following definition. A commutative ring A containing a field k 0 is said to be geometrically irreducible over k if A ⊗k k has a unique minimal prime for all finite extensions k0 of k. Theorem 5.8. Suppose that R is an analytically unramified equicharacteristic local ring with perfect residue field. Let d > 0 be the dimension of R. Suppose that {In} is a graded family of m R-primary ideals in R. Then ` (R/I ) lim R i i→∞ i d exists. c ˆ Proof. There exists c ∈ ޚ+ such that m R ⊂ I1. Let R be the m R-adic com- ∼ ˆ ˆ pletion of R. Since the In are m R-primary, we have that R/In = R/In R and = ˆ ˆ ˆ `R(R/In) `Rˆ (R/In R) for all n. R is reduced since R is analytically unramified. Multiplicities associated to graded families of ideals 2071
ˆ Let {q1,..., qs} be the minimal primes of R. By Lemma 5.1, we reduce to proving ˆ ˆ the theorem for the families of ideals {In R/qi } in R/qi for 1 ≤ i ≤ s. In the case of a minimal prime qi of R such that dim R/qi < d, the limits ` (R /I R ) lim R i n i n→∞ nd nc are all zero since `R(Ri /In Ri ) ≤ `R(Ri /m R Ri ) for all n. We may thus assume that R is a complete domain. Rˆ contains a coefficient field ∼ k = R/m R by the Cohen structure theorem as R is complete and equicharacteristic. Let k0 be the separable closure of k in Q(R), and let R be the integral closure of R in Q(R). We have that k0 ⊂ R. R is a finitely generated R-module since R is excellent. Let n ⊂ R be a maximal ideal lying over m R. Then the residue field extension 0 0 R/m R → R/n is finite. Since k ⊂ R/n, we have that k is a finite extension of k. By[Grothendieck 1965, Corollary 4.5.11], there exists a finite extension L of k (which can be taken to be Galois over k) such that if q1,..., qr are the minimal primes of R ⊗k L, then each ring R ⊗k L/qi is geometrically irreducible over L. R ⊗k L is a reduced semilocal ring by Lemma 5.3, and by Remark 5.5, the residue field of all maximal ideals of R ⊗k L is L, which is a perfect field. By Remark 5.6 and Lemmas 5.1 and 5.7, we reduce to the case where R is a complete local domain with perfect coefficient field k such that R is geometrically irreducible over k. Let π : X → Spec(R) be the normalization of the blow-up of m R. Since R is −1 excellent, π is projective and birational. Since m RᏻX is locally principal, π (m R) has codimension 1 in X. Since X is normal, it is regular in codimension 1, so there exists a closed point q ∈ X such that π(q) = m R and S = ᏻX,q is a regular local 0 0 ring. Let k = S/m S. Then k is finite over k and is thus a separable extension of the perfect field k. 00 0 0 00 0 Let k be a finite Galois extension of k containing k . Let R = R ⊗k k . R is 00 0 00 a local domain with residue field k . R is complete by Remark 5.6. S ⊗k k is 00 regular and semilocal by Remark 5.4. Let p ∈ S ⊗k k be a maximal ideal. Let 0 00 S = (S ⊗k k )p. There exist f0,..., ft ∈ Q(R) such that S is a localization of 0 R[ f1/ f0,..., ft / f0] at a maximal ideal that necessarily contracts to m R. Thus, S is 0 0 essentially of finite type and birational over R since we can regard f0,..., ft ∈ R . 0 00 0 0 Since S is a regular local ring and k = S /m S0 = R /m R0 by Remark 5.5, we have that Theorem 5.8 follows from Lemma 5.7 and Theorem 4.2.
6. Some applications to asymptotic multiplicities
Theorem 6.1. Suppose that R is a local ring of dimension d > 0 such that one of the following holds:
(1) R is regular or 2072 Steven Dale Cutkosky
(2) R is analytically irreducible with algebraically closed residue field or (3) R is normal, excellent and equicharacteristic with perfect residue field.
Suppose that {Ii } and {Ji } are graded families of nonzero ideals in R. Further suppose that Ii ⊂ Ji for all i and there exists c ∈ ޚ+ such that
ci ci m R ∩ Ii = m R ∩ Ji (20) for all i. Then the limit ` (J /I ) lim R i i i→∞ i d exists.
Remark 6.2. An analytic local domain R satisfies the hypotheses of Theorem 6.1(2). The fact that R is analytically irreducible (Rˆ is a domain) follows from[Grothendieck 1965, Corollary 18.9.2].
Proof of Theorem 6.1. We will apply the method of Theorem 4.2. When R is regular, we take S = R, and in case (2), we construct S by the argument of the proof of Theorem 5.2. We will consider case (3) at the end of the proof. Let ν be the valuation of Q(R) constructed from S in the proof of Theorem 4.2 with associated valuation ideals Kλ in the valuation ring Vν of ν. Apply Lemma 4.3 if R is not regular to find α ∈ ޚ+ such that
n Kαn ∩ R ⊂ m R for all n ∈ ޚ+. When R is regular so that R = S, the existence of such an α follows directly from (7). We will use the function ϕ : R \{0} → ގd+1 of the proof of Theorem 4.2. We have that
Kαcn ∩ In = Kαcn ∩ Jn for all n. Thus,
`R(Jn/In) = `R(Jn/Kαcn ∩ Jn) − `R(In/Kαcn ∩ In) (21) for all n. Let β = αc and
0(J∗) = {(n1,..., nd , i) | (n1,..., nd ) ∈ ϕ(Ji ) and n1 + · · · + nd ≤ βi},
0(I∗) = {(n1,..., nd , i) | (n1,..., nd ) ∈ ϕ(Ii ) and n1 + · · · + nd ≤ βi}. We have that
`R(Jn/In) = #0(J∗)n − #0(I∗)n (22) Multiplicities associated to graded families of ideals 2073 as explained in the proof of Theorem 4.2. As in the proof of Theorem 4.2, we have that 0(J∗) and 0(I∗) satisfy the conditions (1)–(3). Thus,
#0(J∗)n #0(I∗)n lim = vol(1(0(J∗))) and lim = vol(1(0(I∗))) n→∞ nd n→∞ nd by Theorem 3.1. The theorem (in cases (1) or (2)) now follows from (22). Now suppose that R satisfies the assumptions of case (3). Then the m R-adic completion Rˆ satisfies the assumptions of case (3). Suppose that R satisfies the assumptions of case (3) and R is m R-adically com- plete. Let k be a coefficient field of R. The algebraic closure of k in Q(R) is contained in R, so it is contained in R/m R = k. Thus, k is algebraically closed 0 0 in Q(R). Suppose that k is a finite Galois extension of k. Q(R) ⊗k k is a field 0 0 by[Zariski and Samuel 1958, Corollary 2, p. 198], and thus, R = R ⊗k k is a 0 0 0 0 ∼ 0 ∼ 0 domain. R is a local ring with residue field k since R /m R R = R/m R ⊗k k = k . R0 is normal by[Grothendieck 1965, Corollary 6.14.2]. Thus, R0 satisfies the assumptions of case (3). Thus, in the reductions in the proof of Theorem 5.8 to Theorem 4.2, the only extensions that we need to consider are local homomorphisms R → R0 that are either m R-adic completion or a base extension by a Galois field extension. These 0 extensions are all flat, and m R R = m R0 . Thus,
nc nc nc nc nc nc m S ∩ In S = m R S ∩ In S = (m R ∩ In)S = (m R ∩ Jn)S = m R S ∩ Jn S = m S ∩ Jn S for all n. Thus, the condition (20) is preserved, so we reduce to the case (2) of this theorem and conclude that Theorem 6.1 is true in case (3). If R is a local ring and I is an ideal in R, then the saturation of I is ∞ sat ∞ [ k I = I : m R = I : m R. k=1 Corollary 6.3. Suppose that R is a local ring of dimension d > 0 such that one of the following holds: (1) R is regular or (2) R is analytically irreducible with algebraically closed residue field or (3) R is normal, excellent and equicharacteristic with perfect residue field. Suppose that I is an ideal in R. Then the limit ` ((I i )sat/I i ) lim R i→∞ i d exists. 2074 Steven Dale Cutkosky
I n sat I n =∼ H 0 R I n Since ( ) / m R ( / ), the epsilon multiplicity of Ulrich and Validashti [2011] 0 n `R(H (R/I )) ε(I ) = lim sup m R nd /d! exists as a limit under the assumptions of Corollary 6.3. Corollary 6.3 is proven for more general families of modules when R is a local domain that is essentially of finite type over a perfect field k such that R/m R is algebraic over k in[Cutkosky 2011]. The limit in Corollary 6.3 can be irrational as shown in[Cutkosky et al. 2005].
Proof of Corollary 6.3. By[Swanson 1997, Theorem 3.4], there exists c ∈ ޚ+ such that each power I n of I has an irredundant primary decomposition
n I = q1(n) ∩ · · · ∩ qs(n),
nc n sat where q1(n) is m R-primary and m R ⊂q1(n) for all n. As (I ) =q2(n)∩· · ·∩qs(n), we have that
n nc nc nc n sat I ∩ m R = m R ∩ q2(n) ∩ · · · ∩ qs(n) = m R ∩ (I ) i for all n ∈ ޚ+. Thus, the corollary follows from Theorem 6.1, taking Ii = I and i sat Ji = (I ) . A stronger version of the previous corollary is true. The following corollary proves a formula proposed by Herzog et al.[2008, Introduction]. Suppose that R is a ring and I and J are ideals in R. Then the n-th symbolic power of I with respect to J is ∞ n ∞ [ n i In(J) = I : J = I : J . i=1 Corollary 6.4. Suppose that R is a local domain of dimension d such that one of the following holds: (1) R is regular or (2) R is normal and excellent of equicharacteristic 0 or (3) R is essentially of finite type over a field of characteristic 0. Suppose that I and J are ideals in R. Let s be the constant limit dimension of n In(J)/I for n 0. Then e (I (J)/I n) lim m R n n→∞ nd−s exists. Multiplicities associated to graded families of ideals 2075
Proof. There exists a positive integer n0 such that the set of associated primes n of R/I stabilizes for n ≥ n0 by[Brodmann 1979]. Let {p1,..., pt } be this set of associated primes. We thus have irredundant primary decompositions for n ≥ n0 n I = q1(n) ∩ · · · ∩ qt (n), (23) where qi (n) are pi -primary. We further have that n ∞ \ I : J = qi (n). (24)
J6⊂pi n Thus, dim In(J)/I is constant for n ≥ n0. Let s be this limit dimension. The set [ n A = p ∈ Ass(In(J)/I ) n ≥ n0 and dim R/p = s
n≥n0 n is a finite set. Moreover, every such prime is in Ass(In(J)/I ) for all n ≥ n0. For n ≥ n0, we have by the additivity formula [Serre 1965, p. V-2; Bruns and Herzog 1993, Corollary 4.6.8, p. 189] that n = X n em R (In(J)/I ) `Rp ((In(J)/I )p)e(m R/p), p where the sum is over the finite set of primes p ∈ Spec(R) such that dim R/p = s. This sum is thus over the finite set A. Suppose that p ∈ A and n ≥ n0. Then n T I p = qi (n)p, where the intersection is over the qi (n) such that pi ⊂ p, and T In(J) = qi (n)p, where the intersection is over the qi (n) such that J 6⊂ pi and pi ⊂ p. Thus, there = exists an index i0 such that pi0 p and n = ∩ I p qi0 (n)p In(J)p. By (23), n sat (I p ) = In(J)p for n ≥ n0. Since Rp satisfies one of the cases (1) or (3) of Theorem 6.1 or the conditions of[Cutkosky 2011, Corollary 1.5] and dim Rp = d−s (as R is universally catenary), the limit ` ((I (J)/I ) ) lim R n n p n→∞ nd−s exists. 2076 Steven Dale Cutkosky
Theorem 6.5. Suppose that R is a d-dimensional local ring such that either (1) R is regular or (2) R is analytically unramified and equicharacteristic with perfect residue field.
Suppose that {Ii } is a graded family of m R-primary ideals in R. Then ` (R/I ) e(I ) lim R n = lim p . n→∞ nd /d! p→∞ pd
Here e(I p) is the multiplicity
k `R(R/I p) e(I p) = eI (R) = lim . p k→∞ kd /d! Theorem 6.5 is proven for valuation ideals associated to an Abhyankar valuation in a regular local ring that is essentially of finite type over a field in[Ein et al. 2003], for general families of m R-primary ideals when R is a regular local ring containing a field in[Musta t,aˇ 2002] and when R is a local domain that is essentially of finite type over an algebraically closed field k with R/m R = k in[Lazarsfeld and Musta t,a˘ 2009, Theorem 3.8]. c Proof of Theorem 6.5. There exists c ∈ ޚ+ such that m R ⊂ I1. We first prove the theorem when R satisfies the assumptions of Theorem 4.2. Let ν be the valuation of Q(R) constructed from S in the proof of Theorem 4.2 with associated valuation ideals Kλ in the valuation ring Vν of ν. Apply Lemma 4.3 if R is not regular to find α ∈ ޚ+ such that
n Kαn ∩ R ⊂ m R for all n ∈ ގ. When R is regular so that R = S, the existence of such an α follows directly from (7). We will use the function ϕ : R \{0} → ގd+1 of the proof of Theorem 4.2. We have that cn Kαcn ∩ R ⊂ m R ⊂ In for all n. Let
0(I∗) = {(n1,..., nd , i) | (n1,..., nd ) ∈ ϕ(Ii ) and n1 + · · · + nd ≤ αci},
0(R) = {(n1,..., nd , i) | (n1,..., nd ) ∈ ϕ(R) and n1 + · · · + nd ≤ αci}.
As in the proof of Theorem 4.2, 0(I∗) and 0(R) satisfy the conditions (1)–(3). For fixed p ∈ ޚ+, let
k 0(I∗)(p) = {(n1,..., nd , kp) | (n1,..., nd ) ∈ ϕ(I p) and n1 + · · · + nd ≤ αckp}. Multiplicities associated to graded families of ideals 2077
We have inclusions of semigroups
k0(I∗)p ⊂ 0(I∗)(p)kp ⊂ 0(I∗)kp for all p and k. By Theorem 3.2, given ε > 0, there exists p0 such that p ≥ p0 implies
#k0(I∗)p vol(1(0(I∗))) − ε ≤ lim . k→∞ kd pd Thus, #0(I∗)(p)kp vol(1(0(I∗))) − ε ≤ lim ≤ vol(1(0(I∗))). k→∞ kd pd
Again by Theorem 3.2, we can choose p0 sufficiently large so that we also have #0(R) vol(1(0(R))) − ε ≤ lim kp ≤ vol(1(0)). k→∞ kd pd Now k `R(R/I p) = #0(R)pk − #0(I∗)(p)kp,
`R(R/In) = #0(R)n − #0(I∗)n. By Theorem 3.1,
`R(R/In) lim = vol(1(0(R))) − vol(1(0(I∗))). n→∞ nd Thus,
k ` (R/I ) `R(R/I ) e(I ) ` (R/I ) lim R n − ε ≤ lim p = p ≤ lim R n + ε. n→∞ nd k→∞ kd pd d! pd n→∞ nd Taking the limit as p → ∞, we obtain the conclusions of the theorem. Now assume that R is general, satisfying the assumptions of the theorem. We reduce to the above case by a series of reductions, first taking the completion of R, then modding out by minimal primes and taking a base extension by a finite Galois extension. The proof thus reduces to showing that e (I , R) ` (R/I ) lim d p = lim R n p→∞ pd n→∞ nd /d! in each of the following cases: ˆ ˆ ˆ ˆ e (I R, R) ` ˆ (R/In R) (a) lim d p = lim R . p→∞ pd n→∞ nd /d! 2078 Steven Dale Cutkosky
(b) Suppose that the minimal primes of (the reduced ring) R are {q1,..., qs}. Let Ri = R/qi , and suppose that e (I R , R ) ` (R /I R ) lim d p i i = lim Ri i n i p→∞ pd n→∞ nd /d! for all i. (c) Suppose that k ⊂ R is a field and k0 is a finite Galois extension of k con- taining R/m R. Let {p1,..., pr } be the maximal ideals of the semilocal ring 0 S = R ⊗k k . Suppose that
e (I S , S ) `S (Sp /In Sp ) lim d p pi pi = lim pi i i p→∞ pd n→∞ nd /d! for all i. Recall that k e (I , R) `R(R/I ) d p = lim p . d! k→∞ kd Case (a) follows since k = ˆ k ˆ `R(R/I p) `Rˆ (R/I p R) for all p and k. In case (b), we have that e (I , R) s e (I R , R ) d p = X d p i i pd pd i=1 by the additivity formula [Serre 1965, §V-3; Bruns and Herzog 1993, Corollary 4.6.8, p. 189] or directly from Lemma 5.1. Case (b) thus follows from the fact that s `R(R/In) X `R(Ri /In Ri ) lim = lim n→∞ nd k→∞ nd i=1 by Lemma 5.1. 0 ∼ 0 In case (c), we have that k is Galois over k so that S/pi = k for all i by Remark 5.5. Thus, Lemma 5.7 becomes r X ` (R/I k) = ` (S /I k S ) R p Spi pi p pi i=1 for all p and k, from which this case follows.
Suppose that R is a Noetherian ring and {Ii } is a graded family of ideals in R. Let s = s(I∗) = lim sup dim R/Ii . Multiplicities associated to graded families of ideals 2079
Let i0 ∈ ޚ+ be the smallest integer such that
dim R/Ii ≤ s for i ≥ i0. (25)
For i ≥ i0 and p a prime ideal in R such that dim R/p = s, we have that (Ii )p = Rp or (Ii )p is pp-primary. In general, s is not a limit as is shown by the following simple example: Example 6.6. Suppose that R is a Noetherian ring and p ⊂ q ⊂ R are prime ideals. Let p if i is odd, Ii = q if i is even. We have that p2 or q2 if i + j is even, Ii I j = pq if i + j is odd.
Thus, Ii I j ⊂ Ii+ j for all i and j and dim R/p if i is odd, dim R/Ii = dim R/q if i is even. Let T = T (I∗) = p ∈ Spec(R)
| dim R/p = s and there exist arbitrarily large j such that (I j )p 6= Rp .
Lemma 6.7. T (I∗) is a finite set. Proof. Let U be the set of prime ideals p of R that are an associated prime of some Ii with i0 ≤ i ≤ 2i0 − 1 and ht p = s. Suppose that q ∈ T . There exists j ≥ i0 such that (I j )q 6= Rq . We can write j = ai0 +(i0 +k) with 0 ≤ k ≤ i0 −1 and a ≥ 0. a a Thus, I I + ⊂ I . Thus, q ∈ U since (I I + ) 6= R . i0 i0 k j i0 i0 k q q
Lemma 6.8. There exist c = c(I∗) ∈ ޚ+ such that if j ≥ i0 and p ∈ T (I∗), then jc p Rp ⊂ I j Rp.
a Proof. There exists a ∈ ޚ+ such that for all p ∈ T , pp ⊂ (Ii )p for i0 ≤ i ≤ 2i0 − 1. Write j = ti0 + (i0 + k) with t ≥ 0 and 0 ≤ k ≤ i0 − 1. Then
(t+1)a t p ⊂ I I + R ⊂ I R . p i0 i0 k p j p
Let c = da/i0e + a. Then a a jc ≥ a + j = a + (ti0 + i0 + k) ≥ (t + 1)a. i0 i0 jc (t+1)a Thus, pp ⊂ pp ⊂ (I j )p. 2080 Steven Dale Cutkosky
Let
A(I∗) = {q ∈ T (I∗) | In Rq is qq -primary for n ≥ i0}.
Lemma 6.9. Suppose that q ∈ T (I∗) \ A(I∗). Then there exists b ∈ ޚ+ such that b qq ⊂ (In)q for all n ≥ i0. ∈ ≥ = ∈ Proof. There exists n0 ޚ+ such that n0 i0 and (In0 )q Rq . Let b ޚ+ be such b that qq ⊂ (In)q for 0 ≤ n < n0. Suppose that n0 ≤ n. Write n = βn0 +α with β ≥ 0 and 0 ≤ α < n0. Then qb ⊂ (I β I ) ⊂ (I ) . q n0 α q n q We obtain the following asymptotic additivity formula: Theorem 6.10. Suppose that R is a d-dimensional local ring such that either (1) R is regular or (2) R is analytically unramified of equicharacteristic 0.
Suppose that {Ii } is a graded family of ideals in R. Let s = s(I∗) = lim sup dim R/Ii and A = A(I∗). Suppose that s < d. Then es(m R, R/In) X e((Ik)q ) lim = lim e(m R/q ). n→∞ nd−s/(d − s)! k→∞ kd−s q∈A
Proof. Let i0 be the (smallest) constant satisfying (25). By the additivity formula [Serre 1965, p. V-2; Bruns and Herzog 1993, Corollary 4.6.8, p. 189], for i ≥ i0, = X es(m R, R/Ii ) `Rp (Rp/(Ii )p)em R (R/p), p where the sum is over all prime ideals p of R with dim R/p = s. By Lemma 6.7, for i ≥ i0, the sum is actually over the finite set T (I∗) of prime ideals of R. For p ∈ T (I∗), Rp is a local ring of dimension at most d − s. Further, Rp is analytically unramified[Rees 1961; Huneke and Swanson 2006, Proposition 9.1.4]. ic By Lemma 6.8 and by Theorem 4.6 or 5.8, replacing (Ii )p with pp if i < i0, we have that `R (Rp/(Ii )p) lim p i→∞ i d−s exists. Further, this limit is zero if p ∈ T (I∗)\ A(I∗) by Lemma 6.9 and since s < d. Finally, we have `R (Rq /(Ii )q ) e(I ) (Rq ) lim q = lim k q i→∞ i d−s/(d − s)! k→∞ kd−s for q ∈ A(I∗) by Theorem 6.5. Multiplicities associated to graded families of ideals 2081
7. An application to growth of valuation semigroups
As a consequence of our main result, we obtain the following theorem, which gives a positive answer to a question raised in[Cutkosky et al. 2010a]. This formula was established if R is a regular local ring of dimension 2 with algebraically closed residue field in[Cutkosky et al. 2010a] and if R is an arbitrary regular local ring of dimension 2 in[Cutkosky and Vinh 2011] using a detailed analysis of a generating sequence associated to the valuation. A valuation ω dominating a local domain R is zero-dimensional if the residue field of ω is algebraic over R/m R. Theorem 7.1. Suppose that R is a regular local ring or an analytically unramified local domain. Further suppose that R has an algebraically closed residue field. Let d > 0 be the dimension of R. Let ω be a zero-dimensional rank-1 valuation of the quotient field of R that dominates R. Let S R(ω) be the semigroup of values of elements of R, which can be regarded as an ordered subsemigroup of ޒ+. For n ∈ޚ+, define ϕ(n) = |S R(ω) ∩ (0, n)|.
Then ϕ(n) lim n→∞ nd exists.
Proof. Let In = { f ∈ R | ω( f ) ≥ n} and λ = ω(m R) = min{ω( f ) | f ∈ m R}. Let c c ∈ ޚ+ be such that cλ > 1. Then m R ⊂ I1. By Theorem 4.6 or 5.2, we have that ` (R/I ) lim R n n→∞ nd exists. Since R has an algebraically closed residue field, we have by[Cutkosky et al. 2010a; Cutkosky and Teissier 2010] that
#ϕ(n) = `R(R/In) − 1.
Thus, the theorem follows. ≤ 1 In[Cutkosky et al. 2010a], it is shown that the real numbers β with 0 β < 2 are the limits attained on a regular local ring R of dimension 2.
Acknowledgment
We thank the referee for their careful reading of this paper and for suggesting that we present the theorems with the less restrictive assumption of analytically unramified instead of reduced and excellent. 2082 Steven Dale Cutkosky
References
[Brodmann 1979] M. Brodmann, “Asymptotic stability of Ass(M/I n M)”, Proc. Amer. Math. Soc. 74:1 (1979), 16–18. MR 80c:13012 Zbl 0372.13010 [Bruns and Herzog 1993] W. Bruns and J. Herzog, Cohen–Macaulay rings, Cambridge Studies in Advanced Mathematics 39, Cambridge University Press, 1993. MR 95h:13020 Zbl 0788.13005 [Cutkosky 2011] S. D. Cutkosky, “Asymptotic growth of saturated powers and epsilon multiplicity”, Math. Res. Lett. 18:1 (2011), 93–106. MR 2012b:13060 Zbl 1238.13012 [Cutkosky and Srinivas 1993] S. D. Cutkosky and V. Srinivas, “On a problem of Zariski on dimensions of linear systems”, Ann. of Math. (2) 137:3 (1993), 531–559. MR 94g:14001 Zbl 0822.14006 [Cutkosky and Teissier 2010] S. D. Cutkosky and B. Teissier, “Semigroups of valuations on local rings, II”, Amer. J. Math. 132:5 (2010), 1223–1247. MR 2011k:13005 Zbl 1213.13010 [Cutkosky and Vinh 2011] S. D. Cutkosky and P. A. Vinh, “Valuation semigroups of two dimensional local rings”, preprint, 2011. arXiv 1105.1448 [Cutkosky et al. 2005] S. D. Cutkosky, H. T. Hà, H. Srinivasan, and E. Theodorescu, “Asymp- totic behavior of the length of local cohomology”, Canad. J. Math. 57:6 (2005), 1178–1192. MR 2006f:13014 Zbl 1095.13015 [Cutkosky et al. 2010a] S. D. Cutkosky, K. Dalili, and O. Kashcheyeva, “Growth of rank 1 valuation semigroups”, Comm. Algebra 38:8 (2010), 2768–2789. MR 2011j:13007 Zbl 1203.13003 [Cutkosky et al. 2010b] S. D. Cutkosky, J. Herzog, and H. Srinivasan, “Asymptotic growth of algebras associated to powers of ideals”, Math. Proc. Cambridge Philos. Soc. 148:1 (2010), 55–72. MR 2011a:13009 Zbl 1200.13010 [Ein et al. 2003] L. Ein, R. Lazarsfeld, and K. E. Smith, “Uniform approximation of Abhyankar valuation ideals in smooth function fields”, Amer. J. Math. 125:2 (2003), 409–440. MR 2003m:13004 Zbl 1033.14030 [Fujita 1994] T. Fujita, “Approximating Zariski decomposition of big line bundles”, Kodai Math. J. 17:1 (1994), 1–3. MR 95c:14053 Zbl 0814.14006 [Fulger 2011] M. Fulger, “Local volumes on normal algebraic varieties”, preprint, 2011. arXiv 1105. 2981 [Grothendieck 1965] A. Grothendieck, “Éléments de géométrie algébrique, IV: Étude locale des schémas et des morphismes de schémas, II”, Inst. Hautes Études Sci. Publ. Math. 24 (1965), 5–231. MR 33 #7330 Zbl 0135.39701 [Herzog et al. 2008] J. Herzog, T. J. Puthenpurakal, and J. K. Verma, “Hilbert polynomials and powers of ideals”, Math. Proc. Cambridge Philos. Soc. 145:3 (2008), 623–642. MR 2009i:13028 Zbl 1157.13013 [Hübl 2001] R. Hübl, “Completions of local morphisms and valuations”, Math. Z. 236:1 (2001), 201–214. MR 2002d:13003 Zbl 1058.13014 [Huneke and Swanson 2006] C. Huneke and I. Swanson, Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series 336, Cambridge University Press, 2006. MR 2008m:13013 Zbl 1117.13001 [Kaveh and Khovanskii 2012] K. Kaveh and A. G. Khovanskii, “Newton–Okounkov bodies, semi- groups of integral points, graded algebras and intersection theory”, Ann. of Math. (2) 176:2 (2012), 925–978. MR 2950767 Zbl 06093944 [Khovanskii 1992] A. G. Khovanskii, “Newton polyhedron, Hilbert polynomial and sums of finite sets”, Funct. Anal. Appl. 26:4 (1992), 276–281. MR 94e:14068 Zbl 0809.13012 Multiplicities associated to graded families of ideals 2083
[Kleiman 2010] S. Kleiman, “The -multiplicity as a limit”, communication to the author, 2010. [Lazarsfeld 2004] R. Lazarsfeld, Positivity in algebraic geometry, I: Classical setting, line bundles and linear series, Ergeb. Math. Grenzgeb. (3) 48, Springer, Berlin, 2004. MR 2005k:14001a Zbl 1066.14021 [Lazarsfeld and Mustat,a˘ 2009] R. Lazarsfeld and M. Mustat,a,˘ “Convex bodies associated to linear series”, Ann. Sci. Éc. Norm. Supér. (4) 42:5 (2009), 783–835. MR 2011e:14012 Zbl 1182.14004 [Matsumura 1986] H. Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathe- matics 8, Cambridge University Press, 1986. MR 88h:13001 Zbl 0603.13001 [Mustat,aˇ 2002] M. Mustat,a,ˇ “On multiplicities of graded sequences of ideals”, J. Algebra 256:1 (2002), 229–249. MR 2003k:13030 Zbl 1076.13500 [Okounkov 1996] A. Okounkov, “Brunn–Minkowski inequality for multiplicities”, Invent. Math. 125:3 (1996), 405–411. MR 99a:58074 Zbl 0893.52004 [Okounkov 2003] A. Okounkov, “Why would multiplicities be log-concave?”, pp. 329–347 in The orbit method in geometry and physics (Marseille, 2000), edited by C. Duval et al., Progr. Math. 213, Birkhäuser, Boston, MA, 2003. MR 2004j:20022 Zbl 1063.22024 [Rees 1956] D. Rees, “Valuations associated with a local ring, II”, J. London Math. Soc. 31 (1956), 228–235. MR 18,8c Zbl 0074.26401 [Rees 1961] D. Rees, “A note on analytically unramified local rings”, J. London Math. Soc. 36 (1961), 24–28. MR 23 #A3761 Zbl 0115.26202 [Rees 1989] D. Rees, “Izumi’s theorem”, pp. 407–416 in Commutative algebra (Berkeley, CA, 1987), edited by M. Hochster et al., Math. Sci. Res. Inst. Publ. 15, Springer, New York, 1989. MR 90g:13010 Zbl 0741.13011 [Serre 1965] J.-P. Serre, Algèbre locale: multiplicités, 2nd ed., Lecture Notes in Mathematics 11, Springer, Berlin, 1965. MR 34 #1352 Zbl 0142.28603 [Swanson 1997] I. Swanson, “Powers of ideals: primary decompositions, Artin–Rees lemma and regularity”, Math. Ann. 307:2 (1997), 299–313. MR 97j:13005 Zbl 0869.13001 [Ulrich and Validashti 2011] B. Ulrich and J. Validashti, “Numerical criteria for integral dependence”, Math. Proc. Cambridge Philos. Soc. 151:1 (2011), 95–102. MR 2012k:13011 Zbl 1220.13006 [Zariski and Samuel 1958] O. Zariski and P. Samuel, Commutative algebra, vol. 1, Van Nostrand Company, Princeton, NJ, 1958. MR 19,833e Zbl 081.26501 [Zariski and Samuel 1960] O. Zariski and P. Samuel, Commutative algebra, vol. 2, Van Nostrand Company, Princeton, NJ, 1960. MR 22 #11006 Zbl 0121.27801
Communicated by Craig Huneke Received 2012-07-20 Revised 2012-10-11 Accepted 2012-11-17 [email protected] Department of Mathematics, University of Missouri, Columbia, MO, 65211, United States
mathematical sciences publishers msp
ALGEBRA AND NUMBER THEORY 7:9 (2013) msp dx.doi.org/10.2140/ant.2013.7.2085
Normal coverings of linear groups John R. Britnell and Attila Maróti
For a noncyclic finite group G, let γ (G) denote the smallest number of conjugacy classes of proper subgroups of G needed to cover G. In this paper, we show 2 that if G is in the range SLn(q) ≤ G ≤ GLn(q) for n > 2, then n/π < γ (G) ≤ (n + 1)/2. This result complements recent work of Bubboloni, Praeger and Spiga on symmetric and alternating groups. We give various alternative bounds and derive explicit formulas for γ (G) in some cases.
1. Introduction
Normal coverings. Let G be a noncyclic finite group. We write γ (G) for the smallest number of conjugacy classes of proper subgroups of G needed to cover it. In other words, γ (G) is the least k for which there exist subgroups H1,..., Hk < G such that k [ [ g G = Hi . i=1 g∈G
G We say that the set of conjugacy classes {Hi | i = 1,..., k} is a normal covering for G. Bubboloni and Praeger[2011] have recently investigated γ (G) in the case that G is a finite symmetric or alternating group. They show, for example, that if n is an odd composite number then φ(n) n−1 + 1 ≤ γ (Sn) ≤ , 2 2 where φ is Euler’s totient function. Similar results are established for all values of n and for both Sn and An. Part of the motivation for their work comes from an application in number theory.
Britnell was supported by a Research Fellowship at the Heilbronn Institute for Mathematical Research. The research of Maróti was supported by a Marie Curie International Reintegration Grant within the seventh European Community Framework Programme, by the János Bolyai Research Scholarship of the Hungarian Academy of Sciences and by OTKA K84233. MSC2010: primary 20D60; secondary 20G40. Keywords: covering, normal covering, linear group, finite group.
2085 2086 John R. Britnell and Attila Maróti
It is a well-known theorem of Jordan that no finite group is covered by the conjugates of any proper subgroup. To paraphrase, γ (G) 6= 1 for any finite group G. It is known that there exists a finite solvable group G with γ (G) = k for every k > 1 [Crestani and Lucchini 2012]. It has been shown in[Bubboloni and Lucido 2002] that if G is one of the groups GLn(q), SLn(q), PGLn(q) or PSLn(q), then γ (G) = 2 if and only if n ∈ {2, 3, 4}. (Notice that γ is undefined for n = 1 since the groups are cyclic in this case.) Other groups of Lie type possessing a normal covering of size 2 have been studied in [Bubboloni et al. 2006; 2011]. In this paper, we give bounds on γ (G), where SLn(q) ≤ G ≤ GLn(q), for all values of n. In some cases, we are able to give an exact value. Our bounds extend without change to G/Z(G). We introduce some notation. We write bxc for the integer part of a real number x. As already noted above, φ denotes Euler’s function. We shall also use Lehmer’s partial totient function, which we define here. Definition. Let k and t be such that 0 ≤ t < k < n. We define the partial totient φ(k, t, n) to be the number of integers x, coprime with n, such that nt n(t +1) < x < . k k We give two separate upper bounds on γ (G). Theorem 1.1. Let n ∈ ގ, and let ν = ν(n) be the number of prime factors of n. Let p1,..., pν be the distinct prime factors of n with p1 < p2 < ··· < pν. Let G be a group such that SLn(q) ≤ G ≤ GLn(q). (1) If ν ≥ 2, then 1 1 n γ (G) ≤ 1 − 1 − + 2. p1 p2 2 (2) If n > 6, then jn k γ (G) ≤ + φ(6, 2, n) + ν. 3 A great deal of information is given in[Lehmer 1955, §6] about the function φ(6, t, n), from which the following statement can be derived:
0 if n is divisible either by 9 or by a prime φ(n) of the form 3k + 1 for k ∈ ގ, − φ(6, 2, n) = 6 1 λ(n)2ν otherwise, if n is divisible by 3, 12 1 ν 6 λ(n)2 otherwise, if n is not divisible by 3, in which λ(n) = (−1)`, where ` is the number of prime divisors of n counted with multiplicity. Normal coverings of linear groups 2087
Independent sets of conjugacy classes. Let κ(G) be the size of the largest set of conjugacy classes of G such that any pair of elements from distinct classes generates G. We call such a set an independent set of classes. Guralnick and Malle[2012] have shown that κ(G) ≥ 2 for any finite simple group G. It is clear that whenever γ (G) is defined, we have the inequality κ(G) ≤ γ (G) since if Ꮿ is a normal covering of G, and if Ᏽ is an independent set of classes, then each element of Ꮿ covers at most one element of Ᏽ. We establish two lower bounds for κ(G). By the observation of the previous paragraph, these also operate as lower bounds for γ (G). Theorem 1.2. Let n ∈ ގ, and let ν = ν(n) be the number of prime factors of n. Let p1,..., pν be the distinct prime factors of n with p1 < p2 < ··· < pν. Let G be a group such that SLn(q) ≤ G ≤ GLn(q). (1) If ν ≥ 2, then φ(n) + ν(n) ≤ κ(G). 2 (2) If ν ≥ 3, and if n is not equal to 6p or 10p for any prime p, then jn+6k + φ(12, 1, 3n) + ν ≤ κ(G). 12 Furthermore, if hcf(n, 6) = 1, then jn+6k + φ(12, 1, 3n) + φ(12, 0, n) + ν ≤ κ(G). 12 The values t = 0, 1 are not amongst those for which the function φ(12, t, n) is evaluated explicitly in[Lehmer 1955]. However, Theorem 10 of the same work gives the general estimate |φ(n) − kφ(k, t, n)| ≤ (k − 1)2ν, where ν is the number of prime divisors of n. This yields the lower bound φ(n) 11 φ(12, t, n) ≥ − 2ν. 12 12 There are certain cases in which an upper bound for γ (G) coincides with a lower bound for κ(G). In these cases, we must have γ (G) = κ(G), and we obtain a precise formula.
Theorem 1.3. Let G be a group such that SLn(q) ≤ G ≤ GLn(q). (1) If n = pa, where p is a prime and a ∈ ގ, and if n > 2, then 1 n γ (G) = κ(G) = 1 − + 1. p 2 2088 John R. Britnell and Attila Maróti
(2) If n = paqb, where p and q are distinct primes and a, b ∈ ގ, then 1 1 n γ (G) = κ(G) = 1 − 1 − + 2. p q 2 (3) If n = 6p, where p is a prime, then γ (G) = κ(G) = p + 2. (4) If n = 10p, where p is a prime, then γ (G) = κ(G) = 2p + 2. Certain cases of Theorem 1.3 will require independent treatment as they arise as exceptional cases in the proof of Theorem 1.2.
Linear bounds. Theorems 1.1(1), 1.2(2) and 1.3, taken together, imply that n n+1 < κ(G) ≤ γ (G) ≤ (1) 12 2 for all n > 2. The upper bound is exact when n is an odd prime. (When n = 2, it is known that γ (G) = 2; see[Bubboloni and Lucido 2002] or the remark after Proposition 4.1 below. It is also easy to show that κ(G) = 2 in this case.) It follows immediately that γ (G) 1 lim sup = . (2) n 2 The lower bound for γ can be improved as the following theorem indicates: 2 Theorem 1.4. If G is a group such that SLn(q) ≤ G ≤ GLn(q), then n/π < γ (G). From the first part of Theorem 1.1 and from Theorem 1.4, it is easy to show that 1 γ (G) 1 ≤ lim inf ≤ . (3) π 2 n 6 It follows from the theorems that we have stated that γ (G) and κ(G) are bounded above and below by monotonic functions that grow linearly with n. It appears that the situation for symmetric groups is similar. It was announced in[Bubboloni et al. 2012, §1.1] and demonstrated in[Bubboloni et al. 2013] that γ (Sn) and γ (An) are bounded above and below by linear functions of n. In fact, the numbers γ (Sn) and γ (GLn(q)) seem to be closely related; in all cases where both are known exactly, they differ by at most 1. It is not hard to show, and it is worth remarking in this connection, that the upper bounds stated for γ (G) in Theorem 1.1 are also upper bounds for γ (Sn) improving marginally on those of[Bubboloni and Praeger 2011, Theorem A]. It should also be noted that all of our bounds are independent of the field size q. We establish the upper bounds of Theorem 1.1 in Section 2 by exhibiting explicit normal coverings of the necessary sizes. This builds on work described in[Britnell et al. 2008], in which coverings of GLn(q) by proper subgroups are constructed. The two lower bounds of Theorem 1.2 are proved in Section 3. Both are proved by exhibiting an independent set of classes. This requires an account of overgroups of Normal coverings of linear groups 2089 certain special elements in GLn(q). For such an account, we rely on[Guralnick et al. 1999], which provides a classification of subgroups whose orders are divisible by primitive prime divisors of qd − 1 for all d > n/2. The remaining cases of Theorem 1.3 are brought together in Section 4. Finally, Theorem 1.4 is established in Section 5. Its proof relies on work from the doctoral thesis of Joseph DiMuro[2007], which extends the classification of[Guralnick et al. 1999] to cover all d ≥ n/3. The classes of subgroups in our normal covering remain distinct, proper and nontrivial in the quotient of G by Z(G). This is true also of the classes of maximal overgroups that cover the conjugacy classes in our independent sets. It follows that the bounds that we have stated for γ (G) and for κ(G) hold equally for γ (G/Z(G)) and for κ(G/Z(G)).
2. Normal coverings of G
n We shall write V for the space ކq . We assume that SL(V )≤ G ≤GL(V ) throughout the paper. We begin by introducing the classes of subgroups that we shall need for our coverings. Proposition 2.1 below contains standard information about certain subgroups of GLn(q), and we shall not prove it here. d Proposition 2.1. (1) Let d be a divisor of n. There exist embeddings of GLn/d (q ) into GLn(q). All such embeddings are conjugate by elements of SLn(q), and each has index d in its normalizer in GLn(q). If d is prime, then the normalizer is a maximal subgroup of GLn(q). (2) Suppose that 1 ≤ k < n, and let U be a k-dimensional subspace of V . Then the set stabilizer GU of U in G is a maximal subgroup of G. If W is another k-dimensional subspace, then GU and GW are conjugate in G. It will be convenient to have concise notation for these subgroups. Definition. (1) We refer to the maximal subgroups of Proposition 2.1(1) as exten- sion field subgroups of degree d, and we write efs(d) for the conjugacy class consisting of the intersections of all such subgroups with the group G. (2) We refer to the subgroups of Proposition 2.1(2) as subspace stabilizers of dimension k, and we write ss(k) for the conjugacy class consisting of all such subgroups. The following technical lemma will be useful: Lemma 2.2. (1) Suppose that X ∈ GL(V ) and that X stabilizes a k-dimensional subspace of V . Then X stabilizes a subspace whose dimension is n − k. (2) Let X ∈ GL(V ), and let p be a prime dividing n. If X lies in no extension field subgroup of degree p, then it stabilizes a subspace of V whose dimension is coprime with p. 2090 John R. Britnell and Attila Maróti
Proof. (1) Suppose X stabilizes a space U of dimension k. Then the transpose X t acts on the dual space V ∗ and stabilizes the annihilator of U, which has dimension n − k. (2) If X stabilizes no subspace whose dimension is coprime with p, then every irreducible divisor of its characteristic polynomial has degree divisible by p and must therefore split into p factors over ކq p . Suppose that the elementary divisors of a1 at X are f1 ,..., ft . For each i, let gi be an irreducible factor of fi over ކq p , and ∈ p a1 at let Y GLn/p(q ) have elementary divisors g1 ,..., gt . Then it is not hard to see p that any embedding of GLn/p(q ) into GLn(q) must map Y to a conjugate of X. We are now in a position to exhibit some normal coverings of G.
Lemma 2.3. (1) Let p be a prime dividing n. Then there is a normal covering Ꮿp for G given by
Ꮿp = {efs(p)} ∪ {ss(k) | 1 ≤ k ≤ n/2, p - k}.
The size of Ꮿp is j 1 n k |Ꮿ | = 1 − + 1 + , p p 2 where 1 if p = 2 and n/2 is odd, = 0 otherwise. This is minimized when p is the smallest prime divisor of n.
(2) Let p1 and p2 be distinct prime divisors of n. Then there is a normal covering
Ꮿp1,p2 for G given by = { } ∪ { | ≤ } Ꮿp1,p2 efs(p1), efs(p2) ss(k) 1 k < n/2, p1, p2 - k .
The size of Ꮿp1,p2 is | | = − 1 − 1 n + Ꮿp1,p2 1 1 2. p1 p2 2
This is minimized when p1 and p2 are the two smallest prime divisors of n.
Proof. The sizes of the sets Ꮿp and Ꮿp1,p2 are easily seen to be as stated. That Ꮿp is a normal covering follows immediately from Lemma 2.2. So it remains only to prove that C p1,p2 is a normal covering. Let X ∈ G, let f X be the characteristic polynomial of X, and let g1,..., gs be the irreducible factors of f X over ކq with degrees d1,..., ds, respectively. Then clearly there exist X-invariant subspaces U1,..., Us such that dim Ui = di for all i and such that Ui ∩ U j = {0} whenever i 6= j. If any di is divisible by neither of the primes p1 and p2, then X is contained in a subspace stabilizer from one of Normal coverings of linear groups 2091
the classes in Ꮿp1,p2 . So we assume that each di is divisible by at least one of p1 or p2. Suppose that da is divisible by p1 but not by p2 and that db is divisible by p2 but not by p1. Then Ua ⊕Ub is an X-invariant subspace, and its dimension is coprime with p1 and p2; so again, X is in a subspace stabilizer from Ꮿp1,p2 . But if no such da and db can be found, then either all of the di are divisible by p1 or they are all divisible by p2. In this case, X lies in an extension field subgroup either of degree p1 or of degree p2. We note that the argument of the last paragraph of this proof does not extend to the case of three primes, p1, p2 and p3. It is possible to find matrices whose invariant subspaces all have dimensions divisible by one of those primes but which lie in no extension field subgroup. In the case that the primes are 2, 3 and 5, for instance, there are 30-dimensional matrices whose irreducible invariant spaces have dimensions 2, 3 and 25. (Another example is used in the proof of Proposition 4.4 below.) This is the explanation for the appearance of the two smallest prime divisors of n in the first upper bound of Theorem 1.1, which may at first seem a little curious. The second upper bound of Theorem 1.1 is proved in a somewhat similar fashion.
Lemma 2.4. Let p1,..., pν be the distinct primes dividing n. Then there is a normal covering Ᏸ of G given by Ᏸ = {ss(k) | 1 ≤ k ≤ n/3} ∪ {ss(k) | n/3 < k ≤ n/2, hcf(k, n) = 1}
∪ {efs(pi ) | 1 ≤ i ≤ ν}. For n > 6, the size of Ᏸ is jn k + φ(6, 2, n) + ν. 3 Proof. Let X ∈ G. Suppose that X is reducible and that its smallest nontrivial invariant subspace has dimension k. If k > n/3, then it is not hard to see (for instance, by considering the irreducible factors of the characteristic polynomial) that X stabilizes at most one other proper nontrivial subspace of dimension n − k. It follows that if p is a prime dividing both n and k, then X is contained in an element of efs(p). It is now a straightforward matter to show that Ᏸ is a normal covering, and we omit further details. The size of Ᏸ follows immediately from its definition.
3. Lower bounds for κ(G)
n Recall that GLn(q) contains elements of order q − 1, known as Singer elements. Such elements stabilize no nontrivial proper subspace of V . The determinant of a Singer element generates the multiplicative group of ކq . 2092 John R. Britnell and Attila Maróti
In order to handle all groups G in the range SLn(q) ≤ G ≤ GLn(q) together, we define a parameter α ∈ ގ by
0 if G = SL (q), α = n −|GLn(q) : G| otherwise.
Let ζ be a generator of the multiplicative group of ކq . Then we have
G =∼ hζ αi. SLd (q)
Definition. (1) For d = 1,..., n, let 0d be a Singer element with determinant ζ in GLd (q). (2) For k < n/2, define
α−1 6k = diag(0k , 0n−k).
(3) For j < (n − 2)/4, define
α−2 Tj = diag(0 j , 0 j+1, 0n−2 j−1).
The reasons for defining α as above will be clear from the following remark:
α Remark. (1) Since det 6k = det Tj = ζ , we have 6k, Tj ∈ G. (2) It is clear from the definition of α that (1 − q) < α ≤ 0 and hence that α−1 |α − 2| < q + 1. It follows easily that the actions of the matrices 0k α−2 and 0 j are irreducible for all k and j. Therefore, the module ކq h6ki decomposes into precisely two irreducible summands, and ކq hTj i decomposes into precisely three irreducible summands.
Lemma 3.1. Suppose that n > 4. Let k < n/2, and if q = 2, then suppose that n − k 6= 6. Let j < (n − 2)/4, and if q = 2, then suppose that n − 2 j − 1 6= 6.
(1) If M is a maximal subgroup of G containing 0n, then M is an extension field subgroup of prime degree.
(2) If M is a maximal subgroup of G containing 6k, then M is either an extension field subgroup whose degree is a prime divisor of gcd(k, n) or else the stabilizer of a subspace of dimension k or n − k. (3) Let n have at least three distinct prime divisors. If M is a maximal subgroup of G containing Tj , then M is the stabilizer of a subspace whose dimension is one of j, j + 1, 2 j + 1, n − 2 j − 1, n − j − 1 or n − j. Normal coverings of linear groups 2093
Proof. Part (1) of the lemma is a result of Kantor[1980]. For (n, q) 6= (11, 2), part (2) of the lemma follows from[Britnell et al. 2008, Theorem 4.1(2)]. However, a few comments are to be made about this assertion. The matrix that we have called 6k is referred to as GLk in[Britnell et al. 2008]. The result in[Britnell et al. 2008] is stated only for the groups GLn(q) and SLn(q), but the proof given there applies equally to intermediate subgroups. Finally, the proof in[Britnell et al. 2008] relies on the existence of primitive prime divisors of qn−k − 1 (where n − k > 2), which is given by the theorem of Zsigmondy[1892] for all pairs (q, n − k) except (2, 4) and (2, 6); the second of these exceptions accounts for the excluded case in the statement of the present lemma. The argument uses the classification in[Guralnick et al. 1999] of subgroups of GLn(q) whose order is divisible by a prime divisor of qe − 1, where e > n/2. To finish the proof of part (2) of the present lemma, we must consider the exceptional case of the group GL11(2). In this case, we require a reference directly to the lists of[Guralnick et al. 1999]. We find that there are several irreducible subgroups whose order is divisible by a primitive prime divisor 11 of 210 − 1; we must show that none of these contains 61. All of these subgroups are almost simple and have a socle that is isomorphic either to one of the Mathieu groups M23 or M24 or to the unitary group PSU5(2) or to a linear group SL2(11) or SL2(23). (These subgroups may be found in Table 5 (lines 12 and 14) and Table 8 (lines 2, 7 and 9) of[Guralnick et al. 1999].) Information about these groups may be found in[Conway et al. 1985]. None of these groups themselves, nor any of their outer automorphism groups, have order divisible by 31. Therefore, an almost simple group of one of these types can contain no element of order 210 − 1 = 3 · 11 · 31, which is the order of the element 61. For the proof of part (3) of the lemma, we refer once again to the classification of[Guralnick et al. 1999], this time for matrix groups whose order is divisible n−2 j−1 by a primitive prime divisor of q − 1. It is not hard to see that Tj has no overgroups of classical type. The condition that n has three distinct prime divisors rules out the small dimensional sporadic examples contained in Tables 1–7. Other examples are ruled out because their order is less than qn−2 j−1 − 1, which is the order of the summand 0n−2 j−1 of Tj .
We define a set of classes that will help us to establish the first of our lower bounds for κ(G).
Definition. Define a set 8 of classes of G by 8 = [6p] p|n, p prime, p < n/2 ∪ [6k] k < n/2, hcf(n, k) = 1 , where [g] denotes the conjugacy class of g. 2094 John R. Britnell and Attila Maróti
Lemma 3.2. Let n > 2, and let ν(n) be the number of prime factors of n. Then
|8| = φ(n)/2 + ν(n) − , where 1 if n = 2p for some odd prime p, = 0 otherwise. Proof. This is immediate from the definition of 8. Lemma 3.2, together with the following two lemmas, will imply the first part of Theorem 1.2: Lemma 3.3. 8 is an independent set of classes.
Proof. Suppose that q 6= 2 or that [6n−6] ∈/ 8. Then Lemma 3.1 provides full information about the maximal subgroups of G that contain elements of 8, and it is easy to check that the result holds in this case. Next suppose that q = 2 and [6n−6] ∈ 8. (This implies that n ∈ {7, 8, 9, 11}.) Lemma 3.1 gives full information about the maximal subgroups of G covering elements of the classes in 8 other than [6n−6]. No class of subgroups contains elements of more than one such class, and it is easy to check that none covers the element 6n−6 itself. Lemma 3.4. Let n = 2p, where p > 2 is a prime. Then κ(G) ≥ |8| + 1. Proof. The proof of Lemma 3.3 shows that in any normal covering of G, the distinct classes in 8 are covered by distinct classes of subgroups. We add an extra conjugacy α−1 class to 8, namely the class represented by 6p = diag(0p , 0p), where 0p is a Singer element in GLp(q). This element stabilizes no subspace of dimension k for any k coprime with n nor does it stabilize a subspace of dimension 2 or n − 2. Therefore, by part (2) of Lemma 3.1, if 8 ∪ {[6p]} is not an independent set of classes, then 6p must lie in a subgroup in efs(2). 2 Note that since 2 and p are coprime, 6p has two irreducible summands of dimension p. It is not hard to show that these submatrices are not conjugate, and 2 neither of them is reducible over ކq2 ; it follows that 6p is not contained in any 2 embedding of GLp(q ) into G. Hence, 6p itself is not contained in an embedding 2 of GLp(q ) · 2. Lemmas 3.2, 3.3 and 3.4 complete the proof of part (1) of Theorem 1.2. We define a second independent set of classes that yields the second lower bound of Theorem 1.2. We shall require the following lemma: Lemma 3.5. Let p be a prime divisor of n. Suppose that n has at least three distinct prime divisors and that n is not equal to 6q or 10q for any prime q. Then there exists an integer wp such that (n − 2)/4 ≤ wp < n/2 and such that wp is divisible Normal coverings of linear groups 2095 by p and by no other prime divisor of n. If p 6= 3, then wp may be chosen so that it is not divisible by 3. Proof. Bertrand’s postulate states that for every k > 3 there is a prime r such that k < r < 2k − 2. The conditions on n imply that n ≥ 12p. So there is a prime r > 3 such that n n < r < . 4p 2p
If r is not itself a prime divisor of n or if it is equal to p, then we may take wp = pr. On the other hand, if r is a prime divisor of n other than p, then clearly n = 3pr, and since we have assumed that n ≥ 12p, we have r ≥ 5. Now we see that there exists m equal either to r + 1 or to r + 2 such that m is not divisible by 3, and we may take wp = pm. Definition. Let n be a number with at least three distinct prime divisors and not equal to 6p or 10p for any prime p. We define a set 9 of classes of G by
9 = {[Tj ] | j < (n − 2)/4, j ≡ 1 mod 3}
∪ {[6k] | n/4 < k < n/2, hcf(3n, k) = 1}
∪ {[66b] | b < n/12, hcf(n, 6b) = 1} ∪ [ ] | 6wp p n, p prime , where wp is as constructed in Lemma 3.5 and where [g] denotes the conjugacy class of g. To describe the size of the set 9, we use Lehmer’s partial totient function φ(k, t, n), which was defined before the statement of Theorem 1.1 above. Lemma 3.6. Let n have ν distinct prime divisors, where ν ≥ 3, and suppose that n is not equal to 6p or 10p for any prime p. (1) If 2 or 3 divides n, then jn+6k |9| = + φ(12, 1, 3n) + ν. 12 (2) If hcf(n, 6) = 1, then jn+6k |9| = + φ(12, 1, 3n) + φ(12, 0, n) + ν. 12 Proof. We write dxe for the least integer not less than x. The size X of the set {[Tj ] | j < (n−2)/4, j ≡ 1 mod 3} is dN/3e, where N = b(n−2)/4c. By examining residues modulo 12, it is not hard to show that X = b(n + 6)/12c, the first term in our sum. It is immediate from the definition of the function φ(k, t, n) that the size of the set {[6k] | n/4 < k < n/2, hcf(3n, k) = 1} is φ(12, 1, 3n). We observe that the set 2096 John R. Britnell and Attila Maróti [66b] b < n/12, hcf(n, 6b) = 1 is empty if hcf(n, 6) 6= 1; otherwise, it has size [ ] | φ(12, 0, n). And clearly the set 6wp p n, p prime has size ν as required. To establish the second lower bound in Theorem 1.2, it will suffice to show that any normal covering for G has size at least |9|. This is done in the following lemma: Lemma 3.7. Let n have at least three distinct prime divisors and not be equal to 6p or 10p for any prime p. Then 9 is an independent set of classes. Proof. Lemma 3.1 describes the maximal subgroups of G that contain elements of the classes in 9. The elements Tj lie only in members of ss(`) or ss(n − `), where ` ∈ { j, j +1, 2 j +1}. Notice that if ` > n/4, then ` = 2 j +1, and hence, ` ≡ 3 mod 6. The elements 6k, where k is coprime with n, lie only in members of ss(k) or ss(n−k).
And the elements 6wp lie in subspace stabilizers and also in elements of efs(p). It is easy to check that the values permitted for j, k, b and wp ensure that no two elements of distinct classes in 9 stabilize subspaces of the same dimension. Therefore, no two classes in 9 can be covered by a single class of subgroups.
4. Several equalities
In this section, we establish the various claims of Theorem 1.3. We do this simply by comparing upper and lower bounds from earlier parts of the paper. Proposition 4.1. If n = pa, where p is a prime and a ∈ ގ, and if n > 2, then 1 n γ (G) = κ(G) = 1 − + 1. p 2 Proof. Lemmas 2.3 and 3.3 together tell us that
|8| ≤ κ(G) ≤ γ (G) ≤ |Ꮿp|.
But it is easy to check, using Lemma 3.2, that |8| = |Ꮿp| and that this number is as claimed in the proposition.
Remark. If n = 2, then the covering Ꮿ2 has size 2. Since no finite group is covered by a single class of proper subgroups, it follow that γ (G) = 2 in this case. Proposition 4.2. If n = paqb, where p and q are distinct primes and a, b ∈ ގ, then 1 1 n γ (G) = κ(G) = 1 − 1 − + 2. p q 2 Proof. As in the proof above, Lemma 2.3 with Lemmas 3.3 and 3.4 yields that
|8| + ≤ κ(G) ≤ γ (G) ≤ |Ꮿp,q |, where = 1 if n = 2p (or n = 2q) and = 0 otherwise. But we see that |8| + = |Ꮿp,q | and that this number is as claimed in the proposition. Normal coverings of linear groups 2097
Proposition 4.3. If n = 6p, where p is a prime, then
γ (G) = κ(G) = p + 2.
Proof. In this case, we have
|8| ≤ κ(G) ≤ γ (G) ≤ |Ꮿ2,3|, and it is easy to calculate that |8| = |Ꮿ2,3| = p + 2. Proposition 4.4. If n = 10p, where p is a prime, then
γ (G) = κ(G) = 2p + 2.
Proof. If p is 2 or 5, then the result follows from Proposition 4.2; if p = 3, then it follows from Proposition 4.3. So we may assume that p > 5. Then we have
|8| ≤ κ(G) ≤ γ (G) ≤ |Ꮿ2,5|, but in this case, we see that |8| = 2p + 1 whereas |Ꮿ2,5| = 2p + 2. To prove that the upper bound is sharp for κ(G), it will be sufficient to exhibit an element Y of G that cannot be covered by any class of subgroups containing an element of any conjugacy class in 8. We define
α−2 Y = diag(0p , 05, 0n−p−5).
Notice that n − p − 5 is even and coprime with 5 and with p. It follows that Y does not stabilize a subspace of dimension coprime with n. But certainly Y lies in no extension field subgroup, and so it satisfies the required condition.
5. Proof of Theorem 1.4
For a positive integer n, let f (n) be the number of partitions of n with exactly three parts. By an elementary counting argument, the following formula can be found for f (n): 1 1 (n − 1)(n − 2) + b(n − 1)/2c if 3 - n, Lemma 5.1. f (n) = 12 2 1 − − + 1 b − c + 1 | 12 (n 1)(n 2) 2 (n 1)/2 3 if 3 n. It follows from Lemma 5.1 that n2 f (n) − ≤ 1 . 12 3 2 We define n = f (n) − n /12. Let P(n) be the set of partitions of n into three parts having no common divisor P greater than 1. Let g(n) = |P(n)|. Then we have f (n) = d|n g(d). By the Möbius 2098 John R. Britnell and Attila Maróti inversion formula, we obtain = X = X 1 2 + X g(n) µ(d) f (n/d) µ(d) 12 (n/d) µ(d)n/d d|n d|n d|n n2 X µ(d) X > + µ(d) 12 d2 n/d d|n d|n n2 Y 1 X > 1 − + µ(d) . 12 p2 n/d p prime d|n Since Y 1 6 1 − = , p2 π 2 p prime we have n2 X g(n) > + µ(d)n d . 2π 2 / d|n √ Now since the number of divisors of n is less than 2 n, we obtain the following lemma: Lemma 5.2. We have n2 2√ − n < g(n). 2π 2 3 The next lemma is the principal step in our proof. It gives information about the α−2 maximal overgroups in G of an element of the form diag(0a , 0b, 0c), where the degrees a, b and c are coprime. The proof relies on knowledge of the subgroups d of GLn(q) whose order is divisible by a primitive prime divisor of q − 1, where d > n/3. An account of such subgroups has been given in the doctoral dissertation of Joseph DiMuro[2007]; this work extends the classification of[Guralnick et al. 1999], which deals with the case d > n/2.1 Lemma 5.3. Let ν(n) ≥ 3, and let n ≥ 98. For λ = (a, b, c) ∈ P(n) with a ≤ b ≤ c and with a, b and c coprime, let α−2 g = gλ = diag(0a , 0b, 0c). Then every maximal overgroup M of g in G is a subspace stabilizer except possibly in the following cases: ∼ (i)2 | n, c = n/2 and M = G ∩ (GLn/2(q) o C2).
1 DiMuro’s dissertation aims to classify elements of GLn(q) of prime power order that act faithfully and irreducibly on a subspace of dimension n/3 or greater. However, we have been informed by its author that there is at present a gap in the argument concerning those elements whose orders are prime powers but not prime. For our purposes, only the results concerning elements of prime order are required. Normal coverings of linear groups 2099
∼ (ii) 4 | n, (a, b, c) = (2,(n −2)/2,(n −2)/2) and either M = G ∩(GLn/2(q)oC2) ∼ or M = G ∩ (GLn/2(q) ◦ GL2(q)).
(Here ◦ is used to denote a central product.)
Proof. We observe that V may be decomposed as Va ⊕ Vb ⊕ Vc, where Va, Vb and Vc are g-invariant subspaces of dimensions a, b and c, respectively. The action of g on each of these summands is irreducible. It follows that g lies in the stabilizers of proper subspaces of at least four different dimensions, and so g is covered by the class ss(k) for at least four values of k. Note that c > n/3 and that qc − 1 divides the order of g. Hence, a maximal overgroup M of g must belong to one of the classes of groups mentioned in[DiMuro 2007, §1.2]. We observe firstly that owing to our assumption that ν ≥ 3 and n ≥ 98, the subgroup M cannot be any of those in[DiMuro 2007, Tables 1.1–1.9]; this immediately rules out several of the Examples listed there. We shall go through the remaining Examples. Example 1. Classical examples. The determinant of g is a generator of the quotient G/ SLn(q), and so M cannot contain SLn(q). Any element of a symplectic or orthogonal group is similar to its own inverse; an element g of a unitary group is similar to its conjugate inverse g−τ , where τ is induced by an involutory field automorphism. (See[Wall 1963, §2.6 or (3.7.2)] for groups in characteristic 2.) If M normalizes a symplectic or orthogonal group H, then gq−1 lies in H itself, q−1 q−1 and so g is similar to its own inverse. Then it is clear that 0c is similar to its own inverse (it does not matter here whether b = c). But this cannot be the case since c > 2. Similarly, if M normalizes a unitary group U, then gq+1 lies in U, and it follows q+1 q+1 that g is similar to its conjugate inverse. But then it follows that 0c is similar to its conjugate inverse, and it is easy to show that this is not the case. Example 3. Imprimitive examples. Here M preserves a decomposition V = U1 ⊕ · · · ⊕ Ut for t ≥ 2. Let dim Ui = m so that n = mt. Recall that the hgi- module V is the direct sum of three irreducible submodules Va, Vb and Vc of dimensions a, b and c, respectively. So hgi has at most three orbits on the set of spaces Ui . Let r be the smallest integer such that Vc is contained in the direct sum of r of the spaces Ui . We observe that n/3 < c ≤ rm, and so m > n/3r. Without loss of generality, we may assume that Vc ≤ W = U1 ⊕ · · · ⊕ Ur . It is clear that W is g-invariant. Let g be the restriction of g to W. Then hgi acts transitively on r {U1,..., Ur }. Since g acts in the same way on each Ui for i ≤ r, an upper bound for the order of g is (qm − 1)r. But since m ≤ n/r and since n ≥ 98 by assumption, 2100 John R. Britnell and Attila Maróti we see that (qm − 1)r < qn/3 − 1 if r ≥ 4. Therefore, we must have r ≤ 3. r r It follows that Vc is a simple ކq hg i-module. Now since g commutes with the projections of W onto its summands Ui , we see that at least one of the spaces Ui contains an gr -invariant subspace of dimension c. So m > n/3, and hence, r 6= 3. Suppose that r = 2. Since gr has two fixed spaces of dimension m, we see that b = c = m and that Vb ⊕ Vc ≤ W. If W < V , then W = Vb ⊕ Vc. Now we see that m divides each of a and b + c = 2c. Since a, b and c are coprime, it follows that m = 2. But this implies that n < 6, which contradicts the assumption that n ≥ 98. So we may suppose that W = V . Then it is not hard to show that Va has two irreducible summands as a hg2i-module. But this can occur only when a = 2, and this accounts for the first of the exceptional cases of the lemma. Finally, if r = 1, then m ≥ c > n/3, and so t = 2. It is easy to see, in this case, that c = m = n/2, and this accounts for the second exceptional case of the lemma.
Example 4. Extension field examples. If g stabilizes an ކqr -structure on V , then r r g lies in the image of an embedding of GLn/r (q ) into GLn(q). Now if this is the case, then it is not hard, by considering the degrees of the eigenvalues of g over the fields ކq and ކqr , to show that r must divide each of a, b and c. But this implies that r = 1 since a, b and c are coprime.
Example 5. Tensor product decomposition examples. Here M stabilizes a nontrivial tensor product decomposition V = V1 ⊗ V2. There is an embedding of the central product GL(V1) ◦ GL(V2) into GLn(q), and M is the intersection of this group with G. For x1 ∈ GL(V1) and x2 ∈ GL(V2), we write (x1, x2) for the corresponding element of GL(V1) ◦ GL(V2). We shall suppose that V1 and V2 have dimensions n1 and n2, respectively, with n1 ≤ n2. Then since c > n/3, it is not hard to see that we have n1 = 2. Suppose g ∈ M, and let g1 ∈ GL(V1) and g2 ∈ GL(V2) be such that g = (g1, g2). Let h = gq2−1. Since the order of g is coprime with q, we see that the element 2 q −1 = ∈ g1 is the identity on V1, and so h (1, h2) for some h2 GL(V ). The largest dimension of an irreducible hhi-subspace of V is c, and there are at most two such subspaces. We obtain the hhi-subspace decomposition of V up to isomorphism by taking two copies of each summand of the hh2i-subspace decomposition of V2. It follows that there must be at least two summands of dimension c and hence that b = c and that a < b. It follows also that the a- dimensional summand of g splits into two summands as an ކq hhi-module. But it is not hard to see that this can occur only if a = 2, and so we have a = 2 and b = c = (n − 2)/2. This is the second exceptional case of the lemma.
Example 6. Subfield examples. These cannot occur since g is built up using Singer cycles, which do not preserve any proper subfield structure. Normal coverings of linear groups 2101
Example 7. Symplectic type examples. This class of groups exists only in prime- power dimension and cannot occur in the cases we are considering since we have assumed that ν ≥ 3. Example 8(a). Permutation module examples. In this case, S is an alternating group Am for some m√≥ 5. Then it is known that the order of an element in M is at most (q − 1) · eϑ m log m, where ϑ = 1.05314, by a result of Massias[1984]. Here√ n = m − 1 or m − 2. But a routine calculation shows that the inequality eϑ (n+2) log(n+2) < (qn/3 − 1)/(q − 1) holds for all q ≥ 2 and for all n ≥ 98. (This inequality fails when q = 2 and n = 97.) Example 11. Cross-characteristic groups of Lie type. The examples not yet ruled out are contained in[DiMuro 2007, Table 1.10]. But the order of an element of M 3 n/3 is less than n , which is less than q − 1 for n ≥ 98. Proof of Theorem 1.4. Define a set of classes of G by
α+q−1 = [0n ] ∪ [gλ] λ ∈ P(n) . Let Ꮿ be a set of conjugacy classes of subgroups of G that covers of the smallest size such that this is possible. Then clearly |Ꮿ| ≤ γ (G). By the theorem of Kantor [1980] mentioned in the proof of Lemma 3.1 above and by Lemma 5.3, we see that Ꮿ must contain a single class of extension field subgroups. If n ≥ 98 and ν ≥ 3, then each remaining element of Ꮿ is either a class of subspace stabilizers or else one of the classes of subgroups mentioned in the exceptional cases of Lemma 3.1. Each subspace stabilizer contains at most n/2 of the elements gλ, and each of the exceptional classes contains at most n/4. Now, using Lemma 5.2, we see that 2g(n) n γ (G) ≥ |Ꮿ| ≥ 1 + > n π 2 as required for the theorem. To remove the conditions that n ≥ 98 and that ν ≥ 3, it is enough to observe that the lower bound for κ(G) given by Theorem 1.2 is larger than n/π 2 in any case where either of these conditions fails.
References
[Britnell et al. 2008] J. R. Britnell, A. Evseev, R. M. Guralnick, P. E. Holmes, and A. Maróti, “Sets of elements that pairwise generate a linear group”, J. Combin. Theory Ser. A 115:3 (2008), 442–465. MR 2009b:20089 Zbl 1140.05033 [Bubboloni and Lucido 2002] D. Bubboloni and M. S. Lucido, “Coverings of linear groups”, Comm. Algebra 30:5 (2002), 2143–2159. MR 2003h:20088 Zbl 1007.20030 [Bubboloni and Praeger 2011] D. Bubboloni and C. E. Praeger, “Normal coverings of finite symmetric and alternating groups”, J. Combin. Theory Ser. A 118:7 (2011), 2000–2024. MR 2012e:20006 Zbl 1248.20005 2102 John R. Britnell and Attila Maróti
[Bubboloni et al. 2006] D. Bubboloni, M. S. Lucido, and T. Weigel, “Generic 2-coverings of finite groups of Lie type”, Rend. Sem. Mat. Univ. Padova 115 (2006), 209–252. MR 2007f:20087 Zbl 1156.20039 [Bubboloni et al. 2011] D. Bubboloni, M. S. Lucido, and T. Weigel, “2-Coverings of classical groups”, preprint, 2011. arXiv 1102.0660v1 [Bubboloni et al. 2012] D. Bubboloni, F. Luca, and P. Spiga, “Compositions of n satisfying some co- primality conditions”, J. Number Theory 132:12 (2012), 2922–2946. MR 2965200 Zbl 1251.05011 [Bubboloni et al. 2013] D. Bubboloni, C. E. Praeger, and P. Spiga, “Normal coverings and pair- wise generation of finite alternating and symmetric groups”, J. Algebra 390 (2013), 199–215. MR 3072118 [Conway et al. 1985] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson, Atlas of finite groups, Oxford University Press, Eynsham, 1985. MR 88g:20025 Zbl 0568.20001 [Crestani and Lucchini 2012] E. Crestani and A. Lucchini, “Normal coverings of solvable groups”, Arch. Math. (Basel) 98:1 (2012), 13–18. MR 2012m:20043 Zbl 1255.20027
[DiMuro 2007] J. DiMuro, On prime power elements of GLd (q) acting irreducibly on large subspaces, Ph.D. thesis, University of Southern California, 2007, Available at http://digitallibrary.usc.edu/ assetserver/controller/item/etd-DiMuro-20071119.pdf. [Guralnick and Malle 2012] R. Guralnick and G. Malle, “Simple groups admit Beauville structures”, J. Lond. Math. Soc. (2) 85:3 (2012), 694–721. MR 2927804 Zbl 1255.20009 [Guralnick et al. 1999] R. Guralnick, T. Penttila, C. E. Praeger, and J. Saxl, “Linear groups with orders having certain large prime divisors”, Proc. London Math. Soc. (3) 78:1 (1999), 167–214. MR 99m:20113 Zbl 1041.20035 [Kantor 1980] W. M. Kantor, “Linear groups containing a Singer cycle”, J. Algebra 62:1 (1980), 232–234. MR 81g:20089 Zbl 0429.20004 [Lehmer 1955] D. H. Lehmer, “The distribution of totatives”, Canad. J. Math. 7 (1955), 347–357. MR 16,998i Zbl 0064.27902 [Massias 1984] J.-P. Massias, “Majoration explicite de l’ordre maximum d’un élément du groupe symétrique”, Ann. Fac. Sci. Toulouse Math. (5) 6:3-4 (1984), 269–281. MR 87a:11093 Zbl 0574. 10043 [Wall 1963] G. E. Wall, “On the conjugacy classes in the unitary, symplectic and orthogonal groups”, J. Austral. Math. Soc. 3 (1963), 1–62. MR 27 #212 Zbl 0122.28102 [Zsigmondy 1892] K. Zsigmondy, “Zur Theorie der Potenzreste”, Monatsh. Math. Phys. 3:1 (1892), 265–284. MR 1546236 Zbl 24.0176.02
Communicated by David Benson Received 2012-07-28 Revised 2012-11-01 Accepted 2013-01-14 [email protected] Department of Mathematics, Imperial College London, South Kensington Campus, London SW7 2AZ, United Kingdom [email protected] Hungarian Academy of Sciences, Alfréd Rényi Institute of Mathematics, Reáltanoda utca 13–15, H-1053, Budapest, Hungary
mathematical sciences publishers msp ALGEBRA AND NUMBER THEORY 7:9 (2013) msp dx.doi.org/10.2140/ant.2013.7.2103
Modularity of the concave composition generating function George E. Andrews, Robert C. Rhoades and Sander P. Zwegers
A composition of an integer constrained to have decreasing then increasing parts is called concave. We prove that the generating function for the number of concave compositions, denoted v.q/, is a mixed mock modular form in a more general sense than is typically used. We relate v.q/ to generating functions studied in connection with “Moonshine of the Mathieu group” and the smallest parts of a partition. We demonstrate this connection in four different ways. We use the elliptic and modular properties of Appell sums as well as q-series manipulations and holomorphic projection. As an application of the modularity results, we give an asymptotic expansion for the number of concave compositions of n. For comparison, we give an asymptotic expansion for the number of concave compositions of n with strictly decreasing and increasing parts, the generating function of which is related to a false theta function rather than a mock theta function.
1. Introduction
A composition of an integer n is a sum of positive integers adding to n, in which order matters. The study of compositions has a long history dating back to MacMahon [1893]. The book of Heubach and Mansour[2010] contains more on the history of compositions. It is natural to impose restrictions on the ascents or descents of consecutive parts of a composition. For instance, compositions with no ascents correspond to integer partitions. A concave composition of n is a sum of integers of the form
L R X X ai c bi n C C D i 1 i 1 D D where a1 aL > c < b1 bR, where c 0 is the central part of Ä Ä the composition. Let V .n/ be the number of concave compositions of n. For
MSC2010: primary 05A17; secondary 11P82, 11F03. Keywords: concave composition, partition, unimodal sequences, mock theta function, mixed mock modular form.
2103 2104 George E. Andrews, Robert C. Rhoades and Sander P. Zwegers example, V .3/ 13 since 0; 3 , 3; 0 , 0; 1; 2 , 2; 1; 0 , 0; 1; 1; 1 , 1; 1; 1; 0 , D f g f g f g f g f g f g 1; 2 , 2; 1 , 1; 0; 2 , 2; 0; 1 , 1; 0; 1; 1 , 1; 1; 0; 1 , and 3 are all concave f g f g f g f g f g f g f g sequences. In[Andrews 2011] it was shown that the generating function for concave compositions with further restrictions is related to statistics for spiral self-avoiding random walks as well as other partition problems. Standard techniques show that the generating function for the sequence V .n/ f gn1 0 is given by D n X1 X1 q v.q/ V .n/qn WD D .qn 1 q/2 n 0 n 0 C D D I 1 Qn 1 j Q j where .x/n .x q/n j 0.1 xq / and .x/ .x q/ j1 0.1 xq /; D I WD 1 D I 1 WD see[Andrews 2013]. We establishD the modularity properties of v.qD/ as a mixed mock modular form. Theorem 1.1. Let q e2i and ވ. Define f ./ q.q/3 v.q/ and D 2 D 1 i Z i .z/3 p3 Z i .z/ f ./ f ./ ./3 1 dz ./ 1 dz y 1 3 WD 2 . i.z // 2 C 2i . i.z // 2 C C where the Dedekind -function is given by ./ q1=24.q/ . The function f D 1 y transforms as a modular form of weight 2 for SL2.ޚ/. Remark. Theorem 1.1 was used by Bryson, Ono, Pitman and the second author [Bryson et al. 2012] to show that the modular form f ./=.q/ q.q/2 v.q/ pro- 1 D duces a quantum modular form. The q-hypergeometric series defining q1.q/2 v.q/ was shown to be dual to Kontsevich’s strange function 1
X1 F.q/ .q q/n; WD I n 0 D which is defined only when q is a root of unity and was studied by Zagier[2001]. 1 3 Following Zagier[2009], a mock theta function of weight k 2 ; 2 is a q-series P n 2 f g H.q/ n1 0 anq such that there exists a rational number and a unary theta D D P n 2i 2i.x iy/ function of weight 2 k, g./ n ޑ bnq , where q e e C , D C D D such that h./ qH.q/ g ./ is a2 nonholomorphic modular form of weight k, D C where k 1 X k 1 n g ./ .i=2/ n bn.1 k; 4ny/q (1-1) D n ޑ 2 C R k 1 u and .k; t/ 1 u e du is the incomplete gamma function. Such a nonholo- D t morphic modular form is called a harmonic weak Maass form (see Section 2 for a definition and Ono’s surveys[2008; 2009] for history). The theta function g is called the shadow of the mock theta function H. Modularity of the concave composition generating function 2105
In[Andrews 2013] the following identity is established, which is crucial in establishing Theorem 1.1. We have
1 v.q/ q .v1.q/ v2.q/ v3.q// (1-2) D C C where  n 1 3n.n 1/=2 n à 1 X . 1/ C q C X1 q 1 v1.q/ 3 ; (1-3) WD.q/3 .1 qn/2 .1 qn/2 C 12 n 0 n 1 1 ¤ D  n 1 n.n 1/=2 n à 1 X . 1/ C nq C 1 X1 q v2.q/ 2 ; (1-4) WD.q/3 1 qn 4 .1 qn/2 n 0 n 1 1 ¤ D C  à 1 1 X1 n 1 1 Á v3.q/ 2 q : (1-5) WD.q/3 6 C .1 qn/2 C .1 qn/2 n 1 1 D C Theorem 1.1 may be recast in the following terms. Theorem 1.2. With q e2iz and z ވ we have: D 2 1=24 2 3 (1) q .q/ v1.q/ is a mock theta function of weight 2 with shadow propor- 1 tional to .z/. Consequentially, v1.q/ is a mixed mock modular form. 1=8 1 (2) q v2.q/ is a mock theta function of weight 2 with shadow proportional to .z/3. 1=8 1 (3) q v3.q/ is a modular form of weight 2 . Remark. Theorem 4.1 gives the level and shadow for each of the corresponding harmonic weak Maass form.
The mock theta function v2.q/ has appeared in a number of interesting places. For example, it arises in the work of Eguchi, Ooguri, and Tachikawa[Eguchi et al. 2011] and Cheng[2010] concerned with the character table of the Mathieu group M24 and “Moonshine of the Mathieu group”. It also appears in[Malmendier and 2 Ono 2012], which deals with Donaldson invariants of ރP . In that work v2.q/ arises in a different form, which is equivalent to the following identity. Moreover, the claim for v2.q/ in Theorem 1.2 follows from the next theorem and the results in[Zwegers 2002]. Theorem 1.3. For q < 1 we have j j 1 X qn.n 1/=2 F.q/ C z WD .q/ . q/2 1 qn 1 n ޚ 1 2 C 1 Â X qn X . 1/n 1nqn.n 1/=2 Ã 1 4 2 C C : D .q/3 2 C .1 qn/2 1 qn n 1 n 0 1 C ¤ 2106 George E. Andrews, Robert C. Rhoades and Sander P. Zwegers
We give three different ways of obtaining this identity. Each proof relies on different symmetries of Appell sums. The first uses an elliptic transformation property and Taylor expansions of the Jacobi theta function. The second proof uses the modular properties of the Appell sums. The third is via q-series manipulations. Finally, we sketch a connection with the holomorphic projection construction for mock modular forms. Remark. Theorem 11.1 gives an analogous result for the Appell sum in the defini- tion of v1.q/. Moreover, it relates v1.q/ to the smallest parts generating function studied in[Andrews 2008]. There is a convenient graphical representation of a composition, where each part is represented by a vertical column of boxes; for example,
represents a concave composition of 47. Considering each composition of n, possibly from a restricted subset, it is natural to ask about the average limiting behavior of the graphical representation as n . For example, there is a great ! 1 deal of literature about the limiting shape of integer partitions; see, for instance, [Fristedt 1993; Pittel 1997; Vershik 1995]. Properties of the typical representation are often studied via probabilistic models. However, when the generating functions are modular forms, very strong theorems can be proved for the statistics of interest. For instance, the modularity of the generating function for the number of partitions and the circle method yield the following asymptotic expansion for the number of partitions of n, denoted p.n/: 2p3 ÁÂ 6 Â 1 ÃÃ p.n/ exp p24n 1 1 O D .24n 1/ 6 p24n 1 C nT for any T 0. As an application of the modular properties of v.q/ we give an asymptotic expansion for V .n/. Since the generating function is a mixed mock modular form, the circle method may be applied to obtain asymptotics for V .n/. Care must be taken to deal with contributions from the holomorphic Fourier series as well as the nonholomorphic period integrals. We use methods of Bringmann and Mahlburg [2011; 2013] for dealing with these difficulties. Theorem 1.4. For any T 1 as n , we have the asymptotic expansion ! 1 Modularity of the concave composition generating function 2107
2p6 q Á V .n/ exp 12n 21 D .12n 21 /3=4 3 C 2 C 2  T t à X .2t 1/!! 3 ˛t 1 1 Á O 22t t .12n 21 /t=2 C n.T 1/=2 t 1 2 C D C where ˛t are defined by 2x X1 p sinh ˛ x2k exp 1 2x2 1 x2x 3 : k WD C cosh.x/ k 1 D In particular, ˛1 2=3. D Remark. It is possible to obtain an asymptotic with a polynomial error term; see [Bringmann and Mahlburg 2011; 2013; Rhoades 2012]. Remark. A concave composition corresponds to a triple .; ; c/ where and are partitions, and c 0 is an integer strictly smaller than the smallest parts in and , such that n c. Fristedt’s results[1993] imply that partitions D j j C j j C of size n have a part of size 1 with probability roughly equal to 1 .=p6n/. We expect at least one of the partitions or to have size not much smaller than n=2. That partition will almost surely contain a part of size 1. Thus we expect c 0 for D most triples. Therefore, we expect that V .n/ will agree to leading order with the asymptotic for the number of pairs of partitions .; / with n. Standard j jCj j D circle method calculations show this number is p6 Á  1 Ãà exp p12n 1 1 O : .12n 1/5=4 3 C pn As expected this agrees with the leading order asymptotic of V .n/. For comparison we introduce the notion of strongly concave compositions. A strongly concave composition of n is a sum of integers of the form
L R X X ai c bi n C C D i 1 i 1 D D where a1 > > aL > c < b1 < < bR and where c 0. Let V .n/ be the d number of strongly concave compositions of n. We have
X1 n X1 n n 1 n 1 vd .q/ Vd .n/ q q . q C / . q C / WD D 1 1 n 0 n 0 D D X1 n n.n 1/=2 2 X 12Á .n2 1/=24 . 1/ q C 2. q/ q ; (1-6) D C 1 n n 0 n 0 D 2108 George E. Andrews, Robert C. Rhoades and Sander P. Zwegers where the second equality follows from standard techniques and the third equality is established in[Andrews 2013] and . / is the Kronecker symbol. The function 2 P . 12=n/q.n 1/=24 is called a partial theta function. The asymptotic behavior n 0 of the partial theta function is discussed in Section 10 and used to derive the following theorem for Vd .n/. Theorem 1.5. For any T 0 as n , we have ! 1 p3 Á V .n/ exp p24n 2 d D .24n 2/3=4 6 C C T Â X . 1/m 1 ÁÃ .m/ O ; 22mm! .24n 2/m=2 C n.T 1/=2 m 0 C D C where X mÁ Áa b .m/ L. 2a/ p.b; a/ D a 3 a b m C D Qb 2 2 with p.b; a/ j 0.4.a 1/ j / and D D r 6 1 5 L. r/ Br 1. 6 / Br 1 6 ; D r 1 C C C where Br .x/ is the r-th Bernoulli polynomial. Remark. Let sm./ be the smallest part in the partition . Strongly concave compositions are characterized by a pair of partitions into distinct parts .; / with sm./ sm./. Let u.n/ be the number of pairs of partitions into distinct parts ¤ z with sizes summing to n. Therefore, we expect the asymptotic of
V .n/ .1 Prob sm./ sm./ n / u.n/: d f D W j j C j j D g z We have
2 p3 Á p3 Á Vd .n/ exp p24n and u.n/ exp p24n : 3 .24n/3=4 6 z .24n/3=4 6 It follows from Fristedt[1993, Theorem 9.1] that the smallest part of a partition into distinct parts has size j with probability roughly equal to 1=2j . Therefore, a pair of partitions into distinct parts will have the same smallest part with probability 1 roughly equal to 3 , which agrees with the prediction. It would be of interest to address some of the following questions as n : ! 1 (1) What is the distribution of the center part of a (strongly) concave composition? (2) How many parts does a typical (strongly) concave composition of n have? Modularity of the concave composition generating function 2109
(3) What is the distribution of the number of parts to the left of the center part minus the number of parts to the right of the center part? (4) What is the distribution of the perimeter of the (strongly) concave composition of n? Some of these questions can be answered by modeling a concave composition as the convolution of two random partitions (discussed above), while others can be treated via modular techniques of Bringmann, Mahlburg and the second author [Bringmann et al. 2012]. It is convenient to introduce a two-variable generating function. Let R L be the rank of the concave composition. This quantity measures the position of the central part. Let V .m; n/ and Vd .m; n/ be the numbers of concave compositions and strongly concave compositions, respectively, of n with rank equal to m. Standard techniques give
n X X1 q v.x; q/ V .m; n/xmqn ; (1-7) n 1 1 n 1 WD D .xq C q/ .x q C q/ n 0 n 0 I 1 I 1 mޚ D 2 X m n X1 n n 1 1 n 1 vd .x; q/ Vd .m; n/x q q . xq C q/ . x q C q/ : WD D I 1 I 1 n 0 n 0 (1-8) mޚ D 2 The following identities are deduced in a similar manner to Theorem 1 of [Andrews 2013]. Theorem 1.6. In the notation above,
1 n.n 1/ 1 Á n 1 n2 1 X n 2n C 1 X 12 vd .x; q/ x . 1/ x q 2 .x/ .x q/ x 2 q 24 ; D C 1 1 n n 0 n 0 D D n2 1 X1 q qv.x; q/ 1 1 D .x/ .x / .xq/n.x q/n 1 1 n 0 D n .n2 n/=2 n .1 x/ X . 1/ q C x 1 n : C .q/ .x/ .x / 1 xq 1 1 1 n ޚ 2 One should compare these generating functions to the rank of a partition studied in[Bringmann et al. 2012]. As is the case in[Bringmann et al. 2012] the moments of this rank statistic can be calculated precisely. We expect this statistic to be asymptotically asymptotically distributed; see[Diaconis et al. 2013] for a similar result in the case of the partition rank. In Section 2 we recall some basic facts about holomorphic and nonholomorphic modular forms. In Section 3 we prove Theorem 1.1. In Section 4 we prove Theorem 1.2. In Section 5 we give the first proof of Theorem 1.3, which proceeds 2110 George E. Andrews, Robert C. Rhoades and Sander P. Zwegers via elliptic properties of Appell sums. In Section 6 we use q-series manipulations to prove Theorem 1.3. In Section 7 we prove Theorem 1.3 via “modular methods”. Section 8 contains a calculation of the holomorphic projection operation which relates to Theorem 1.3. In Sections 9 and 10 we prove Theorems 1.4 and 1.5. Both use the circle method, modular properties of the generating functions of interest, and asymptotic analysis. Finally, in Section 11 we discuss the analog of Theorem 1.3 for the function v1.q/. Throughout the remainder of the text we let q e2i , with x iy for WD D C x; y ޒ and y > 0. We let z ޒ , h; k ގ0, 0 h k with .h; k/ 1. Moreover, 2 2 C 2 Ä Ä D we denote by Œab the inverse of a modulo b.
2. Holomorphic modular forms and harmonic weak Maass forms
In this section we define and give some basic properties of harmonic weak Maass forms. Before turning to nonholomorphic modular forms we describe the classic holomorphic modular forms of half integral weight. We follow Shimura[1973], see also[Ono 2004], by setting aÁ a Á b D b j j where 1 if a; b; < 0 and 1 if a > 0 or b > 0. For an odd integer m, we put D D a b m 1 if m 3 .mod 4/ and m i if m 3 .mod 4/. For all 0.4/, D Á D Á D c d 2 let c Á j . ; / 1.c d/1=2: (2-1) WD d d C 1=24 Q n The Dedekind -function is defined by ./ q 1 .1 q / and define WD n 1 .h;Œ h ; k/ to be the multiplier so that D k r 1 Á i 1 i ÁÁ .h iz/ h;Œ h ; k Œ h : (2-2) k C D z k k k C z By[Ono 2004, Theorem 1.60], for instance,
3 X n 2i.2n 1/2 X1 4Á n2 .8/ . 1/ .2n 1/e C nq : (2-3) D C D n n ޚ n 1 2 D The next result follows from Theorem 1.44 of[Ono 2004]. 3 3 Lemma 2.1. .8/ is a weight- 2 modular form on 0.64/ with trivial Nebentypus. Before discussing harmonic weak Maass forms we introduce the quasimodular form X1 n E2./ 1 24 1.n/q ; (2-4) WD n 1 D Modularity of the concave composition generating function 2111
P where 1.n/ d n d. In particular it satisfies E2. 1/ E2./ and WD j C D 2 1Á 6 E2./ E2 : (2-5) D i
Therefore, the completed form of E2 defined by 3 Eb2./ E2./ (2-6) WD y transforms as a modular form of weight 2 for SL2.ޚ/. We turn to harmonic weak Maass forms. Define the weight-k hyperbolic Lapla- cian by @2 @2 Á @ @ Á y2 iky i : (2-7) k WD @x2 C @y2 C @x C @y
Definition 2.2. Suppose that k 1 ޚ, N is a positive integer, and that is a 2 2 Dirichlet character with modulus 4N .A harmonic weak Maass form of weight k on 0.4N / with Nebentypus character is a smooth function f ވ ރ satisfying W ! the following: a b (1) For all A 0.4N / and all ވ, we have D c d 2 2 f .A/ .d/j .A; /2k f ./: D (2) We have f 0. k D (3) The function f has at most linear exponential growth at all the cusps of ވ= 0.N /. In[Zwegers 2002] a general class of harmonic weak Maass forms was constructed by “completing” certain Appell sums. The Appell sum is defined for u; v ރ 2 n .ޚ ޚ/ by C eiu X . 1/ne2invqn.n 1/=2 .u; v / C ; (2-8) I WD #.v / 1 e2iuqn I n ޚ 2 where X i2 2i.v 1 / #.v / e 2 I WD C C 1 ޚ 2 2 C is the Jacobi theta function. The Jacobi theta function satisfies the triple product identity
Y1 #.v / iq1=8 1=2 .1 qn/.1 qn 1/.1 1qn/ (2-9) I D n 1 D with e2iv, and the transformation D 2112 George E. Andrews, Robert C. Rhoades and Sander P. Zwegers r 1 Á i 2 1 i ÁÁ # ivz .h iz/ 3.h;Œ h ; k/ ekzv # v; Œ h : (2-10) I k C D k z k k C z The nonholomorphic correction term of the Appell sum requires the definition
X 1 n Im.u/Áp Áo 2iu i2 R.u / . 1/ 2 sgn./ E 2 Im./ e e ; I WD C Im./ ޚ 1 2 C 2 with E.x/ defined by Z x u2 2 E.x/ 2 e du sgn.x/.1 ˇ.x //; (2-11) WD 0 D R 1=2 u where for positive real x we let ˇ.x/ 1 u e du. We have the following WD x useful properties of R. Proposition 2.3 [Zwegers 2002, Propositions 1.9 and 1.10]. If u ރ and Im./ > 0, 2 then (1) R.u 1 / R. u / R.u /, C I D I D I i=4 (2) R.u 1/ e R.u /, I C Dr I i 2 u 1Á u 1ÁÁ (3) R.u / eiu = R H , I D I I where the Mordell integral is defined by
2 Z eizx 2xu H.u z/ 1 dx: I WD cosh.x/ 1 Moreover, we need the following “dissection” property of R. Proposition 2.4 [Bringmann and Folsom 2013, Proposition 2.3]. For n ގ, we 2 have z Á R u I n n 1 X 1 .` n 1 /2 2i.` n 1 /.u 1 / n 1Á n 1 Á q 2n 2 e 2 C 2 R nu ` z nz : D C 2 C 2 I ` 0 D The completion of is defined by i .u; v / .u; v / R.u v /: (2-12) y I WD I C 2 I This function satisfies the following elliptic and modular transformation laws. Theorem 2.5 [Zwegers 2002, Theorem 1.11]. Assume all of the notation and hypotheses from above. If k; `; m; n ޚ, then we have 2 2 .u k `; v m n / . 1/k ` m nei.k m/ 2i.k m/.u v/.u; v / y C C C C I D C C C C y I Modularity of the concave composition generating function 2113 and r h izÁ 3 i kz.u v/2 1 i ÁÁ iuz; ivz C .h;Œ hk ;k/ e u;v Œ hk : y I k D z y I k Cz Finally, we have a result that is useful in determining the shadow of a mock theta function. Theorem 2.6 [Zwegers 2002, Theorem 1.16]. For a . 1 ; 1 / and b ޒ we have 2 2 2 2 i 1 1 Z ga ;b .z/ 2 1 1 2 2 ia 2ia.b / pC C dz e C C 2 R.a b / i. z/ D I C P i2z 2ib where ga;b.z/ a ޚe C . WD 2 C 3. Proof of Theorem 1.1
In this section we use the Jacobi properties of the Appell sums
2 X . 1/ne2invq.n n/=2 A.u; v / eiu C ; I WD 1 e2iuqn n ޚ 2 (3-1) n .3n2 n/=2 iu X . 1/ q C A3.u / e ; I WD 1 e2iuqn n ޚ 2 to deduce Theorem 1.1. The function A3.u / was studied by Bringmann[2008]. I Direct computation gives
3n.n 1/ n 1 2C X . 1/ C q 1 @ iu 1 ÁÁˇ f2./ .e A3.u; / ˇ ; WD .1 qn/2 D 2i @u 1 e2iu ˇu 0 n 0 D ¤ n.n 1/ n 1 C X . 1/ C nq 2 1 @ ˇ f1./ ˇ A.u; v /: WD 1 qn D 2i @v ˇu v 0 I n 0 D D ¤ Thus the modular properties of the Appell sums will dictate the modular properties of our functions v1.q/ and v2.q/. In analogy to (2-12) the completed forms of these sums are i A.u; v / A.u; v / #.v /R.u v /; y I WD I C 2 I I 1 1 2iu 2iu A3.u / A3.u / ./q 6 .e R.3u 3/ e R.3u 3//: y I WD I C 2 I C I Using the transformation properties of found in Chapter 1 of[Zwegers 2002], we have the following modular properties of A. For A we will use Theorem 3.1 y y3 of[Bringmann 2008]. 2114 George E. Andrews, Robert C. Rhoades and Sander P. Zwegers