Related papers: Geometric Categories and Sheaves on Topoi
The homotopical approach to intensional type theory views proofs of equality as paths. We explore what is required of an object $I$ in a topos to give such a path-based model of type theory in which paths are just functions with domain $I$.…
We provide an explicit formula for localizing $A^1$-homotopy invariants of topological Fukaya categories of marked surfaces. Following a proposal of Kontsevich, this differential $\mathbb Z$-graded category is defined as global sections of…
We construct classifying $\infty$-topoi by showing that the $(\infty,2)$-category of topoi has weighted limits. We show that several prestacks of interest have a classifying topos, including the prestack of spectra.
We prove the existence and uniqueness of geometric models of local isometry classes of locally homogeneous spaces with sectional curvature $|\operatorname{sec}|\leq 1$. Moreover, we show that the set of geometric models is compact in the…
In this article we review some recent developments in heterotic compactifications. In particular we review an ``inherently toric'' description of certain sheaves, called equivariant sheaves, that has recently been discussed in the physics…
Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…
The atoms of the Schanuel topos can be described as the pairs $(n,G)$ where $n$ is a finite set and $G$ is a subgroup of $\operatorname{Aut}(n)$. We give a general criterion on an atomic site ensuring that the atoms of the topos of sheaves…
Let $f$ be a $C^r$ ($r>1$) diffeomorphism on a compact surface $M$ with $h_{\rm top}(f)\geq\frac{\lambda^{+}(f)}{r}$ where $\lambda^{+}(f):=\lim_{n\to+\infty}\frac{1}{n}\max_{x\in M}\log \left\|Df^{n}_{x}\right\|$. We establish an…
This paper introduces the concept of supermanifolds, viewed as the super-analogues of classical manifolds. Instead of treating supermanifolds as sets of points, we adopt an algebraic-geometric perspective, emphasizing the algebra of…
In arXiv:1606.07885, many different Grothendieck topologies were introduced on the category of Azumaya algebras. Here we give a classification in terms of sets of supernatural numbers. Then we discuss the associated categories of sheaves…
We study global primary decompositions in the category of sheaves on a scheme which are equivariant under the action of an algebraic group. We show that equivariant primary decompositions exist if the group is connected. As main application…
We discuss a systematic procedure for categorifying presentable six-functor formalisms. Our main result produces, given the input of a representation of the $\infty$-category of correspondences of an $\infty$-category with finite limits…
Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…
A topology is defined on the mapping class group of a compact connected orientable surface. It is shown that a notion of "genericity" on subsets of the mapping class group arises from this definition. Many plausible results follow from this…
Given a complex space $X$, we cosidered the problem of finding a {\it hyperbolic model} of $X$. This is an object $\ip(X)$ with a morphism $i:X\to \ip(X)$ in such a way that $\ip(X)$ is ``hyperbolic'' in a suitable sense and $i$ is as close…
In this paper, we study maximal Cohen-Macaulay sheaves on symplectic singularities. These sheaves generate the singularity categories and thus measure how far a singularity is from being smooth. We lift maximal Cohen-Macaulay sheaves on a…
We introduce the theory of generalised ultracategories, these are relational extensions to ultracategories as defined by Lurie. An essential example of generalised ultracategories are topological spaces, and these play a fundamental role in…
We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…
The notion of Hochschild cochains induces an assignment from $Aff$, affine DG schemes, to monoidal DG categories. We show that this assignment extends, under some appropriate finiteness conditions, to a functor $\mathbb H: Aff \to…
In this paper we carry the construction of equilogical spaces into an arbitrary category $\mathsf{X}$ topological over $\mathsf{Set}$, introducing the category $\mathsf{X}$-$\mathsf{Equ}$ of equilogical objects. Similar to what is done for…