Related papers: Finiteness and constructibility in local analytic …

We prove a generic smoothness result in rigid analytic geometry over a characteristic zero nonarchimedean field. The proof relies on a novel notion of generic points in rigid analytic geometry which are well-adapted to "spreading out"…

The aim of these notes is to generalize Laumon's construction [18] of automorphic sheaves corresponding to local systems on a smooth, projective curve $C$ to the case of local systems with indecomposable unipotent ramification at a finite…

Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison…

We prove that a theorem of Pawlucki, showing that Whitney regularity for a subanalytic set with a smooth singular locus of codimension one implies the set is a finite union of differentiable manifolds with boundary, applies to definable…

Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…

In the previous part of this diptych, we defined the notion of an admissible simplicial connection, as well as explaining how H.I. Green constructed a resolution of coherent analytic sheaves by locally free sheaves on the \v{C}ech nerve.…

In this article, we construct Chern classes in rational Deligne cohomology for coherent sheaves on a smooth complex compact manifold. We prove that these classes verify the functoriality property under pullbacks, the Whitney formula and the…

We develop a microlocal theory, in the sense of Kashiwara-Schapira, for Zariski-constructible sheaves on rigid analytic varieties. We define and study monodromic sheaves, the monodromic Fourier transform, specialisation, microlocalisation,…

We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…

We provide a fairly self-contained account of the localisation and cofinality theorems for the algebraic $\mathrm{K}$-theory of stable $\infty$-categories. It is based on a general formula for the evaluation of an additive functor on a…

We construct proper pushforwards for partially proper morphisms of analytic adic spaces. This generalises the theory due to van der Put in the case of rigid analytic varieties over a non-Archimedean field. For morphisms which are smooth and…

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

Finite element spaces by Whitney $k$-forms on cubical meshes in $\mathbb{R}^n$ are presented. Based on the spaces, compatible discretizations to $H\Lambda^k$ problems are provided, and discrete de Rham complexes and commutative diagrams are…

After recent work of Hill, Hopkins, and Ravenel on the Kervaire invariant one problem, as well as Adams' solution of the Hopf invariant one problem, an immediate consequence of Curtis conjecture is that the set of spherical classes in…

Let $X$ be a real analytic manifold endowed with a distance satisfying suitable properties and let $\mathbf{k}$ be a field. In [PS20], the authors construct a pseudo-distance on the derived category of sheaves of $\mathbf{k}$-modules on…

In this paper we introduce constructible analogs of the discrete complexity classes $\mathbf{VP}$ and $\mathbf{VNP}$ of sequences of functions. The functions in the new definitions are constructible functions on $\mathbb{R}^n$ or…

In this paper, we continue our study on the topologization and functional analytification in $\infty$-categorical and homotopical analytic geometry. As in our previous articles on the $\infty$-categorical extensions of certain analytic and…

Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…

This paper gives an explicit computation of the category of constructible sheaves on a toric variety (with respect to the stratification by torus orbits). Over the complex numbers, this simplifies a description due to Braden and Lunts. The…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…