SearcharxivSearch

arXiv subjects

Alessandra Bertapelle

Publications and source records attributed to Alessandra Bertapelle.

17 recordsLinked to original sources

The relatively perfect Greenberg transform and cycle class maps

Given a scheme over a complete discrete valuation ring of mixed characteristic with perfect residue field, the Greenberg transform produces a new scheme over the residue field thicker than the special fiber. In this paper, we will generalize this transform to the case of imperfect residue field. We will then construct a certain kind of cycle class map defined on this generalized Greenberg transform applied to the Néron model of a semi-abelian variety, which takes values in the relatively perfect nearby cycle functor defined by Kato and the second author.

math.NT

Log $p$-divisible groups and semi-stable representations

Let $\mathscr{O}_K$ be a henselian DVR with field of fractions $K$ and residue field of characteristic $p>0$. Let $S$ denote $\mathop{\mathrm{Spec}} \mathscr{O}_K$ endowed with the canonical log structure. We show that the generic fiber functor $\mathbf{BT}_{S, {\mathrm{d}}}^{\log}\to \mathbf{BT}^{\mathrm{st}}_K$ between the category of dual representable log $p$-divisible groups over $S$ and the category of $p$-divisible groups with semistable reduction over $K$ is an equivalence. If $\mathscr{O}_K$ is further complete with perfect residue field and of mixed characteristic, we show that $\mathbf{BT}_{S, {\mathrm{d}}}^{\log}$ is also equivalent to the category of semistable Galois $\mathbb{Z}_p$-representations with Hodge-Tate weights in $\{0,1\}$. Finally, we show that the above equivalences respect monodromies.

math.NT

Canonical Witt formal scheme extensions and p-torsion groups

We study the $n$-th arithmetic jet space of the $p$-torsion subgroup attached to a smooth commutative formal group scheme. We show that the $n$-th jet space above fits in the middle of a canonical short exact sequence between a power of the formal scheme of Witt vectors of length $n$ and the $p$-torsion subgroup we started with. This result generalizes a result of Buium on roots of unity.

math.NT

The Greenberg functor revisited

The proof, but not the statement, of Proposition 18.2 contained an error which is repaired in this version. See Remark 18.3 in this version. No other changes. We extend Greenberg's original construction to arbitrary (in particular, non-reduced) schemes over (certain types of) local artinian rings. We then establish a number of basic properties of the extended functor and determine, for example, its behavior under Weil restriction. We also discuss a formal analog of the functor.

math.NT

Arithmetic jet spaces

We extend Borger's construction of algebraic jet spaces to allow for an arbitrary prolongation sequence, clarify the relation between Borger's and Buium's jet spaces and compare them in the extended sense. As a result, we strengthen a result of Buium on the relation between Greenberg's transform and the special fiber of jet spaces, including the ramified case.

math.AG

Greenberg algebras and ramified Witt vectors

Let O be a complete discrete valuation ring of mixed characteristic and with finite residue field k. We study a natural morphism between the Greenberg algebra of O and the special fiber of the scheme of ramified Witt vectors over O. It is a universal homeomorphism with pro-infinitesimal kernel that can be explicitly described in some cases.

math.AG

On deformations of $1$-motives

According to a well-known theorem of Serre and Tate, the infinitesimal deformation theory of an abelian variety in positive characteristic is equivalent to the infinitesimal deformation theory of its Barsotti-Tate group. We extend this result to $1$-motives.

math.NT

On the perfection of schemes

This is a chiefly expository paper on the subject of the title which, in our view, has not received a detailed treatment in the literature which is commensurate with its importance. We expect the results presented here to be useful in a number of contexts. For example, several of them will be applied in a forthcoming paper by the authors.

math.AG

Galois sets of connected components and Weil restriction

Let $k$ be a field, $A$ a finite $k$-algebra and $X$ a smooth $A$-scheme. We describe the Galois set of connected components of the Weil restriction $\Re_{A/k}(X)$ in terms of the sets of connected components of the geometric fibers of $X$.

math.AG

Groups of components and Weil restriction

We determine the behavior under Weil restriction of the group of connected components of the special fiber of an arbitrary smooth group scheme (whose Weil restriction exists) over an arbitrary (commutative and unital) local ring. Applications to Néron models are given.

math.NT

On the cohomology of tori over local fields with perfect residue field

If T is an algebraic torus defined over a discretely valued field K with perfect residue field k, we relate the K-cohomology of T to the k-cohomology of certain objects associated to T. When k has cohomological dimension <= 1, our results have a particularly simple form and yield, more generally, isomorphisms between the abelian K-cohomology of a reductive group G over K and the k-cohomology of a certain quotient of the algebraic fundamental group of G.

math.NT

On torsors under elliptic curves and Serre's pro-algebraic structures

Let $K$ be a local field with algebraically closed residue field and $X_K$ a torsor under an elliptic curve $J_K$ over $K$. Let $X$ be a proper minimal regular model of $X_K$ over the ring of integers of $K$ and $J$ the identity component of the Néron model of $J_K$. We study the canonical morphism $q\colon \mathrm{Pic}^{0}_{X/S}\to J$ which extends the biduality isomorphism on generic fibres. We show that $q$ is pro-algebraic in nature with a construction that recalls Serre's work on local class field theory. Furthermore we interpret our results in relation to Shafarevich's duality theory for torsors under abelian varieties.

math.AG

Generalized 1-motivic sheaves

We extend the construction of the category of 1-motivic sheaves (introduced by Barbieri-Viale and Kahn) allowing quotients of connected algebraic k-groups by formal k-groups. We show that its bounded derived category is equivalent to the bounded derived category of the category of generalized 1-motives with torsion introduced in a previous paper by Barbieri-Viale and the author.

math.AG

Remarks on 1-motivic sheaves

We generalize the construction of the category of 1-motives with torsion ${}^tM_1$ (introduced by Barbieri-Viale, Rosenschon and Saito) as well as the construction of the category of 1-motivic sheaves ${\rm Shv}_1$ (defined by Barbieri-Viale and Kahn) to perfect fields $k$ (without inverting the exponential characteristic). For $k$ transcendental over the prime field we extend a result of Barbieri-Viale and Kahn, showing that ${}^tM$ and ${\rm Shv}_1$ have equivalent bounded derived categories.

math.AG

On torsors under abelian varieties

Let A be an abelian variety over a local field K of mixed characteristic and with algebraically closed residue field. We provide a geometric construction (via the relative Picard functor) of the Shafarevich duality between the group of isomorphism classes of torsors under A and the "fundamental group" of the Néron model of the dual abelian variety A'. An analogous construction works over fields of positive characteristic p providing a duality on the prime-to-p parts.

math.AG

Deligne's duality for de Rham realizations of 1-motives

We show that the pairing on de Rham realizations of 1-motives in "Theorie di Hodge III", IHES 44, can be defined over any base scheme and we prove that it gives rise to a perfect duality if one is working with a 1-motive and its Cartier dual. Furthermore we study universal extensions of 1-motives and their relation with $\natural$-extensions.

math.AG

Monodromy of logarithmic Barsotti-Tate groups attached to 1-motives

Let $R$ be a complete discrete valuation ring with perfect residue field $k$ of positive characteristic $p$ and field of fractions $K$ of characteristic 0. In this paper we consider a $K$-1-motive $M_K$ as in [Ra] and its associated Barsotti-Tate group. This last does not in general extend to a Barsotti-Tate group over $R$. However, with some assumptions, it extends to a logarithmic Barsotti-Tate group over $R$. This follows from [Ra] and Kato's results on finite logarithmic group schemes. Once chosen a uniformizing parameter $π$ of $R$, any logarithmic Barsotti-Tate group over $R$ is described by two data $(G,N)$ where $G$ is a classical Barsotti-Tate group over $R$ and $N$ is a homomorphism of classical Barsotti-Tate groups. Moreover, if $R=W(k)$, $N$ induces a $W(k)$-homorphism ${\cal N}\colon M(G_k)\to M(G_k)$ on Dieudonné modules such that $F{\cal N}V={\cal N}$ and ${\cal N}^2=0$. In the first part of the paper we recall these constructions and we show how to relate $N$ with the ``geometric monodromy'' introduced by Raynaud. In the second part of the paper we give an explicit description of ${\cal N}$ in terms of additive extensions and integrals. In the last part of the paper we describe how to recover the logarithmic Barsotti-Tate group attached to a 1-motive from a concrete scheme endowed with a suitable logarithmic structure.

math.NT