Showing 1–10 of 10 results for author: Overkamp, O

On Bosch-Lütkebohmert-Raynaud's Conjecture I

Authors: Otto Overkamp

Abstract: Let $G$ be a smooth algebraic group over the field of rational functions of an excellent Dedekind scheme $S$ of equal characteristic $p>0.$ A Néron lft-model of $G$ is a smooth separated model $\mathscr{G} \to S$ of $G$ satisfying a universal property. Predicting whether a given $G$ admits such a model is a very delicate (and, in general, open) question if $S$ has infinitely many closed points, wh… ▽ More Let $G$ be a smooth algebraic group over the field of rational functions of an excellent Dedekind scheme $S$ of equal characteristic $p>0.$ A Néron lft-model of $G$ is a smooth separated model $\mathscr{G} \to S$ of $G$ satisfying a universal property. Predicting whether a given $G$ admits such a model is a very delicate (and, in general, open) question if $S$ has infinitely many closed points, which is the subject of Conjecture I due to Bosch-Lütkebohmert-Raynaud. This conjecture was recently proven by T. Suzuki and the author if the residue fields of $S$ at closed points are perfect, but refuted in general. The aim of the present paper is two-fold: firstly, we give a new construction of counterexamples which is more general and provides a conceptual explanation for the only counterexamples known previously, as well as providing many new counterexamples. Secondly, we shall give a new and elementary proof of Conjecture I in the case of perfect residue fields. Both parts make use of the concept of weakly permawound unipotent groups recently introduced by Rosengarten. △ Less

Submitted 20 September, 2024; originally announced September 2024.

Comments: 25 pages

Existence of global Néron models beyond semi-abelian varieties

Authors: Otto Overkamp, Takashi Suzuki

Abstract: We first prove Bosch-Lütkebohmert-Raynaud's conjectures on existence of global Néron models of not necessarily semi-abelian algebraic groups in the perfect residue fields case. We then give a counterexample to the existence in the imperfect residue fields case. Finally, as a complement to the conjectures, we classify unirational wound unipotent groups "up to relative perfection", again in the perf… ▽ More We first prove Bosch-Lütkebohmert-Raynaud's conjectures on existence of global Néron models of not necessarily semi-abelian algebraic groups in the perfect residue fields case. We then give a counterexample to the existence in the imperfect residue fields case. Finally, as a complement to the conjectures, we classify unirational wound unipotent groups "up to relative perfection", again in the perfect residue fields case. The key ingredient for all these is the duality for relatively perfect unipotent groups. △ Less

Submitted 26 March, 2025; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: Revised after referee report. 23 pages

MSC Class: 14L15 (Primary) 14G17; 14F30; 11G10; 14K15 (Secondary)

Chai's conjectures on base change conductors

Authors: Otto Overkamp, Takashi Suzuki

Abstract: The base change conductor is an invariant introduced by Chai which measures the failure of a semiabelian variety to have semiabelian reduction. We investigate the behaviour of this invariant in short exact sequences, as well as under duality and isogeny. Our results imply Chai's conjecture on the additivity of the base change conductor in short exact sequences, while also showing that a proposed g… ▽ More The base change conductor is an invariant introduced by Chai which measures the failure of a semiabelian variety to have semiabelian reduction. We investigate the behaviour of this invariant in short exact sequences, as well as under duality and isogeny. Our results imply Chai's conjecture on the additivity of the base change conductor in short exact sequences, while also showing that a proposed generalisation of this conjecture fails. We use similar methods to show that the base change conductor is invariant under duality of Abelian varieties in equal positive characteristic (answering a question of Chai), as well as giving a new short proof of a formula due to Chai, Yu, and de Shalit which expresses the base change conductor of a torus in terms of its (rational) cocharacter module. △ Less

Submitted 16 June, 2025; v1 submitted 2 October, 2023; originally announced October 2023.

Comments: Accepted for publication in Journal of Algebraic Geometry. 44 pages

MSC Class: 14K15 (Primary); 14G20; 11G45; 14F20; 11G10 (Secondary)

Chai's conjecture for semiabelian Jacobians

Authors: Otto Overkamp

Abstract: We prove Chai's conjecture on the additivity of the base change conductor of semiabelian varieties in the case of Jacobians of proper curves. This includes the first infinite family of non-trivial wildly ramified examples. Along the way, we extend Raynaud's construction of the Néron lft-model of a Jacobian in terms of the Picard functor to arbitrary seminormal curves (beyond which Jacobians admit… ▽ More We prove Chai's conjecture on the additivity of the base change conductor of semiabelian varieties in the case of Jacobians of proper curves. This includes the first infinite family of non-trivial wildly ramified examples. Along the way, we extend Raynaud's construction of the Néron lft-model of a Jacobian in terms of the Picard functor to arbitrary seminormal curves (beyond which Jacobians admit no Néron lft-models, as shown by our more general structural results). Finally, we investigate the structure of Jacobians of (not necessarily geometrically reduced) proper curves over fields of degree of imperfection at most one and prove two conjectures about the existence of Néron models and Néron lft-models due to Bosch-Lütkebohmert-Raynaud for Jacobians of general proper curves in the case of perfect residue fields, thus strengthening the author's previous results in this situation. △ Less

Submitted 9 July, 2024; v1 submitted 9 December, 2022; originally announced December 2022.

Comments: 35 pages. Small corrections; results unchanged

Journal ref: Compositio Math. 161 (2025) 120-147

On logarithmic reduction of cohomologically tame elliptic surface

Authors: Otto Overkamp, Arne Smeets

Abstract: We give cohomological criteria for logarithmic good reduction of elliptic surfaces up to modification. Along the way, we prove several more general results about such surfaces in positive characteristic, as well as about log smooth morphisms. We give cohomological criteria for logarithmic good reduction of elliptic surfaces up to modification. Along the way, we prove several more general results about such surfaces in positive characteristic, as well as about log smooth morphisms. △ Less

Submitted 2 December, 2022; originally announced December 2022.

On Jacobians of geometrically reduced curves and their Néron models

Authors: Otto Overkamp

Abstract: We study the structure of Jacobians of geometrically reduced curves over arbitrary (i. e., not necessarily perfect) fields. We show that, while such a group scheme cannot in general be decomposed into an affine and an Abelian part as over perfect fields, several important structural results for these group schemes nevertheless have close analoga over non-perfect fields. We apply our results to pro… ▽ More We study the structure of Jacobians of geometrically reduced curves over arbitrary (i. e., not necessarily perfect) fields. We show that, while such a group scheme cannot in general be decomposed into an affine and an Abelian part as over perfect fields, several important structural results for these group schemes nevertheless have close analoga over non-perfect fields. We apply our results to prove two conjectures due to Bosch-Lütkebohmert-Raynaud about the existence of Néron models and Néron lft-models over excellent Dedekind schemes in the special case of Jacobians of geometrically reduced curves. Finally, we prove some existence results for semi-factorial models and related objects for general geometrically integral curves in the local case. △ Less

Submitted 27 October, 2023; v1 submitted 1 October, 2021; originally announced October 2021.

Comments: 49 Pages. Results unchanged. Several sections substantially rewritten and some proofs simplified. Typographical errors corrected, references added

Néron models of pseudo-Abelian varieties

Authors: Otto Overkamp

Abstract: We study Néron models of pseudo-Abelian varieties over excellent discrete valuation rings of equal characteristic $p>0$ and generalize the notions of good reduction and semiabelian reduction to such algebraic groups. We prove that the well-known representation-theoretic criteria for good and semiabelian reduction due to Néron-Ogg-Shafarevich and Grothendieck carry over to the pseudo-Abelian case,… ▽ More We study Néron models of pseudo-Abelian varieties over excellent discrete valuation rings of equal characteristic $p>0$ and generalize the notions of good reduction and semiabelian reduction to such algebraic groups. We prove that the well-known representation-theoretic criteria for good and semiabelian reduction due to Néron-Ogg-Shafarevich and Grothendieck carry over to the pseudo-Abelian case, and give examples to show that our results are the best possible in most cases. Finally, we study the order of the group scheme of connected components of the Néron model in the pseudo-Abelian case. Our method is able to control the $\ell$-part (for $\ell\not=p$) of this order completely, and we study the $p$-part in a particular (but still reasonably general) situation. △ Less

Submitted 25 October, 2021; v1 submitted 8 March, 2020; originally announced March 2020.

Comments: 31 pages. Small Addition to the proof of Proposition 3.3

Degeneration of Kummer surfaces

Authors: Otto Overkamp

Abstract: We prove that a Kummer surface defined over a complete strictly Henselian discretely valued field $K$ of residue characteristic different from 2 admits a strict Kulikov model after finite base change. The Kulikov models we construct will be schemes, so our results imply that the semistable reduction conjecture is true for Kummer surfaces in this setup, even in the category of schemes. Our construc… ▽ More We prove that a Kummer surface defined over a complete strictly Henselian discretely valued field $K$ of residue characteristic different from 2 admits a strict Kulikov model after finite base change. The Kulikov models we construct will be schemes, so our results imply that the semistable reduction conjecture is true for Kummer surfaces in this setup, even in the category of schemes. Our construction of Kulikov models is closely related to an earlier construction of Künnemann, which produces semistable models of Abelian varieties. It is well-known that the special fibre of a strict Kulikov model belongs to one of three types, and we shall prove that the type of the special fibre of a strict Kulikov model of a Kummer surface and the toric rank of a corresponding Abelian surface are determined by each other. We also study the relationship between this invariant and the Galois representation on the second $\ell$-adic cohomology of the Kummer surface. Finally, we apply our results, together with earlier work of Halle-Nicaise, to give a proof of the monodromy conjecture for Kummer surfaces in equal characteristic zero. △ Less

Submitted 3 August, 2018; v1 submitted 26 June, 2018; originally announced June 2018.

Comments: 38 pages. Some typographical errors fixed. Small correction to the proof of Lemma 3.10

Journal ref: Math. Proc. Camb. Phil. Soc. 171 (2021) 65-97

Jumps and motivic invariants of semiabelian Jacobians

Authors: Otto Overkamp

Abstract: We investigate Néron models of Jacobians of singular curves over strictly Henselian discretely valued fields, and their behaviour under tame base change. For a semiabelian variety, this behaviour is governed by a finite sequence of (a priori) real numbers between 0 and 1, called "jumps". The jumps are conjectured to be rational, which is known in some cases. The purpose of this paper is to prove t… ▽ More We investigate Néron models of Jacobians of singular curves over strictly Henselian discretely valued fields, and their behaviour under tame base change. For a semiabelian variety, this behaviour is governed by a finite sequence of (a priori) real numbers between 0 and 1, called "jumps". The jumps are conjectured to be rational, which is known in some cases. The purpose of this paper is to prove this conjecture in the case where the semiabelian variety is the Jacobian of a geometrically integral curve with a push-out singularity. Along the way, we prove the conjecture for algebraic tori which are induced along finite separable extensions, and generalize Raynaud's description of the identity component of the Néron model of the Jacobian of a smooth curve (in terms of the Picard functor of a proper, flat, and regular model) to our situation. The main technical result of this paper is that the exact sequence which decomposes the Jacobian of one of our singular curves into its toric and Abelian parts extends to an exact sequence of Néron models. Previously, only split semiabelian varieties were known to have this property. △ Less

Submitted 12 December, 2017; v1 submitted 18 October, 2017; originally announced October 2017.

Comments: 37 pages. Corrected two minor inaccuracies (added a factor of 1/[K':K] in the definition of Chai's base change conductor, and added the condition "purely wild" in Theorem 2.11)

Finite descent obstruction and non-abelian reciprocity

Authors: Otto Overkamp

Abstract: For a nice algebraic variety $X$ over a number field $F$, one of the central problems of Diophantine Geometry is to locate precisely the set $X(F)$ inside $X(\A_F)$, where $\A_F$ denotes the ring of adèles of $F$. One approach to this problem is provided by the finite descent obstruction, which is defined to be the set of adelic points which can be lifted to twists of torsors for (certain) finite… ▽ More For a nice algebraic variety $X$ over a number field $F$, one of the central problems of Diophantine Geometry is to locate precisely the set $X(F)$ inside $X(\A_F)$, where $\A_F$ denotes the ring of adèles of $F$. One approach to this problem is provided by the finite descent obstruction, which is defined to be the set of adelic points which can be lifted to twists of torsors for (certain) finite étale group schemes over $F$ on $X$. More recently, Kim proposed an iterative construction of another subset of $X(\A_F)$ which contains the set of rational points. In this paper, we compare the two constructions. Our main result shows that the two approaches are essentially equivalent. △ Less

Submitted 13 June, 2018; v1 submitted 16 November, 2016; originally announced November 2016.

Comments: New version; improved exposition; corrected a few typographical errors. New Appendix. 20 pages