Related papers: Truncated microsupport and hyperbolic inequalities

We study the truncated microsupport $Ss_k$ of sheaves on a real manifold. Applying our results to the case of $F=RHom_D(M,O)$, the complex of holomorphic solutions of a coherent $D$-module $M$, we show that $Ss_k(F)$ is completely…

Let $f:X\to Y$ be a smooth morphism of complex analytic manifolds and let $F$ be an $\mathbb{R}$-constructible complex on $Y$. Let $\cal{M}$ be a coherent $\shd_X$-module. We prove that the microsupport of the solution complex of $\shm$ in…

Using a result of J-M. Bony, we prove the weak involutivity of truncated microsupports. More precisely, given a sheaf $F$ on a real manifold and an integer $k$, if two functions vanish on the truncated microsupport $Ss_k(F)$, then so does…

The notion of microsupport and regularity for ind-sheaves was introduced by M. Kashiwara and P. Schapira in "Microlocal study of ind-sheaves I: microsupport and regularity". In this paper we study the behaviour of the microsupport under…

We introduce the notion of strong regularity for subanalytic sheaves and establish estimates for the supports and microsupports of their multi-microlocalizations. As applications, we study subanalytic sheaves of Whit- ney and temperate…

Let $X$ be a Deligne-Mumford stack locally of finite type over an algebraically closed field $k$ of characteristic zero. We show that the intrinsic normal cone $C_X$ of $X$ is supported in the subcone $\mathbb{V}(\Omega_X[-1])$…

In this paper, we establish a truncated non-integrated defect relation for meromorphic mappings from a complete K\"ahler manifold into a projective variety intersecting a family of hypersurfaces located in subgeneral position, where the…

We classify the simple sheaves microsupported along the conormal bundle of a knot. We also establish a correspondence between simple sheaves up to local systems and augmentations, explaining the underlying reason why knot contact homology…

Given a manifold $\mathbb{M}$ admitting a maximally supersymmetric consistent truncation, we show how to formulate new consistent truncations by restricting to a set of Kaluza-Klein modes on $\mathbb{M}$ invariant under some subgroup of the…

We define the notions of micro-support and regularity for ind-sheaves, and prove their invariance by contact transformations. We apply the results to the ind-sheaves of temperate holomorphic solutions of D-modules. We prove that the…

We show that generalised geometry gives a unified description of maximally supersymmetric consistent truncations of ten- and eleven-dimensional supergravity. In all cases the reduction manifold admits a "generalised parallelisation" with a…

We introduce a fast and easy-to-implement simulation algorithm for a multivariate normal distribution truncated on the intersection of a set of hyperplanes, and further generalize it to efficiently simulate random variables from a…

In this paper, we present a unified perspective on sphere consistent truncations based on the classical geometric properties of sphere bundles. The backbone of our approach is the global angular form for the sphere. A universal formula for…

In this paper, We define the stratified metric $\infty$-category $\mathbf{StratMet}_{\infty}$ and the middle perversity moduli stack $\mathscr{M}^{\mathrm{mid}}$. We construct a universal truncation complex…

Let f : Y -> X be a morphism of complex projective manifolds, and let F be a subsheaf of the tangent bundle which is closed under the Lie bracket, but not necessarily a foliation. This short paper contains an elementary and very geometric…

In this paper, by refining approximation theorems for holomorphic sections of adjoint line bundles, it is proved that the regular locus of a weakly pseudoconvex complex space admitting a positive line bundle can be holomorphically embedded…

We investigate the hypercohomologies of truncated twisted holomorphic de Rham complexes on (not necessarily compact) complex manifolds. In particular, we generalize Leray-Hirsch, K\"{u}nneth and Poincar\'{e}-Serre duality theorems on them.…

We consider a smooth closed orientable submanifold $M \subset \mathbb{R}^D$ with narrow cycles. We embed $M$ into a scaled oriented Grassmannian bundle via the Gauss map in order to enlarge the scale of these cycles. Under mild assumptions,…

For a large class of cohomology theories, we prove that refined unramified cohomology is canonically isomorphic to the hypercohomology of a natural truncated complex of Zariski sheaves. This generalizes a classical result of Bloch and Ogus…

Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect…