Related papers: Vanishing Cycles and Thom's $a_f$ Condition

If $\Adot$ is a bounded, constructible complex of sheaves on a complex analytic space $X$, and $f:X\to\C$ and $g:X\to\C$ are complex analytic functions, then the iterated vanishing cycles $\phi_g[-1](\phi_f[-1]\Adot)$ are important for a…

We study vanishing cycles naturally attached to a meromorphic function with isolated singularities, in both local and global settings.

The characteristic cycle of a complex of sheaves on a complex analytic space provides weak information about the complex; essentially, it yields the Euler characteristics of the hypercohomology of normal data to strata. We show how perverse…

In positive characteristic, in contrast to the complex analytic case, vanishing cycles are highly sensitive to test functions (the maps to the henselian traits). We study this dependence and show that on a smooth surface, this dependence is…

We develop a theory of tame vanishing cycles for schemes over $[\mathbb{A}^1_{S}/\mathbb{G}_{m,S}]$ in the context of \'etale sheaves. We show some desired properties of this formalism, among which: a compatibility with tame vanishing…

We study a notion of total acyclicity for complexes of flat sheaves over a scheme. It is Zariski-local - i.e. it can be verified on any open affine covering of the scheme - and it agrees, in their setting, with the notion studied by Murfet…

This article is an overview of the vanishing cycles method in number theory over function fields. We first explain how this works in detail in a toy example, and then give three examples which are relevant to current research. The focus…

The purpose of this paper is the study of vanishing cycles in holomorphic foliations by complex curves on compact complex manifolds. The main result consists in showing that a vanishing cycle comes together with a much richer complex…

We develop a theory of nearby and vanishing cycles in the context of finite-coefficient Zariski-constructible sheaves over a non-archimedean field which is non-trivially valued, complete, algebraically closed, and of mixed characteristic or…

Let $k$ be a perfect field of characteristic $p$, let $f_i:X_i\to\mathbb A_k^1$ $(i=1,2)$ be two $k$-morphism of finite type, and let $f:X_1\times_k X_2\to \mathbb A_k^1$ be the morphism defined by $f(z_1,z_2)=f_1(z_1)+f_2(z_2)$. For each…

We prove a derived category version of the Sebastiani-Thom Theorem, which describes the vanishing cycles of the sum of two functions of disjoint variables.

For a surjective and proper map f: X -> Y there is a spectral sequence, called descent spectral sequence, abutting to the cohomology of Y with coefficients in a sheaf F. We prove that if the fibers of the map f satisfy some connectivity…

Let $X$ be a projective scheme over a field. We show that the vanishing cohomology of any sequence of coherent sheaves is closely related to vanishing under pullbacks by the Frobenius morphism. We also compare various definitions of ample…

Given an ample line bundle on a toric surface, a question of Donaldson asks which simple closed curves can be vanishing cycles for nodal degenerations of smooth curves in the complete linear system. This paper provides a complete answer.…

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…

Let $U$ be a smooth $\mathbb C$-scheme, $f:U\to\mathbb A^1$ a regular function, and $X=$Crit$(f)$ the critical locus, as a $\mathbb C$-subscheme of $U$. Then one can define the "perverse sheaf of vanishing cycles" $PV_{U,f}$, a perverse…

We explicitly describe cohomology of the sheaf of differential forms with poles along a semiample divisor on a complete simplicial toric variety. As an application, we obtain a new vanishing theorem which is an analogue of the…

Given a smooth formal scheme over the ring of integers of a mixed-characteristic perfectoid field, we study its $p$-adic vanishing cycles via de Rham--Witt and $q$-de Rham complexes.

In the strict semi stable reduction situation, we describe the various filtrations of the perverse sheaf of nearby cycles in terms of irreducible perverse sheaves together with the action of the monodromy operator. We then study the…

This is a mostly expository paper, intended to explain a very natural relationship between two a priori distinct notions appearing in the literature: Generic Vanishing in the context of vanishing theorems and birational geometry, and…