BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We study fiber functors on Tannakian categories which are equipped with a grading or a filtration. Our goal is to give a comprehensive set of foundational results about such functors. A main result is that each filtration on a fiber functor can be split by a grading fpqc-locally on the base scheme.
An F-zip over a scheme S over a finite field is a certain object of semi-linear algebra consisting of a locally free module with a descending filtration and an ascending filtration and a $\Frob_q$-twisted isomorphism between the respective graded sheaves. In this article we define and systematically investigate what might be called "F-zips with a G-structure", for an arbitrary reductive linear algebraic group G. These objects come in two incarnations. One incarnation is an exact linear tensor functor from the category of finite dimensional representations of G to the category of F-zips over S. Locally any such functor has a type χ, which is a cocharacter of G. The other incarnation is a certain G-torsor analogue of the notion of F-zips. We prove that both incarnations define stacks that are naturally equivalent to a quotient stack of the form [EG,χ\Gk] that was studied in an earlier paper. By the results obtained there they are therefore smooth algebraic stacks of dimension 0 over k. Using our earlier results we can also classify the isomorphism classes of such objects over an algebraically closed field, describe their automorphism groups, and determine which isomorphism classes can degenerate into which others. For classical groups we can deduce the corresponding results for twisted or untwisted symplectic, orthogonal, or unitary F-zips. The results can be applied to the algebraic de Rham cohomology of smooth projective varieties (or generalizations thereof such as smooth proper Deligne-Mumford stacks) and to truncated Barsotti-Tate groups of level 1. In addition, we hope that our systematic group theoretical approach will help to understand the analogue of the Ekedahl-Oort stratification of the special fibers of arbitrary Shimura varieties.
The purpose of this paper is to give presentations for projective S-unit groups of the Hurwitz order in Hamilton's quaternions over the rational field Q. To our knowledge, this provides the first explicit presentations of an S-arithmetic lattice in a semisimple Lie group with S large. In particular, we give presentations for groups acting irreducibly and cocompactly on a product of Bruhat--Tits trees. We also include some discussion and experimentation related to the congruence subgroup problem, which is open when S contains at least two odd primes. In the appendix, we provide code that allows the reader to compute presentations for an arbitrary finite set S.
We give a new proof of the Mordell-Lang conjecture in positive characteristic for finitely generated subgroups. We also make some progress towards the full Mordell-Lang conjecture in positive characteristic.
An algebraic zip datum is a tuple $\CZ := (G,P,Q,ϕ)$ consisting of a reductive group G together with parabolic subgroups P and Q and an isogeny ϕ:P/RuP→Q/RuQ. We study the action of the group E:={(p,q)∈P×Q∣ϕ(πP(p))=πQ(q)} on G given by ((p,q),g)↦pgq−1. We define certain smooth E-invariant subvarieties of G, show that they define a stratification of G. We determine their dimensions and their closures and give a description of the stabilizers of the E-action on G. We also generalize all results to non-connected groups. We show that for special choices of $\CZ$ the algebraic quotient stack [E\G] is isomorphic to [G\Z] or to [G\Z′], where Z is a G-variety studied by Lusztig and He in the theory of character sheaves on spherical compactifications of G and where Z′ has been defined by Moonen and the second author in their classification of F-zips. In these cases the E-invariant subvarieties correspond to the so-called "G-stable pieces" of Z defined by Lusztig (resp. the G-orbits of Z′).
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.