The Griffiths bundle is generated by groups.

Introduction

First the Griffiths line bundle of a Q -VHS V is generalized to a Griffiths character grif (G , μ , r) associated to any triple (G , μ , r) , where G is a connected reductive group over an arbitrary field F, μ ∈ X ∗ (G) is a cocharacter (over F ¯ ) and r : G → G L (V) is an F-representation; the classical bundle studied by Griffiths is recovered by taking F = Q , G the Mumford–Tate group of V , r : G → G L (V) the tautological representation afforded by a very general fiber and pulling back along the period map the line bundle associated to grif (G , μ , r) . The more general setting also gives rise to the Griffiths bundle in the analogous situation in characteristic p given by a scheme mapping to a stack of G -Zips. When G is F-simple, we show that, up to positive multiples, the Griffiths character grif (G , μ , r) (and thus also the Griffiths line bundle) is essentially independent of r with central kernel, and up to some identifications is given explicitly by - μ . As an application, we show that the Griffiths line bundle of a projective G - Zip μ -scheme is nef.

We are motivated by the general problem of understanding which geometric objects are generated by groups. We understand an object to be generated by groups if it is constructible and/or describable in terms of groups and associated data, such as subgroups, homogeneous spaces, representations, characters, cocharacters etc. In particular, in the case of reductive groups—the focus of this paper—we deem any geometric object which is describable in terms of root data of reductive groups as generated by groups.

As a more precise example of the general problem, we begin this paper by stating some questions about the group-generation of invariants of objects in a neutral Tannakian category. The paper is then concerned with showing that these questions have a particularly simple, explicit and positive answer when the invariant is the Griffiths line bundle of a variation of Hodge structure, or more generally the Griffiths character associated to a connected, reductive group G over an arbitrary field, a cocharacter $\mu \in X_{\ast }(G)$ and a representation r of G.

Tannakian generation

There are many neutral Tannakian categories whose objects have been studied in algebraic geometry independently of Tannakian categories. A key example in this paper will be the category ${\mathbf{Q}\text{-}\mathsf{VHS}}_S$ of variations of $\mathbf{Q}$ -Hodge structure over a smooth, projective $\mathbf{C}$ -scheme S.

Let $\mathcal{C}$ be a Tannakian category over a field k which is neutralized by a fiber functor $\omega :\mathcal{C}\to {\mathsf{Vec}}_k$ . Let G be the Tannaka group of $(\mathcal{C},\omega )$ , i.e., the affine k-group scheme which represents the functor of automorphisms $\mathit{Aut}$ ${}^{\otimes }(\omega )$ (see [[10], 2.11]).

Question 1.1

Given an invariant i(X) associated to every object $X\in \mathcal{C}$ , is i(X) generated by G and additional group-theoretic data attached to G?

The prototypical type of additional group-theoretic data which we have in mind is a cocharacter $\mu \in X_{\ast }(G)$ . If G is reductive, then more generally any data deduced from a root datum of G would qualify.

A somewhat more local variant of Question 1.1 is the following: For every $X\in \mathcal{C}$ , let G(X) be the Tannaka group of the Tannakian sub-category ${⟨X⟩}^{\otimes }$ generated by X. Then is i(X) generated by G(X) and group-theoretic data associated to G(X)? In this setting, one can even hope for more:

Question 1.2

Assume some invariant i is generated by G(X) and some additional data associated to G. Is i(X) essentially independent of X (and dependent only on G(X) and the additional data)?

A key component of Question 1.2 is of course to make precise the meaning of "essentially" in specific examples. The main result of this paper implies that Question 1.2 has a positive answer when X is a $\mathbf{Q}$ -VHS, i(X) is its Griffiths line bundle (Sect. 1.2) and G(X) is its Mumford–Tate group, provided the adjoint group $G{(X)}^{\mathrm{ad}}$ is $\mathbf{Q}$ -simple, see Theorem 3.1. In this case, the additional group-theoretic data is the Hodge cocharacter $\mu \in X_{\ast }(G(X))$ and "essentially" means that the positive ray spanned by the Griffiths line bundle in the Picard group of the base is independent of i(X) and dependent only on the pair $(G(X),\mu )$ .

The Griffiths bundle of a variation of Hodge structure

The Griffiths line bundle arose historically in Hodge theory, where it was used by Griffiths to study the algebraicity of the period map of a variation of Hodge structure [[15]]. Suppose S is a connected, smooth, finite-type $\mathbf{C}$ -scheme and $\mathcal{V}$ is a (pure) polarized variation of Hodge structure on S with monodromy group $\mathrm{\Gamma }$ and period domain D. Let ${\mathrm{Fil}}^{\bullet }\mathcal{V}$ be the (descending) Hodge filtration on $\mathcal{V}$ ; for the sake of exposition suppose that ${\mathrm{Fil}}^0\mathcal{V}=\mathcal{V}$ . Griffiths (loc. cit., (7.13)) associated to $\mathcal{V}$ the line bundle

1.2.1 $$\begin{array}{c}\hfill \mathrm{grif}(\mathcal{V})=det\underset{a\ge 1}{⨁}{\mathrm{Fil}}^a\mathcal{V}=det\underset{a\ge 1}{⨁}{({\mathrm{Gr}}^a\mathcal{V})}^{\oplus a}.\end{array}$$

Graph

We call $\mathrm{grif}(\mathcal{V})$ the Griffiths line bundle[1] of $\mathcal{V}$ . Griffiths also associated to $\mathcal{V}$ a period map

1.2.2 $$\begin{array}{c}\hfill \mathrm{\Phi }:S\to \mathrm{\Gamma }\backslash D.\end{array}$$

Graph

By studying the positivity properties of the line bundle $\mathrm{grif}(\mathcal{V})$ , Griffiths concluded that the image of the period map $\mathrm{\Phi }(S)$ is projective algebraic when $\mathrm{\Gamma }$ is discrete in $\mathrm{Aut}(D)$ and the base S is assumed projective (loc. cit., (9.7); see also [[4], 13.1.9]).[2]

Remark 1.3

It is clear from the definition (1.2.1) that to define $\mathrm{grif}(\mathcal{V})$ requires much less than a polarized $\mathbf{Q}$ -VHS.

• The definition of $\mathrm{grif}(\mathcal{V})$ only depends on the associated graded ${\mathrm{Gr}}^{\bullet }\mathcal{V}$ .
• The transversality, polarization and $\mathbf{Q}$ -structure are not used: The same definition applies to any filtered or graded vector bundle on S. (By contrast the former data is crucial for defining the period map (1.2.2).)

Remark 1.4

At least when the monodromy $\mathrm{\Gamma }$ is discrete, it follows by pullback along the period map that the line bundle $det\mathcal{V}$ is trivial on S, see Sect. 3.2. Therefore one can replace the index set $a\ge 1$ in the sums (1.2.1) with $a\ge 0$ or $a\in \mathbf{Z}$ ; the resulting line bundle will be unchanged.

Remark 1.5

For recent work generalizing that of Griffiths to the case that the base S is only assumed quasi-projective, see the preprints [[14]] and [[1]].[3]

Summary of the paper

Let F be an arbitrary field. Consider triples $(\mathbf{G},\mu ,r)$ , where $\mathbf{G}$ is a connected reductive F-group, $\mu \in X_{\ast }(\mathbf{G})$ is a cocharacter of ${\mathbf{G}}_{\overline{F}}$ and $r:\mathbf{G}\to GL(V)$ is a morphism of F-groups. In the vein of Remark 1.3, we explain in Sect. 3.1 how to generalize the Griffiths line bundle to a character $\mathrm{grif}(\mathbf{G},\mu ,r)$ of the Levi subgroup $\mathbf{L}:={\mathrm{Cent}}_{{\mathbf{G}}_{\overline{F}}}(\mu )$ of ${\mathbf{G}}_{\overline{F}}$ . In Sect. 3.2, we describe how the Griffiths character gives rise to a Griffiths line bundle in two (a priori) different contexts: We recover the bundle $\mathrm{grif}(\mathcal{V})$ associated to a VHS via Deligne's theory of pairs $(G,\mathbf{X})$ and we obtain a Griffiths line bundle on stacks of $\mathbf{G}$ -Zips in characteristic $p>0$ .

The main result is stated in Sect. 3.3, see Theorem 3.1. Roughly speaking, it states that $\mathrm{grif}(\mathbf{G},\mu ,r)$ is, up to positive multiples and modulo the center, independent of r and given explicitly by $-\mu$ . To make this precise requires some technical assumptions and identifications concerning a root datum of $\mathbf{G}$ . For this purpose, the necessary structure theory associated to triples $(\mathbf{G},\mu ,r)$ is given in Sect. 2. The sign change between $\mu$ and $\mathrm{grif}(\mathbf{G},\mu ,r)$ reflects the change in positivity/curvature between a Mumford–Tate domain and its compact dual (Remark 3.3).

By combining our result with our forthcoming joint work with Brunebarbe et al. [[3]] on the positivity of automorphic bundles, we obtain the following application: Assume X is a projective scheme in positive characteristic $p>0$ and $\zeta :X\to {\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ is a morphism to the stack of $\mathbf{G}$ -Zips associated to $(\mathbf{G},\mu )$ by Pink-Wedhorn-Ziegler [[20]]. As long as p is not too small relative $\mu$ (orbitally p-close to be precise, Sect. 2.4.4), then the Griffiths line bundle of X is nef (Corollary 3.7).

In Sect. 3.4, we give two examples of the main result: The first concerns the Hodge character and the Hodge line bundle. In the classical theory this amounts to the case that the VHS $\mathcal{V}$ is polarized of weight one. Here we recover the results of our joint work with Koskivirta [[12]]. The second example provides explicit formulas for $\mathrm{grif}(\mathbf{G},\mu ,r)$ when $r=\mathrm{Ad}$ is the adjoint representation, essentially in terms of the Coxeter number of the underlying root system.

The proof of Theorem 3.1 is given in Sect. 4. Some preliminary, general lemmas on roots and weights are given in Sect. 4.1; the proof proper occupies Sect. 4.2. The key is to translate the main result into a statement about weight pairings with coroots (Lemma 4.5). The simply-laced case of Theorem 3.1 then results from a simple change of variables in the root pairing expression (Lemma 4.7). The general case is reduced to the simply-laced one by the theory of root strings (Lemma 4.8). The application to nefness (Corollary 3.7) is proved in Sect. 4.3.

When we sent P. Deligne a draft of this paper he quickly replied with a considerable simplification of the proof of the main result Theorem 3.1(d). We are very grateful to Deligne for allowing us to include his simplification in Appendix A.

Notation and structure theory

Notation

Let F be a field and fix an algebraic closure $\overline{F}$ of F. A subscript $\overline{F},\mathbf{Q},\mathbf{R},\mathbf{C}$ etc. will always denote base change to $\overline{F},\mathbf{Q},\mathbf{R},\mathbf{C}$ respectively. Thus ${\mathbf{G}}_{m,\overline{F}}$ denotes the multiplicative group scheme over $\overline{F}$ , and if N is a $\mathbf{Z}$ -module, then $N_{\mathbf{Q}}:=N{\otimes }_{\mathbf{Z}}\mathbf{Q}$ is the associated $\mathbf{Q}$ -vector space.

If H is an algebraic F-group, then $X^{\ast }(H)=\mathrm{Hom}(H_{\overline{F}},{\mathbf{G}}_{m,\overline{F}})$ (resp. $X_{\ast }(H)=\mathrm{Hom}({\mathbf{G}}_{m,\overline{F}},H_{\overline{F}})$ ) denotes the group of characters (resp. cocharacters) of $H_{\overline{F}}$ . Write $[\mu ]$ for the $H(\overline{F})$ -conjugacy class of a cocharacter $\mu \in X_{\ast }(H)$ .

Similarly, $\mathsf{Rep}(H)$ denotes the category of representations of H over $\overline{F}$ ; write ${\mathsf{Rep}}_F(H)$ for the representations over F.

The unipotent radical of H is denoted $R_u(H)$ .

Root data

We follow [[12], Sect. 2.1], which in turn is based on [[16], Part II, Sect. 1], esp. 1.18.

Root datum of G

Let $\mathbf{T}$ be a maximal torus[4] of $\mathbf{G}$ . The root datum of $(\mathbf{G},\mathbf{T})$ is the quadruple

2.2.1 $$\begin{array}{c}\hfill (X^{\ast }(\mathbf{T}),\mathrm{\Phi };X_{\ast }(\mathbf{T}),{\mathrm{\Phi }}^{\vee }),\end{array}$$

Graph

together with the $\mathbf{Z}$ -valued perfect pairing

2.2.2 $$\begin{array}{c}\hfill ⟨,⟩:X^{\ast }(\mathbf{T})\times X_{\ast }(\mathbf{T})\to \mathbf{Z}\end{array}$$

Graph

and the bijection $\mathrm{\Phi }\to {\mathrm{\Phi }}^{\vee }$ , $\alpha \mapsto {\alpha }^{\vee }$ , where $\mathrm{\Phi }:=\mathrm{\Phi }(\mathbf{G},\mathbf{T})$ (resp. ${\mathrm{\Phi }}^{\vee }:={\mathrm{\Phi }}^{\vee }(\mathbf{G},\mathbf{T})$ ) is the set of roots (resp. coroots) of ${\mathbf{T}}_{\overline{F}}$ in ${\mathbf{G}}_{\overline{F}}$ .

Weyl group

For every $\alpha \in \mathrm{\Phi }$ , let $s_{\alpha }$ be the corresponding root reflection. Let $W:=W(\mathbf{G},\mathbf{T}):=⟨s_{\alpha }|\alpha \in \mathrm{\Phi }⟩$ be the Weyl group of ${\mathbf{T}}_{\overline{F}}$ in ${\mathbf{G}}_{\overline{F}}$ . Recall that $s_{\alpha }\leftrightarrow s_{{\alpha }^{\vee }}$ provides a canonical identification of W with the dual Weyl group of the dual root datum generated by the $s_{{\alpha }^{\vee }}$ .

Weights

If V is an F-vector space and $r:\mathbf{G}\to GL(V)$ is a morphism of F-groups, write $\mathrm{\Phi }(V,\mathbf{T})$ for the set of ${\mathbf{T}}_{\overline{F}}$ -weights in $V_{\overline{F}}$ (not counting multiplicities). Given a weight $\chi \in \mathrm{\Phi }(V,\mathbf{T})$ , let $m_V(\chi )$ denote its multiplicity (the dimension of the corresponding weight space).

Based root datum of G

Let $\mathrm{\Delta }\subset \mathrm{\Phi }$ be a basis of simple roots. Then ${\mathrm{\Delta }}^{\vee }:=\{{\alpha }^{\vee }|\alpha \in \mathrm{\Delta }\}$ is the corresponding basis of simple coroots and

2.2.3 $$\begin{array}{c}\hfill (X^{\ast }(\mathbf{T}),\mathrm{\Delta },X_{\ast }(\mathbf{T}),{\mathrm{\Delta }}^{\vee })\end{array}$$

Graph

is the based root datum of $(\mathbf{G},\mathbf{T},\mathrm{\Delta })$ .

Derived subgroup, adjoint quotient and simply-connected covering

Let ${\mathbf{G}}^{\mathrm{der}}$ (resp. ${\mathbf{G}}^{\mathrm{ad}}$ , $\tilde{\mathbf{G}}$ ) be the derived subgroup of $\mathbf{G}$ (resp. its adjoint quotient, the simply-connected covering of ${\mathbf{G}}^{\mathrm{der}}$ in the sense of root data[5]). Let $s:\tilde{\mathbf{G}}\to \mathbf{G}$ be the natural quasi-section of the projection $\mathrm{pr}:\mathbf{G}\to {\mathbf{G}}^{\mathrm{ad}}$ . The root datum (2.2.1) and the based root datum (2.2.3) naturally induce ones of ${\mathbf{G}}^{\mathrm{der}}$ , ${\mathbf{G}}^{\mathrm{ad}}$ and $\tilde{\mathbf{G}}$ as follows:

Root datum of Gder

Let

2.3.1 $$\begin{array}{c}\hfill X_0(\mathbf{T}):=\{\chi \in X^{\ast }(\mathbf{T})|⟨\chi ,{\alpha }^{\vee }⟩=0\text{for}\text{all}\alpha \in \mathrm{\Phi }\}\end{array}$$

Graph

and

2.3.2 $$\begin{array}{c}\hfill {\mathbf{T}}^{\mathrm{der}}:=\bigcap _{\chi \in X_0^{\ast }(\mathbf{T})}ker\chi .\end{array}$$

Graph

Then ${\mathbf{T}}^{\mathrm{der}}$ is a maximal torus in ${\mathbf{G}}^{\mathrm{der}}$ with character group $X^{\ast }({\mathbf{T}}^{\mathrm{der}})=X^{\ast }(\mathbf{T})/X_0^{\ast }(\mathbf{T})$ and

2.3.3 $$\begin{array}{c}\hfill (X^{\ast }({\mathbf{T}}^{\mathrm{der}}),\mathrm{\Phi };X_{\ast }({\mathbf{T}}^{\mathrm{der}}),{\mathrm{\Phi }}^{\vee })\end{array}$$

Graph

is the root datum of $({\mathbf{G}}^{\mathrm{der}},{\mathbf{T}}^{\mathrm{der}})$ , where the roots $\mathrm{\Phi }$ are restricted to ${\mathbf{T}}^{\mathrm{der}}$ . Similarly, by restriction we identify $\mathrm{\Delta }$ with a basis of simple roots for $({\mathbf{G}}^{\mathrm{der}},{\mathbf{T}}^{\mathrm{der}})$ .

Root data of Gad and G~

Let $\tilde{\mathbf{T}}$ (resp. ${\mathbf{T}}^{\mathrm{ad}}$ ) denote the preimage of ${\mathbf{T}}^{\mathrm{der}}$ in $\tilde{\mathbf{G}}$ (resp. the image of ${\mathbf{T}}^{\mathrm{der}}$ in ${\mathbf{G}}^{\mathrm{ad}}$ ). Then $\tilde{\mathbf{T}}$ and ${\mathbf{T}}^{\mathrm{ad}}$ are maximal tori in $\tilde{\mathbf{G}}$ and ${\mathbf{G}}^{\mathrm{ad}}$ respectively; the roots (resp. simple roots, coroots, simple coroots) of the three pairs $(\tilde{\mathbf{G}},\tilde{\mathbf{T}}),(G^{\mathrm{der}},{\mathbf{T}}^{\mathrm{der}}),({\mathbf{G}}^{\mathrm{ad}},{\mathbf{T}}^{\mathrm{ad}})$ are identified via the central isogenies

2.3.4 $$\begin{array}{c}\hfill (\tilde{\mathbf{G}},\tilde{\mathbf{T}})\to ({\mathbf{G}}^{\mathrm{der}},{\mathbf{T}}^{\mathrm{der}})\to ({\mathbf{G}}^{\mathrm{ad}},{\mathbf{T}}^{\mathrm{ad}}).\end{array}$$

Graph

Associated root system

The central isogenies (2.3.4) induce canonical identifications

2.3.5 $$\begin{array}{c}\hfill X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}=X^{\ast }{({\mathbf{T}}^{\mathrm{der}})}_{\mathbf{Q}}=X^{\ast }{({\mathbf{T}}^{\mathrm{ad}})}_{\mathbf{Q}}and{X}_{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}=X_{\ast }{({\mathbf{T}}^{\mathrm{der}})}_{\mathbf{Q}}=X_{\ast }{({\mathbf{T}}^{\mathrm{ad}})}_{\mathbf{Q}}.\end{array}$$

Graph

In turn, the Weyl groups of the three pairs (2.3.4) are all canonically identified with W. Choose a positive definite, symmetric, $W⋊\mathrm{Gal}(\overline{F}/F)$ -invariant bilinear form

2.3.6 $$\begin{array}{c}\hfill (,):X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}\times X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}\to \mathbf{Q}.\end{array}$$

Graph

When ${\mathbf{G}}^{\mathrm{ad}}$ is F-simple, the form (,) is the unique one up to positive scalar satisfying the properties above (one reduces to the well-known fact that there is a unique W-invariant, nondegenerate, symmetric form up to scaling when ${\mathbf{G}}_{\overline{F}}^{\mathrm{ad}}$ is simple; the latter follows from Schur's Lemma, because the natural representation $W\to GL(X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}})$ is then irreducible).

The triple $(X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}},\mathrm{\Phi },(,))$ is a root system associated to $(\mathbf{G},\mathbf{T})$ ; its isomorphism type is independent of the choice of (,).

Fundamental weights

Given $\alpha \in \mathrm{\Delta }$ , write $\eta (\alpha )$ (resp. $\eta ({\alpha }^{\vee })$ ) for the corresponding fundamental weight (resp. fundamental coweight) of $(\tilde{\mathbf{G}},\tilde{\mathbf{T}})$ in $X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}$ (resp. $X_{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}$ ) defined by $⟨\eta (\alpha ),{\beta }^{\vee }⟩={\delta }_{\alpha \beta }=⟨\beta ,\eta ({\alpha }^{\vee })⟩$ for all $\alpha ,\beta \in \mathrm{\Delta }$ .

Cocharacter data and associated subgroups

Cocharacter data

Throughout much of this paper, we work with a pair $(\mathbf{G},[\mu ])$ , where $\mu \in X_{\ast }(\mathbf{G})$ . Given such a pair, we choose a maximal torus $\mathbf{T}$ , a basis $\mathrm{\Delta }\subset \mathrm{\Phi }$ and a representative ${\mu }^{\prime }\in [\mu ]$ compatibly as follows: Choose $\mathbf{T}$ over F and ${\mu }^{\prime }$ over $\overline{F}$ such that $\mathrm{Im}({\mu }^{\prime })\subset {\mathbf{T}}_{\overline{F}}$ ; this is always possible because all maximal tori of ${\mathbf{G}}_{\overline{F}}$ are conjugate. In the presence of $\mu \in X_{\ast }(\mathbf{G})$ , we always choose $\mathrm{\Delta }$ so that $\mu$ is $\mathrm{\Delta }$ -dominant.

Associated Levi subgroup

Given $\mu \in X_{\ast }(\mathbf{G})$ , let $\mathbf{L}$ be the Levi subgroup of $G_{\overline{F}}$ given as the centralizer $\mathbf{L}:={\mathrm{Cent}}_{{\mathbf{G}}_{\overline{F}}}(\mu )$ . Let ${\mathrm{\Delta }}_{\mathbf{L}}:=\{\alpha \in \mathrm{\Delta }|⟨\alpha ,\mu ⟩=0\}$ . Then ${\mathrm{\Delta }}_{\mathbf{L}}$ is a basis of simple roots for ${\mathbf{T}}_{\overline{F}}$ in $\mathbf{L}$ .

Parabolic subgroups and their flag varieties

Let $I\subset \mathrm{\Delta }$ . We define the standard parabolic subgroup of ${\mathbf{G}}_{\overline{F}}$ of type I to be the subgroup generated by ${\mathbf{T}}_{\overline{F}}$ and the root groups $U_{\alpha }$ for $\alpha \in -\mathrm{\Delta }\cup I$ . In particular, the standard Borel subgroup is generated by ${\mathbf{T}}_{\overline{F}}$ and the root groups of negative roots. Let ${\mathsf{Par}}_I$ be the flag variety of parabolics of ${\mathbf{G}}_{\overline{F}}$ of type I.

Orbitally p-close cocharacters

Let $\mu \in X_{\ast }(\mathbf{G})$ and let p be a prime number. Recall from [[13], Sect. N.5.3] (see also [[12], Sect. 5.1]) that $\mu$ is called $\mathit{orbitally}p\text{-close}$ if, for every $\sigma \in W⋊\mathrm{Gal}(\overline{F}/F)$ and every root $\alpha \in \mathrm{\Phi }$ satisfying $⟨\alpha ,\mu ⟩\ne 0$ , one has

2.4.1 $$\begin{array}{c}\hfill \left|\frac{⟨\sigma \alpha ,\mu ⟩}{⟨\alpha ,\mu ⟩}\right|\le p-1.\end{array}$$

Graph

A cocharacter which is orbitally p-close for all p is called quasi-constant. The condition "orbitally p-close" is a weakening of certain p-smallness conditions, while "quasi-constant" generalizes "minuscule". See [[12]] for more on quasi-constant (co)characters.

The Griffiths character, the Griffiths bundle and the main result

The Griffiths character

Notation for real Hodge structures

Let $\mathbf{S}={\mathsf{Res}}_{\mathbf{C}/\mathbf{R}}{\mathbf{G}}_m$ . Recall that an $\mathbf{R}$ -Hodge structure consists of a pair (V, h), where V is a finite-dimensional $\mathbf{R}$ -vector space and $h:\mathbf{S}\to GL(V)$ is a morphism of $\mathbf{R}$ -groups. Denote the (descending) Hodge filtration of (V, h) on $V_{\mathbf{C}}$ by ${\mathrm{Fil}}^{\bullet }{V}_{\mathbf{C}}$ . Let $\mu (z):=(h\otimes \mathbf{C})(z,1)$ be the associated cocharacter of $GL(V_{\mathbf{C}})$ . By Deligne's convention, $\mu$ acts on the graded piece ${\mathrm{Gr}}^a{V}_{\mathbf{C}}:={\mathrm{Fil}}^a{V}_{\mathbf{C}}/{\mathrm{Fil}}^{a+1}{V}_{\mathbf{C}}$ by $z^{-a}$ . Let ${\mu }_{max}$ (resp. ${\mu }_{min}$ ) be the largest (resp. smallest) $\mu$ -weight in $V_{\mathbf{C}}$ . Then

3.1.1 $$\begin{array}{c}\hfill {\mathrm{Fil}}^{-{\mu }_{max}}{V}_{\mathbf{C}}=V_{\mathbf{C}},{\mathrm{Fil}}^{1-{\mu }_{min}}{V}_{\mathbf{C}}=(0)\end{array}$$

Graph

and $-{\mu }_{max}$ (resp. $1-{\mu }_{min}$ ) is characterized as the largest (resp. smallest) integer satisfying (3.1.1) (in other words, the Hodge filtration descends from $-{\mu }_{max}$ to $-{\mu }_{min}$ ).

The Griffiths character for Deligne pairs

Fix a pair $(G,\mathbf{X})$ , where G is a connected, reductive $\mathbf{R}$ -group and $\mathbf{X}:={\mathrm{Class}}_{\mathbf{G}(\mathbf{R})}(h)$ is the $G(\mathbf{R})$ -conjugacy class of a morphism of $\mathbf{R}$ -groups $h:\mathbf{S}\to G$ . The reinterpretation of much of Griffiths' work in terms of such pairs $(G,\mathbf{X})$ was introduced by Deligne in his Bourbaki talk [[7]].

Given $h\in \mathbf{X}$ , redefine $\mu (z):=(h\otimes \mathbf{C})(z,1)\in X_{\ast }(G)$ as the associated cocharacter of $G_{\mathbf{C}}$ . Let $r:G\to GL(V)$ be a morphism of $\mathbf{R}$ -groups (later we will want to assume that G, r both arise by base change from objects over $\mathbf{Q}$ ). Then $r\circ h$ is an $\mathbf{R}$ -Hodge structure. Define the Griffiths module of (G, h, r) by

3.1.2 $$\begin{array}{c}\hfill \mathrm{Grif}(G,h,r):=\sum _{1-{(r\circ \mu )}_{max}}^{-{(r\circ \mu )}_{min}}{\mathrm{Fil}}^a{V}_{\mathbf{C}}\end{array}$$

Graph

and the Griffiths character of (G, h, r) by

3.1.3 $$\begin{array}{c}\hfill \mathrm{grif}(G,h,r):=det\mathrm{Grif}(G,h,r).\end{array}$$

Graph

Let L be the $\mathbf{C}$ -group $L:={\mathrm{Cent}}_{G_{\mathbf{C}}}(\mu )$ . Then $\mathrm{Grif}(G,h,r)$ is an L-module and $\mathrm{grif}(G,h,r)\in X^{\ast }(L)$ is a character of L. The isomorphism class of the L-module $\mathrm{Grif}(G,h,r)$ and the conjugacy class $[\mathrm{grif}(G,h,r)]$ do not depend on the choice of $h\in \mathbf{X}$ .

Central kernel assumption

We shall always assume that $r:G\to GL(V)$ has central kernel; otherwise the component of the Griffiths character corresponding to some $\mathbf{C}$ -simple factor of ${\tilde{\mathbf{G}}}_{\mathbf{C}}$ will be trivial. For example $r=1$ trivial should clearly be avoided, for then $\mathrm{grif}(G,h,1)=0$ in $X^{\ast }(L)$ .

Generalization to arbitrary fields

Since the Hodge filtration on $V_{\mathbf{C}}$ and the cocharacter $\mu$ uniquely determine each other, we can generalize the Griffiths module and character to the setting of arbitrary cocharacter data over arbitrary fields by working with $\mu$ instead of h. Thus let F be a field and fix an algebraic closure $\overline{F}$ (no restriction is imposed on the characteristic of F). Let $\mathbf{G}$ be a connected, reductive F-group and let $\mu \in X_{\ast }(\mathbf{G})$ . For every $\overline{F}$ -vector space V and every morphism $r:{\mathbf{G}}_{\overline{F}}\to GL(V)$ of $\overline{F}$ -groups, we have the cocharacter $r\circ \mu$ of GL(V) and the corresponding descending filtration ${\mathrm{Fil}}^{\bullet }V$ on V given by

3.1.4 $$\begin{array}{c}\hfill {\mathrm{Fil}}^{a}V=\underset{a^{\prime }\ge a}{⨁}{V}_{-a^{\prime }},\end{array}$$

Graph

where $V_b=\{v\in V|(r\circ \mu )(z)v=z^{b}v\}$ is the b-weight space of $r\circ \mu$ acting on V.

Given r with central kernel (Sect. 3.1.3), define the Griffiths module $\mathrm{Grif}(\mathbf{G},\mu ,r)$ as in (3.1.2) and set the Griffiths character to be its determinant: $\mathrm{grif}(\mathbf{G},\mu ,r):=det\mathrm{Grif}(\mathbf{G},\mu ,r)$ .

As before, let $\mathbf{L}:={\mathrm{Cent}}_{\overline{F}}(\mu )$ . Then $\mathrm{Grif}(\mathbf{G},\mu ,r)$ is an $\mathbf{L}$ -module and $\mathrm{grif}(\mathbf{G},\mu ,r)\in X^{\ast }(\mathbf{L})$ for every triple $(\mathbf{G},\mu ,r)$ .

Griffiths line bundles associated to Griffiths characters

We explain how the Griffiths character gives rise to a line bundle by an associated bundle construction in two different settings: First we explain how to recover the Griffiths line bundle in the classical setting recalled in Sect. 1.2. Then we describe the Griffiths line bundle in the context of G-Zips in positive characteristic.

Associated sheaves

In both cases, one uses the following basic construction: Suppose X is an $\overline{F}$ -scheme with an action of an algebraic $\overline{F}$ -group H. Then there is an exact tensor functor from $\mathsf{Rep}(H)$ to the category of vector bundles on the quotient stack $[H\backslash X]$ ([[13], N.4.1], see also [[16], Part I, 5.8] in the case H acts freely on X). An equivalent variant is: The quotient stack $[H\backslash X]$ is equipped with a tautological H-torsor $I_H$ ; given $V\in \mathsf{Rep}(H)$ , the pushout of $I_H$ via V gives a GL(V)-torsor on $[H\backslash X]$ , which is the torsor of bases of the vector bundle on $[H\backslash X]$ associated to V.

Associated line bundle I: F=Q. The Borel embedding, d'après Deligne [7, Sects. 5.6–5.10]

Return to the setting of Sections 3.1.1 and 3.1.2: G is an $\mathbf{R}$ -group and $h:\mathbf{S}\to G$ , $r:G\to GL(V)$ are morphisms of $\mathbf{R}$ -groups; $\mathbf{X}$ is the $G(\mathbf{R})$ -conjugacy class of h. Assume r has central kernel and that $r\circ h$ is a pure $\mathbf{R}$ -HS.

Then $P(h)={\mathrm{Stab}}_{G_{\mathbf{C}}}({\mathrm{Fil}}^{\bullet }{V}_{\mathbf{C}})$ is a parabolic subgroup of $G_{\mathbf{C}}$ which is independent of (V, r). Let $I\subset \mathrm{\Delta }$ be the type of P(h). Then I is independent of $h\in \mathbf{X}$ . The compact dual of $\mathbf{X}$ is the flag variety $\check{\mathbf{X}}:={\mathsf{Par}}_I$ .

The Borel embedding is the injection $\iota :\mathbf{X}\to \check{\mathbf{X}}(\mathbf{C})$ given by $h\mapsto P(h)$ ; it identifies $\mathbf{X}$ with an open subset of $\check{\mathbf{X}}(\mathbf{C})$ , [[7], Lemma 5.8].

Applying Sect. 3.2.1 to the tautological P(h)-torsor on ${\mathsf{Par}}_I=\check{\mathbf{X}}$ , combined with the functor $\mathsf{Rep}(L)\to \mathsf{Rep}(P)$ given by extending trivially on the unipotent radical $R_u(P)$ , one gets a diagram of exact tensor functors:

3.2.1

Graph

Applying (3.2.1) to the Griffiths character $\mathrm{grif}(G,h,r)=\mathrm{grif}(G,\mu ,r)$ gives a $G(\mathbf{R})$ -equivariant line bundle $\mathrm{grif}(\mathbf{X},r)$ on $\mathbf{X}$ .

The line bundle $\mathrm{grif}(\mathbf{X},r)$ is the line bundle associated to the tautological family of Hodge structures on $\mathbf{X}$ (with fiber $r\circ h$ at $h\in \mathbf{X}$ ) via Sect. 1.2. However, this family of Hodge structures is rarely a VHS (i.e., it rarely satisfies transversality): assuming that $\mathrm{ad}h$ is of weight 0, the tautological family of HS over X is a VHS if and only if $\mathrm{ad}h$ is of type $\{(1,-1),(0,0),(-1,1)\}$ , [[8], Prop. 1.1.14]. Finally, one obtains the line bundle $\mathrm{grif}(\mathcal{V})$ of a $\mathcal{V}\in {\mathbf{Q}\text{-}\mathsf{VHS}}_S$ (Sect. 1.2) by pullback along the period map (1.2.2): For every period domain D (more generally for every Mumford–Tate domain D), there exists a Deligne pair $(G,\mathbf{X})$ such that $D={\mathbf{X}}^{+}$ (resp. $\mathrm{Aut}(D)=G^{\mathrm{ad}}{(\mathbf{R})}^{+}$ ) is a classical topology connected component of $\mathbf{X}$ (resp. $G(\mathbf{R})$ ).

Associated line bundle II: F=Fp. G-Zipμ-schemes, d'après Pink-Wedhorn-Ziegler [20, 21]

Let $F={\mathbf{F}}_p$ and $\mu \in X_{\ast }(\mathbf{G})$ . Up to possibly conjugating $\mu$ , we assume fixed a compatible choice of $\mu ,\mathbf{T},\mathrm{\Delta }$ as in Sect. 2.4.1. Let ${\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ be the associated stack of $\mathbf{G}$ -Zips of type $\mu$ . Let P be the standard parabolic of type ${\mathrm{\Delta }}_{\mathbf{L}}$ (Sect. 2.4.3), $P^{\mathrm{opp}}$ its opposite relative $\mathbf{L}$ and put $Q:={(P^{\mathrm{opp}})}^{(p)}$ . Recall that a $\mathbf{G}$ -Zip of type $\mu$ on an $\overline{F}$ -scheme S is a quadruple $(I,I_P,I_Q,\phi )$ , where I is a $\mathbf{G}$ -torsor on S, $I_P$ (resp. $I_Q$ ) is a P-structure (resp. Q-structure) on I and $\phi :{(I_P/R_u(P))}^{(p)}\to I_Q/R_u(Q)$ is an isomorphism of ${\mathbf{L}}^{(p)}$ -torsors (Sect. 2.1).

Since part of the datum of a $\mathbf{G}$ -Zip of type $\mu$ is a P-torsor, every representation of $\mathbf{L}$ yields a vector bundle on ${\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ via Sect. 3.2.1. We define the Griffiths line bundle $\mathrm{grif}({\mathbf{G}\text{-}\mathtt{Zip}}^{\mu },r)$ of ${\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ to be the line bundle associated to the Griffiths character $\mathrm{grif}(\mathbf{G},\mu ,r)$ . If X is an $\overline{F}$ -scheme and $\zeta :X\to {\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ is a morphism, we define the Griffiths line bundle of $(X,\zeta )$ by pullback: $\mathrm{grif}(X,\zeta ,r):={\zeta }^{\ast }\mathrm{grif}({\mathbf{G}\text{-}\mathtt{Zip}}^{\mu },r)$ .

G-Zipμ-schemes from de Rham cohomolgy, d'après Moonen-Wedhorn [18] and Pink-Wedhorn-Ziegler [...

In order for Sect. 3.2.3 to be useful, one needs an interesting supply of morphisms $\zeta :X\to {G-\mathtt{Zip}}^{\mu }$ . In analogy with Sect. 1.2, we recall how maps $\zeta :X\to {\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ arise from de Rham cohomology in characteristic p, see also the introduction to [[11]]. Suppose $\pi :Y\to X$ is a proper smooth morphism of schemes in characteristic p, that the Hodge-de Rham spectral sequence of $\pi$ degenerates at $E_1$ and that both the Hodge and de Rham cohomology sheaves of $\pi$ are locally free. Let $n=\text{rk}{H}_{\mathrm{dR}}^i(Y/X)$ and consider the conjugacy class $[\mu ]$ of cocharacters of GL(n) whose $-a$ -weight space has dimension $\text{rk}{R}^{i-a}{\pi }_{\ast }{\mathrm{\Omega }}_{Y/X}^a$ . Then $H_{\mathrm{dR}}^i(Y/X)$ is a GL(n)-Zip of type $\mu$ ; thus it determines a morphism $\zeta :X\to {GL(n)\text{-}\mathtt{Zip}}^{\mu }$ .

The analogy between $\zeta$ and the period map $\mathrm{\Phi }$ (Sect. 1.2) was first suggested by Moonen-Wedhorn in the introduction to [[18]]. We thank Y. Brunebarbe for suggesting to pursue this analogy further. It is an interesting open problem to understand what should be the right analogue of the Mumford–Tate group for $\zeta$ . Still, if the Hodge filtration is compatible with certain tensors, then $\zeta$ will factor through a stack of $\mathbf{G}$ -Zips, where $\mathbf{G}\subset GL(n)$ is the subgroup stabilizing those tensors. For example, as already observed in [[18]], when Y / X is a family of polarized abelian schemes (resp. K3 surfaces) then $\zeta$ factors through a stack of $\mathbf{G}$ -Zips, where $\mathbf{G}$ is a symplectic similitude group (resp. $\mathbf{G}=SO(21)$ ).

Main result

We continue to use the notation for root data introduced in Sect. 2; we always choose $\mu ,\mathbf{T},\mathrm{\Delta }$ compatibly as in Sect. 2.4.1 and the pairing (,) on $X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}$ is always chosen $W⋊\mathrm{Gal}(\overline{F}/F)$ -invariant and positive definite (Sect. 2.3.3).

The Griffiths ray

Let

3.3.1 $$\begin{array}{c}\hfill \overline{\mathrm{grif}}(\mathbf{G},\mu ,r):={\mathbf{Q}}_{>0}{s}^{\ast }\mathrm{grif}(\mathbf{G},\mu ,r)\end{array}$$

Graph

be the positive ray generated by $s^{\ast }\mathrm{grif}(\mathbf{G},\mu ,r)$ in $X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}$ . We call $\overline{\mathrm{grif}}(\mathbf{G},\mu ,r)$ the Griffiths ray of $(\mathbf{G},\mu ,r)$ . More generally, if v is a vector of a $\mathbf{Q}$ -vector space, write $⟨v⟩:={\mathbf{Q}}_{>0}v$ for the ray which it generates.

Write ${\mu }^{\mathrm{ad}}:=\mathrm{pr}\circ \mu$ for the projection of $\mu$ onto ${\mathbf{G}}_{\overline{F}}^{\mathrm{ad}}$ . Via the identifications (2.3.5), one has ${\mu }^{\mathrm{ad}}\in X_{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}$ .

Weight pairing sums

Given a root $\gamma \in \mathrm{\Phi }$ and a representation $r:\mathbf{G}\to GL(V)$ , recall Sect. 2.2.3 and let

3.3.2 $$\begin{array}{c}\hfill S({\gamma }^{\vee },r):=\sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}{m}_V(\chi ){⟨\chi ,{\gamma }^{\vee }⟩}^2.\end{array}$$

Graph

Since $⟨s_{\alpha }\chi ,{\alpha }^{\vee }⟩=-⟨\chi ,{\alpha }^{\vee }⟩$ , each summand in (3.3.2) is invariant under $\chi \mapsto s_{\alpha }\chi$ .

Theorem 3.1

Let $\mathbf{G}$ be a connected, reductive F-group. Assume ${\mathbf{G}}^{\mathrm{ad}}$ is F-simple, $\mu \in X_{\ast }(\mathbf{G})$ and $r\in {\mathsf{Rep}}_F(\mathbf{G})$ is a representation of $\mathbf{G}$ over F with central kernel. Then:

• For all $\alpha \in \mathrm{\Delta }$ , one has
• 3.3.3 $$\begin{array}{c}\hfill ⟨\mathrm{grif}(\mathbf{G},\mu ,r),{\alpha }^{\vee }⟩=-\frac{1}{2}⟨\alpha ,\mu ⟩S({\alpha }^{\vee },r).\end{array}$$

Graph

• The value $(\alpha ,\alpha )S({\alpha }^{\vee },r)$ is independent of $\alpha \in \mathrm{\Phi }$ .
• Under the identification $X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}\cong X_{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}$ afforded by (,), for every $\alpha \in \mathrm{\Phi }$ one has
• 3.3.4 $$\begin{array}{c}\hfill s^{\ast }\mathrm{grif}(\mathbf{G},\mu ,r)=-\frac{(\alpha ,\alpha )}{4}S({\alpha }^{\vee },r){\mu }^{\mathrm{ad}}in{X}^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}.\end{array}$$

Graph

• In particular,
• 3.3.5 $$\begin{array}{c}\hfill \overline{\mathrm{grif}}(\mathbf{G},\mu ,r)=-⟨{\mu }^{\mathrm{ad}}⟩in{X}^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}.\end{array}$$

Graph

Remark 3.2

• Both of the terms $(\alpha ,\alpha )$ and ${\mu }^{\mathrm{ad}}$ , when viewed in $X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}$ , depend on (,). Further, the dependence among the two is inverse proportional, so the right-hand side of (3.3.4) is independent of (,)
• For fixed r, the value $(\alpha ,\alpha )S({\alpha }^{\vee },r)$ depends on $\mathrm{\Phi }\subset X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}$ , not just on the isomorphism class of the root system $(X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}},\mathrm{\Phi },(,))$ .

Remark 3.3

The sign difference between the cocharacter $\mu$ and the Griffiths character $\mathrm{grif}(\mathbf{G},\mu ,r)$ is a reflection of the change in curvature/positivity between a period domain $\mathbf{X}$ (or more generally a Mumford–Tate domain, or a Griffiths–Schmid manifold) and its compact dual $\check{\mathbf{X}}$ . For example, the Hodge line bundle is ample on a Hodge type Shimura variety (Sect. 3.4.1), but over $\mathbf{C}$ it arises via the construction 3.2.1 from a line bundle on $\check{\mathbf{X}}$ which is anti-ample on $\check{\mathbf{X}}$ .

Under the same hypotheses, two immediate corollaries of Theorem 3.1 are:

Corollary 3.4

(Independence)

• Given a cocharacter datum $(\mathbf{G},\mu )$ , the Griffiths ray $\overline{\mathrm{grif}}(\mathbf{G},\mu ,r)$ is independent of r (always assumed with central kernel).
• Given $r\in {\mathsf{Rep}}_F(\mathbf{G})$ with central kernel, the positive scalar $c\in \mathbf{Q}>0$ such that $s^{\ast }\mathrm{grif}(\mathbf{G},\mu ,r)=-c{\mu }^{\mathrm{ad}}$ is independent of $\mu$ .

Corollary 3.5

In addition to the hypotheses of Theorem 3.1, assume that all roots $\alpha$ satisfying $⟨\alpha ,\mu ⟩\ne 0$ have the same length.[6] Then, without reference to (,), one has

3.3.6 $$\begin{array}{c}\hfill \overline{\mathrm{grif}}(\mathbf{G},\mu ,r)=-⟨\sum _{\alpha \in \mathrm{\Delta }}⟨\alpha ,\mu ⟩\eta (\alpha )⟩.\end{array}$$

Graph

Remark 3.6

The assumption that $\mathbf{G}$ is F-simple and the need to consider associated rays (i.e., to allow positive scalar multiples) are both already essential in the setting of the Hodge line bundle, see [[12], Sect. 4.5] and [[13], Sect. 2.1.6, Footnote 7] for respective examples.

As an application of our joint work with Brunebarbe, Koskivirta and Stroh on positivity of automorphic bundles [[3]], one obtains the nefness of the Griffiths bundle on a proper ${\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ -scheme.

Corollary 3.7

(Nefness) Assume F has characteristic p, that X is a proper $\overline{F}$ -scheme of finite type and that $\zeta :X\to {\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ is a morphism. If $\mathrm{grif}(\mathbf{G},\mu ,r)$ is orbitally p-close (Sect. 2.4.4), then the pullback of the Griffiths line bundle to X is a nef line bundle on X.

Remark 3.8

We emphasize that [[3]] contains stronger positivity results and that our sole contribution here is to show that $\mathrm{grif}(\mathbf{G},\mu ,r)$ is $\mathrm{\Delta }\backslash {\mathrm{\Delta }}_{\mathbf{L}}$ -negative, see Corollary 4.6.

Remark 3.9

Unlike the property "ampleness", the property "nef" is not always open on the base, cf. [[19]]. So we do not know if one can reprove Griffiths' result that the Griffiths line bundle of a polarized $\mathbf{Q}$ -VHS over a projective base is nef via Corollary 3.7.

Examples

The Hodge character and line bundle I: F=Q

Consider the special case of triples $(\mathbf{G},\mu ,r)$ where

• $F=\mathbf{Q}$ (i.e., $\mathbf{G}$ is a $\mathbf{Q}$ -group),
• $\mu (z)=(h\otimes \mathbf{C})(z,1)$ for some $h:\mathbf{S}\to {\mathbf{G}}_{\mathbf{R}}$ and $(\mathbf{G},\mathbf{X})$ is a Shimura datum, where $\mathbf{X}={\mathrm{Class}}_{\mathbf{G}(\mathbf{R})}(h)$ ,
• $r\circ h$ is of type $\{(0,-1),(-1,0)\}$ .

Then the Shimura datum $(\mathbf{G},\mathbf{X})$ is of Hodge type and r is a symplectic embedding [[8], Lemma 1.3.3]. In this case, the Griffiths character $\mathrm{grif}(\mathbf{G},\mu ,r)$ is the Hodge character giving rise to the Hodge line bundle of the Shimura variety $\mathrm{Sh}(\mathbf{G},\mathbf{X})$ . Since $\mu$ is minuscule in this example, the condition of Corollary 3.5 holds. Then Corollary 3.5 recovers Theorem 1.4.4 and Corollary 1.4.5 of our joint work with Koskivirta [[12]], which state that the Hodge character is quasi-constant (Sect. 2.4.4) and that the Hodge ray it determines is independent of r and given by (3.3.6).

For applications of these results to the "tautological" ring of Hodge-type Shimura varieties and the cycle classes of Ekedahl-Oort strata, see the recent preprint of Wedhorn-Ziegler [[23]].

The Hodge character and line bundle II: G-Zips

Let $F={\mathbf{F}}_p$ . Let $(V,\psi )$ be a symplectic space over ${\mathbf{F}}_p$ of dimension g and $GSp(V,\psi )$ the corresponding symplectic similitude group. Let ${\mu }_g$ be a non-central, minuscule cocharacter of $GSp(V,\psi )$ . The Hodge character is defined for any symplectic embedding of cocharacter data

3.4.1 $$\begin{array}{c}\hfill (\mathbf{G},\mu )\hookrightarrow (GSp(2g),{\mu }_g)\end{array}$$

Graph

and the associated line bundle is the Hodge line bundle of ${\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ , [[13], Sect. 1.3]. Theorem 3.1 extends the results of [[12]], recalled in Sect. 3.4.1, to symplectic embeddings 3.4.1 which need not arise from an embedding of Shimura data. In particular, the Hodge character is quasi-constant even if it does not arise from a Shimura variety setting by reduction mod p.

The adjoint representation via the Coxeter number

When $r=\mathrm{Ad}$ is the adjoint representation, the sums $S({\alpha }^{\vee },r)$ (Sect. 3.3.2) are sums of squares of root pairings, and their values are computed explicitly using the computations by Bourbaki of the "canonical bilinear form" and $\gamma$ -invariant of a root system ([[2], Chap. 6, Sect. 1.12] and exercise 5 of Chap. 6, Sect. 1 in loc. cit.; see also Remark A.2.1). In this way, given the root system $(X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}},\mathrm{\Phi },(,))$ associated to $(\mathbf{G},\mathbf{T})$ (Sect. 2.3.3), one obtains the proportionality constant c of Corollary 3.4(b) for $r=\mathrm{Ad}$ .

When $\mathrm{\Delta }$ is irreducible and simply-laced, one has $S({\alpha }^{\vee },\mathrm{Ad})=4h$ for all $\alpha \in \mathrm{\Phi }$ , where h is the Coxeter number of $\mathrm{\Delta }$ . When $\mathrm{\Delta }$ is irreducible and multi-laced one has two invariants of the root system: $S({\alpha }^{\vee },r)$ for $\alpha$ short and long respectively. These are recorded in Table 1, together with the Coxeter number and $\gamma (\mathrm{\Delta })$ ; the latter are taken from the Planches in loc. cit. When $\mathrm{\Delta }$ is simply-laced, one has $h^2=\gamma (\mathrm{\Delta })$ .

The root pairing sums S(α∨,Ad)

Type of $Δ$	Coxeter Number h	$γ(Δ)$	$S(α∨,Ad)Δ$ simply-laced	$S(α∨,Ad)α∨$ short	$S(α∨,Ad)α∨$ long
$An-1$	n	$n2$	4n
$Bn$	2n	$(n+1)(4n-2)$		$4(2n-1)$	$8(2n-1)$
$Cn$	2n	$(n+1)(4n-2)$		$4(n+1)$	$8(n+1)$
$Dn$	$2(n-1)$	$4(n-1)2$	$8(n-1)$
$G2$	6	48		16	48
$F4$	12	162		36	72
$E6$	12	144	48
$E7$	18	324	72
$E8$	30	900	120

Proof of the main result and its application

General lemmas on roots and weights

Let k be an algebraically closed field.

Lemma 4.1

Let T be a k-torus. Assume

$$\begin{array}{c}\hfill \phi :T\to GL(V)\end{array}$$

Graph

is a finite-dimensional representation with finite kernel. Then the $\mathbf{Q}$ -span of the T-weights of $\phi$ is all of $X^{\ast }{(T)}_{\mathbf{Q}}$ .

Proof

Let $T^{\prime }:=T/ker\phi$ . Then $T^{\prime }$ is a torus, and the induced map $\overline{\phi }:T^{\prime }\to GL(V)$ is faithful. Moreover, $X^{\ast }{(T)}_{\mathbf{Q}}=X^{\ast }{(T^{\prime })}_{\mathbf{Q}}$ since $ker\phi$ is finite. Thus we reduce to the case that $\phi$ is faithful.

Since T is a torus, the category ${\mathsf{Rep}}_k(T)$ is semisimple and Tannakian, neutralized by the forgetful functor ${\mathsf{Rep}}_k(T)\to {\mathsf{Vec}}_k$ . Since $\phi$ is faithful, every $\chi \in X^{\ast }(T)$ is a factor of some $T^{m,n}(V):=V^{\otimes m}\otimes {(V^{\vee })}^{\otimes n}$ . In other words, $\chi$ is a T-weight of some $T^{m,n}(V)$ . The T-weights of $T^{m,n}(V)$ are $\mathbf{Z}$ -linear combinations of the T-weights of V. So $\chi$ lies in the $\mathbf{Q}$ -span of the T-weights of V. $\square$

Recall the notation $\mathrm{\Phi }(V,T)$ for the T-weights of V (Sect. 2.2.3).

Lemma 4.2

Assume that $r:G\to GL(V)$ is a representation with central kernel. Then, for every simple root $\alpha \in \mathrm{\Delta }$ , there exists a weight $\chi \in \mathrm{\Phi }(V,T)$ such that $⟨\chi ,{\alpha }^{\vee }⟩\ne 0$ .

Proof

Let $\iota :T^{\mathrm{der}}\to T$ be the inclusion. If $\chi$ is a T-weight of V, then $⟨\chi ,{\alpha }^{\vee }⟩=⟨{\iota }^{\ast }\chi ,{\alpha }^{\vee }⟩$ , where we identify the coroots of $T^{\mathrm{der}}$ in $G^{\mathrm{der}}$ with those of T in G as in Sect. 2.3.1. Thus we reduce to the case that $G=G^{\mathrm{der}}$ is semisimple. Then r has finite kernel, hence so does its restriction to $T\subset G$ . Now the result follows from Lemma 4.1, for otherwise the $\mathbf{Q}$ -span of the weights would lie in a root hyperplane. $\square$

Corollary 4.3

Assume that $r:G\to GL(V)$ is a representation with central kernel and that $\mu \in X_{\ast }(T)$ is not central in G. Then there exists a weight $\chi \in \mathrm{\Phi }(V,T)$ such that $⟨\chi ,\mu ⟩\ne 0$ .

Proof

Since $\mu$ is not central, there exists $\alpha \in \mathrm{\Delta }$ such that $⟨\alpha ,\mu ⟩\ne 0$ . By Lemma 4.2 applied to $\alpha$ , there exists $\chi \in \mathrm{\Phi }(V,T)$ such that $⟨\chi ,{\alpha }^{\vee }⟩\ne 0$ .

Since $⟨s_{\alpha }\chi ,\mu ⟩=⟨\chi ,\mu ⟩-⟨\chi ,{\alpha }^{\vee }⟩⟨\alpha ,\mu ⟩$ , we conclude that either $⟨\chi ,\mu ⟩\ne 0$ or $⟨s_{\alpha }\chi ,\mu ⟩\ne 0$ . Since the set of weights $\mathrm{\Phi }(V,T)$ is W-stable, the corollary is proved. $\square$

Return to the setting that F is an arbitrary field with algebraic closure $\overline{F}$ .

Lemma 4.4

Assume $\mathbf{G}$ is an adjoint, simple F-group. Then two roots $\alpha ,\beta \in \mathrm{\Phi }$ have the same length if and only if they are conjugate under $W⋊\mathrm{Gal}(\overline{F}/F)$ .

Proof

The action of $W⋊\mathrm{Gal}(\overline{F}/F)$ preserves length (recall from Sect. 2.3.3 that the bilinear form (,) is chosen $W⋊\mathrm{Gal}(\overline{F}/F)$ -invariant).

Conversely, assume $\alpha ,\beta \in \mathrm{\Phi }$ are two roots of equal length. Since $\mathbf{G}$ is simple over F, the $\overline{F}$ -simple factors of ${\mathbf{G}}_{\overline{F}}$ are permuted transitively by $\mathrm{Gal}(\overline{F}/F)$ . Thus there exist $\overline{F}$ -simple factors $G_i$ and $G_j$ of ${\mathbf{G}}_{\overline{F}}$ , with respective maximal tori $T_i$ , $T_j$ contained in ${\mathbf{T}}_{\overline{F}}$ , such that the root systems $(X^{\ast }(T_i),{\mathrm{\Phi }}_i,(,)),(X^{\ast }(T_j),{\mathrm{\Phi }}_j,(,))$ are naturally irreducible components of the root system $(X^{\ast }{(\mathbf{T})}_{\mathbf{Q}},\mathrm{\Phi },(,))$ and $\alpha \in {\mathrm{\Phi }}_i$ , $\beta \in {\mathrm{\Phi }}_j$ . Let ${\sigma }_0\in \mathrm{Gal}(\overline{F}/F)$ map ${\mathrm{\Phi }}_i$ to ${\mathrm{\Phi }}_j$ . In a reduced and irreducible root system, two roots are conjugate under the Weyl group if and only if they have the same length; apply this to the system ${\mathrm{\Phi }}_j$ and the roots ${\sigma }_0\alpha ,\beta$ . $\square$

Root-theoretic analysis of the Griffiths module

Consider the setting of Theorem 3.1: Let $\mathbf{G}$ be a connected, reductive F-group, V an F-vector space and $r:\mathbf{G}\to GL(V)$ a morphism F-groups with central kernel. Let $\mu \in X_{\ast }(\mathbf{G})$ .

The expression of ${\mu }^{\mathrm{ad}}$ in the basis of fundamental coweights (Sect. 2.3.4) in $X_{\ast }{({\mathbf{T}}^{\mathrm{ad}})}_{\mathbf{Q}}$ is

$$\begin{array}{c}\hfill {\mu }^{\mathrm{ad}}=\sum _{\alpha \in \mathrm{\Delta }}⟨\alpha ,\mu ⟩\eta ({\alpha }^{\vee }).\end{array}$$

Graph

Since ${\alpha }^{\vee }$ is identified with $2\alpha /(\alpha ,\alpha )$ in $X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}$ via (,), ${\mu }^{\mathrm{ad}}$ is identified with the linear combination

$$\begin{array}{c}\hfill \sum _{\alpha \in \mathrm{\Delta }}⟨\alpha ,\mu ⟩\frac{2}{(\alpha ,\alpha )}\eta (\alpha )\end{array}$$

Graph

in the basis of fundamental weights in $X^{\ast }{(\tilde{\mathbf{T}})}_{\mathbf{Q}}$ . Therefore, in Theorem 3.1,(a) and (b) jointly imply (c). In turn, (c) trivially implies (d). Thus it suffices to prove (a) and (b). Part (a) is proved in Lemma 4.5. Part (b) is shown first for roots with the same length in Lemma 4.7. The general case is reduced to that of equal length in Lemma 4.8.

Lemma 4.5

For all $\alpha \in \mathrm{\Delta }$ , one has

4.2.1 $$\begin{array}{c}\hfill ⟨\mathrm{grif}(\mathbf{G},\mu ,r),{\alpha }^{\vee }⟩=-\frac{1}{2}⟨\alpha ,\mu ⟩S({\alpha }^{\vee },r).\end{array}$$

Graph

Proof

By definition of the Griffiths module (3.1.2), the set of ${\mathbf{T}}_{\overline{F}}$ -weights of r is contained in that of $\mathrm{Grif}(\mathbf{G},\mu ,r)$ (not counting multiplicities): $\mathrm{\Phi }(\mathrm{Grif}(\mathbf{G},\mu ,r),\mathbf{T})\subset \mathrm{\Phi }(r,\mathbf{T})$ (Sect. 2.2.3). To understand $\mathrm{Grif}(\mathbf{G},\mu ,r)$ , we must determine the multiplicity of a weight $\chi$ in $\mathrm{Grif}(\mathbf{G},\mu ,r)$ in terms of its multiplicity in (V, r). Let ${\mathbf{L}}_V:={\mathrm{Cent}}_{GL(V_{\mathbf{C}})}(r\circ \mu )$ . Choose a maximal torus ${\mathbf{T}}_V$ in ${\mathbf{L}}_V$ containing $r(\mathbf{T})$ . Let $\mathrm{Id}:GL(V)\to GL(V)$ be the identity. By construction, we have an equality of $\mathbf{L}$ -representations:

$$\begin{array}{c}\hfill \mathrm{Grif}(\mathbf{G},\mu ,r)=r^{\ast }\mathrm{Grif}(GL(V),r\circ \mu ,\mathrm{Id}).\end{array}$$

Graph

The ${\mathbf{T}}_V$ -weights of $\mathrm{Id}$ all have multiplicity one ( $\mathrm{Id}$ is minuscule). The multiplicity of a ${\mathbf{T}}_V$ -weight $\tilde{\chi }$ in $\mathrm{Grif}(GL(V),r\circ \mu ,\mathrm{Id})$ is given by the distance to the top of the filtration, namely

4.2.2 $$\begin{array}{c}\hfill {(r\circ \mu )}_{max}-⟨\tilde{\chi },r\circ \mu ⟩.\end{array}$$

Graph

Let $\chi =r^{\ast }\tilde{\chi }$ . Then $⟨\tilde{\chi },r\circ \mu ⟩=⟨\chi ,\mu ⟩$ . Since there are precisely $m_V(\chi )$ different ${\mathbf{T}}_V$ -weights which pull back to $\chi$ , the multiplicity of $\chi$ in $\mathrm{Grif}(\mathbf{G},\mu ,r)$ is

4.2.3 $$\begin{array}{c}\hfill m_V(\chi )({(r\circ \mu )}_{max}-⟨\chi ,\mu ⟩).\end{array}$$

Graph

Since $\mathrm{grif}(\mathbf{G},\mu ,r)$ is defined (3.1.3) as the determinant of $\mathrm{Grif}(\mathbf{G},\mu ,r)$ ,

4.2.4 $$\begin{array}{c}\hfill ⟨\mathrm{grif}(\mathbf{G},\mu ,r),{\alpha }^{\vee }⟩=\sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}{m}_{\mathrm{Grif}(\mathbf{G},\mu ,r)}(\chi )⟨\chi ,{\alpha }^{\vee }⟩.\end{array}$$

Graph

If $\chi =s_{\alpha }\chi$ , then $⟨\chi ,{\alpha }^{\vee }⟩=0$ , so $\chi$ contributes zero in the sum (4.2.4). We group the remaining terms in (4.2.4) in pairs $\{\chi ,s_{\alpha }\chi \}$ . Recalling that $⟨s_{\alpha }\chi ,{\alpha }^{\vee }⟩=-⟨\chi ,{\alpha }^{\vee }⟩$ and that the multiplicities $m_V(\chi )$ are W-invariant gives

4.2.5 $$\begin{array}{c}\hfill ⟨\mathrm{grif}(\mathbf{G},\mu ,r),{\alpha }^{\vee }⟩=\frac{1}{2}\sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}{m}_V(\chi )⟨\chi ,{\alpha }^{\vee }⟩⟨s_{\alpha }\chi -\chi ,\mu ⟩.\end{array}$$

Graph

Substituting the definition $s_{\alpha }\chi =\chi -⟨\chi ,{\alpha }^{\vee }⟩\alpha$ into (4.2.5) yields (4.2.1). $\square$

Recall that $\mu$ is normalized to be $\mathrm{\Delta }$ -dominant.

Corollary 4.6

The Griffiths character $\mathrm{grif}(\mathbf{G},\mu ,r)$ is $\mathrm{\Delta }$ -anti-dominant. Furthermore,

4.2.6 $$\begin{array}{c}\hfill ⟨\mathrm{grif}(\mathbf{G},\mu ,r),{\alpha }^{\vee }⟩<0\end{array}$$

Graph

if and only if $\alpha \in \mathrm{\Delta }\backslash {\mathrm{\Delta }}_{\mathbf{L}}$ .

Proof

The anti-dominance is clear from (3.3.2) and (4.2.1). Moreover, if $\alpha \in {\mathrm{\Delta }}_{\mathbf{L}}$ , then $⟨\alpha ,\mu ⟩=0$ since $\mathbf{L}={\mathrm{Cent}}_{{\mathbf{G}}_{\mathbf{C}}}(\mu )$ , so $⟨\mathrm{grif}(G,h,r),{\alpha }^{\vee }⟩=0$ again by (4.2.1).

Finally, assume $\alpha \in \mathrm{\Delta }\backslash {\mathrm{\Delta }}_{\mathbf{L}}$ . Since $\mu$ is assumed $\mathrm{\Delta }$ -dominant, one has $⟨\alpha ,\mu ⟩>0$ . By Lemma 4.2, one of the terms in the sum (3.3.2) is nonzero, so $S(\mu ,r,\alpha )<0$ . $\square$

Lemma 4.7

Assume ${\mathbf{G}}^{\mathrm{ad}}$ is a simple F-group. If $\alpha ,\beta \in \mathrm{\Phi }$ have the same length, then

4.2.7 $$\begin{array}{c}\hfill S({\alpha }^{\vee },r)=S({\beta }^{\vee },r)\end{array}$$

Graph

Proof

Assume $\alpha ,\beta \in \mathrm{\Phi }$ have the same length. By Lemma 4.4, there exists $\sigma \in W⋊\mathrm{Gal}(\overline{F}/F)$ such that $\sigma {\alpha }^{\vee }={\beta }^{\vee }$ . One has

4.2.8 $$\begin{array}{c}\hfill S({\beta }^{\vee },r)=S(\sigma {\alpha }^{\vee },r)=\sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}{m}_V(\chi ){⟨\chi ,\sigma {\alpha }^{\vee }⟩}^2\end{array}$$

Graph

Since r is a morphism of F-groups and $\mathbf{T}$ is an F-torus, the set of weights $\mathrm{\Phi }(V,\mathbf{T})$ is stable under $W⋊\mathrm{Gal}(\overline{F}/F)$ and $m_V(\chi )=m_V(\sigma \chi )$ for all $\sigma \in W⋊\mathrm{Gal}(\overline{F}/F)$ . Applying the orthogonality of W relative $⟨,⟩$ , together with the substitution ${\sigma }^{-1}\chi \mapsto \chi$ gives (4.2.7). $\square$

We pause to note that we have shown the simply-laced case of the main result:

Proof of Corollary 3.5

Combine Lemma 4.5, Corollary 4.6 and Lemma 4.7. $\square$

Root strings

To treat the multi-laced case, given two roots $\alpha ,\beta \in \mathrm{\Phi }$ , we will use what Knapp calls the " $\alpha$ -root-string containing $\beta$ " (see the paragraph preceding Prop. 2.48 in [[17]]) and what Bourbaki call the " $\alpha$ -chaîne de racines définie par $\beta$ ", [[2], Chapter 6, No. 1.3]. The preceding synonymous terminology refers to the set $(\beta +\mathbf{Z}\alpha )\cap \mathrm{\Phi }$ .

Assume $\alpha ,\beta \in \mathrm{\Delta }$ is a pair of adjacent simple roots. Recall from [[2], Chapter 6, No. 1.3, Prop. 9]) that the length $\mathrm{Card}((\beta +\mathbf{Z}\alpha )\cap \mathrm{\Phi })-1$ of the $\alpha$ -root string containing $\beta$ is then given as follows: If $\alpha$ is strictly longer than $\beta$ , then the root string is $(\beta +\mathbf{Z}\alpha )\cap \mathrm{\Phi }=\{\beta ,\alpha +\beta \}$ . Otherwise, $\alpha$ is at least as short as $\beta$ and the length of the root string is

4.2.9 $$\begin{array}{c}\hfill \mathrm{Card}((\beta +\mathbf{Z}\alpha )\cap \mathrm{\Phi })-1=⟨\alpha ,{\beta }^{\vee }⟩⟨\beta ,{\alpha }^{\vee }⟩.\end{array}$$

Graph

Note that the right-hand side of (4.2.9) is the number of edges connecting $\alpha$ and $\beta$ in the Dynkin diagram of $\mathrm{\Delta }$ , as defined for instance in [[22], Sect. 9.5.1]. Moreover, if $\alpha$ is strictly shorter than $\beta$ , then all of the members of the root string $(\beta +\mathbf{Z}\alpha )\cap \mathrm{\Phi }$ are short, except for the two endpoints $\beta$ and $\beta +⟨\alpha ,{\beta }^{\vee }⟩⟨\beta ,{\alpha }^{\vee }⟩\alpha$ which are both long.[7]

Lemma 4.8

Assume ${\mathbf{G}}^{\mathrm{ad}}$ is a simple F-group and $\alpha ,\beta \in \mathrm{\Phi }$ . Then

4.2.10 $$\begin{array}{c}\hfill \frac{S({\alpha }^{\vee },r)}{S({\beta }^{\vee },r)}=\frac{(\beta ,\beta )}{(\alpha ,\alpha )}.\end{array}$$

Graph

Proof

By Lemma 4.7 and its proof, since ${\mathbf{G}}^{\mathrm{ad}}$ is simple over F we reduce to the case that

• $\mathrm{\Delta }$ is multi-laced,
• $\alpha ,\beta \in \mathrm{\Delta }$
• $\alpha ,\beta$ are adjacent (in particular they belong to the same $\overline{F}$ -simple factor of ${\mathbf{G}}^{\mathrm{ad}}$ ), and
• $\alpha$ is strictly longer than $\beta$ .

Given $\gamma ,\delta \in \mathrm{\Phi }$ , let

$$\begin{array}{c}\hfill T({\gamma }^{\vee },{\delta }^{\vee },r):=\sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}⟨\chi ,{\gamma }^{\vee }⟩⟨\chi ,{\delta }^{\vee }⟩.\end{array}$$

Graph

Since $\alpha ,\beta$ are adjacent, ${\alpha }^{\vee }+{\beta }^{\vee }$ is a coroot.[8] Since $\alpha$ is strictly longer than $\beta$ , ${\alpha }^{\vee }$ is strictly shorter than ${\beta }^{\vee }$ .

We now apply Sect. 4.2.1, but to the root system ${\mathrm{\Phi }}^{\vee }$ of coroots. Thus, ${\alpha }^{\vee }+{\beta }^{\vee }$ is a short coroot and ${\beta }^{\vee }+2{\alpha }^{\vee }$ is a coroot. The coroot ${\beta }^{\vee }+2{\alpha }^{\vee }$ is long when $\mathrm{\Delta }$ is doubly-laced (types $B_n,C_n,F_4$ ) but short when $\mathrm{\Delta }$ is triply-laced (type $G_2)$ .

One has

4.2.11a $$\begin{array}{c}\hfill S({\alpha }^{\vee }+{\beta }^{\vee },r)=S({\alpha }^{\vee },r)+S({\beta }^{\vee },r)+2T({\alpha }^{\vee },{\beta }^{\vee },r),\end{array}$$

Graph

4.2.11b $$\begin{array}{c}\hfill S(2{\alpha }^{\vee }+{\beta }^{\vee },r)=4S({\alpha }^{\vee },r)+S({\beta }^{\vee },r)+4T({\alpha }^{\vee },{\beta }^{\vee },r).\end{array}$$

Graph

On the other hand, it follows from Lemma 4.7 that $S({\alpha }^{\vee }+{\beta }^{\vee },r)=S({\alpha }^{\vee },r)$ , since both ${\alpha }^{\vee }$ and ${\alpha }^{\vee }+{\beta }^{\vee }$ are short. Also, $S(2{\alpha }^{\vee }+{\beta }^{\vee },r)=S({\beta }^{\vee },r)$ or $S(2{\alpha }^{\vee }+{\beta }^{\vee },r)=S({\alpha }^{\vee },r)$ according to whether $\mathrm{\Delta }$ is doubly or triply-laced respectively. Solving the two equations in each of the two cases for the ratio $S({\beta }^{\vee },r)/S({\alpha }^{\vee },r)$ , one finds $S({\beta }^{\vee },r)/S({\alpha }^{\vee },r)=2$ (resp. $S({\beta }^{\vee },r)/S({\alpha }^{\vee },r)=3$ ) when $\mathrm{\Delta }$ is doubly (resp. triply) laced. $\square$

The proof of the main result is now complete:

Proof of Theorem 3.1

Combine Lemma 4.5, Corollary 4.6 and Lemma 4.8. $\square$

Nefness of the Griffiths bundle of G-Zipμ-schemes

Proof of Corollary 3.7

Let $\zeta :X\to {\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ as in Corollary 3.7. Write $\mathcal{G}:=\mathrm{grif}({\mathbf{G}\text{-}\mathtt{Zip}}^{\mu },r)$ for the Griffiths line bundle on ${\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ associated to some choice of r with central kernel (Sect. 3.4.2) and put ${\mathcal{G}}_X:={\zeta }^{\ast }\mathcal{G}$ . In view of Theorem 3.1 nothing in the argument below will depend on the auxiliary choice of r.

Assume that $\mu$ is orbitally p-close (Sect. 2.4.4). By Theorem 3.1, the Griffiths ray is also orbitally p-close (by definition, one element of a ray is orbitally p-close if and only if all are). Thus the Griffiths character is a Hasse generator of ${\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ by [[13], Th. 3.2.3], i.e., for every stratum ${\mathcal{X}}_w$ with Zariski closure ${\overline{\mathcal{X}}}_w$ there exists $n_w>0$ and a section $h_w\in H^0({\overline{\mathcal{X}}}_w,{\mathcal{G}}^{n_w})$ such that the nonvanishing locus of $h_w$ is precisely ${\mathcal{X}}_w$ .

In [[3]], it is shown that any line bundle corresponding to any Hasse generator is nef on a projective ${\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ -scheme X. Indeed, suppose $Z\subset X$ is a closed, integral subscheme. Then we have a nonzero section $h_Z$ in $H^0(Z,{\mathcal{G}}_X)$ as follows: Since Z is irreducible, there exists a unique stratum ${\mathcal{X}}_w$ in ${\mathbf{G}\text{-}\mathtt{Zip}}^{\mu }$ such that the intersection ${\zeta }^{\ast }{\mathcal{X}}_w\cap Z$ is dense in Z. Then take $h_Z:={\zeta }^{\ast }{h}_w$ . $\square$

Acknowledgements

Open access funding provided by Stockholm University. We are grateful to the GS Magnusons Fund, the Knut & Alice Wallenberg Foundation and Stockholm University for their support. This paper was completed during a visit to the University of Zurich. I thank the Institute of Mathematics for its hospitality and the opportunity to speak about this work. We thank the referee for his/her work on the paper. I want to thank my coauthors Y. Brunebarbe, J.-S. Koskivirta and B. Stroh for hours and hours of stimulating discussions on several topics related to this paper; in particular the idea for this work was born when Brunebarbe taught me about the Griffiths bundle and suggested to think of maps $\zeta :X\to G\text{-}{\mathtt{Zip}}^{\mu }$ as analogues of period maps. I am grateful to Koskivirta and J. Ayoub for comments on an earlier version of this work, which led to improvements in the statement of the main result. I thank B. Moonen and T. Wedhorn for discussions about G-Zips and the link with classical Hodge theory. I am grateful to B. Klingler and J. Daniel for explaining to me the connection between the Griffiths bundle and Daniel's work on loop Hodge structures [[6]]; while we do not study this connection here, it would be interesting to understand the relationship between this paper and Daniel's work in the future. Finally, it should be clear to the reader how much this paper owes to the works of Griffiths and Deligne. In addition to reshaping Hodge theory, we also thank them both for inspiring correspondence and discussions. In particular, I thank Griffiths for correspondence on positivity of Hodge bundles. I thank Deligne, first for sending me a two-line proof of the independence of $\mathrm{grif}(\mathbf{G},\mu ,r)$ from r when $\mathbf{G}=GL(n)$ , in response to my question about the dependence of $\mathrm{grif}(\mathbf{G},\mu ,r)$ on r, and second for his simplification of the main result given in Appendix A.

Appendix A. Deligne's Simplification

We present Deligne's elegant simplification of the proof of Theorem 3.1(d) following a letter from him [[9]]. In particular, Deligne's argument does not use root strings and it does not differentiate according to the lacing of the Dynkin diagram of $\mathrm{\Delta }$ .

Deligne's argument works in the setting of semisimple $\mathbf{G}$ , so we first explain in §A.1 how to reduce Theorem 3.1(d) to that case. The reduction is a formality, so the reader who believes it may happily jump to Deligne's argument proper in §A.2.

A.1. Reduction to the semisimple case

The proof of Lemma 4.5, up to (4.2.3), gives the equality of characters

A.1.1 $$\begin{array}{c}\hfill \mathrm{grif}(\mathbf{G},\mu ,r)=\sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}{m}_V(\chi )({(r\circ \mu )}_{max}-⟨\chi ,\mu ⟩)\chi .\end{array}$$

Graph

Note that the next step (4.2.4) in the proof of Lemma 4.5 is the result of pairing both sides of (A.1.1) with ${\alpha }^{\vee }$ but we now avoid doing this. As $\mathbf{T}$ -representations, one has

A.1.2 $$\begin{array}{c}\hfill \sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}{m}_V(\chi )\chi =detV.\end{array}$$

Graph

Let $\iota :{\mathbf{G}}^{\mathrm{der}}\to \mathbf{G}$ be the inclusion. Since ${\mathbf{G}}^{\mathrm{der}}$ is semisimple, the pullback ${\iota }^{\ast }detV$ of $detV$ to ${\mathbf{G}}^{\mathrm{der}}$ is trivial. Therefore the image of  (A.1.2) in $X^{\ast }({\mathbf{T}}^{\mathrm{der}})$ is zero. Pulling back (A.1.1) to $X^{\ast }({\mathbf{T}}^{\mathrm{der}})$ , the first term on the right pulls back to zero, so

A.1.3 $$\begin{array}{c}\hfill {\iota }^{\ast }\mathrm{grif}(\mathbf{G},\mu ,r)=-\sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}{m}_V(\chi )⟨\chi ,\mu ⟩{\iota }^{\ast }\chi .\end{array}$$

Graph

It follows from (A.1.3) that the validity of Theorem 3.1(d) is invariant under replacing $\mu$ with a (strictly) positive scalar multiple. Hence we may assume that ${\mu }^{\mathrm{ad}}$ arises from a cocharacter of ${\mathbf{T}}_{\overline{F}}^{\mathrm{der}}$ , which we denote the same way. For such ${\mu }^{\mathrm{ad}}$ , the cocharacter $\mu -{\iota }_{\ast }{\mu }^{\mathrm{ad}}$ of ${\mathbf{T}}_{\overline{F}}$ is central in ${\mathbf{G}}_{\overline{F}}$ .

For any cocharacter $\nu \in X_{\ast }(\mathbf{T})$ which is central in ${\mathbf{G}}_{\overline{F}}$ , the sum

A.1.4 $$\begin{array}{c}\hfill \sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}{m}_V(\chi )⟨\chi ,\nu ⟩\chi \end{array}$$

Graph

is a character of ${\mathbf{G}}_{\overline{F}}$ . One can see this in two ways: Since $\nu$ is central, by Schur's Lemma it acts on each ${\mathbf{G}}_{\overline{F}}$ -irreducible constituent of $V_{\overline{F}}$ by a character of ${\mathbf{G}}_{\overline{F}}$ ; the action of $\nu$ on $det{V}_{\overline{F}}$ is then given by (A.1.4). Alternatively, one checks that the pairing of (A.1.4) with every coroot ${\alpha }^{\vee }$ is zero by the method of proof in Lemma 4.5, i.e., grouping the summands with $⟨\chi ,{\alpha }^{\vee }⟩\ne 0$ in pairs $\{\chi ,s_{\alpha }\chi \}$ . As before, the pullback of (A.1.4) to $X^{\ast }({\mathbf{T}}^{\mathrm{der}})$ is zero.

Applying the above with $\nu =\mu -{\iota }_{\ast }{\mu }^{\mathrm{ad}}$ and using (A.1.3), we conclude that

A.1.5 $$\begin{array}{c}\hfill {\iota }^{\ast }\mathrm{grif}(\mathbf{G},\mu ,r)=-\sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}{m}_V(\chi )⟨{\iota }^{\ast }\chi ,{\mu }^{\mathrm{ad}}⟩{\iota }^{\ast }\chi =\mathrm{grif}({\mathbf{G}}^{\mathrm{der}},{\mu }^{\mathrm{ad}},r^{\mathrm{der}}),\end{array}$$

Graph

where $r^{\mathrm{der}}={\iota }^{\ast }r$ is the restriction of r to ${\mathbf{G}}^{\mathrm{der}}$ . It follows that Theorem 3.1(d) for $(\mathbf{G},{\mu }^{\mathrm{ad}},r^{\mathrm{der}})$ implies it for $(\mathbf{G},\mu ,r)$ .

A.2. Deligne's argument

By §A.1, we may henceforth assume that $\mathbf{G}$ is semisimple. We may also assume that $\mu \ne 0$ , as otherwise both sides of Theorem 3.1(d) are trivial. Define a pairing on $X_{\ast }(\mathbf{T})$ by setting, for all $\mu ,{\mu }^{\prime }\in X_{\ast }(\mathbf{T})$ ,

A.2.1 $$\begin{array}{c}\hfill {(\mu ,{\mu }^{\prime })}_V=\sum _{\chi \in \mathrm{\Phi }(V,\mathbf{T})}{m}_V(\chi )⟨\chi ,\mu ⟩⟨\chi ,{\mu }^{\prime }⟩\end{array}$$

Graph

Since the $\mathbf{G}$ -representation V is defined over F, the pairing ${(,)}_V$ is $W⋊\mathrm{Gal}(\overline{F}/F)$ -invariant. It is positive definite by Corollary 4.3 and thus induces an isomorphism $X^{\ast }{(\mathbf{T})}_{\mathbf{Q}}\stackrel{\sim }{\to }{X}_{\ast }{(\mathbf{T})}_{\mathbf{Q}}$ . Under this isomorphism, $\mathrm{grif}(\mathbf{G},\mu ,r)$ maps to $-\mu$ by (A.1.3). Since ${\mathbf{G}}^{\mathrm{ad}}$ is F-simple, any other positive definite, $W⋊\mathrm{Gal}(\overline{F}/F)$ -invariant pairing (, ) on $X_{\ast }{(\mathbf{T})}_{\mathbf{Q}}$ is a positive scalar multiple of ${(,)}_V$ (Sect. 2.3.3). This proves Theorem 3.1(d).

Remark A.2.1

When $V=\mathrm{Ad}$ is the adjoint representation, the pairing (A.2.1) is the inverse of the "canonical bilinear form" of [[2], Chapter 6, Sect. 1.12].

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

1 Bakker, B., Brunebarbe, Y., Tsimerman, J.: o\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$o$$\end{document}-minimal GAGA and a conjecture of Griffiths. Preprint, arXiv:1811.12230 2 Bourbaki N. Groupes et algèbres de Lie. Chapters 4–6. 1968: Paris; Hermann 3 Brunebarbe, Y., Goldring, W., Koskivirta, J.S., Stroh, B.: Ample automorphic bundles on zip-schemes. (in preparation) 4 Carlson J, Müller-Stach S, Peters C. Period Mappings and Period Domains Volume 168 of Cambridge Studies in Advanced Mathematics. 20172: Cambridge; Cambridge University Press 5 Conrad, B.: Reductive group schemes. In: Brochard, S., Conrad, B., Oesterlé, J. (eds) Autour des schémas en groupes. Vol. I, volume 42/43 of Panor. Synthèses, pages 93–444. Soc. Math. France, Paris, (2014). A celebration of SGA3, Lecture notes from the Summer School held at the Centre International de Rencontres Mathématiques (CIRM), Luminy, August 29–September 9, (2011) 6 Daniel Jeremy. Loop Hodge structures and harmonic bundles. Algebra Geom.. 2017; 4; 5: 603-6433710058. 10.14231/2017-030 7 Deligne, P.: Travaux de Griffiths. Séminaire Bourbaki, Exposé No. 376, pp. 213–237 (1969-1970) 8 Deligne, P.: Variétés de Shimura: Interprétation modulaire, et techniques de construction de modèles canoniques. In: Borel, A., Casselman, W., (eds) Automorphic forms, representations and L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L$$\end{document}-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, OR., 1977), Part 2, volume 33 of Proc. Symp. Pure Math. Amer. Math. Soc., Providence, RI, (1979) 9 Deligne, P.: Letter to Wushi Goldring about the Griffiths character, November (2018) Deligne P, Milne J Deligne P, Milne J, Ogus A, Shih K. Tannakian categories. Hodge Cycles, Motives, and Shimura Varieties. 1982: Berlin; Springer: 101-228 Goldring W, Koskivirta J-S. Automorphic vector bundles with global sections on G\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$G$$\end{document}-ZipZ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{\cal{Z}}$$\end{document}-schemes. Compos. Math.. 2018; 154: 2586-26053870455. 10.1112/S0010437X18007467 Goldring W, Koskivirta J-S. Quasi-constant characters: motivation, classification and applications. Adv. Math.. 2018; 339: 336-3663866900. 10.1016/j.aim.2018.09.026 Goldring W, Koskivirta J-S. Strata Hasse invariants, Hecke algebras and Galois representations. Invent. Math.. 2019; 217; 3: 887-9843989256. 10.1007/s00222-019-00882-5 Green, M., Griffiths P., Laza, R., Robles, C.: Completion of period mappings and ampleness of the Hodge bundle. Preprint, arXiv:1708.09523 Griffiths Phillip A. Periods of integrals on algebraic manifolds. III. Some global differential-geometric properties of the period mapping. Inst. Hautes Études Sci. Publ. Math.. 1970; 38: 125-180282990. 10.1007/BF02684654 Jantzen J. Representations of Algebraic Groups. 20032: Providence, RI; American Mathematical Society Knapp A. Lie groups Beyond an Introduction. 1996: Boston; Birkhauser Moonen B, Wedhorn T. Discrete invariants of varieties in positive characteristic. IMRN. 2004; 72: 3855-39032104263. 10.1155/S1073792804141263 Moriwaki Atsushi. A criterion of openness of a family of nef line bundles. Manuscr. Math.. 1992; 75; 3: 327-3311167137. 10.1007/BF02567088 Pink R, Wedhorn T, Ziegler P. Algebraic zip data. Doc. Math.. 2011; 16: 253-30028045131230.14070 Pink R, Wedhorn T, Ziegler P. F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${F}$$\end{document}-zips with additional structure. Pacific J. Math.. 2015; 274; 1: 183-2363347958. 10.2140/pjm.2015.274.183 Springer T. Linear Algebraic Groups. 19982: Boston; Birkhauser Wedhorn, T., Ziegler, P.: Tautological rings of Shimura varieties and cycle classes of Ekedahl-Oort strata. Preprint, arXiv:1811.04843 In loc. cit., $\mathrm{grif}(\mathcal{V})$ was called the canonical bundle of $\mathcal{V}$ ; in [[14]] and [[1]] it was called the Hodge (line) bundle. The condition " $\mathrm{\Gamma }$ discrete in $\mathrm{Aut}(D)$ " is already necessary to ensure that $\mathrm{\Phi }(S)$ is an analytic space. It appears that the authors of [[14]] are working to fix an error in their preprint. The two possible interpretations of 'maximal torus' here are equivalent [[5], Appendix A]. One of several equivalent definitions is that the $\mathbf{Z}$ -span of the coroots ${\mathrm{\Phi }}^{\vee }$ is the whole cocharacter group. In particular this holds if $\mathbf{G}$ is simply-laced. The last claim is checked by expanding $(\beta +k\alpha ,\beta +k\alpha )/(\alpha ,\alpha )$ and plugging in the value of $2(\beta ,\alpha )/(\alpha ,\alpha )=⟨\beta ,{\alpha }^{\vee }⟩$ . Caution: While $\alpha +\beta$ is a root and ${\alpha }^{\vee }+{\beta }^{\vee }$ is a coroot, one has ${(\alpha +\beta )}^{\vee }\ne {\alpha }^{\vee }+{\beta }^{\vee }$ whenever $\alpha ,\beta$ are adjacent of different lengths.

By Wushi Goldring

Reported by Author