Searcharxiv⌕ Search

arXiv subjects

Johannes Nicaise

Publications and source records attributed to Johannes Nicaise.

At least 37 records · Page 2Linked to original sources

Semi-stable extensions over 1-dimensional bases

Given a family of Calabi-Yau varieties over the punctured disc or over the field of Laurent series, we show that, after a finite base change, the family can be exended across the origin while keeping the canonical class trivial. More generally, we prove similar extension results for families whose log-canonical class is semi-ample. We use these to show that the Berkovich and essential skeleta agree for smooth varieties over ${\mathbb C}((t))$ with semi-ample canonical class.

math.AG↗

The specialization index of a variety over a discretely valued field

Let $X$ be a proper variety over a henselian discretely valued field. An important obstruction to the existence of a rational point on $X$ is the index, the minimal positive degree of a zero cycle on $X$. This paper introduces a new invariant, the specialization index, which is a closer approximation of the existence of a rational point. We provide an explicit formula for the specialization index in terms of an $snc$-model, and we give examples of curves where the index equals one but the specialization index is different from one, and thus explains the absence of a rational point. Our main result states that the specialization index of a smooth, proper, geometrically connected $\mathbb{C}((t))$-variety with trivial coherent cohomology is equal to one.

math.AG↗

Motivic Zeta Functions of the Quartic and its Mirror Dual

We use a formula of Bultot to compute the motivic zeta function for the toric degeneration of the quartic K3 and its Gross-Siebert mirror dual degeneration. We check for this explicit example that the identification of the logarithm of the monodromy and the mirror dual Lefschetz operator works at an integral level.

math.AG↗

Poles of maximal order of motivic zeta functions

We prove a 1999 conjecture of Veys, which says that the opposite of the log canonical threshold is the only possible pole of maximal order of Denef and Loeser's motivic zeta function associated with a germ of a regular function on a smooth variety over a field of characteristic zero. We apply similar methods to study the weight function on the Berkovich skeleton associated with a degeneration of Calabi-Yau varieties. Our results suggest that the weight function induces a flow on the non-archimedean analytification of the degeneration towards the Kontsevich-Soibelman skeleton.

math.AG↗

Berkovich skeleta and birational geometry

We give a survey of joint work with Mircea Mustaţă and Chenyang Xu on the connections between the geometry of Berkovich spaces over the field of Laurent series and the birational geometry of one-parameter degenerations of smooth projective varieties. The central objects in our theory are the weight function and the essential skeleton of the degeneration. We tried to keep the text self-contained, so that it can serve as an introduction to Berkovich geometry for birational geometers.

math.AG↗

A logarithmic interpretation of Edixhoven's jumps for Jacobians

Let $A$ be an abelian variety over a discretely valued field. Edixhoven has defined a filtration on the special fiber of the Néron model of $A$ that measures the behaviour of the Néron model under tame base change. We interpret the jumps in this filtration in terms of lattices of logarithmic differential forms in the case where $A$ is the Jacobian of a curve $C$, and we give a compact explicit formula for the jumps in terms of the combinatorial reduction data of $C$.

math.AG↗

Weight functions on non-archimedean analytic spaces and the Kontsevich-Soibelman skeleton

We associate a weight function to pairs consisting of a smooth and proper variety X over a complete discretely valued field and a differential form on X of maximal degree. This weight function is a real-valued function on the non-archimedean analytification of X. It is piecewise affine on the skeleton of any regular model with strict normal crossings of X, and strictly ascending as one moves away from the skeleton. We apply these properties to the study of the Kontsevich-Soibelman skeleton of such a pair, and we prove that this skeleton is connected when X has geometric genus one. This result can be viewed as an analog of the Shokurov-Kollar connectedness theorem in birational geometry.

math.AG↗

Motivic zeta functions for degenerations of abelian varieties and Calabi-Yau varieties

This is a survey on motivic zeta functions associated to abelian varieties and Calabi-Yau varieties over a discretely valued field. We explain how they are related to Denef and Loeser's motivic zeta function associated to a complex hypersurface singularity and we investigate the relation between the poles of the zeta function and the eigenvalues of the monodromy action on the tame $\ell$-adic cohomology of the variety. The motivic zeta function allows to generalize many interesting arithmetic invariants from abelian varieties to Calabi-Yau varieties and to compute them explicitly on a model with strict normal crossings.

math.AG↗

Néron models and base change

We study various aspects of the behaviour of Néron models of semi-abelian varieties under finite extensions of the base field, with a special emphasis on wildly ramified Jacobians. In Part 1, we analyze the behaviour of the component groups of the Néron models, and we prove rationality results for a certain generating series encoding their orders. In Part 2, we discuss Chai's base change conductor and Edixhoven's filtration, and their relation to the Artin conductor. All of these results are applied in Part 3 to the study of motivic zeta functions of semi-abelian varieties. Part 4 contains some intriguing open problems and directions for further research. The main tools in this work are non-archimedean uniformization and a detailed analysis of the behaviour of regular models of curves under base change.

math.AG↗

Jumps and monodromy of abelian varieties

We prove a strong form of the motivic monodromy conjecture for abelian varieties, by showing that the order of the unique pole of the motivic zeta function is equal to the size of the maximal Jordan block of the corresponding monodromy eigenvalue. Moreover, we give a Hodge-theoretic interpretation of the fundamental invariants appearing in the proof.

math.AG↗

Geometric criteria for tame ramification

We prove an A'Campo type formula for the tame monodromy zeta function of a smooth and proper variety over a discretely valued field $K$. As a first application, we relate the orders of the tame monodromy eigenvalues on the $\ell$-adic cohomology of a $K$-curve to the geometry of a relatively minimal $sncd$-model, and we show that the semi-stable reduction theorem and Saito's criterion for cohomological tameness are immediate consequences of this result. As a second application, we compute the error term in the trace formula for smooth and proper $K$-varieties. We see that the validity of the trace formula would imply a partial generalization of Saito's criterion to arbitrary dimension.

math.AG↗

Finite group actions, rational fixed points and weak Néron models

If $G$ is a finite $\ell$-group acting on an affine space $\mathbb{A}^n$ over a finite field $K$ of cardinality prime to $\ell$, Serre has shown that there exists a rational fixed point. We generalize this to the case where $K$ is a henselian discretely valued field of characteristic zero with algebraically closed residue field and with residue characteristic different from $\ell$. We also treat the case where the residue field is finite of cardinality $q$ such that $\ell$ divides $q-1$. To this aim, we study group actions on weak Néron models.

math.AG↗

A note on motivic integration in mixed characteristic

We introduce a quotient of the Grothendieck ring of varieties by identifying classes of universally homeomorphic varieties. We show that the standard realization morphisms factor through this quotient, and we argue that it is the correct value ring for the theory of motivic integration on formal schemes and rigid varieties in mixed characteristic. The present note is an excerpt of a detailed survey paper which will be published in the proceedings of the conference "Motivic integration and its interactions with model theory and non-archimedean geometry" (ICMS, 2008).

math.AG↗

Motivic zeta functions of abelian varieties, and the monodromy conjecture

We prove for abelian varieties a global form of Denef and Loeser's motivic monodromy conjecture, in arbitrary characteristic. More precisely, we prove that for every tamely ramified abelian variety $A$ over a complete discretely valued field, its motivic zeta function has a unique pole at Chai's base change conductor $c(A)$ of $A$, and that the order of this pole equals one plus the potential toric rank of $A$. Moreover, we show that for every embedding of $\Q_\ell$ in $\C$, the value $\exp(2πi c(A))$ is an $\ell$-adic tame monodromy eigenvalue of $A$. The main tool in the paper is Edixhoven's filtration on the special fiber of the Néron model of $A$, which measures the behaviour of the Néron model under tame base change.

math.AG↗

The Néron component series of an abelian variety

We introduce the Néron component series of an abelian variety $A$ over a complete discretely valued field. This is a power series in $\Z[[T]]$, which measures the behaviour of the number of components of the Néron model of $A$ under tame ramification of the base field. If $A$ is tamely ramified, then we prove that the Néron component series is rational. It has a pole at T=1, whose order equals one plus the potential toric rank of $A$. This result is a crucial ingredient of our proof of the motivic monodromy conjecture for abelian varieties. We expect that it extends to the wildly ramified case; we prove this if $A$ is an elliptic curve, and if $A$ has potential purely multiplicative reduction.

math.AG↗

Trace formula for component groups of Néron models

We study a trace formula for tamely ramified abelian varieties $A$ over a complete discretely valued field, which expresses the Euler characteristic of the special fiber of the Néron model of $A$ in terms of the Galois action on the $\ell$-adic cohomology of $A$. If $A$ has purely additive reduction, the trace formula yields a cohomological interpretation for the number of connected components of the special fiber of the Néron model.

math.AG↗

Formal and rigid geometry: an intuitive introduction, and some applications

We give an informal introduction to formal and rigid geometry over complete discrete valuation rings, and we discuss some applications in algebraic and arithmetic geometry and singularity theory, with special emphasis on recent applications to the Milnor fibration and the motivic zeta function by J. Sebag and the author.

math.AG↗