Related papers: Ample filters and Frobenius amplitude

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…

We construct some extension ({\it Stable Field Theory}) of Cohomological Field Theory. The Stable Field Theory is a system of homomorphisms to some vector spaces generated by spheres and disks with punctures. It is described by a formal…

We study fundamental forms of algebraic varieties using the sheaves of principal parts of line bundles and establish a vanishing theorem for any order fundamental forms. We also give connection of fundamental forms with the higher order…

We show that the equivalence between several possible characterizations of Frobenius algebras, and of symmetric Frobenius algebras, carries over from the category of vector spaces to more general monoidal categories. For Frobenius algebras,…

We define and study a relative perverse $t$-structure associated with any finitely presented morphism of schemes $f: X\to S$, with relative perversity equivalent to perversity of the restrictions to all geometric fibres of $f$. The…

We describe some of the connections between the Bieri-Neumann-Strebel-Renz invariants, the Dwyer-Fried invariants, and the cohomology support loci of a space X. Under suitable hypotheses, the geometric and homological finiteness properties…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

In the setting of relative topos theory, we show that the pullback of a relative presheaf topos on an arbitrary fibration is the relative presheaf topos on its inverse image. To this end, we develop and exploit a notion of extension with…

If a locally cartesian closed category carries a weak factorisation system, then the left maps are stable under pullback along right maps if and only if the right maps are closed under pushforward along right maps. We refer to this…

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…

We give a purely algebraic construction of the continuous closure of any finitely generated torsion free module; a concept first studied by H.~Brenner and M.~Hochster. The construction implies that, at least in characteristic 0, taking…

Motivated by the Moore-Segal axioms for an open-closed topological field theory, we consider planar open string topological field theories. We rigorously define a category 2Thick whose objects and morphisms can be thought of as open strings…

This article is concerned with the convexity properties of universal covers of projective varieties. We study the relation between the convexity properties of the universal cover of X and the properties of the pullback map sending vector…

Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$ of $\dim X\geq 4$ and Picard number $\rho(X)=1$. Suppose that $X$ satisfies $H^i(X,F^{m*}_X(\Omg^j_X)\otimes\Ls^{-1})=0$ for any ample…

Based on the logarithmic algebraic geometry and the theory of Deligne systems, we define an abelian category of $\ell$-adic sheaves with weight filtrations on a logarithmic scheme over a finite field, which is similar to the category of…

A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…

We show that the vanishing of higher derived limits of the system $\mathbf{A}_\kappa$ implies the additivity of strong homology on the class of locally compact metric spaces of weight at most $\kappa$, thereby establishing a converse to a…

We characterize universally generalizing morphisms which satisfy descent of algebraic cycles integrally as those universally generalizing morphisms which are surjective with generically reduced fibres. In doing so, we introduce a naive…

We establish a relative version of Gromov's Vanishing Theorem in the presence of amenable open covers with small multiplicity, extending a result of Li, L\"oh, and Moraschini. Our approach relies on Gromov's theory of multicomplexes.

We define higher pro-Albanese functors for every effective log motive over a field $k$ of characteristic zero, and we compute them for every smooth log smooth scheme $X=(\underline{X}, \partial X)$. The result involves an inverse system of…