# Proof of the umbral moonshine conjecture

- John F. R. Duncan
^{1}, - Michael J. Griffin
^{2}and - Ken Ono
^{1}Email author

**2**:26

https://doi.org/10.1186/s40687-015-0044-7

© Duncan et al. 2016

**Received: **4 March 2015

**Accepted: **16 October 2015

**Published: **10 December 2015

## Abstract

The Umbral Moonshine Conjectures assert that there are infinite-dimensional graded modules, for prescribed finite groups, whose McKay–Thompson series are certain distinguished mock modular forms. Gannon has proved this for the special case involving the largest sporadic simple Mathieu group. Here, we establish the existence of the umbral moonshine modules in the remaining 22 cases.

## Mathematics Subject Classification

## 1 Introduction and statement of results

*Monstrous moonshine*relates distinguished modular functions to the representation theory of the Monster, \(\mathbb {M}\), the largest sporadic simple group. This theory was inspired by the famous observations of McKay and Thompson in the late 1970s [18, 51] that

*McKay–Thompson series*, that arise from the conjectured \(\mathbb {M}\)-module \(V^{\natural }\). Using the character table for \(\mathbb {M}\), it was observed [18, 50] that the first few coefficients of each \(T_g(\tau )\) coincide with those of a generator for the function field of a discrete group \(\Gamma _g<{\textit{SL}}_2({\mathbb R})\), leading Conway and Norton [18] to their famous

*Monstrous Moonshine Conjecture*: This is the claim that for each \(g\in \mathbb {M}\) there is a specific

*genus zero*group \(\Gamma _g\) such that \(T_g(\tau )\) is the unique normalized

*hauptmodul*for \(\Gamma _g\), i.e., the unique \(\Gamma _g\)-invariant holomorphic function on \({\mathbb H}\) which satisfies \(T_g(\tau )=q^{-1}+O(q)\) as \(\mathfrak {I}(\tau )\rightarrow \infty \) and remains bounded near cusps not equivalent to the infinite one.

In a series of ground-breaking works, Borcherds introduced vertex algebras [2], generalized Kac–Moody Lie algebras [3, 4], and used these notions to prove [5] the Monstrous Moonshine Conjecture of Conway and Norton. He confirmed the conjecture for the module \(V^{\natural }\) constructed by Frenkel, Lepowsky and Meurman [30–32] in the early 1980s. These results provide much more than the predictions of monstrous moonshine. The \(\mathbb {M}\)-module \(V^{\natural }\) is a vertex operator algebra, one whose automorphism group is precisely \(\mathbb {M}\). The construction of Frenkel, Lepowsky and Meurman can be regarded as one of the first examples of an *orbifold conformal field theory* (Cf. [23]). Here, the orbifold in question is the quotient \(\left( {\mathbb R}^{24}/\Lambda _{24}\right) /(\mathbb Z/2\mathbb Z)\), of the 24-dimensional torus \(\Lambda _{24}\otimes _{\mathbb Z}{\mathbb R}/\Lambda _{24}\simeq {\mathbb R}^{24}/\Lambda _{24}\) by the Kummer involution \(x\mapsto -x\), where \(\Lambda _{24}\) denotes the Leech lattice.

We refer to [24, 32, 35, 36] for more on monstrous moonshine.

In 2010, Eguchi, Ooguri and Tachikawa reignited moonshine with their observation [28] that dimensions of some representations of \(M_{24}\), the largest sporadic simple Mathieu group (cf., e.g. [20, 21]), are multiplicities of superconformal algebra characters in the K3 elliptic genus. This observation suggested a manifestation of moonshine for \(M_{24}\): Namely, there should be an infinite-dimensional graded \(M_{24}\)-module whose McKay–Thompson series are holomorphic parts of *harmonic Maass forms*, the so-called *mock modular forms* (see [45, 54, 55] for introductory accounts of the theory of mock modular forms).

Following the work of Cheng [10], Eguchi and Hikami [27], and Gaberdiel, Hohenegger, and Volpato [33, 34], Gannon established the existence of this infinite-dimensional graded \(M_{24}\)-module in [37].

It is natural to seek a general mathematical and physical setting for these results. Here we consider the mathematical setting, which develops from the close relationship between the monster group \(\mathbb {M}\) and the Leech lattice \(\Lambda _{24}\). Recall (cf., e.g. [20]) that the Leech lattice is even, unimodular and positive-definite of rank 24. It turns out that \(M_{24}\) is closely related to another such lattice. Such observations led Cheng, Duncan and Harvey to further instances of moonshine within the setting of even unimodular positive-definite lattices of rank 24. In this way, they arrived at the *Umbral Moonshine Conjectures* (cf. Sect. 5 of [15], Sect. 6 of [16], and Sect. 2 of [17]), predicting the existence of 22 further, graded infinite-dimensional modules, relating certain finite groups to distinguished mock modular forms.

*Niemeier root systems*are unions of simple simply-laced root systems with the same Coxeter numbers, and are given explicitly as

*X*, let \(N^X\) denote the corresponding unimodular lattice, let \(W^X\) denote the (normal) subgroup of \({\text {Aut}}(N^X)\) generated by reflections in roots, and define the

*umbral group*of

*X*by setting

Let \(m^X\) denote the Coxeter number of any simple component of *X*. An association of distinguished \(2m^X\)-vector-valued mock modular forms \(H^X_g(\tau )=(H^X_{g,r}(\tau ))\) to elements \(g\in G^X\) is described and analyzed in [15–17].

For \(X=A_1^{24}\) we have \(G^X\simeq M_{24}\) and \(m^X=2\), and the functions \(H^X_{g,1}(\tau )\) are precisely the mock modular forms assigned to elements \(g\in M_{24}\) in the works [10, 27, 33, 34] mentioned above. Generalizing the \(M_{24}\) moonshine initiated by Eguchi, Ooguri and Tachikawa, we have the following conjecture of Cheng, Duncan and Harvey (cf. Sect. 2 of [17] or Sect. 9.3 of [24]).

###
**Conjecture**

*X*be a Niemeier root system

*X*and set \(m:=m^X\). There is a naturally defined bi-graded infinite-dimensional \(G^X\)-module

^{1}to the graded trace of

*g*on \(\check{K}^X\) by

In (1.3) and (1.4), the set \(I^X\subset \mathbb Z/2m\mathbb Z\) is defined in the following way. If *X* has an A-type component then \(I^X:=\{1,2,3,\ldots ,m-1\}\). If *X* has no A-type component but does have a D-type component, then \(m=2\mod 4\) and \(I^X:=\{1,3,5,\ldots ,m/2\}\). The remaining cases are \(X=E_6^4\) and \(X=E_8^3\). In the former of these, \(I^X:=\{1,4,5\}\), and in the latter case \(I^X:=\{1,7\}\).

###
*Remark*

The functions \(H^X_g(\tau )\) are defined explicitly in Sect. B.3. An alternative description in terms of Rademacher sums is given in Sect. B.4.

Here, we prove the following theorem.

###
**Theorem 1.1**

The umbral moonshine modules exist.

*Two remarks*

- 1.
- 2.
The vector-valued mock modular forms \(H^X=(H^X_{g,r})\) have “minimal”

*principal parts*. This minimality is analogous to the fact that the original McKay–Thompson series \(T_g(\tau )\) for the Monster are hauptmoduln, and plays an important role in our proof.

###
*Example*

Our proof of Theorem 1.1 involves the explicit determination of each \(G^X\)-module \(\check{K}^X\) by computing the multiplicity of each irreducible component for each homogeneous subspace. It guarantees the existence and uniqueness of a \(\check{K}^X\) which is compatible with the representation theory of \(G^X\) and the Fourier expansions of the vector-valued mock modular forms \(H^X_g(\tau )=(H^X_{g,r}(\tau ))\).

At first glance our methods do not appear to shed light on any deeper algebraic properties of the \(\check{K}^X\), such as might correspond to the vertex operator algebra structure on \(V^{\natural }\), or the monster Lie algebra introduced by Borcherds in [5]. However, we do determine, and utilize, specific recursion relations for the coefficients of the umbral McKay–Thompson series which are analogous to the replicability properties of monstrous moonshine formulated by Conway and Norton in Sect. 8 of [18] (cf. also [1]). More specifically, we use recent work [40] of Imamoğlu, Raum and Richter, as generalized [42] by Mertens, to obtain such recursions. These results are based on the process of *holomorphic projection*.

###
**Theorem 1.2**

For each \(g\in G^X\) and \(0<r<m\), the mock modular form \(H^X_{g,r}(\tau )\) is replicable in the mock modular sense.

A key step in Borcherds’ proof [5] of the monstrous moonshine conjecture is the reformulation of replicability in Lie theoretic terms. We may speculate that the *mock modular replicability* utilized in this work will ultimately admit an analogous algebraic interpretation. Such a result remains an important goal for future work.

*n*, we have that

*a*,

*b*for which \(N, \widetilde{N}\in \mathbb Z\). This is easily seen to be a recurrence relation for the coefficients \(c_f(n)\). The replicability formulas for all of the \(H_{g,r}^{X}(\tau )\) are similar (although some of these relations are slightly more complicated and involve the coefficients of weight 2 cusp forms).

It is important to emphasize that despite the progress which is represented by our main results, Theorems 1.1 and 1.2, the following important question remains open in general.

###
**Question**

Is there a “natural” construction of \(\check{K}^X\)? Is \(\check{K}^X\) equipped with a deeper algebra structure as in the case of the monster module \(V^{\natural }\) of Frenkel, Lepowsky and Meurman?

We remark that this question has been answered positively, recently, in one special case: A vertex operator algebra structure underlying the umbral moonshine module \(\check{K}^X\) for \(X=E_8^3\) has been described explicitly in [25]. See also [14, 26], where the problem of constructing algebraic structures that illuminate the umbral moonshine observations is addressed from a different point of view.

The proof of Theorem 1.1 is not difficult. It is essentially a collection of tedious calculations. We use the theory of mock modular forms and the character table for each \(G^X\) (cf. Sect. A.2) to solve for the multiplicities of the irreducible \(G^X\)-module constituents of each homogeneous subspace in the alleged \(G^X\)-module \(\check{K}^X\). To prove Theorem 1.1 it suffices to prove that these multiplicities are non-negative integers. To prove Theorem 1.2 we apply recent work [42] of Mertens on the holomorphic projection of weight \(\frac{1}{2}\) mock modular forms, which generalizes earlier work [40] of Imamoğlu, Raum and Richter.

In Sect. 2 we recall the facts about mock modular forms that we require, and we prove Theorem 1.2. We prove Theorem 1.1 in Sect. 3. The appendices furnish all the data that our method requires. In particular, the umbral groups \(G^X\) are described in detail in Sect. A, and explicit definitions for the mock modular forms \(H^X_g(\tau )\) are given in Sect. B.

## 2 Harmonic Maass forms and Mock modular forms

Here, we recall some very basic facts about harmonic Maass forms as developed by Bruinier and Funke [9] (see also [45]).

*harmonic Maass form*of weight \(k\in \frac{1}{2}\mathbb Z\) and multiplier \(\nu \) (a generalization of the notion of a Nebentypus). If \(\tau =x+iy\) with

*x*and

*y*real, we define the weight

*k*hyperbolic Laplacian by

*harmonic Maass form*of weight

*k*on \(\Gamma \) with multiplier \(\nu \) if:

- (a)The function \(F(\tau )\) satisfies the weight
*k*modular transformation,for every matrix \(\gamma =\begin{pmatrix}a&{}\quad b\\ c&{}\quad d\end{pmatrix}\in \Gamma ,\) where \(F(\tau )|_k\gamma :=F(\gamma \tau )(c\tau +d)^{-k},\) and if \(k\in \mathbb Z+\frac{1}{2},\) the square root is taken to be the principal branch.$$\begin{aligned} F(\tau )|_k\gamma =\nu (\gamma )F(\tau ) \end{aligned}$$ - (b)
We have that \(\Delta _kF(\tau )=0,\)

- (c)
There is a polynomial \(P_{F}(q^{-1})\) and a constant \(c>0\) such that \(F(\tau )-P_{F}(e^{-2\pi i \tau })=O(e^{-cy})\) as \(\tau \rightarrow i\infty \). Analogous conditions are required at each cusp of \(\Gamma \).

*k*, group \(\Gamma \) and multiplier \(\nu \) by \(H_k(\Gamma ,\nu ).\) If no multiplier is specified, we will take

### 2.1 Main properties

The Fourier expansion of a harmonic Maass form *F* (see Proposition 3.2 of [9]) splits into two components. As before, we let \(q:=e^{2\pi i \tau }\).

###
**Lemma 2.1**

*F*, given by

*mock modular form.*We denote the space of harmonic Maass forms of weight \(2-k\) for \(\Gamma \) and multiplier \(\nu \) by \(H_{k}(\Gamma ,\nu ).\) Similarly, we denote the corresponding subspace of holomorphic modular forms by \(M_k(\Gamma ,\nu ),\) and the space of cusp forms by \( S_k(\Gamma ,{\nu })\). The differential operator \(\xi _{w}:=2iy^w\overline{\frac{\partial }{\partial \overline{\tau }}}\) (see [9]) defines a surjective map

*k*cusp forms for the same group but conjugate multiplier. The

*shadow*of a Maass form \(f(\tau )\in H_{2-k}(\Gamma ,\nu )\) is the cusp form \(g(\tau )\in S_k(\Gamma ,\overline{\nu })\) (defined, for now, only up to scale) such that \(\xi _{2-k}f(\tau )=\frac{g}{||g||}\), where \(||\bullet ||\) denotes the usual Petersson norm.

### 2.2 Holomorphic projection of weight \(\frac{1}{2}\) mock modular forms

As noted above, the modular transformations of a weight \(\frac{1}{2}\) harmonic Maass form may be simplified by multiplying by its shadow to obtain a weight 2 nonholomorphic modular form. One can use the theory of holomorphic projections to obtain explicit identities relating these nonholomorphic modular forms to classical quasimodular forms. In this way, we may essentially reduce many questions about the coefficients of weight \(\frac{1}{2}\) mock modular forms to questions about weight 2 holomorphic modular forms. The following theorem is a special case of a more general theorem due to Mertens (cf. Theorem 6.3 of [42]). See also [40].

###
**Theorem 2.1**

*Two Remarks.*

- 1.
These identities give recurrence relations for the weight \(\frac{1}{2}\) mock modular form \(f^+\) in terms of the weight 2 quasimodular form which equals \(f^+(\tau )g(\tau )+D^{f,g}(\tau )\). The example after Theorem 1.2 for Ramanujan’s third-order mock theta function

*f*is an explicit example of such a relation. - 2.
Theorem 2.1 extends to vector-valued mock modular forms in a natural way.

###
*Proof of Theorem 1.2*

*X*, and let \(M=m^X\) denote its Coxeter number. Each \(H_{g,r}^{X}(\tau )\) is the holomorphic part of a weight \(\frac{1}{2}\) harmonic Maass form \(\widehat{H}_{g,r}^{X}(\tau ).\) To simplify the exposition in the following section, we will emphasize the case that the root system

*X*is of pure A-type. If the root system

*X*is of pure A-type, the shadow function \(S_{g,r}^{X}(\tau )\) is given by \(\hat{\chi }_{g,r}^{X_A} S_{M,r}(\tau )\) (see Sect. B.2), where

*r*is the twisted Euler character given in the appropriate table in Sect. A.3, a character of \(G^X.\) (If

*X*is not of pure A-type, then the shadow function \(S_{g,r}^{X}(\tau )\) is a linear combination of similar functions as described in Sect. B.2).

*X*and

*g*, the symbol \(n_g|h_g\) given in the corresponding table in Sect. A.3 defines the modularity for the vector-valued function \((\widehat{H}_{g,r}^{X}(\tau ))\). In particular, if the shadow \((S_{g,r}^{X}(\tau ))\) is nonzero, and if for \(\gamma \in \Gamma _0(n_g)\) we have that

The vector-valued function \((H_{g,r}^{X}(\tau ))\) has poles only at the infinite cusp of \(\Gamma _0(n_g)\), and only at the component \(H_{g,r}^{X}(\tau )\) where \(r=1\) if *X* has pure A-type, or at components where \(r^2\equiv 1 \pmod {2M}\) otherwise. These poles may only have order \(\frac{1}{4M}.\) This implies that the function \((\widehat{H}_{g,r}^{X}(\tau )S_{g,r}^{X}(\tau ))\) has no pole at any cusp and is therefore a candidate for an application of Theorem 2.1.

Applying Theorem 2.1, we obtain a function \(F_{g,r}^{X}(\tau )\)—call it the holomorphic projection of \(\widehat{H_{g,r}^{X}}(\tau ) S_{e,r}^{X}(\tau )\)—which is a weight 2 quasimodular form on \(\Gamma (4M)\cap \Gamma _0(n_g).\) In the case that \(S_{g,r}^{X}(\tau )\) is zero, we substitute \(S_{e,r}^{X}(\tau )\) in its place to obtain a function \(\widetilde{F}_{g,r}^{X}(\tau )=H_{g,r}^{X}(\tau ) S_{e,r}^{X}(\tau )\) which is a weight 2 holomorphic scalar-valued modular form for the group \(\Gamma (4M)\cap \Gamma _0(n_g)\) with multiplier \(\nu _{g}\) (alternatively, modular for the group \(\Gamma (4M)\cap \Gamma _0(n_gh_g)\) with trivial multiplier).

*X*has pure A-type, then

*X*has pure A-type. Then, we find that the coefficients \(\widetilde{B}^X_{g,r}(N)\) satisfy

## 3 Proof of Theorem 1.1

*X*, we begin with the vector-valued mock modular forms \((H^X_g(\tau ))\) for \(g\in G^X\). We use their

*q*-expansions to solve for the

*q*-series whose coefficients are the alleged multiplicities of the irreducible components of the alleged infinite-dimensional \(G^X\)-module

*q*-series turn out to be mock modular forms. The proof requires that we establish that these mock modular forms have non-negative integer coefficients.

###
*Proof of Theorem 1.1*

As in the previous section, we fix a root system *X* and set \(M:=m^X\), and emphasize the case when *X* is of pure A-type.

*g*and \(h\in G^X\),

*g*in \(G^{X}\). Since the order of the centralizer times the order of the conjugacy class of an element is the order of the group, (3.2) and (3.5) together imply the relation

We have reduced the theorem to proving that the coefficients of certain weight \(\frac{1}{2}\) mock modular forms are all non-negative integers. For holomorphic modular forms, we may answer questions of this type by making use of Sturm’s theorem [49] (see also Theorem 2.58 of [44]). This theorem provides a bound *B* associated to a space of modular forms such that if the first *B* coefficients of a modular form \(f(\tau )\) are integral, then all of the coefficients of \(f(\tau )\) are integral. This bound reduces many questions about the Fourier coefficients of modular forms to finite calculations.

Sturm’s theorem relies on the finite dimensionality of certain spaces of modular forms, and so it cannot be applied directly to spaces of mock modular forms. However, by making use of holomorphic projection we can adapt Sturm’s theorem to this setting.

*B*. Formulas for the shadow functions (cf. Sect. B.2) show that the leading coefficient of \(S_{e,1}^{X}(\tau )\) is 1 and has integral coefficients. This implies that the function

*B*. The shadow of \(H^{X}_{\chi ,r}(\tau )\) is given by

*X*is pure A-type, then \(S_{g,r}^{X}(\tau )=\chi _{g,r}^{X_A}S_{M,r}(\tau )=(\chi '(g)+\chi ''(g))S_{M,r}(\tau )\) for some irreducible characters \(\chi '\) and \(\chi ''\), according to “Twisted Euler characters” and “Shadows”. Therefore,

*X*is not of pure A-type the shadow is some sum of such functions, but in every case has integer coefficients, and so, applying Theorem 2.1 to \(A_{\chi ,r}(\tau ),\) we find that \(\tilde{A}_{\chi ,r}(\tau )\) also has integer coefficients up to the bound

*B*. In particular, since \(\tilde{A}_{\chi ,r}(\tau )\) is modular on \(\Gamma (4M)\cap \Gamma _0(N_\chi ^X)\), then if

*B*is at least the Sturm bound for this group we have that every coefficient of \(\tilde{A}_{\chi ,r}(\tau )\) is integral. Since the leading coefficient of \(S_{e,1}^{X}(\tau )\) is 1, we may reverse this argument and we have that every coefficient of \({H^{X}}_{\chi ,r}(\tau ).\) Therefore, in order to check that \(H^{X}_{\chi ,r}(\tau )\) has only integer coefficients, it suffices to check up to the Sturm bound for \(\Gamma (4M)\cap \Gamma _0(N_\chi ).\) These calculations were carried out using the sage mathematical software [47].

The calculations and argument given above show that the multiplicities \(m_{\chi ,r}^X(n)\) are all integers. To complete the proof, it suffices to check that they are also are non-negative. The proof of this claim follows easily by modifying step-by-step the argument in Gannon’s proof of non-negativity in the \(M_{24}\) case [37] (i.e. \(X=A_1^{24}\)). Here, we describe how this is done.

*n*, this then means that (cf. Theorem 1.1 of [8])

*m*. The constants \(a_{\rho }^X(m)\) are essentially the coefficients which describe the generating function in terms of Maass–Poincaré series. Here, \(\mathbb {I}\) is a suitable normalization and change of variable for the standard \(I_{1/2}\) modified Bessel function.

These Salié sums may then be estimated using the equidistribution of CM points with discriminant \(-D(m,n)\). This process was first introduced by Hooley [38] and was first applied to the coefficients of weight \(\frac{1}{2}\) mock modular forms by Bringmann and Ono [7]. Gannon explains how to make effective the estimates for sums of this shape in Sect. 4 of [37], thereby reducing the proof of the \(M_{24}\) case of umbral moonshine to a finite calculation. In particular, in equations (4.6–4.10) of [37], Gannon shows how to bound coefficients of the form (3.6) in terms of the Selberg–Kloosterman zeta function, which is bounded in turn in his proof of Theorem 3 of [37]. We follow Gannon’s proof *mutatis mutandis*. We find for most root systems that the coefficients of each multiplicity generating function are positive beyond the 390th coefficient. In the worst case, for the root system \(X=E^3_8\), we find that the coefficients are positive beyond the 1780th coefficient. Moreover, the coefficients exhibit subexponential growth. A finite computer calculation in sage has verified the non-negativity of the finitely many remaining coefficients. \(\square \)

###
*Remark*

It turns out that the estimates required for proving nonnegativity are the worst for the \(X=E_{8}^3\) case which required 1780 coefficients.

In the statement of Conjecture 6.1 of [16], the function \(H^X_{g,r}\) in (1.4) is replaced with \(3H^X_{g,r}\) in the case that \(X=A_8^3\). This is now known to be an error, arising from a misspecification of some of the functions \(H^X_{g}\) for \(X=A_8^3\). Our treatment of the case \(X=A_8^3\) in this work reflects the corrected specification of the corresponding \(H^X_g\) which is described and discussed in detail in [17].

## Declarations

### Acknowledgements

The authors thank the NSF for its support. The first author also thanks the Simons Foundation (#316779), and the third author thanks the A. G. Candler Fund. The authors thank Miranda Cheng, Jeff Harvey, Michael Somos and the anonymous referee for helpful comments and corrections.

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Alexander, D., Cummins, C., McKay, J., Simons, C.: Completely replicable functions, Groups, combinatorics and geometry (Durham, 1990), London Math. Soc. Lecture Note Ser., vol. 165, Cambridge Univ. Press, Cambridge, pp. 87–98 (1992)Google Scholar
- Borcherds, R.: Vertex algebras, Kac-Moody algebras, and the Monster. Proc. Natl. Acad. Sci. USA
**83**(10), 3068–3071 (1986)MathSciNetView ArticleMATHGoogle Scholar - Borcherds, R.: Generalized Kac-Moody algebras. J. Algebra
**115**(2), 501–512 (1988)MathSciNetView ArticleMATHGoogle Scholar - Borcherds, R.: Central extensions of generalized Kac-Moody algebras. J. Algebra
**140**(2), 330–335 (1991)MathSciNetView ArticleMATHGoogle Scholar - Borcherds, R.: Monstrous moonshine and monstrous Lie superalgebras. Invent. Math.
**109**(2), 405–444 (1992)MathSciNetView ArticleMATHGoogle Scholar - Borcherds, R.: Automorphic forms with singularities on Grassmannians. Invent. Math
**132**(3), 491–562 (1998)MathSciNetView ArticleMATHGoogle Scholar - Bringmann, K., Ono, K.: The \(f(q)\) mock theta function conjecture and partition ranks. Invent. Math.
**165**(2), 243–266 (2006)MathSciNetView Article