Rank 2 local systems and abelian varieties

Let $$X/\mathbb {F}_{q}$$ X / F q be a smooth, geometrically connected variety. For X projective, we prove a Lefschetz-style theorem for abelian schemes of $$\text {GL}_2$$ GL 2 -type on X, modeled after a theorem of Simpson. Inspired by work of Corlette-Simpson over $$\mathbb {C}$$ C , we formulate a conjecture that absolutely irreducible rank 2 local systems with infinite monodromy on X come from families of abelian varieties. We have the following application of our main result. If one assumes a strong form of Deligne’s (p-adic) companions conjecture from Weil II, then our conjecture for projective varieties reduces to the conjecture for projective curves. We also answer affirmitavely a question of Grothendieck on extending abelian schemes via their p-divisible groups.

Characteristic cycle and wild ramification for nearby cycles of étale sheaves

In this article, we give a bound for the wild ramification of the monodromy action on the nearby cycles complex of a locally constant étale sheaf on the generic fiber of a smooth scheme over an equal characteristic trait in terms of Abbes and Saito’s logarithmic ramification filtration. This provides a positive answer to the main conjecture in [24] for smooth morphisms in equal characteristic. We also study the ramification along vertical divisors of étale sheaves on relative curves and abelian schemes over a trait.

Extending tamely ramified strict 1-motives into két log 1-motives

We define két abelian schemes, két 1-motives and két log 1-motives and formulate duality theory for these objects. Then we show that tamely ramified strict 1-motives over a discrete valuation field can be extended uniquely to két log 1-motives over the corresponding discrete valuation ring. As an application, we present a proof to a result of Kato stated in [12, §4.3] without proof. To a tamely ramified strict 1-motive over a discrete valuation field, we associate a monodromy pairing and compare it with Raynaud’s geometric monodromy.

Trace of abelian varieties over function fields and the geometric Bogomolov conjecture

We prove that the geometric Bogomolov conjecture for any abelian varieties is reduced to that for nowhere degenerate abelian varieties with trivial trace. In particular, the geometric Bogomolov conjecture holds for abelian varieties whose maximal nowhere degenerate abelian subvariety is isogenous to a constant abelian variety. To prove the results, we investigate closed subvarieties of abelian schemes over constant varieties, where constant varieties are varieties over a function field which can be defined over the constant field of the function field.