Related papers: Non-representable six-functor formalisms

We investigate some topological properties of a normal functor $H$ introduced earlier by Radul which is a certain functorial compactification of the Hartman-Mycielski construction $HM$. We show that $H$ is open and find the condition when…

We classify non-nilpotent complex structures on 6-nilmanifolds and their associated invariant balanced metrics. As an application we find a large family of solutions of the heterotic supersymmetry equations with non-zero flux, non-flat…

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…

We introduce the notions of Koszul $N$-complex, $\check{\mathrm{C}}$ech $N$-complex and telescope $N$-complex, explicit derived torsion and derived completion functors in the derived category $\mathbf{D}_N(R)$ of $N$-complexes using the…

We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty$-categories) for additive $\infty$-categories, (2) define the notion of nilpotent extensions for…

In this article we introduce and study a motivic category in the arithmetic of function fields, namely the category of motives over an algebraic closure $L$ of a finite field with coefficients in a global function field over this finite…

We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove…

Let $\mathbb{k}$ be a field of characteristic $p$. We introduce a formalism of mixed sheaves with coefficients in $\mathbb{k}$ and showcase its use in representation theory. More precisely, we construct for all quasi-projective schemes $X$…

We propose a categorification of the Chern character that refines earlier work of To\"en and Vezzosi and of Ganter and Kapranov. If X is an algebraic stack, our categorified Chern character is a symmetric monoidal functor from a category of…

Using the projective oscillator representation of sl(n+1) and Shen's mixed product for Witt algebras, Zhao and the second author (2011) constructed a new functor from sl(n)-Mod to sl(n+1)-Mod. In this paper, we start from n = 2 and use the…

Let $G$ be a split connected reductive group over a non-archimedean local field. In the $p$-adic setting, Orlik-Strauch constructed functors from the BGG category $\mathcal{O}$ associated to the Lie algebra of $G$ to the category of locally…

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

Using a recent computation of the rational minus part of $SH(k)$ by Ananyevskiy-Levine-Panin, a theorem of Cisinski-Deglise and a version of the Roendigs-Ostvaer theorem, rational stable motivic homotopy theory over an infinite perfect…

We study thick ideals in the stable motivic homotopy category SH(k) and in its subcategories of compact and of finite cellular objects. If k is a subfield of the complex or even the real numbers, then using comparison functors we find thick…

We use an index-theoretic technique of Hitchin to show that the space of complete Riemannian metrics of nonnegative sectional curvature on certain open spin manifolds has nontrivial homotopy groups in infinitely many degrees. A new…

We show that there are homotopy equivalences $h:N\to M$ between closed manifolds which are induced by cell-like maps $p:N\to X$ and $q:M\to X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of…

We investigate some topological properties of a normal functor $H$ introduced earlier by Radul which is some functorial compactification of the Hartman--Mycielski construction HM. We prove that the pair ($HX$, HM$Y$) is homeomorphic to the…

Let $k$ be a field of characteristic $0$ endowed with a complex embedding $\sigma: k \hookrightarrow \mathbb{C}$. In this paper we complete the construction of the six functor formalism on perverse Nori motives over quasi-projective…

We develop the basic theory of nilpotent types and their localizations away from sets of numbers in Homotopy Type Theory. For this, general results about the classifying spaces of fibrations with fiber an Eilenberg-Mac Lane space are…

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…