Vanishing results for toric varieties associated to GL_n and G₂

DOI10.1007/S00031-008-9002-4MaRDI QIDQ941084zbMATH OpenOpenAlexFDO

Authors Qëndrim R. Gashi

Publication date 4 September 2008

Published in Transformation Groups (Search for Journal in Brave)

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

zbMATH Keywords

line bundles root systems

Mathematics Subject Classification ID

Divisors, linear systems, invertible sheaves (14C20) Toric varieties, Newton polyhedra, Okounkov bodies (14M25)

Abstract: Toric varieties associated with root systems appeared very naturally in the theory of group compactifications. Here they are considered in a very different context. We prove the vanishing of higher cohomology groups for certain line bundles on toric varieties associated to

G L_{n}

and

G_{2}

. This can be considered of general interest and it improves the previously known results for these varieties. We also show how these results give a simple proof of a converse to Mazur's inequality for

G L_{n}

and

G_{2}

respectively. It is known that the latter imply the non-emptiness of some affine Deligne-Lusztig varieties.

Review text

Let \(G\) be a split reductive group over a field \(F\) which is a finite extension of a \(p\)-adic field, \(B\) a Borel subgroup, and \(T\) a maximal torus in \(B\), all assumed defined over the integers of \(F\). Let \(P=MN\) be a parabolic subgroup containing \(B\) where \(M\) is the Levi subgroup containing \(T\), and let \(X=X_*(T)\) be the cocharacters of \(T\). For each \(B\), suppose an \(x_B \in X\) is selected such that for adjacent \(B, B^\prime\) \(x_B-x_{B^\prime}\) is an integral multiple if the unique coroot positive for \(B\) and negative for \(B^\prime\); this is called a\((G,T)\)-orthogonal set. Let \(X_M\) be the quotient of \(X\) by the coroot lattice for \(M\). A \((G,M)\)-orthogonal set in \(X_M\) is defined similarly: an element \(x_P\) is given for every parabolic subgroup having \(M\) as a Levi factor, and for every two adjacent set of parabolic subgroups \(P, P^\prime\), the corresponding elements differ by an integral multiple of a designated element of \(X_M\) which depends on \(P\) and \(P^\prime\). The author proves that, for certain orthogonal sets, the projection (associated to \(M\)) of the intersection of \(X\) and the convex hull of \(x_B\) coincides with the intersection of the convex hull of \(x_P\) and the projection of \(X\), in the cases \(G=G_2\) and \(G=GL_n\). For any \(G\), the author considers a toric variety \(V_G\), whose fan is the real span of the cocharacters of the complex dual torus of \(T\) modulo the center of the complex dual group of \(G\), and whose torus is that quotient. The author constructs certain bundles on \(V_G\), and in the case \(G=G_2\) and \(G=GL_n\), proves their first cohomology is trivial. Furthermore, it is shown that these vanishing results are equivalent to the projection results previously mentioned.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Vanishing results for toric varieties associated to \(\text{GL}_n\) and \(\text{G}_{2}\)

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