# Vanishing theorems for coherent automorphic cohomology

- Kai-Wen Lan
^{1}Email authorView ORCID ID profile

**3**:39

**DOI: **10.1186/s40687-016-0085-6

© The Author(s) 2016

**Received: **24 April 2015

**Accepted: **22 September 2016

**Published: **10 November 2016

## Abstract

We consider the coherent cohomology of toroidal compactifications of locally symmetric varieties (such as Shimura varieties) with coefficients in the canonical and subcanonical extensions of automorphic vector bundles, and give explicit conditions for them to vanish in certain degrees. We also provide algorithms for determining all such degrees in practice.

### Keywords

Locally symmetric varieties Shimura varieties Toroidal compactifications Automorphic bundles Canonical extensions Vanishing theorems Coherent cohomology### Mathematics Subject Classification

Primary 11G18 Secondary 14F17 14F30 11F75## 1 Introduction

The coherent cohomology of toroidal compactifications of locally symmetric varieties such as Shimura varieties, with coefficients in the so-called canonical and subcanonical extensions of automorphic (vector) bundles, has played important roles in the study of arithmetic properties of automorphic representations (see [17] for an overview). A fundamental question in such a study is to know in which degrees the cohomology groups are nonzero, or to rule out unnecessary complication by showing that all but some explicitly predictable degrees must be zero—this is the question of vanishing that we would like to address in this article.

When the locally symmetric varieties in question are compact, and when the coherent cohomology in question contributes to the Hodge graded pieces of the de Rham cohomology of automorphic local systems, the cohomology classes can be represented by harmonic forms which are directly related to automorphic forms, and there are rather general vanishing results due to Faltings [10] and Vogan and Zuckerman [45]. One of the most useful results is that, when the weight of the local system in question is regular, the corresponding de Rham cohomology is concentrated in the middle degree, and there is a similar result for the coherent cohomology contributing to the Hodge graded pieces of such de Rham cohomology (already in the compact case, there are coherent cohomology of automorphic bundles which might not contribute to any de Rham cohomology).

However, when the locally symmetric varieties in question are not necessarily compact, our understanding is much less complete. The method of harmonic forms only gives information about the \(L^2\) cohomology, which is in general not sufficient for the whole de Rham cohomology (or the compactly supported one, by duality), let alone the coherent cohomology that might not contribute to the Hodge graded pieces of any de Rham cohomology (here the coherent cohomology is defined over the toroidal compactifications as above, while the de Rham cohomology can also be defined over the toroidal compactifications using the de Rham complexes with integral connections with log poles along the boundary divisors). Fortunately, thanks to Franke’s results in [12], one can still study the (whole) de Rham cohomology using Eisenstein series and their residues, and it was shown by Li and Schwermer [33] that, in the adelic setting, when the weight of the local system in question is regular, the corresponding de Rham cohomology vanishes below the middle degree, the compactly supported de Rham cohomology vanishes above the middle degree, and hence, the interior cohomology, namely the image of the compactly supported cohomology in the usual cohomology, is concentrated in the middle degree (consequently, there are similar results for the coherent cohomology contributing to the Hodge graded pieces of such de Rham cohomology).

Unfortunately, the techniques in [12] have not yet been generalized to also cover the case of coherent cohomology of canonical or subcanonical extensions of automorphic bundles of *noncohomological weights*, in the sense that the corresponding cohomology groups do not contribute to the Hodge graded pieces of the de Rham cohomology of any automorphic local system (the representations of such noncohomological weights are characterized by having dual representations with irregular Harish–Chandra parameters). To the best of our knowledge, it is still not known whether the coherent cohomology classes of such noncohomological weights are always represented by Eisenstein series and their residues. In this regard, the study in [32] of coherent cohomology of toroidal compactifications of PEL-type Shimura varieties in mixed characteristics provides nontrivial and new vanishing results for the coherent cohomology even in characteristic zero. In fact, the results such as [32, Theorems 8.13 and 8.23] (which are over the complex numbers) were new (although we were not fully aware of that at the time the results were published), and they still have not yet been reproved using techniques based on automorphic forms.

On the other hand, since the methods in [32] require the existence of good mixed characteristics models not only for the Shimura varieties and their toroidal compactifications (as in [27]), but also for the geometric families of abelian schemes and their toroidal compactifications (as in [26]) involved in the method, they have serious limitations. While we can imagine that the methods work very similarly for abelian-type Shimura varieties, we do not know how to extend them to more general cases. Note that there are Shimura varieties unrelated to exceptional groups which can still fail to be of abelian type—there are many such Shimura varieties, as explained in [35], associated with even orthogonal groups. Also, although we still know very little about Shimura varieties associated with exceptional groups, the theory feels incomplete and unsatisfactory if we cannot say anything about them.

Fortunately, the recent work [44] allows us to extend the methods in [32] to arbitrary locally symmetric varieties considered in, e.g., [3] and [1], including even Shimura varieties associated with exceptional groups, and including even the noncongruence arithmetic group quotients of Hermitian symmetric domains. The key point is to replace the vanishing theorems in the first three sections of [32] (which were based on techniques in positive characteristics developed in [8, 9, 20, 22], and [37]) with a rather general vanishing theorem for mixed Hodge modules in [44] (which, however, is based on complex-analytic techniques in [38], which have no useful counterparts in positive characteristics yet).

While it might seem unsurprising that new vanishing theorems for automorphic cohomology are available once some new vanishing theorem for mixed Hodge modules as in [44] is known, we have been quite happily surprised by what (and how much) we could readily deduce from the latter, thanks to some pleasant facts in the combinatorics of root systems. For example, we have obtained a new method for reproving most of the Hermitian case of Li and Schwermer’s vanishing theorem for the de Rham cohomology of local systems of regular weights, which is free of the consideration of automorphic forms, and hence is not reliant on the results of [12] (though we cannot say anything about the more general non-Hermitian cases also covered by their theorem). Moreover, we have also obtained new vanishing results for coherent automorphic cohomology of low weights (not contributing to the Hodge graded pieces of the de Rham cohomology of local systems of regular weights), and we have found efficient algorithms for determining the degrees of vanishing in practice, in all possible (Hermitian) cases.

Here is an outline of the article. In Sect. 2, we review the necessary background materials for stating and proving the main results, concerning locally symmetric varieties and their toroidal and minimal compactifications, automorphic bundles and their canonical and subcanonical extensions, and the dual Bernstein–Gelfand–Gelfand (BGG) complexes. In Sect. 3, we describe the automorphic line bundles of what we call *positive parallel weights*, whose canonical extensions over toroidal compactifications associated with projective and smooth cone decompositions are *semiample* and satisfy a condition due to Esnault and Viehweg (so that the line bundles are, in particular, *nef* and *big*). We classify all such positive parallel weights, and give concrete descriptions of them in all cases. In Sect. 4, we state and prove most of our main results concerning the vanishing of coherent and de Rham cohomology, generalizing those in [31] and [32] (when specialized to the case over complex numbers), with by-products giving new proofs of certain results in [28]. To help the reader understand our results, we also include some illustrative examples of low ranks. In Sect. 5, we explain our algorithms for determining the degrees of vanishing in all circumstances, and provide many explicit examples.

This article is written for people who would like to understand and use our vanishing results, and our judgement is that many of them will be number theorists or algebraic geometers rather than experienced representation theorists (some of the choices of conventions and notations might not be so natural for representation theorists, but they are made because of historical or practical reasons related to the geometric constructions or their number-theoretic applications). Hence, while our arguments concerning roots and weights might be rather elementary and naive, we will still spell out most of the details, for the sake of clarity and readability. But we do not consider such efforts as merely expository—they are helpful for presenting our algorithms for determining the degrees of vanishing in all circumstances.

## 2 Background materials

### 2.1 Locally symmetric varieties

Let \(\mathrm {G}\) be a reductive algebraic group over \(\mathbb {Q}\) such that \(\mathrm {G}(\mathbb {R})\) acts transitively on \(\mathsf {H}\), a finite disjoint union of Hermitian symmetric domains. Let \(h_0\) be a fixed choice of a point of \(\mathsf {H}\), so that \(\mathsf {H}= \mathrm {G}(\mathbb {R}) h_0\), and let \(\mathsf {H}_0\) denote the connected component of \(h_0\), which is a Hermitian symmetric domain by assumption. For expositional simplicity, suppose that the maximal \(\mathbb {Q}\)-anisotropic \(\mathbb {R}\)-split subtorus \(\overline{\mathrm {Z}}\) of the center \(\mathrm {Z}\) of \(\mathrm {G}\) is trivial (cf. [18, (1.1.7.3)]). (Otherwise, we shall assume instead that all representations we consider have trivial restrictions to \(\overline{\mathrm {Z}}\); cf. [18, Remark in (1.2)].)

Let \(\mathrm {G}_0\) denote the derived group of the connected component \(\mathrm {G}^\circ \) of the identity of \(\mathrm {G}\), which is a connected semisimple algebraic group over \(\mathbb {Q}\) (see [41, Corollaries 2.2.8 and 8.1.6(ii)]). Suppose \(\mathsf {H}_0 \cong \mathrm {G}_0(\mathbb {R}) / K_0\) for some maximal compact subgroup \(K_0\) of \(\mathrm {G}_0(\mathbb {R})\), which can be identified with the stabilizer of \(h_0\) in \(\mathrm {G}_0(\mathbb {R})\). Then there exists a parabolic subgroup \(\mathrm {P}_0\) of \(\mathrm {G}_{0, \mathbb {C}} = \mathrm {G}_0 \mathop {\otimes }\limits _{\mathbb {Q}} {\mathbb {C}}\), with a Levi subgroup \(\mathrm {M}_0\) which can be identified with the complexification of \(K_0\) (via the identification of \(\mathrm {G}_{0, \mathbb {C}}\) with the complexification of \(\mathrm {G}_{0, \mathbb {R}} = \mathrm {G}_0 \mathop {\otimes }\limits _{\mathbb {Q}} {\mathbb {R}}\)), such that \(K_0 = \mathrm {P}_0(\mathbb {C}) \mathop {\cap }\limits \mathrm {G}_0(\mathbb {R})\) and the Borel embedding \(\mathsf {H}_0 \hookrightarrow {\mathsf {H}}^{\vee }_0\) is given by \(\mathrm {G}_0(\mathbb {R}) / K_0 \rightarrow \mathrm {G}_0(\mathbb {C}) / \mathrm {P}_0(\mathbb {C})\). (See, e.g., [19, Chapter VIII, Section 7], [1, Chapter III, Section 2.1], and [34, Section III.1].) Let us denote by \(\widetilde{\mathrm {G}}_0\) the simply connected covering of \(\mathrm {G}_0\), by \(\widetilde{K}_0\) the preimage of \(K_0\) in \(\widetilde{\mathrm {G}}_0(\mathbb {R})\), by \(\widetilde{\mathrm {P}}_0\) the preimage of \(\mathrm {P}_0\) in \(\widetilde{\mathrm {G}}_{0, \mathbb {C}} = \widetilde{\mathrm {G}}_0 \mathop {\otimes }\limits _{\mathbb {Q}} {\mathbb {C}}\), and by \(\widetilde{\mathrm {M}}_0\) the preimage of \(\mathrm {M}_0\) in \(\widetilde{\mathrm {P}}_0\). For simplicity, suppose that \(\mathsf {H}_0 \hookrightarrow {\mathsf {H}}^{\vee }_0\) (necessarily uniquely) extends to a \(\mathrm {G}(\mathbb {R})\)-equivariant embedding \(\mathsf {H}\cong \mathrm {G}(\mathbb {R})/K\hookrightarrow {\mathsf {H}}^{\vee } := \mathrm {G}(\mathbb {C}) / \mathrm {P}(\mathbb {C})\), where \(\mathrm {P}\) is the parabolic subgroup of \(\mathrm {G}^\circ _\mathbb {C}= \mathrm {G}^\circ \mathop {\otimes }\limits _{\mathbb {Q}} {\mathbb {C}}\) (uniquely) extending \(\mathrm {P}_0\), with a Levi subgroup \(\mathrm {M}\) (uniquely) extending \(\mathrm {M}_0\), and where \(K:= \mathrm {P}(\mathbb {C}) \mathop {\cap }\limits \mathrm {G}(\mathbb {R})\) extends \(K_0\).

Suppose \(\mathsf {X}\) is a complex-analytic manifold such that there exist finitely many *neat* arithmetic subgroups \(\Gamma _i\) of \(\mathrm {G}(\mathbb {Q})\) stabilizing \(\mathsf {H}_0\) and \(g_i \in \mathrm {G}(\mathbb {R})\) such that \(\mathsf {X}\cong \mathop {\coprod }\limits \nolimits _i \bigl ( ( g_i \Gamma _i g_i^{-1} ) \backslash (g_i \mathsf {H}_0 ) \bigr ) \cong \mathop {\coprod }\limits \nolimits _i (\Gamma _i \backslash \mathsf {H}_0)\). By an explanation similar to that in [25, Section 2.5], based on [6, Theorem 5.1], this is the case when \(\mathsf {X}\cong \mathrm {G}(\mathbb {Q}) \backslash (\mathsf {H}\mathop {\times }\limits \mathrm {G}({\mathbb {A}^{\infty }})) / {\mathcal {H}}\) for some neat open compact subgroup \({\mathcal {H}}\) of \(\mathrm {G}({\mathbb {A}^{\infty }})\) (however, we also allow more general \(\mathsf {X}\)). By [3], \(\mathsf {X}\) has the structure of a (possibly disconnected) quasi-projective variety, embedded in its *minimal compactification*
\({\mathsf {X}}^{\text {min}} \cong \mathop {\coprod }\limits \nolimits _i {( \Gamma _i \backslash \mathsf {H}_0 )}^{\text {min}}\), the latter being a projective normal variety. By [1] (see also [2]), for suitable choices of *projective* and *smooth* cone decompositions \(\Sigma _i\)’s, the quasi-projective variety \(\mathsf {X}\) admits a projective smooth toroidal compactification \({\mathsf {X}}^{\text {tor}} \cong \mathop {\coprod }\limits \nolimits _i {( \Gamma _i \backslash \mathsf {H}_0 )}^{\text {tor}}_{\Sigma _i}\) whose boundary \(\mathsf {D}:= ({\mathsf {X}}^{\text {tor}} - \mathsf {X})_{\text {red}}\) (with its reduced structure) is a simple normal crossings divisor, which is equipped with a canonical proper surjective morphism \(\textstyle \oint : {\mathsf {X}}^{\text {tor}} \rightarrow {\mathsf {X}}^{\text {min}}\).

### 2.2 Automorphic bundles and canonical extensions

For each finite-dimensional algebraic representation \(W\) of \(\mathrm {P}\), in which case we write \(W\in \mathrm {Rep}_\mathbb {C}(\mathrm {P})\), we define a vector bundle \(\underline{W}\) over \(\mathsf {H}\) as the pullback under the embedding \(\mathsf {H}\hookrightarrow {\mathsf {H}}^{\vee } = \mathrm {G}(\mathbb {C})/\mathrm {P}(\mathbb {C})\) of the analytification of the equivariant quotient \(( \mathrm {G}_\mathbb {C}\mathop {\times }\limits W) / \mathrm {P}\) over \(\mathrm {G}_\mathbb {C}/ \mathrm {P}\). For each *i*, the left action of \(g_i \Gamma _i g_i^{-1}\) on \(g_i \mathsf {H}_0\) lifts to an action on the restriction of \(\underline{W}\) to \(g_i \mathsf {H}_0\), and the disjoint union of such restrictions descends to a (holomorphic) *automorphic bundle* over \(\mathsf {X}\), which we still abusively denote by \(\underline{W}\). Such a construction is functorial, exact, and compatible with tensor products and duals. We shall abusively denote the associated sheaves of sections by the same symbols.

For each finite-dimensional algebraic representation \(W\) of \(\mathrm {M}\), in which case we write \(W\in \mathrm {Rep}_\mathbb {C}(\mathrm {M})\), we view it as an object of \(\mathrm {Rep}_\mathbb {C}(\mathrm {P})\) via the canonical homomorphism \(\mathrm {P}\rightarrow \mathrm {M}\), and define \(\underline{W}\) over \(\mathsf {H}\) and over \(\mathsf {X}\) as above. By [36, Main Theorem 3.1], \(\underline{W}\) admits a *canonical extension*
\(\underline{W}^{\mathrm {can}}\) over \({\mathsf {X}}^{\text {tor}}\). Then we also define \(\underline{W}^{\mathrm {sub}}:= \underline{W}^{\mathrm {can}}(-\mathsf {D})\), where \(\mathsf {D}\) is as above. Then it follows from GAGA [39] that \(\underline{W}\), \(\underline{W}^{\mathrm {can}}\), and \(\underline{W}^{\mathrm {sub}}\) are all algebraic. By algebraizing extensions among them, the same assertion also holds for automorphic bundles and their canonical and subcanonical extensions associated with finite-dimensional algebraic representations of \(\mathrm {P}\).

For each finite-dimensional algebraic representation \(V\) of \(\mathrm {G}_\mathbb {C}\), in which case we write \(V\in \mathrm {Rep}_\mathbb {C}(\mathrm {G}_\mathbb {C})\), we view it as an object of \(\mathrm {Rep}_\mathbb {C}(\mathrm {P})\) via the canonical homomorphism \(\mathrm {P}\rightarrow \mathrm {G}_\mathbb {C}\), and define \(\underline{V}\) over \(\mathsf {H}\) and over \(\mathsf {X}\) as above. Compared with the construction for \(W\in \mathrm {Rep}_\mathbb {C}(\mathrm {P})\), the action of \(\mathrm {G}_\mathbb {C}\) (or rather its Lie algebra) on \(V\) allows us to equip \(\underline{V}\) with an integrable connection \(\nabla : \underline{V}\rightarrow \underline{V}\mathop {\otimes }\limits \nolimits _{\mathscr {O}_\mathsf {X}} \Omega ^1_{\mathsf {X}/\mathbb {C}}\). As explained in [16, Section 4] (see also [34] and [17]), \((\underline{V}, \nabla )\) admits a canonical extension \((\underline{V}^{\mathrm {can}}, \nabla ^{\mathrm {can}})\) over \({\mathsf {X}}^{\text {tor}}\) in the sense of [7], where \(\nabla ^{\mathrm {can}}: \underline{V}^{\mathrm {can}}\rightarrow \underline{V}^{\mathrm {can}}\mathop {\otimes }\limits \nolimits _{\mathscr {O}_{{\mathsf {X}}^{\text {tor}}}} \Omega ^1_{{\mathsf {X}}^{\text {tor}}/\mathbb {C}}(\log \mathsf {D})\) is an integrable connection with log poles along \(\mathsf {D}\), with unipotent monodromy, by [1, Chapter III, Section 5, Main Theorem I and its proof] (and therefore with nilpotent residues, by [23, Sections VI and VII]). We also define the subcanonical extension \((\underline{V}^{\mathrm {sub}}, \nabla ^{\mathrm {sub}})\) by \(\underline{V}^{\mathrm {sub}}:= \underline{V}^{\mathrm {can}}(-\mathsf {D})\) and by setting \(\nabla ^{\mathrm {sub}}\) to be the connection (also with log poles along \(\mathsf {D}\)) canonically induced by \(\nabla ^{\mathrm {can}}\). Then we have the (log) de Rham complexes \({\text {DR}}^\bullet ( \underline{V}^{\mathrm {can}}) := (\underline{V}^{\mathrm {can}}\mathop {\otimes }\limits \nolimits \nolimits _{\mathscr {O}_{{\mathsf {X}}^{\text {tor}}}} \Omega ^\bullet _{{\mathsf {X}}^{\text {tor}}/\mathbb {C}}(\log \mathsf {D}), \nabla ^{\mathrm {can}})\) and \({\text {DR}}^\bullet ( \underline{V}^{\mathrm {sub}}) := (\underline{V}^{\mathrm {sub}}\mathop {\otimes }\limits \nolimits _{\mathscr {O}_{{\mathsf {X}}^{\text {tor}}}} \Omega ^\bullet _{{\mathsf {X}}^{\text {tor}}/\mathbb {C}}(\log \mathsf {D}), \nabla ^{\mathrm {sub}})\). These (log) de Rham complexes admit Hodge filtrations, which we denote by \(\mathtt {F}\), given by the filtration on \(V\) induced by the action of the unipotent radical \(\mathrm {U}\) of \(\mathrm {P}\), with associated Kodaira–Spencer complexes \({\text {Gr}}^\mathtt {F}( {\text {DR}}^\bullet ( \underline{V}^{\mathrm {can}}) )\) and \({\text {Gr}}^\mathtt {F}( {\text {DR}}^\bullet ( \underline{V}^{\mathrm {sub}}) )\) thanks to Griffiths transversality.

### 2.3 Dual BGG complexes

We shall denote by \(\Phi _{\mathrm {G}_\mathbb {C}}\), \(\Phi _\mathrm {M}\), etc., the roots of \(\mathrm {G}_\mathbb {C}\), \(\mathrm {M}\), etc., respectively; and by \({\text {X}}_{\mathrm {G}_\mathbb {C}}\), \({\text {X}}_\mathrm {M}\), etc., the weights of \(\mathrm {G}_\mathbb {C}\), \(\mathrm {M}\), etc., respectively. We shall fix the choice of a Borel subgroup \(\mathrm {B}\) of \(\mathrm {G}^\circ _\mathbb {C}\) such that \(\mathrm {B}\subset \mathrm {P}\) and such that \(\mathrm {B}_\mathrm {M}= \mathrm {B}\mathop {\cap }\limits \mathrm {M}\) is a Borel subgroup of \(\mathrm {M}\), and fix a maximal torus \(\mathrm {T}\) of \(\mathrm {B}\) such that \(\mathrm {T}\subset \mathrm {M}\subset \mathrm {P}\) is also a maximal torus of \(\mathrm {G}^\circ _\mathbb {C}\). Then the choice of \(\mathrm {B}\) determines the subsets of positive roots \(\Phi _{\mathrm {G}_\mathbb {C}}^+\) and \(\Phi _\mathrm {M}^+\), and of dominant weights \({\text {X}}_{\mathrm {G}_\mathbb {C}}^+\) and \({\text {X}}_\mathrm {M}^+\).

When \(W\) is an irreducible representation of highest weight \(\nu \in {\text {X}}_\mathrm {M}^+\), we write \(W= W_\nu \), \(\underline{W}= \underline{W}_\nu \), etc. Similarly, when \(\mathrm {G}\) is connected and \(V\) is an irreducible representation of highest weight \(\mu \in {\text {X}}_{\mathrm {G}_\mathbb {C}}^+\), we write \(V= V_\mu \), \(\underline{V}= \underline{V}_\mu \), etc. When \(\mathrm {G}\) is not connected, we will abusively denote by \(V_{[\mu ]}\) any irreducible representation of \(\mathrm {G}_\mathbb {C}\) whose restriction to \(\mathrm {G}^\circ _\mathbb {C}\) decomposes into a sum of irreducible representations \(V_{\mu '}\), for all \(\mu '\) in some multiset \([\mu ]\) of dominant weights of \(\mathrm {G}^\circ _\mathbb {C}\). The justification for this is that the geometric structures of the resulted \((\underline{V}_{[\mu ]}, \nabla )\) and their canonical and subcanonical extensions only depend on the weights \(\mu '\) in \([\mu ]\), but not on the structure of \(V_{[\mu ]}\) as a representation of \(\mathrm {G}_\mathbb {C}\). This terminology is not ideal, but suffices in many naturally occurring cases such as representations of orthogonal groups.

### Definition 2.1

We say that a root \(\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}\) is *compact* if \(\alpha \in \Phi _\mathrm {M}\); otherwise we say it is *noncompact*. We shall denote the set of noncompact roots by \(\Phi _{\mathrm {G}_\mathbb {C}}^\mathrm {M}\), and denote the positive noncompact roots by \(\Phi _{\mathrm {G}_\mathbb {C}}^{\mathrm {M}, +}\). We extend these notions and notations to the corresponding coroots in the obvious ways.

As usual, let \(\rho _{\mathrm {G}_\mathbb {C}} := \frac{1}{2} \mathop {\sum }\limits \nolimits _{\mu \in \Phi _{\mathrm {G}_\mathbb {C}}^+} \mu \) and \(\rho _\mathrm {M}:= \frac{1}{2} \mathop {\sum }\limits \nolimits _{\nu \in \Phi _\mathrm {M}^+} \nu \) denote the half-sums of positive roots, and let \(\rho ^\mathrm {M}:= \rho _{\mathrm {G}_\mathbb {C}} - \rho _\mathrm {M}\). Let \(\mathrm {U}\) denote (as above) the unipotent radical of \(\mathrm {P}\). Let \(\mathfrak {g}\) (resp. \(\mathfrak {p}\), resp. \(\mathfrak {u}\)) denote the Lie algebra of \(\mathrm {G}_\mathbb {C}\) (resp. \(\mathrm {P}\), resp. \(\mathrm {U}\)). Essentially by definition, \(\mathfrak {u}\) is dual to \(\mathfrak {g}/ \mathfrak {p}\) as representations of \(\mathrm {M}\), and the weight of the top exterior power \(\wedge ^{\mathrm{top}}\; \mathfrak {u}\) is \(2 \rho ^\mathrm {M}= \mathop {\sum }\limits \nolimits _{\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}^{\mathrm {M}, +}} \alpha \). Then, for \(d:= \dim _\mathbb {C}(\mathsf {X}) = \dim _\mathbb {C}(\mathsf {H})\), we have \(\Omega ^d_{\mathsf {X}/\mathbb {C}} = \wedge ^{\mathrm{top}}\; \Omega ^1_{\mathsf {X}/\mathbb {C}} \cong \underline{W}_{2 \rho ^\mathrm {M}}\), \(\Omega ^d_{{\mathsf {X}}^{\text {tor}}/\mathbb {C}}(\log \mathsf {D}) \cong \underline{W}_{2 \rho ^\mathrm {M}}^{\mathrm {can}}\), and \(\Omega ^d_{{\mathsf {X}}^{\text {tor}}/\mathbb {C}} \cong \underline{W}_{2 \rho ^\mathrm {M}}^{\mathrm {sub}}\). Let \({\text {W}}_{\mathrm {G}_\mathbb {C}}\) and \({\text {W}}_\mathrm {M}\) denote the Weyl groups of \(\mathrm {G}_\mathbb {C}\) and \(\mathrm {M}\) with respect to the common maximal torus \(\mathrm {T}\), which allows us to identify \({\text {W}}_\mathrm {M}\) as a subgroup of \({\text {W}}_{\mathrm {G}_\mathbb {C}}\). In addition to the natural action of \({\text {W}}_{\mathrm {G}_\mathbb {C}}\) on \({\text {X}}_{\mathrm {G}_\mathbb {C}}\), there is also the dot action \(w\cdot \mu = w( \mu + \rho _{\mathrm {G}_\mathbb {C}} ) - \rho _{\mathrm {G}_\mathbb {C}}\), for all \(w\in {\text {W}}_{\mathrm {G}_\mathbb {C}}\) and \(\mu \in {\text {X}}_{\mathrm {G}_\mathbb {C}}\). Let \({\text {W}}^\mathrm {M}\) denote the subset of \({\text {W}}_{\mathrm {G}_\mathbb {C}}\) consisting of elements *w* such that \(w({\text {X}}_{\mathrm {G}_\mathbb {C}}^+) \subset {\text {X}}_\mathrm {M}^+\).

### Lemma 2.2

For every \(\alpha \in \Phi _\mathrm {M}\), we have \(\left( {\rho ^\mathrm {M}, {\alpha }^{\vee }}\right) = 0\).

### Proof

This is because \(\left( {\rho _{\mathrm {G}_\mathbb {C}}, {\alpha }^{\vee }}\right) = 1 = \left( {\rho _\mathrm {M}, {\alpha }^{\vee }}\right) \) for every simple \(\alpha \) in \(\Phi _\mathrm {M}^+\). \(\square \)

### Lemma 2.3

For every \(\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}^{\mathrm {M}, +}\), we have \(\left( {\rho ^\mathrm {M}, {\alpha }^{\vee }}\right) > 0\).

### Proof

We may and we shall replace \(\mathrm {G}_\mathbb {C}\) with the \(\mathbb {C}\)-simple factors of \(\widetilde{\mathrm {G}}_{0, \mathbb {C}}\), and assume that there is a unique simple \(\alpha _0 \in \Phi _{\mathrm {G}_\mathbb {C}}^{\mathrm {M}, +}\) (because the assertion is trivial when \(\mathrm {M}= \mathrm {P}= \mathrm {G}_\mathbb {C}\)). If \(\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}^{\mathrm {M}, +}\), then \({\alpha }^{\vee }\) is the sum of some positive compact coroots and \(r {\alpha }^{\vee }_0\) for some integer \(r \ge 1\). On the other hand, while \(2 \rho ^\mathrm {M}= \mathop {\sum }\limits \nolimits _{\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}^{\mathrm {M}, +}} \alpha \) is the weight of the top exterior power \(\wedge ^{\mathrm{top}}\; \mathfrak {u}\), it is a positive multiple \(s \varpi _0\) of the fundamental weight \(\varpi _0\) (which is characterized by the property that \(\left( {\varpi _0, {\alpha }^{\vee }_0}\right) = 1\) and \(\left( {\varpi _0, {\alpha }^{\vee }}\right) = 0\) for all simple \(\alpha \in \Phi _{\mathrm {M}}^+\)). Therefore, by Lemma 2.2, we have \(\left( {\rho ^\mathrm {M}, {\alpha }^{\vee }}\right) = r \left( {\rho ^\mathrm {M}, {\alpha }^{\vee }_0}\right) = \frac{1}{2} rs > 0\), as desired. \(\square \)

### Proposition 2.4

### Proof

This follows from the construction of dual Bernstein–Gelfand–Gelfand (BGG) complexes in [10, Sections 3 and 7] (see also [5] and [11, Chapter VI, Section 5]). \(\square \)

### Corollary 2.5

### Proof

This is an immediate consequence of Proposition 2.4. \(\square \)

Corollary 2.5 provides the justification for the following:

### Definition 2.6

We say that \(\nu \in {\text {X}}_\mathrm {M}^+\) is *cohomological* (for the de Rham and Hodge cohomology) if there exist some (necessarily unique) \(\mu = \mu (\nu ) \in {\text {X}}_{\mathrm {G}_\mathbb {C}}^+\) and \(w = w(\nu ) \in {\text {W}}^\mathrm {M}\) such that \(W_\nu \cong {W}^{\vee }_{w \cdot \mu }\).

## 3 Positive parallel weights

### 3.1 Ampleness

### Definition 3.1

We say that \(\nu \in {\text {X}}_\mathrm {M}^+\) is *positive parallel* if \(W_\nu \) is one-dimensional and if, for each \(\mathbb {Q}\)-simple factor of \(\widetilde{\mathrm {G}}_0\) that is noncompact at \(\infty \), the pullbacks of \(\nu \) and \(\rho ^\mathrm {M}\) to the corresponding factor of \({\text {X}}_{\widetilde{\mathrm {M}}_0}^+\) are equal up to multiplication by a positive (rational) number.

### Lemma 3.2

If \(\nu \in {\text {X}}_\mathrm {M}^+\) is positive parallel as in Definition 3.1, then the automorphic bundle \(\underline{W}_\nu \) over \(\mathsf {X}\) is an ample line bundle, and the canonical extension \(\underline{W}_\nu ^{\mathrm {can}}\) over \({\mathsf {X}}^{\text {tor}}\) is a semiample line bundle, and there exists some integer \(N\ge 1\) such that \(\underline{W}_{N \nu }^{\mathrm {can}}\cong (\underline{W}_\nu ^{\mathrm {can}})^{\mathop {\otimes }\limits N}\) descends to an ample line bundle \(\omega _{N \nu }\) over \({\mathsf {X}}^{\text {min}}\).

### Proof

We may and we shall replace \(\mathsf {X}\) with its finitely many connected components \(( g_i \Gamma _i g_i^{-1} ) \backslash (g_i \mathsf {H}_0 ) \cong \Gamma _i \backslash \mathsf {H}_0\), replace \(\mathrm {G}\) with \(\widetilde{\mathrm {G}}_0\), replace \(\mathsf {H}\) with \(\mathsf {H}_0\), and replace each arithmetic subgroup \(\Gamma _i\) of \(\mathrm {G}(\mathbb {Q})\) with a neat finite index normal subgroup of its preimage in \(\widetilde{\mathrm {G}}_0(\mathbb {Q})\). Accordingly, we shall replace \({\mathsf {X}}^{\text {min}}\) and \({\mathsf {X}}^{\text {tor}}\) with \({( \Gamma _i \backslash \mathsf {H})}^{\text {min}}\) and \({( \Gamma _i \backslash \mathsf {H})}^{\text {tor}}_{\Sigma _i}\), respectively, and replace each \(\Sigma _i\) with a projective and smooth refinement (by Zariski’s main theorem, for each finite index normal subgroup \(\Gamma _i'\) of \(\Gamma _i\), the canonical morphism \({( \Gamma _i' \backslash \mathsf {H})}^{\text {min}} \rightarrow {( \Gamma _i \backslash \mathsf {H})}^{\text {min}}\) between projective normal varieties is finite and induces an isomorphism \((\Gamma _i' \backslash \Gamma _i) \backslash {( \Gamma _i' \backslash \mathsf {H})}^{\text {min}} \mathop {\rightarrow }\limits ^{\sim }{( \Gamma _i \backslash \mathsf {H})}^{\text {min}}\)).

*J*by subscripts \(j\in J\), without explicitly introducing the other notations). For each \(j\in J\), let \(\overline{\Gamma }_j\) denote the image of \(\Gamma \) under the canonical homomorphism \(\mathrm {G}\rightarrow \mathrm {G}_j\), so that \(\Gamma \) is of finite index in \(\overline{\Gamma } = \mathop {\prod }\limits \nolimits _{j\in J} \overline{\Gamma }_j\), and so that we have a finite morphism

For each \(j\in J\), let \(\nu _j \in {\text {X}}_{\mathrm {M}_j}^+\) denote the factor of \(\nu \) corresponding to the factor \(\mathrm {M}_j\) of \(\mathrm {M}\). By assumption, there exist integers \(N\ge 1\) and \(N_j \ge 1\), for all \(j\in J\), such that \(N \nu _j = N_j (2 \rho ^{\mathrm {M}_j})\), and so that \(\underline{W}_{N \nu }^{\mathrm {can}}\) over \({\mathsf {X}}^{\text {tor}}\) is the pullback under (3.5) of \(\mathop {\boxtimes }\limits _j \underline{W}_{N \nu _j}^{\mathrm {can}}\cong \mathop {\boxtimes }\limits _j (\Omega ^{d_j}_{{\mathsf {X}}^{\text {tor}}_j/\mathbb {C}}(\log \mathsf {D}_j))^{\mathop {\otimes }\limits N_j}\) over \(\mathop {\prod }\limits \nolimits _{j \in J} {\mathsf {X}}^{\text {tor}}_j\), where \(d_j = \dim _\mathbb {C}(\mathsf {X}_j) = \dim _\mathbb {C}({\mathsf {X}}^{\text {tor}}_j)\) and \(\mathsf {D}_j = ({\mathsf {X}}^{\text {tor}}_j - \mathsf {X}_j)_{\text {red}}\) (with its reduced structure) for each \(j\in J\). By [36, Proposition 3.4 b)], each \(\Omega ^{d_j}_{{\mathsf {X}}^{\text {tor}}_j/\mathbb {C}}(\log \mathsf {D}_j)\) over \({\mathsf {X}}^{\text {tor}}_j\) is semiample and descends to an ample line bundle \(\omega _j\) over \({\mathsf {X}}^{\text {min}}_j\). Since (3.4) is finite, this shows that \(\underline{W}_{N \nu }^{\mathrm {can}}\) is semiample and descends to an ample line bundle \(\omega _{N \nu }\) over \({\mathsf {X}}^{\text {min}}\), which is the pullback of the ample line bundle \(\mathop {\boxtimes }\limits \nolimits _j \omega _j^{\mathop {\otimes }\limits N_j}\) over \(\mathop {\prod }\limits \nolimits _{j \in J} {\mathsf {X}}^{\text {min}}_j\), as desired. \(\square \)

### Lemma 3.6

(cf. [30, property (5) preceding (2.1)] and [32, Proposition 4.2(5)]) Under the assumption that \({\mathsf {X}}^{\text {tor}} \cong \mathop {\coprod }\limits \nolimits _i {( \Gamma _i \backslash \mathsf {H}_0 )}^{\text {tor}}_{\Sigma _i}\) for some projective smooth cone decompositions \(\Sigma _i\), there exists an effective Cartier divisor \(\mathsf {D}'\) on \({\mathsf {X}}^{\text {tor}}\) such that \(\mathsf {D}'_{\text {red}}= \mathsf {D}\) and such that \(\mathscr {O}_{{\mathsf {X}}^{\text {tor}}}(-\mathsf {D}')\) is relatively ample over \({\mathsf {X}}^{\text {min}}\) via the canonical proper surjective morphism \(\textstyle \oint : {\mathsf {X}}^{\text {tor}} \rightarrow {\mathsf {X}}^{\text {min}}\).

### Proof

By the results in [1, Chapter IV, Section 2], there exists some coherent \(\mathscr {O}_{{\mathsf {X}}^{\text {min}}}\)-ideal \(\mathcal {J}\) such that \({\mathsf {X}}^{\text {tor}} \cong {\text {NBl}}_\mathcal {J}({\mathsf {X}}^{\text {min}})\), the normalization of the blowup of \({\mathsf {X}}^{\text {min}}\) at \(\mathcal {J}\), and such that the pullback of \(\mathcal {J}\) to \({\mathsf {X}}^{\text {tor}}\) is a line bundle isomorphic to \(\mathscr {O}_{{\mathsf {X}}^{\text {tor}}}(\mathsf {D}')\) for some effective Cartier divisor \(\mathsf {D}'\) as in the statement of the lemma. \(\square \)

### Proposition 3.7

(cf. [30, (2.1)] and [32, (4.5)]) There exists an effective Cartier divisor \(\mathsf {D}'\) on \({\mathsf {X}}^{\text {tor}}\) such that \(\mathsf {D}'_{\text {red}}= \mathsf {D}\), and such that, for any positive parallel weight \(\nu \in {\text {X}}_\mathrm {M}^+\) (see Definition 3.1), there exists some integer \(N_0\) such that \(\underline{W}_{N \nu }^{\mathrm {can}}(-\mathsf {D}')\) is ample for all \(N\ge N_0\).

### 3.2 Positive parallel weights of smallest sizes

### Theorem 3.8

*dual Coxeter number*(cf. [21, Section 6.1]) of the \(\mathbb {C}\)-simple factor of \(\widetilde{\mathrm {G}}_{0, \mathbb {C}}\) from where \({\alpha }^{\vee }\) comes, which can be given explicitly as

### Proof

This can be easily checked in all cases by explicit calculations (cf. Sect. 3.3 below)—indeed, this was how we observed the truth of this theorem. Nevertheless, we shall present a more conceptual argument, which we learned from Zhiwei Yun.

Let \(\theta \) denote the highest root of \(\mathrm {G}_\mathbb {C}\), and let \({\theta }^{\vee }\) denote the corresponding coroot. Essentially by definition, since \(\left( {\rho _{\mathrm {G}_\mathbb {C}}, {\alpha }^{\vee }}\right) = 1\) for every positive simple root \(\alpha \), we have \({h}^{\vee } = 1 + \left( {\rho _{\mathrm {G}_\mathbb {C}}, {\theta }^{\vee }}\right) \). Since \(\theta \) is the highest root, it is the only root \(\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}^+\) such that \(\left( {\alpha , {\theta }^{\vee }}\right) = 2\). Since \(\left( {2 \rho _{\mathrm {G}_\mathbb {C}}, {\theta }^{\vee }}\right) = 2 ({h}^{\vee } - 1)\), there are exactly \(2 ({h}^{\vee } - 2)\) (necessarily positive) roots \(\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}^+\) such that \(\left( {\alpha , {\theta }^{\vee }}\right) = 1\). Since \(\alpha _0\) and \(\theta \) are both long roots, they are in the same orbit of \({\text {W}}_{\mathrm {G}_\mathbb {C}}\). Therefore, it is also true that there are exactly \(2 ({h}^{\vee } - 2)\) roots \(\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}\) such that \(\left( {\alpha , {\alpha }^{\vee }_0}\right) = 1\).

Suppose \(\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}\) satisfies \(\left( {\alpha , {\alpha }^{\vee }_0}\right) = 1\). Then \(\left( {\alpha +\alpha _0, {\alpha }^{\vee }_0}\right) = 3\), which forces \(\alpha + \alpha _0 \not \in \Phi _{\mathrm {G}_\mathbb {C}}\). By [41, Lemma 9.1.3], it follows that \(\alpha - \alpha _0 \in \Phi _{\mathrm {G}_\mathbb {C}}\), but \(\alpha - 2\alpha _0 \not \in \Phi _{\mathrm {G}_\mathbb {C}}\). Then we have two cases: (i) \(\alpha \in \Phi _\mathrm {M}\) and \(\left( {\alpha , {\alpha }^{\vee }_0}\right) = 1\); or (ii) \(\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}^{\mathrm {M}, +}\), in which case we have \(\beta = \alpha - \alpha _0 \in \Phi _\mathrm {M}\) satisfying \(-\beta \in \Phi _{\mathrm {M}}\) and \(\left( {-\beta , {\alpha }^{\vee }_0}\right) = 1\). Since the two cases have the same number of roots, there are \({h}^{\vee } - 2\) of them in each case. Thus, \(\left( {2 \rho ^\mathrm {M}, {\alpha }^{\vee }_0}\right) = \left( {\alpha _0, {\alpha }^{\vee }_0}\right) + \mathop {\sum }\limits \nolimits _{\alpha \;\text {in case (ii)}\;} \left( {\alpha , {\alpha }^{\vee }_0}\right) = 2 + ({h}^{\vee }-2) = {h}^{\vee }\), as desired. \(\square \)

### Remark 3.12

We learned from Xinwen Zhu that the assertion in Theorem 3.8 that \(\frac{\left( { 2 \rho ^\mathrm {M}, {\alpha }^{\vee }}\right) }{{h}^{\vee }}\) is an integer for all coroots \({\alpha }^{\vee }\) of \(\mathrm {G}_\mathbb {C}\) is a special case of deeper investigations in [4, Section 4.6] and [46, Section 6.3] concerning Schubert subvarieties of affine Grassmannians (the \(\mathrm {G}^\circ _\mathbb {C}/ \mathrm {P}\) considered here corresponds to Schubert subvarieties associated with minuscule cocharacters).

### Corollary 3.13

### Proof

We may and we shall replace \(\mathrm {G}\) with \(\widetilde{\mathrm {G}}_0\) (and replace \(\mathrm {M}\), etc., with \(\widetilde{\mathrm {M}}_0\), etc., accordingly), so that we have a factorization \(\mathrm {G}\cong \mathop {\prod }\limits \nolimits _{j \in J} \mathrm {G}_j\) into its \(\mathbb {Q}\)-simple factors, which induces a factorization \(\mathrm {M}\cong \mathop {\prod }\limits \nolimits _{j \in J} \mathrm {M}_j\), as in the proof of Lemma 3.2. Then we can write \(\rho ^\mathrm {M}= ( \rho ^{\mathrm {M}_j} )_{j \in J}\), and it suffices to take \(\nu _+ = ( \frac{1}{{h}^{\vee }_j} (2 \rho ^{\mathrm {M}_j}) )_{j \in J}\), where \({h}^{\vee }_j\) is the dual Coxeter number of any of the \(\mathbb {C}\)-simple factors of \(\mathrm {G}_j\), by Theorem 3.8 and its proof (the upshot is that the multiple \(\frac{1}{{h}^{\vee }_j}\) depends only on the \(\mathbb {Q}\)-simple factor \(\mathrm {G}_j\), but not on its further factorization into a product of \(\mathbb {C}\)-simple factors). \(\square \)

### 3.3 Explicit descriptions in all cases

For our main results to be stated in Sect. 4 to be practically useful, it is desirable to have explicit descriptions of positive parallel weights of \(\mathrm {G}_\mathbb {C}\) in all cases. For this purpose, by Definition 3.1, it suffices to describe the pullback of such weights to the \(\mathbb {Q}\)-simple factors of \(\widetilde{\mathrm {G}}_{0, \mathbb {C}}\). Hence, we may and we shall assume that \(\mathrm {G}_\mathbb {C}\) is \(\mathbb {Q}\)-simple, and decomposes as a product \(\mathrm {G}_\mathbb {C}\cong \mathop {\prod }\limits \nolimits _{\upsilon \in \Upsilon } \mathrm {G}_\upsilon \) of its \(\mathbb {C}\)-simple factors, so that we have corresponding decompositions \(\mathrm {P}\cong \mathop {\prod }\limits \nolimits _{\upsilon \in \Upsilon } \mathrm {P}_\upsilon \), \(\mathrm {M}\cong \mathop {\prod }\limits \nolimits _{\upsilon \in \Upsilon } \mathrm {M}_\upsilon \), \({\text {X}}_{\mathrm {G}_\mathbb {C}} = \mathop {\prod }\limits \nolimits _{\upsilon \in \Upsilon } {\text {X}}_{\mathrm {G}_\upsilon }\), \({\text {X}}_\mathrm {M}= \mathop {\prod }\limits \nolimits _{\upsilon \in \Upsilon } {\text {X}}_{\mathrm {M}_\upsilon }\), \(\Phi _\mathrm {G}= \mathop {\coprod }\limits \nolimits _{\upsilon \in \Upsilon } \Phi _{\mathrm {G}_\upsilon }\), etc. Thanks to the classification of Hermitian symmetric domains (see, e.g., [19, Chapter X, Section 6, Table V]), we only have to investigate the following six cases (readers who are not interested can skip these and move on to the next section).

#### 3.3.1 Type \(\mathrm {A}\)

*n*. For each \(\upsilon \in \Upsilon \), let us embed \(\Phi _{\mathrm {G}_\upsilon }\) into \(( \mathbb {R}e )^\perp \subset \mathbb {R}^{n+1}\), where \(e = (1,1,\ldots ,1)\) has all its entries equal to 1, by taking the roots to be \(e_i - e_j\), for \(1\le i,j \le n+1\) with \(i\ne j\), where \(e_i\) and \(e_j\) are the

*i*-th and

*j*-th standard basis vectors of \(\mathbb {R}^{n+1}\), with the Killing form induced by the standard inner product of \(\mathbb {R}^{n+1}\) (by the

*r*-th standard basis vector \(e_r\), we mean the vector with the

*r*-th entry being 1 and all other entries being 0). For each root \(\alpha = e_i - e_j\), the corresponding coroot is \({\alpha }^{\vee }= e_i - e_j\). Up to a change of coordinates, we shall assume that

### Lemma 3.25

#### 3.3.2 Type \(\mathrm {B}\)

*n*. For each \(\upsilon \in \Upsilon \), let us embed \(\Phi _{\mathrm {G}_\upsilon }\) in \(\mathbb {R}^n\) by taking the roots to be \(\pm e_i \pm e_j\) (allowing all four possibilities of signs) and \(\pm e_i\) for \(1\le i, j \le n\) with \(i\ne j\), where \(e_i\) and \(e_j\) are

*i*-th and

*j*-th standard basis vectors of \(\mathbb {R}^n\), with the Killing form induced by the standard inner product of \(\mathbb {R}^n\). For each root \(\alpha = \pm e_i \pm e_j\) (resp. \(\pm e_i\)), the corresponding coroot is \({\alpha }^{\vee }= \pm e_i \pm e_j\) (resp. \(\pm 2 e_i\)). Up to a change of coordinates, we shall assume that

### Lemma 3.37

#### 3.3.3 Type \(\mathrm {C}\)

*n*. For each \(\upsilon \in \Upsilon \), let us embed \(\Phi _{\mathrm {G}_\upsilon }\) in \(\mathbb {R}^n\) by taking the roots to be \(\pm e_i \pm e_j\) (allowing all four possibilities of signs) and \(\pm 2e_i\) for \(1\le i, j \le n\) with \(i\ne j\), where \(e_i\) and \(e_j\) are

*i*-th and

*j*-th standard basis vectors of \(\mathbb {R}^n\), with the Killing form induced by the standard inner product of \(\mathbb {R}^n\). For each root \(\alpha = \pm e_i \pm e_j\) (resp. \(\pm 2e_i\)), the corresponding coroot is \({\alpha }^{\vee }= \pm e_i \pm e_j\) (resp. \(\pm e_i\)). Up to a change of coordinates, we shall assume that

### Lemma 3.49

#### 3.3.4 Type \(\mathrm {D}\)

*i*-th and

*j*-th standard basis vectors of \(\mathbb {R}^n\), with the Killing form induced by the standard inner product of \(\mathbb {R}^n\). For each root \(\alpha \) as above, the corresponding coroot \({\alpha }^{\vee }\) is exactly the same vector in \(\mathbb {R}^n\). Up to a change of coordinates, we shall assume that

*n*-th coordinate. Hence, for simplicity, we shall omit the case \(\alpha _{n-1} \not \in \Phi _{\mathrm {M}_\upsilon }\).

### Lemma 3.68

#### 3.3.5 Type \(\mathrm {E}_6\)

*i*-th and

*j*-th standard basis vectors of \(\mathbb {R}^6\) as usual, together with all 32 possibilities of \((\pm \tfrac{1}{2}, \pm \tfrac{1}{2}, \pm \tfrac{1}{2}, \pm \tfrac{1}{2}, \pm \tfrac{1}{2}, \pm \tfrac{\sqrt{3}}{2})\) with an odd number of positive signs, with the Killing form induced by the standard inner product of \(\mathbb {R}^6\). For each root \(\alpha \) as above, the corresponding coroot \({\alpha }^{\vee }\) is exactly the same vector in \(\mathbb {R}^6\). Up to a change of coordinates, we shall assume that

### Lemma 3.87

#### 3.3.6 Type \(\mathrm {E}_7\)

*i*-th and

*j*-th standard basis vectors of \(\mathbb {R}^7\) as usual, together with all 64 possibilities of \((\pm \tfrac{1}{2}, \pm \tfrac{1}{2}, \pm \tfrac{1}{2}, \pm \tfrac{1}{2}, \pm \tfrac{1}{2}, \pm \tfrac{1}{2}, \pm \tfrac{\sqrt{2}}{2})\) with an even number of \(+\tfrac{1}{2}\)’s and the 2 possibilities of \((0, 0, 0, 0, 0, 0, \pm \sqrt{2})\), with the Killing form induced by the standard inner product of \(\mathbb {R}^7\). For each root \(\alpha \) as above, the corresponding coroot \({\alpha }^{\vee }\) is exactly the same vector in \(\mathbb {R}^7\). Up to a change of coordinates, we shall assume that

### Lemma 3.99

## 4 Main results

### 4.1 Vanishing of coherent cohomology

Let \(d:= \dim _\mathbb {C}(\mathsf {X}) = \dim _\mathbb {C}(\mathsf {H})\).

### Theorem 4.1

- 1.
If there exists a positive parallel weight \(\nu _-\) such that \(\nu + \nu _-\) is cohomological, then \(H^i({\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {can}}) = 0\) for every \(i < d- l(w(\nu + \nu _-))\).

- 2.
If there exists a positive parallel weight \(\nu _+\) such that \(\nu - \nu _+\) is cohomological, then \(H^i({\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {sub}}) = 0\) for every \(i > d- l(w(\nu - \nu _+))\).

- 3.If there exist positive parallel weights \(\nu _+\) and \(\nu _-\) such that \(\nu - \nu _+\) and \(\nu + \nu _-\) are both cohomological, then the interior cohomologyfor every \(i \not \in [d- l(w(\nu + \nu _-)), d- l(w(\nu - \nu _+))]\).$$\begin{aligned} H^i_\text {int}\left( {\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {can}}\right) := {\text {image}}\left( H^i\left( {\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {sub}}\right) \rightarrow H^i\left( {\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {can}}\right) \right) = 0 \end{aligned}$$

The proof of Theorem 4.1 will be given below, after stating Theorem 4.3.

### Remark 4.2

Theorem 4.1 generalizes the previously known results in [30, 31], and [32] in PEL-type cases over \(\mathbb {C}\), which were based on techniques developed in positive characteristics in [8, 9, 20, 22], and [37] (in the Siegel case, similar results also based on techniques developed in positive characteristics were independently discovered in [42] and [43], although the methods there depended on special results that are only available in the Siegel case in the literature). Our proof of Theorem 4.1 will be based on a rather general vanishing theorem for mixed Hodge modules, recently proved in [44], which is based on Saito’s theory in [38] which is complex analytic in nature and have not yet been generalized to positive characteristics. In any case, the rather geometric proofs of Theorem 4.1 and its predecessors have the advantage of not using any techniques based on automorphic forms and hence do not depend on the as-yet-still-unanswered question of whether cohomology groups like \(H^i({\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {can}})\) and \(H^i({\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {sub}})\) are represented by automorphic forms (which cannot be deduced from the results of [12] when \(\nu \) is not cohomological in the sense of Definition 2.6). To the best of our knowledge, Theorem 4.1 is not covered by obvious generalizations of other considerations in the literature.

### Theorem 4.3

- 1.
\(H^i \bigl ( {\mathsf {X}}^{\text {tor}}, \mathcal {L}^{-1} \mathop {\otimes }\limits \nolimits _{\mathscr {O}_{{\mathsf {X}}^{\text {tor}}}} {\text {Gr}}^\mathtt {F}( {\text {DR}}^\bullet ( ({\underline{V}}^{\vee }_{[\mu ]})^{\mathrm {can}}) ) \bigr ) = 0\) for every \(i < d\).

- 2.
\(H^i \bigl ( {\mathsf {X}}^{\text {tor}}, \mathcal {L} \mathop {\otimes }\limits \nolimits _{\mathscr {O}_{{\mathsf {X}}^{\text {tor}}}} {\text {Gr}}^\mathtt {F}( {\text {DR}}^\bullet ( ({\underline{V}}^{\vee }_{[\mu ]})^{\mathrm {sub}}) ) \bigr ) = 0\) for every \(i > d\).

### Proof

Since any \(\mathcal {L}\) as in the statement of the theorem is nef and big, and since the local system associated with \(({\underline{V}}^{\vee }_{[\mu ]}, \nabla )\) has unipotent monodromy (by [1, Chapter III, Section 5, Main Theorem I and its proof] and the explanation in [32, Section 6.1]), the assertions of the theorem follow from the vanishing results of [44] for canonical extensions of polarized variations of Hodge structures. \(\square \)

### Remark 4.4

When \({\mathsf {X}}^{\text {tor}}\) is a union of connected components of the complex fiber of some toroidal compactification of a PEL-type Shimura variety (as in [27, Theorems 6.4.1.1 and 7.3.3.4]), Theorem 4.3 follows from [31, Corollary 6.2] and [32, Proposition 7.21], which were based on [20, Corollary 4.16] and [32, Theorem 3.24], respectively. It seems plausible that the methods there (using geometry in good mixed characteristics) can be extended to cover all abelian-type cases, although they have not been carried out yet (as far as we know).

### Proof of Theorem 4.1

- 1.
\(H^{i-l(w)} \bigl ( {\mathsf {X}}^{\text {tor}}, \underline{W}_{-\nu _-}^{\mathrm {can}}\mathop {\otimes }\limits \nolimits _{\mathscr {O}_{{\mathsf {X}}^{\text {tor}}}} ({\underline{W}}^{\vee }_{w\cdot \mu })^{\mathrm {can}}\bigr ) = 0\) for every \(i < d\).

- 2.
\(H^{i-l(w)} \bigl ( {\mathsf {X}}^{\text {tor}}, \underline{W}_{\nu _+}^{\mathrm {can}}\mathop {\otimes }\limits \nolimits _{\mathscr {O}_{{\mathsf {X}}^{\text {tor}}}} ({\underline{W}}^{\vee }_{w\cdot \mu })^{\mathrm {sub}}\bigr ) = 0\) for every \(i > d\).

*w*are arbitrary, these imply the first two vanishing statements in Theorem 4.1 and hence also the third. (This is the same argument as in [32, Sections 7.3 and 7.4].) The last paragraph of Theorem 4.1 is self-explanatory.

### 4.2 Higher direct images and higher Koecher’s principle

### Theorem 4.5

(cf. [28, Theorem 3.9 and Remark 10.1; see also Remark 3.10]) For every \(\nu \in {\text {X}}_\mathrm {M}^+\), we have \(R^i \textstyle \oint _* \underline{W}_\nu ^{\mathrm {sub}}= 0\) for all \(i>0\).

### Proof

By the same method as in [29], by (2) of Theorem 4.1, it suffices to show that the analogue of [29, Proposition 2.6] is true, which we can reformulate as follows: By definition of positive parallel weights in Definition 3.1, it suffices to note that there exists some integer \(N_0\) (depending on \(\nu \)) such that \(\left( { \nu + N \rho ^\mathrm {M}, {\alpha }^{\vee }}\right) \ge 0\) for all \(\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}^+\) and all \(N\ge N_0\). This is because, if \(\alpha \in \Phi _\mathrm {M}^+\), then \(\left( { \nu , {\alpha }^{\vee }}\right) \ge 0\) and \(\left( { \rho ^\mathrm {M}, {\alpha }^{\vee }}\right) = 0\) by Lemma 2.2; otherwise \(\alpha \in \Phi _{\mathrm {G}_\mathbb {C}}^{\mathrm {M}, +}\) and \(\left( { \rho ^\mathrm {M}, {\alpha }^{\vee }}\right) > 0\) by Lemma 2.3, and therefore, it suffices to take \(N_0 \ge -\left( { \nu , {\alpha }^{\vee }}\right) / \left( { \rho ^\mathrm {M}, {\alpha }^{\vee }}\right) \) for all such \(\alpha \). \(\square \)

### Remark 4.6

While Theorem 4.5 is not new, the proof based on Theorem 4.1 suggests an intriguing relation between vanishing results in rather different contexts.

### Theorem 4.7

*U*of \({\mathsf {X}}^{\text {min}}\), the canonical restriction morphism

The analogous statements are true if we replace all varieties and sheaves with their complex analytifications (with sections represented by holomorphic functions).

### Proof

As explained in [28, Remark 10.1], the same methods as in [28, Sections 3–8] also work here. Nevertheless, by the same method based on Serre duality as in [28, Section 8], we have a shortcut by using Theorem 4.5 here (with its proof based on Theorem 4.1) instead of [28, Theorem 3.9] there (then the reduction of the complex-analytic assertion to the algebraic one follows from the same steps as in [28, Section 3], based on [14, VIII, Proposition 3.2], [15, XII, Proposition 2.1], and [40, Theorems A, A\('\), and B]). \(\square \)

### 4.3 Vanishing of de Rham cohomology

### Theorem 4.10

*sufficiently regular*in the sense that, for each positive coroot \({\alpha }^{\vee }\) of \(\mathrm {G}_\mathbb {C}\), which necessarily comes from some \(\mathbb {C}\)-simple factor of \(\widetilde{\mathrm {G}}_{0, \mathbb {C}}\), we have (see Definition 2.1):

- 1.
\(H^i_{\text {dR}}(\mathsf {X}, {\underline{V}}^{\vee }_{[\mu ]}) := H^i({\mathsf {X}}^{\text {tor}}, {\text {DR}}^\bullet ( ({\underline{V}}^{\vee }_{[\mu ]})^{\mathrm {can}}) = 0\) for every \(i < d\).

- 2.
\(H^i_{{\text {dR}}, \text {c}}(\mathsf {X}, {\underline{V}}^{\vee }_{[\mu ]}) := H^i({\mathsf {X}}^{\text {tor}}, {\text {DR}}^\bullet ( ({\underline{V}}^{\vee }_{[\mu ]})^{\mathrm {sub}}) = 0\) for every \(i > d\).

- 3.
\(H^i_{{\text {dR}}, \text {int}}(\mathsf {X}, {\underline{V}}^{\vee }_{[\mu ]}) := {\text {image}}( H^i_{{\text {dR}}, \text {c}}(\mathsf {X}, {\underline{V}}^{\vee }_{[\mu ]}) \rightarrow H^i_{\text {dR}}(\mathsf {X}, {\underline{V}}^{\vee }_{[\mu ]}) ) = 0\) for every \(i\ne d\).

### Proof

- 1.
\(H^{i-l(w)} \bigl ( {\mathsf {X}}^{\text {tor}}, \left( {\underline{W}}^{\vee }_{w\cdot \mu '}\right) ^{\mathrm {can}}\bigr ) = 0\) for every \(i < d\).

- 2.
\(H^{i-l(w)} \bigl ( {\mathsf {X}}^{\text {tor}}, \left( {\underline{W}}^{\vee }_{w\cdot \mu '}\right) ^{\mathrm {sub}}\bigr ) = 0\) for every \(i > d\).

### Remark 4.15

When none of the simple factors of \(\widetilde{\mathrm {G}}_{0, \mathbb {C}}\) is of types \(\mathrm {B}\) or \(\mathrm {C}\), the sufficient regularity condition in Theorem 4.10 is no stronger than the usual regularity condition. In particular, even in PEL-type cases, Theorem 4.10 slightly improves [31, Theorem 8.16] and [32, Theorem 8.18] (when there are some factors of type \(\mathrm {D}\)).

### Remark 4.16

When \(\mathsf {X}\) is compact, the simplest proof of Theorem 4.10 (assuming only that every \(\mu ' \in [\mu ]\) is regular) is in [10, Section 5, Corollary of Theorem 7], by using \(C^\infty \)-resolutions of vector bundles and harmonic forms. It also follows from the more powerful results of [45], which also work for non-Hermitian locally symmetric spaces. When \(\mathsf {X}\) is noncompact, by using mixed Hodge theory as in [11, Chapter VI, Section 5] and [18, Corollary 4.2.3] to show that Faltings’s dual BGG spectral sequences as in Proposition 2.4 degenerate, in the adelic setting, Theorem 4.10 (assuming only that every \(\mu ' \in [\mu ]\) is regular) also follows from [33, Corollary 5.6]. Nevertheless, our proof of Theorem 4.10 here is based on Theorem 4.1 (see Remark 4.2) and the rather combinatorial Theorem 3.8, which are logically independent of the consideration of automorphic forms as in [33, Corollary 5.6].

### 4.4 Illustrative examples of low ranks

To better understand Theorem 4.1 (and implicitly, also Theorem 4.10), let us include some illustrative examples of low ranks (which can be practically plotted in two dimensions), although they have already shown up in the results in the PEL-type case in [31] and [32] (nevertheless, they provide examples of the results of [31] and [32] even for torsion coefficients, which might be of some independent interest).

### Example 4.17

*k*(1, 1) for \(k \in \mathbb {Z}_{\ge 1}\)):

*a*,

*b*] or rather \([a]=[a,a]\), are the regions (including their boundaries) for weights \(\nu =(k_1,k_2)\) with coordinates \((k_1,k_2)\) such that:

- 1
\(H^i({\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {can}}) = 0\) for all \(i<a\);

- 2
\(H^i({\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {sub}}) = 0\) for all \(i>b\); and

- 3
\(H^i_\text {int}({\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {can}}) = 0\) for all \(i\not \in [a,b]\).

### Example 4.18

*F*of \(\mathbb {Q}\). Let us adopt the notation system in Sect. 3.3.3, with \(n=1\), but with the root system doubled because there are two \(\mathbb {C}\)-simple factors in the same \(\mathbb {Q}\)-simple factor. Then the vanishing given by Theorem 4.1 can be visualized as follows (the positive parallel weights are of the form

*k*(1, 1) for \(k \in \mathbb {Z}_{\ge 1}\)):

The four chambers whose walls are formed by (partially) dotted half-lines, with vertices at (0, 0), (2, 0), (0, 2), and (2, 2), are the chambers for cohomological weights. (Note that we have \(\Omega _{{\mathsf {X}}^{\text {tor}}/\mathbb {C}}^0(\log \mathsf {D}) \cong \underline{W}_{(0,0)}^{\mathrm {can}}\), \(\Omega ^1_{{\mathsf {X}}^{\text {tor}}/\mathbb {C}}(\log \mathsf {D}) \cong \underline{W}_{(2,0)}^{\mathrm {can}}\mathop {\oplus }\limits \underline{W}_{(0,2)}^{\mathrm {can}}\), and \(\Omega _{{\mathsf {X}}^{\text {tor}}/\mathbb {C}}^2(\log \mathsf {D}) \cong \underline{W}_{(2,2)}^{\mathrm {can}}\). In this case, two of the elements in \({\text {W}}^\mathrm {M}\) have the same length.) The eight regions with boundaries given by dashed line segments and half-lines, which are marked in their interiors by intervals [*a*, *b*] or rather \([a]=[a,a]\), have a similar meaning as in Example 4.17. The thirteen weights denoted as \(\circ \) means \([a,b]=[0,2]\), which are unfortunately useless because they provide no information concerning the vanishing for the coherent cohomology of surfaces. The weights denoted by \(\bullet \), which are all the regular ones, have a similar meaning as in Example 4.17, although we have no weights here that should be denoted by \(\blacksquare \), \(\square \), or \(\star \). Note that, while \(({\text {Res}}_{F/\mathbb {Q}} {\text {SL}}_2)_\mathbb {C}\cong {\text {SL}}_{2, \mathbb {C}} \mathop {\times }\limits {\text {SL}}_{2, \mathbb {C}}\) when *F* is totally real quadratic over \(\mathbb {Q}\), the vanishing results are not the Künneth products (in the obvious sense, by summing up the vanishing degrees) of the corresponding ones for \({\text {SL}}_2\). (We will see similar phenomena in Examples 5.31, 5.38, 5.41, and 5.49 below.)

### Example 4.19

*k*(1, 1) for \(k \in \mathbb {Z}_{\ge 1}\). Of course, the following figure has “wrong angles” because it is a projection):

The three chambers whose walls are formed by (partially) dotted half-lines, with vertices at (0, 0), (2, 1), and (3, 3), are the chambers for cohomological weights. (Note that we have \(\Omega _{{\mathsf {X}}^{\text {tor}}/\mathbb {C}}^0(\log \mathsf {D}) \cong \underline{W}_{(0,0)}^{\mathrm {can}}\), \(\Omega ^1_{{\mathsf {X}}^{\text {tor}}/\mathbb {C}}(\log \mathsf {D}) \cong \underline{W}_{(2,1)}^{\mathrm {can}}\), and \(\Omega _{{\mathsf {X}}^{\text {tor}}/\mathbb {C}}^2(\log \mathsf {D}) \cong \underline{W}_{(3,3)}^{\mathrm {can}}\). In this case, again, all elements in \({\text {W}}^\mathrm {M}\) happen to have different lengths.) The five regions with boundaries given by dashed line segments and half-lines, which are marked in their interiors by intervals [*a*, *b*] or rather \([a]=[a,a]\), have a similar meaning as in Example 4.17. The five weights denoted as \(\circ \) means \([a,b]=[0,2]\), which are unfortunately useless because they provide no information concerning the vanishing for the coherent cohomology of surfaces. The weights denoted by \(\bullet \), which are all the regular ones, have a similar meaning as in Example 4.17. We also have the weights denoted by \(\square \), which are irregular, but Theorem 4.1 implies that the corresponding interior cohomology is still concentrated in just one degree for each of them. We have no weights here that should be denoted by \(\blacksquare \) or \(\star \) as in Example 4.17.

## 5 Algorithms for determining degrees of vanishing

In this section, we record some explicit algorithms for determining the degrees of vanishing in Theorem 4.1, which are important for practical applications. Given any weight \(\nu \in {\text {X}}_\mathrm {M}^+\), we need to find positive parallel weights \(\nu _+\) and \(\nu _-\) such that \(\nu + \nu _+\) and \(\nu + \nu _-\) are both cohomological, and such that the interval \([d-l(w(\nu + \nu _-)), d-l(w(\nu - \nu _+))]\) is as short as possible. Since the definition of positive parallel weights depends only on the pullback of the weight to the \(\mathbb {Q}\)-simple factors of \(\widetilde{\mathrm {G}}_0\), since the dimension \(d\) of \(\mathsf {H}_0\) is the length of the longest element in \({\text {W}}^\mathrm {M}\), and since the length of any \(w \in {\text {W}}_{\mathrm {G}_\mathbb {C}}\) is the sum of the lengths of the pullbacks of *w* to the \(\mathbb {C}\)-simple factors of \(\widetilde{\mathrm {G}}_{0, \mathbb {C}}\), we may assume that \(\mathrm {G}\) is semisimple and \(\mathbb {Q}\)-simple, and that \(\mathrm {G}_\mathbb {C}\) is connected and simply connected (that is, we shall first compute the vanishing degrees over the \(\mathbb {Q}\)-simple factors of \(\widetilde{\mathrm {G}}_0\), and sum them up afterward).

In what follows, for each \(\nu \in {\text {X}}_\mathrm {M}^+\), each of our algorithms will produce an interval \([d^-, d^+]\), which have the same meaning as the intervals in Example 4.17: (i) \(H^i({\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {can}}) = 0\) for all \(i<d^-\); (ii) \(H^i({\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {sub}}) = 0\) for all \(i>d^+\); and (iii) \(H^i_\text {int}({\mathsf {X}}^{\text {tor}}, \underline{W}_\nu ^{\mathrm {can}}) = 0\) for all \(i\not \in [d^-,d^+]\) (as explained above, if there are more than one \(\mathbb {Q}\)-simple factors, the ends of the intervals need to be summed up).

We shall adopt the notation system as in Sect. 3.3, with an additional \(\upsilon \) in the beginning of the subscripts, such as \(\alpha _{\upsilon , 1}, \alpha _{\upsilon , 2}, \ldots \), for each \(\upsilon \in \Upsilon \), indicating the \(\mathbb {C}\)-simple factor to which the objects belong.

- Step 1.
Switch from \(\nu \) to the

*dual representation weight*, namely the weight \(\lambda = (\lambda _\upsilon )_{\upsilon \in \Upsilon } \in {\text {X}}_\mathrm {M}^+\) such that \(W_\nu \cong {W}^{\vee }_\lambda \). The methods for writing down such dual weights will be explained in Sect. 5.1 below. - Step 2.For each integer \(s \in \mathbb {Z}\), consider \(\lambda ^{(s)} = (\lambda ^{(s)}_\upsilon )_{\upsilon \in \Upsilon }\) withwhere \(\varpi _{\upsilon , 0}\) is the fundamental weight dual to the simple positive root \(\alpha _0\) such that \(\alpha _0 \not \in \Phi _{\mathrm {M}_\upsilon }\) (we set \(\varpi _{\upsilon , 0}\) to be zero if no such \(\alpha _0\) exists, which is the case when \(\mathrm {M}_\upsilon = \mathrm {P}_\upsilon = \mathrm {G}_\upsilon \)).$$\begin{aligned} \lambda ^{(s)}_\upsilon := \lambda _\upsilon + \rho _{\mathrm {G}_\upsilon } + s \varpi _{\upsilon , 0}, \end{aligned}$$(5.1)
- Step 3.
For each \(\upsilon \in \Upsilon \), we say that \(\lambda ^{(s)}_\upsilon \) is regular if it does not lie on the walls of the Weyl chambers of the weights of \({\text {X}}_{\mathrm {G}_\upsilon }\). We say that \(\lambda ^{(s)} = ( \lambda ^{(s)}_\upsilon )_{\upsilon \in \Upsilon }\) is regular if \(\lambda ^{(s)}_\upsilon \) is regular for all \(\upsilon \in \Upsilon \) (this is equivalent to saying that \(\lambda ^{(s)} - \rho _{\mathrm {G}_\mathbb {C}} = w \cdot \mu \) for some \(w \in {\text {W}}^\mathrm {M}\) and \(\mu \in {\text {X}}_{\mathrm {G}_\mathbb {C}}^+\); cf. Definition 2.6).

To each regular weight \(\lambda ^{(s)}_\upsilon \), we attach the unique weight \(\kappa ^{(s)}_\upsilon \) in the same Weyl chamber that is the conjugation of \(\rho _{\mathrm {G}_\upsilon }\) by some element \(w_\upsilon ^{(s)}\) in \({\text {W}}^\mathrm {M}\). Then we defineand$$\begin{aligned} l_\upsilon ^{(s)} := l\left( w_\upsilon ^{(s)}\right) \end{aligned}$$(5.2)where$$\begin{aligned} d_\upsilon ^{(s)} := d_\upsilon - l_\upsilon ^{(s)}, \end{aligned}$$(5.3)(The methods for effectively determining the regularity of \(\lambda ^{(s)}_\upsilon \) and the corresponding value of \(l_\upsilon ^{(s)}\) will be explained in Sect. 5.2 below.)$$\begin{aligned} d_\upsilon = \dim _\mathbb {C}(\mathrm {G}_\upsilon ) - \dim _\mathbb {C}(\mathrm {P}_\upsilon ) = \tfrac{1}{2}\left( \dim _\mathbb {C}(\mathrm {G}_\upsilon ) - \dim _\mathbb {C}(\mathrm {M}_\upsilon ) \right) . \end{aligned}$$(5.4) - Step 4.Compute with \(s = 1, 2, \ldots \) and take \(s_+\) to be first value of such an
*s*such that \(\lambda ^{(s_+)} = ( \lambda ^{(s_+)}_\upsilon )_{\upsilon \in \Upsilon }\) is regular. Similarly, compute with \(s = -1, -2, \ldots \) and take \(s_-\) to be the first value of such an*s*such that \(\lambda ^{(s_-)} = ( \lambda ^{(s_-)}_\upsilon )_{\upsilon \in \Upsilon }\) is regular. Then we defineand$$\begin{aligned} d^+ := d^{(s_+)} := \mathop {\sum }\limits _{\upsilon \in \Upsilon } d_\upsilon ^{(s_+)} \end{aligned}$$(5.5)The resulted interval \([d^-, d^+]\) is what we want.$$\begin{aligned} d^- := d^{(s_-)} := \mathop {\sum }\limits _{\upsilon \in \Upsilon } d_\upsilon ^{(s_-)}. \end{aligned}$$(5.6)

### Remark 5.7

The strategy we present here also applies to the results in [31] and [32], provided that the weights are *p*-small in the senses required there, except that for factors of type \(\mathrm {D}\) (which is necessarily of type \(\mathrm {D}_n^\mathbb {H}\) for some *n*), we need to shift by \(2 \varpi _{\upsilon , 0} = (1,1,\ldots ,1)\) instead of \(\varpi _{\upsilon , 0}=(\frac{1}{2},\frac{1}{2},\ldots ,\frac{1}{2})\), because this is the smallest positive parallel weight allowed in the context of [31] and [32].

### 5.1 Dual weights

While the general principle is simple—take the longest Weyl element \(w_0\) of \({\text {W}}_{\mathrm {M}_\upsilon }\), and map \(\nu _\upsilon \in {\text {X}}_{\mathrm {M}_\upsilon }^+\) to \(\lambda _\upsilon = -w_0(\nu )\)—let us nevertheless spell out the explicit changes of coordinates using the notation system in Sect. 3.3.

#### 5.1.1 Type \(\mathrm {A}\)

Suppose we are in the context of Sect. 3.3.1, with some \(r_\upsilon \) such that \(1\le r_\upsilon \le n_\upsilon \). Then we map the weight \(\nu _\upsilon = (\nu _{\upsilon , 1}, \nu _{\upsilon , 2}, \ldots , \nu _{\upsilon , r_\upsilon }; \nu _{\upsilon , r_\upsilon +1}, \nu _{\upsilon , r_\upsilon +2}, \ldots , \nu _{\upsilon , n_\upsilon +1})\) in \({\text {X}}_{\mathrm {M}_\upsilon }\) to \(\lambda _\upsilon = (-\nu _{\upsilon , r_\upsilon }, -\nu _{\upsilon , r_\upsilon -1}, \ldots , -\nu _{\upsilon , 1}; -\nu _{\upsilon , n_\upsilon +1}, -\nu _{\upsilon , n_\upsilon }, \ldots , -\nu _{\upsilon , r_\upsilon +1})\). When no \(r_\upsilon \) exists, in which case \({\text {X}}_{\mathrm {M}_\upsilon } = {\text {X}}_{\mathrm {G}_\upsilon }\), we apply this recipe with \(r_\upsilon = 0\) or \(n_\upsilon +1\).

#### 5.1.2 Type \(\mathrm {B}\)

Suppose we are in the context of Sect. 3.3.2, with \(r_\upsilon = 1\). Then we map the weight \(\nu _\upsilon = (\nu _{\upsilon , 1}; \nu _{\upsilon , 2}, \ldots , \nu _{\upsilon , n_\upsilon })\) in \({\text {X}}_{\mathrm {M}_\upsilon }\) to \(\lambda _\upsilon = (-\nu _{\upsilon , 1}; \nu _{\upsilon , 2}, \ldots , \nu _{\upsilon , n_\upsilon })\), changing only the sign of the first entry \(\nu _{\upsilon , 1}\). When no \(r_\upsilon \) exists, in which case \({\text {X}}_{\mathrm {M}_\upsilon } = {\text {X}}_{\mathrm {G}_\upsilon }\), we have \(\lambda _\upsilon = \nu _\upsilon \), with exactly the same entries.

#### 5.1.3 Type \(\mathrm {C}\)

Suppose we are in the context of Sect. 3.3.3, with \(r_\upsilon = n_\upsilon \). Then we map the weight \(\nu _\upsilon = (\nu _{\upsilon , 1}, \nu _{\upsilon , 2}, \ldots , \nu _{\upsilon , n_\upsilon })\) in \({\text {X}}_{\mathrm {M}_\upsilon }\) to \(\lambda _\upsilon = (-\nu _{\upsilon , n_\upsilon }, -\nu _{\upsilon , n_\upsilon -1}, \ldots , -\nu _{\upsilon , 1})\). When no \(r_\upsilon \) exists, in which case \({\text {X}}_{\mathrm {M}_\upsilon } = {\text {X}}_{\mathrm {G}_\upsilon }\), we have \(\lambda _\upsilon = \nu _\upsilon \), with exactly the same entries, as in the type \(\mathrm {B}\) case above.

#### 5.1.4 Type \(\mathrm {D}\)

Suppose we are in the context of Sect. 3.3.4, with \(n_\upsilon \ge 4\) and \(r_\upsilon = 1\), \(n_\upsilon -1\), or \(n_\upsilon \). If \(r_\upsilon = 1\), then we map the weight \(\nu _\upsilon = (\nu _{\upsilon , 1}; \nu _{\upsilon , 2}, \ldots , \nu _{\upsilon , n_\upsilon })\) in \({\text {X}}_{\mathrm {M}_\upsilon }\) to \(\lambda _\upsilon = (-\nu _{\upsilon , 1}; \nu _{\upsilon , 2}, \ldots , \nu _{\upsilon , n_\upsilon -1}, (-1)^{n_\upsilon -1} \nu _{\upsilon , n_\upsilon })\), where the sign of the first entry \(\nu _{\upsilon , 1}\) is changed as in the type \(\mathrm {B}\) case above, and where the sign of the last entry \(\nu _{\upsilon , n_\upsilon }\) is changed exactly when \(n_\upsilon \) is even. If \(r_\upsilon = n_\upsilon -1\), then we map the weight \(\nu _\upsilon = (\nu _{\upsilon , 1}, \nu _{\upsilon , 2}, \ldots , \nu _{\upsilon , n_\upsilon })\) in \({\text {X}}_{\mathrm {M}_\upsilon }\) to \(\lambda _\upsilon = (\nu _{\upsilon , n_\upsilon }, -\nu _{\upsilon , n_\upsilon -1}, \ldots , -\nu _{\upsilon , 2}, \nu _{\upsilon , 1})\), which differ from the type \(\mathrm {C}\) case above by the signs at the first and the \(n_\upsilon \)-th terms. If \(r_\upsilon = n_\upsilon \), then we map the weight \(\nu _\upsilon = (\nu _{\upsilon , 1}, \nu _{\upsilon , 2}, \ldots , \nu _{\upsilon , n_\upsilon })\) in \({\text {X}}_{\mathrm {M}_\upsilon }\) to \(\lambda _\upsilon = (-\nu _{\upsilon , n_\upsilon }, -\nu _{\upsilon , n_\upsilon -1}, \ldots , -\nu _{\upsilon , 1})\) as in the type \(\mathrm {C}\) case above. When no \(r_\upsilon \) exists, in which case \({\text {X}}_{\mathrm {M}_\upsilon } = {\text {X}}_{\mathrm {G}_\upsilon }\), we map the weight \(\nu _\upsilon = (\nu _{\upsilon , 1}, \nu _{\upsilon , 2}, \ldots , \nu _{\upsilon , n_\upsilon })\) to \(\nu _\upsilon = (\nu _{\upsilon , 1}, \nu _{\upsilon , 2}, \ldots , \nu _{\upsilon , n_\upsilon -1}, (-1)^{n_\upsilon } \nu _{\upsilon , n_\upsilon })\), where the sign of the last entry \(\nu _{\upsilon , n_\upsilon }\) is changed exactly when \(n_\upsilon \) is odd.

#### 5.1.5 Type \(\mathrm {E}_6\)

#### 5.1.6 Type \(\mathrm {E}_7\)

### 5.2 Regularity and Weyl lengths

In this subsection, we shall assume that \(\mathrm {M}_\upsilon \ne \mathrm {G}_\upsilon \) and so that \({\text {W}}^{\mathrm {M}_\upsilon }\) is nontrivial and some \(r_\upsilon \) exists (otherwise we can just set \(l_\upsilon ^{(s)} = 0\) and \(d_\upsilon ^{(s)} = 0\) in the contexts of (5.2) and (5.3)).

#### 5.2.1 Type \(\mathrm {A}\)

#### 5.2.2 Type \(\mathrm {B}\)

#### 5.2.3 Type \(\mathrm {C}\)

#### 5.2.4 Type \(\mathrm {D}\)

\(\{ w \rho _{\mathrm {G}_\upsilon } \}_{w \in {\text {W}}^{\mathrm {M}_\upsilon }}\) in the case of type \(\mathrm {E}_6\) (with \(r_\upsilon = 1\))

\(\varvec{\kappa = w \rho _{\mathrm {G}_\upsilon } = \rho _{\mathrm {G}_\upsilon } + w\cdot 0}\) | \(\varvec{l(w)}\) | \(\varvec{w \in {\text {W}}^\mathrm {M}}\) |
---|---|---|

\(\kappa _0 = (4,3,2,1,0,4\sqrt{3})\) | 0 | 1 |

\(\kappa _1 = (3,4,2,1,0,4\sqrt{3})\) | 1 | \(w_1 = s_1\) |

\(\kappa _2 = (2,4,3,1,0,4\sqrt{3})\) | 2 | \(w_2 = w_1 s_2\) |

\(\kappa _3 = (1,4,3,2,0,4\sqrt{3})\) | 3 | \(w_3 = w_2 s_3\) |

\(\kappa _{4_{\text {I}}} = (0,4,3,2,-1,4\sqrt{3})\) | 4 | \(w_{4_{\text {I}}} = w_3 s_5\) |

\(\kappa _{4_{\text {II}}} = (0,4,3,2,1,4\sqrt{3})\) | 4 | \(w_{4_{\text {II}}} = w_3 s_4\) |

\(\kappa _{5_{\text {I}}} = (-\frac{1}{2},\frac{9}{2},\frac{7}{2},\frac{5}{2},-\frac{3}{2},\frac{7}{2}\sqrt{3})\) | 5 | \(w_{5_{\text {I}}} = w_{4_{\text {I}}} s_6\) |

\(\kappa _{5_{\text {II}}} = (-1,4,3,2,0,4\sqrt{3})\) | 5 | \(w_{5_{\text {II}}} = w_{4_{\text {II}}} s_5\) |

\(\kappa _{6_{\text {I}}} = (-\frac{3}{2},\frac{9}{2},\frac{7}{2},\frac{5}{2},-\frac{1}{2},\frac{7}{2}\sqrt{3})\) | 6 | \(w_{6_{\text {I}}} = w_{5_{\text {I}}} s_4 = w_{5_{\text {II}}} s_6\) |

\(\kappa _{6_{\text {II}}} = (-2,4,3,1,0,4\sqrt{3})\) | 6 | \(w_{6_{\text {II}}} = w_{5_{\text {II}}} s_3\) |

\(\kappa _{7_{\text {I}}} = (-\frac{5}{2},\frac{9}{2},\frac{7}{2},\frac{3}{2},-\frac{1}{2},\frac{7}{2}\sqrt{3})\) | 7 | \(w_{7_{\text {I}}} = w_{6_{\text {I}}} s_3 = w_{6_{\text {II}}} s_6\) |

\(\kappa _{7_{\text {II}}} = (-3,4,2,1,0,4\sqrt{3})\) | 7 | \(w_{7_{\text {II}}} = w_{6_{\text {II}}} s_2\) |

\(\kappa _{8_{\text {I}}} = (-3,5,4,1,0,4\sqrt{3})\) | 8 | \(w_{8_{\text {I}}} = w_{7_{\text {I}}} s_5\) |

\(\kappa _{8_{\text {II}}} = (-\frac{7}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},\frac{7}{2}\sqrt{3})\) | 8 | \(w_{8_{\text {II}}} = w_{7_{\text {I}}} s_2 = w_{7_{\text {II}}} s_6\) |

\(\kappa _{8_{\text {III}}} = (-4,3,2,1,0,4\sqrt{3})\) | 8 | \(w_{8_{\text {III}}} = w_{7_{\text {II}}} s_1\) |

\(\kappa _{9_{\text {I}}} = (-4,5,3,1,0,4\sqrt{3})\) | 9 | \(w_{9_{\text {I}}} = w_{8_{\text {I}}} s_2 = w_{8_{\text {II}}} s_5\) |

\(\kappa _{9_{\text {II}}} = (-\frac{9}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},\frac{7}{2}\sqrt{3})\) | 9 | \(w_{9_{\text {II}}} = w_{8_{\text {II}}} s_1 = w_{8_{\text {III}}} s_6\) |

\(\kappa _{10_{\text {I}}} = (-\frac{9}{2},\frac{11}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},\frac{5}{2}\sqrt{3})\) | 10 | \(w_{10_{\text {I}}} = w_{9_{\text {I}}} s_3\) |

\(\kappa _{10_{\text {II}}} = (-5,4,3,1,0,3\sqrt{3})\) | 10 | \(w_{10_{\text {II}}} = w_{9_{\text {I}}} s_1 = w_{9_{\text {II}}} s_5\) |

\(\kappa _{11_{\text {I}}} = (-5,6,2,1,0,2\sqrt{3})\) | 11 | \(w_{11_{\text {I}}} = w_{10_{\text {I}}} s_4\) |

\(\kappa _{11_{\text {II}}} = (-\frac{11}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},\frac{5}{2}\sqrt{3})\) | 11 | \(w_{11_{\text {II}}} = w_{10_{\text {I}}} s_1 = w_{10_{\text {II}}} s_3\) |

\(\kappa _{12_{\text {I}}} = (-6,5,2,1,0,2\sqrt{3})\) | 12 | \(w_{12_{\text {I}}} = w_{11_{\text {I}}} s_1\) |

\(\kappa _{12_{\text {II}}} = (-6,4,3,2,1,2\sqrt{3})\) | 12 | \(w_{12_{\text {II}}} = w_{11_{\text {II}}} s_2\) |

\(\kappa _{13} = (-\frac{13}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},\frac{3}{2}\sqrt{3})\) | 13 | \(w_{13} = w_{12_{\text {I}}} s_2 = w_{12_{\text {II}}} s_4\) |

\(\kappa _{14} = (-7,4,3,1,0,\sqrt{3})\) | 14 | \(w_{14} = w_{13} s_3\) |

\(\kappa _{15} = (-\frac{15}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},\frac{1}{2}\sqrt{3})\) | 15 | \(w_{15} = w_{14} s_5\) |

\(\kappa _{16} = (-8,3,2,1,0,0)\) | 16 | \(w_{16} = w_{15} s_6\) |

\(\{ w \rho _{\mathrm {G}_\upsilon } \}_{w \in {\text {W}}^{\mathrm {M}_\upsilon }}\) in the case of type \(\mathrm {E}_6\) (with \(r_\upsilon = 6\))

\(\varvec{\kappa = w \rho _{\mathrm {G}_\upsilon } = \rho _{\mathrm {G}_\upsilon } + w\cdot 0}\) | \(\varvec{l(w)}\) | \(\varvec{w \in {\text {W}}^\mathrm {M}}\) |
---|---|---|

\(\kappa _0 = (4,3,2,1,0,4\sqrt{3})\) | 0 | 1 |

\(\kappa _1 = (\frac{9}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},\frac{7}{2}\sqrt{3})\) | 1 | \(w_1 = s_6\) |

\(\kappa _2 = (5,4,3,1,0,3\sqrt{3})\) | 2 | \(w_2 = w_1 s_5\) |

\(\kappa _3 = (\frac{11}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},\frac{5}{2}\sqrt{3})\) | 3 | \(w_3 = w_2 s_3\) |

\(\kappa _{4_{\text {I}}} = (6,4,3,2,-1,2\sqrt{3})\) | 4 | \(w_{4_{\text {I}}} = w_3 s_2\) |

\(\kappa _{4_{\text {II}}} = (6,5,2,1,0,2\sqrt{3})\) | 4 | \(w_{4_{\text {II}}} = w_3 s_4\) |

\(\kappa _{5_{\text {I}}} = (\frac{11}{2},\frac{9}{2},\frac{7}{2},\frac{5}{2},-\frac{3}{2},\frac{3}{2}\sqrt{3})\) | 5 | \(w_{5_{\text {I}}} = w_{4_{\text {I}}} s_1\) |

\(\kappa _{5_{\text {II}}} = (\frac{13}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},\frac{3}{2}\sqrt{3})\) | 5 | \(w_{5_{\text {II}}} = w_{4_{\text {II}}} s_2\) |

\(\kappa _{6_{\text {I}}} = (6,5,3,2,-1,\sqrt{3})\) | 6 | \(w_{6_{\text {I}}} = w_{5_{\text {I}}} s_4 = w_{5_{\text {II}}} s_1\) |

\(\kappa _{6_{\text {II}}} = (7,4,3,1,0,\sqrt{3})\) | 6 | \(w_{6_{\text {II}}} = w_{5_{\text {II}}} s_3\) |

\(\kappa _{7_{\text {I}}} = (\frac{13}{2},\frac{9}{2},\frac{7}{2},\frac{3}{2},-\frac{1}{2},\frac{1}{2}\sqrt{3})\) | 7 | \(w_{7_{\text {I}}} = w_{6_{\text {I}}} s_3 = w_{6_{\text {II}}} s_1\) |

\(\kappa _{7_{\text {II}}} = (\frac{15}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},\frac{1}{2}\sqrt{3})\) | 7 | \(w_{7_{\text {II}}} = w_{6_{\text {II}}} s_5\) |

\(\kappa _{8_{\text {I}}} = (6,5,4,1,0,0)\) | 8 | \(w_{8_{\text {I}}} = w_{7_{\text {I}}} s_2\) |

\(\kappa _{8_{\text {II}}} = (7,4,3,2,0,0)\) | 8 | \(w_{8_{\text {II}}} = w_{7_{\text {I}}} s_5 = w_{7_{\text {II}}} s_1\) |

\(\kappa _{8_{\text {III}}} = (8,3,2,1,0,0)\) | 8 | \(w_{8_{\text {III}}} = w_{7_{\text {II}}} s_6\) |

\(\kappa _{9_{\text {I}}} = (\frac{13}{2},\frac{9}{2},\frac{7}{2},\frac{3}{2},\frac{1}{2},-\frac{1}{2}\sqrt{3})\) | 9 | \(w_{9_{\text {I}}} = w_{8_{\text {I}}} s_5 = w_{8_{\text {II}}} s_2\) |

\(\kappa _{9_{\text {II}}} = (\frac{15}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},-\frac{1}{2}\sqrt{3})\) | 9 | \(w_{9_{\text {II}}} = w_{8_{\text {II}}} s_6 = w_{8_{\text {III}}} s_1\) |

\(\kappa _{10_{\text {I}}} = (6,5,3,2,1,-\sqrt{3})\) | 10 | \(w_{10_{\text {I}}} = w_{9_{\text {I}}} s_3\) |

\(\kappa _{10_{\text {II}}} = (7,4,3,1,0,-\sqrt{3})\) | 10 | \(w_{10_{\text {II}}} = w_{9_{\text {I}}} s_6 = w_{9_{\text {II}}} s_2\) |

\(\kappa _{11_{\text {I}}} = (\frac{11}{2},\frac{9}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},-\frac{3}{2}\sqrt{3})\) | 11 | \(w_{11_{\text {I}}} = w_{10_{\text {I}}} s_4\) |

\(\kappa _{11_{\text {II}}} = (\frac{13}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},-\frac{3}{2}\sqrt{3})\) | 11 | \(w_{11_{\text {II}}} = w_{10_{\text {I}}} s_6 = w_{10_{\text {II}}} s_3\) |

\(\kappa _{12_{\text {I}}} = (6,4,3,2,1,-2\sqrt{3})\) | 12 | \(w_{12_{\text {I}}} = w_{11_{\text {I}}} s_6\) |

\(\kappa _{12_{\text {II}}} = (6,5,2,1,0,-2\sqrt{3})\) | 12 | \(w_{12_{\text {II}}} = w_{11_{\text {II}}} s_5\) |

\(\kappa _{13} = (\frac{11}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},-\frac{5}{2}\sqrt{3})\) | 13 | \(w_{13} = w_{12_{\text {I}}} s_5 = w_{12_{\text {II}}} s_4\) |

\(\kappa _{14} = (5,4,3,1,0,-3\sqrt{3})\) | 14 | \(w_{14} = w_{13} s_3\) |

\(\kappa _{15} = (\frac{9}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},-\frac{7}{2}\sqrt{3})\) | 15 | \(w_{15} = w_{14} s_2\) |

\(\kappa _{16} = (4,3,2,1,0,-4\sqrt{3})\) | 16 | \(w_{16} = w_{15} s_1\) |

#### 5.2.5 Type \(\mathrm {E}_6\)

#### 5.2.6 Type \(\mathrm {E}_7\)

Suppose we are in the context of Sect. 3.3.6. It is known that \({\text {W}}_{\mathrm {G}_\upsilon }\) and \({\text {W}}_{\mathrm {M}_\upsilon }\) have orders 2903040 and 51840, respectively, and so that \({\text {W}}^{\mathrm {M}_\upsilon }\) has order 56. Also, it is known that \(d_\upsilon = \frac{1}{2}( 133 - 79 ) = 27\). Again, since the weight space can be embedded in an ambient space of dimension only 7, we can exhaust all 56 possibilities of \(w \rho _{\mathrm {G}_\upsilon }\) (for \(w\in {\text {W}}^{\mathrm {M}_\upsilon }\)) by direct calculation, without analyzing \({\text {W}}_{\mathrm {G}_\upsilon }\) at all. Our calculations are summarized in Tables 3 and 4. Consequently, \(\lambda ^{(s)}_\upsilon \) is regular if and only if the pairings between \(\lambda ^{(s)}_\upsilon \) and the 56 weights \(w \rho _{\mathrm {G}_\upsilon }\) have a unique maximum at \(\kappa ^{(s)} := w^{(s)}_\upsilon \rho _{\mathrm {G}_\upsilon }\) for some \(w^{(s)}_\upsilon \in {\text {W}}^{\mathrm {M}_\upsilon }\), in which case we define \(l_\upsilon ^{(s)} := l(w^{(s)}_\upsilon )\) by looking up the tables, and define \(d_\upsilon ^{(s)} := d_\upsilon - l_\upsilon ^{(s)}\) as in (5.3).

### 5.3 Examples

In this subsection, for simplicity, we shall drop the index \(\upsilon \) when there is only one \(\mathbb {C}\)-simple factor.

#### 5.3.1 Type \(\mathrm {A}\)

\(\{ w \rho _{\mathrm {G}_\upsilon } \}_{w \in {\text {W}}^{\mathrm {M}_\upsilon }}\) in the case of type \(\mathrm {E}_7\) (first half)

\(\varvec{\kappa = w \rho _{\mathrm {G}_\upsilon } = \rho _{\mathrm {G}_\upsilon } + w\cdot 0}\) | \(\varvec{l(w)}\) | \(\varvec{w \in {\text {W}}^\mathrm {M}}\) |
---|---|---|

\(\kappa _0 = (5,4,3,2,1,0,\frac{17}{2}\sqrt{2})\) | 0 | 1 |

\(\kappa _1 = (4,5,3,2,1,0,\frac{17}{2}\sqrt{2})\) | 1 | \(w_1 = s_1\) |

\(\kappa _2 = (3,5,4,2,1,0,\frac{17}{2}\sqrt{2})\) | 2 | \(w_2 = w_1 s_2\) |

\(\kappa _3 = (2,5,4,3,1,0,\frac{17}{2}\sqrt{2})\) | 3 | \(w_3 = w_2 s_3\) |

\(\kappa _4 = (1,5,4,3,2,0,\frac{17}{2}\sqrt{2})\) | 4 | \(w_4 = w_3 s_4\) |

\(\kappa _{5_{\text {I}}} = (0,5,4,3,2,1,\frac{17}{2}\sqrt{2})\) | 5 | \(w_{5_{\text {I}}} = w_4 s_5\) |

\(\kappa _{5_{\text {II}}} = (0,5,4,3,2,-1,\frac{17}{2}\sqrt{2})\) | 5 | \(w_{5_{\text {II}}} = w_4 s_6\) |

\(\kappa _{6_{\text {I}}} = (-1,5,4,3,2,0,\frac{17}{2}\sqrt{2})\) | 6 | \(w_{6_{\text {I}}} = w_{5_{\text {I}}} s_6\) |

\(\kappa _{6_{\text {II}}} = (-\frac{1}{2},\frac{11}{2},\frac{9}{2},\frac{7}{2},\frac{5}{2},-\frac{3}{2},8\sqrt{2})\) | 6 | \(w_{6_{\text {II}}} = w_{5_{\text {II}}} s_7\) |

\(\kappa _{7_{\text {I}}} = (-2,5,4,3,1,0,\frac{17}{2}\sqrt{2})\) | 7 | \(w_{7_{\text {I}}} = w_{6_{\text {I}}} s_4\) |

\(\kappa _{7_{\text {II}}} = (-\frac{3}{2},\frac{11}{2},\frac{9}{2},\frac{7}{2},\frac{5}{2},-\frac{1}{2},8\sqrt{2})\) | 7 | \(w_{7_{\text {II}}} = w_{6_{\text {II}}} s_5\) |

\(\kappa _{8_{\text {I}}} = (-3,5,4,2,1,0,\frac{17}{2}\sqrt{2})\) | 8 | \(w_{8_{\text {I}}} = w_{7_{\text {I}}} s_3\) |

\(\kappa _{8_{\text {II}}} = (-\frac{5}{2},\frac{11}{2},\frac{9}{2},\frac{7}{2},\frac{3}{2},-\frac{1}{2},8\sqrt{2})\) | 8 | \(w_{8_{\text {II}}} = w_{7_{\text {II}}} s_4\) |

\(\kappa _{9_{\text {I}}} = (-4,5,3,2,1,0,\frac{17}{2}\sqrt{2})\) | 9 | \(w_{9_{\text {I}}} = w_{8_{\text {I}}} s_2\) |

\(\kappa _{9_{\text {II}}} = (-\frac{7}{2},\frac{11}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},8\sqrt{2})\) | 9 | \(w_{9_{\text {II}}} = w_{8_{\text {II}}} s_3\) |

\(\kappa _{9_{\text {III}}} = (-3,6,5,4,1,0,\frac{15}{2}\sqrt{2})\) | 9 | \(w_{9_{\text {III}}} = w_{8_{\text {II}}} s_6\) |

\(\kappa _{10_{\text {I}}} = (-5,4,3,2,1,0,\frac{17}{2}\sqrt{2})\) | 10 | \(w_{10_{\text {I}}} = w_{9_{\text {I}}} s_1\) |

\(\kappa _{10_{\text {II}}} = (-\frac{9}{2},\frac{11}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},8\sqrt{2})\) | 10 | \(w_{10_{\text {II}}} = w_{9_{\text {I}}} s_7 = w_{9_{\text {II}}} s_2\) |

\(\kappa _{10_{\text {III}}} = (-4,6,5,3,1,0,\frac{15}{2}\sqrt{2})\) | 10 | \(w_{10_{\text {III}}} = w_{9_{\text {III}}} s_3\) |

\(\kappa _{11_{\text {I}}} = (-\frac{11}{2},\frac{9}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},8\sqrt{2})\) | 11 | \(w_{11_{\text {I}}} = w_{10_{\text {I}}} s_7 = w_{10_{\text {II}}} s_1\) |

\(\kappa _{11_{\text {II}}} = (-5,6,4,3,1,0,\frac{15}{2}\sqrt{2})\) | 11 | \(w_{11_{\text {II}}} = w_{10_{\text {II}}} s_6 = w_{10_{\text {III}}} s_2\) |

\(\kappa _{11_{\text {III}}} = (-\frac{9}{2},\frac{13}{2},\frac{11}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},7\sqrt{2})\) | 11 | \(w_{11_{\text {III}}} = w_{10_{\text {III}}} s_4\) |

\(\kappa _{12_{\text {I}}} = (-6,5,4,3,1,0,\frac{15}{2}\sqrt{2})\) | 12 | \(w_{12_{\text {I}}} = w_{11_{\text {I}}} s_6 = w_{11_{\text {II}}} s_1\) |

\(\kappa _{12_{\text {II}}} = (-\frac{11}{2},\frac{13}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},7\sqrt{2})\) | 12 | \(w_{12_{\text {II}}} = w_{11_{\text {II}}} s_4 = w_{11_{\text {III}}} s_2\) |

\(\kappa _{12_{\text {III}}} = (-5,7,6,2,1,0,\frac{13}{2}\sqrt{2})\) | 12 | \(w_{12_{\text {III}}} = w_{11_{\text {III}}} s_5\) |

\(\kappa _{13_{\text {I}}} = (-\frac{13}{2},\frac{11}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},7\sqrt{2})\) | 13 | \(w_{13_{\text {I}}} = w_{12_{\text {I}}} s_4 = w_{12_{\text {II}}} s_1\) |

\(\kappa _{13_{\text {II}}} = (-6,7,4,3,2,1,\frac{13}{2}\sqrt{2})\) | 13 | \(w_{13_{\text {II}}} = w_{12_{\text {II}}} s_3\) |

\(\kappa _{13_{\text {III}}} = (-6,7,5,2,1,0,\frac{13}{2}\sqrt{2})\) | 13 | \(w_{13_{\text {III}}} = w_{12_{\text {II}}} s_5 = w_{12_{\text {III}}} s_2\) |

### Example 5.30

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \((0,-2,0)\) | Not regular | |

2 | \((1,-1,0)\) | \((1,-1,0)\) | \(1 + 0 = 1\) |

\(-1\) | \((-2,-4,0)\) | \((0,-1,1)\) | \(1 - 1 = 0\) |

### Example 5.31

\(\{ w \rho _{\mathrm {G}_\upsilon } \}_{w \in {\text {W}}^{\mathrm {M}_\upsilon }}\) in the case of type \(\mathrm {E}_7\) (second half)

\(\varvec{\kappa = w \rho _{\mathrm {G}_\upsilon } = \rho _{\mathrm {G}_\upsilon } + w\cdot 0}\) | \(\varvec{l(w)}\) | \(\varvec{w \in {\text {W}}^\mathrm {M}}\) |
---|---|---|

\(\kappa _{14_{\text {I}}} = (-7,6,4,3,2,1,\frac{13}{2}\sqrt{2})\) | 14 | \(w_{14_{\text {I}}} = w_{13_{\text {I}}} s_3 = w_{13_{\text {II}}} s_1\) |

\(\kappa _{14_{\text {II}}} = (-\frac{13}{2},\frac{15}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},6\sqrt{2})\) | 14 | \(w_{14_{\text {II}}} = w_{13_{\text {II}}} s_5 = w_{13_{\text {III}}} s_3\) |

\(\kappa _{14_{\text {III}}} = (-7,6,5,2,1,0,\frac{13}{2}\sqrt{2})\) | 14 | \(w_{14_{\text {III}}} = w_{13_{\text {III}}} s_1\) |

\(\kappa _{15_{\text {I}}} = (-\frac{15}{2},\frac{11}{2},\frac{9}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},6\sqrt{2})\) | 15 | \(w_{15_{\text {I}}} = w_{14_{\text {I}}} s_2\) |

\(\kappa _{15_{\text {II}}} = (-7,8,4,3,1,0,\frac{11}{2}\sqrt{2})\) | 15 | \(w_{15_{\text {II}}} = w_{14_{\text {II}}} s_4\) |

\(\kappa _{15_{\text {III}}} = (-\frac{15}{2},\frac{13}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},6\sqrt{2})\) | 15 | \(w_{15_{\text {III}}} = w_{14_{\text {II}}} s_1 = w_{14_{\text {III}}} s_3\) |

\(\kappa _{16_{\text {I}}} = (-8,6,5,3,2,1,\frac{11}{2}\sqrt{2})\) | 16 | \(w_{16_{\text {I}}} = w_{15_{\text {I}}} s_5 = w_{15_{\text {III}}} s_2\) |

\(\kappa _{16_{\text {II}}} = (-8,7,4,3,1,0,\frac{11}{2}\sqrt{2})\) | 16 | \(w_{16_{\text {II}}} = w_{15_{\text {II}}} s_1\) |

\(\kappa _{16_{\text {III}}} = (-\frac{15}{2},\frac{17}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},5\sqrt{2})\) | 16 | \(w_{16_{\text {III}}} = w_{15_{\text {II}}} s_6\) |

\(\kappa _{17_{\text {I}}} = (-\frac{17}{2},\frac{13}{2},\frac{9}{2},\frac{7}{2},\frac{3}{2},\frac{1}{2},5\sqrt{2})\) | 17 | \(w_{17_{\text {I}}} = w_{16_{\text {I}}} s_4\) |

\(\kappa _{17_{\text {II}}} = (-\frac{17}{2},\frac{15}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},5\sqrt{2})\) | 17 | \(w_{17_{\text {II}}} = w_{16_{\text {II}}} s_6\) |

\(\kappa _{17_{\text {III}}} = (-8,9,3,2,1,0,\frac{9}{2}\sqrt{2})\) | 17 | \(w_{17_{\text {III}}} = w_{16_{\text {III}}} s_7\) |

\(\kappa _{18_{\text {I}}} = (-9,6,5,4,1,0,\frac{9}{2}\sqrt{2})\) | 18 | \(w_{18_{\text {I}}} = w_{17_{\text {I}}} s_3\) |

\(\kappa _{18_{\text {II}}} = (-9,7,4,3,2,0,\frac{9}{2}\sqrt{2})\) | 18 | \(w_{18_{\text {II}}} = w_{17_{\text {II}}} s_2\) |

\(\kappa _{18_{\text {III}}} = (-9,8,3,2,1,0,\frac{9}{2}\sqrt{2})\) | 18 | \(w_{18_{\text {III}}} = w_{17_{\text {III}}} s_1\) |

\(\kappa _{19_{\text {I}}} = (-\frac{19}{2},\frac{13}{2},\frac{9}{2},\frac{7}{2},\frac{3}{2},-\frac{1}{2},4\sqrt{2})\) | 19 | \(w_{19_{\text {I}}} = w_{18_{\text {I}}} s_6 = w_{18_{\text {II}}} s_3\) |

\(\kappa _{19_{\text {II}}} = (-\frac{19}{2},\frac{15}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},4\sqrt{2})\) | 19 | \(w_{19_{\text {II}}} = w_{18_{\text {II}}} s_7 = w_{18_{\text {III}}} s_2\) |

\(\kappa _{20_{\text {I}}} = (-10,7,4,3,1,0,\frac{7}{2}\sqrt{2})\) | 20 | \(w_{20_{\text {I}}} = w_{19_{\text {I}}} s_7 = w_{19_{\text {II}}} s_3\) |

\(\kappa _{20_{\text {II}}} = (-10,6,5,3,2,-1,\frac{7}{2}\sqrt{2})\) | 20 | \(w_{20_{\text {II}}} = w_{19_{\text {I}}} s_4\) |

\(\kappa _{21_{\text {I}}} = (-\frac{21}{2},\frac{13}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},3\sqrt{2})\) | 21 | \(w_{21_{\text {I}}} = w_{20_{\text {I}}} s_4\) |

\(\kappa _{21_{\text {II}}} = (-\frac{21}{2},\frac{11}{2},\frac{9}{2},\frac{7}{2},\frac{5}{2},-\frac{3}{2},3\sqrt{2})\) | 21 | \(w_{21_{\text {II}}} = w_{20_{\text {II}}} s_5\) |

\(\kappa _{22_{\text {I}}} = (-11,6,5,2,1,0,\frac{5}{2}\sqrt{2})\) | 22 | \(w_{22_{\text {I}}} = w_{21_{\text {I}}} s_6\) |

\(\kappa _{22_{\text {II}}} = (-11,6,4,3,2,-1,\frac{5}{2}\sqrt{2})\) | 22 | \(w_{22_{\text {II}}} = w_{21_{\text {II}}} s_7\) |

\(\kappa _{23_{\text {I}}} = (-\frac{23}{2},\frac{11}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2},-\frac{1}{2},2\sqrt{2})\) | 23 | \(w_{23_{\text {I}}} = w_{22_{\text {I}}} s_5 = w_{22_{\text {II}}} s_6\) |

\(\kappa _{24_{\text {I}}} = (-12,5,4,3,1,0,\frac{3}{2}\sqrt{2})\) | 24 | \(w_{24_{\text {I}}} = w_{23_{\text {I}}} s_4\) |

\(\kappa _{25_{\text {I}}} = (-\frac{25}{2},\frac{9}{2},\frac{7}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2},\sqrt{2})\) | 25 | \(w_{25_{\text {I}}} = w_{24_{\text {I}}} s_3\) |

\(\kappa _{26_{\text {I}}} = (-13,4,3,2,1,0,\frac{1}{2}\sqrt{2})\) | 26 | \(w_{26_{\text {I}}} = w_{25_{\text {I}}} s_2\) |

\(\kappa _{27_{\text {I}}} = (-13,4,3,2,1,0,-\frac{1}{2}\sqrt{2})\) | 27 | \(w_{27_{\text {I}}} = w_{26_{\text {I}}} s_1\) |

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \((\frac{3}{2},-\frac{3}{2},\frac{3}{2},-\frac{7}{2})\) | Not regular | |

2 | \((\frac{5}{2},-\frac{1}{2},\frac{3}{2},-\frac{7}{2})\) | \((\frac{3}{2},-\frac{1}{2},\frac{1}{2},-\frac{3}{2})\) | \(2 + 1 = 3\) |

\(-1\) | \((-\frac{1}{2},-\frac{7}{2},\frac{3}{2},-\frac{7}{2})\) | Not regular | |

\(-2\) | \((-\frac{3}{2},-\frac{9}{2},\frac{3}{2},-\frac{7}{2})\) | \((\frac{1}{2},-\frac{3}{2},\frac{3}{2},-\frac{1}{2})\) | \(2 - 1 = 1\) |

### Example 5.32

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \({\begin{matrix} ((9,1,-4,4,-1,-2,-5), \\ (9,1,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (2nd factor) | |

2 | \({\begin{matrix} ((10,2,-3,4,-1,-2,-5), \\ (10,2,1,0,-3,-6,-11)) \end{matrix}}\) | \({\begin{matrix}((3,1,-2,2,0,-1,-3), \\ (3,2,1,0,-1,-2,-3)) \end{matrix}}\) | \(11 + 7 = 18\) |

\(-1\) | \({\begin{matrix} ((7,-1,-6,4,-1,-2,-5), \\ (7,-1,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (1st factor) | |

\(-2\) | \({\begin{matrix} ((6,-2,-7,4,-1,-2,-5), \\ (6,-2,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (1st factor) | |

\(-3\) | \({\begin{matrix} ((5,-3,-8,4,-1,-2,-5), \\ (5,-3,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (2nd factor) | |

\(-4\) | \({\begin{matrix} ((4,-4,-9,4,-1,-2,-5), \\ (4,-4,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (1st factor) | |

\(-5\) | \({\begin{matrix} ((3,-5,-10,4,-1,-2,-5), \\ (3,-5,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (2nd factor) | |

\(-6\) | \({\begin{matrix} ((2,-6,-11,4,-1,-2,-5), \\ (2,-6,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (2nd factor) | |

\(-7\) | \({\begin{matrix} ((1,-7,-12,4,-1,-2,-5), \\ (1,-7,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (2nd factor) | |

\(-8\) | \({\begin{matrix} ((0,-8,-12,4,-1,-2,-5), \\ (0,-8,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (2nd factor) | |

\(-9\) | \({\begin{matrix} ((-1,-9,-13,4,-1,-2,-5), \\ (-1,-9,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (1st factor) | |

\(-10\) | \({\begin{matrix} ((-2,-10,-14,4,-1,-2,-5), \\ (-2,-10,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (1st factor) | |

\(-11\) | \({\begin{matrix} ((-3,-11,-15,4,-1,-2,-5), \\ (-3,-11,1,0,-3,-6,-11)) \end{matrix}}\) | Not regular (2nd factor) | |

\(-12\) | \({\begin{matrix} ((-4,-12,-16,4,-1,-2,-5), \\ (-4,-12,1,0,-3,-6,-11)) \end{matrix}}\) | \({\begin{matrix} ((0,-2,-3,3,2,1,-1), \\ (0,-3,3,2,1,-1-2)) \end{matrix}}\) | \(11 - 8 = 3\) |

If the two \(\mathbb {C}\)-simple factors were not in the same \(\mathbb {Q}\)-simple factor, then \(\nu _1 = (6,2,-5;2,0,0,-4)\) and \(\nu _2 = (2,-5;8,4,2,0,0)\) would have defined the intervals [5, 8] and [8, 10] on their respective factors (by similar calculations), whose end points sum up to those of [13, 18], which is much narrower than [3, 18].

#### 5.3.2 Type \(\mathrm {B}\)

Let us continue with the setting of Sect. 5.2.2.

### Example 5.33

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \((\frac{9}{2},\frac{7}{2})\) | \((\frac{3}{2},\frac{1}{2})\) | \(\frac{3}{2} + \frac{3}{2} = 3\) |

\(-1\) | \((\frac{5}{2},\frac{7}{2})\) | \((\frac{1}{2},\frac{3}{2})\) | \(\frac{3}{2} + \frac{1}{2} = 2\) |

### Example 5.34

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \((-\frac{5}{2},\frac{9}{2},\frac{5}{2})\) | Not regular | |

2 | \((-\frac{3}{2},\frac{9}{2},\frac{5}{2})\) | \((-\frac{1}{2},\frac{5}{2},\frac{3}{2})\) | \(\frac{5}{2} + \frac{-1}{2} = 2\) |

\(-1\) | \((-\frac{9}{2},\frac{9}{2},\frac{5}{2})\) | Not regular | |

\(-2\) | \((-\frac{11}{2},\frac{9}{2},\frac{5}{2})\) | \((-\frac{5}{2},\frac{3}{2},\frac{1}{2})\) | \(\frac{5}{2} - \frac{5}{2} = 0\) |

### Example 5.35

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \(((\frac{15}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2}), (\frac{13}{2},\frac{11}{2},\frac{7}{2},\frac{3}{2}))\) | \(((\frac{7}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2}), (\frac{7}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2}))\) | \(\frac{7}{2} + \frac{7}{2} = 7\) |

\(-1\) | \(((\frac{15}{2},\frac{9}{2},\frac{5}{2},\frac{3}{2}), (\frac{9}{2},\frac{11}{2},\frac{7}{2},\frac{3}{2}))\) | \(((\frac{7}{2},\frac{5}{2},\frac{3}{2},\frac{1}{2}), (\frac{5}{2},\frac{7}{2},\frac{3}{2},\frac{1}{2}))\) | \(\frac{7}{2} + \frac{5}{2} = 6\) |

Note that the first factor (for which \(r_1\) does not exist) contributes trivially to the calculation of cohomological degrees. Such factors can be harmless omitted even in general (cf. the beginning of Sect. 5.2). Also note that the associated locally symmetric variety \(\mathsf {X}\) is compact in this case. Even so, the coherent cohomology of automorphic bundles with noncohomological weights (namely, not contributing to the de Rham cohomology) might still be nonzero, although it is a subtle question (which is unsolved in general) whether this is indeed the case.

#### 5.3.3 Type \(\mathrm {C}\)

Let us continue with the setting of Sect. 5.2.3.

### Example 5.36

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \((2,-2)\) | Not regular | |

2 | \((3,-1)\) | \((2,-1)\) | \(\frac{1}{2}(3+1) = 2\) |

\(-1\) | \((0,-4)\) | Not regular | |

\(-2\) | \((-1,-5)\) | \((-1,-2)\) | \(\frac{1}{2}(3-3) = 0\) |

### Example 5.37

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \((11,2,-1)\) | \((3,2,-1)\) | \(\frac{1}{2}(6+4)=5\) |

\(-1\) | \((9,0,-3)\) | Not regular | |

\(-2\) | \((8,-1,-4)\) | \((3,-1,-2)\) | \(\frac{1}{2}(6+0)=3\) |

### Example 5.38

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \(((2,-3),(5,3))\) | \(((1,-2),(2,1))\) | \(\frac{1}{2}(6+2)=4\) |

\(-1\) | \(((0,-5),(3,1))\) | Not regular (1st factor) | |

\(-2\) | \(((-1,-6),(2,0))\) | Not regular (2nd factor) | |

\(-3\) | \(((-2,-7),(1,-1))\) | Not regular (2nd factor) | |

\(-4\) | \(((-3,-8),(0,-2))\) | Not regular (2nd factor) | |

\(-5\) | \(((-4,-9),(-1,-3))\) | \(((-1,-2),(-1,-2))\) | \(\frac{1}{2}(6-6)=0\) |

If the two \(\mathbb {C}\)-simple factors were not in the same \(\mathbb {Q}\)-simple factor, then \(\nu _1 = (5,1)\) and \(\nu _2 = (-1,-2)\) would have defined the intervals [0, 1] and [3, 3] on their respective factors, whose end points sum up to those of [3, 4], which is much narrower than [0, 4].

#### 5.3.4 Type \(\mathrm {D}\)

Let us continue with the setting of Sect. 5.2.4.

### Example 5.39

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | (3, 4, 3, 0) | Not regular | |

2 | (4, 4, 3, 0) | Not regular | |

3 | (5, 4, 3, 0) | (3, 2, 1, 0) | \(3 + 3 = 6\) |

\(-1\) | (1, 4, 3, 0) | (1, 3, 2, 0) | \(3 + 1 = 4\) |

### Example 5.40

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \((\frac{11}{2}, \frac{9}{2}, -\frac{7}{2}, -\frac{17}{2})\) | \((2,1,0,-3)\) | \(3 + 0 = 3\) |

\(-1\) | \((\frac{9}{2},\frac{7}{2},-\frac{9}{2},-\frac{19}{2})\) | Not regular | |

\(-2\) | \((4,3,-5,-10)\) | \((1,0,-2,-3)\) | \(3 - 2 = 1\) |

### Example 5.41

(mixture of the two types in a \(\mathbb {Q}\)-simple factor) Suppose the group is \(\mathbb {Q}\)-simple but has two \(\mathbb {C}\)-simple factors of \(\mathrm {D}_4\), one being as in Example 5.39, the other being as in Example 5.40, which we denote by \(\upsilon = 1\) and 2, respectively. Suppose \(\nu = (\nu _1, \nu _2) = ((1;2,2,0), (9,5,-2,-2))\) (whose factors are exactly the ones we have seen). Then \(\lambda ^{(0)} = ((2,4,3,0), (5,4,-4,-9))\), and \([d^-, d^+] = [3,9]\) by calculations summarized as follows:

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \(((3,4,3,0), (\frac{11}{2},\frac{9}{2},-\frac{7}{2},-\frac{17}{2}))\) | Not regular (1st factor) | |

2 | \(((4,4,3,0), (6,5,-3,-8))\) | Not regular (1st factor) | |

3 | \(((5,4,3,0), (\frac{13}{2},\frac{11}{2},-\frac{5}{2},-\frac{15}{2}))\) | \(((3,2,1,0), (2,1,0,-3))\) | \(6 + 3 = 9\) |

\(-1\) | \(((1,4,3,0), (\frac{9}{2},\frac{7}{2},-\frac{9}{2},-\frac{19}{2}))\) | Not regular (2nd factor) | |

\(-2\) | \(((0,4,3,0), (4,3,-5,-10))\) | Not regular (1st factor) | |

\(-3\) | \(((-1,4,3,0), (\frac{7}{2},\frac{5}{2},-\frac{11}{2},-\frac{17}{2}))\) | \(((-1,3,2,0), (1,0,-2,-3))\) | \(6 - 3 = 3\) |

If the two \(\mathbb {C}\)-simple factors were not in the same \(\mathbb {Q}\)-simple factor, then \(\nu _1 = (1;2,2,0)\) and \(\nu _2 = (9,5,-2,-2)\) would have defined the intervals [4, 6] and [1, 3] on their respective factors, whose end points sum up to those of [5, 9], which is narrower than [3, 9].

#### 5.3.5 Type \(\mathrm {E}_6\)

Let us continue with the setting of Sect. 5.2.5.

### Example 5.42

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d- l^{(s)} = d^{(s)}}\) |
---|---|---|---|

1 | \((-3,7,5,2,0,\frac{13}{3}\sqrt{3})\) | Not regular | |

2 | \((-2,7,5,2,0,\frac{14}{3}\sqrt{3})\) | Not regular | |

3 | \((-1,7,5,2,0,5\sqrt{3})\) | Not regular | |

4 | \((-0,7,5,2,0,\frac{16}{3}\sqrt{3})\) | Not regular | |

5 | \((1,7,5,2,0,\frac{17}{3}\sqrt{3})\) | \(\kappa _3\) in Table 1 | \(16 - 3 = 13\) |

\(-1\) | \((-5,7,5,2,0,\frac{11}{3}\sqrt{3})\) | Not regular | |

\(-2\) | \((-6,7,5,2,0,\frac{10}{3}\sqrt{3})\) | Not regular | |

\(-3\) | \((-7,7,5,2,0,3\sqrt{3})\) | Not regular | |

\(-4\) | \((-8,7,5,2,0,\frac{8}{3}\sqrt{3})\) | Not regular | |

\(-5\) | \((-9,7,5,2,0,\frac{7}{3}\sqrt{3})\) | \(\kappa _{13}\) in Table 1 | \(16 - 13 = 3\) |

(since \(d^- \ne d^+\), by Theorem 4.10, or rather by its proof, \(\mu (\nu )\) cannot be regular).

### Example 5.43

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d- l^{(s)} = d^{(s)}}\) |
---|---|---|---|

1 | \((15,11,5,3,1,-\frac{13}{3}\sqrt{3})\) | Not regular | |

2 | \((15,11,5,3,1,-\frac{11}{3}\sqrt{3})\) | \(\kappa _{11_{\text {II}}}\) in Table 2 | \(16 - 11 = 5\) |

\(-1\) | \((15,11,5,3,1,-\frac{17}{3}\sqrt{3})\) | Not regular | |

\(-2\) | \((15,11,5,3,1,-\frac{19}{3}\sqrt{3})\) | \(\kappa _{13}\) in Table 2 | \(16 - 13 = 3\) |

(since \(d^- \ne d^+\), by Theorem 4.10, or rather by its proof, \(\mu (\nu )\) cannot be regular).

### Example 5.44

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d- l^{(s)} = d^{(s)}}\) |
---|---|---|---|

1 | \((7,4,3,1,0,\frac{11}{3}\sqrt{3})\) | \(\kappa _2\) in Table 2 | \(16 - 2 = 14\) |

\(-1\) | \((7,4,3,1,0,\frac{7}{3}\sqrt{3})\) | Not regular | |

\(-2\) | \((7,4,3,1,0,\frac{5}{3}\sqrt{3})\) | Not regular | |

\(-3\) | \((7,4,3,1,0,\sqrt{3})\) | \(\kappa _{6_{\text {II}}}\) in Table 2 | \(16 - 6 = 10\) |

### Example 5.45

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d- l^{(s)} = d^{(s)}}\) |
---|---|---|---|

1 | \(((-7,6,4,2,0,\frac{25}{3}\sqrt{3}), (9,7,4,2,0,-\frac{16}{3}\sqrt{3}))\) | \((\kappa _{8_{\text {III}}}, \kappa _{14})\) | \(32 - 22 = 10\) |

\(-1\) | \(((-9,6,4,2,0,\frac{23}{3}\sqrt{3}), (9,7,4,2,0,-\frac{20}{3}\sqrt{3}))\) | \((\kappa _{8_{\text {III}}}, \kappa _{15})\) | \(32 - 23 = 9\) |

If the two \(\mathbb {C}\)-simple factors were not in the same \(\mathbb {Q}\)-simple factor, then \(\nu _1 = (0;3,2,1,0,8\sqrt{3})\) and \(\nu _2 = (5,4,2,1,0;10\sqrt{3})\) would have defined the intervals [8, 8] and [1, 2] on their respective factors, whose end points sum up to the same interval [9, 10] (this is certainly not always true, as we have seen in Examples 5.31, 5.38, and 5.41. See also Example 5.49 below).

#### 5.3.6 Type \(\mathrm {E}_7\)

Let us continue with the setting of Sect. 5.2.6.

### Example 5.46

Indeed, this concentration in one degree follows more directly from the regularity of \(\mu (\nu )\) (as a weight in \({\text {X}}_{\mathrm {G}_\upsilon }^+\), which can be checked more easily by pairings with the simple positive roots \(\alpha _{\upsilon , 1}, \ldots , \alpha _{\upsilon , 7}\)), and from Theorem 4.10, without having to compute \(\lambda ^{(1)}\) and \(\lambda ^{(-1)}\) at all.

### Example 5.47

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d- l^{(s)} = d^{(s)}}\) |
---|---|---|---|

1 | \((8,8,6,4,2,0,20\sqrt{2})\) | Not regular | |

2 | \((9,8,6,4,2,0,\frac{41}{2}\sqrt{2})\) | \(\kappa _0\) in Table 3 | \(27 - 0 = 27\) |

\(-1\) | \((6,8,6,4,2,0,19\sqrt{2})\) | Not regular | |

\(-2\) | \((5,8,6,4,2,0,\frac{37}{2}\sqrt{2})\) | \(\kappa _2\) in Table 3 | \(27 - 2 = 25\) |

(since \(d^- \ne d^+\), by Theorem 4.10, or rather by its proof, \(\mu (\nu )\) cannot be regular).

### Example 5.48

### Example 5.49

\(\varvec{s}\) | \(\varvec{\lambda ^{(s)}}\) | \(\varvec{\kappa ^{(s)}}\) | \(\varvec{d^{(s)}}\) |
---|---|---|---|

1 | \(((8,8,6,4,2,0,20\sqrt{2}), (4,8,7,5,3,1,15\sqrt{2}))\) | Not regular | |

2 | \(((9,8,6,4,2,0,\tfrac{41}{2}\sqrt{2}), (5,8,7,5,3,1,\tfrac{31}{2}\sqrt{2}))\) | Not regular | |

3 | \(((10,8,6,4,2,0,21\sqrt{2}), (6,8,7,5,3,1,15\sqrt{2}))\) | \((\kappa _0, \kappa _2)\) | 52 |

\(-1\) | \(((6,8,6,4,2,0,19\sqrt{2}), (2,8,7,5,3,1,14\sqrt{2}))\) | Not regular | |

\(-2\) | \(((5,8,6,4,2,0,\tfrac{37}{2}\sqrt{2}), (1,8,7,5,3,1,\tfrac{27}{2}\sqrt{2}))\) | Not regular | |

\(-3\) | \(((4,8,6,4,2,0,18\sqrt{2}), (0,8,7,5,3,1,13\sqrt{2}))\) | Not regular | |

\(-4\) | \(((3,8,6,4,2,0,\tfrac{35}{2}\sqrt{2}), (-1,8,7,5,3,1,\tfrac{25}{2}\sqrt{2}))\) | Not regular | |

\(-5\) | \(((2,8,6,4,2,0,17\sqrt{2}), (-2,8,7,5,3,1,12\sqrt{2}))\) | Not regular | |

\(-6\) | \(((1,8,6,4,2,0,\tfrac{33}{2}\sqrt{2}), (-3,8,7,5,3,1,\tfrac{23}{2}\sqrt{2}))\) | Not regular | |

\(-7\) | \(((0,8,6,4,2,0,16\sqrt{2}), (-4,8,7,5,3,1,11\sqrt{2}))\) | Not regular | |

\(-8\) | \(((-1,8,6,4,2,0,\tfrac{31}{2}\sqrt{2}), (-5,8,7,5,3,1,\tfrac{21}{2}\sqrt{2}))\) | Not regular | |

\(-9\) | \(((-2,8,6,4,2,0,15\sqrt{2}), (-6,8,7,5,3,1,10\sqrt{2}))\) | Not regular | |

\(-10\) | \(((-3,8,6,4,2,0,\tfrac{29}{2}\sqrt{2}), (-7,8,7,5,3,1,\tfrac{19}{2}\sqrt{2}))\) | Not regular | |

\(-11\) | \(((-4,8,6,4,2,0,14\sqrt{2}), (-8,8,7,5,3,1,9\sqrt{2}))\) | Not regular | |

\(-12\) | \(((-5,8,6,4,2,0,\tfrac{27}{2}\sqrt{2}), (-9,8,7,5,3,1,\tfrac{17}{2}\sqrt{2}))\) | Not regular | |

\(-13\) | \(((-6,8,6,4,2,0,13\sqrt{2}), (-10,8,7,5,3,1,8\sqrt{2}))\) | Not regular | |

\(-14\) | \(((-7,8,6,4,2,0,\tfrac{25}{2}\sqrt{2}), (-11,8,7,5,3,1,\tfrac{15}{2}\sqrt{2}))\) | \((\kappa _{10_{\text {II}}}, \kappa _{16_{\text {I}}})\) | 28 |

If the two \(\mathbb {C}\)-simple factors were not in the same \(\mathbb {Q}\)-simple factor, then the two factors \(\nu _1 = (7,8,6,4,2,0,\tfrac{39}{2}\sqrt{2})\) and \(\nu _2 = (3,8,7,5,3,1,\tfrac{29}{2}\sqrt{2})\) would have defined the intervals [25, 27] and [23, 24] on their respective factors, whose end points sum up to those of [48, 51], which is much narrower than [28, 52].

## Declarations

### Acknowledgements

The author would like to thank Zhiwei Yun and Xinwen Zhu for their helps on understanding the conceptual meaning behind Theorem 3.8, which he initially only observed as an intriguing fact from explicit calculations. He would also like to thank Michael Harris for helpful discussions on the cohomology of Shimura varieties, and to thank Junecue Suh for sending him the preprint [44].

The author’s research was partially supported by the National Science Foundation under agreement No. DMS-1352216, and by an Alfred P. Sloan Research Fellowship. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of these organizations.

### Competing interests

The author declares that he has no competing interests.

**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

- Ash, A., Mumford, D., Rapoport, M., Tai, Y.: Smooth compactification of locally symmetric varieties. In: Wallach, N., Hermann, R. (eds.) Lie Groups: History Frontiers and Applications, vol. 4. Math Sci Press, Brookline, Massachusetts (1975) (TeXified and republished as [2])Google Scholar
- Ash, A., Mumford, D., Rapoport, M., Tai, Y.: Smooth Compactification of Locally Symmetric Varieties, 2nd edn. Cambridge Mathematical Library. Cambridge University Press, Cambridge (2010)View ArticleMATHGoogle Scholar
- Baily Jr., W.L., Borel, A.: Compactification of arithmetic quotients of bounded symmetric domains. Ann. Math.
**84**(3), 442–528 (1966)MathSciNetView ArticleMATHGoogle Scholar - Beilinson, A., Drinfeld, V.: Quantization of Hitchin’s Integrable System and Hecke Eigensheaves. http://www.math.uchicago.edu/~mitya/langlands/hitchin/BD-hitchin.pdf(2000). Accessed 17 Mar 2015
- Bernstein, I.N., Gelfand, I.M., Gelfand, S.I.: Differential operators on the base affine space and a study of \(\mathfrak{g}\)-modules. In: Gelfand, I.M. (ed.) Lie Groups and Their Representations, pp. 21–64. Adam Hilger Ltd., London (1975). (Summer School of the Bolyai János Mathematical Society, (Budapest, 1971))Google Scholar
- Borel, A.: Some finiteness properties of adele groups over number fields. Publ. Math. Inst. Hautes Étud. Sci.
**16**, 5–30 (1963)MathSciNetView ArticleMATHGoogle Scholar - Deligne, P.: Equations Différentielles À Points Singuliers Réguliers. In: Lecture Notes in Mathematics, vol. 163. Springer, Berlin (1970)Google Scholar
- Deligne, P., Illusie, L.: Relèvements modulo \(p^2\) et décompositions du complex de de Rham. Invent. Math.
**89**, 247–270 (1987)MathSciNetView ArticleMATHGoogle Scholar - Esnault, H., Viehweg, E.: Lectures on Vanishing Theorems. DMV Seminar, vol. 20. Birkhäuser, Boston (1992)Google Scholar
- Faltings, G.: On the cohomology of locally symmetric hermitian spaces . In: Malliavin, M.-P. (ed.) Séminaire d’Algèbre Paul Dubreil et Marie–Paule Malliavin. Proceedings, Paris 1982 (35ème Année). Lecture Notes in Mathematics, vol. 1029, pp. 55–98. Springer, Berlin (1983)Google Scholar
- Faltings G, Chai C-L (1990) Degeneration of Abelian Varieties. Ergebnisse der Mathematik und ihrer Grenzgebiete 3 Folge, vol. 22. Springer, BerlinGoogle Scholar
- Franke, J.: Harmonic analysis in weighted \(L_2\)-spaces. Ann. Sci. Ecole Norm. Sup.
**4**(31), 181–279 (1998)MathSciNetMATHGoogle Scholar - Godement, R.: Topologie Algébrique et Théorie des Faisceaux. Actualités scientifiques et industrielles, vol. 1252. Hermann, Paris (1964)Google Scholar
- Grothendieck, A. (ed.): Cohomologie Locale des Faiseaux Cohérents et Théorèmes de Lefschetz Locaux et Globaux (SGA 2). North-Holland Publishing Co., Amsterdam (1968)MATHGoogle Scholar
- Grothendieck, A. (ed.): Revêtements Étales et Groupe Fondamental (SGA 1). In: Lecture Notes in Mathematics, vol. 224. Springer, Berlin (1971)Google Scholar
- Harris, M.: Functorial properties of toroidal compactifications of locally symmetric varieties. Proc. Lond. Math. Soc.
**3**(59), 1–22 (1989)MathSciNetView ArticleMATHGoogle Scholar - Harris, M.: Automorphic forms and the cohomology of vector bundles on Shimura varieties. In: Clozel, L., Milne, J.S. (eds.) Automorphic Forms, Shimura Varieties, and $$L$$ L -Functions. Volume II. Perspectives in Mathematics, vol. 11, pp. 41–91. Proceedings of a Conference Held at the University of Michigan, Ann Arbor, July 6–16, 1988. Academic Press Inc., Boston (1990)Google Scholar
- Harris, M., Zucker, S.: Boundary Cohomology of Shimura Varieties III. Coherent Cohomology on Higher-rank Boundary Strata and Applications to Hodge theory. Mémoires de la Société Mathématique de France. Nouvelle Série, vol. 85. Société Mathématique de France, Paris (2001)Google Scholar
- Helgason, S.: Differential Geometry, Lie Groups, and Symmetric Spaces: Graduate Studies in Mathematics, vol. 34. American Mathematical Society, Providence (2001)View ArticleMATHGoogle Scholar
- Illusie, L.: Réduction semi-stable et décomposition de complexes de de Rham. Duke Math. J.
**60**(1), 139–185 (1990)MathSciNetView ArticleMATHGoogle Scholar - Kac, V.G.: Infinite Dimensional Lie Algebras, 3rd edn. Cambridge University Press, Cambridge (1990)View ArticleMATHGoogle Scholar
- Kato, K.: Logarithmic structures of Fontaine–Illusie. In: Igusa, J.-I. (ed.) Algebraic Analysis, Geometry, And Number Theory. Proceedings of the JAMI Inaugural Conference, pp. 191–224. The Johns Hopkins University Press, Baltimore (1989)Google Scholar
- Katz, N.M.: The regularity theorem in algebraic geometry. In: Actes du Congrès International des Mathématiciens, 1970, Publiés Sous la Direction du Comité D’Organisation du Congrès, vol. 1, pp. 437–443. Gauthier-Villars, Paris: Congrès International des Mathématiciens, 1/10 Septembre 1970. Nice, France (1971)Google Scholar
- Kempf, G., Knudsen, F., Mumford, D., Saint-Donat, B.: Toroidal Embeddings I. Lecture Notes in Mathematics, vol. 339. Springer, Berlin (1973)Google Scholar
- Lan, K.-W.: Comparison between analytic and algebraic constructions of toroidal compactifications of PEL-type Shimura varieties. J. Reine Angew. Math.
**664**, 163–228 (2012)MathSciNetMATHGoogle Scholar - Lan, K.-W.: Toroidal compactifications of PEL-type Kuga families. Algebra Number Theory
**6**(5), 885–966 (2012)MathSciNetView ArticleMATHGoogle Scholar - Lan, K.-W.: Arithmetic Compactification of PEL-type Shimura Varieties. London Mathematical Society Monographs, vol. 36. Princeton University Press, Princeton, (2013). Errata and revision available online at the author’s websiteGoogle Scholar
- Lan, K.-W.: Higher Koecher’s principle. Math. Res. Lett.
**23**(1), 163–199 (2016)MathSciNetView ArticleMATHGoogle Scholar - Lan, K.-W., Stroh, B.: Relative cohomology of cuspidal forms on PEL-type Shimura varieties. Algebra Number Theory
**8**(8), 1787–1799 (2014)MathSciNetView ArticleMATHGoogle Scholar - Lan, K.-W., Suh, J.: Liftability of mod \(p\) cusp forms of parallel weights. Int. Math. Res. Not. IMRN
**2011**, 1870–1879 (2011)MathSciNetMATHGoogle Scholar - Lan, K.-W., Suh, J.: Vanishing theorems for torsion automorphic sheaves on compact PEL-type Shimura varieties. Duke Math. J.
**161**(6), 1113–1170 (2012)MathSciNetView ArticleMATHGoogle Scholar - Lan, K.-W., Suh, J.: Vanishing theorems for torsion automorphic sheaves on general PEL-type Shimura varieties. Adv. Math.
**242**, 228–286 (2013)MathSciNetView ArticleMATHGoogle Scholar - Li, J.-S., Schwermer, J.: On the Eisenstein cohomology of arithmetic groups. Duke Math. J.
**123**(1), 141–169 (2004)MathSciNetView ArticleMATHGoogle Scholar - Milne, J.S.: Canonical models of (mixed) Shimura varieties and automorphic vector bundles. In: Clozel, L., Milne, J.S. (eds.) Automorphic Forms, Shimura Varieties, and $$L$$ L -Functions. Volume I. Perspectives in Mathematics, vol. 10. In: Proceedings of a Conference held at the University of Michigan, Ann Arbor, July 6–16, 1988, pp. 283–414. Academic Press Inc., Boston (1990)Google Scholar
- Milne, J.S., Suh, J.: Nonhomeomorphic conjugates of connected Shimura varieties. Am. J. Math.
**132**(3), 731–750 (2010)MathSciNetView ArticleMATHGoogle Scholar - Mumford, D.: Hirzebruch’s proportionality theorem in the non-compact case. Invent. Math.
**42**, 239–272 (1977)MathSciNetView ArticleMATHGoogle Scholar - Ogus, A.: F-Crystals, Griffiths Transversality, and the Hodge Decomposition: Astérisque, vol. 221. Société Mathématique de France, Paris (1994)MATHGoogle Scholar
- Saito, M.: Mixed Hodge modules. Publ. Res. Inst. Math. Sci.
**26**(2), 221–333 (1990)MathSciNetView ArticleMATHGoogle Scholar - Serre, J.-P.: Geométrie algébrique et géométrie analytique. Ann. Inst. Fourier. Grenoble 6, 1–42 (1955–1956)Google Scholar
- Siu, Y.-T.: Analytic sheaves of local cohomology. Trans. Am. Math. Soc.
**148**, 347–366 (1970)MathSciNetView ArticleMATHGoogle Scholar - Springer, T.A.: Linear algebraic groups, 2nd edn. In: Bass, H., Oesterlé, J., Weinstein, A. (eds.) Progress in Mathematics, vol. 9. Birkhäuser, Boston (1998)Google Scholar
- Stroh, B.: Relèvement de formes modulaires de Siegel. Proc. Am. Math. Soc.
**138**, 3089–3094 (2010)MathSciNetView ArticleMATHGoogle Scholar - Stroh, B.: Classicité en théorie de Hida. Am. J. Math.
**135**(4), 861–889 (2013)MathSciNetView ArticleGoogle Scholar - Suh, J.: Vanishing theorems for mixed hodge modules and applications. J. Eur. Math. Soc (forthcoming)Google Scholar
- Vogan Jr., D.A., Zuckerman, G.J.: Unitary representations with non-zero cohomology. Compos. Math.
**53**(1), 51–90 (1984)MathSciNetMATHGoogle Scholar - Zhu, X.: On the coherence conjecture of Pappas and Rapoport. Ann. Math.
**180**(1), 1–85 (2014)MathSciNetView ArticleMATHGoogle Scholar