相关论文: Variants of formal nearby cycles

Let $V$ be a complete discrete valuation ring with residue field $k$ and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using spectral radius…

We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…

In this paper we study relative Riemann-Zariski spaces attached to a morphism of schemes and generalizing the classical Riemann-Zariski space of a field. We prove that similarly to the classical RZ spaces, the relative ones can be described…

The first author recently introduced a "nearby cycles formalism" in the framework of chain complexes of parity sheaves. In this paper, we compute this functor in two related settings: (i) affine space, stratified by the action of a torus,…

We introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$…

The aim of the paper is to understand the local forms of conformal vector fields in the neighborhood of a singularity. We begin a general study in this direction, for any pseudo-Riemannian type, and give a complete answer in the Riemannian…

We give a construction of "integral local Shimura varieties" which are formal schemes that generalize the well-known integral models of the Drinfeld $p$-adic upper half spaces. The construction applies to all classical groups, at least for…

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…

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it…

We prove a relative Lefschetz-Verdier theorem for locally acyclic objects over a Noetherian base scheme. This is done by studying duals and traces in the symmetric monoidal $2$-category of cohomological correspondences. We show that local…

The aim of this article is to give a rigorous geometric interpretation of the completion of a ring with respect to an ideal. To this end, we define the infinitesimal neighbourhood of an immersion of formal schemes as the largest possible…

We investigate the transfer of regularity between commutative, noetherian, local rings through a class of local homomorphisms which we call basically regular. We give numerical characterizations of these maps, investigate their behavior…

This text contributes to the foundations of the theory of global Berkovich spaces, that is to say Berkovich spaces over Banach rings with nice properties such as $\mathbf{Z}$, rings of integers of number fields, discrete valuation rings,…

In this research oriented manuscript, foundational aspects of rigid geometry are discussed, putting emphasis on birational side of formal schemes and topological feature of rigid spaces. Besides the rigid geometry itself, topics include the…

Studying toric varieties from a scheme-theoretical point of view leads to toric schemes, i.e. "toric varieties over arbitrary base rings". It is shown how the base ring affects the geometry of a toric scheme. Moreover, generalisations of…

We compute support of formal cohomology modules in a serial of non-trivial cases. Applications are given. For example, we compute injective dimension of certain local cohomology modules in terms of dimension of their's support.

The aim of this book is to show that the use of f-analytic families of finite type cycles (cycles having finitely many irreducible components, but not compact in general) in a given complex space may be useful in complex geometry, despite…

In this paper we generalize and study a notion of (unipotent) nearby cycles over a higher dimensional base based on Be\u{i}linson's description of unipotent nearby cycles, following an idea of Gaitsgory. This generalization, in the setting…

The classical theory of elliptic curves with complex multiplication is a fundamental tool for studying the arithmetic of abelian extensions of imaginary quadratic fields. While no direct analogue is available for real quadratic fields, a…