Related papers: Heavy subsets from microsupports

This note is a continuation of the paper [2] (see references). We describe some natural pseudogroup structures on almost complex manifolds of type $m$. A kind of coherency is discussed for the sheaf of almost holomorphic functions.

We review the notions of symplectic and orthogonal vector bundles over curves, and the connection between principal parts and extensions of vector bundles. We give a criterion for a certain extension of rank 2n to be symplectic or…

There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…

We present a construction (and classification) of certain invariant 2-forms on the real symplectic group. They are used to define a symplectic form on the quotient by a maximal torus and to "lift" a symplectic structure from a symplectic…

This paper puts the theory of quasi-Hamiltonian reduction in the framework of shifted symplectic structures developed by Pantev, To\"{e}n, Vaqui\'{e} and Vezzosi. We compute the symplectic structures on mapping stacks and show how the AKSZ…

Necessary and sufficient conditions for convexity and strong convexity, respectively, of sublevel sets that are defined by finitely many real-valued $C^{1,1}$-maps are presented. A novel characterization of strongly convex sets in terms of…

We construct a hyperk\"ahler metric on twisted cotangent bundles of the complex projective space $\mathbb{CP}^n$ explicitly in terms of local coordinates. Note that the twisted cotangent bundles of $\mathbb{CP}^n$ are holomorphically…

We develop a bundle theory of presheaves on small categories, based on similar work by Brent Everitt and Paul Turner. For a certain set of presheaves on posets, we produce a Leray-Serre type spectral sequence that gives a reduction property…

In this paper we prove the existence of an algebraic model for quasi-coherent sheaves on certain non-connective geometric stacks arising in stable homotopy theory and spectral algebraic geometry using the machinery of adapted homology…

We construct partially hyperbolic diffeomorphisms having semi-local robustly transitive sets with $C^1$-robust cycles of any co-index. These constructions also provide a new method to create $C^2$-robust homoclinic, equidimensional and…

Given an almost complex structure on a subbundle of the cotangent bundle, we prove a Castelnuovo--de Franchis type theorem for it.

We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The…

We construct symplectomorphisms in dimension $d\geq 4$ having a semi-local robustly transitive partially hyperbolic set containing $C^2$-robust homoclinic tangencies of any codimension $c$ with $0<c\leq d/2$.

After two papers on weak cubical categories and {\it collarable} cospans, respectively, we put things together and construct a {\it weak} cubical category of cubical {\it collared} cospans of topological spaces. We also build a second…

We discuss how quantitative cohomological informations could provide qualitative properties on complex and symplectic manifolds. In particular we focus on the Bott-Chern and the Aeppli cohomology groups in both cases, since they represent…

There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…

We introduce the semi-infinite category of sheaves on the affine Grassmannian, and construct a particular object in it, which we call the the semi-infinite intersection cohomology sheaf. We relate it to several other entities naturally…

In view of applications to the construction of moduli spaces of objects in algebraic supergeometry, we start a systematic study of stacks in that context. After defining a superstack as a stack over the \'etale site of superschemes, we…

We consider two categories related to symplectic manifolds: 1. Objects are symplectic manifolds and morphisms are symplectic embeddings. 2. Objects are symplectic manifolds endowed with compatible almost complex structure and morphisms are…

We develop semistrict higher gauge theory from first principles. In particular, we describe the differential Deligne cohomology underlying semistrict principal 2-bundles with connective structures. Principal 2-bundles are obtained in terms…