Related papers: $ \infty $-category and some applications on orbif…
This is a sequel to [Ca01]=math.AG/0110051. We define the bimeromorphic {\it category} of geometric orbifolds. These interpolate between (compact K\" ahler) manifolds and such manifolds with logarithmic structure. These geometric orbifolds…
We prove the existence of tilting objects on some global quotient stacks. As a consequence we provide further evidence for a conjecture on the Rouquier dimension of derived categories formulated by Orlov.
We generalize proarrow equipments from strict category theory to the $\infty$-categorical setting, introducing the concept of $\infty$-equipments. These are specific double $\infty$-categories that support an internal higher category…
This is the first of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we define the maps in the more general context of orbispaces, and establish several basic results concerning the…
A theory of graded manifolds can be viewed as a generalization of differential geometry of smooth manifolds. It allows one to work with functions which locally depend not only on ordinary real variables, but also on $\mathbb{Z}$-graded…
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…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
We propose a generalization of Verbitsky's global Torelli theorem in the framework of compact K\"ahler irreducible holomorphically symplectic orbifolds by adapting Huybrechts' proof (arXiv:1106.5573). As intermediate step needed, we also…
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
We prove the existence of tilting bundles on global quotient stacks that are produced by compatible finite group actions on flat families.
It is well-known that an effective orbifold M (one for which the local stabilizer groups act effectively) can be presented as a quotient of a smooth manifold P by a locally free action of a compact lie group K. We use the language of…
We use equivariant methods to establish basic properties of orbifold K-theory. We introduce the notion of twisted orbifold K-theory in the presence of discrete torsion, and show how it can be explicitly computed for global quotients.
The purpose of this paper is to develop a theory of $(\infty, 1)$-stacks, in the sense of Hirschowitz-Simpson's `Descent Pour Les n-Champs', using the language of quasi-category theory and the author's local Joyal model structure. The main…
A model category is called combinatorial if it is cofibrantly generated and its underlying category is locally presentable. As shown in recent years, homotopy categories of combinatorial model categories share useful properties, such as…
In this article we establish a version of Y. Miyaoka generic semi-positivity theorem in the context of log-canonical orbifold pairs. As an application, we show that the canonical bundle associated to a lc pair is big as soon as there exists…
We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…
We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is…
We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…
We define formal orbifolds over an algebraically closed field of arbitrary characteristic as curves together with some branch data. Their \'etale coverings and their fundamental groups are also defined. These fundamental group approximates…
We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined…