Related papers: Left-exact Localizations of $\infty$-Topoi I: High…

In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of…

We prove a universal property for the $(\infty, n)$-category of correspondences, generalizing and providing a new proof for the case $n = 2$ from [GR17]. We also provide conditions under which a functor out of a higher category of…

The category of coherent sheaves over a noetherian scheme is very important for studying the properties of a given scheme. For noetherian schemes it is a well-known fact that the topology can be fully recovered from the corresponding…

We consider a notion of stability for sheaves, which we call multi-Gieseker stability that depends on several ample polarisations $L_1, \dots, L_N$ and on an additional parameter $\sigma \in \mathbb{Q}_{\geq 0}^N\setminus\{0\}$. The set of…

We show how a novel construction of the sheaf of Cherednik algebras on a quotient orbifold Y=X/G by virtue of formal geometry in author's prior work leads to results for the sheaf of Cherednik algebra which until recently were viewed as…

We show that if a contact open book $(\Sigma,h)$ on a $(2n+1)$-manifold $M$ ($n\geq1$) is induced by a Lefschetz fibration $\pi:W \to D^2$, then there is a one-to-one correspondence between positive stabilizations of $(\Sigma,h)$ and…

We study sheaves of Lie-Rinehart algebras over locally ringed spaces. We introduce morphisms and comorphisms of such sheaves and prove factorization theorems for each kind of morphism. Using this notion of morphism, we obtain (higher)…

Choose a topos $E$. There are several different "notions of sheafness" on $E$. How do we visualize them? Let's refer to the classifier object of $E$ as $\Omega$, and to its Heyting Algebra of truth-values, $Sub(1_E)$, as $H$; we will…

By introducing $N$-framed quivers, we define the localization of Lusztig's sheaves for $N$-framed quivers and functors $E^{(n)}_{i}, F^{(n)}_{i}, K^{\pm}_i$ for localizations. This gives a categorical realization of tensor products of…

Topoi are categories which have enough structure to interpret higher order logic. They admit two notions of morphism: logical morphisms which preserve all of the structure and therefore the interpretation of higher order logic, and…

Lada introduced strong homotopy algebras to describe the structures on a deformation retract of an algebra in topological spaces. However, there is no satisfactory general definition of a morphism of strong homotopy (s.h.) algebras. Given a…

In this paper, we show that for any integer $k \in \mathbb{N}$ there exists a Sobolev sheaf (in the sense of Lebeau) on any definable site of $\mathbb{R}^2$ that agrees with Sobolev spaces on cuspidal domains. We also provide a complete…

We develop foundations for oriented category theory, an extension of $(\infty,\infty)$-category theory obtained by systematic usage of the Gray tensor product, in order to study lax phenomena in higher category theory. As categorical…

Given a gerbe $L$, on the holonomy groupoid $\mathcal G$ of the foliation $(M, \mathcal F)$, whose pull-back to $M$ is torsion, we construct a Connes $\Phi$-map from the twisted Dupont-Sullivan bicomplex of $\mathcal G$ to the cyclic…

We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.

In this note we show how two fundamental results in Topos theory follow by repeated use of Yoneda's Lemma, the formalism of natural transformations and very basic category theory. In Lemma 9.4, we show the fundamental result SGA4 EXPOSE IV…

Let $X_\Sigma$ be a complete toric variety. The coherent-constructible correspondence $\kappa$ of \cite{FLTZ} equates $\Perf_T(X_\Sigma)$ with a subcategory $Sh_{cc}(M_\bR;\LS)$ of constructible sheaves on a vector space $M_\bR.$ The…

For a category $\mathcal E$ with finite limits and well-behaved countable coproducts, we construct a model structure, called the effective model structure, on the category of simplicial objects in $\mathcal E$, generalising the Kan--Quillen…

We study the fully automated amortised analysis of purely functional data structures like skew heaps, as well as weight- and rank-biased leftist heaps. For that we generalise earlier works on automated amortised resource analysis by…

Let A be a topological space which is not finitely generated and CH(A) denote the coreflective hull of A in Top. We construct a generator of the coreflective subcategory SCH(A) consisting of all subspaces of spaces from CH(A) which is a…