The Griffiths bundle is generated by groups

DOI10.1007/S00208-019-01899-0MaRDI QIDQ2332930zbMATH OpenOpenAlexWikidataFDO

Authors Wushi Goldring

Publication date 5 November 2019

Published in Mathematische Annalen (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1811.12916

zbMATH Keywords

algebraic zip dataGriffiths bundle

Mathematics Subject Classification ID

Modular and Shimura varieties (14G35) Linear algebraic groups over arbitrary fields (20G15)

Abstract: First the Griffiths line bundle of a $mathbfQ$-VHS $mathscrV$ is generalized to a Griffiths character $mgrif(mathbfG,mu,r)$ associated to any triple $(mathbfG,mu,r)$, where $mathbfG$ is a connected reductive group over an arbitrary field $F$, $muin{X}_{\ast }(mathbfG)$ is a cocharacter (over $overlineF$) and $r:mathbfGoGL(V)$ is an $F$-representation; the classical bundle studied by Griffiths is recovered by taking $F=mathbfQ$, $mathbfG$ the Mumford-Tate group of $mathscrV$, $r:mathbfGoGL(V)$ the tautological representation afforded by a very general fiber and pulling back along the period map the line bundle associated to $mgrif(mathbfG,mu,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 $mathbfG$-Zips. When $mathbfG$ is $F$-simple, we show that, up to positive multiples, the Griffiths character $mgrif(mathbfG,mu,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 $-mu$. As an application, we show that the Griffiths line bundle of a projective $mathbfG{m-Zip}^{mu}$-scheme is nef.

Review text

Let \(F\) be any field. Consider a connected reductive \(F\)-group \(G\) and a cocharacter \(\mu \in X_*(G)\). To any homomorphism \(r: G_{\overline{F}} \to \mathrm{GL}(V)\) of \(\overline{F}\)-groups with central kernel, \(r \circ \mu\) yields a filtration of \(V\) such that \(r\mu\) acts on \(\mathrm{Fil}^a V / \mathrm{Fil}^{a+1}V\) by \(z^a\). Define the extremal indices so that \[ \mathrm{Fil}^{-(r\mu)_{\mathrm{max}}} V = V, \quad \mathrm{Fil}^{1 - (r\mu)_{\mathrm{min}}} V = \{0\}. \] In this paper, the Griffiths character \(\mathrm{grif}(G, \mu, r) \in X^*(L)\) is defined as the determinant of the Griffiths module \[ \mathrm{Grif}(G, \mu, r) = \sum_{1 - (r\mu)_{\mathrm{max}}}^{-(r\mu)_{\mathrm{min}}} \mathrm{Fil}^a V \] on which \(L = Z_{G_{\overline{F}}}(\mu)\) acts. This construction generalizes the Griffiths line bundle attached to a \(\mathbb{Q}\)-VHS via Deligne's formalism of pairs \((G, X)\). On the other hand, by taking \(F = \mathbb{F}_p\), one can define the line bundle \(\mathrm{grif}(G\mathrm{-Zip}^\mu , r)\) on the moduli stack of \(G\)-Zips \(G\mathrm{-Zip}^\mu\) introduced in [\textit{R. Pink} et al., Doc. Math. 16, 253--300 (2011; Zbl 1230.14070)], thus also on the \(\overline{F}\)-schemes \(X\) endowed with a morphism \(\zeta: X \to G\mathrm{-Zip}^\mu\) by pull-back. The scenario arises naturally in the study of de Rham cohomology in characteristic \(p\), and the \(\zeta\) may be seen as an analogue for the period map considered by Griffiths. Roughly speaking, the main Theorem 3.1 asserts that, assuming \(G^{\mathrm{ad}}\) is \(F\)-simple, \(\mathrm{grif}(G, \mu, r)\) equals \(\mu\) up to a negative, combinatorially defined constant. In particular, the ray generated by \(\mathrm{grif}(G, \mu, r)\) is independent of \(r\). As an application (Corollary 3.7), the author deduces the nefness of the Griffiths line bundle on a proper finite-type \(\overline{\mathbb{F}_p}\)-scheme \(X\) and a morphism \(\zeta: X \to G\mathrm{-Zip}^\mu\), when \(\mathrm{grif}(G, \mu, r)\) is orbitally \(p\)-close in the sense of Section 2.4.4.

Recommendations

• Principal bundles over finite fields
• Automorphic vector bundles on the stack of G-zips
• On principal bundles over a projective variety defined over a finite field
• The line bundles on moduli stacks of principal bundles on a curve
• Principal bundles on the projective line.

Cites work

• \(F\)-zips with additional structure
• A criterion of openness of a family of nef line bundles
• Algebraic zip data
• Automorphic vector bundles with global sections on \(G\)-{\texttt{Zip}}\(^{\mathcal{Z}}\)-schemes
• scientific article; zbMATH DE number 6479627 (Why is no real title available?)
• scientific article; zbMATH DE number 3681911 (Why is no real title available?)
• scientific article; zbMATH DE number 3749168 (Why is no real title available?)
• scientific article; zbMATH DE number 2019767 (Why is no real title available?)
• scientific article; zbMATH DE number 2140875 (Why is no real title available?)
• scientific article; zbMATH DE number 3297198 (Why is no real title available?)
• scientific article; zbMATH DE number 3332143 (Why is no real title available?)
• Lie groups beyond an introduction
• Linear algebraic groups.
• Loop Hodge structures and harmonic bundles
• o-minimal GAGA and a conjecture of Griffiths
• Period Mappings and Period Domains
• Periods of integrals on algebraic manifolds. III: Some global differential-geometric properties of the period mapping
• Quasi-constant characters: motivation, classification and applications
• Strata Hasse invariants, Hecke algebras and Galois representations
• Tautological rings of Shimura varieties and cycle classes of Ekedahl-Oort strata

Cited in

(1)

• Complex analysis -- algebraicity and transcendence. Abstracts from the workshop held August 16--22, 2020 (hybrid meeting)

This page was built for publication: The Griffiths bundle is generated by groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2332930)