Related papers: $ \infty $-category and some applications on orbif…

We study the canonical orbit category of the bounded derived category of finite dimensional representations of the quiver of type $D_{\infty}$. We prove that this orbit category is a cluster category, that is, its cluster-tilting…

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…

We define the notion of {\em classifying space} of a topological stack and show that every topological stack \X has a classifying space X which is a topological space well-defined up to weak homotopy equivalence. Under a certain…

Considering quasismooth varieities as global $\CC^*$ quotients, we present a Riemann-Roch formula via general Riemann-Roch formula for quotient stacks. Furthermore, we give a parcing formula for Hilbert series associated to a polarized…

We define extension $\infty$-categories for exact $\infty$-categories in terms of bifibrations. Extension $\infty$-categories are invariant when passing to the stable hull, and consequently we show that they form an $\Omega$-spectrum,…

We apply the theory of weighted bicategorical colimits to study the problem of existence and computation of such colimits of birepresentations of finitary bicategories. The main application of our results is the complete classification of…

Every small monoidal category with universal finite joins of central idempotents is monoidally equivalent to the category of global sections of a sheaf of local monoidal categories on a topological space. Every small stiff monoidal category…

An appropriate framework is put forward for the construction of $\lambda$-models with $\infty$-groupoid structure, which we call \textit{homotopic $\lambda$-models}, through the use of an $\infty$-category with cartesian closure and enough…

These notes provide an overview of various notions of hyperbolicity for varieties of log general type from the viewpoint of both arithmetic and birational geometry. The main results are based on our paper entitled "Hyperbolicity and…

We develop a graphical calculus of manifold diagrams which generalises string and surface diagrams to arbitrary dimensions. Manifold diagrams are pasting diagrams for $(\infty, n)$-categories that admit a semi-strict composition operation…

Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify any object X with its thickening X x [-1,1]. We prove that…

Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…

We introduce a notion of partial presentability in parametrized higher category theory and investigate its interaction with the concepts of parametrized semiadditivity and stability from arXiv:2301.08240. In particular, we construct the…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

The paper is partly a survey with historical background and references, partly provides the opportunity to put in print some unpublished early work, and partly has new results. A special case of relative categoricity is identified (almost…

For any compact oriented manifold $M$, we show that that the top degree multi-vector fields transverse to the zero section of $\wedge^{\text{top}}TM$ are classified, up to orientation preserving diffeomorphism, in terms of the topology of…

We introduce a class of causal manifolds which contains the globally hyperbolic spacetimes and we prove global propagation theorems for sheaves on such manifolds. As an application, we solve globally the Cauchy problem for hyperfunction…

This text introduces geometric quantization on orbifolds. After reviewing the necessary background, it develops new treatments of prequantization, polarizations, and metaplectic correction for symplectic orbifolds.

If $X$ is a manifold then the set $C^\infty(X)$ of smooth functions $f:X\to\mathbb R$ is a $C^\infty$-ring, a rich algebraic structure with many operations. $C^\infty$-schemes are schemes over $C^\infty$-rings, a way of using…

Given an $\infty$-category with a set of weak equivalences which is stable under pullback, we show that the mapping spaces of the corresponding localization can be described as group completions of $\infty$-categories of spans. Furthermore,…